[論文レビュー] Poset pinball, GKM-compatible subspaces, and Hessenberg varieties

Megumi Harada, Julianna Tymoczko|arXiv (Cornell University)|Jul 16, 2010

Advanced Combinatorial Mathematics参考文献 34被引用数 24

ひとこと要約

本稿では、GKM理論と新規のゲーム理論的アプローチを組み合わせることで、古典的リー型のペテルソン多様体およびタイプ$A$の部分正則スプリンガー多様体の$S^1$--equivariantコホモロジーに対する明示的で計算的に効率的な加群基底を構成するため、GKM-compatible部分空間とposet pinballゲームを導入する。著者らは、GKM理論由来の組み合わせ的構造と、新たなゲーム理論的手法を活用し、古典的スプリンガー表現を-equivariantコホモロジーへと持ち上げる基底を提供することで、幾何的表現論における長年の計算的課題を解決する。

ABSTRACT

This paper has three main goals. First, we set up a general framework to address the problem of constructing module bases for the equivariant cohomology of certain subspaces of GKM spaces. To this end we introduce the notion of a GKM-compatible subspace of an ambient GKM space. We also discuss poset-upper-triangularity, a key combinatorial notion in both GKM theory and more generally in localization theory in equivariant cohomology. With a view toward other applications, we present parts of our setup in a general algebraic and combinatorial framework. Second, motivated by our central problem of building module bases, we introduce a combinatorial game which we dub poset pinball and illustrate with several examples. Finally, as first applications, we apply the perspective of GKM-compatible subspaces and poset pinball to construct explicit and computationally convenient module bases for the $S^1$-equivariant cohomology of all Peterson varieties of classical Lie type, and subregular Springer varieties of Lie type $A$. In addition, in the Springer case we use our module basis to lift the classical Springer representation on the ordinary cohomology of subregular Springer varieties to $S^1$-equivariant cohomology in Lie type $A$.

研究の動機と目的

• GKM理論が直接適用されない場合の-equivariantコホモロジーにおける加群基底を構成する一般枠組みの開発。
• GKM空間の部分空間（例：冪零ヘッセンバーグ多様体やスプリンガー多様体）に対して、計算的に取り扱いやすい基底を見つける課題への対処。
• poset-upper-triangularityの概念を形式化し、特定の位相的設定においてその限界を示すこと。
• poset pinballゲームを組み合わせ的ツールとして導入し、その応用によりこのような基底を生成すること。
• タイプ$A$において、通常コホモロジー上の古典的スプリンガー表現を$S^1$-equivariantコホモロジー環へと持ち上げること。

提案手法

• GKM-compatible部分空間の概念を導入し、部分空間が群作用を通じて周囲のGKM空間の望ましい-equivariantコホモロジー的性質を引き継ぐこと。
• -equivariantコホモロジーにおける加群基底の構成のための主要な組み合わせ的条件として、poset-upper-triangularityを定義する。
• graded posetでインデックス付けられた有向グラフから基底要素を選択する組み合わせ的アルゴリズムとして、poset pinballゲームを開発する。
• ゲームを用いて、すべての古典的リー型における$H^*_{S^1}(\text{Peterson variety})$の明示的基底を構成する。
• poset pinball基底を応用し、$H^*_{S^1}(\text{subregular Springer variety})$上で古典的スプリンガー表現を上書きする新しい$S_n$-表現を構成する。
• Kostant-Kumarの$H^*_{T}(\text{flag variety})$上での$S_n$-作用を活用し、表現を-equivariant設定へと持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 GKM理論が直接適用されない場合、冪零ヘッセンバーグ多様体の$S^1$-equivariantコホモロジーに対して計算的に都合の良い加群基底を構成できるか？
• RQ2 GKM空間の部分空間の-equivariantコホモロジー的構造を特定・利用するための一般的組み合わせ的枠組みは存在するか？
• RQ3 poset pinballゲームは、必ずしもposet-upper-triangularでないが、依然として加群基底を形成するような基底を体系的に生成できるか？
• RQ4 部分正則スプリンガー多様体の通常コホモロジー上の古典的スプリンガー表現は、$S^1$-equivariantコホモロジーリングへと持ち上げられるか？
• RQ5 組み合わせ的に自然なposet-upper-triangular基底を持たない位相的空間は存在するか？

主な発見

• タイプ$A$の冪零ヘッセンバーグ多様体$\mathcal{H}(N,H)$は、$N$に関する条件を満たす場合、フラッグ多様体のGKM-compatible部分空間であることが示された。
• poset pinballゲームは、すべての古典的リー型における$H^*_{S^1}(\text{Peterson variety})$の明示的加群基底を成功裏に構成した。
• タイプ$A$の$H^*_{S^1}(\text{subregular Springer variety})$に対する構成された基底はposet-upper-triangularではないが、依然として有効な加群基底である。
• $H^*_{S^1}(\mathcal{S}_N;\mathbb{C})$上に、通常コホモロジー上の古典的スプリンガー表現を上書きする新しい$S_n$-表現が構成された。
• poset pinball基底により、-equivariantコホモロジー上での$S_n$-作用の明示的計算が可能となり、特徴指標の計算による検証がなされた。
• 例6.14は、poset-upper-triangularでないロールダウン集合ですら有効な加群基底を生成できることを示しており、この手法のより広範な適用可能性を示唆している。