[論文レビュー] Equivariant cohomology rings of the real flag manifolds

Chen He|arXiv (Cornell University)|Oct 25, 2016

Advanced Combinatorial Mathematics参考文献 21被引用数 6

ひとこと要約

本稿は、等ランク条件を満たさない実および向き付け可能旗多様体の mod-2 および有理係数の等周同相コホモロジー環について、標準的トーラスまたは 2-トーラス作用の下で、Leray-Borel 型の明示的記述を提供する。Stiefel-Whitney 系列（𝔽₂ 上）および Pontryagin 系列（ℚ 上）といった等周同相特徴類に加え、シューベルト計算と次数半分化作用素を用いて、等周同相コホモロジー環の環同型を確立し、古典的結果を等ランク条件を超えて拡張する。

ABSTRACT

We give Leray-Borel-type descriptions for the mod-$2$ and the rational equivariant cohomology rings of the real and the oriented flag manifolds under the canonical torus or 2-torus actions.

研究の動機と目的

• 等ランク条件を満たさない実および向き付け可能旗多様体に対して、等周同相コホモロジーに関する古典的 Leray-Borel 定理を拡張すること。
• 実および向き付け可能旗多様体の標準的トーラスまたは 2-トーラス作用の下での、mod-2 および有理係数等周同相コホモロジー環の明示的記述を提供すること。
• 次数半分化および双対性作用素を導入することで、実、向き付け可能、複素、クaternion的旗多様体の取り扱いを統一すること。
• 等周同相特徴類とシューベルト計算を用いて、等周同相コホモロジー記述間の環同型を確立すること。

提案手法

• 実旗多様体が実 Stiefel 多様体上にバンドル構造を持つことを利用し、等周同相コホモロジー計算を既知の Stiefel 多様体に関する結果に還元する。
• 次数半分化作用素（記号 ℋ および 𝒟）を適用することで、複素およびクaternion的等周同相コホモロジー環を実および向き付け可能なものと関連付ける。
• 等周同相特徴類（𝔽₂ 上では Stiefel-Whitney 系列、ℚ 上では Pontryagin 系列）を用い、関係式を多項式商環に符号化する。
• Leray-Borel 定理の枠組みを用い、全特徴類を含む関係式による多項式環の商として等周同相コホモロジーを記述する。
• シューベルト記号と等周同相 Littlewood-Richardson 系数を用いて、等周同相コホモロジー記述間の環同型を確立する。
• 双対性および代入作用素（𝒟 および ℋ）を用い、複素設定から実およびクaternion的設定への結果の転送を実施する。

実験結果

リサーチクエスチョン

• RQ1 等ランク条件を満たさない場合、実および向き付け可能旗多様体の等周同相コホモロジー環はどのように記述できるか？
• RQ2 Stiefel-Whitney 系列や Pontryagin 系列といった等周同相特徴類は、𝔽₂ および ℚ 上でこれらの環を記述する上で果たす役割は何か？
• RQ3 次数半分化作用素 ℋ および 𝒟 は、複素およびクaternion的旗多様体の等周同相コホモロジーを、それらの実および向き付け可能版とどのように関連付けるか？
• RQ4 非等ランクの場合に、等周同相コホモロジー環はシューベルト計算および Littlewood-Richardson 系数の観点から表現可能か？
• RQ5 mod-2 および有理係数における、これらの等周同相コホモロジー環の構造を規定する正確な代数的関係は何か？

主な発見

• 実旗多様体の mod-2 等周同相コホモロジー環は、Stiefel-Whitney 系列とトーラスのチャーン根からなる多項式環の商と同型であり、関係式 ∏ⱼ w⁽ʲ⁾ = ∏ₗ(1 + βₗ) を満たす。
• 向き付け可能旗多様体の有理係数等周同相コホモロジー環は、Pontryagin 系列とトーラス類を用いて記述され、ℤ[1/2]-係数のもとで関係式 ∏ⱼ q⁽ʲ⁾ = ∏ₗ(1 + αₗ²) が成り立つ。
• 次数半分化作用素 ℋ により、複素旗多様体の mod-2 等周同相コホモロジーと実旗多様体のそれとの間で環同型が得られる。
• 𝔽₂ 上の実旗多様体の等周同相コホモロジーは、mod-2 等周同相 Littlewood-Richardson 系数を用いたシューベルト計算モデルと同型である。
• クaternion的旗多様体の ℤ[1/2] 上の等周同相コホモロジーは、等周同相クaternion的類によって生成される環と同型であり、関係式に (1 + αₗ²) の積が関与する。
• 本稿は、等ランク条件が成り立たない場合であっても、実および向き付け可能旗多様体の等周同相コホモロジー環が、等周同相特徴類とシューベルト計算によって完全に決定されることを確立した。