[论文解读] On Ideal Generators for Affine Schubert Varieties

Victor Kreiman, V. Lakshmibai+2 more|ArXiv.org|Nov 6, 2004

Advanced Algebra and Geometry参考文献 23被引用 5

一句话总结

本文通过受限普鲁克坐标，为类型A仿射格拉斯曼空间中仿射施伯特簇上的线丛构造了显式截面基。通过将这些簇嵌入有限维格拉斯曼空间，作者推导出其定义理想中一次齐次部分的显式生成元，并猜想这些生成元构成理想生成元的完整集合；由此导出幂零轨道闭包的特征无关过滤，并提出其SL(n)-模结构的猜想。

ABSTRACT

We consider a certain class of Schubert varieties of the affine Grassmannian of type A. By embedding a Schubert variety into a finite-dimensional Grassmannian, we construct an explicit basis of sections of the basic line bundle by restricting certain Plücker co-ordinates. As a consequence, we write an explicit set of generators for the degree-one part of the ideal of the finite-dimensional embedding. This in turn gives a set of generators for the degree-one part of the ideal defining the affine Grassmannian inside the infinite Grassmannian which we conjecture to be a complete set of ideal generators. We apply our results to the orbit closures of nilpotent matrices. We describe (in a characteristic-free way) a filtration for the coordinate ring of a nilpotent orbit closure and state a conjecture on the SL(n)-module structures of the constituents of this filtration.

研究动机与目标

• 为仿射格拉斯曼空间中类型A的一类仿射施伯特簇上的线丛构造显式截面基。
• 在有限维格拉斯曼空间中推导出这些施伯特簇定义理想中一次齐次部分的显式生成元。
• 猜想这些生成元构成仿射格拉斯曼空间在无限格拉斯曼空间内理想生成元的完整集合。
• 将结果应用于幂零轨道闭包，构造其坐标环的特征无关过滤。
• 提出并论证关于该过滤的分次部分SL(n)-模结构的猜想。

提出的方法

• 通过SL_n(F)中元素的矩阵表示将仿射格拉斯曼空间嵌入无限格拉斯曼空间，其中F = K((t))。
• 通过此嵌入，将仿射施伯特簇实现为有限维格拉斯曼空间中的闭子簇。
• 通过将‘可接受’的普鲁克坐标限制到施伯特簇X上，定义H⁰(X, L)的基。
• 利用一次齐次化简关系（‘洗牌’）和由矩阵表示导出的二次关系，建立线性无关性和张集性。
• 利用矩阵表示推导出X在有限维格拉斯曼空间中理想的一次部分的显式生成元。
• 通过使用卢斯蒂格的同构并将过滤定义为普鲁克坐标中的次数，将结果应用于幂零轨道闭包。

实验结果

研究问题

• RQ1 能否使用普鲁克坐标为仿射施伯特簇上的线丛构造显式截面基？
• RQ2 受限普鲁克坐标是否生成其在有限维嵌入中的施伯特簇的理想？
• RQ3 仿射格拉斯曼空间在无限格拉斯曼空间内理想的一次生成元集合是否完整？
• RQ4 幂零轨道闭包坐标环的分次部分的SL(n)-模结构是什么？
• RQ5 能否使用普鲁克坐标定义幂零轨道闭包坐标环的特征无关过滤？

主要发现

• 作者通过受限普鲁克坐标构造了H⁰(X, L)的显式基，并利用‘洗牌’关系——一次齐次化简关系——证明其张集性。
• 通过在更小的施伯特簇上限制普鲁克坐标之间的二次关系，以归纳法证明了基的线性无关性。
• 有限维格拉斯曼空间中X的理想的一次部分由某些受限普鲁克坐标显式生成。
• 作者猜想这些生成元构成仿射格拉斯曼空间在无限格拉斯曼空间内理想生成元的完整集合。
• 通过普鲁克坐标中的次数定义了幂零轨道闭包坐标环的特征无关过滤。
• 本文猜想该过滤的分次部分同构于Weyl模L_{λ_i^m}E的张量积，且该猜想在特征零情形下已验证。