[论文解读] F-regularity of large Schubert varieties

Michel Brion, Jesper Funch Thomsen|ArXiv.org|Aug 13, 2004

Advanced Algebra and Geometry参考文献 9被引用 4

一句话总结

该论文证明了连通半单代数群 $G$ 的 $G \times G$-等变射影嵌入中的大 Schubert 代数簇在正特征下是全局 $F$-正则的，在特征零下是全局 $F$-正则类型的。利用 Frobenius 分裂技巧和旗流形的全局 $F$-正则性，作者证明了这些代数簇是正规的且满足 Cohen-Macaulay 性质，从而在无需进行奇异点解析化的情况下，解决了关于其奇点性质的长期悬而未决的问题。

ABSTRACT

Let G denote a connected reductive algebraic group over an algebraically closed field k and let X denote a projective G x G-equivariant embedding of G. The large Schubert varieties in X are the closures of the double cosets BgB, where B denotes a Borel subgroup of G, and g is in G. We prove that these varieties are globally F-regular in positive characteristic, resp. of globally F-regular type in characteristic 0. As a consequence, the large Schubert varieties are normal and

研究动机与目标

• 建立连通半单代数群 $G$ 的 $G \times G$-等变射影嵌入中大 Schubert 代数簇的全局 $F$-正则性。
• 将已知的全局 $F$-正则性性质（如正规性和 Cohen-Macaulay 性）从旗流形推广到更大的 Schubert 代数簇。
• 通过 Frobenius 分裂和 $F$-正则性技巧，提供一种特征无关的证明方法，以确立大 Schubert 代数簇的 Cohen-Macaulay 性质。
• 通过约化到正特征，证明这些代数簇在特征零下是全局 $F$-正则类型的。

提出的方法

• 利用先前工作 [2] 和 [18] 中建立的大 Schubert 代数簇的 Frobenius 分裂性质。
• 应用正特征下全局 $F$-正则性与 Frobenius 分裂之间的等价性，如 [20] 所发展。
• 以旗流形及其 Schubert 代数簇的全局 $F$-正则性作为基础输入 [12]。
• 通过构造 $G$ 的坐标环的 $\mathbb{Z}$-形式，将问题约化到 $p$-进域设置。
• 构造 $G_p$ 在 $\overline{\mathbb{F}_p}$ 上的 $G_p \times G_p$-等变嵌入 $X_p$，证明其坐标环 $S_p$ 是有限生成且正规的。
• 证明 $B_p \times B_p$-轨道 $B_p w_0 B_p$ 在 $X_p$ 中是开集，从而推出 $X_p$ 是 $G_p$ 的等变嵌入，并将此性质提升至双陪集 $BgB$ 闭包的全局 $F$-正则性。

实验结果

研究问题

• RQ1 在正特征下，$G \times G$-等变嵌入中的大 Schubert 代数簇是否是全局 $F$-正则的？
• RQ2 在特征零下，大 Schubert 代数簇是否具有有理奇点，且能否从 $F$-正则性推导出这一结论？
• RQ3 能否在不进行奇异点解析化的情况下，确立大 Schubert 代数簇的 Cohen-Macaulay 和正规性质？
• RQ4 旗流形的全局 $F$-正则性是否足以通过约化技巧推导出其更大对应物的相同性质？
• RQ5 能否利用 Frobenius 分裂和模理论方法，证明大 Schubert 代数簇的坐标环的 $F$-正则性？

主要发现

• 在任意连通半单代数群 $G$ 的 $G \times G$-等变射影嵌入中，大 Schubert 代数簇在正特征下是全局 $F$-正则的。
• 这些代数簇在特征零下属于全局 $F$-正则类型，意味着其奇点在导出范畴意义下表现良好。
• 双陪集 $BgB$ 的闭包是正规的且满足 Cohen-Macaulay 性质，扩展了旗流形和典范紧化中的已知结果。
• 该证明依赖于模 $p$ 约化，以及 $G$ 的坐标环的 $\mathbb{Z}$-形式的构造，确保了 $F$-正则性可从正特征提升至特征零。
• 该方法避免了奇异点解析化的需要，通过 Frobenius 分裂和 $F$-正则性提供了 Cohen-Macaulay 性质的直接证明。
• 结果确认了在 $n \times n$ 矩阵空间中的大 Schubert 代数簇是 Cohen-Macaulay 的，与 Knutson 和 Miller 的早期结果一致。