[論文レビュー] Positivity in the cohomology of flag bundles (after Graham)

Dave Anderson|ArXiv.org|Nov 6, 2007

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

ひとこと要約

この論文は、旗多様体の$G$-equivariantコホモロジーにおけるグレアハムの正則性定理を幾何学的に証明し、シューベルト基底における構造定数が根の単項式の非負整数係数の組み合わせとして表されることを示している。射影空間の積上の旗 bundle に作用する連結な代数的群を用いた横断性の議論により、交差積が有効な類を生じることを確立し、型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.

研究の動機と目的

• 旗多様体の$G$-equivariantコホモロジーにおけるグレアハムの正則性定理の幾何的、横断性に基づく証明を提供すること。
• シューベルト基底における構造定数が根の正の多項式であることを確立すること。
• 旗 bundle の構成を用いて、型Aにおける$G$-equivariant構造定数が$\mathbb{Z}_{\geq 0}[\alpha_1,\ldots,\alpha_{n-1}]$に属することを示すこと。
• 標準的な旗の構成がなぜ正則性を検出できないかを明らかにし、特定の旗の選び方が同次的局所を生じることを示すこと。

提案手法

• 射影空間の積$\mathbb{P} = (\mathbb{P}^m)^{\times(n-1)}$上に旗 bundle $\mathbf{Fl}(E) \to \mathbb{P}$ を構成し、標準的線束$M_i$と$\alpha_i = -c_1(M_i)$を定義する。
• フラッグにおけるインシデント条件を用いてシューベルト局所$\mathbf{\Omega}_w$と逆シューベルト局所$\widetilde{\mathbf{\Omega}}_w$を定義する。
• 下三角行列からなる$B$と$H = (GL_{m+1})^{\times(n-1)}$を用いて、$\Gamma = B \rtimes H$と表される連結な代数的群を$\mathbf{Fl}(E)$に作用させる。
• クライマンの定理と階層的横断性の議論を用い、一般の$g \in \Gamma$に対して、$g \cdot \mathbf{\Omega}_v$が$\mathbf{\Omega}_u \cap \widetilde{\mathbf{\Omega}}_{w_0 w}$と適切かつ一般に横断的に交わることを示す。
• 相対的ポincare双対性を適用し、構造定数を有効なサイクルの押し出しとして表現することで、それが$\mathbb{Z}_{\geq 0}[\alpha_1,\ldots,\alpha_{n-1}]$に属することを証明する。
• 旗$E_\bullet = L_1 \oplus \cdots \oplus L_n$の選び方が本質的であることを示し、他の選択（例えば標準的旗）では同次的局所が得られず、正則性を検出できないことを見る。

実験結果

リサーチクエスチョン

• RQ1 なぜ標準的旗の構成では、$G$-equivariantシューベルト計算における正則性を検出できないのか？
• RQ2 代数的帰納法ではなく、横断性に基づく幾何的証明によって、$G$-equivariant構造定数の正則性を示せるか？
• RQ3 どの群の作用がシューベルト交差を一般に横断的かつ有効なものに保証するか？
• RQ4 旗 bundle の選び方がシューベルト局所の同次性と正則性にどのように影響するか？
• RQ5 型Aにおける正則性結果を、幾何的言語の変更を用いて一様に他のリー型へ拡張できるか？

主な発見

• 旗多様体の$G$-equivariantコホモロジーにおける構造定数$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$に等しく、これは有効かつしたがって正である。
• この構成は、$L_i = M_1 \otimes \cdots \otimes M_{i-1}$を満たす非標準的旗$E_\bullet = L_1 \oplus \cdots \oplus L_n$に依存しており、これにより逆シューベルト胞への推移的群作用が保証される。
• 標準的旗$F_i = M_1 \oplus \cdots \oplus M_i$は、$\mathbf{End}(F)$が対角的全局的切断しか持たないため、同次的局所が得られず、横断性が崩れる。
• 引き戻しを用いて$T'$-equivariant設定へ拡張可能であり、変数$t_{i+1} - t_i$における構造定数は正であり、グレアハムの元の結果が回復される。