[论文解读] Positivity in the cohomology of flag bundles (after Graham)

Dave Anderson|ArXiv.org|Nov 6, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 11

一句话总结

本文通过旗丛上等变上同调的几何论证，提供了格雷厄姆正性定理的证明，表明在施伯特基中，结构常数是根的单项式之正整数线性组合。通过在射影空间乘积上的旗丛上利用连通代数群作用的横截性论证，作者证明了交积产生有效类，从而在类型 A 中确认了正性，并通过统一的语言推广至其他类型。

ABSTRACT

We give a short, geometric proof of Graham's theorem on positivity in the equivariant cohomology of a flag variety, based on a transversality argument.

研究动机与目标

• 提供旗丛等变上同调中格雷厄姆正性定理的几何、基于横截性的证明。
• 证明施伯特基中的结构常数是根上的正多项式。
• 通过旗丛构造，证明类型 A 中的等变结构常数属于 $\mathbb{Z}_{\geq 0}[\alpha_1,\ldots,\alpha_{n-1}]$。
• 阐明为何标准旗构造无法检测正性，通过证明仅特定旗的选择能产生齐次流形。

提出的方法

• 在射影空间乘积 $\mathbb{P} = (\mathbb{P}^m)^{\times(n-1)}$ 上构造旗丛 $\mathbf{Fl}(E) \to \mathbb{P}$，其中包含典范线丛 $M_i$ 和 $\alpha_i = -c_1(M_i)$。
• 通过旗上的关联条件定义施伯特流形 $\mathbf{\Omega}_w$ 和对偶施伯特流形 $\widetilde{\mathbf{\Omega}}_w$。
• 引入一个连通代数群 $\Gamma = B \rtimes H$ 作用于 $\mathbf{Fl}(E)$，其中 $B$ 为下三角矩阵，$H = (GL_{m+1})^{\times(n-1)}$。
• 利用克莱曼定理和分层横截性论证，证明对一般 $g \in \Gamma$，平移 $g \cdot \mathbf{\Omega}_v$ 与 $\mathbf{\Omega}_u \cap \widetilde{\mathbf{\Omega}}_{w_0 w}$ 的交集是适当的且一般横截的。
• 应用相对庞加莱对偶性，将结构常数表示为有效循环的推出，从而证明其属于 $\mathbb{Z}_{\geq 0}[\alpha_1,\ldots,\alpha_{n-1}]$。
• 证明旗的选择 $E_\bullet = L_1 \oplus \cdots \oplus L_n$ 是关键——其他选择（如标准旗）无法产生齐次流形，因而无法检测正性。

实验结果

研究问题

• RQ1 为何标准旗构造在等变施伯特演算中无法检测正性？
• RQ2 能否通过横截性而非代数归纳法，几何地证明等变结构常数的正性？
• RQ3 何种群作用可确保施伯特交集是普遍横截且有效的？
• RQ4 旗丛的选择如何影响施伯特流形的齐次性与正性？
• RQ5 能否通过几何语言的变换，将类型 A 中的正性结果统一推广至其他李型？

主要发现

• 旗丛等变上同调中的结构常数 $c_{uv}^w$ 被证明为根 $\alpha_i$ 上的正多项式，即 $c_{uv}^w \in \mathbb{Z}_{\geq 0}[\alpha_1,\ldots,\alpha_{n-1}]$。
• 正性源于：对某个 $g$ 属于连通代数群，交集 $\mathbf{\Omega}_u \cap g \cdot \mathbf{\Omega}_v \cap \widetilde{\mathbf{\Omega}}_{w_0 w}$ 是适当的且一般横截的，从而产生有效类。
• 推出 $p_*[\mathbf{\Omega}_u \cap g \cdot \mathbf{\Omega}_v \cap \widetilde{\mathbf{\Omega}}_{w_0 w}]$ 等于结构常数 $c_{uv}^w$，其为有效类，因而为正。
• 该构造依赖于非标准旗 $E_\bullet = L_1 \oplus \cdots \oplus L_n$，其中 $L_i = M_1 \otimes \cdots \otimes M_{i-1}$，该选择确保了对偶施伯特胞腔上存在传递群作用。
• 标准旗 $F_i = M_1 \oplus \cdots \oplus M_i$ 无法产生齐次流形，因为 $\mathbf{End}(F)$ 仅有对角线全局截面，导致横截性被破坏。
• 通过拉回，该结果可推广至 $T'$-等变情形：变量 $t_{i+1} - t_i$ 中的结构常数为正，从而恢复格雷厄姆原始结果。