[论文解读] Symmetric subgroup orbit closures on flag varieties: Their equivariant geometry, combinatorics, and connections with degeneracy loci

Benjamin J. Wyser|arXiv (Cornell University)|Jan 20, 2012

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

一句话总结

本文为经典群 $G = SL(n,\mathbb{C})$、$SO(n,\mathbb{C})$、$Sp(2n,\mathbb{C})$ 及其对称子群 $K$ 的旗流形 $G/B$ 上的闭 $K$-轨道提供了明确的环面等变基本类公式。通过轨道的组合参数化与差分差分算子，计算了所有轨道闭包的等变类，并在类型 $A$ 中将 $K$-轨道闭包识别为普遍退化点簇，将其与向量丛上的陈类联系起来。

ABSTRACT

We give explicit formulas for torus-equivariant fundamental classes of closed $K$-orbits on the flag variety $G/B$ when $G$ is one of the classical groups $SL(n,\C)$, $SO(n,\C)$, or $Sp(2n,\C)$, and $K$ is a symmetric subgroup of $G$. We describe parametrizations of each orbit set and the combinatorics of its weak order, allowing us to compute formulas for the equivariant classes of all remaining orbit closures using divided difference operators. In each of the cases in type A, we realize the $K$-orbit closures as universal degeneracy loci of a certain type, involving a vector bundle $V$ over a scheme $X$ equipped with a flag of subbundles and a further structure determined by $K$. We describe how our equivariant formulas can be interpreted as formulas for such loci in the Chern classes of the various bundles on $X$.

研究动机与目标

• 计算经典群的对称子群 $K$ 在旗流形 $G/B$ 上的闭 $K$-轨道的环面等变基本类。
• 发展 $K\backslash G/B$ 的组合参数化，并描述轨道集上的弱序结构。
• 通过差分差分算子将闭轨道的公式扩展至所有轨道闭包。
• 在类型 $A$ 中将 $K$-轨道闭包实现为普遍退化点簇，并将等变类解释为陈类的公式。
• 在对称空间中建立轨道闭包、等变上同调与退化点簇理论之间的几何与代数桥梁。

提出的方法

• 利用等变上同调中的局部化定理，将等变类的计算归约为不动点数据。
• 通过扭曲对合与族（clans）的符号参数化，对类型 $A$、$B$、$C$ 和 $D$ 中的 $K$-轨道进行分类。
• 应用差分差分算子，从闭轨道的等变类生成所有轨道闭包的等变类。
• 为各种对称对 $(G,K)$ 构造关于陈变量 $x_i$ 和 $y_j$ 的等变类的显式公式。
• 通过带有旗结构与 $K$-结构的向量丛，建立 $K$-轨道闭包与退化点簇之间的对应关系，尤其在类型 $A$ 中。
• 通过逐案分析与附录中的证明（包括内类分解与轨道空间结构）验证参数化。

实验结果

研究问题

• RQ1 如何显式计算经典群的对称子群 $K$ 在 $G/B$ 上的 $K$-轨道闭包的环面等变基本类？
• RQ2 哪些组合结构（如族、弱序）参数化了对称对下的 $G/B$ 中的 $K$-轨道？
• RQ3 差分差分算子如何从闭轨道的类生成所有轨道闭包的等变类？
• RQ4 在类型 $A$ 中，$K$-轨道闭包为何是普遍退化点簇，其等变类与陈类有何关系？
• RQ5 在向量丛设定下，对称子群轨道与退化点簇之间存在何种精确的几何与代数对应关系？

主要发现

• 为所有经典类型中的闭 $K$-轨道提供了等变基本类的显式公式，其表达式以 $x_i$ 和 $y_j$ 变量的闭式形式给出。
• 当 $G = SL(n,\mathbb{C})$，$K = S(GL(p,\mathbb{C}) \times GL(q,\mathbb{C}))$ 时，闭轨道类为 $\prod_{i=1}^p \prod_{j=1}^q (x_i - y_j)$，并对其他对称对推导出类似公式。
• 在类型 $A$ 中，$K$-轨道闭包被实现为带有旗结构与 $K$-结构的向量丛 $V$ 的普遍退化点簇，其等变类对应于陈类公式。
• $K\backslash G/B$ 上的弱序以组合方式描述，并为小规模情形（如 $SL(4,\mathbb{C})$、$SO(6,\mathbb{C})$）提供了哈斯图。
• 对于 $Sp(6,\mathbb{C})$，$K = Sp(4,\mathbb{C}) \times Sp(2,\mathbb{C})$，闭轨道类为 $(x_1^2 - y_3^2)(x_2^2 - y_3^2)$，并对所有族列出了类似表达式。
• 在 $K = GL(n,\mathbb{C}) \subset SO(2n,\mathbb{C})$ 的情形下，轨道类被证明为 $\prod_{i=1}^n (x_i + y_i)$ 及相关对称函数，其显式公式见表 B.12。