2025-11-19T19:49:14.011489

A "Periodicity" Phenomenon of the Attaching Map of the Suspended Two-Cell Complex

Yang, Lei, Li et al.
Let $f\inπ_{n+k}(S^{n})$, ($n\geq2$ and $k\geq0$) and let $F$ be the homotopy fibre of the pinch map $ΣC_{f}=S^{n+1}\cup e^{n+k+2} \rightarrow S^{n+k+2}$; (further suppose that $ΣC_{f}\not\simeq*$ if $k=0$). Assume that, via the homoptopy fibration $F\rightarrow ΣC_{f} \rightarrow S^{n+k+2}$, we wish to compute the $p$-primary component of $π_{*}(ΣC_{f})$ which is possibly far unstable, where the prime $p\neq3$. As a type of Gray's relative James constructions, $ F$ has a CW decomposition $F=(S^{n+1}\cup_α e^{2n+k+2})\cup_β e^{3n+2k+3}\cup \cdots$, where $α=[1_{S^{n+1}},Σf]$ is the Whitehead product and $β$ is a higher Whitehead product. However, higher Whitehead products are intricate to manage. In this paper, by use of Selick-Wu's $\mathrm{A}^{\mathrm{min}}$-theory and the machinery of the Eilenberg-Moore spectral sequence, we show that in the 2-local case, the attaching map $β$ is decomposed to be $Σ^{2n+k+2}f$ composing with a certain inclusion; in the $p$-local case, where $p\geq5$ and $n+k$ is odd, $β$ admits a similar decomposition. In other words, the attaching map $Σf$ manifests a ``periodicity'' phenomenon. Therefore, we are able to calculate $π_{*}(ΣC_{f})\otimes \mathbb{Z}_{(p)}$ in the range requiring the 3-cell skeleton of $F$. As an application, we determine the 2-primary component of $π_{18}(Σ^{3}\mathbb{C}P^{2})$.
academic

A "Periodicity" Phenomenon of the Attaching Map of the Suspended Two-Cell Complex

基本信息

  • 论文ID: 2509.21444
  • 标题: A "Periodicity" Phenomenon of the Attaching Map of the Suspended Two-Cell Complex
  • 作者: Juxin Yang, Fengchun Lei, Jingyan Li, Jie Wu
  • 分类: math.AT (代数拓扑)
  • 发表时间: 2025年10月11日 (arXiv v4)
  • 论文链接: https://arxiv.org/abs/2509.21444

摘要

本文研究悬吊二胞腔复形的连接映射的"周期性"现象。设 f∈πn+k(Sn)f \in \pi_{n+k}(S^n)（其中 n≥2n \geq 2，k≥0k \geq 0），FF 是收缩映射 ΣCf=Sn+1∪en+k+2→Sn+k+2\Sigma C_f = S^{n+1} \cup e^{n+k+2} \to S^{n+k+2} 的同伦纤维。作为Gray相对James构造的一种类型，FF 具有CW分解 F=(Sn+1∪αe2n+k+2)∪βe3n+2k+3∪⋯F = (S^{n+1} \cup_\alpha e^{2n+k+2}) \cup_\beta e^{3n+2k+3} \cup \cdots，其中 α=[1Sn+1,Σf]\alpha = [1_{S^{n+1}}, \Sigma f] 是Whitehead乘积，β\beta 是高阶Whitehead乘积。本文利用Selick-Wu的 Amin⁡A^{\min} 理论和Eilenberg-Moore谱序列，证明在2-局部情况下，连接映射 β\beta 可以分解为 Σ2n+k+2f\Sigma^{2n+k+2}f 与某个包含映射的复合；在 pp-局部情况下（p≥5p \geq 5 且 n+kn+k 为奇数），β\beta 有类似的分解。

研究背景与动机

核心问题

  1. 同伦群计算的基本挑战：计算拓扑空间的同伦群一直是代数拓扑学的核心问题。虽然球面的稳定同伦群已有重大进展（如Wang-Xu等人的工作推进到90-stem），但不稳定同伦群仍然极其神秘。
  2. 多胞腔复形的复杂性：从球面（1-胞腔复形）转向多胞腔CW复形时，情况变得更加复杂。即使拥有所有球面同伦群的完整知识，也无法确定一般CW复形的同伦群。
  3. 高阶Whitehead乘积的困难：在Gray的相对James构造中，连接映射 β\beta 是高阶Whitehead乘积，这类对象极其复杂且难以处理。

研究意义

  1. 理论价值：揭示连接映射的周期性现象，为理解不稳定同伦群提供新工具。
  2. 计算价值：提供了计算悬吊二胞腔复形同伦群的有效方法。
  3. 结构洞察：发现了深层的结构现象，类似于已知的周期性元素。

核心贡献

  1. 主要定理：证明了在适当条件下，连接映射 β\beta 具有分解 β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f，其中 j34j_{34} 是特定的包含映射。
  2. 技术创新：
    • 应用Selick-Wu的 Amin⁡A^{\min} 理论到具体的几何问题
    • 利用Eilenberg-Moore谱序列分析环化同伦纤维的同调
  3. 计算应用：确定了 π18(Σ3CP2)\pi_{18}(\Sigma^3 \mathbb{CP}^2) 的2-主成分。
  4. 理论推广：将Cohen-Moore-Neisendorfer的结果推广到更一般的情况。

方法详解

任务定义

输入：映射 f∈πn+k(Sn)f \in \pi_{n+k}(S^n) 和相应的悬吊锥 ΣCf\Sigma C_f输出：同伦群 π∗(ΣCf)\pi_*(\Sigma C_f) 的 pp-主成分（在特定范围内） 约束：p≠3p \neq 3；若 p≥5p \geq 5，则要求 n+kn+k 为奇数

核心技术框架

1. Gray相对James构造

利用Gray的相对James构造，同伦纤维 FF 可以表示为： F=J(MSn+1,Sn+k+1)F = J(MS^{n+1}, S^{n+k+1}) 具有CW分解： F=(Sn+1∪αe2n+k+2)∪βe3n+2k+3∪⋯F = (S^{n+1} \cup_\alpha e^{2n+k+2}) \cup_\beta e^{3n+2k+3} \cup \cdots

2. Selick-Wu分解理论

应用Selick-Wu的函子分解： ΩΣX≃Amin⁡(X)×Bmax⁡(X)\Omega\Sigma X \simeq A^{\min}(X) \times B^{\max}(X) 其中 Bmax⁡(X)=Ω⋁m≥2SQmmax⁡(X)B^{\max}(X) = \Omega\bigvee_{m \geq 2} SQ_m^{\max}(X)。

3. 关键引理

引理 2.3.6：在 p≠3p \neq 3 的条件下， SQmax⁡(Cf)≃Σ2n+k+2CfSQ^{\max}(C_f) \simeq \Sigma^{2n+k+2}C_f

主要技术步骤

步骤1：同调分析

通过Eilenberg-Moore谱序列分析环化同伦纤维 ΩF\Omega F 的同调结构： H∗(ΩF)∼=T({adm(y)(x)∣m≥0})H_*(\Omega F) \sim= T(\{ad^m(y)(x) \mid m \geq 0\})

步骤2：骨架分解

研究 FF 的2-骨架和3-骨架：

  • F(2)=Sn+1∪αe2n+k+2F^{(2)} = S^{n+1} \cup_\alpha e^{2n+k+2}
  • F(3)=F(2)∪βe3n+2k+3F^{(3)} = F^{(2)} \cup_\beta e^{3n+2k+3}

步骤3：连接映射分析

通过自然性和连通性论证，建立交换图表，最终证明： β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f

主要结果

定理1.1（主定理）

在素数 p≠3p \neq 3 的局部化下（若 p≥5p \geq 5，进一步假设 n+kn+k 为奇数），悬吊连接映射 Σ2n+k+2f\Sigma^{2n+k+2}f 通过 j34j_{34} 分解连接映射 β\beta： β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f

推论1.1

在相同条件下，对任意正整数 r≤4n+2k+1r \leq 4n+2k+1，同态 j34∗:πr(S3n+k+2)→πr(F(2))j_{34*}: \pi_r(S^{3n+k+2}) \to \pi_r(F^{(2)}) 是单射。

定理1.2（同调结构定理）

设 Z=Sm∪er≄∗Z = S^m \cup e^r \not\simeq *（2≤m<r2 \leq m < r），YY 是收缩映射 Z→SrZ \to S^r 的同伦纤维。在适当条件下： H∗(ΩY)∼=T(u,[u,v],[[u,v],v],[[[u,v],v],v],⋯ )H_*(\Omega Y) \sim= T(u, [u,v], [[u,v],v], [[[u,v],v],v], \cdots)

应用：定理1.3

π18(Σ3CP2:2)=⟨i0i1i2i2.5ν5σ8ν15,i0i1i2i3i4ν15,i0i1i2∘coextν5η28(2σ10),coextη5(ζ6)⟩≅Z/2⊕Z/4⊕Z/16⊕Z/8\pi_{18}(\Sigma^3\mathbb{CP}^2 : 2) = \langle i_0i_1i_2i_{2.5}\nu_5\sigma_8\nu_{15}, i_0i_1i_2i_3i_4\nu_{15}, i_0i_1i_2 \circ \text{coext}_{\nu_5\eta_2^8}(2\sigma_{10}), \text{coext}_{\eta_5}(\zeta_6)\rangle \cong \mathbb{Z}/2 \oplus \mathbb{Z}/4 \oplus \mathbb{Z}/16 \oplus \mathbb{Z}/8

技术创新点

1. 函子分解的几何实现

将Selick-Wu的抽象函子分解理论应用到具体的几何问题中，建立了代数和几何之间的桥梁。

2. 周期性现象的发现

发现连接映射 Σf\Sigma f 的"周期性"现象，这为理解高维同伦群提供了新的结构性洞察。

3. 谱序列技术的综合运用

巧妙结合Eilenberg-Moore谱序列和Serre谱序列，系统分析复杂的同调结构。

相关工作

历史发展

  1. 经典工具：Adams谱序列、EHP谱序列、motivic同伦理论、Goodwillie微积分
  2. 稳定同伦群：Isaksen-Wang-Xu推进到90-stem；Lin-Wang-Xu解决Kervaire不变量问题
  3. 不稳定理论：Gray相对James构造、Selick-Wu分解理论

本文定位

本文在Gray相对James构造和Selick-Wu理论的基础上，针对悬吊二胞腔复形这一特殊但重要的情况，给出了连接映射的精确描述。

应用与验证

计算实例

通过计算 π18(Σ3CP2)\pi_{18}(\Sigma^3\mathbb{CP}^2) 的2-主成分，验证了理论的有效性。计算涉及：

  1. 复杂的Toda括号运算
  2. 多层同伦纤维序列的分析
  3. 连接同态的精确计算

方法优势

相比传统方法，本文提供的方法：

  1. 更加系统和通用
  2. 避免了高阶Whitehead乘积的复杂性
  3. 在所需的范围内最为有效

结论与讨论

主要贡献

  1. 理论突破：揭示了连接映射的周期性结构
  2. 计算工具：提供了计算不稳定同伦群的新方法
  3. 结构洞察：深化了对悬吊复形同伦性质的理解

局限性

  1. 素数限制：方法不适用于 p=3p = 3 的情况
  2. 奇偶条件：对 p≥5p \geq 5 时要求 n+kn+k 为奇数
  3. 范围限制：只在特定维数范围内有效

未来方向

  1. 推广到 p=3p = 3 的情况
  2. 研究更高维骨架的连接映射
  3. 应用到更一般的CW复形

深度评价

优点

  1. 理论深度：将抽象的函子理论与具体几何问题完美结合
  2. 技术创新：发现了连接映射的周期性这一重要现象
  3. 计算价值：提供了实用的计算工具和明确的算法
  4. 写作清晰：论文结构严谨，技术细节完备

不足

  1. 适用范围：对素数和奇偶性的限制较强
  2. 推广性：主要针对二胞腔复形，推广到多胞腔情况不明确
  3. 计算复杂性：虽然理论上可行，但实际计算仍然复杂

影响力

  1. 学术价值：为不稳定同伦理论提供了新的研究方向
  2. 方法论意义：展示了如何将现代同伦理论工具应用到经典问题
  3. 启发性：可能激发对其他类型复形的类似研究

适用场景

  1. 计算低维CW复形的不稳定同伦群
  2. 研究Whitehead乘积的结构性质
  3. 分析悬吊空间的同伦性质

参考文献

论文引用了39篇重要文献，涵盖了：

  • 经典同伦理论（Toda、Whitehead等）
  • 现代谱序列理论（Moore-Smith、Cohen-Moore-Neisendorfer等）
  • Selick-Wu分解理论的相关工作
  • 稳定同伦群的最新进展（Wang-Xu、Isaksen等）

这些引用充分体现了作者对相关领域的深入了解和本工作在整个学科发展中的定位。