[论文解读] The T-equivariant Cohomology of Bott-Samelson varieties

Martin Haerterich|ArXiv.org|Dec 16, 2004

Advanced Combinatorial Mathematics参考文献 4被引用 19

一句话总结

本文在 Weyl 群的 Bruhat 图上构造了一个组合纯层，其整体截面给出了 Bott–Samelson 空间 T-等变上同调。通过结合画廊、等变欧拉类和折叠技巧，建立了该上同调环作为纯层整体截面的直接描述，将 Braden–Macpherson 的框架扩展至 Schubert 空间的解析形式。

ABSTRACT

We consider the T-equivariant cohomology of Bott-Samelson desingularisations of Schubert varieties in the flag manifold of a connected semi-simple complex algebraic group of adjoint type with maximal torus T. We construct a combinatorially pure (in the sense of T. Braden and R. Macpherson) sheaf on the Bruhat graph of the associated Weyl group such that its global sections give the T-equivariant cohomology of our Bott-Samelson resolution.

研究动机与目标

• 通过组合层直接描述 Bott–Samelson 空间的 T-等变上同调。
• 将 Braden–Macpherson 在权图上的纯层理论扩展至 Bott–Samelson 解析形式。
• 利用画廊组合学与折叠技巧，显式地递归构造等变上同调基。
• 建立这些解析形式上同调的层论解释，将拓扑与 Weyl 群组合学联系起来。

提出的方法

• 使用 Weyl 群中的组合画廊来建模 Bott–Samelson 空间及其不动点纤维的结构。
• 应用 A. Arabia 的等变欧拉类理论，将纤维上同调与画廊统计量联系起来。
• 通过画廊折叠简化上同调环中的关系并推导同余条件。
• 通过折叠和整除性条件定义局部模与限制映射，在 Bruhat 图上构造层。
• 利用 Bialynicki–Birula 分解分析不动点纤维及其胞腔结构。
• 通过纤维上同调与更小纤维的直和之间的同构，推导出上同调模的递归基构造。

实验结果

研究问题

• RQ1 Bott–Samelson 空间的 T-等变上同调能否被描述为 Bruhat 图上组合纯层的整体截面？
• RQ2 画廊上的折叠操作如何编码等变上同调中的限制映射？
• RQ3 在画廊统计量的术语下，限制映射 H_T^*(Σ) → H_T^*(Σ^T) 的精确结构是什么？
• RQ4 如何利用子环作用下纤维的分解，递归构造 H_T^*(Σ_x) 的基？
• RQ5 几何 Bialynicki–Birula 基与由画廊构建的组合基之间存在何种关系？

主要发现

• Bott–Samelson 空间的 T-等变上同调同构于 Bruhat 图上层的整体截面，如定理 7.2 所示。
• 所构造的层在 Braden 和 Macpherson 意义下是纯的，如定理 7.3 所证。
• 限制映射 H_T^*(Σ) → H_T^*(Σ^T) 由涉及画廊统计量的一组非线性同余方程描述，如定理 6.2 所示。
• 通过折叠与提升技巧，构造了纤维上同调的递归基，其支集性质与 Bialynicki–Birula 分解一致。
• 同构 H_T^*(Γ_x) ≅ H_T^*(Γ'_x) ⊕ H_T^*(Γ'_{s_αx}) 将上同调模识别为满足限制映射相容性条件的配对。
• 当两个基均按 Bruhat 序排列时，组合基与几何 Bialynicki–Birula 基之间的基变换矩阵为下三角矩阵。