[論文レビュー] On Equivariant Schubert Calculus

V. Lakshmibai, K. N. Raghavan+1 more|arXiv (Cornell University)|Jun 1, 2005

Advanced Combinatorial Mathematics参考文献 5被引用数 3

ひとこと要約

本稿は、グラスマンニアンの等変積分コホモロジーにおけるトーラス固定点への等変シューベルト類の制限について、行列式による公式を確立する。これを応用して、等変シューベルト計算における構造定数を行列式を用いて計算するための道具である、等変ジンベリの公式を導出する。

ABSTRACT

Abstract. The main result of the paper is a determinantal formula for the restriction to a torus fixed point of the equivariant class of a Schubert subvariety in the torus equivariant integral cohomology ring of the Grassmannian. As a corollary, we obtain an equivariant version of the Giambelli formula. The (torus) equivariant cohomology rings of flag varieties in general and of the Grassmannian in particular have recently attracted much interest. Here we consider the equivariant integral cohomology ring of the Grassmannian. Just as the ordinary Schubert classes form a module basis over the ordinary cohomology ring of a point (namely the ring of integers) for the ordinary integral cohomology ring of the Grassmannian, so do the equivariant Schubert classes form a basis over the equivariant cohomology of a point (namely the ordinary cohomology ring of the classifying space of the torus) for the equivariant cohomology ring. 1 Again as in the ordinary case, computing the structure constants of the multiplication with respect to this basis is an interesting problem that goes by the name of Schubert calculus. There is a forgetful functor from equivariant cohomology to ordinary

研究の動機と目的

• グラスマンニアンの等変コホモロジーにおけるトーラス固定点への等変シューベルト類の制限についての公式を構築すること。
• 整数コホモロジーを用いて、古典的シューベルト計算を等変設定に拡張すること。
• 行列式的手法を用いて、等変コホモロジーリングにおける構造定数を計算すること。
• 制限公式から直接導かれる等変ジンベリの公式を確立すること。
• 等変シューベルト類を、点のコホモロジー（つまりトーラスの分類空間のコホモロジー）上の自由基底として提供すること。

提案手法

• 最大トーラスによる作用を有するグラスマンニアンの等変整数コホモロジーリングの構造を用いる。
• 等変コホモロジーから通常のコホモロジーへの忘却函手を適用し、等変および非等変構造の関係を明確にする。
• 固定点における等変シューベルト類の制限を行列式の形で表現する。
• 等変シューベルト類が、すなわちトーラスの分類空間のコホモロジーである等変点のコホモロジー上の自由基底をなすという事実を活用する。
• 行列式による制限公式と、等変コホモロジーにおける既知の双対性および双対性の性質を組み合わせることで、等変ジンベリの公式を導出する。
• 等変コホモロジーリングの加群構造に依拠し、構造定数を固定点への制限写像を用いて計算する。

実験結果

リサーチクエスチョン

• RQ1 トーラス固定点への等変シューベルト類の制限は、グラスマンニアンの等変コホモロジーにおいてどのように表現できるか？
• RQ2 整数コホモロジーの設定において、これらの制限を支配する行列式の公式は何か？
• RQ3 このような制限公式から等変ジンベリの公式を導出できるか？
• RQ4 等変シューベルト類は、点の等変コホモロジー上での基底としてどのように振る舞うか？
• RQ5 等変シューベルト計算における構造定数と、固定点におけるそれらの制限との関係は何か？

主な発見

• グラスマンニアンの等変整数コホモロジーにおいて、任意のトーラス固定点への等変シューベルト類の制限について、行列式の公式が確立された。
• 制限写像が、チャーン類とシューベルトデータを含む行列式表現によって計算可能であることが示された。
• 制限公式から直接導かれる等変ジンベリの公式が得られた。
• 等変シューベルト類は、点の等変コホモロジー上の自由基底をなしており、これはトーラスの分類空間の整数コホモロジーに同型である。
• 等変コホモロジーリングの構造定数は、制限データに符号化されており、これにより行列式的手法による計算が可能になった。
• 等変コホモロジーから通常のコホモロジーへの忘却函手は、古典的結果を等変設定から回復するために必要な代数的構造を保存する。