[论文解读] Affine Schubert Varieties and Circular Complexes

Péter Magyar|ArXiv.org|Oct 10, 2002

Algebraic structures and combinatorial models参考文献 15被引用 11

一句话总结

本文通过 Lusztig 关于循环 quiver 表示的结果，建立了圆复形的概形与 $\widehat{GL}_n$ 的环路群中一个仿射 Schubert 概形的开子概形之间的几何同构。它为圆复形的概形构造了 Bott-Samelson 分解，证明其为正规、Cohen-Macaulay 且具有有理奇点——通过 Schubert 几何方法恢复并推广了 Mehta 与 Trivedi 的结果。

ABSTRACT

Schubert varieties have been exhaustively studied with a plethora of techniques: Coxeter groups, explicit desingularization, Frobenius splitting, etc. Many authors have applied these techniques to various other varieties, usually defined by determinantal equations. It has turned out that most of these apparently different varieties are actually Schubert varieties in disguise, so that one may use a single unified theory to understand many large families of spaces. The most powerful result in this direction was given by Lusztig as a footnote to his work on canonical bases. He showed that the variety of nilpotent representations of a cyclic quiver (including nilpotent conjugacy classes of matrices) is isomorphic to an open subset of a Schubert variety for the loop group GL(n)^. In this paper, we attempt to describe the affine Schubert varieties and Lusztig's isomorphism in the simplest terms possible. We then apply this isomorphism to an interesting example, the variety of circular complexes, recovering some results of Mehta and Trivedi.

研究动机与目标

• 将圆复形的概形解释为 $\widehat{GL}_n$ 的环路群中一个仿射 Schubert 概形的开子概形。
• 将 Lusztig 关于幂零轨道与 Schubert 概形之间的同构应用于圆复形的情形。
• 利用仿射 Weyl 群中的约化字词，为圆复形的概形构造 Bott-Samelson 分解。
• 证明圆复形及其 $GL_n(\mathbf{k})$-轨道均为正规、Cohen-Macaulay 且具有有理奇点。

提出的方法

• 利用环路群 $G = \widehat{GL}_n(\mathbf{k}) = GL_n(F)$，其中 $F = \mathbf{k}((t))$，定义仿射旗概形与 Grassmannian 概形。
• 将仿射 Schubert 概形定义为旗概形 $G/B$ 中 $G_0$-轨道的闭包，其指标为仿射 Weyl 群的元素。
• 通过线缆图中的线缆交叉，为与圆复形相关的仿射排列 $\pi$ 构造约化解。
• 利用与约化字词 $\mathbf{i}$ 相关的 Bott-Samelson 概形 $Z_\mathbf{i}$ 来分解 Schubert 概形 $X_\pi$ 的奇点，该概形双有理地映射到圆复形的概形。
• 采用 Bott-Samelson 概形的标准构造方法，将其视为旗概形上迭代的 $\mathbb{P}^1$-丛，其维数等于字词的长度。
• 通过忽略中间格，定义从 $Z_\mathbf{i}$ 到 $X_\pi$ 的正则双有理映射，表明 $X_\pi$ 是对偶胞腔闭包的去奇化。

实验结果

研究问题

• RQ1 如何将圆复形的概形实现为 $\widehat{GL}_n$ 的仿射旗概形中的 Schubert 概形？
• RQ2 圆复形的几何结构是什么？它是否能通过标准的 Schubert 理论工具实现去奇化？
• RQ3 Lusztig 关于循环 quiver 表示与仿射 Schubert 概形之间的同构如何应用于圆复形的情形？
• RQ4 圆复形的奇点是什么性质？它们是有理奇点、正规奇点还是 Cohen-Macaulay 奇点？
• RQ5 能否为圆复形构造 Bott-Samelson 分解？其维数是多少？

主要发现

• 通过 Lusztig 的构造，圆复形的概形 $\mathcal{L}_c$ 同构于 $\widehat{GL}_n$ 的环路群中一个仿射 Schubert 概形的开子概形。
• 概形 $\mathcal{L}_c$ 的维数为 $ab$，与关联的仿射排列 $\pi$ 的长度 $\ell(\pi)$ 一致，后者由线缆图中的线缆交叉数计算得出。
• 对于 $c=1$，$a=2$，$b=3$，$n=5$ 的情形，利用约化字词 $\mathbf{i} = (1,3,4,3,0,2)$，构造了维数为 $\ell(\pi) = 6$ 的 Bott-Samelson 分解 $Z_\mathbf{i}$。
• 该分解 $Z_\mathbf{i}$ 双有理且正则地映射到 Schubert 概形 $X_\pi$，而 $X_\pi$ 同构于对偶胞腔的闭包 $X'_\pi \cong \mathcal{L}_c$，从而证明了去奇化。
• 概形 $\mathcal{L}_c$ 及其所有 $GL_n(\mathbf{k})$-轨道均为正规、Cohen-Macaulay 且具有有理奇点，通过 Schubert 理论方法确认并推广了 Mehta 与 Trivedi 的结果。
• 该构造通过商 $t^{-1}E_3/tE_1$ 将 $Z_\mathbf{i}$ 嵌入有限维旗概形，从而可应用 Frobenius 分裂及其他标准工具。