[论文解读] K-orbit closures on G/B as universal degeneracy loci for flagged vector bundles splitting as direct sums

Benjamin J. Wyser|arXiv (Cornell University)|Jan 8, 2013

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

一句话总结

本论文利用等变局部化和差分差分算子，计算了经典对称对 (G,K) 的旗流形 G/B 中 K-轨道闭包的环面等变上同调类。它证明了这些类对应于通过旗子与向量丛直和分解之间的相对位置条件定义的通用退化点集，为 A 型提供了显式公式，并对 B/C 型提出猜想。

ABSTRACT

We use equivariant localization and divided difference operators to determine formulas for the torus-equivariant fundamental cohomology classes of $K$-orbit closures on the flag variety $G/B$ for various symmetric pairs $(G,K)$. In type $A$, we realize the closures of $K=GL(p,\\C) \ imes GL(q,\\C)$-orbits on $GL(p+q,\\C)/B$ as universal degeneracy loci for a vector bundle over a variety which is equipped with a single flag of subbundles and which splits as a direct sum of subbundles of ranks $p$ and $q$. The precise description of such a degeneracy locus relies upon knowing a set-theoretic description of $K$-orbit closures, which we provide via a detailed combinatorial analysis of the poset of "$(p,q)$-clans," which parametrize the orbit closures. We describe precisely how our formulas for the equivariant classes of $K$-orbit closures can be interpreted as formulas for the classes of such degeneracy loci in the Chern classes of the bundles involved. In the cases outside of type $A$, we suggest that the orbit closures should parametrize degeneracy loci involving a vector bundle equipped with a non-degenerate symmetric or skew-symmetric bilinear form, a single flag of subbundles which are isotropic or Lagrangian with respect to the form, and a splitting as a direct sum of subbundles with each summand satisfying some property (depending on $K$) with respect to the form. The precise description of such a degeneracy locus is conjectured for all cases in types $B$ and $C$.

研究动机与目标

• 确定经典群 G 的对称对 (G,K) 的旗流形 G/B 中 K-轨道闭包的环面等变基本上同调类。
• 将这些上同调类解释为配备有直和分解的旗丛中的退化点集的表示。
• 为 A 型提供此类退化点集的显式公式，并对 B 型和 C 型提出类似描述的猜想。
• 将先前用于 Schubert 丛的通用退化点集框架——扩展至 K-轨道闭包，作为广义 Schubert 丛。
• 建立 K-轨道闭包的几何实现，即作为由旗子丛与分裂向量丛的分量之间的相对位置约束所定义的退化点集。

提出的方法

• 应用等变局部化和自交公式，计算闭合 K-轨道的 S-等变上同调类。
• 使用差分差分算子，从闭轨道类出发，推导所有 K-轨道闭包的等变类公式。
• 采用 K\G/B 的组合模型和弱序哈斯图，通过差分差分规则区分实线与虚线边。
• 通过编码旗纤维与向量丛 V 的分量 V' 和 V'' 之间相对位置的“族”参数来定义退化点集。
• 利用 K-轨道闭包的显式集合描述（例如 A 型的定理 3.3）来构造退化点集条件。
• 基于结构类比，猜想 B 型和 C 型也存在类似的退化点集描述，尽管如事实 1 所示，这种朴素推广在 D 型中不成立。

实验结果

研究问题

• RQ1 如何为经典群 G 的对称对 (G,K) 计算 G/B 中 K-轨道闭包的等变上同调类？
• RQ2 K-轨道闭包能否以与 Schubert 丛相同的方式，作为具有直和分解的向量丛中的通用退化点集来实现？
• RQ3 定义此类退化点集的旗子丛与直和分量之间的相对位置的精确条件是什么？
• RQ4 为何 A 型退化点集描述的朴素推广在 D 型中失败，尽管结构上相似？
• RQ5 退化点集框架在多大程度上可从 Schubert 丛推广至 B、C 和 D 型的 K-轨道闭包？

主要发现

• 本文在定理 2.15 中给出了所有经典对称对 (G,K) 的 G/B 中 K-轨道闭包的环面等变上同调类的显式公式。
• 对于 A 型对 (SL(p+q,C), S(GL(p,C)×GL(q,C)))，退化点集被描述为满足由 (p,q)-族编码的条件的旗子集合，即旗子与直和分解 V=V'⊕V'' 之间的相对位置。
• 等变类的公式在表 1–10 中明确给出，例如对于 (Sp(6,C),Sp(4,C)×Sp(2,C)) 对与族 ++--++，有 [Y_γ] = (x₁−y₃)(x₁+y₃)(x₂−y₃)(x₂+y₃)。
• 本文猜想 B 型和 C 型也存在类似的退化点集描述，基于结构类比，尽管如事实 1 所示，朴素推广在 D 型中不成立。
• 该方法成功地将 Fulton 的通用退化点集框架从 Schubert 丛推广至 K-轨道闭包，通过引入直和分解作为附加结构。
• 本工作完成了 [Wys13a] 中启动的计划，将等变上同调和退化点集描述扩展至经典类型中的剩余对称对。