[论文解读] Topology of the octonionic flag manifold

Augustin-Liviu Mare, Matthieu Willems|arXiv (Cornell University)|Sep 25, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用 4

一句话总结

本文使用到 𝕆P² 上的投影的秩 8 向量丛的欧拉类，提供了八元数旗流形 Fl(𝕆) 的积分上同调与 Spin(8)-等变上同调的完整 Borel 型描述。它为等变上同调环与等变 K-理论环建立了 Goresky-Kottwitz-MacPherson 型表示，揭示了与例外李群 F₄ 及对称空间 E₆(−26)/F₄ 密切相关的深刻代数结构。

ABSTRACT

The octonionic flag manifold $Fl(\mathbb{O})$ is the space of all pairs in $\mathbb{O}P^2 imes \mathbb{O}P^2$ (where $\mathbb{O}P^2$ denotes the octonionic projective plane) which satisfy a certain "incidence" relation. It comes equipped with the projections $π_1,π_2 : Fl(\mathbb{O}) o \mathbb{O}P^2$, which are $\mathbb{O}P^1$ bundles, as well as with an action of the group $Spin(8)$. The first two results of this paper give Borel type descriptions of the usual, respectively $Spin(8)$-equivariant cohomology of $Fl(\mathbb{O})$ in terms of $π_1$ and $π_2$ (actually the Euler classes of the tangent spaces to the fibers of $π_1$, respectively $π_2$, which are rank 8 vector bundles on $Fl(\mathbb{O})$). Then we obtain a Goresky-Kottwitz-MacPherson type description of the ring $H^*_{Spin(8)}(Fl(\mathbb{O}))$. Finally, we consider the $Spin(8)$-equivariant $K$-theory ring of $Fl(\mathbb{O})$ and obtain a Goresky-Kottwitz-MacPherson type description of this ring.

研究动机与目标

• 使用 Borel 型表示确定八元数旗流形 Fl(𝕆) 的积分上同调环。
• 通过生成元与关系描述 Fl(𝕆) 的 Spin(8)-等变上同调。
• 为 Fl(𝕆) 的等变上同调环建立 Goresky-Kottwitz-MacPherson 型表示。
• 将 GKM 方法扩展至 Fl(𝕆) 的等变 K-理论，提供该环的表示。
• 通过 Fl(𝕆) 作为对称空间 E₆(−26)/F₄ 的实现及其与 Jordan 代数 ℋ₃(𝕆) 的关系，阐明 Fl(𝕆) 的拓扑与代数结构。

提出的方法

• 利用 Fl(𝕆) = F₄/Spin(8) 的识别，以及 Fl(𝕆) → 𝕆P² 上的自然投影 π₁, π₂ 作为 𝕆P¹-丛。
• 分析 Fl(𝕆) 上的秩 8 向量丛 𝒟₁ 与 𝒟₂，其纤维分别切于 π₁ 与 π₂ 的纤维。
• 计算欧拉类 e(𝒟₁) 与 e(𝒟₂)，并证明 2e(𝒟₁) + e(𝒟₂) 与 e(𝒟₁) + 2e(𝒟₂) 可被 3 整除。
• 引入归一化生成元：(1/3)(2e(𝒟₁) + e(𝒟₂)) 与 (1/3)(e(𝒟₁) + 2e(𝒟₂))，以表示积分上同调环。
• 通过利用 Spin(8) 及其极大环面的作用，将 Goresky-Kottwitz-MacPherson 框架应用于等变上同调。
• 利用 Cartan 分解 𝔞₆(−26) = 𝔣₄ ⊕ ℋ₃⁰(𝕆) 与根空间分解，识别根系并构造 GKM 表示。

实验结果

研究问题

• RQ1 积分上同调环 H*(Fl(𝕆); ℤ) 的结构是什么？它能否通过生成元与关系来表示？
• RQ2 Spin(8)-等变上同调 H*_{Spin(8)}(Fl(𝕆)) 如何分解？其特征类表示为何？
• RQ3 能否为 Fl(𝕆) 的等变上同调构造 Goresky-Kottwitz-MacPherson 型表示？
• RQ4 Fl(𝕆) 的 Spin(8)-等变 K-理论环的结构是什么？能否使用 GKM 型框架来描述？
• RQ5 E₆(−26)/F₄ 的根系与对称空间结构如何与 Fl(𝕆) 的拓扑相关联？

主要发现

• 积分上同调环 H*(Fl(𝕆); ℤ) 是自由的，由归一化类 (1/3)(2e(𝒟₁) + e(𝒟₂)) 与 (1/3)(e(𝒟₁) + 2e(𝒟₂)) 生成。
• 欧拉类 e(𝒟₁) 与 e(𝒟₂) 满足：2e(𝒟₁) + e(𝒟₂) 与 e(𝒟₁) + 2e(𝒟₂) 可被 3 整除，从而允许使用有理系数生成元。
• 上同调环中的关系理想由三个变量的第二与第三初等对称多项式为零所生成：S₂(α, β, γ) = 0 与 S₃(α, β, γ) = 0，其中 α = (1/3)(2e(𝒟₁) + e(𝒟₂))，β = (1/3)(−e(𝒟₁) + e(𝒟₂))，γ = (1/3)(−e(𝒟₁) − 2e(𝒟₂))。
• 已为 Spin(8)-等变上同调环 H*_{Spin(8)}(Fl(𝕆)) 建立 Goresky-Kottwitz-MacPherson 型表示，利用极大环面作用与根系数据。
• Fl(𝕆) 的等变 K-理论环具有类似于上同调情形的 GKM 型表示，将该框架扩展至 K-理论。
• 对称空间 E₆(−26)/F₄ 被实现为旗流形 Fl(𝕆)，其根系与 Cartan 分解为上同调与 K-理论结果提供了几何基础。