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 Phénomène de « Périodicité » de l'Application d'Attachement du Complexe Bicellulaire Suspendu

Informations Fondamentales

  • ID de l'article : 2509.21444
  • Titre : A "Periodicity" Phenomenon of the Attaching Map of the Suspended Two-Cell Complex
  • Auteurs : Juxin Yang, Fengchun Lei, Jingyan Li, Jie Wu
  • Classification : math.AT (Topologie Algébrique)
  • Date de publication : 11 octobre 2025 (arXiv v4)
  • Lien de l'article : https://arxiv.org/abs/2509.21444

Résumé

Cet article étudie le phénomène de « périodicité » de l'application d'attachement du complexe bicellulaire suspendu. Soit f∈πn+k(Sn)f \in \pi_{n+k}(S^n) (où n≥2n \geq 2, k≥0k \geq 0), et FF la fibre d'homotopie de l'application contractile Σ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}. En tant que type de construction relative de James de Gray, FF possède une décomposition 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, où α=[1Sn+1,Σf]\alpha = [1_{S^{n+1}}, \Sigma f] est le produit de Whitehead, et β\beta est un produit de Whitehead d'ordre supérieur. En utilisant la théorie Amin⁡A^{\min} de Selick-Wu et la suite spectrale d'Eilenberg-Moore, l'article démontre que dans le cas 2-local, l'application d'attachement β\beta se décompose en une composition de Σ2n+k+2f\Sigma^{2n+k+2}f avec une certaine application d'inclusion ; dans le cas pp-local (où p≥5p \geq 5 et n+kn+k est impair), β\beta admet une décomposition similaire.

Contexte et Motivation de la Recherche

Problèmes Fondamentaux

  1. Défi fondamental du calcul des groupes d'homotopie : Le calcul des groupes d'homotopie des espaces topologiques reste un problème central en topologie algébrique. Bien que des progrès significatifs aient été réalisés sur les groupes d'homotopie stables des sphères (comme les travaux de Wang-Xu poussant jusqu'à 90-stem), les groupes d'homotopie instables restent extrêmement mystérieux.
  2. Complexité des complexes multicellulaires : Lors du passage des sphères (complexes monocellulaires) aux complexes CW multicellulaires généraux, la situation devient considérablement plus complexe. Même avec une connaissance complète de tous les groupes d'homotopie des sphères, il est impossible de déterminer les groupes d'homotopie des complexes CW généraux.
  3. Difficulté des produits de Whitehead d'ordre supérieur : Dans la construction relative de James de Gray, l'application d'attachement β\beta est un produit de Whitehead d'ordre supérieur, des objets extrêmement complexes et difficiles à traiter.

Signification de la Recherche

  1. Valeur théorique : Révéler le phénomène de périodicité de l'application d'attachement, fournissant de nouveaux outils pour comprendre les groupes d'homotopie instables.
  2. Valeur computationnelle : Fournir des méthodes efficaces pour calculer les groupes d'homotopie des complexes bicellulaires suspendus.
  3. Perspicacité structurelle : Découvrir des phénomènes structurels profonds, analogues aux éléments de périodicité connus.

Contributions Principales

  1. Théorème Principal : Démonstration que, sous des conditions appropriées, l'application d'attachement β\beta possède la décomposition β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f, où j34j_{34} est une application d'inclusion spécifique.
  2. Innovations Techniques :
    • Application de la théorie Amin⁡A^{\min} de Selick-Wu à des problèmes géométriques concrets
    • Utilisation de la suite spectrale d'Eilenberg-Moore pour analyser l'homologie de la fibre d'homotopie loopifiée
  3. Applications Computationnelles : Détermination de la composante 2-primaire de π18(Σ3CP2)\pi_{18}(\Sigma^3 \mathbb{CP}^2).
  4. Généralisation Théorique : Extension des résultats de Cohen-Moore-Neisendorfer à des cas plus généraux.

Explication Détaillée des Méthodes

Définition de la Tâche

Entrée : Application f∈πn+k(Sn)f \in \pi_{n+k}(S^n) et le cône suspendu correspondant ΣCf\Sigma C_fSortie : Composante pp-primaire de π∗(ΣCf)\pi_*(\Sigma C_f) (dans une plage spécifique) Contraintes : p≠3p \neq 3 ; si p≥5p \geq 5, alors n+kn+k doit être impair

Cadre Technique Principal

1. Construction Relative de James de Gray

En utilisant la construction relative de James de Gray, la fibre d'homotopie FF peut être représentée comme : F=J(MSn+1,Sn+k+1)F = J(MS^{n+1}, S^{n+k+1}) avec décomposition 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. Théorie de Décomposition de Selick-Wu

Application du foncteur de décomposition de Selick-Wu : ΩΣX≃Amin⁡(X)×Bmax⁡(X)\Omega\Sigma X \simeq A^{\min}(X) \times B^{\max}(X) où Bmax⁡(X)=Ω⋁m≥2SQmmax⁡(X)B^{\max}(X) = \Omega\bigvee_{m \geq 2} SQ_m^{\max}(X).

3. Lemme Clé

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

Étapes Techniques Principales

Étape 1 : Analyse Homologique

Analyse de la structure homologique de la fibre d'homotopie loopifiée ΩF\Omega F via la suite spectrale d'Eilenberg-Moore : H∗(ΩF)∼=T({adm(y)(x)∣m≥0})H_*(\Omega F) \sim= T(\{ad^m(y)(x) \mid m \geq 0\})

Étape 2 : Décomposition en Squelettes

Étude des 2-squelette et 3-squelette de 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}

Étape 3 : Analyse de l'Application d'Attachement

Par naturalité et arguments de connectivité, établissement de diagrammes commutatifs, conduisant finalement à : β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f

Résultats Principaux

Théorème 1.1 (Théorème Principal)

Sous la localisation en un nombre premier p≠3p \neq 3 (si p≥5p \geq 5, en supposant de plus que n+kn+k est impair), l'application d'attachement suspendue Σ2n+k+2f\Sigma^{2n+k+2}f se décompose via j34j_{34} l'application d'attachement β\beta : β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f

Corollaire 1.1

Sous les mêmes conditions, pour tout entier positif r≤4n+2k+1r \leq 4n+2k+1, l'homomorphisme j34∗:πr(S3n+k+2)→πr(F(2))j_{34*}: \pi_r(S^{3n+k+2}) \to \pi_r(F^{(2)}) est injectif.

Théorème 1.2 (Théorème de Structure Homologique)

Soit Z=Sm∪er≄∗Z = S^m \cup e^r \not\simeq * (où 2≤m<r2 \leq m < r), et YY la fibre d'homotopie de l'application contractile Z→SrZ \to S^r. Sous des conditions appropriées : 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)

Application : Théorème 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

Points d'Innovation Technique

1. Réalisation Géométrique de la Décomposition Fonctorielle

Application de la théorie abstraite de décomposition fonctorielle de Selick-Wu à des problèmes géométriques concrets, établissant un pont entre l'algèbre et la géométrie.

2. Découverte du Phénomène de Périodicité

Découverte du phénomène de « périodicité » de l'application d'attachement Σf\Sigma f, fournissant une nouvelle perspicacité structurelle pour la compréhension des groupes d'homotopie de dimension supérieure.

3. Utilisation Synthétique des Techniques de Suite Spectrale

Combinaison astucieuse de la suite spectrale d'Eilenberg-Moore et de la suite spectrale de Serre, analysant systématiquement les structures homologiques complexes.

Travaux Connexes

Développement Historique

  1. Outils Classiques : Suite spectrale d'Adams, suite spectrale EHP, théorie d'homotopie motivique, calcul de Goodwillie
  2. Groupes d'Homotopie Stables : Isaksen-Wang-Xu poussant jusqu'à 90-stem ; Lin-Wang-Xu résolvant le problème de l'invariant de Kervaire
  3. Théorie Instable : Construction relative de James de Gray, théorie de décomposition de Selick-Wu

Positionnement de cet Article

Cet article, basé sur la construction relative de James de Gray et la théorie de Selick-Wu, fournit une description précise de l'application d'attachement pour le cas particulier mais important des complexes bicellulaires suspendus.

Applications et Vérification

Exemple de Calcul

Par le calcul de la composante 2-primaire de π18(Σ3CP2)\pi_{18}(\Sigma^3\mathbb{CP}^2), vérification de l'efficacité de la théorie. Le calcul implique :

  1. Opérations complexes de crochets de Toda
  2. Analyse de suites de fibres d'homotopie multicouches
  3. Calcul précis des homomorphismes de connexion

Avantages de la Méthode

Comparée aux méthodes traditionnelles, la méthode proposée dans cet article :

  1. Est plus systématique et générale
  2. Évite la complexité des produits de Whitehead d'ordre supérieur
  3. Est la plus efficace dans la plage requise

Conclusion et Discussion

Contributions Principales

  1. Percée Théorique : Révélation de la structure périodique de l'application d'attachement
  2. Outils Computationnels : Fourniture de nouvelles méthodes pour calculer les groupes d'homotopie instables
  3. Perspicacité Structurelle : Approfondissement de la compréhension des propriétés d'homotopie des complexes suspendus

Limitations

  1. Restriction sur les Nombres Premiers : La méthode ne s'applique pas au cas p=3p = 3
  2. Condition de Parité : Pour p≥5p \geq 5, il est requis que n+kn+k soit impair
  3. Restriction de Plage : Valide uniquement dans une plage de dimensions spécifique

Directions Futures

  1. Généralisation au cas p=3p = 3
  2. Étude des applications d'attachement de squelettes de dimension supérieure
  3. Application à des complexes CW plus généraux

Évaluation Approfondie

Points Forts

  1. Profondeur Théorique : Combinaison parfaite de la théorie fonctorielle abstraite avec des problèmes géométriques concrets
  2. Innovation Technique : Découverte du phénomène important de périodicité de l'application d'attachement
  3. Valeur Computationnelle : Fourniture d'outils computationnels pratiques et d'algorithmes explicites
  4. Clarté de Rédaction : Structure rigoureuse de l'article avec détails techniques complets

Points Faibles

  1. Étendue d'Application : Les restrictions sur les nombres premiers et la parité sont relativement fortes
  2. Généralité : Principalement axé sur les complexes bicellulaires, l'extension aux cas multicellulaires n'est pas claire
  3. Complexité Computationnelle : Bien que théoriquement réalisable, le calcul pratique reste complexe

Impact

  1. Valeur Académique : Fourniture d'une nouvelle direction de recherche pour la théorie d'homotopie instable
  2. Signification Méthodologique : Démonstration de comment appliquer les outils modernes de théorie d'homotopie aux problèmes classiques
  3. Caractère Inspirant : Peut inspirer des recherches similaires sur d'autres types de complexes

Scénarios d'Application

  1. Calcul des groupes d'homotopie instables de complexes CW de faible dimension
  2. Étude des propriétés structurelles des produits de Whitehead
  3. Analyse des propriétés d'homotopie des espaces suspendus

Références Bibliographiques

L'article cite 39 références importantes, couvrant :

  • Théorie d'homotopie classique (Toda, Whitehead, etc.)
  • Théorie moderne des suites spectrales (Moore-Smith, Cohen-Moore-Neisendorfer, etc.)
  • Travaux connexes de la théorie de décomposition de Selick-Wu
  • Progrès récents sur les groupes d'homotopie stables (Wang-Xu, Isaksen, etc.)

Ces citations reflètent pleinement la compréhension approfondie de l'auteur du domaine connexe et le positionnement de ce travail dans le développement global de la discipline.