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 Fenómeno de "Periodicidad" del Mapa de Adjunción del Complejo Suspendido de Dos Celdas

Información Básica

  • ID del Artículo: 2509.21444
  • Título: A "Periodicity" Phenomenon of the Attaching Map of the Suspended Two-Cell Complex
  • Autores: Juxin Yang, Fengchun Lei, Jingyan Li, Jie Wu
  • Clasificación: math.AT (Topología Algebraica)
  • Fecha de Publicación: 11 de octubre de 2025 (arXiv v4)
  • Enlace del Artículo: https://arxiv.org/abs/2509.21444

Resumen

Este artículo estudia el fenómeno de "periodicidad" del mapa de adjunción del complejo suspendido de dos celdas. Sea f∈πn+k(Sn)f \in \pi_{n+k}(S^n) (donde n≥2n \geq 2, k≥0k \geq 0), y sea FF la fibra de homotopía del mapa de contracción Σ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}. Como un tipo de construcción relativa de James de Gray, FF posee una descomposición 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, donde α=[1Sn+1,Σf]\alpha = [1_{S^{n+1}}, \Sigma f] es el producto de Whitehead, y β\beta es un producto de Whitehead de orden superior. Utilizando la teoría Amin⁡A^{\min} de Selick-Wu y la sucesión espectral de Eilenberg-Moore, este artículo demuestra que en el caso 2-local, el mapa de adjunción β\beta puede descomponerse como la composición de Σ2n+k+2f\Sigma^{2n+k+2}f con cierto mapa de inclusión; en el caso pp-local (donde p≥5p \geq 5 y n+kn+k es impar), β\beta tiene una descomposición similar.

Contexto de Investigación y Motivación

Problemas Centrales

  1. Desafío Fundamental en el Cálculo de Grupos de Homotopía: El cálculo de grupos de homotopía de espacios topológicos ha sido siempre un problema central en topología algebraica. Aunque se han logrado avances significativos en los grupos de homotopía estables de esferas (como el trabajo de Wang-Xu que avanzó hasta el 90-stem), los grupos de homotopía inestables siguen siendo extremadamente misteriosos.
  2. Complejidad de Complejos Multicelulares: Al pasar de esferas (complejos de 1-celda) a complejos CW multicelulares generales, la situación se vuelve considerablemente más compleja. Incluso con el conocimiento completo de todos los grupos de homotopía de esferas, es imposible determinar los grupos de homotopía de complejos CW generales.
  3. Dificultad de Productos de Whitehead de Orden Superior: En la construcción relativa de James de Gray, el mapa de adjunción β\beta es un producto de Whitehead de orden superior, objetos que son extremadamente complejos y difíciles de manejar.

Significado de la Investigación

  1. Valor Teórico: Revelar el fenómeno de periodicidad del mapa de adjunción, proporcionando nuevas herramientas para comprender grupos de homotopía inestables.
  2. Valor Computacional: Proporcionar métodos efectivos para calcular grupos de homotopía de complejos suspendidos de dos celdas.
  3. Perspectiva Estructural: Descubrir fenómenos estructurales profundos, similares a elementos periódicos conocidos.

Contribuciones Principales

  1. Teorema Principal: Se demuestra que bajo condiciones apropiadas, el mapa de adjunción β\beta posee la descomposición β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f, donde j34j_{34} es un mapa de inclusión específico.
  2. Innovaciones Técnicas:
    • Aplicación de la teoría Amin⁡A^{\min} de Selick-Wu a problemas geométricos concretos
    • Utilización de la sucesión espectral de Eilenberg-Moore para analizar la homología de fibras de homotopía ciclificadas
  3. Aplicaciones Computacionales: Determinación de la componente 2-primaria de π18(Σ3CP2)\pi_{18}(\Sigma^3 \mathbb{CP}^2).
  4. Generalización Teórica: Extensión de resultados de Cohen-Moore-Neisendorfer a casos más generales.

Explicación Detallada de Métodos

Definición de la Tarea

Entrada: Mapa f∈πn+k(Sn)f \in \pi_{n+k}(S^n) y el cono suspendido correspondiente ΣCf\Sigma C_fSalida: Componente pp-primaria del grupo de homotopía π∗(ΣCf)\pi_*(\Sigma C_f) (en rango específico) Restricciones: p≠3p \neq 3; si p≥5p \geq 5, se requiere que n+kn+k sea impar

Marco Técnico Central

1. Construcción Relativa de James de Gray

Utilizando la construcción relativa de James de Gray, la fibra de homotopía FF puede expresarse como: F=J(MSn+1,Sn+k+1)F = J(MS^{n+1}, S^{n+k+1}) con descomposición 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. Teoría de Descomposición de Selick-Wu

Aplicación del funtor de descomposición de Selick-Wu: ΩΣX≃Amin⁡(X)×Bmax⁡(X)\Omega\Sigma X \simeq A^{\min}(X) \times B^{\max}(X) donde Bmax⁡(X)=Ω⋁m≥2SQmmax⁡(X)B^{\max}(X) = \Omega\bigvee_{m \geq 2} SQ_m^{\max}(X).

3. Lema Clave

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

Pasos Técnicos Principales

Paso 1: Análisis de Homología

Análisis de la estructura de homología de la fibra de homotopía ciclificada ΩF\Omega F mediante la sucesión espectral de Eilenberg-Moore: H∗(ΩF)∼=T({adm(y)(x)∣m≥0})H_*(\Omega F) \sim= T(\{ad^m(y)(x) \mid m \geq 0\})

Paso 2: Descomposición de Esqueletos

Estudio del 2-esqueleto y 3-esqueleto 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}

Paso 3: Análisis del Mapa de Adjunción

Mediante argumentos de naturalidad y conectividad, se establece un diagrama conmutativo que finalmente demuestra: β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f

Resultados Principales

Teorema 1.1 (Teorema Principal)

Bajo la localización en un primo p≠3p \neq 3 (si p≥5p \geq 5, asumiendo además que n+kn+k es impar), el mapa de adjunción suspendido Σ2n+k+2f\Sigma^{2n+k+2}f se descompone a través de j34j_{34} en el mapa de adjunción β\beta: β=j34∘Σ2n+k+2f\beta = j_{34} \circ \Sigma^{2n+k+2}f

Corolario 1.1

Bajo las mismas condiciones, para cualquier entero positivo r≤4n+2k+1r \leq 4n+2k+1, el homomorfismo j34∗:πr(S3n+k+2)→πr(F(2))j_{34*}: \pi_r(S^{3n+k+2}) \to \pi_r(F^{(2)}) es inyectivo.

Teorema 1.2 (Teorema de Estructura de Homología)

Sea Z=Sm∪er≄∗Z = S^m \cup e^r \not\simeq * (donde 2≤m<r2 \leq m < r), e YY la fibra de homotopía del mapa de contracción Z→SrZ \to S^r. Bajo condiciones apropiadas: 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)

Aplicación: 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

Puntos de Innovación Técnica

1. Realización Geométrica de la Descomposición de Funtores

Aplicación de la teoría abstracta de descomposición de funtores de Selick-Wu a problemas geométricos concretos, estableciendo un puente entre lo algebraico y lo geométrico.

2. Descubrimiento del Fenómeno de Periodicidad

Descubrimiento del fenómeno de "periodicidad" del mapa de adjunción Σf\Sigma f, proporcionando nuevas perspectivas estructurales para comprender grupos de homotopía de dimensión superior.

3. Uso Integral de Técnicas de Sucesiones Espectrales

Combinación ingeniosa de la sucesión espectral de Eilenberg-Moore y la sucesión espectral de Serre para analizar sistemáticamente estructuras de homología complejas.

Trabajo Relacionado

Desarrollo Histórico

  1. Herramientas Clásicas: Sucesión espectral de Adams, sucesión espectral EHP, teoría de homotopía motivica, cálculo de Goodwillie
  2. Grupos de Homotopía Estables: Isaksen-Wang-Xu avanzaron hasta el 90-stem; Lin-Wang-Xu resolvieron el problema del invariante de Kervaire
  3. Teoría Inestable: Construcción relativa de James de Gray, teoría de descomposición de Selick-Wu

Posicionamiento de Este Artículo

Este artículo, basándose en la construcción relativa de James de Gray y la teoría de Selick-Wu, proporciona una descripción precisa del mapa de adjunción para el caso especial pero importante del complejo suspendido de dos celdas.

Aplicaciones y Verificación

Ejemplos de Cálculo

Mediante el cálculo de la componente 2-primaria de π18(Σ3CP2)\pi_{18}(\Sigma^3\mathbb{CP}^2), se verifica la efectividad de la teoría. El cálculo implica:

  1. Operaciones complejas de corchetes de Toda
  2. Análisis de sucesiones de fibras de homotopía multicapa
  3. Cálculo preciso de homomorfismos de conexión

Ventajas del Método

Comparado con métodos tradicionales, el método proporcionado en este artículo:

  1. Es más sistemático y universal
  2. Evita la complejidad de productos de Whitehead de orden superior
  3. Es más efectivo en el rango requerido

Conclusiones y Discusión

Contribuciones Principales

  1. Avance Teórico: Revelación de la estructura periódica del mapa de adjunción
  2. Herramientas Computacionales: Provisión de nuevos métodos para calcular grupos de homotopía inestables
  3. Perspectiva Estructural: Profundización de la comprensión de propiedades de homotopía de complejos suspendidos

Limitaciones

  1. Restricción de Primos: El método no es aplicable al caso p=3p = 3
  2. Condición de Paridad: Para p≥5p \geq 5 se requiere que n+kn+k sea impar
  3. Restricción de Rango: Solo es efectivo en rangos de dimensión específicos

Direcciones Futuras

  1. Generalización al caso p=3p = 3
  2. Investigación de mapas de adjunción de esqueletos de dimensión superior
  3. Aplicación a complejos CW más generales

Evaluación Profunda

Fortalezas

  1. Profundidad Teórica: Combinación perfecta de teoría abstracta de funtores con problemas geométricos concretos
  2. Innovación Técnica: Descubrimiento del importante fenómeno de periodicidad del mapa de adjunción
  3. Valor Computacional: Provisión de herramientas computacionales prácticas y algoritmos explícitos
  4. Claridad de Escritura: Estructura rigurosa del artículo con detalles técnicos completos

Insuficiencias

  1. Alcance de Aplicabilidad: Restricciones relativamente fuertes sobre primos y paridad
  2. Generalización: Enfoque principal en complejos de dos celdas, con generalización a casos multicelulares poco clara
  3. Complejidad Computacional: Aunque teóricamente viable, el cálculo real sigue siendo complejo

Impacto

  1. Valor Académico: Proporciona nuevas direcciones de investigación para teoría de homotopía inestable
  2. Significado Metodológico: Demuestra cómo aplicar herramientas modernas de teoría de homotopía a problemas clásicos
  3. Inspiración: Puede estimular investigaciones similares sobre otros tipos de complejos

Escenarios de Aplicación

  1. Cálculo de grupos de homotopía inestables de complejos CW de baja dimensión
  2. Investigación de propiedades estructurales de productos de Whitehead
  3. Análisis de propiedades de homotopía de espacios suspendidos

Referencias Bibliográficas

El artículo cita 39 referencias importantes que abarcan:

  • Teoría de homotopía clásica (Toda, Whitehead, etc.)
  • Teoría moderna de sucesiones espectrales (Moore-Smith, Cohen-Moore-Neisendorfer, etc.)
  • Trabajos relacionados con la teoría de descomposición de Selick-Wu
  • Avances recientes en grupos de homotopía estables (Wang-Xu, Isaksen, etc.)

Estas citas reflejan plenamente el profundo conocimiento del autor del campo relacionado y el posicionamiento de este trabajo en el desarrollo de toda la disciplina.