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

懸吊二胞複体の付着写像の「周期性」現象

基本情報

論文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 \in \pi_{n+k}(S^n)$ （ただし $n \geq 2$ ， $k \geq 0$ ）とし、 $F$ を収縮写像 $\Sigma C_f = S^{n+1} \cup e^{n+k+2} \to S^{n+k+2}$ のホモトピー繊維とする。Gray相対James構成の一種として、 $F$ はCW分解 $F = (S^{n+1} \cup_\alpha e^{2n+k+2}) \cup_\beta e^{3n+2k+3} \cup \cdots$ を持つ。ここで $\alpha = [1_{S^{n+1}}, \Sigma f]$ はWhitehead括弧であり、 $\beta$ は高階Whitehead括弧である。本論文はSelick-Wu の $A^{\min}$ 理論とEilenberg-Moore スペクトル列を用いて、2-局所化の場合に付着写像 $\beta$ が $\Sigma^{2n+k+2}f$ とある包含写像の合成に分解されることを証明する。また $p$ -局所化の場合（ $p \geq 5$ かつ $n+k$ が奇数）にも同様の分解が成立することを示す。

研究背景と動機

核心的問題

ホモトピー群計算の基本的課題：位相空間のホモトピー群の計算は代数的位相幾何学の中心的問題である。球面の安定ホモトピー群は大きな進展を遂げているが（Wang-Xuらの研究が90-stemまで進展）、不安定ホモトピー群は依然として極めて謎に満ちている。
多胞複体の複雑性：球面（1-胞複体）から多胞CW複体への移行により、状況はより複雑になる。球面のすべてのホモトピー群に関する完全な知識があっても、一般的なCW複体のホモトピー群を決定することはできない。
高階Whitehead括弧の困難性：Grayの相対James構成において、付着写像 $\beta$ は高階Whitehead括弧であり、このような対象は極めて複雑で扱いが難しい。

研究の意義

理論的価値：付着写像の周期性現象を明らかにし、不安定ホモトピー群の理解に新たな道具を提供する。
計算的価値：懸吊二胞複体のホモトピー群を計算するための有効な方法を提供する。
構造的洞察：既知の周期性元素に類似した深層の構造現象を発見する。

核心的貢献

主定理：適切な条件下で、付着写像 $\beta$ が分解 $\beta = j_{34} \circ \Sigma^{2n+k+2}f$ を持つことを証明した。ここで $j_{34}$ は特定の包含写像である。
技術的革新：
- Selick-Wu の $A^{\min}$ 理論を具体的な幾何学的問題に応用
- Eilenberg-Moore スペクトル列を用いて環化ホモトピー繊維のコホモロジーを分析
計算的応用： $\pi_{18}(\Sigma^3 \mathbb{CP}^2)$ の2-主成分を決定した。
理論的推広：Cohen-Moore-Neisendorferの結果をより一般的な場合に推広した。

方法の詳細

タスク定義

入力：写像 $f \in \pi_{n+k}(S^n)$ と対応する懸吊錐 $\Sigma C_f$ 出力：ホモトピー群 $\pi_*(\Sigma C_f)$ の $p$ -主成分（特定の範囲内）制約： $p \neq 3$ ； $p \geq 5$ の場合、 $n+k$ が奇数であることを要求

核心的技術フレームワーク

1. Gray相対James構成

Gray の相対James構成を利用して、ホモトピー繊維 $F$ は以下のように表現できる： $F = J(MS^{n+1}, S^{n+k+1})$ CW分解を持つ： $F = (S^{n+1} \cup_\alpha e^{2n+k+2}) \cup_\beta e^{3n+2k+3} \cup \cdots$

2. Selick-Wu分解理論

Selick-Wu の関手分解を適用する： $\Omega\Sigma X \simeq A^{\min}(X) \times B^{\max}(X)$ ここで $B^{\max}(X) = \Omega\bigvee_{m \geq 2} SQ_m^{\max}(X)$ である。

3. 重要補題

補題 2.3.6： $p \neq 3$ の条件下で、 $SQ^{\max}(C_f) \simeq \Sigma^{2n+k+2}C_f$

主要な技術的ステップ

ステップ1：コホモロジー分析

Eilenberg-Moore スペクトル列を用いて環化ホモトピー繊維 $\Omega F$ のコホモロジー構造を分析する： $H_*(\Omega F) \sim= T(\{ad^m(y)(x) \mid m \geq 0\})$

ステップ2：骨格分解

$F$ の2-骨格と3-骨格を研究する：

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

ステップ3：付着写像の分析

自然性と連結性の議論を通じて交換図式を確立し、最終的に以下を証明する： $\beta = j_{34} \circ \Sigma^{2n+k+2}f$

主要な結果

定理1.1（主定理）

素数 $p \neq 3$ の局所化下で（ $p \geq 5$ の場合、さらに $n+k$ が奇数と仮定）、懸吊付着写像 $\Sigma^{2n+k+2}f$ は $j_{34}$ を通じて付着写像 $\beta$ を分解する： $\beta = j_{34} \circ \Sigma^{2n+k+2}f$

系1.1

同じ条件下で、任意の正整数 $r \leq 4n+2k+1$ に対して、準同型 $j_{34*}: \pi_r(S^{3n+k+2}) \to \pi_r(F^{(2)})$ は単射である。

定理1.2（コホモロジー構造定理）

$Z = S^m \cup e^r \not\simeq *$ （ $2 \leq m < r$ ）とし、 $Y$ を収縮写像 $Z \to S^r$ のホモトピー繊維とする。適切な条件下で： $H_*(\Omega Y) \sim= T(u, [u,v], [[u,v],v], [[[u,v],v],v], \cdots)$

応用：定理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$