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$ 가 홀수)에도 $\beta$ 는 유사한 분해를 가진다.

연구 배경 및 동기

핵심 문제

호모토피군 계산의 기본 과제: 위상공간의 호모토피군 계산은 항상 대수 위상수학의 중심 문제였다. 구면의 안정 호모토피군에서 큰 진전이 있었지만 (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$