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

Ein "Periodizitäts"-Phänomen der Anheftungsabbildung des suspendierten Zwei-Zellen-Komplexes

Grundinformationen

  • Paper-ID: 2509.21444
  • Titel: A "Periodicity" Phenomenon of the Attaching Map of the Suspended Two-Cell Complex
  • Autoren: Juxin Yang, Fengchun Lei, Jingyan Li, Jie Wu
  • Klassifikation: math.AT (Algebraische Topologie)
  • Veröffentlichungsdatum: 11. Oktober 2025 (arXiv v4)
  • Paper-Link: https://arxiv.org/abs/2509.21444

Zusammenfassung

Diese Arbeit untersucht das "Periodizitäts"-Phänomen der Anheftungsabbildung des suspendierten Zwei-Zellen-Komplexes. Sei f∈πn+k(Sn)f \in \pi_{n+k}(S^n) (wobei n≥2n \geq 2, k≥0k \geq 0), und FF sei die Homotopiefaser der Kontraktionsabbildung Σ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}. Als eine Art Grays relative James-Konstruktion besitzt FF eine CW-Zerlegung 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, wobei α=[1Sn+1,Σf]\alpha = [1_{S^{n+1}}, \Sigma f] das Whitehead-Produkt ist und β\beta ein höheres Whitehead-Produkt darstellt. Mit Hilfe der Amin⁡A^{\min}-Theorie von Selick-Wu und der Eilenberg-Moore-Spektralsequenz wird bewiesen, dass unter 2-lokalen Bedingungen die Anheftungsabbildung β\beta als Komposition von Σ2n+k+2f\Sigma^{2n+k+2}f mit einer bestimmten Inklusionsabbildung zerlegt werden kann; unter pp-lokalen Bedingungen (p≥5p \geq 5 und n+kn+k ungerade) besitzt β\beta eine ähnliche Zerlegung.

Forschungshintergrund und Motivation

Kernprobleme

  1. Grundlegende Herausforderungen bei der Berechnung von Homotopiegruppen: Die Berechnung von Homotopiegruppen topologischer Räume ist ein Kernproblem der algebraischen Topologie. Obwohl bedeutende Fortschritte bei stabilen Homotopiegruppen von Sphären erzielt wurden (wie die Arbeiten von Wang-Xu bis zum 90-Stem), bleiben instabile Homotopiegruppen äußerst rätselhaft.
  2. Komplexität von Mehrzellenkompl­exen: Beim Übergang von Sphären (1-Zellen-Komplexe) zu allgemeinen Mehrzellenkompl­exen wird die Situation erheblich komplizierter. Selbst mit vollständiger Kenntnis aller Sphären-Homotopiegruppen können die Homotopiegruppen allgemeiner CW-Komplexe nicht bestimmt werden.
  3. Schwierigkeit höherer Whitehead-Produkte: In Grays relativer James-Konstruktion ist die Anheftungsabbildung β\beta ein höheres Whitehead-Produkt, eine äußerst komplexe und schwer zu handhabende Objektklasse.

Forschungsbedeutung

  1. Theoretischer Wert: Offenbarung des Periodizitätsphänomens der Anheftungsabbildung und Bereitstellung neuer Werkzeuge zum Verständnis instabiler Homotopiegruppen.
  2. Rechnerischer Wert: Bereitstellung effektiver Methoden zur Berechnung von Homotopiegruppen suspendierten Zwei-Zellen-Komplexen.
  3. Strukturelle Einsicht: Entdeckung tieferer Strukturphänomene, ähnlich bekannten Periodizitätselementen.

Kernbeiträge

  1. Hauptsatz: Beweis, dass unter geeigneten Bedingungen die Anheftungsabbildung β\beta die Zerlegung β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f besitzt, wobei j34j_{34} eine spezifische Inklusionsabbildung ist.
  2. Technische Innovationen:
    • Anwendung der Amin⁡A^{\min}-Theorie von Selick-Wu auf konkrete geometrische Probleme
    • Verwendung der Eilenberg-Moore-Spektralsequenz zur Analyse der Homologie von Schleifenräumen von Homotopiefasern
  3. Rechnerische Anwendungen: Bestimmung der 2-primären Komponente von π18(Σ3CP2)\pi_{18}(\Sigma^3 \mathbb{CP}^2).
  4. Theoretische Verallgemeinerung: Verallgemeinerung der Ergebnisse von Cohen-Moore-Neisendorfer auf allgemeinere Fälle.

Methodische Details

Aufgabendefinition

Eingabe: Abbildung f∈πn+k(Sn)f \in \pi_{n+k}(S^n) und der entsprechende suspendierte Kegel ΣCf\Sigma C_fAusgabe: pp-primäre Komponenten von π∗(ΣCf)\pi_*(\Sigma C_f) (in bestimmten Bereichen) Einschränkungen: p≠3p \neq 3; falls p≥5p \geq 5, dann ist n+kn+k ungerade erforderlich

Zentrales technisches Rahmenwerk

1. Grays relative James-Konstruktion

Mit Grays relativer James-Konstruktion kann die Homotopiefaser FF dargestellt werden als: F=J(MSn+1,Sn+k+1)F = J(MS^{n+1}, S^{n+k+1}) mit CW-Zerlegung: 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-Zerlegungstheorie

Anwendung der Funktorzersetzung von Selick-Wu: ΩΣX≃Amin⁡(X)×Bmax⁡(X)\Omega\Sigma X \simeq A^{\min}(X) \times B^{\max}(X) wobei Bmax⁡(X)=Ω⋁m≥2SQmmax⁡(X)B^{\max}(X) = \Omega\bigvee_{m \geq 2} SQ_m^{\max}(X).

3. Schlüssellemma

Lemma 2.3.6: Unter der Bedingung p≠3p \neq 3 gilt: SQmax⁡(Cf)≃Σ2n+k+2CfSQ^{\max}(C_f) \simeq \Sigma^{2n+k+2}C_f

Haupttechnische Schritte

Schritt 1: Homologische Analyse

Analyse der Homologiestruktur des Schleifenraums der Homotopiefaser ΩF\Omega F mittels Eilenberg-Moore-Spektralsequenz: H∗(ΩF)∼=T({adm(y)(x)∣m≥0})H_*(\Omega F) \sim= T(\{ad^m(y)(x) \mid m \geq 0\})

Schritt 2: Skelettzerlegung

Untersuchung des 2-Skeletts und 3-Skeletts von 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}

Schritt 3: Analyse der Anheftungsabbildung

Durch Natürlichkeits- und Zusammenhangargumente wird ein kommutatives Diagramm etabliert, das letztendlich beweist: β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f

Hauptergebnisse

Satz 1.1 (Hauptsatz)

Unter Lokalisierung an einer Primzahl p≠3p \neq 3 (falls p≥5p \geq 5, zusätzlich unter der Annahme, dass n+kn+k ungerade ist), wird die suspendierte Anheftungsabbildung Σ2n+k+2f\Sigma^{2n+k+2}f durch j34j_{34} zerlegt: β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f

Korollar 1.1

Unter denselben Bedingungen ist für jede positive ganze Zahl r≤4n+2k+1r \leq 4n+2k+1 der Homomorphismus j34∗:πr(S3n+k+2)→πr(F(2))j_{34*}: \pi_r(S^{3n+k+2}) \to \pi_r(F^{(2)}) injektiv.

Satz 1.2 (Homologiestruktur-Satz)

Sei Z=Sm∪er≄∗Z = S^m \cup e^r \not\simeq * (2≤m<r2 \leq m < r), und YY sei die Homotopiefaser der Kontraktionsabbildung Z→SrZ \to S^r. Unter geeigneten Bedingungen gilt: 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)

Anwendung: Satz 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

Technische Innovationspunkte

1. Geometrische Realisierung der Funktorzersetzung

Anwendung der abstrakten Funktorzersetzungstheorie von Selick-Wu auf konkrete geometrische Probleme und Etablierung einer Brücke zwischen Algebra und Geometrie.

2. Entdeckung des Periodizitätsphänomens

Entdeckung des "Periodizitäts"-Phänomens der Anheftungsabbildung Σf\Sigma f, das neue strukturelle Einsichten für das Verständnis höherdimensionaler Homotopiegruppen bietet.

3. Umfassende Anwendung von Spektralsequenztechniken

Geschickte Kombination der Eilenberg-Moore-Spektralsequenz und der Serre-Spektralsequenz zur systematischen Analyse komplexer Homologiestrukturen.

Verwandte Arbeiten

Historische Entwicklung

  1. Klassische Werkzeuge: Adams-Spektralsequenz, EHP-Spektralsequenz, motivische Homotopietheorie, Goodwillie-Kalkül
  2. Stabile Homotopiegruppen: Isaksen-Wang-Xu bis zum 90-Stem; Lin-Wang-Xu lösen das Kervaire-Invarianten-Problem
  3. Instabile Theorie: Grays relative James-Konstruktion, Selick-Wu-Zerlegungstheorie

Positionierung dieser Arbeit

Diese Arbeit basiert auf Grays relativer James-Konstruktion und der Selick-Wu-Theorie und gibt für den speziellen, aber wichtigen Fall suspendierten Zwei-Zellen-Komplexen eine präzise Beschreibung der Anheftungsabbildung.

Anwendungen und Verifikation

Rechnerische Beispiele

Durch die Berechnung der 2-primären Komponente von π18(Σ3CP2)\pi_{18}(\Sigma^3\mathbb{CP}^2) wird die Wirksamkeit der Theorie verifiziert. Die Berechnung umfasst:

  1. Komplexe Toda-Klammer-Operationen
  2. Analyse mehrschichtiger Homotopiefaser-Sequenzen
  3. Präzise Berechnung von Verbindungshomomorphismen

Methodische Vorteile

Im Vergleich zu traditionellen Methoden bietet die in dieser Arbeit bereitgestellte Methode:

  1. Größere Systematik und Allgemeinheit
  2. Vermeidung der Komplexität höherer Whitehead-Produkte
  3. Maximale Wirksamkeit im erforderlichen Bereich

Schlussfolgerungen und Diskussion

Hauptbeiträge

  1. Theoretischer Durchbruch: Offenbarung der Periodizitätsstruktur der Anheftungsabbildung
  2. Rechenwerkzeuge: Bereitstellung neuer Methoden zur Berechnung instabiler Homotopiegruppen
  3. Strukturelle Einsicht: Vertiefung des Verständnisses der Homotopie-Eigenschaften suspendierten Komplexen

Einschränkungen

  1. Primzahlbeschränkung: Methode nicht anwendbar auf den Fall p=3p = 3
  2. Paritätsbedingung: Für p≥5p \geq 5 ist n+kn+k ungerade erforderlich
  3. Bereichsbeschränkung: Nur in bestimmten Dimensionsbereichen wirksam

Zukünftige Richtungen

  1. Verallgemeinerung auf den Fall p=3p = 3
  2. Untersuchung von Anheftungsabbildungen höherer Skelette
  3. Anwendung auf allgemeinere CW-Komplexe

Tiefgreifende Bewertung

Stärken

  1. Theoretische Tiefe: Perfekte Kombination abstrakter Funktortheorie mit konkreten geometrischen Problemen
  2. Technische Innovation: Entdeckung des Periodizitätsphänomens der Anheftungsabbildung als wichtiges Phänomen
  3. Rechnerischer Wert: Bereitstellung praktischer Rechenwerkzeuge und expliziter Algorithmen
  4. Klare Darstellung: Strenge Papierstruktur mit vollständigen technischen Details

Schwächen

  1. Anwendungsbereich: Starke Einschränkungen bezüglich Primzahlen und Parität
  2. Verallgemeinerbarkeit: Hauptsächlich auf Zwei-Zellen-Komplexe ausgerichtet; Verallgemeinerung auf Mehrzellenkompl­exe unklar
  3. Rechenkomplexität: Obwohl theoretisch machbar, bleibt die praktische Berechnung komplex

Einflussfähigkeit

  1. Akademischer Wert: Bereitstellung neuer Forschungsrichtungen für die instabile Homotopietheorie
  2. Methodologische Bedeutung: Demonstration der Anwendung moderner Homotopietheorie-Werkzeuge auf klassische Probleme
  3. Inspirationskraft: Kann ähnliche Untersuchungen für andere Komplextypen anregen

Anwendungsszenarien

  1. Berechnung instabiler Homotopiegruppen niedrigdimensionaler CW-Komplexe
  2. Untersuchung der Struktureigenschaften von Whitehead-Produkten
  3. Analyse der Homotopie-Eigenschaften suspendierten Räume

Literaturverzeichnis

Das Papier zitiert 39 wichtige Literaturquellen, die folgende Bereiche abdecken:

  • Klassische Homotopietheorie (Toda, Whitehead usw.)
  • Moderne Spektralsequenztheorie (Moore-Smith, Cohen-Moore-Neisendorfer usw.)
  • Verwandte Arbeiten zur Selick-Wu-Zerlegungstheorie
  • Neueste Fortschritte bei stabilen Homotopiegruppen (Wang-Xu, Isaksen usw.)

Diese Zitate zeigen umfassend die tiefe Vertrautheit des Autors mit dem relevanten Forschungsgebiet und die Positionierung dieser Arbeit in der Gesamtentwicklung der Disziplin.