[論文レビュー] The Chow rings of generalized Grassmannians

Haibao Duan, Xuezhi Zhao|arXiv (Cornell University)|Nov 14, 2005

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

ひとこと要約

本稿では、シューベルト計算とカルタン行列に基づく乗法公式を用い、ブルハット＝チェヴァリの基底定理を応用することで、一般化されたグラスマン多様体およびランク1の同調空間のチャウ環を計算する新手法を提示する。主な貢献は、多項式環の剰余環として明示的に計算された関係式によるチャウ環の具体的な表示であり、$E_8/E_7\cdot S^1$ を含む7つの例外的リー群のケースについての結果が得られている。ここで、環は4つの生成子からなり、有理ホモトピーにおいて次数2, 12, 20, 39, 47, 59の関係を持つ。

ABSTRACT

Based on the Basis theorem of Bruhat--Chevalley [C] and the formula for multiplying Schubert classes obtained in [D\QTR{group}{u}] and programed in [DZ$_{\QTR{group}{1}}$], we introduce a new method computing the Chow rings of flag varieties (resp. the integral cohomology of homogeneous spaces). The method and results of this paper have been extended in [DZ$_{3}$, DZ$_{4}$] to obtain the integral cohomology rings of all complete flag manifolds, and to construct the integral cohomologies of Lie groups in terms of Schubert classes.

研究の動機と目的

• スペクトル系列や torsion 敏銳な位相的技法に依存しない、フラッグ多様体および同調空間のチャウ環を計算する自己完結的かつ包括的な手法の開発。
• 例外的リー群に関連する一般化されたグラスマン多様体のチャウ環を、明示的に計算された関係式による多項式環の剰余環として提示すること。
• $E_6/A_6\cdot S^1$ および $E_8/E_7\cdot S^1$ の整数コホモロジーに関する先行研究における長年の曖昧さと誤りを解消し、最小で幾何的に意味のある生成子と正確な関係式を提供すること。
• この手法を拡張し、有理ホモトピー群をチャウ環の構造から直接計算すること。
• 戦後における冨田、石立、渡辺による $E_6/A_6\cdot S^1$ および $E_8/E_7\cdot S^1$ のコホモロジーに関する既知の誤りを是正すること。

提案手法

• ブルハット＝チェヴァリの加法的基底定理を用いて、チャウ環 $A^*(G/H)$ をシューベルト類によって張られる自由アーベル群として表現する。
• リー群の根系とカルタン行列の構造から導かれるシューベルト類の乗法公式を適用する。
• ウェイル座標を用いてシューベルト類をインデックス化し、構造定数の体系的計算を可能にする。
• 高度な位相的道具を避けて、カルタン行列からの純代数的計算に問題を還元する。
• シューベルト類の最小生成集合を特定し、記号代数を用いてそれらの間のすべての乗法的関係を計算する。
• 得られた環の表示を用いて、有理ホモトピー論の標準的手法により有理ホモトピー群を導出する。

実験結果

リサーチクエスチョン

• RQ1 例外的リー群 $G$ と基本的ウェイトに対応するパラボリック部分群 $H$ を持つ一般化されたグラスマン多様体 $G/H$ のチャウ環の最小生成子集合は何か？
• RQ2 これらの生成子間の完全な関係は何か？ そして、それらは明示的な多項式関係として表現可能か？
• RQ3 $G/H$ の整数チャウ環構造とその有理コホモロジーとの違いは何か？ 有理化の過程で失われる情報は何か？
• RQ4 本手法は、$H^*(E_6/A_6\cdot S^1)$ および $H^*(E_8/E_7\cdot S^1)$ の先行計算における既知の誤りを是正できるか？
• RQ5 $G/H$ の有理ホモトピー群は何か？ そして、それらはチャウ環の表示から直接導出可能か？

主な発見

• チャウ環 $F_4/C_3\cdot S^1$ は $\mathbb{Z}[y_1,y_3,y_4,y_6]/\langle 2y_3 - y_1^3, 2y_6 + y_3^2 - 3y_1^2y_4, 3y_4^2 - y_1^2y_6, y_6^2 - y_4^3 \rangle$ であり、生成子は次数1, 3, 4, 6に存在する。
• チャウ環 $F_4/B_3\cdot S^1$ は $\mathbb{Z}[y_1,y_4]/\langle 3y_4^2 - y_1^8, 26y_4^3 - 5y_1^{12} \rangle$ であり、生成子は次数1と4に存在する。
• チャウ環 $E_6/A_6\cdot S^1$ は $\mathbb{Z}[y_1,y_3,y_4,y_6]/\langle r_6,r_8,r_9,r_{12} \rangle$ であり、$r_6 = 2y_6 + y_3^2 - 3y_1^2y_4 + 2y_1^3y_3 - y_1^6$ であり、他の関係式は明示的に与えられている。
• チャウ環 $E_6/D_5\cdot S^1$ は $\mathbb{Z}[y_1,y_4]/\langle 2y_1^9 + 3y_1y_4^2 - 6y_1^5y_4, y_4^3 - 6y_1^4y_4^2 + y_1^{12} \rangle$ であり、生成子は次数1と4に存在する。
• チャウ環 $E_8/E_7\cdot S^1$ は次数1, 6, 10, 15の生成子からなり、関係式 $r_{15}, r_{20}, r_{24}, r_{30}$ を持つ。生成子 $y_{15}$ は整数的条件下で生存し、有理化の場合とは区別される。
• 有理ホモトピー群 $E_8/E_7\cdot S^1$ は次数2, 12, 20, 39, 47, 59で $\mathbb{Q}$ であり、それ以外の次数では0であり、チャウ環の表示から導出された。