[论文解读] 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

一句话总结

本文通过分析 Poincaré 系数与 Leray-Serre 族谱序列及 Cartan 矩阵结构，确定了不定 Kac-Moody 群及其旗流形的有理上同调环。关键结果为完整分类：若 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 矩阵的可对称化性对上同调结构进行分类，区分可对称化与不可对称化情形。
• 以多项式代数与外代数的形式，提供 $ 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) $ 的有理上同调如何依赖于 Cartan 矩阵 $ 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] $，即为纯多项式代数。
• 当 $ A $ 可对称化时，旗流形 $ F(A) $ 的有理上同调为 $ \mathbb{Q}[\omega_1, \dots, \omega_n]/\langle \psi \rangle \otimes \mathbb{Q}[z_1, \dots, z_k, \dots] $；当 $ A $ 不可对称化时，为 $ \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 的奇数度生成元均消失。