Topology of the orbit space of a maximal torus action on $\operatorname{Gr}(2,\mathbb{C}^{5})$

技术摘要：最大环面作用下 Grassmann 流形 $Gr(2, \mathbb{C}^5)$ 轨道的拓扑结构

问题陈述
本研究探讨了轨道空间 $Gr(2, \mathbb{C}^5)/T$ 的同伦型与整系数同调群，其中 $Gr(2, \mathbb{C}^5)$ 是 $\mathbb{C}^5$ 中 2-平面组成的 Grassmann 流形，而 $T = \{(t_1, \dots, t_5) \in (S^1)^5 \mid t_1 \dots t_5 = 1\}$ 是与之相关的紧致最大环面。虽然 Süss [6] 通过子空间过滤法以及 Buchstaber 和 Terzić [2] 通过参数空间的方法此前已计算出了该轨道空间的同调群，但该空间的精确同伦型仍未确定。本文旨在通过一种拓扑方法来计算这些同调群，并且更重要的是，确定该轨道空间的完整同伦型。

方法论
作者引入了一个用于描述轨道空间的同伦模型 $X$，该模型通过以下拓扑与代数步骤构建：

1. 底层多胞形： 该环面作用的矩形多胞形（moment polytope）被确定为超单纯形 $\Delta_{2,5}$，它同胚于 4 维圆盘 $D^4$。该多胞形的边界被分解为一个正则 CW 复形，由 10 个顶点、30 条棱、30 个 2-面（20 个三角形和 10 个正方形）以及 10 个 3-面（5 个四面体和 5 个八面体）组成。
2. 纤维空间： 位于多胞形内部上方的纤维被建模为 5 次 Del Pezzo 曲面 $Y = dP_5$，它同胚于连通和 $\mathbb{C}P^2 \# \mathbb{C}P^2 \# \mathbb{C}P^2 \# \mathbb{C}P^2 \# \mathbb{C}P^2$。文中对 $Y$ 的极小 CW 复形结构进行了分析，特别关注了其顶细胞的附着映射及其交类形式（intersection form）。
3. 收缩映射与锥丛： 构建过程利用了五个不同的锥丛映射 $f_i: Y \to \mathbb{C}P^1$（$i=1, \dots, 5$）。这些映射源自对在 $\mathbb{C}P^2$ 中吹胀四个点后的直线束（pencils of lines）的研究。通过 $Y$ 的交类形式，计算了这些映射在同调群上诱导的同态及其拓扑性质。
4. 模型 $X$ 的构建： 空间 $X$ 被定义为商空间 $P \times Y / \sim$，其中 $P = \Delta_{2,5}$。
   • 在多胞形的内部，纤维为 $Y$。
   • 在八面体 3-面（$O_i$）的内部，纤维 $Y$ 通过锥丛映射 $f_i$ 收缩为 $\mathbb{C}P^1$ 的副本。
   • 在剩余的边界（四面体及更低维的面）上，纤维 $Y$ 收缩为一个点。
5. 同伦等价性： 通过涉及室分解（chamber decompositions）以及不同双有理模型（如 $\mathbb{C}P^2$ 的吹胀和 $\mathbb{C}P^1 \times \mathbb{C}P^1$）之间收缩映射的归纳论证，本文确立了轨道空间 $Gr(2, \mathbb{C}^5)/T$ 与所构建的空间 $X$ 是同伦等价的（定理 5）。

主要结果

• 同调计算： 通过赋予 $X$ 特定的 CW 复形结构并计算相关链复形的边界算子，确定了该轨道空间的整系数同调群。结果证实了先前的发现：
  • $H_i(X) \cong \mathbb{Z}$ 对于 $i = 0, 8$。
  • $H_i(X) \cong \mathbb{Z}_2$ 对于 $i = 5$。
  • 在其他情况下 $H_i(X) = 0$（推论 1）。
• 同伦型： 该轨道空间被证明同伦等价于一个通过将 8-细胞附着在 $\mathbb{R}P^2$ 的 4-重悬挂上得到的空间。具体而言：
  $$Gr(2, \mathbb{C}^5)/T \simeq D^8 \cup_f \Sigma^4 \mathbb{R}P^2$$
  其中附着映射 $f: S^7 \to \Sigma^4 \mathbb{R}P^2$ 代表了基本群 $\pi_7(\Sigma^4 \mathbb{R}P^2) \cong \mathbb{Z}_4$ 的一个生成元（定理 7）。
• 非等价性： 本文证明了该空间并不同伦等价于一个通过向 $\mathbb{R}P^2$ 附着一个 4-细胞后进行 4-重悬挂得到的空间（即对于任何 $[g] \in \pi_3(\mathbb{R}P^2)$，都有 $D^8 \cup_f \Sigma^4 \mathbb{R}P^2 \not\simeq \Sigma^4(D^4 \cup_g \mathbb{R}P^2)$）。

意义与主张
本文声称具有两个主要的创新点：

1. 简化计算： 通过同伦模型 $X$ 进行的拓扑方法，相比于 Buchstaber 和 Terzić [2] 的方法，提供了一种显著简化的同调群计算方式。
2. 确定同伦型： 不同于 Süss [6] 侧重于同调的研究，本工作成功确定了轨道空间的精确同伦型，并识别了顶细胞的特定同伦类。

作者指出，该方法将收缩映射视为拓扑商映射，而非仅限于代数态射，从而允许将该空间作为由锥丛构成的拓扑流形进行研究。研究结果依赖于标准的代数拓扑工具，包括 CW 复形、同调计算以及悬挂与同伦群的性质。