Xin Fang
This paper is devoted to understanding the defining ideal of a Nichols algebra from the decomposition of specific elements in the group algebra of braid groups. A family of primitive elements are found and algorithms are proposed. To prove the main result, the differential algebra of a Nichols algebra is constructed. Moreover, another point of view on Serre relations is provided.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The Nichols algebras of diagonal type with finite root system are either of standard, super or (yet) unidentified type. A concrete description of the defining relations of all those Nichols algebras was given in \cite{A-exp presentation}. In the present paper we use this result to give an explicit presentation of all Nichols algebras of unidentified type.
The quantized enveloping algebra $U_q$ is constructed as a quotient of the generalized quantum double $ U^{\leq 0}_q \cmdbicross_τ U^{\geq 0}_q $ associated to a natural skew pairing $ τ: U^{\leq 0}_q \otimes U^{\geq 0}_q \to k $. This double is generalized by $\cmdcalD = (\cmdfrakB (V) \cmddotrtimes F) \cmdbicross_τ (\cmdfrakB (W) \cmddotrtimes G)$, where $F$, $G$ are abelian groups, $ V \in {}^F_F \cmdcalYD $, $ W \in {}^G_G \cmdcalYD $ are Yetter-Drinfeld modules and $ \cmdfrakB (V) $, $ \cmdfrakB (W) $ are their Nichols algebras. We prove some results on Hopf ideals of $ \cmdcalD $, includ…
A technique is developed to reduce the investigation of Nichols algebras of integrable U_q(g)-modules to the investigation of Nichols algebras of braided vector spaces with diagonal braiding. The results are applied to obtain information on the Gelfan'd-Kirillov dimension of these Nichols algebras and their defining relations if the braiding is of a special type and q is not a root of unity. For simple g the cases of finite Gelfand-Kirillov dimension are determined completely.
We establish the relationship among Nichols algebras, Nichols braided Lie algebras and Nichols Lie algebras. We prove two results: (i) Nichols algebra $\mathfrak B(V)$ is finite-dimensional if and only if Nichols braided Lie algebra $\mathfrak L(V)$ is finite-dimensional if there does not exist any $m$-infinity element in $\mathfrak B(V)$; (ii) Nichols Lie algebra $\mathfrak L^-(V)$ is infinite dimensional if $ D^-$ is infinite. We give the sufficient conditions for Nichols braided Lie algebra $\mathfrak L(V)$ to be a homomorphic image of a braided Lie algebra generated by $V$ with defining re…
Two generating sets of the defining ideal of a Nichols algebra of diagonal type are proposed, which are then applied to study the bar involution and the specialization problem of quantum groups associated to non-symmetrizable generalized Cartan matrices.
We obtain a presentation by generators and relations of any Nichols algebra of diagonal type with finite root system. We prove that the defining ideal is finitely generated. The proof is based in Kharchenko's theory of PBW basis of Lyndon words. We prove that the lexicographic order on Lyndon words is convex for such PBW generators and so the PBW basis is orthogonal with respect to the canonical non-degenerate form associated to the Nichols algebra.
In positive characteristic the Jordan plane covers a finite-dimensional Nichols algebra that was described by Cibils, Lauve and Witherspoon and we call the restricted Jordan plane. In this paper the characteristic is odd. The defining relations of the Drinfeld double of the restricted Jordan plane are presented and its simple modules are determined. A Hopf algebra that deserves the name of double of the Jordan plane is introduced and various quantum Frobenius maps are described. The finite-dimensional pre-Nichols algebras intermediate between the Jordan plane and its restricted version are cla…
This is a survey on Nichols algebras of diagonal type with finite dimension, or more generally with arithmetic root system. The knowledge of these algebras is the cornerstone of the classification program of pointed Hopf algebras with finite dimension, or finite Gelfand-Kirillov dimension; and their structure should be indispensable for the understanding of the representation theory, the computation of the various cohomologies, and many other aspects of finite dimensional pointed Hopf algebras. These Nichols algebras were classified in [H-classif RS] as a notable application of the notions of …
We give an explicit and essentially minimal list of defining relations of a Nichols algebra of diagonal type with finite root system. This list contains the well-known quantum Serre relations but also many new variations. A conjecture by Andruskiewitsch and Schneider states that any finite-dimensional pointed Hopf algebra over an algebraically closed field of characteristic zero is generated as an algebra by its group-like and skew-primitive elements. As an application of our main result, we prove the conjecture when the group of group-like elements is abelian.
We prove {\rm (i)} Nichols algebra $\mathfrak B(V)$ of vector space $V$ is finite-dimensional if and only if Nichols braided Lie algebra $\mathfrak L(V)$ is finite-dimensional; {\rm (ii)} If the rank of connected $V$ is $2$ and $\mathfrak B(V)$ is an arithmetic root system, then $\mathfrak B(V) = F \oplus \mathfrak L(V);$ and {\rm (iii)} if $Δ(\mathfrak B(V))$ is an arithmetic root system and there does not exist any $m$-infinity element with $p_{uu} \not= 1$ for any $u \in D(V)$, then $\dim (\mathfrak B(V) ) = \infty$ if and only if there exists $V'$, which is twisting equivalent to $V$, such…
After the classification of the finite-dimensional Nichols algebras of diagonal type arXiv:math/0411477, arXiv:math/0605795, the determination of its defining relations arXiv:1008.4144, arXiv:1104.0268, and the verification of the generation in degree one conjecture arXiv:1104.0268, there is still one step missing in the classification of complex finite-dimensional Hopf algebras with abelian group, without restrictions on the order of the latter: the computation of all deformations or liftings. A technique towards solving this question was developed in arXiv:1212.5279, built on cocycle deforma…
We construct symmetric pairs for Drinfeld doubles of pre-Nichols algebras of diagonal type and determine when they possess an Iwasawa decomposition. This extends G. Letzter's theory of quantum symmetric pairs. Our results can be uniformly applied to Kac-Moody quantum groups for a generic quantum parameter, for roots of unity in respect to both big and small quantum groups, to quantum supergroups and to exotic quantum groups of ufo type. We give a second construction of symmetric pairs for Heisenberg doubles in the above generality and prove that they always admit an Iwasawa decomposition. For …
We show that the defining relations needed to describe a generalized q-Schur algebra as a quotient of a quantized enveloping algebra are determined completely by the defining ideal of a certain finite affine variety, the points of which correspond bijectively to the set of weights. This explains, unifies, and extends previous results.
The main aim of this paper is to investigate the structure of primitively generated connected braided bialgebras $A$ with respect to the braided vector space $P$ consisting of their primitive elements. When the Nichols algebra of $P$ is obtained dividing out the tensor algebra $T(P) $ by the two-sided ideal generated by its primitive elements of degree at least two, we show that $A$ can be recovered as a sort of universal enveloping algebra of $P$. One of the main applications of our construction is the description, in terms of universal enveloping algebras, of connected braided bialgebras who…
Towards reconstruction of finite tensor categories
本文迈出使用有限多个 $F$-矩阵重构有限张量范畴的第一步，以8维 Nicholas Hopf 代数 $K_2$ 为例建立框架，确定其 Green 环与张量理想，并揭示非投射可约不可分解对象激增带来的困难。
The two main approaches to the study of irreducible representations of orders (via traces and Poisson orders) have so far been applied in a completely independent fashion. We define and study a natural compatibility relation between the two approaches leading to the notion of Poisson trace orders. It is proved that all regular and reduced traces are always compatible with any Poisson order structure. The modified discriminant ideals of all Poisson trace orders are proved to be Poisson ideals and the zero loci of discriminant ideals are shown to be unions of symplectic cores, under natural assu…
A presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, Part I: the defining ideal
本文给出 A 型旗流形环面等变量子 K-理论环的显式表示，通过 Q=0 极限和 Nakayama 型论证及逆 Chevalley 公式证明，区别于非等变情形。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。