[论文解读] Realizability of the group of rational self-homotopy equivalences

Mahmoud Benkhalifa|arXiv (Cornell University)|Oct 7, 2010

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

一句话总结

该论文证明了对每个自然数 $ n $，存在一个1-连通的有理CW复形 $ X_n $，其有理自同伦等价群同构于 $ 2^{n+1} $ 个 $ \mathbb{Z}_2 $ 的直和。利用Sullivan的有理同伦理论，作者构造了交换余链代数的极小模型，并通过上同调障碍与同伦类分析自同构，最终通过在生成元及其次数上施加显式的代数约束，实现了所需的群结构。

ABSTRACT

For a 1-connected CW-complex $X$, let $\mathcal{E}(X)$ denote the group of homotopy classes of self-homotopy equivalences of $X$. The aim of this paper is to prove that, for every $n\in\Bbb N$, there exists a 1-connected rational CW-complex $X_{n}$ such that $\mathcal{E}(X_{n})\cong \underset{2^{n+1}\mathrm{. times}}{\underbrace{\Bbb Z_{2}\oplus... \Bbb \oplus \Bbb Z_{2}}}$.

研究动机与目标

• 解决有理同伦理论中的实现问题：对给定的有限群 $ G $，确定是否存在一个1-连通的有理CW复形 $ X $，使得 $ \mathcal{E}(X) \cong G $。
• 特别研究形式为 $ \mathbb{Z}_2^{2^{n+1}} $ 的初等阿贝尔2-群是否对所有 $ n \in \mathbb{N} $ 都能实现。
• 显式构造1-连通有理空间的极小模型，使其自同构群与目标群结构一致。
• 通过在余链态射上施加代数约束，将先前关于 $ \mathbb{Z}_2 $ 和 $ \mathbb{Z}_2 \oplus \mathbb{Z}_2 $ 实现结果推广到更高秩的初等阿贝尔2-群。
• 通过 $ b^n $ 映射与自同构的同伦类，建立自同构群结构与上同调数据之间的联系。

提出的方法

• 利用Sullivan的极小模型理论，将拓扑问题转化为在 $ \mathbb{Q} $ 上的1-连通极小交换余链代数（mccas）的代数设定。
• 将mcca $ \mathcal{E}(\Lambda V, \partial) $ 的自同伦等价群定义为保持微分的余链自同构的同伦类群。
• 通过与 $ (\Lambda(t, dt), d) $ 的张量积定义余链态射之间的同伦关系，以识别两个自同构何时同伦。
• 引入线性映射 $ b^n: V^n \to H^{n+1}(\Lambda V^{\leq n-1}) $，定义为 $ b^n(v) = [\partial(v)] $，以追踪自同构延拓的障碍数据。
• 构造子群 $ \mathcal{C}^{n+1} \subset \text{Aut}(V^{n+1}) \times \mathcal{E}(\Lambda V^{\leq n}, \partial) $，作为保持 $ b^n $-结构的相容对集合。
• 利用满同态 $ \Phi^{n+1}: \mathcal{E}(\Lambda V^{\leq n+1}, \partial) \to \mathcal{C}^{n+1} $，在过滤层次间关联自同构群，并递归追踪群结构。

实验结果

研究问题

• RQ1 每个有限群 $ G $ 是否都能实现为某个1-连通有理CW复形的有理自同伦等价群？
• RQ2 形式为 $ \mathbb{Z}_2^{2^{n+1}} $ 的初等阿贝尔2-群是否对所有 $ n \in \mathbb{N} $ 都能实现？
• RQ3 有理空间极小模型上的哪些代数约束会强制其自同构群同构于 $ \mathbb{Z}_2^{2^{n+1}} $？
• RQ4 $ b^n $ 上同调映射与 $ \mathcal{C}^{n+1} $ 中的相容性条件如何控制 $ \mathcal{E}(\Lambda V, \partial) $ 的结构？
• RQ5 系数 $ p_z, p_{y_i}, p_{x_k} $ 的选择在决定自同构类的数量与顺序方面起什么作用？

主要发现

• 对每个 $ n \in \mathbb{N} $，存在一个1-连通的有理CW复形 $ X_n $，使得 $ \mathcal{E}(X_n) \cong \mathbb{Z}_2^{2^{n+1}} $，从而证明了这些群的有理实现性。
• 群 $ \mathcal{E}(\Lambda V^{\leq 9.2^{n+2}-1}, \partial) $ 同构于 $ \mathbb{Z}_2^{2^{n+1}} $，通过精心设计的极小模型构造而成，其生成元位于特定次数。
• 自同构群来源于两种情形：$ p_{n+1} = 1 $ 与 $ p_{n+1} = -1 $，每种情形贡献 $ 2^n $ 个阶为2的同伦类。
• 自同构的同伦类总数为 $ 2^n + 2^n = 2^{n+1} $，全部阶整除2（单位元除外），确认该群为初等阿贝尔群。
• 系数 $ p_z, p_{y_1}, p_{y_2}, p_{y_3}, p_w, p_k $ 满足一个方程组，该方程组在 $ \{ \pm 1 \} $ 中恰好有 $ 2^{n+1} $ 个解，对应于群元素。
• 该构造依赖于相关次数中所有上循环都是上边界这一事实，确保任意自同构同伦于在生成元上作用为对角的自同构，从而简化了分类。