[论文解读] A classification of H-primes of quantum partial flag varieties

Milen Yakimov|ArXiv.org|Oct 6, 2009

Advanced Algebra and Geometry参考文献 8被引用 3

一句话总结

本文对量子部分旗簇 R_q[G/P_I] 中的 H-不变素理想进行了分类，建立了这些理想与 G/P_I 上标准泊松结构中 T-轨道的辛叶之间的双射关系。该分类由满足 v ≤ w 的对 (w,v) ∈ W^I × W 参数化，且所有此类理想均为完全素理想，通过轨道方法将量子代数与泊松几何联系起来。

ABSTRACT

We classify the invariant prime ideals of a quantum partial flag variety under the action of the related maximal torus. As a result we construct a bijection between them and the torus orbits of symplectic leaves of the standard Poisson structure on the corresponding flag variety. It was previously shown by K. Goodearl and the author that the latter are precisely the Lusztig strata of the partial flag variety.

研究动机与目标

• 对部分旗簇 G/P_I 的量子坐标环 R_q[G/P_I] 中的 H-不变素理想进行分类。
• 在 G/P_I 的标准泊松结构中，建立这些 H-素理想与 T-轨道的辛叶之间的几何对应关系。
• 证明所有此类 H-素理想均为完全素理想，并通过满足 v ≤ w 的对 (w,v) ∈ W^I × W 进行参数化。
• 将分类结果推广至关于极大权 λ 的 G/P_I 的锥的坐标环的量子形变。
• 提出并支持一个关于 H-素理想包含关系的猜想，其以 Weyl 群元素与抛物子群的形式表达。

提出的方法

• 利用极大环 H 在 R_q[G/P_I] 上的作用，并应用 Goodearl 与 Letzter 关于量子代数中 H-素理想的成果。
• 通过集合 S_{W,I} = {(w,v) ∈ W^I × W | v ≤ w} 参数化 H-素理想，其中 W^I 表示最小长度陪集代表元。
• 通过轨道方法程序，将 H-素理想与泊松旗簇 (G/P_I, π_I) 中的 T-轨道的辛叶联系起来，这些辛叶已知为 Lusztig strata。
• 利用 Lakshmibai–Reshetikhin 与 Soibelman 构造的 G/P_I 上多重锥的坐标环的量子形变，将结果推广至极大权 λ。
• 在局部化量子代数中的 H-不变素理想与相关量子群 U^w_− 中的 H-不变素理想之间建立保序双射，利用 Ore 局化与 H-等变同态。
• 应用 Mériaux–Cauchon 关于 U^w_− 中 H-素理想的分类结果，将参数化推广至任意域与非单位根的 q。

实验结果

研究问题

• RQ1 R_q[G/P_I] 中的 H-不变素理想如何参数化？其结构是怎样的？
• RQ2 这些 H-素理想在 G/P_I 的泊松几何中的几何意义是什么？
• RQ3 H-素理想的包含关系如何与 Weyl 群作用及抛物子群相关联？
• RQ4 该分类能否推广至关于极大权 λ 的 G/P_I 的锥的坐标环的量子形变？
• RQ5 是否存在关于 H-素理想包含关系的猜想，其以 Weyl 群元素与抛物子群的形式表达？

主要发现

• R_q[G/P_I] 中不包含陪集理想（augmentation ideal）的 H-不变素理想与集合 S_{W,I} = {(w,v) ∈ W^I × W | v ≤ w} 之间存在双射关系。
• 所有此类 H-素理想均为完全素理想，确认了量子坐标环的强结构性质。
• H-素理想的参数化与 G/P_I 上标准泊松结构中 T-轨道的辛叶完全对应，这些辛叶即为 Lusztig strata。
• 对于与极大权 λ 关联的 G/P_I 的锥的坐标环的量子形变，H-素理想同样由同一集合 S_{W,I} 参数化。
• H-素理想的包含关系被猜想由存在 z ∈ W_I 使得 w ≥ w'z 且 v ≤ v'z 所决定，这推广了 Gorelik 对全旗簇的结果。
• 结果在特征为 0 的任意域上以及当 q 不是单位根时均成立，将分类结果从复数情形推广至更一般情形。