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

Un Fenomeno di "Periodicità" della Mappa di Attaccamento del Complesso Sospeso a Due Celle

Informazioni Fondamentali

  • ID Articolo: 2509.21444
  • Titolo: A "Periodicity" Phenomenon of the Attaching Map of the Suspended Two-Cell Complex
  • Autori: Juxin Yang, Fengchun Lei, Jingyan Li, Jie Wu
  • Classificazione: math.AT (Topologia Algebrica)
  • Data di Pubblicazione: 11 ottobre 2025 (arXiv v4)
  • Link Articolo: https://arxiv.org/abs/2509.21444

Riassunto

Questo articolo studia il fenomeno di "periodicità" della mappa di attaccamento del complesso sospeso a due celle. Sia f∈πn+k(Sn)f \in \pi_{n+k}(S^n) (dove n≥2n \geq 2, k≥0k \geq 0), e sia FF la fibra omotopica della mappa di contrazione Σ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}. Come tipo di costruzione relativa di James secondo Gray, FF possiede una decomposizione 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, dove α=[1Sn+1,Σf]\alpha = [1_{S^{n+1}}, \Sigma f] è il prodotto di Whitehead e β\beta è un prodotto di Whitehead di ordine superiore. Utilizzando la teoria Amin⁡A^{\min} di Selick-Wu e la successione spettrale di Eilenberg-Moore, l'articolo dimostra che nel caso 2-locale, la mappa di attaccamento β\beta può essere decomposta come composizione di Σ2n+k+2f\Sigma^{2n+k+2}f con una certa mappa di inclusione; nel caso pp-locale (con p≥5p \geq 5 e n+kn+k dispari), β\beta ammette una decomposizione analoga.

Contesto di Ricerca e Motivazione

Problemi Fondamentali

  1. Sfida Fondamentale nel Calcolo dei Gruppi di Omotopia: Il calcolo dei gruppi di omotopia degli spazi topologici rimane un problema centrale della topologia algebrica. Sebbene i gruppi di omotopia stabile delle sfere abbiano registrato progressi significativi (come il lavoro di Wang-Xu che ha raggiunto il 90-stem), i gruppi di omotopia instabile rimangono estremamente misteriosi.
  2. Complessità dei Complessi Multicellulari: Quando si passa dalle sfere (complessi 1-cellulari) ai complessi CW multicellulari generali, la situazione diventa notevolmente più complessa. Anche possedendo la conoscenza completa di tutti i gruppi di omotopia delle sfere, non è possibile determinare i gruppi di omotopia di complessi CW generali.
  3. Difficoltà dei Prodotti di Whitehead di Ordine Superiore: Nella costruzione relativa di James secondo Gray, la mappa di attaccamento β\beta è un prodotto di Whitehead di ordine superiore, oggetti estremamente complessi e difficili da trattare.

Significato della Ricerca

  1. Valore Teorico: Rivela il fenomeno di periodicità della mappa di attaccamento, fornendo nuovi strumenti per comprendere i gruppi di omotopia instabile.
  2. Valore Computazionale: Fornisce metodi efficaci per il calcolo dei gruppi di omotopia dei complessi sospesi a due celle.
  3. Intuizione Strutturale: Scopre fenomeni strutturali profondi, analoghi agli elementi periodici già noti.

Contributi Principali

  1. Teorema Principale: Dimostra che sotto condizioni appropriate, la mappa di attaccamento β\beta ammette la decomposizione β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f, dove j34j_{34} è una specifica mappa di inclusione.
  2. Innovazioni Tecniche:
    • Applicazione della teoria Amin⁡A^{\min} di Selick-Wu a problemi geometrici concreti
    • Utilizzo della successione spettrale di Eilenberg-Moore per analizzare l'omologia della fibra omotopica circolarizzata
  3. Applicazioni Computazionali: Determina la componente 2-primaria di π18(Σ3CP2)\pi_{18}(\Sigma^3 \mathbb{CP}^2).
  4. Generalizzazione Teorica: Estende i risultati di Cohen-Moore-Neisendorfer a situazioni più generali.

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Input: Mappa f∈πn+k(Sn)f \in \pi_{n+k}(S^n) e il corrispondente cono sospeso ΣCf\Sigma C_fOutput: Componente pp-primaria di π∗(ΣCf)\pi_*(\Sigma C_f) (in un intervallo specifico) Vincoli: p≠3p \neq 3; se p≥5p \geq 5, allora n+kn+k deve essere dispari

Quadro Tecnico Principale

1. Costruzione Relativa di James secondo Gray

Utilizzando la costruzione relativa di James secondo Gray, la fibra omotopica FF può essere rappresentata come: F=J(MSn+1,Sn+k+1)F = J(MS^{n+1}, S^{n+k+1}) con decomposizione 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. Teoria della Decomposizione di Selick-Wu

Applicazione del funtore di decomposizione di Selick-Wu: ΩΣX≃Amin⁡(X)×Bmax⁡(X)\Omega\Sigma X \simeq A^{\min}(X) \times B^{\max}(X) dove Bmax⁡(X)=Ω⋁m≥2SQmmax⁡(X)B^{\max}(X) = \Omega\bigvee_{m \geq 2} SQ_m^{\max}(X).

3. Lemma Chiave

Lemma 2.3.6: Sotto la condizione p≠3p \neq 3, SQmax⁡(Cf)≃Σ2n+k+2CfSQ^{\max}(C_f) \simeq \Sigma^{2n+k+2}C_f

Principali Passi Tecnici

Passo 1: Analisi Omologica

Analisi della struttura omologica della fibra omotopica circolarizzata ΩF\Omega F mediante la successione spettrale di Eilenberg-Moore: H∗(ΩF)∼=T({adm(y)(x)∣m≥0})H_*(\Omega F) \sim= T(\{ad^m(y)(x) \mid m \geq 0\})

Passo 2: Decomposizione dello Scheletro

Studio dello scheletro 2 e dello scheletro 3 di FF:

  • 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}

Passo 3: Analisi della Mappa di Attaccamento

Mediante argomentazioni di naturalità e connessione, si stabiliscono diagrammi commutativi che infine provano: β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f

Risultati Principali

Teorema 1.1 (Teorema Principale)

Sotto la localizzazione in un primo p≠3p \neq 3 (se p≥5p \geq 5, si assume inoltre che n+kn+k sia dispari), la mappa di attaccamento sospesa Σ2n+k+2f\Sigma^{2n+k+2}f decompone la mappa di attaccamento β\beta attraverso j34j_{34}: β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f

Corollario 1.1

Sotto le medesime condizioni, per ogni intero positivo r≤4n+2k+1r \leq 4n+2k+1, l'omomorfismo j34∗:πr(S3n+k+2)→πr(F(2))j_{34*}: \pi_r(S^{3n+k+2}) \to \pi_r(F^{(2)}) è iniettivo.

Teorema 1.2 (Teorema della Struttura Omologica)

Sia Z=Sm∪er≄∗Z = S^m \cup e^r \not\simeq * (con 2≤m<r2 \leq m < r), e sia YY la fibra omotopica della mappa di contrazione Z→SrZ \to S^r. Sotto condizioni appropriate: 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)

Applicazione: Teorema 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

Punti di Innovazione Tecnica

1. Realizzazione Geometrica della Decomposizione Funtoriale

Applicazione della teoria astratta di decomposizione funtoriale di Selick-Wu a problemi geometrici concreti, stabilendo un ponte tra l'algebra e la geometria.

2. Scoperta del Fenomeno di Periodicità

Scoperta del fenomeno di "periodicità" della mappa di attaccamento Σf\Sigma f, che fornisce nuove intuizioni strutturali per la comprensione dei gruppi di omotopia di dimensione superiore.

3. Utilizzo Sinergico di Tecniche di Successioni Spettrali

Combinazione abile della successione spettrale di Eilenberg-Moore e della successione spettrale di Serre per analizzare sistematicamente strutture omologiche complesse.

Lavori Correlati

Sviluppo Storico

  1. Strumenti Classici: Successione spettrale di Adams, successione spettrale EHP, teoria dell'omotopia motivica, calcolo di Goodwillie
  2. Gruppi di Omotopia Stabile: Isaksen-Wang-Xu hanno raggiunto il 90-stem; Lin-Wang-Xu hanno risolto il problema dell'invariante di Kervaire
  3. Teoria Instabile: Costruzione relativa di James secondo Gray, teoria di decomposizione di Selick-Wu

Posizionamento dell'Articolo

Questo articolo, sulla base della costruzione relativa di James secondo Gray e della teoria di Selick-Wu, fornisce una descrizione precisa della mappa di attaccamento per il caso particolare ma importante dei complessi sospesi a due celle.

Applicazioni e Verifiche

Esempi Computazionali

Attraverso il calcolo della componente 2-primaria di π18(Σ3CP2)\pi_{18}(\Sigma^3\mathbb{CP}^2), si verifica l'efficacia della teoria. Il calcolo coinvolge:

  1. Operazioni complesse di parentesi di Toda
  2. Analisi di sequenze di fibre omotopiche multistrato
  3. Calcolo preciso degli omomorfismi di connessione

Vantaggi del Metodo

Rispetto ai metodi tradizionali, il metodo fornito da questo articolo:

  1. È più sistematico e universale
  2. Evita la complessità dei prodotti di Whitehead di ordine superiore
  3. È il più efficace nell'intervallo desiderato

Conclusioni e Discussione

Contributi Principali

  1. Avanzamento Teorico: Rivela la struttura periodica della mappa di attaccamento
  2. Strumenti Computazionali: Fornisce nuovi metodi per il calcolo dei gruppi di omotopia instabile
  3. Intuizione Strutturale: Approfondisce la comprensione delle proprietà omotopiche dei complessi sospesi

Limitazioni

  1. Restrizioni sui Primi: Il metodo non è applicabile al caso p=3p = 3
  2. Condizioni di Parità: Per p≥5p \geq 5 è richiesto che n+kn+k sia dispari
  3. Restrizioni di Intervallo: È efficace solo in un intervallo dimensionale specifico

Direzioni Future

  1. Estensione al caso p=3p = 3
  2. Studio delle mappe di attaccamento di scheletri di dimensione superiore
  3. Applicazione a complessi CW più generali

Valutazione Approfondita

Punti di Forza

  1. Profondità Teorica: Perfetta combinazione della teoria funtoriale astratta con problemi geometrici concreti
  2. Innovazione Tecnica: Scoperta del fenomeno di periodicità della mappa di attaccamento, un risultato importante
  3. Valore Computazionale: Fornisce strumenti computazionali pratici e algoritmi espliciti
  4. Chiarezza Espositiva: La struttura dell'articolo è rigorosa e i dettagli tecnici sono completi

Insufficienze

  1. Ambito di Applicabilità: Le restrizioni su primi e parità sono piuttosto forti
  2. Generalizzabilità: Principalmente focalizzato su complessi a due celle, l'estensione a complessi multicellulari non è chiara
  3. Complessità Computazionale: Sebbene teoricamente fattibile, il calcolo effettivo rimane complesso

Impatto

  1. Valore Accademico: Fornisce una nuova direzione di ricerca per la teoria dell'omotopia instabile
  2. Significato Metodologico: Dimostra come applicare gli strumenti moderni della teoria dell'omotopia a problemi classici
  3. Valore Ispirativo: Potrebbe stimolare ricerche analoghe su altri tipi di complessi

Scenari di Applicabilità

  1. Calcolo dei gruppi di omotopia instabile di complessi CW a bassa dimensione
  2. Studio delle proprietà strutturali dei prodotti di Whitehead
  3. Analisi delle proprietà omotopiche degli spazi sospesi

Bibliografia

L'articolo cita 39 importanti riferimenti bibliografici, che comprendono:

  • Teoria classica dell'omotopia (Toda, Whitehead, ecc.)
  • Teoria moderna delle successioni spettrali (Moore-Smith, Cohen-Moore-Neisendorfer, ecc.)
  • Lavori correlati alla teoria di decomposizione di Selick-Wu
  • Progressi recenti nei gruppi di omotopia stabile (Wang-Xu, Isaksen, ecc.)

Questi riferimenti riflettono pienamente la profonda comprensione dell'autore dei campi correlati e il posizionamento di questo lavoro nello sviluppo complessivo della disciplina.