A conjecture on monomial realizations and polyhedral realizations for crystal bases
本文提出并部分证明了一个猜想,该猜想建立了可对称化 Kac-Moody 代数晶体基的多面体锥显式形式与单项式实现之间的联系,并在经典李代数、秩2 Kac-Moody 代数及经典仿射李代数情形下验证了其正确性。
2025-03-11 math.CO math.QA math.RT
Monomial Crystals and Partition Crystals
最近Fayers介绍了一个大家庭的组合实现的基本晶体的仿射sl(n),其中的顶点索引的某些分区。他表明,这种结构的特殊情况下同意米斯拉-米瓦实现和伯格的阶梯晶体。在这里,我们表明,另一种特殊的情况下,自然同构的实现使用Nakajima的单项晶体。
2010-04-21 math.CO math.QA
Cluster Variables on Certain Double Bruhat Cells of Type $(u,e)$ and Monomial Realizations of Crystal Bases of Type A
设$G$是$\mathbb{C}$上的单连通单代数群,$B$和$B_-$是$G$中两个相反的Borel子群,$W$是Weyl群.对于$u$,$v\in W$,已知双Bruhat单元$G^{u,v}=BuB\cap B_-vB_-$的坐标环${\mathbb C}[G^{u,v}]$同构于上簇代数$\bar{\mathcal A}({\bf i})_{\mathbb C}$,并且广义子式$\{Δ(k;{\bf i})\}$是属于${\mathbb C}[G^{u,v}]$中给定初始种子的簇变量[Berenstein A.,Fomin S.,Zelevinsky A.,126(2005),1-52,math.RT/0305434]。在$G={\rm SL}_{r+1}({\mathbb C})$、$v=e$和某些特殊的$u\in W$的情况下,我们将把广义子式$\{Δ(k;{\bf i})\}$描述为某些Demazure晶体的单项实现的和。
2015-04-23 math.QA
Quantum extremal loop weight modules and monomial crystals
本文构造了一类新的$A_n$型量子环面代数的表示族,它们是Hernandez意义下的$\ell$ -极值.当$n=2r+1$为奇数时,我们构造了与0级基本权重$\varpi_\ell$相关的极值循环权重模块,并构造了$\ell=1, r+1$或$n$ .要做到这一点,我们涉及到的单项实现的0级极值基本重量晶体与可积表示的$\mathcal{U}_q(sl_{n+1}^{tor})$,我们引入促进运营商的0级极值基本重量晶体。通过对量子参数的特殊化,得到了量子环面代数在单位根上的有限维模。在一般情况下,我们给出了一个自然的过程,构造极值循环重量模块从单项式实现的晶体。
2013-05-01 math.CO math.QA math.RT
An elementary construction of monomial bases of modified quantum affine $\mathfrak{gl}_n$
1990年Beilinson,Lusztig和MacPherson给出了修正量子$\mathfrak{gl}_n$的几何实现及其正则基。他们工作的一个关键步骤是构造一个单项基。最近,Du和Fu给出了修正量子仿射$\mathfrak{gl}_n$的正则基的代数构造,其中使用了早期使用循环代数的Ringel-Hall代数构造单项式基的结果。本文给出了仿射Schur代数和修正的量子仿射$\mathfrak{gl}_n$的单项式基的初等代数构造。
2017-05-04 math.QA math.RT
Cluster Variables on Double Bruhat Cells $G^{u,e}$ of Classical Groups and Monomial Realizations of Demazure Crystals
令$G$是$\mathbb{C}$上的单连通单代数群,$B$和$B_-$是其两个相反的Borel子群,$W$是相关的Weyl群。证明了双Bruhat胞元$G^{u,v}=BuB\cap B_-vB_-$的坐标环${\mathbb C}[G^{u,v}]$($u$,$v\in W$)同构于簇代数${\mathcal{A}}(\textbf{i})_{\mathbb C}$,且${\mathbb C}[G^{u,v}]$的初始簇变量是Berenstein,Fomin,Zelevinsky,Goodearl和Yakimov的广义子式$Δ(k;\textbf{i})$.在经典群$G$的类型为${\rm B}_r$、${\rm C}_r$或${\rm D}_r$的情况下,我们将用Demazure晶体的单项式实现来描述簇代数$\mathbb{C}[L^{u,e}]$的非平凡最后一个$r$初始簇变量$\{Δ(k;\textbf{i})\}_{(m-2)r<k\leq (m-1)r}$($m$是某个正整数),其中$L^{u,e}$是$(u,e)$类型的约化双Bruhat胞.还描述了$G^{u,e}$和$L^{u,e}$上的$Δ(k;\textbf{i})$之间的关系。虽然我们已经得到了所有初始簇变量的结果,但我们也给出了${\rm A}_r$型的相应结果。
2017-01-17 math.QA
An algorithm for Berenstein-Kazhdan decoration functions and trails for classical Lie algebras
对于单连通单代数群$G$,已知一个簇$B_{w_0}^-:=B^-\cap U\overline{w_0}U$对Weyl群的最长元$w_0$的每一个约化字$\mathbf{i}$都具有正结构$θ^-_{\mathbf{i}}:(\mathbb{C}^{\times})^{l(w_0)}\rightarrow B_{w_0}^-$的几何晶体结构. $B_{w_0}^-$上的有理函数$Φ^h_{BK}=\sum_{i\in I}Δ_{w_0Λ_i,s_iΛ_i}$称为半势,其中$Δ_{w_0Λ_i,s_iΛ_i}$是广义子式。通过显式计算$Φ^h_{BK}\circ θ^-_{\mathbf{i}}$,得到了有限维单李代数$\mathfrak{g}={\rm Lie}(G)$的$B(\infty)$的弦锥或多面体实现的显式形式.本文对任意约简字$\mathbf{i}$,给出了一个计算$Φ^h_{BK}\circ θ^-_{\mathbf{i}}$的和项$Δ_{w_0Λ_i,s_iΛ_i}\circ θ^-_{\mathbf{i}}$的算法,条件是$i\in I$满足对$V(-w_0Λ_i)$和$t\in I$的任意权$μ$,它保持$\langle h_t,μ\rangle\in\{2,1,0,-1,-2\}$ .特别地,如果$\mathfrak{g}$是${\rm A}_n$、${\r…
2022-07-17 math.CO math.QA math.RT
Geometric Realization of the Segal--Sugawara Construction
我们将顶点代数的局部化技术应用于Virasoro代数在仿射Kac-Moody代数上的“内部”作用的Segal-Sugawara构造。其结果是将扭曲的微分算子从曲线的模提升到具有丛的曲线的模,具有任意的装饰和复杂的扭曲。这种构造给出了一种统一的方法来处理描述变化曲线上丛的模空间几何的一系列现象:非阿贝尔θ函数上的KZB方程和热核,它们的临界能级极限给出了希钦系统的Beilinson-Drinfeld量子化的二次部分,而它们的无限能级极限给出了同构方程的汉密尔顿描述。
2003-01-20 math.AG math.QA
Descriptions of the crystal $B(\infty)$ for $G_2$
研究了量子群负部分的晶体基。给出了$G_2$型晶体$B(\infty)$的两种明确描述。第一个是在延长Nakajima单项式和第二个实现如下的其他有限型克利夫给出类似的结果。
2005-08-13 math.QA
Cluster algebras of finite type via a Coxeter element and Demazure Crystals of type B,C,D
对于经典群$G$和Weyl群的Coxeter元$c$,已知双Bruhat胞$G^{e,c^2}:=B\cap B_-c^2B_-$的坐标环$\mathbb{C}[G^{e,c^2}]$具有有限型的簇代数结构,其中$B$和$B_-$是相反的Borel子群.在这篇文章中,我们考虑的情况下,$G$是${\rm B}_r$,${\rm C}_r$或${\rm D}_r$类型和描述所有的簇变量在$\mathbb{C}[G^{e,c^2}]$作为单名实现某些Demazure晶体。
2020-05-09 math.QA math.RT
Combinatorial realizations of crystals via torus actions on quiver varieties
考虑与对称Kac-Moody代数的最高权表示相关联的Kashiwara晶体。有一个几何实现这个对象使用Nakajima's numerous品种,但在许多特定情况下,它也可以实现的初等组合方法。在这里,我们提出了一个框架,从几何图片提取组合实现:我们构造某些环面行动上的环面品种,并使用莫尔斯理论索引的不可约组件的连通组件的环面不动点的子品种。然后我们讨论仿射sl(n)的情况。在那里,不动点分量只是点,并且自然地由多分区索引。在我们的结构中有一些选择,导致每个最高权晶体的组合模型的家庭。应用这种结构的晶体的基本表示恢复家庭的组合实现最近建造的Fayers。这对Fayers的结果给出了更概念化的证明,并推广到更高的层次.我们还讨论了与Nakajima的单项晶体的关系。
2013-05-01 math.CO math.QA
PBW bases and marginally large tableaux in type D
本文刻画D型$B(\infty)$的边缘大表实现与基于最长词良好约化表达式的PBW单项式实现之间的唯一晶体同构。
2016-06-08 math.CO math.QA
A cluster realization of $U_q(\mathfrak{sl_n})$ from quantum character varieties
我们构造了量子群$U_q(\mathfrak{sl}_{n+1})$到量子簇代数$\mathbf{L}_n$的一个内射代数同态,该代数与标记穿孔圆盘上的框架$PGL_{n+1}$ -局域系统的模空间相关联。我们得到了$U_q(\mathfrak{sl}_{n+1})$的余积的描述在相应的量子簇代数相关联的标记两次穿刺磁盘,并表示行动的$R$ -矩阵的映射类群元素对应的半Dehn扭曲旋转一个穿刺其他。因此,我们实现了$U_q(\mathfrak{sl}_{n+1})^{\otimes 2}$的代数自同构作为一个显式的簇突变序列的$R$ -矩阵的共轭给出,并导出了一个精细的分解的$R$ -矩阵成簇单项式的量子双态。
2019-01-10 math-ph math.CO math.MP
Geometric Schur duality of classical type
这是对贝林森、卢斯蒂格和麦克弗森的经典著作的概括。本文(及附录)证明了在$B/C$型的部分旗簇的设定下,通过BLM型稳定化过程得到的量子代数是量子一般线性李代数的两个(修正的)共理想子代数:$\dot{\mathbf U}^{\jmath}$和$\dot{\mathbf U}^{\imath}$ .我们给出了这样一个余理想代数与$B$型Iwahori-Hecke代数之间Bao-Wang的Schur型对偶的几何实现.构造了Schur代数和修正的余理想代数$\dot{\mathbf U}^{\jmath}$的单项基和标准基.在三位作者的附录中,我们发展了一个更精细的$2$ -步稳定化过程,从而得到了$\dot{\mathbf U}^{\imath}$,然后构造了$\dot{\mathbf U}^{\imath}$的单式基和典范基。证明了$\dot{\mathbf U}^{\imath}$是$\dot{\mathbf U}^{\jmath}$的具有相容标准基的子商.此外,还建立了修正余理想代数的标准基与Schur代数的标准基之间的相容性.
2017-10-18 math.AG math.QA math.RT
Cluster algebras of finite type via a Coxeter element and Demazure Crystals of type A
设$G$是$\mathbb{C}$上的单连通单代数群,$B$和$B_-$是它的两个相反的Borel子群.对于Weyl群$W$的两个元素$u$,$v$,已知双Bruhat胞元$G^{u,v}=BuB\cap B_-vB_-$的坐标环${\mathbb C}[G^{u,v}]$同构于簇代数$\mathcal{A}(\textbf{i})_{\mathbb C}$ [arXiv:math/0305434,arXiv:1602.00498].在$u=e$,$v=c^2$($c$是Coxeter元素)的情况下,代数${\mathbb C}[G^{e,c^2}]$只有100个簇变量。对于$G={\rm SL}_{r+1}(\mathbb{C})$,通过预投射代数的加性分类,得到了$\mathbb{C}[G^{e,c^2}]$中所有簇变量的显式形式,并用Demazure晶体的单项式实现描述了它们.
2017-04-11 math.QA math.RT
Semi-infinite construction for the double Yangian of type $A_1^{(1)}$
本文研究基于Iohara-Kohno实现的double Yangian DY(gl_2)的level 1无穷维模,证明其具有由满足差二条件的稳定可积算子半无穷单项式表示的Feigin-Stoyanovsky型拓扑基,并给出该基在相应量子仿射顶点代数表示理论中的应用。
2023-01-11 math-ph math.MP math.QA