[論文レビュー] Schubert calculus and the integral cohomology of simple Lie groups

Haibao Duan, Xuezhi Zhao|arXiv (Cornell University)|Nov 16, 2007

Advanced Combinatorial Mathematics参考文献 22被引用数 1

ひとこと要約

本稿では、すべての単純リー群 G および係数体 F=Q, F_p, Z に対して、旗多様体 G/T 上の高度なシューベルト計算を用いて、整数コホモロジー環 H*(G;F) の一様な構成を提示する。最近のシューベルト計算の発展を活用することで、H*(G;F_p) の計算に関する長年の未解決問題を一様に解き、例外型群 E6, E7, E8 の整数コホモロジー環を特定する。

ABSTRACT

The problem of computing the cohomology ring H*(G;F) of a Lie group G was initiated by E. Cartan in 1929, and has been one of the main focuses in the 20th century algebraic topology. However, despite jumbled efforts and great achievements by many mathematicians in about one century two important questions remain open: 1) find a general procedure computing the ring H*(G;F_{p}) for all G and p; 2) determine the integral cohomology ring H*(G;Z) for the most difficult and subtle cases of G=E6,E7 and E8. Let G be a simple Lie group with a maximal torus T. Based on recent progress in Schubert claculus on the flag manifold G/T DZ3 we construct the ring H*(G;F) uniformly for all G and F=Q, F_p,Z.

研究の動機と目的

• すべての単純リー群 G と素数 p に対して、H*(G;F_p) を一様に計算するという長年の課題に取り組む。
• E6, E7, E8 という最も困難で繊細なケースとして残っていた例外型リー群の整数コホモロジー環 H*(G;Z) を特定する。
• 幾何学的・代数的構造を旗多様体 G/T 上に統合することで、F=Q, F_p, Z の H*(G;F) の計算を統一する一般的な枠組みを構築する。
• 最近のシューベルト計算の進展に基づいて、従来の局所的・特異的アプローチの限界を乗り越え、体系的な手順を構築する。

提案手法

• シューベルト計算を用いてコホモロジー環を構成する幾何的基盤として、旗多様体 G/T を用いる。
• 最近のシューベルト計算の結果を応用し、コホモロジー環を生成するシューベルト類を定義および計算する。
• ウェイル群と根系の構造を用いて、F=Q, F_p, Z の H*(G;F) の一様な表現を構築する。
• ブルア・分解とシューベルト多様体を用いて、G/T のセル分解を定義し、これによりコホモロジー環の構造を誘導する。
• チェヴァリ–シューベルト表現を用いて、シューベルト類をコホモロジーにおける多項式生成子と関係式に結びつける。
• Torsion を分析し、p を法とする還元を検討することで、有理コホモロジー H*(G;Q) の結果を整数および mod p コホモロジーに拡張する。

実験結果

リサーチクエスチョン

• RQ1 すべての単純リー群 G とすべての素数 p に対して、H*(G;F_p) を一様に計算する手続きを開発することは可能か？
• RQ2 例外型リー群 E6, E7, E8 の整数コホモロジー環 H*(G;Z) の構造は何か？
• RQ3 G/T 上のシューベルト計算をどのように体系的に応用すれば、F=Q, F_p, Z の H*(G;F) の完全なコホモロジー環を再構成できるか？
• RQ4 例外型群において、シューベルト類を用いた H*(G;Z) の生成子と関係式は何か？
• RQ5 旗多様体の幾何学を用いて、異なる係数系において一様にコホモロジー環 H*(G;F) を再構成できる範囲はどの程度か？

主な発見

• 本稿では、G/T 上のシューベルト計算を用いて、すべての単純リー群 G および係数 F=Q, F_p, Z に対して H*(G;F) の一様な表現を構築する。
• 例外型群 E6, E7, E8 に対して、整数コホモロジー環 H*(G;Z) の完全かつ体系的な計算が初めて得られた。
• 一様なフレームワークを用いることで、すべての G と p に対して H*(G;F_p) を一様に計算するという未解決問題が解決された。
• コホモロジー環は、ウェイル群と根系から導かれるシューベルト関係式によって生成されるイデアルによる多項式環の商として実現される。
• 構成法により、E6, E7, E8 の H*(G;Z) における torsion 構造が明らかになり、有理コホモロジーを越えた非自明な torsion が存在することが確認された。
• 有理コホモロジー、mod p コホモロジー、整数コホモロジーのこれまで別個に得られていた結果が、一つの幾何学的・代数的枠組みに統合された。