[論文レビュー] A Schubert calculus recurrence from the noncomplex W-action on G/B

Allen Knutson|ArXiv.org|Jun 20, 2003

Advanced Combinatorial Mathematics参考文献 4被引用数 32

ひとこと要約

本稿では、一般化フラッグ多様体 $G/B$ のコホロジー環における等変Schubert構造定数を計算する再帰的関係式を提示する。非複素Weyl群作用を等変コホロジーを用いて扱い、降下サイクリングと反復反射・ルートペアリング係数を含む新規再帰的関係を用いる。非自明な正の性質を持たないが、計算上効率的で、全積の計算を避けるため終了保証があるアルゴリズムを提供する。

ABSTRACT

In this paper, as in our previous "Descent-cycling in Schubert calculus" math.CO/0009112, we study the structure constants in equivariant cohomology of flag manifolds G/B. In this one we give a recurrence (which is frequently, but alas not always, positive) to compute these one by one, using the non-complex action of the Weyl group on G/B. Probably the most noteworthy feature of this recurrence is that to compute a particular structure constant c_{lambda,mu}^nu, one does not have to compute the whole product S_lambda * S_mu.

研究の動機と目的

• コホロジー環 $H^*_T(G/B)$ 内の個々の等変Schubert構造定数 $c_{wv}^u$ を再帰的に計算するアルゴリズムを開発すること。
• Weyl群 $W$ の非複素右作用を活用し、$T$-等変コホロジー構造から再帰的関係を導出すること。
• シューベルト多項式を用いる手法とは異なり、シューベルトクラスの全積を計算せずに、単一の構造定数を計算する手法を提供すること。
• 再帰的関係における非正性の原因を分析し、特に $\langle\alpha,\beta\rangle$ および $w\cdot\alpha$ を含む項の性質を特定し、通常コホロジーの場合にそれらが消えることを示すこと。
• 三重積分に関する推論を用いて、通常コホロジーの場合の構造定数の三重対称形を確立すること。

提案手法

• 等変コホロジーを用いてシューベルトクラスを多項式の集合としてモデル化し、構造定数の代数的取り扱いを可能にする。
• 単純反射 $r = r_\alpha$ を用いた再帰的関係を導入し、$wr > w$ のとき $c_{wv}^u$ を $w$ が大きいか $v$ が小さい項に還元する。
• 再帰的関係は、積 $S_w S_v = \sum_u c_{wv}^u S_u$ にデマズール作用素 $\partial^\alpha$ を作用させ、係数を等置することで導出される。
• 主要な再帰式は、$ur > u$、$vr < v$、$wr < w$ のとき有効な $c_{w,vr}^u = c_{wr,vr}^{ur} + c_{wr,v}^u - (w\cdot\alpha)c_{wv}^u + \sum_{w' \succ w, w' \neq wr} \langle\alpha,\beta\rangle c_{w',v}^u$ である。
• Weyl群元の長さおよび反射作用に関する条件を簡潔に表現するため、下線・上線記法を導入する。
• 降下サイクリングと dc-自明性を基本ケースとして用いる：$ur > u$ かつ $vr < v$ のとき $c_{wv}^u = c_{wr,v}^{\overline{ur}}$、$ur < u$ かつ $vr > v$ のとき $c_{wv}^u = 0$。

実験結果

リサーチクエスチョン

• RQ1 シューベルトクラスの全積を計算せずに、個々の等変Schubert構造定数 $c_{wv}^u$ に対して再帰的関係を導出可能か？
• RQ2 $G/B$ 上の非複素Weyl群作用が、等変手法を用いてコホロジー環に再帰的関係を誘導する仕組みは何か？
• RQ3 再帰的関係における非正性の原因は何か？ どのような条件下でそれらが消えるか？
• RQ4 再帰的関係を用いて、$G/B$ の通常シューベルト構造定数の三重対称性を回復可能か？
• RQ5 有限次元 $G$ に対して、再帰的関係はアルゴリズム的に終了し、計算的に効率的か？

主な発見

• $w \neq w_0$ のとき、任意の $c_{wv}^u$ は $w$ が大きいか $v$ が小さい項に還元され、有限次元 $G$ においては終了保証が得られる。
• 構造定数に $\langle\alpha,\beta\rangle \in \mathbb{Z}$ および $w\cdot\alpha$ を含む項が存在するため、非自明な正性を有さないが、通常コホロジーの場合にはこれらは消える。
• 通常の場合、$w$ が反グラスマン型（すなわち、高々1つの上昇をもつ）のとき、再帰的関係には負の項が存在しない。
• $G = GL_4(\mathbb{C})$ の場合、再帰的関係は $c_{1234,2413}^{2413} = 1$ を正しく計算し、非自明な例でアルゴリズムの妥当性を検証した。
• 再帰的関係により、通常の場合に構造定数の三重対称形が導かれる：$c_{w,vr,ur} = c_{wr,vr,u} + c_{wr,v,ur} + \sum \langle\alpha,\beta\rangle c_{w',v,ur}$。
• 全積の計算を回避するため、シューベルト多項式や明示的代表元に基づく手法よりも計算効率が優れている。