One-sided Hopf algebras and quantum quasigroups

We study the connections between one-sided Hopf algebras and one-sided quantum quasigroups, tracking the four possible invertibility conditions for the left and right composite morphisms that combine comultiplications and multiplications in these structures. The genuinely one-sided structures exhibit precisely two of the invertibilities, while it emerges that imposing one more condition often entails the validity of all four. A main result shows that under appropriate conditions, just one of the invertibility conditions is su?cient for the existence of a one-sided antipode. In the left Hopf algebra which is a variant of the quantum special linear group of two-dimensional matrices, it is shown explicitly that the right composite is not injective, and the left composite is not surjective.     

量子群的基变换与范畴同构

令Ｍ是Ｚ［ｖ］的由ｖ－１和奇素数ｐ生成的理想,Ｕ是Ａ＝Ｚ［ｖ］Ｍ上相伴于对称Ｃａｒｔａｎ矩阵的量子群, Ａ－Γ是环同态, Ｕг＝ＵＡΓ［Ｕг］是Ｕг的量子坐标代数,本文建立了量子坐标代数的基变换：即在相关约束条件下有Г－Ｈｏｐｆ同构 Ａ［Ｕ］ＡГ≌Г［Ｕг］．我们证明了有限秩 Ａ自由 １型可积 Ｕ模范畴和有限秩 Ａ自由 Ａ［Ｕ］余模范畴是同构的．特别,当 Г是域时,局部有限 １型 Ｕг模范畴和Г［Ｕг］余模范畴是同构的．最后,我们还证明了在［１］中定义的诱导函子和Ｂ．Ｐａｒｓｈａｌｌ与王建磐博士在［２］中研究的诱导函子的一致性．     

Quantum Yang-Baxter module algebras

LetH be a quantum group over a commutative ringR. We introduce the concept of quantum Yang-BaxterH-module algebra, generalizing the notion ofH-dimodule algebra in the case whereH is commutative, cocommutative and faithfully projective. After discussing some examples, we introduceH-Azumaya algebras. The set of quivalence classes ofH-Azumaya algebras can be made into a group, called the Brauer group of the quantum groupH. This group is a generalization of the Brauer-Long group.This author wishes to thank the Department of Mathematics, UIA, for its hospitality and financial support during the time when most of this paper was written.     

W-代数W(2,2)的单参数量子形变(英文)

众所周知,泛包络代数的量子形变所对应的量子群结构是依据所给代数的单根系给出的.我们构造了q-形变W代数Wq,并给出其非平凡的量子群结构.     

Quasi-Shuffle Products

Given a locally finite graded set A and a commutative, associative operation on A that adds degrees, we construct a commutative multiplication * on the set of noncommutative polynomials in A which we call a quasi-shuffle product; it can be viewed as a generalization of the shuffle product III. We extend this commutative algebra structure to a Hopf algebra (U, *, ); in the case where A is the set of positive integers and the operation on A is addition, this gives the Hopf algebra of quasi-symmetric functions. If rational coefficients are allowed, the quasi-shuffle product is in fact no more general than the shuffle product; we give an isomorphism exp of the shuffle Hopf algebra (U, III, ) onto (U, *, ) the set L of Lyndon words on A and their images { exp(w) w L} freely generate the algebra (U, *). We also consider the graded dual of (U, *, ). We define a deformation *_q of * that coincides with * when q = 1 and is isomorphic to the concatenation product when q is not a root of unity. Finally, we discuss various examples, particularly the algebra of quasi-symmetric functions (dual to the noncommutative symmetric functions) and the algebra of Euler sums.     

A Generalization of a Two-Parameter Quantization for the Group GL 2(k)

We generalize a well-known two-parameter quantization for the group GL ₂(k) (over an arbitrary field k). Specifically, a certain class of Hopf algebras is constructed containing that quantization. The algebras are constructed given an arbitrary coalgebra and an arbitrary pair of its commuting anti-isomorphisms, and are defined by quadratic relations. They are densely linked to the compact quantum groups introduced by Woronowicz. We give examples of Hopf algebras that can be rowed up to the two-parameter quantization for GL ₂(k).     

相应于型$B_n$的非标准形变的弱Hopf代数

我们引入了型$B_n$的非标准量子群$X_q(B_n)$, 它具有Hopf代数结构,然后我们替换$X_q(B_n)$的类群元得到对应的弱Hopf代数${mathfrak{w}X_q(B_{n})}$. 最后我们描述了${mathfrak{w}X_q(B_{n})}$作为余代数的Ext--箭图.     

Reflection groupoids of rank two and cluster algebras of type A

We extend the classification of finite Weyl groupoids of rank two. Then we generalize these Weyl groupoids to ‘reflection groupoids’ by admitting non-integral entries of the Cartan matrices. This leads to the unexpected observation that the spectrum of the cluster algebra of type An−3 completely describes the set of finite reflection groupoids of rank two with 2n objects.     

Compactifications of Discrete Quantum Groups

Given a discrete quantum group we construct a Hopf -algebra which is a unital -subalgebra of the multiplier algebra of . The structure maps for are inherited from and thus the construction yields a compactification of which is analogous to the Bohr compactification of a locally compact group. This algebra has the expected universal property with respect to homomorphisms from multiplier Hopf algebras of compact type (and is therefore unique). This provides an easy proof of the fact that for a discrete quantum group with an infinite dimensional algebra the multiplier algebra is never a Hopf algebra.Partially supported by Komitet Badań Naukowych grants 2P03A04022 & 2P03A01324, the Foundation for Polish Science and Deutsche Forschungsgemeinschaft.     

Monoidal functors on the category of representations of a triangular Hopf algebra

Let (H,R) be a triangular Hopf algebra. The monoidal functors on the category of representations ofH is studied, and a universal quantum commutative algebraSeR(M) and a dual H°-comoduleM° for any H-moduleM with an integrale are constructed. Both constructions given here have tensor isomorphism properties. Project supported by the National Natural Science Foundation of China.     

Construction of cocycles for bicrossproduct of Lie groups

We obtain an explicit formula for finding cocycles on a matched pair of Lie groups by using cocycles on the corresponding pair of Lie algebras. This formula for cocycles allows one to construct examples of locally compact quantum groups via bicrossproduct of Lie groups.     

Cartan calculus for quantum differentials on bicrossproducts

We provide the Cartan calculus for bicovariant differential forms on bicrossproduct quantum groups k(M) k G associated to finite group factorizations X = GM and a field k. The irreducible calculi are associated to certain conjugacy classes in X and representations of isotropy groups. We find the full exterior algebras and show that they are inner by a bi-invariant 1-form which is a generator in the noncommutative de Rham cohomology H ¹. The special cases where one subgroup is normal are analysed. As an application, we study the noncommutative cohomology on the quantum codouble D ^*(S ₃)k(S ₃) k₆ and the quantum double D(S ₃) \triangleleft $$ " align="middle" border="0"> k S ₃, finding respectively a natural calculus and a unique calculus with H ⁰ = k.1.     

Induced and Coinduced Representations of Hopf Group Coalgebras

The induction theory for a Hopf group coalgebra is outlined. Given a Hopf group coalgebra H, the notions of a quotient Hopf group coalgebra and group coisotropic quantum subgroup of H are introduced. The properties of (co)induced representations are studied and the geometric interpretation and simplicity theory of such representations are given.      

On Hopf Algebras and Their Generalizations

We survey Hopf algebras and their generalizations. In particular, we compare and contrast three well-studied generalizations (quasi-Hopf algebras, weak Hopf algebras, and Hopf algebroids), and two newer ones (Hopf monads and hopfish algebras). Each of these notions was originally introduced for a specific purpose within a particular context; our discussion favors applicability to the theory of dynamical quantum groups. Throughout the note, we provide several definitions and examples in order to make this exposition accessible to readers with differing backgrounds.     

Extension of a quantized enveloping algebra by a Hopf algebra

Suppose that H is a Hopf algebra,and g is a generalized Kac-Moody algebra with Cartan matrix A =(aij)I×I,where I is an index set and is equal to either {1,2,...,n} or the natural number set N.Let f,g be two mappings from I to G(H),the set of group-like elements of H,such that the multiplication of elements in the set {f(i),g(i)|i ∈I} is commutative.Then we define a Hopf algebra Hgf Uq(g),where Uq(g) is the quantized enveloping algebra of g.     

Curves on Quasi-Schemes

This paper concerns curves on noncommutative schemes, hereafter called quasi-schemes. Aquasi-scheme X is identified with the category ofquasi-coherent sheaves on it. Let X be a quasi-scheme having a regularly embeddedhypersurface Y. Let C be a curve on X which is in good position withrespect to Y (see Definition 5.1) – this definition includes a requirement that Xbe far from commutative in a certain sense. Then C is isomorphic to , where n is the number of points of intersection of Cwith Y. Here , or rather , is the quotient category -graded modules over the commutative polynomial ring, modulo the subcategory ofmodules having Krull dimension n – 2. This is a hereditary category whichbehaves rather like , the category of quasi-coherentsheaves on .