×

单位根处量子化标志流形上的微分算子。 (英语) Zbl 1264.14067号

通过Beilinson-Bernstein局部化定理,标志流形上微分算子的带在半单李代数的表示理论中起着关键作用。利用非交换代数几何的框架,V.A.伦茨A.L.罗森博格[选修数学,新系列5,第1期,123–159(1999;Zbl 0928.16020号)]定义了一个阿贝尔范畴,可以合理地称为量子标志流形上的拟相干D模范畴。作者展示了[Math.Z.250,No.2,299-361(2005;Zbl 1082.17010号)]也通过E.巴克尔林K.Kremnizer公司[Adv.Math.203,编号2408-429(2006;Zbl 1165.17304号)]Beilinson-Bernstein定理的类似物适用于量子群,至少当变形参数是超越的。本文考虑了变形参数是统一根的情况。
设\(G\)是在\(\mathbb{C}\)和\(\mathcal{B}\)相关标志流形上的一个简单的单连通代数群。设\(zeta)是\(mathbb{C})中单位的本原\(ell)th根。虽然没有真正的空间可以称为量子标志流形{乙}_{\zeta}\),拟相干的阿贝尔范畴\(\mathcal{D}(D)_{\马塔尔{乙}_该空间上的{zeta}})-模被所有扭模的Serre子范畴定义为某一分次代数的分次模范畴的商。量子群上的Lusztig的Frobenius态射(\mathrm{Fr}:U_{zeta}(\mathfrak{g})\rightarrow U(\matchfrak{c}))允许我们构造一个显层{法语}_*\mathcal公司{D}(D)_{\马塔尔{乙}_(\mathcal)的{\zeta}}{O}_标志流形上的{mathcal{B}}代数,使得拟相干范畴{法语}_*\mathcal公司{D}(D)_{\马塔尔{乙}_模正是拟相干范畴(mathcal)的(mathrm{Fr})下的前推{D}(D)_{\马塔尔{乙}_{\zeta}}\)-模块。本文的第一个主要结果明确地描述了层中心的谱{法语}_*\mathcal公司{D}(D)_{\马塔尔{乙}_{\泽塔}}\)。它被证明是一个光滑的辛变种。可以考虑\(\mathrm{法语}_*\mathcal公司{D}(D)_{\马塔尔{乙}_作为(mathcal{V})上的一层代数。第二个主要结果表明{法语}_*\mathcal公司{D}(D)_{\马塔尔{乙}_{\zeta}})实际上是秩为\(\ell^N\)的\(\mathcal{V}\)上的Azumaya代数,其中\(N\)表示与\(G\)相关的根系中正根的数量。
从空间(mathcal{V})到某个奇异仿射簇(Ktimes{H/W}H)存在一个射影态射。文章的最后主要结果是,Azumaya代数{法语}_*\数学{D}(D)_{\马塔尔{乙}_{\zeta}})在限制于态射的每个光纤时被分割。为了说明这一点,作者构造了一个显式的分裂束。他指出,可以使用类似的论点来证明{法语}_*\mathcal公司{D}(D)_{\马塔尔{乙}_{\zeta}}\)实际上在\(\delta\)的任何光纤的形式邻域上分裂。
关于第二部分,参见[作者名古屋数学杂志214,1-52(2014;Zbl 1311.14047号)].

MSC公司:

2015年14月 格拉斯曼流形、舒伯特流形、旗流形
17层37 量子群(量子化包络代数)及其变形
10层14号 差速器和其他特殊滑轮;D模块;Bernstein-Sato理想与多项式
14A22型 非交换代数几何
32C38号 微分算子的滑轮及其模,(D)-模
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Andersen,H.H。;马球,P。;Wen,K.,量子代数的表示,发明。数学。,104, 1-59 (1991) ·Zbl 0724.17012号
[2] Andersen,H.H。;Wen,K.,量子代数的表示。混合案件,J.Reine Angew。数学。,427, 35-50 (1992) ·Zbl 0771.17010号
[3] Backelin,大肠杆菌。;Kremnizer,K.,《量子旗变种、等变量子模和量子群局域化》,高等数学。,203, 408-429 (2006) ·Zbl 1165.17304号
[4] Backelin,大肠杆菌。;Kremnizer,K.,《量子群在统一之根的局部化》,J.Amer。数学。Soc.,21,1001-1018(2008)·Zbl 1248.14003号
[5] Bezrukavnikov,R。;米尔科维奇,I。;Rumynin,D.,素特征中半单李代数模的局部化,数学年鉴。,167, 945-991 (2008) ·Zbl 1220.17009号
[6] Brown,K。;Gooderl,K.R.,不可约模和最大维的Noetherian PI-Hopf代数的同调方面,J.代数,198,240-265(1997)·兹伯利0892.16022
[7] Brown,K。;Gordon,I.,《中心的分支:正特征李代数和量子化包络代数》,数学。Z.,238733-779(2001)·Zbl 1037.17011号
[8] De Concini,C。;Kac,V.,量子群在1根的表示,(《数学进展》,第92卷(1990年),Birkhäuser),471-506·Zbl 0738.17008号
[9] De Concini,C。;Lyubashenko,V.,《1根的量子函数代数》,高等数学。,108, 205-262 (1994) ·Zbl 0846.17008号
[10] De Concini,C。;Procesi,C.,量子群,(Boutet de Monvel,L.;etal.,(D\)-modules,Representation Theory and Quantum groups,Proc。威尼斯\(1992年。模,表示理论和量子群,Proc。威尼斯1992,数学讲义,第1565卷(1993),施普林格:施普林格柏林)·Zbl 0795.17005号
[11] V.G.Drinfeld,《量子群》,摘自:Proc。国际会议数学。,伯克利,1986年,第798-820页。;V.G.Drinfeld,《量子群》,摘自:Proc。国际会议数学。,伯克利,1986年,第798-820页·Zbl 0667.16003号
[12] Dynkin,E.B.,半单李代数的半单子代数,Mat.Sbornik NS。美国Mat.Sbornik NS。数学。Soc.翻译。,6、72、111-244(1957),(俄语)·Zbl 0077.03404号
[13] 加布里埃尔,P。;Zisman,M.,分数微积分与同伦理论(1967),Springer-Verlag·Zbl 0186.56802号
[14] Gavarini,F.,泊松群的量子化,太平洋数学杂志。,186, 217-266 (1998) ·Zbl 0921.17004号
[15] Jantzen,J.C.,(量子群讲座。量子群讲座,数学研究生课程,第6卷(1996),美国数学学会:美国数学学会普罗维登斯,RI)·Zbl 0842.17012号
[16] M.Kaneda,(mathbb{Z}[q,q^{-1}]\)上量子代数的上同调;M.Kaneda,\(\mathbb{Z}[q,q^{-1}]\)上量子代数的上同调
[17] 金田,M.,无穷小量子代数的上同调,《代数》,226250-282(2000)·Zbl 0981.17013号
[18] 库马尔,S。;Littelmann,P.,特征零点中的Frobenius分裂和量子Frobeniu映射,(交换代数,同调代数和表示理论(Catania/Genoa/Rome,1998)。交换代数,同调代数和表示理论(卡塔尼亚/热那亚/罗马,1998),J.Pure Appl。《代数》,第152卷(2000),201-216·Zbl 0977.17008号
[19] 库马尔,S。;Littelmann,P.,通过量子群对Frobenius分裂的代数化,数学年鉴。,155, 2, 491-551 (2002) ·Zbl 1078.14074号
[20] 伦茨,V。;Rosenberg,A.,量子群的局部化,Selecta Math。(NS),5123-159(1999)·Zbl 0928.16020号
[21] Lusztig,G.,包络代数上某些简单模的量子形变,高等数学。,70, 237-249 (1988) ·Zbl 0651.17007号
[22] Lusztig,G.,根为1的量子群,Geom。Dedicata,35,89-114(1990)·Zbl 0714.17013号
[23] Lusztig,G.,《量子群导论》(1993),Birkhäuser·Zbl 0788.17010号
[24] Popescu,N.,阿贝尔范畴及其在环和模上的应用(1973),学术出版社·兹比尔0271.18006
[25] Ryom-Hansen,S.,A(q)-Kempf消失定理的类比,Mosc。数学。J.,2173-187(2003)·Zbl 1062.17013号
[26] Tanisaki,T.,单位根上量化标志流形上的微分算子II·Zbl 1264.14067号
[27] Tanisaki,T.,Manin三元组和量子群上的微分算子·Zbl 1301.17015号
[28] Tanisaki,T.,Killing形式,Harish-Chandra同构,量子代数的泛(R)-矩阵,国际。现代物理学杂志。A、 7,补遗1B,941-961(1992)·Zbl 0870.17007号
[29] Tanisaki,T.,量子化包络代数的Beilinson-Bernstein对应,数学。Z.,250,299-361(2005)·Zbl 1082.17010号
[30] Woodcock,W.,Schur代数和全局基:旧消失定理的新证明,J.代数,191331-370(1997)·Zbl 0890.17008号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。