[论文解读] On the Spectra of Quantum Groups

Milen Yakimov|arXiv (Cornell University)|Jun 20, 2011

Algebraic structures and combinatorial models参考文献 53被引用 38

一句话总结

本文在任意基域上，且变形参数 $ q $ 不是单位根的条件下，明确描述了简单代数群上量子函数代数 $ R_q[G] $ 的素谱和本原谱。通过确定 Joseph 局部化代数的中心，并对 De Concini–Kac–Procesi 代数实现变量分离，作者对极大理想进行了分类，证明其所有理想均具有有限余维，并表明 $ R_q[G] $ 满足第一链条件，且所有素理想的最大链长度均等于 $ \dim G $。该工作解决了关于量子群谱结构与同调性质的长期悬而未决问题。

ABSTRACT

Joseph and Hodges-Levasseur (in the A case) described the spectra of all quantum function algebras R_q[G] on simple algebraic groups in terms of the centers of certain localizations of quotients of R_q[G] by torus invariant prime ideals, or equivalently in terms of orbits of finite groups. These centers were only known up to finite extensions. We determine the centers explicitly under the general conditions that the deformation parameter is not a root of unity and without any restriction on the characteristic of the ground field. From it we deduce a more explicit description of all prime ideals of R_q[G] than the previously known ones and an explicit parametrization of Spec R_q[G]. We combine the latter with a result of Kogan and Zelevinsky to obtain in the complex case a torus equivariant Dixmier type map from the symplectic foliation of the group G to the primitive spectrum of R_q[G]. Furthermore, under the general assumptions on the ground field and deformation parameter, we prove a theorem for separation of variables for the De Concini-Kac-Procesi algebras U^w_\pm, and classify the sets of their homogeneous normal elements and primitive elements. We apply those results to obtain explicit formulas for the prime and especially the primitive ideals of U^w_\pm lying in the Goodearl-Letzter stratum over the 0-ideal. This is in turn used to prove that all Joseph's localizations of quotients of R_q[G] by torus invariant prime ideals are free modules over their subalgebras generated by Joseph's normal elements. From it we derive a classification of the maximal spectrum of R_q[G] and use it to resolve a question of Goodearl and Zhang, showing that all maximal ideals of R_q[G] have finite codimension. We then prove that all maximal chains in Spec R_q[G] have the same length equal to GKdim R_q[G]= dim G, i.e. R_q[G] satisfies the first chain condition for prime ideals in Nagata's terminology.

研究动机与目标

• 解决关于量子函数代数 $ R_q[G] $ 的素谱与本原谱的开放问题。
• 显式确定 Joseph 对 $ R_q[G] $ 的局部化代数的中心，消除对有限扩张的依赖。
• 对 $ R_q[G] $ 的极大理想进行分类，并回答 Goodearl 与 Zhang 关于有限余维的疑问。
• 在复数情形下，建立从 $ G $ 的辛叶层到 $ \mathrm{Prim}\,R_q[G] $ 的 $ T $-等变 Dixmier 型映射。
• 证明 $ R_q[G] $ 满足第一链条件，且所有素理想的最大链长度为 $ \dim G $。

提出的方法

• 利用 De Concini–Kac–Procesi 代数 $ \mathcal{U}^w_\pm $ 的变量分离技术，显式计算 Joseph 局部化代数的中心。
• 通过基本表示的权序基，构造 $ R^+ \circledast R^- $ 的幂零理想的一个多项式正则生成序列。
• 应用量子幂零代数理论，对 $ \mathcal{U}^w_\pm $ 中的齐次正规元与素元进行分类。
• 利用 $ R_w $ 关于由 Joseph 正规元生成的子代数的模结构，分析 $ \{0\} $-层中的素理想。
• 借助 $ \mathrm{gr}\,R_q[G] \cong R^+ \circledast R^- $ 的伴随分次代数，推导出诺特性与正规元性质。
• 结合 Kogan–Zelevinsky 的工作，在复数情形下构造 $ T $-等变 Dixmier 映射。

实验结果

研究问题

• RQ1 当 $ q $ 不是单位根且基域为任意域时，$ R_q[G] $ 的 Joseph 局部化代数的中心具有怎样的显式结构？
• RQ2 所有 $ R_q[G] $ 的极大理想是否都具有有限余维？（Goodearl 与 Zhang 的猜想）
• RQ3 是否能显式参数化 $ R_q[G] $ 的素谱与本原谱？是否存在从 $ G $ 的辛叶层到 $ \mathrm{Prim}\,R_q[G] $ 的 $ T $-等变 Dixmier 型映射？
• RQ4 De Concini–Kac–Procesi 代数 $ \mathcal{U}^w_\pm $ 在正规元与素元方面的结构如何？
• RQ5 $ R_q[G] $ 是否满足第一链条件，且所有素理想的最大链长度等于 $ \dim G $？

主要发现

• 在 $ q $ 不是单位根且基域为任意域的条件下，明确确定了 $ R_q[G] $ 的 Joseph 局部化代数的中心。
• 所有 $ R_q[G] $ 的极大理想均具有有限余维，解决了 Goodearl 与 Zhang 的疑问。
• 素谱 $ \mathrm{Spec}\,R_q[G] $ 通过有限群的轨道显式参数化，且在复数情形下构造了 $ T $-等变 Dixmier 型映射。
• $ R_q[G] $ 满足第一链条件：所有素理想的最大链长度等于 $ \dim G $，该值亦为 Gelfand–Kirillov 维数。
• De Concini–Kac–Procesi 代数 $ \mathcal{U}^w_\pm $ 具备变量分离性质，其齐次正规元与素元已完全分类。
• 对 $ R_q[G] $ 关于 $ T $-不变素理想的商代数的 Joseph 局部化，是其由 Joseph 正规元生成的子代数上的自由模。