[論文レビュー] The cohomology of compact Lie groups

Haibao Duan|arXiv (Cornell University)|Feb 2, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 8

ひとこと要約

この論文は、1-連結なコンパクトなリー群における整数係数コホモロジー環の統一的構成を、すべてのコンパクトなリー群へと拡張する。旗多様体 $G/T$ を用い、$H^*(G/T)$ の既知の表現を活用することで、$H^*(G)$ を体系的に導出する。主な貢献は、最大トーラスと旗多様体構造を用いて、任意のコンパクトなリー群の整数係数コホモロジー環を一般かつ明示的かつ一様に計算する方法を提供することにある。

ABSTRACT

Let $G$ be a compact Lie group with a maximal torus $T$. Based on a presentation of the integral cohomology ring $H^{\ast }(G/T)$ of the flag manifold $G/T$ in \cite{DZ1} we have presented in \cite{DZ2} an explicit and unified construction of the integral cohomology rings $H^{\ast }(G)$ for the $1$--connected Lie groups $G$. In this paper we extend this construction to all compact Lie groups.

研究の動機と目的

• 1-連結なコンパクトなリー群に限らない、整数係数コホモロジー環の構成を一般化すること。
• 任意のコンパクトなリー群 $G$ に対して $H^*(G)$ を一様かつ明示的に計算する方法を提供すること。
• $H^*(G/T)$、すなわち旗多様体のコホモロジーの既知の表現を、構成の基礎的入力として活用すること。
• 単連結でない群を含む、すべてのコンパクトなリー群に適用可能な体系的な枠組みを確立すること。

提案手法

• 最大トーラス $T$ を持つ $G$ に対して、旗多様体 $G/T$ を中心的な幾何的対象として用いる。
• 前記の研究 «DZ1» で得られた $H^*(G/T)$ の既知の表現を、コホモロジー計算の出発点として適用する。
• 代数的トポロジーの技法を用いて、$H^*(G/T)$ と $G$ のコホモロジーとの関係を分析することで、$H^*(G)$ を構成する。
• 不変式理論と特徴類を用いて、群の構造をコホモロジー的データに組み込む。
• 構造的不変性を用いて、«DZ2» で得られた1-連結の場合の構成を、任意のコンパクトなリー群へ一般化する。
• $G/T$ がコホモロジー的性質がよく理解された同次空間であるという事実に依拠し、$H^*(G)$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 1-連結でないコンパクトなリー群に対しても、整数係数コホモロジー環 $H^*(G)$ を体系的に構成する方法は何か？
• RQ2 旗多様体 $G/T$ は、さまざまなコンパクトなリー群にわたるコホモロジー計算を統一するために果たす役割は何か？
• RQ3 1-連結な群に用いられた手法を、単連結でないコンパクトなリー群へと拡張できるか？
• RQ4 群 $G$ の構造的不変量のうち、$H^*(G)$ にどのようにエンコードされており、$G/T$ を通じてどのように捉えられるか？
• RQ5 $H^*(G/T)$ の表現が、一様に $H^*(G)$ を導出するのをどのように支援するか？

主な発見

• 本論文は、1-連結な場合に限らない、任意のコンパクトなリー群 $G$ に対して、整数係数コホモロジー環 $H^*(G)$ を一様かつ明示的に構成する。
• コホモロジー環 $H^*(G)$ は、旗多様体のコホモロジー $H^*(G/T)$ の既知の表現によって完全に決定される。
• この構成は、単連結でない群を含む、すべてのコンパクトなリー群に適用可能である。
• 1-連結な場合の構成を一般化するために、構造的不変性と代数的トポロジーの道具を用いる。
• 本手法は、旗多様体 $G/T$ を通じて、すべてのコンパクトなリー群のコホモロジー計算を統一する体系的な枠組みを確立する。
• 結果として、$G$ のコホモロジーは、$G/T$ の幾何と群の最大トーラス構造から導出可能であることが示された。