[論文レビュー] Permutation actions on equivariant cohomology

Julianna Tymoczko|ArXiv.org|Jun 4, 2007

Advanced Combinatorial Mathematics参考文献 23被引用数 13

ひとこと要約

本稿は、Goresky-Kottwitz-MacPherson (GKM) 理論を用いて、旗多様体の等置不変および通常のコホモロジーにおける対称群の明示的な置換表現を構成する。一方の作用が正則表現であることを証明し、除算差分作用素と局在化公式といった新たな計算的道具を提供することで、Chevalley-Monk 公式の新しい証明を可能とし、トーリックトポロジーにおけるシューベルト計算を前進させる。

ABSTRACT

This survey paper describes two geometric representations of the permutation group using the tools of toric topology. These actions are extremely useful for computational problems in Schubert calculus. The (torus) equivariant cohomology of the flag variety is constructed using the combinatorial description of Goresky-Kottwitz-MacPherson, discussed in detail. Two permutation representations on equivariant and ordinary cohomology are identified in terms of irreducible representations of the permutation group. We show how to use the permutation actions to construct divided difference operators and to give formulas for some localizations of certain equivariant classes. This paper includes several new results, in particular a new proof of the Chevalley-Monk formula and a proof that one of the natural permutation representations on the equivariant cohomology of the flag variety is the regular representation. Many examples, exercises, and open questions are provided.

研究の動機と目的

• トーリックトポロジーを用いて、旗多様体のコホモロジーにおける対称群の明示的な幾何的表現を構成すること。
• 等置不変コホモロジーにおける置換作用を活用することで、シューベルト計算に実用的な効果をもたらす道具を提供すること。
• 旗多様体の幾何学を通じて、組合せ論、代数的トポロジー、代数幾何学の間の橋渡しをすること。
• 等置不変コホモロジーにおける自然な置換作用のうち、あるものが対称群の正則表現であることを証明すること。
• シューベルト類の局在化のための新しい公式を構築し、これらの作用を用いて Chevalley-Monk 公式の新しい証明を提供すること。

提案手法

• 対称群のブルハットグラフを用いて、Goresky-Kottwitz-MacPherson (GKM) の手法により、旗多様体の等置不変コホモロジーを記述する。
• トーラス作用に起因する2つの置換作用を同定する：通常コホモロジー上での作用と等置不変コホモロジー上での作用。
• 置換作用を用いて除算差分作用素を構成し、コホモロジールーブの計算を容易にする。
• 局在化技術を適用して、特定の等置不変クラス（シューベルトクラス）を置換表現の言語で記述する公式を導出する。
• ブルハットグラフの組合せ論的構造を用いて、ハッセンバーグ多様体のモーメントグラフおよびそのコホモロジーレプレゼンテーションを特徴付ける。
• 対称群のドット作用をハッセンバーグ多様体に適用し、新しい幾何的レプレゼンテーションの構成とその既約成分への分解を探索する。

実験結果

リサーチクエスチョン

• RQ1 旗多様体の等置不変コホモロジーにおける対称群作用の構造は何か？ それは正則表現であるか？
• RQ2 置換作用を用いて除算差分作用素およびシューベルトクラスの局在化公式を構築できるか？
• RQ3 ハッセンバーグ多様体のコホモロジーレプレゼンテーションと対称群の既約レプレゼンテーションとの関係は何か？
• RQ4 ハッセンバーグ関数を変更した場合、ハッセンバーグ多様体のコホモロジーレプレゼンテーションはどのように変化するか？
• RQ5 等置不変コホモロジーを用いて、自然なねじれ群レプレゼンテーションの族を構成できるか？

主な発見

• 旗多様体の等置不変コホモロジーにおける2つの自然な置換表現のうち、一方が対称群の正則表現である。
• 置換作用と局在化技術を用いて、Chevalley-Monk 公式の新しい証明が得られた。
• 置換表現を用いて、特定の等置不変シューベルトクラスのための新しい局在化公式が提供された。
• 除算差分作用素の構成が、コホモロジー上の群作用を通じて明示的に実現された。
• ハッセンバーグ多様体のモーメントグラフは、辺 $ w \to (ij)w $ に対して条件 $ w^{-1}(i) ≤ h(w^{-1}(j)) $ を満たすことで、組合せ論的に特徴付けられる。
• 対称群 $ S_n $ のドット作用は、ハッセンバーグ多様体の等置不変コホモロジー上で適切に定義されており、新しい種類の幾何的レプレゼンテーションを提供する。