Let H be a commutative, noetherian, semisimple and cosemisimple Hopf algebra with a bijective antipode over a field k. Then the semisimplicity of YD(H) is considered, where YD (H) means the disjoint union of the c...Let H be a commutative, noetherian, semisimple and cosemisimple Hopf algebra with a bijective antipode over a field k. Then the semisimplicity of YD(H) is considered, where YD (H) means the disjoint union of the category of generalized Yetter-Drinfeld modules nYD^H( α, β) for any α, β E Aut Hopf(H). First, the fact that YD(H) is closed under Mor is proved. Secondly, based on the properties of finitely generated projective modules and semisimplicity of H, YD(H) satisfies the exact condition. Thus each object in YD(H) can be decomposed into simple ones since H is noetherian and cosemisimple. Finally, it is proved that YD (H) is a sernisimple category.展开更多
Let H be a Hopf algebra and HYD the Yetter- Drinfeld category over H. First, the enveloping algebra of generalized H-Hom-Lie algebra L, i.e., Hom-Lie algebra L H in the category HYD, is constructed. Secondly, it is o...Let H be a Hopf algebra and HYD the Yetter- Drinfeld category over H. First, the enveloping algebra of generalized H-Hom-Lie algebra L, i.e., Hom-Lie algebra L H in the category HYD, is constructed. Secondly, it is obtained that U(L) = T( L)/L where I is the Hom-ideal of T(L) generated by {ll'-l_((-1))·l'l_0-[l,l']|l,l'∈L}, and u: L,T(L)/I is the canonical map. Finally, as the applications of the result, the enveloping algebras of generalized H-Lie algebras, i.e., the Lie algebras in the category MyDn and the Hom-Lie algebras in the category of left H-comodules are presented, respectively.展开更多
In this paper, the group action of a local wild Bocs'rep. category is introduced. And, it computed the parametric numbers U(n) and P(n) of the rep. category mod n(A) and ind n(t) in case n=1,2 with geometric met...In this paper, the group action of a local wild Bocs'rep. category is introduced. And, it computed the parametric numbers U(n) and P(n) of the rep. category mod n(A) and ind n(t) in case n=1,2 with geometric method.展开更多
Let (C, C) be a braided monoidal category. The relationship between the braided Lie algebra and the left Jacobi braided Lie algebra in the category (C, C) is investigated. First, a braided C2-commutative algebra i...Let (C, C) be a braided monoidal category. The relationship between the braided Lie algebra and the left Jacobi braided Lie algebra in the category (C, C) is investigated. First, a braided C2-commutative algebra in the category (C, C) is defined and three equations on the braiding in the category (C, C) are proved. Secondly, it is verified that (A, [, ] ) is a left (strict) Jacobi braided Lie algebra if and only if (A, [, ] ) is a braided Lie algebra, where A is an associative algebra in the category (C, C). Finally, as an application, the structures of braided Lie algebras are given in the category of Yetter-Drinfel'd modules and the category of Hopf bimodules.展开更多
We categorify the notion of coalgebras by imposing a co-associative law up to some isomorphisms on the co-multiplication map and requiring that these isomorphisms satisfy certairl law of their own, which is called the...We categorify the notion of coalgebras by imposing a co-associative law up to some isomorphisms on the co-multiplication map and requiring that these isomorphisms satisfy certairl law of their own, which is called the copentagon identity. We also set up a 2-category of 2-coalgebras. The purpose of this study is from the idea of reconsidering the quasi-Hopf algebras by the categorification process, so that we can study the theory of quasi-Hopf algebras and their representations in some new framework of higher category theory in natural ways.展开更多
Using a tunable clustering coeffcient model withoutchanging the degree distribution, we investigate the effect of clustering coefficient on synchronization of networks with both unweighted and weighted couplings. For ...Using a tunable clustering coeffcient model withoutchanging the degree distribution, we investigate the effect of clustering coefficient on synchronization of networks with both unweighted and weighted couplings. For several typical categories of complex networks, the more triangles are in the networks, the worse the synchronizability of the networks is.展开更多
Let A and H be Hopf algebra, T-smash product AT H generalizes twisted smash product A * H. This paper shows a necessary and sufficient condition for T-smash product moduie category AT HM to be braided monoidal category.
This paper is devoted to the study of some properties of fuzzy filters in lattice implication algebras. The structure theorem of fuzzy filters and the category of the sets of fuzzy filters were established with some b...This paper is devoted to the study of some properties of fuzzy filters in lattice implication algebras. The structure theorem of fuzzy filters and the category of the sets of fuzzy filters were established with some basic properties of it were discussed.展开更多
Although E Maddy (1997) says on naturalism: "This is not, in itself, a philosophy of mathematics [...]" (161), already by its name, or by those whose interest has called on it (Quine, Putnam et al.) ... it an...Although E Maddy (1997) says on naturalism: "This is not, in itself, a philosophy of mathematics [...]" (161), already by its name, or by those whose interest has called on it (Quine, Putnam et al.) ... it anyhow reveals desire to be it. Insofar as otherwise, the semantic potential of the word leaves far behind it (after all scarce) results it achieved from the relation of an exact (mathematical) expression and (overly rich) intuitive reality of Being. We plead here already from the perspective of the slogan "One and All" of the first philosopher: Tales, when by the number (which one forebodes) one could go to such an extent into areas of reality (Pythagoras), or when (especially in the human sphere) is being over again actual final cause of Aristotle the philosophy and the mathematics to accomplish far more fruitful encounter with the Being. Alain Badiou (1988) has already pointed that: "Mathematics is ontology," and the category theory in mathematics, having covered by itself other fields of this science, continues to find applications in a series of"non-traditional" domains of reality. In that correlation the philosophy can express its (primary) needs for truth, justice, beauty, ... as well as for the overall development in the sense of purpose--also because of an undreamed power of the technological development (of hardwares and softwares) today. Namely, the naturalism in mathematics, which developed an abundant reflection on the place (importance of) the mathematical idiom in sciences--in the balance of criticism--has come rather to meager provisions, such as: "preestablished harmony of thinking," "ontic commitment," (Quine 1960) "the hygiene of mind," (Maddy 1996) "success argument," (Putnam 1975) "pragmatic argument," (Resnik 1981) etc., which only are few places from the encounter of an exact expression such as is mathematical one and the reality of natuural sciences. Instead of philosophy of mathematics to radicalize its claims from the perspective of that (powerful) mathematical idiom and the excessive reality of Being and man's place in it--this time, in the spirit of biocosmology (neo-Aristotelism).展开更多
As a continuation of the work of Beattie on quantum groups constructed byOre extensions, in this paper, we characterize their centre and discuss the category ofquantum Yang-Baxter modules over them. In addition, we de...As a continuation of the work of Beattie on quantum groups constructed byOre extensions, in this paper, we characterize their centre and discuss the category ofquantum Yang-Baxter modules over them. In addition, we determine all finite dimen-sional irreducible representations over these quantum groups.展开更多
The tabor gives some characterizations of strongly algebraic lattices, and proves that thecategory of strongly algebraic lattices is complete and cocomplete. Finally, this paper gives thecomplete conditions under whic...The tabor gives some characterizations of strongly algebraic lattices, and proves that thecategory of strongly algebraic lattices is complete and cocomplete. Finally, this paper gives thecomplete conditions under which the minimal mapping β: L→2L on a completely distributivelattice L preserves finite infs and arbitrary infs.展开更多
Let G:Ω→Ω′be a closed unital map between commutative,unital quantales. G induces a functor G from the category of Ω-categories to that of Ω′-categories.This paper is concerned with some basic properties of G.Th...Let G:Ω→Ω′be a closed unital map between commutative,unital quantales. G induces a functor G from the category of Ω-categories to that of Ω′-categories.This paper is concerned with some basic properties of G.The main results are:(1) when Ω,Ω′are integral,G:Ω→Ω′and F:Ω′→Ωare closed unital maps,F is a left adjoint of G if and only if F is a left adjoint of G;(2) G is an equivalence of categories if and only if G is an isomorphism in the category of commutative unital quantales and closed unital maps; and (3) a sufficient condition is obtained for G to preserve completeness in the sense that GA is a complete Ω′-category whenever A is a complete Ω-category.展开更多
We introduce the notions of differential graded(DG) Poisson algebra and DG Poisson module. Let A be any DG Poisson algebra. We construct the universal enveloping algebra of A explicitly, which is denoted by A^(ue). We...We introduce the notions of differential graded(DG) Poisson algebra and DG Poisson module. Let A be any DG Poisson algebra. We construct the universal enveloping algebra of A explicitly, which is denoted by A^(ue). We show that A^(ue) has a natural DG algebra structure and it satisfies certain universal property. As a consequence of the universal property, it is proved that the category of DG Poisson modules over A is isomorphic to the category of DG modules over A^(ue). Furthermore, we prove that the notion of universal enveloping algebra A^(ue) is well-behaved under opposite algebra and tensor product of DG Poisson algebras. Practical examples of DG Poisson algebras are given throughout the paper including those arising from differential geometry and homological algebra.展开更多
Given an odd-periodic algebraic triangulated category, we compare Bridgeland's Hall algebra in the sense of Bridgeland(2013) and Gorsky(2014), and the derived Hall algebra in the sense of Ten(2006), Xiao and Xu(20...Given an odd-periodic algebraic triangulated category, we compare Bridgeland's Hall algebra in the sense of Bridgeland(2013) and Gorsky(2014), and the derived Hall algebra in the sense of Ten(2006), Xiao and Xu(2008) and Xu and Chen(2013), and show that the former one is the twisted form of the tensor product of the latter one and a suitable group algebra.展开更多
This paper concerns a certain subcategory of the category of representations for a semisimple algebraic group G in characteristic p, which arises from the semisimple modules for the corresponding quantum group at a p-...This paper concerns a certain subcategory of the category of representations for a semisimple algebraic group G in characteristic p, which arises from the semisimple modules for the corresponding quantum group at a p-th root of unity. The subcategory, thus, records the cohomological difference between quantum groups and algebraic groups. We define translation functors in this category and use them to obtain information on the irreducible characters for G when the Lusztig character formula does not hold.展开更多
基金The National Natural Science Foundation of China(No.11371088)the Fundamental Research Funds for the Central Universities(No.3207013906)the Natural Science Foundation of Jiangsu Province(No.BK2012736)
文摘Let H be a commutative, noetherian, semisimple and cosemisimple Hopf algebra with a bijective antipode over a field k. Then the semisimplicity of YD(H) is considered, where YD (H) means the disjoint union of the category of generalized Yetter-Drinfeld modules nYD^H( α, β) for any α, β E Aut Hopf(H). First, the fact that YD(H) is closed under Mor is proved. Secondly, based on the properties of finitely generated projective modules and semisimplicity of H, YD(H) satisfies the exact condition. Thus each object in YD(H) can be decomposed into simple ones since H is noetherian and cosemisimple. Finally, it is proved that YD (H) is a sernisimple category.
基金The National Natural Science Foundation of China(No.11371088)the Excellent Young Talents Fund of Anhui Province(No.2013SQRL092ZD)+2 种基金the Natural Science Foundation of Higher Education Institutions of Anhui Province(No.KJ2015A294)China Postdoctoral Science Foundation(No.2015M571725)the Excellent Young Talents Fund of Chuzhou University(No.2013RC001)
文摘Let H be a Hopf algebra and HYD the Yetter- Drinfeld category over H. First, the enveloping algebra of generalized H-Hom-Lie algebra L, i.e., Hom-Lie algebra L H in the category HYD, is constructed. Secondly, it is obtained that U(L) = T( L)/L where I is the Hom-ideal of T(L) generated by {ll'-l_((-1))·l'l_0-[l,l']|l,l'∈L}, and u: L,T(L)/I is the canonical map. Finally, as the applications of the result, the enveloping algebras of generalized H-Lie algebras, i.e., the Lie algebras in the category MyDn and the Hom-Lie algebras in the category of left H-comodules are presented, respectively.
文摘In this paper, the group action of a local wild Bocs'rep. category is introduced. And, it computed the parametric numbers U(n) and P(n) of the rep. category mod n(A) and ind n(t) in case n=1,2 with geometric method.
基金The National Natural Science Foundation of China(No.10871042)
文摘Let (C, C) be a braided monoidal category. The relationship between the braided Lie algebra and the left Jacobi braided Lie algebra in the category (C, C) is investigated. First, a braided C2-commutative algebra in the category (C, C) is defined and three equations on the braiding in the category (C, C) are proved. Secondly, it is verified that (A, [, ] ) is a left (strict) Jacobi braided Lie algebra if and only if (A, [, ] ) is a braided Lie algebra, where A is an associative algebra in the category (C, C). Finally, as an application, the structures of braided Lie algebras are given in the category of Yetter-Drinfel'd modules and the category of Hopf bimodules.
基金Supported by National Natural Science Foundation of China under Grant Nos. 10975102, 11031005 10871135, 10871227, and PHR201007107
文摘We categorify the notion of coalgebras by imposing a co-associative law up to some isomorphisms on the co-multiplication map and requiring that these isomorphisms satisfy certairl law of their own, which is called the copentagon identity. We also set up a 2-category of 2-coalgebras. The purpose of this study is from the idea of reconsidering the quasi-Hopf algebras by the categorification process, so that we can study the theory of quasi-Hopf algebras and their representations in some new framework of higher category theory in natural ways.
基金The project partly supported by National Natural Science Foundation for Distinguished Young Scholars of China under Grant No. 60225013, National Natural Science Foundation of China under Grants Nos. 70271072, 70431002, and 90412004, and Shanghai RisingStar Program under Grant No.05QMX1436Author (X. Li) also acknowledges the support from the Alexander von Humboldt Foundation.
文摘Using a tunable clustering coeffcient model withoutchanging the degree distribution, we investigate the effect of clustering coefficient on synchronization of networks with both unweighted and weighted couplings. For several typical categories of complex networks, the more triangles are in the networks, the worse the synchronizability of the networks is.
文摘Let A and H be Hopf algebra, T-smash product AT H generalizes twisted smash product A * H. This paper shows a necessary and sufficient condition for T-smash product moduie category AT HM to be braided monoidal category.
文摘This paper is devoted to the study of some properties of fuzzy filters in lattice implication algebras. The structure theorem of fuzzy filters and the category of the sets of fuzzy filters were established with some basic properties of it were discussed.
文摘Although E Maddy (1997) says on naturalism: "This is not, in itself, a philosophy of mathematics [...]" (161), already by its name, or by those whose interest has called on it (Quine, Putnam et al.) ... it anyhow reveals desire to be it. Insofar as otherwise, the semantic potential of the word leaves far behind it (after all scarce) results it achieved from the relation of an exact (mathematical) expression and (overly rich) intuitive reality of Being. We plead here already from the perspective of the slogan "One and All" of the first philosopher: Tales, when by the number (which one forebodes) one could go to such an extent into areas of reality (Pythagoras), or when (especially in the human sphere) is being over again actual final cause of Aristotle the philosophy and the mathematics to accomplish far more fruitful encounter with the Being. Alain Badiou (1988) has already pointed that: "Mathematics is ontology," and the category theory in mathematics, having covered by itself other fields of this science, continues to find applications in a series of"non-traditional" domains of reality. In that correlation the philosophy can express its (primary) needs for truth, justice, beauty, ... as well as for the overall development in the sense of purpose--also because of an undreamed power of the technological development (of hardwares and softwares) today. Namely, the naturalism in mathematics, which developed an abundant reflection on the place (importance of) the mathematical idiom in sciences--in the balance of criticism--has come rather to meager provisions, such as: "preestablished harmony of thinking," "ontic commitment," (Quine 1960) "the hygiene of mind," (Maddy 1996) "success argument," (Putnam 1975) "pragmatic argument," (Resnik 1981) etc., which only are few places from the encounter of an exact expression such as is mathematical one and the reality of natuural sciences. Instead of philosophy of mathematics to radicalize its claims from the perspective of that (powerful) mathematical idiom and the excessive reality of Being and man's place in it--this time, in the spirit of biocosmology (neo-Aristotelism).
基金Supported by the National Natural Science Foundation of Chinaa(10071078)andthe Young Teacher's Projects from the Chinese Education Ministry.
文摘As a continuation of the work of Beattie on quantum groups constructed byOre extensions, in this paper, we characterize their centre and discuss the category ofquantum Yang-Baxter modules over them. In addition, we determine all finite dimen-sional irreducible representations over these quantum groups.
文摘The tabor gives some characterizations of strongly algebraic lattices, and proves that thecategory of strongly algebraic lattices is complete and cocomplete. Finally, this paper gives thecomplete conditions under which the minimal mapping β: L→2L on a completely distributivelattice L preserves finite infs and arbitrary infs.
基金the National Natural Science Foundation of China (No.10771147)the Program for New Century Excellent Talents in University (No.05-0779)
文摘Let G:Ω→Ω′be a closed unital map between commutative,unital quantales. G induces a functor G from the category of Ω-categories to that of Ω′-categories.This paper is concerned with some basic properties of G.The main results are:(1) when Ω,Ω′are integral,G:Ω→Ω′and F:Ω′→Ωare closed unital maps,F is a left adjoint of G if and only if F is a left adjoint of G;(2) G is an equivalence of categories if and only if G is an isomorphism in the category of commutative unital quantales and closed unital maps; and (3) a sufficient condition is obtained for G to preserve completeness in the sense that GA is a complete Ω′-category whenever A is a complete Ω-category.
基金supported by National Natural Science Foundation of China(Grant Nos.11571316 and 11001245)Natural Science Foundation of Zhejiang Province(Grant No.LY16A010003)
文摘We introduce the notions of differential graded(DG) Poisson algebra and DG Poisson module. Let A be any DG Poisson algebra. We construct the universal enveloping algebra of A explicitly, which is denoted by A^(ue). We show that A^(ue) has a natural DG algebra structure and it satisfies certain universal property. As a consequence of the universal property, it is proved that the category of DG Poisson modules over A is isomorphic to the category of DG modules over A^(ue). Furthermore, we prove that the notion of universal enveloping algebra A^(ue) is well-behaved under opposite algebra and tensor product of DG Poisson algebras. Practical examples of DG Poisson algebras are given throughout the paper including those arising from differential geometry and homological algebra.
基金supported by National Natural Science Foundation of China(Grant Nos.11301533 and 11471177)
文摘Given an odd-periodic algebraic triangulated category, we compare Bridgeland's Hall algebra in the sense of Bridgeland(2013) and Gorsky(2014), and the derived Hall algebra in the sense of Ten(2006), Xiao and Xu(2008) and Xu and Chen(2013), and show that the former one is the twisted form of the tensor product of the latter one and a suitable group algebra.
基金supported by the University of Virginia and the Hausdorff Center for Mathematics in Bonn
文摘This paper concerns a certain subcategory of the category of representations for a semisimple algebraic group G in characteristic p, which arises from the semisimple modules for the corresponding quantum group at a p-th root of unity. The subcategory, thus, records the cohomological difference between quantum groups and algebraic groups. We define translation functors in this category and use them to obtain information on the irreducible characters for G when the Lusztig character formula does not hold.