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

Basic Information

• Paper ID: 2509.21444
• Title: A "Periodicity" Phenomenon of the Attaching Map of the Suspended Two-Cell Complex
• Authors: Juxin Yang, Fengchun Lei, Jingyan Li, Jie Wu
• Classification: math.AT (Algebraic Topology)
• Publication Date: October 11, 2025 (arXiv v4)
• Paper Link: https://arxiv.org/abs/2509.21444

Abstract

This paper investigates the "periodicity" phenomenon of the attaching map of the suspended two-cell complex. Let $f \in \pi_{n+k}(S^n)$ (where $n \geq 2$, $k \geq 0$), and let $F$ be the homotopy fiber of the contraction map $\Sigma C_f = S^{n+1} \cup e^{n+k+2} \to S^{n+k+2}$. As a variant of Gray's relative James construction, $F$ admits a CW decomposition $F = (S^{n+1} \cup_\alpha e^{2n+k+2}) \cup_\beta e^{3n+2k+3} \cup \cdots$, where $\alpha = [1_{S^{n+1}}, \Sigma f]$ is the Whitehead product and $\beta$ is a higher-order Whitehead product. Using Selick-Wu's $A^{\min}$ theory and the Eilenberg-Moore spectral sequence, the authors prove that in the 2-local case, the attaching map $\beta$ can be decomposed as a composition of $\Sigma^{2n+k+2}f$ with a certain inclusion map; in the $p$-local case ($p \geq 5$ and $n+k$ odd), $\beta$ admits a similar decomposition.

Research Background and Motivation

Core Problems

1. Fundamental Challenge in Homotopy Group Computation: Computing homotopy groups of topological spaces remains a central problem in algebraic topology. While significant progress has been made on stable homotopy groups of spheres (e.g., Wang-Xu's work advancing to the 90-stem), unstable homotopy groups remain extremely mysterious.
2. Complexity of Multi-Cell Complexes: When transitioning from spheres (1-cell complexes) to multi-cell CW complexes, the situation becomes significantly more complicated. Even with complete knowledge of all sphere homotopy groups, one cannot determine the homotopy groups of general CW complexes.
3. Difficulty of Higher-Order Whitehead Products: In Gray's relative James construction, the attaching map $\beta$ is a higher-order Whitehead product, objects of this type are extremely complex and difficult to handle.

Research Significance

1. Theoretical Value: Reveals the periodicity phenomenon of attaching maps, providing new tools for understanding unstable homotopy groups.
2. Computational Value: Provides effective methods for computing homotopy groups of suspended two-cell complexes.
3. Structural Insight: Discovers deep structural phenomena, analogous to known periodic elements.

Core Contributions

1. Main Theorem: Proves that under appropriate conditions, the attaching map $\beta$ admits a decomposition $\beta = j_{34} \circ \Sigma^{2n+k+2}f$, where $j_{34}$ is a specific inclusion map.
2. Technical Innovations:
   • Application of Selick-Wu's $A^{\min}$ theory to concrete geometric problems
   • Utilization of the Eilenberg-Moore spectral sequence to analyze the homology of looped homotopy fibers
3. Computational Applications: Determines the 2-primary component of $\pi_{18}(\Sigma^3 \mathbb{CP}^2)$.
4. Theoretical Generalization: Extends results of Cohen-Moore-Neisendorfer to more general cases.

Detailed Methodology

Task Definition

Input: Map $f \in \pi_{n+k}(S^n)$ and the corresponding suspended cone $\Sigma C_f$Output: The $p$-primary component of $\pi_*(\Sigma C_f)$ (within specific ranges) Constraints: $p \neq 3$; if $p \geq 5$, then $n+k$ must be odd

Core Technical Framework

1. Gray's Relative James Construction

Using Gray's relative James construction, the homotopy fiber $F$ can be expressed as: $F = J(MS^{n+1}, S^{n+k+1})$ with CW decomposition: $F = (S^{n+1} \cup_\alpha e^{2n+k+2}) \cup_\beta e^{3n+2k+3} \cup \cdots$

2. Selick-Wu Decomposition Theory

Application of Selick-Wu's functor decomposition: $\Omega\Sigma X \simeq A^{\min}(X) \times B^{\max}(X)$ where $B^{\max}(X) = \Omega\bigvee_{m \geq 2} SQ_m^{\max}(X)$.

3. Key Lemma

Lemma 2.3.6: Under the condition $p \neq 3$, $SQ^{\max}(C_f) \simeq \Sigma^{2n+k+2}C_f$

Main Technical Steps

Step 1: Homological Analysis

Analysis of the homological structure of the looped homotopy fiber $\Omega F$ via the Eilenberg-Moore spectral sequence: $H_*(\Omega F) \sim= T(\{ad^m(y)(x) \mid m \geq 0\})$

Step 2: Skeletal Decomposition

Study of the 2-skeleton and 3-skeleton of $F$:

• $F^{(2)} = S^{n+1} \cup_\alpha e^{2n+k+2}$
• $F^{(3)} = F^{(2)} \cup_\beta e^{3n+2k+3}$

Step 3: Attaching Map Analysis

Through naturality and connectivity arguments, establishment of commutative diagrams ultimately proving: $\beta = j_{34} \circ \Sigma^{2n+k+2}f$

Main Results

Theorem 1.1 (Main Theorem)

Under localization at a prime $p \neq 3$ (if $p \geq 5$, further assuming $n+k$ is odd), the suspended attaching map $\Sigma^{2n+k+2}f$ decomposes the attaching map $\beta$ through $j_{34}$: $\beta = j_{34} \circ \Sigma^{2n+k+2}f$

Corollary 1.1

Under the same conditions, for any positive integer $r \leq 4n+2k+1$, the homomorphism $j_{34*}: \pi_r(S^{3n+k+2}) \to \pi_r(F^{(2)})$ is injective.

Theorem 1.2 (Homological Structure Theorem)

Let $Z = S^m \cup e^r \not\simeq *$ ($2 \leq m < r$), and $Y$ be the homotopy fiber of the contraction map $Z \to S^r$. Under appropriate conditions: $H_*(\Omega Y) \sim= T(u, [u,v], [[u,v],v], [[[u,v],v],v], \cdots)$

Application: Theorem 1.3

$\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$

Technical Innovations

1. Geometric Realization of Functor Decomposition

Application of Selick-Wu's abstract functor decomposition theory to concrete geometric problems, establishing a bridge between algebra and geometry.

2. Discovery of Periodicity Phenomenon

Discovery of the "periodicity" phenomenon of the attaching map $\Sigma f$, providing new structural insights for understanding higher-dimensional homotopy groups.

3. Comprehensive Application of Spectral Sequence Techniques

Skillful combination of the Eilenberg-Moore spectral sequence and Serre spectral sequence to systematically analyze complex homological structures.

Related Work

Historical Development

1. Classical Tools: Adams spectral sequence, EHP spectral sequence, motivic homotopy theory, Goodwillie calculus
2. Stable Homotopy Groups: Isaksen-Wang-Xu advancing to the 90-stem; Lin-Wang-Xu resolving the Kervaire invariant problem
3. Unstable Theory: Gray's relative James construction, Selick-Wu decomposition theory

Positioning of This Work

Building on Gray's relative James construction and Selick-Wu theory, this paper provides a precise description of the attaching map for the special but important case of suspended two-cell complexes.

Applications and Verification

Computational Examples

Through computation of the 2-primary component of $\pi_{18}(\Sigma^3\mathbb{CP}^2)$, the validity of the theory is verified. The computation involves:

1. Complex Toda bracket operations
2. Analysis of multi-layered homotopy fiber sequences
3. Precise computation of connecting homomorphisms

Methodological Advantages

Compared to traditional methods, the approach provided in this paper:

1. Is more systematic and general
2. Avoids the complexity of higher-order Whitehead products
3. Is most effective within the required range

Conclusions and Discussion

Main Contributions

1. Theoretical Breakthrough: Reveals the periodic structure of attaching maps
2. Computational Tools: Provides new methods for computing unstable homotopy groups
3. Structural Insight: Deepens understanding of the homotopy properties of suspended complexes

Limitations

1. Prime Restrictions: The method does not apply to the case $p = 3$
2. Parity Conditions: For $p \geq 5$, requires $n+k$ to be odd
3. Range Restrictions: Only effective within specific dimensional ranges

Future Directions

1. Extension to the case $p = 3$
2. Investigation of attaching maps of higher-dimensional skeletons
3. Application to more general CW complexes

In-Depth Evaluation

Strengths

1. Theoretical Depth: Perfect combination of abstract functor theory with concrete geometric problems
2. Technical Innovation: Discovery of the periodicity phenomenon of attaching maps as an important finding
3. Computational Value: Provides practical computational tools and explicit algorithms
4. Clear Exposition: Rigorous paper structure with complete technical details

Weaknesses

1. Limited Applicability: Strong restrictions on primes and parity conditions
2. Generalization: Primarily focused on two-cell complexes; extension to multi-cell cases unclear
3. Computational Complexity: While theoretically feasible, practical computation remains complex

Impact

1. Academic Value: Provides new research directions for unstable homotopy theory
2. Methodological Significance: Demonstrates how to apply modern homotopy theory tools to classical problems
3. Inspirational Value: May inspire similar studies on other types of complexes

Applicable Scenarios

1. Computation of unstable homotopy groups of low-dimensional CW complexes
2. Investigation of structural properties of Whitehead products
3. Analysis of homotopy properties of suspended spaces

References

The paper cites 39 important references, covering:

• Classical homotopy theory (Toda, Whitehead, etc.)
• Modern spectral sequence theory (Moore-Smith, Cohen-Moore-Neisendorfer, etc.)
• Related work on Selick-Wu decomposition theory
• Recent advances in stable homotopy groups (Wang-Xu, Isaksen, etc.)

These citations fully demonstrate the authors' deep understanding of the relevant field and the positioning of this work within the broader development of the discipline.