[論文レビュー] 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の枠組みをシュブート多様体の解消に拡張する。

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-等化的コホモロジーは、定理7.2で示されるように、Bruhatグラフ上の層の全体切断と同型である。
• 構成された層は、定理7.3で示されるように、BradenとMacphersonの意味で純粋である。
• 制限写像 H_T^*(Σ) → H_T^*(Σ^T) は、定理6.2で示されるように、ギャラリー統計を含む非線形合同条件系によって記述される。
• 折りたたみとリフト技術を用いて、ファイバーのコホモロジーの再帰的基底が構成され、そのサポート性はBialynicki–Birula分解と一致する。
• H_T^*(Γ_x) と H_T^*(Γ'_x) ⊕ H_T^*(Γ'_{s_αx}) の同型は、制限写像に整合性条件を満たすペアにコホモロジーモジュールを同定する。
• 組み合わせ的基底と幾何的Bialynicki–Birula基底の間の基底変換行列は、両方の基底をBruhat順序で整列した場合、下三角行列である。