[論文レビュー] Poincaré series and rational cohomology rings of Kac-Moody groups and their flag manifolds

Xuan Zhao, Jin Chunhua+1 more|arXiv (Cornell University)|Jan 12, 2013

Algebraic structures and combinatorial models参考文献 25被引用数 3

ひとこと要約

この論文は、Leray-Serreスペクトル系列とCartan行列の構造を用いて、不定型Kac-Moody群およびそのフラッグ多様体の有理コホモロジー環を、Poincaré系列を分析することで決定する。主な結果は完全な分類である：Cartan行列が対称化可能であれば、群の有理コホモロジー環は、単一の3次元生成子による外積代数と多項式代数のテンソル積である。そうでなければ、純粋に多項式代数である。これにより、それらの有理ホモトピー型および有理ホモトピー群が完全に特定される。

ABSTRACT

In this paper, we study the rational cohomology rings of indefinite Kac-Moody groups and their flag manifolds. By extracting the information of cohomology from the Poincaré series, we are able to determine the rational cohomology rings of Kac-Moody groups and their flag manifolds. Since Kac-Moody groups and their flag manifolds are rational formal, we also determine their rational homotopy groups and rational homotopy types.

研究の動機と目的

• 不定型Kac-Moody群およびそのフラッグ多様体の有理コホモロジー環を計算すること。これは長年の未解決問題である。
• 有理的形式性とコホモロジー的データを活用して、これらの群の有理ホモトピー型および有理ホモトピー群を特定すること。
• Cartan行列の対称化可能性に基づいてコホモロジー構造を分類すること。対称化可能と非対称化可能な場合を区別すること。
• Poincaré系列に基づいて、$ H^*(G(A)) $ および $ H^*(F(A)) $ の完全な代数的記述を、多項式代数と外積代数の形で与えること。生成子の次数はPoincaré系列によって決定される。

提案手法

• ファイブレーション $ G(A) \to F(A) \to BB(A) $ に対してLeray-Serreスペクトル系列を用い、$ G(A) $ と $ F(A) $ のPoincaré系列を関連付ける。
• 先行研究[13][14]からの帰納的技法を応用し、Cartan行列 $ A $ から直接的にフラッグ多様体 $ F(A) $ のPoincaré系列 $ P_A(q) $ を計算する。
• スペクトル系列と直接計算の両方から得られる $ F(A) $ のPoincaré系列を比較し、ベッチ数 $ i_k $ を抽出する。
• 有理コホモロジーのHopf代数構造を用いて、$ H^*(G(A)) $ を多項式代数と外積代数のテンソル積として表現する。生成子は $ i_k $ によって決定される。
• Kacの結果（$ H^*(BB(A)) $ における正規列）を活用し、$ P_A(q) $ を $ i_k $ の閉じた形で表現する。
• Cartan行列 $ A $ の対称化可能性を主要な不変量として用いる：対称化可能であれば $ i_3 = 1 $、そうでなければ $ i_3 = 0 $ であり、3次元を超える奇数次元生成子はすべて消える。

実験結果

リサーチクエスチョン

• RQ1 不定型Kac-Moody群の有理コホモロジー環 $ H^*(G(A)) $ の構造は何か？
• RQ2 フラッグ多様体 $ F(A) $ の有理コホモロジーは、特にその対称化可能性に依存してどのように変化するか？
• RQ3 Poincaré系列とCartan行列のデータから、$ G(A) $ および $ F(A) $ の有理ホモトピー型を完全に特定できるか？
• RQ4 対称化可能性条件は、$ G(A) $ の有理コホモロジー生成子を分類する上で果たす役割は何か？
• RQ5 有理コホモロジー生成子の次数は、Poincaré系列およびWeyl群の構造とどのように関係するか？

主な発見

• インデコンポジブルな不定型Cartan行列 $ A $ に対して、$ A $ が対称化可能であれば、$ H^*(G(A)) \cong \Lambda_{\mathbb{Q}}(y_3) \otimes \mathbb{Q}[z_1, \dots, z_k, \dots] $ であり、$ \deg z_k \geq 4 $ かつ偶数次元である。
• もし $ A $ が非対称化可能であれば、$ H^*(G(A)) \cong \mathbb{Q}[z_1, \dots, z_k, \dots] $ であり、純粋に多項式代数である。
• フラッグ多様体 $ F(A) $ の有理コホモロジーは、$ A $ が対称化可能であれば $ \mathbb{Q}[\omega_1, \dots, \omega_n]/\langle \psi \rangle \otimes \mathbb{Q}[z_1, \dots, z_k, \dots] $、非対称化可能であれば $ \mathbb{Q}[\omega_1, \dots, \omega_n] \otimes \mathbb{Q}[z_1, \dots, z_k, \dots] $ である。
• 生成子 $ z_k $ の次数はPoincaré系列 $ P_A(q) $ および対称化可能性の指標 $ \epsilon(A) $ によって決定される。
• 例として、すべての $ i \neq j $ に対して $ a_{ij}a_{ji} \geq 4 $ である場合、Poincaré系列は $ P_A(q) = \frac{1 - q^4}{(1 - q^2)^n} \cdot \frac{1}{\prod_{k=2}^\infty (1 - q^{2k})^{\dim L^{k}_{n-1}}} $ である。
• この例では、$ A $ が対称化可能であれば、$ i_1 = i_2 = 0 $、$ i_3 = 1 $、$ i_{2k} = \dim L^{k}_{n-1} $（$ k \geq 2 $）、3次元を超える奇数次元生成子はすべて消える。