中文

Group-like elements in quantum groups, and Feigin's conjecture

q-alg 2008-02-03 v1 量子代数

摘要

Let AA be an arbitrary symmetrizable Cartan matrix of rank rr, and n=n+{\bf n}={\bf n_+} be the standard maximal nilpotent subalgebra in the Kac-Moody algebra associated with AA (thus, n{\bf n} is generated by E1,,ErE_1,\ldots,E_r subject to the Serre relations). Let U^q(n)\hat U_q({\bf n}) be the completion (with respect to the natural grading) of the quantized enveloping algebra of n{\bf n}. For a sequence i=(i1,,im){\bf i}=(i_1,\ldots,i_m) with 1ikr1\le i_k\le r, let PiP_{\bf i} be a skew polynomial algebra generated by t1,,tmt_1,\ldots,t_m subject to the relations tltk=qCik,iltktlt_lt_k=q^{C_{i_k,i_l}}t_kt_l (1k<lm1\le k<l\le m) where C=(Cij)=(diaij)C=(C_{ij})=(d_ia_{ij}) is the symmetric matrix corresponding to AA. We construct a group-like element eiPiU^q(n){\bf e}_{\bf i}\in P_{\bf i}\bigotimes \hat U_q({\bf n}). This element gives rise to the evaluation homomorphism ψi:Cq[N]Pi\psi_{\bf i}:{\bf C}_q[N]\to P_{\bf i} given by ψi(x)=x(ei)\psi_{\bf i}(x)=x({\bf e}_{\bf i}), where Cq[N]=Uq(n)0{\bf C}_q[N]=U_q({\bf n})^0 is the restricted dual of Uq(n)U_q({\bf n}). Under a well-known isomorphism of algebras Cq[N]{\bf C}_q[N] and Uq(n)U_q({\bf n}), the map ψi\psi_{\bf i} identifies with Feigin's homomorphism Φ(i):Uq(n)Pi\Phi({\bf i}): U_q({\bf n})\to P_{\bf i}. We prove that the image of ψi\psi_{\bf i} generates the skew-field of fractions F(Pi){\cal F}(P_{\bf i}) if and only if i{\bf i} is a reduced expression of some element ww in the Weyl group WW; furthermore, in the latter case, Ker ψi{\rm Ker}~\psi_{\bf i} depends only on ww (so we denote Iw:=Ker ψiI_w:={\rm Ker}~\psi_{\bf i}). This result generalizes the results in [5], [6] to the case of Kac-Moody algebras. We also construct an element Rw(Cq[N]/Iw)U^q(n){\cal R}_w\in \big({\bf C}_q[N]/I_w\big)\bigotimes \hat U_q({\bf n}) which specializes to ei{\bf e}_{\bf i} under the embedding Cq[N]/IwPi{\bf C}_q[N]/I_w\hookrightarrow P_{\bf i}. The elements Rw{\cal R}_w are closely

关键词

引用

@article{arxiv.q-alg/9605016,
  title  = {Group-like elements in quantum groups, and Feigin's conjecture},
  author = {Arkady Berenstein},
  journal= {arXiv preprint arXiv:q-alg/9605016},
  year   = {2008}
}

备注

25 pages, plain TEX