Nilpotencia de η en espectros motivicos étale

Información Básica

• ID del artículo: 2511.09476
• Título: Nilpotencia de η en espectros motivicos étale
• Autores: Klaus Mattis, Swann Tubach
• Clasificación: math.AG (Geometría Algebraica), math.AT (Topología Algebraica)
• Fecha de publicación: 13 de noviembre de 2025 (preimpresión en arXiv)
• Enlace del artículo: https://arxiv.org/abs/2511.09476

Resumen

Este artículo demuestra que en la categoría de homotopía motivica étale estable sobre cualquier esquema, todo objeto es η-completo. En ciertos casos, los autores prueban que la cuarta potencia de η es nula, mientras que la tercera potencia de η siempre es no nula, de manera análoga a la situación en topología.

Antecedentes y Motivación de la Investigación

Contexto del Problema

En topología clásica, la aplicación de Hopf η_top: S³ → S² proporciona el primer ejemplo de un elemento de grupo de homotopía no nulo de la forma π_n(S^(n-1)). En la categoría de espectros, η_top induce la aplicación η_top: ΣS → S, que genera el primer grupo de homotopía estable de la esfera π₁(S) ≅ Z/2Z. Un hecho importante es:

• η⁴_top = 0 (puesto que π₄(S) = 0)
• η³_top ≠ 0 (obtenido mediante cálculos de corchetes de Toda)

Analogía en Teoría de Homotopía Motivica

La teoría de homotopía motivica tiene como objetivo aplicar métodos de topología algebraica a la geometría algebraica. En el marco de Morel-Voevodsky, para un esquema S, existe la ∞-categoría estable SH(S) (espectros motivicos A¹-invariantes). La aplicación de Hopf algebraica se define como: η: A²_S \ {0} → P¹_S

Su desuspensión en SH(S) es η: G_m → S.

Diferencias Clave

A diferencia del caso topológico, en SH(S), η nunca es nilpotente. El teorema de Morel establece que sobre un cuerpo perfecto k: End_SH(k)(Sη⁻¹) ≅ W(k) (anillo de Witt)

Esto significa que existen muchos objetos η-periódicos (objetos M que satisfacen que η: G_m ⊗ M → M es una equivalencia).

Observación Central del Artículo

Los autores descubren que si se trabaja en la categoría de homotopía estable A¹ localmente étale SH_ét(S), las diferencias anteriores desaparecen, y η se comporta de manera similar al caso topológico.

Contribuciones Principales

1. Teorema Principal (Teorema A): Se demuestra que para cualquier esquema S y objeto X ∈ SH_ét(S), Xη⁻¹ = 0. En particular, todo objeto en SH_ét(S) es η-completo, y η actúa nilpotentemente en cualquier objeto compacto.
2. Corolario (Corolario B): El funtor de estratificación étale L_ét: SH(S) → SH_ét(S) se descompone canónicamente como SH(S)^∧_η. Cualquier objeto de SH(S) que satisface descenso étale ya es η-completo.
3. Índice de Nilpotencia (Teorema C):
   • Para un cuerpo algebraicamente cerrado k, en SH_ét(k) se tiene η⁴ = 0
   • Para cualquier esquema S, existe una aplicación finita fielmente plana S' → S tal que η⁴ es nula en SH_ét(S')
   • Si S está definido sobre un cuerpo k que satisface cd₂(k) ≤ 1 y sup_{p∈P} cd_p(k) < ∞ (como cuerpos finitos o algebraicamente cerrados), entonces η⁴ ya es nula en SH_ét(S)
4. No Nulidad (Teorema D): Para esquemas con puntos de característica no 2, η³ es no nula en SH_ét(S), consistente con el caso topológico.
5. Conjetura: Los autores conjeturan que para cualquier esquema S, η⁴ ≅ 0 en SH_ét(S) (Conjetura 3.9).

Explicación Detallada de Métodos

Definición de la Tarea

El núcleo de la investigación en este artículo es:

• Entrada: Esquema S y su categoría de homotopía motivica étale estable SH_ét(S)
• Salida: Determinar las propiedades de nilpotencia de la aplicación de Hopf algebraica η
• Objetivo: Demostrar que la periodización por η es nula y determinar el índice de nilpotencia mínimo

Marco Teórico

1. Completación y Periodización (Sección 2)

En una categoría simétrica monoidal estable presentable E, para una aplicación ν: T → S (T invertible tensorialmente):

Definiciones:

• ν-equivalencia: Una aplicación f: X → Y es una ν-equivalencia si y solo si f//ν es una equivalencia (donde (−)//ν es la cofibra de ν)
• ν-completación: Localización de Bousfield (−)^∧_ν: E → E
• ν-periodización: Localización que hace X//ν = 0, denotada (−)ν⁻¹: E → E

Lema Clave (Lema 2.3): La ν-periodización es aplastante (smashing), es decir, Xν⁻¹ ≅ Sν⁻¹ ⊗ X.

Telescopio de Mapeos (Definición 2.5): M_ν(X) = colim(X →^ν T^⊗−1 ⊗ X →^ν T^⊗−2 ⊗ X → ⋯)

Resultado Clave (Lema 2.6): En el caso compactamente generado, M_ν(X) ≅ Xν⁻¹.

2. Teoría de Homotopía Motivica Étale (Sección 1)

Definición (Acotado étale): Un esquema S es étale acotado si sup_{x∈X, p∈P} cd_p(κ(x)) < ∞

donde cd_p(k) es la dimensión de cohomología de Galois mod-p del cuerpo k.

Teorema de Rigidez (Teorema 1.5): Para un esquema S y primo ℓ: SH_ét(S)^∧_ℓ ≅ SH_ét(S1/ℓ)^∧_ℓ ≅ Shv_ét(S1/ℓ, Sp)^∧_ℓ

Este teorema conecta la ℓ-completación de espectros motivicos con las capas étale de espectros topológicos.

Puntos de Innovación Técnica

1. Equivalencia del Telescopio de Mapeos (Proposición 3.3)

Se demuestra que en SH_ét(S), Xη⁻¹ ≅ M_η(X). Esto utiliza:

• SH_ét(Spec(Z)) es compactamente generado
• Propiedad de cambio de base suave: f*η ≅ η

2. Técnica de Cuadrado Aritmético Escindido (Proposición 3.5)

Para S = Spec(Z̄) (la clausura integral de Z en Q̄), se utiliza el cuadrado aritmético escindido:

S       →    S^∧_2
↓            ↓
S[1/2]  →    S^∧_2[1/2]

Esto conduce a un cuadrado cartesiano de espectros de mapeos, produciendo una sucesión exacta: π₅(RΓ(S1/2_ét, S^∧_2))1/2 → π₀(map(G^⊗4_m, S)) → π₄(RΓ(S1/2_ét, S^∧_2)) ⊕ π₀(map(G^⊗4_m1/2, S1/2))

3. Sucesión Espectral de Descenso (Proposición 3.6)

Para cuerpos k que satisfacen cd₂(k) ≤ 1, se utiliza la sucesión espectral de descenso: E²_{p,q} = π_{−p}RΓ(k_ét, π_{−q}(1̂₂(−4))) ⇒ π_{−p−q}RΓ(k_ét, 1̂₂(−4))

Combinando con la información de la esfera topológica π₄(S_top) = π₅(S_top) = 0, se demuestra η⁴ = 0.

4. Método de Análisis Rígido (Teorema 4.2)

Para cuerpos algebraicamente cerrados de característica p > 0, se utiliza geometría analítica rígida para establecer el diagrama conmutativo:

SH_ét(k) → RigSH_ét(K) → SH_ét(K)
     ↓           ↓            ↓
    Sp^∧_2  ←   Sp^∧_2   ←  Sp^∧_2

donde K es la clausura algebraica completada del cuerpo de fracciones del anillo de Witt W(k). La clave es demostrar ξη_Spec(k) ≅ Rigη_Spec(K) (Lema 4.5).

Configuración Experimental

Marco de Verificación Teórica

Este artículo es investigación matemática pura sin experimentos numéricos, pero incluye múltiples verificaciones de casos:

1. Cuerpos algebraicamente cerrados: Verificación de η⁴ = 0 (Corolario 3.7)
2. Esquemas sobre cuerpos finitos: Verificación de η⁴ = 0
3. Spec(Z): Verificación de η⁴ = 0 sobre Spec(Z̄) (Proposición 3.5)
4. Esquemas con puntos de característica no 2: Verificación de η³ ≠ 0 (Teorema 4.2)

Herramientas Técnicas

• Sucesiones espectrales de Adams
• Sucesiones espectrales de descenso
• Funtor de realización de Betti
• Geometría analítica rígida
• Teoría de cohomología de Galois

Resultados Experimentales

Resultados Principales

1. η-Completitud (Teorema 3.13)

Resultado: Para cualquier esquema X y M ∈ SH_ét(X):

• Mη⁻¹ ≅ 0
• M → M^∧_η es una equivalencia
• Si M es un objeto compacto, existe un entero n tal que η^n: M ⊗ G^⊗n_m → M es nula

Estrategia de Prueba:

1. Utilizar la representación mediante telescopio de mapeos
2. Demostrar que cualquier objeto η-periódico N satisface N = N ⊗ Sη⁻¹ = 0
3. Aplicar el Lema 2.8 a objetos compactos

2. Anulación de η⁴ (Corolarios 3.7, 3.11)

Resultado Completo:

• Cuerpo algebraicamente cerrado k: η⁴ = 0 en SH_ét(k)
• Esquemas sobre cuerpos finitos: η⁴ = 0
• Esquemas sobre cuerpos k con cd₂(k) ≤ 1: η⁴ = 0

Resultado Débil (Corolario 3.11): Para cualquier esquema S, existe una aplicación finita fielmente plana X → S tal que η⁴ = 0 en SH_ét(X).

Puntos Clave de la Prueba (Proposición 3.5): Para Spec(Z̄), mediante el cuadrado aritmético escindido, el problema se reduce a:

• π₅(RΓ(S1/2_ét, S^∧_2))1/2 = 0 (por π₅(S_top^∧_2) = 0)
• π₄(RΓ(S1/2_ét, S^∧_2)) = 0 (por π₄(S_top^∧_2) = 0)
• g = 0 (por Lema 3.4, puesto que -1 es suma de cuadrados)

3. No Nulidad de η³ (Teorema 4.2)

Resultado: Para esquemas no vacíos con puntos de característica no 2, η³ es no nula en SH_ét(S).

La Prueba se Divide en Dos Casos:

1. Característica 0: Mediante realización de Betti, la imagen de η³ es no nula en topología (cálculo de Toda)
2. Característica p > 0 (p ≠ 2): Mediante geometría analítica rígida, se establece la conexión con el caso de característica 0

Técnica Clave (Lema 4.5): Se demuestra ξη_Spec(k) ≅ Rigη_Spec(K), utilizando el resultado de Ayoub: (²_{K°} \ {0})_rig → (A²_K \ {0})_an es una equivalencia.

Análisis de Casos

Caso 1: Situación sobre Q(i) (Observación 3.10)

Para Q(i), existe un isomorfismo: π₀(map_{SH_ét(Q(i))}(G^⊗4_m, S)) ≅ Br(Q(i))2

Mediante la sucesión exacta corta de Albert-Brauer-Hasse-Noether: Br(Q(i))2 ≅ ker(⊕_p Z/2 →^sum Z/2)

Esto muestra que:

• η⁴ es no nula en finitamente muchos primos p de Q_p(i)
• El número de estos primos es par
• Para probar la Conjetura 3.9 para Q(i), solo es necesario probar para todos los Q_p(i)

Caso 2: Situación en Característica 2 (Observación 4.3)

Si S es un esquema de característica 2 equicaracterística, entonces η = 0 en SH_ét(S), porque:

• Existe una aplicación S → Spec(F₂)
• SH_ét(F₂) ≅ SH_ét(F₂)1/2 (por BH21, Lema A.1)
• η = 0 (por Lema 3.4)

Hallazgos Experimentales

1. Recuperación de la Analogía Topológica: Bajo la topología étale, la teoría de homotopía motivica se comporta más cercanamente a la topología clásica
2. Papel Crucial de la 2-Completación: Muchas pruebas dependen de la 2-completación y su conexión con la esfera topológica
3. Geometría Analítica Rígida como Puente: Establece una conexión efectiva entre característica positiva y característica 0
4. Importancia de la Dimensión de Cohomología de Galois: cd₂(k) ≤ 1 es una condición suficiente para muchos resultados

Trabajo Relacionado

Teoría de Homotopía Topológica

• Toda (1962): "Composition methods in homotopy groups of spheres" - Prueba clásica de η³_top ≠ 0
• Ravenel (2003): Cálculo de grupos de homotopía estable de esferas, proporcionando información sobre π₄(S) = π₅(S) = 0

Teoría de Homotopía Motivica

• Morel (2004): "On the motivic π₀ of the sphere spectrum" - Establece End_{SH(k)}(Sη⁻¹) ≅ W(k)
• Morel-Voevodsky: Establece el marco de la categoría de homotopía estable A¹-invariante SH(S)
• Bachmann (2018, 2021): Desarrolla la teoría de rigidez de la teoría de homotopía motivica étale estable
• Bachmann-Hopkins (2020): Estudia la teoría de homotopía motivica estable η-periódica sobre cuerpos

Formalismo de Seis Functores

• Ayoub (2007, 2015, 2025):
  • Establece la teoría de seis operaciones en el mundo motivico
  • Desarrolla la teoría de motivos analíticos rígidos
  • Proporciona resultados de recollement
• Ayoub-Gallauer-Vezzani (2022): Formalismo de seis functores para motivos analíticos rígidos

Cohomología Étale y Descenso

• Cisinski-Déglise (2019): Teoría de categorías trianguladas de motivos mixtos
• Clausen-Mathew (2021): Descenso hipercomplementario y K-teoría étale
• Bachmann-Hoyois (2021): Notas sobre teoría de homotopía motivica étale estable

Posicionamiento de Este Artículo

Este artículo es el primero en estudiar sistemáticamente la nilpotencia de η en la categoría de homotopía motivica étale, cerrando una diferencia importante entre la teoría de homotopía motivica y la teoría de homotopía topológica. En contraste con el trabajo de Bachmann-Hopkins sobre periodicidad η, este artículo demuestra que no existen objetos η-periódicos no triviales en el contexto étale.

Conclusiones y Discusión

Conclusiones Principales

1. Universalidad de la η-Completitud: En la categoría de homotopía motivica étale estable sobre cualquier esquema, todos los objetos son η-completos, en contraste marcado con el caso de la topología de Nisnevich.
2. Determinación del Índice de Nilpotencia:
   • η³ siempre es no nula (para esquemas de característica no 2 equicaracterística)
   • η⁴ es nula en muchos casos (cuerpos algebraicamente cerrados, esquemas sobre cuerpos finitos, etc.)
   • Se conjetura que η⁴ es nula para todos los esquemas
3. Realización de la Analogía Topológica: Bajo la configuración étale, el comportamiento de η (η³ ≠ 0, η⁴ = 0) es completamente consistente con el caso topológico (η³_top ≠ 0, η⁴_top = 0).

Limitaciones

1. Conjetura 3.9 No Completamente Probada: Aunque se ha probado η⁴ = 0 en muchos casos, el caso general (como Spec(Z)) sigue siendo una conjetura. El obstáculo clave es la posible no nulidad de ciertos grupos de cohomología de Galois (como H²_ét(Q(i), π₆(1̂₂(−4)))).
2. Limitaciones Técnicas:
   • Muchas pruebas dependen de que el esquema sea étale acotado o étale localmente étale acotado
   • El rango de aplicación de la técnica de 2-completación es limitado
   • Para esquemas generales de característica mixta, las técnicas son más complejas
3. Problema de Descenso: Aunque el Corolario 3.11 muestra que existe un recubrimiento finito fielmente plano tal que η⁴ = 0, descender desde el recubrimiento al esquema base es "sorprendentemente difícil" (palabras de los autores).
4. Desafíos Computacionales:
   • El cálculo exacto de la parte 2-torsión del grupo de Brauer es difícil
   • Las técnicas de cálculo para grupos de cohomología de Galois de dimensión superior son limitadas

Direcciones Futuras

1. Completar la Prueba de la Conjetura 3.9:
   • Enfoque en los casos Spec(Z) o Spec(Q(i))
   • Posiblemente se necesiten nuevas técnicas de sucesiones espectrales o métodos de cálculo de cohomología de Galois
2. Generalización a Otros Elementos de Hopf: Investigar el comportamiento de otros elementos de grupos de homotopía estable (como ν, σ, etc.) en la teoría de homotopía motivica étale.
3. Aplicación a K-Teoría: Utilizar la η-completitud para estudiar las propiedades de descenso étale de la K-teoría algebraica.
4. Conexiones con Geometría Aritmética:
   • Explorar conexiones profundas con grupos de Brauer y representaciones de Galois
   • Investigar la relación entre funciones L y teoría de homotopía motivica
5. Aspectos Computacionales:
   • Desarrollar métodos más efectivos para calcular grupos de homotopía motivica étale
   • Establecer herramientas de cálculo análogas a la sucesión espectral de Adams
6. Nilpotencia de Orden Superior: Investigar el comportamiento de η^n para n > 4, estableciendo una teoría completa de nilpotencia.

Evaluación Profunda

Fortalezas

1. Innovación Teórica

• Cierre de Brecha Importante: Primer estudio sistemático de la nilpotencia de η en la configuración étale, resolviendo un problema fundamental en la teoría de homotopía motivica
• Unificación de Topología y Álgebra: Demuestra que bajo la topología apropiada (étale), los fenómenos en geometría algebraica son completamente paralelos a la topología
• Avance Técnico: Combinación creativa de cuadrados aritméticos escindidos, geometría analítica rígida y cohomología de Galois

2. Elegancia de los Métodos

• Aplicación del Cuadrado Aritmético Escindido: Reduce ingeniosamente el problema de anulación de η⁴ al cálculo de grupos de homotopía de la esfera topológica
• Puente de Geometría Analítica Rígida: Establece conexión entre característica positiva y característica 0 mediante una ruta técnica novedosa
• Marco Unificado: Desarrolla la teoría en el marco general de categorías simétricas monoidales estables presentables, con alto grado de abstracción y universalidad

3. Profundidad de los Resultados

• Universalidad del Teorema A: Se aplica a cualquier esquema sin suposiciones especiales
• Valor Aplicativo del Corolario B: Proporciona nueva perspectiva para entender descenso étale, sugiriendo que la η-completación podría ser una característica esencial de la topología étale
• Correspondencia con Resultados Clásicos: η³ ≠ 0 y η⁴ = 0 corresponden perfectamente con los cálculos clásicos de Toda

4. Claridad de la Presentación

• Estructura razonable, niveles claros desde antecedentes hasta resultados principales
• Detalles técnicos suficientes, pruebas completas de lemas y proposiciones
• Análisis de casos (como la situación sobre Q(i)) proporciona comprensión concreta
• Sección de agradecimientos con humor (agradecimiento a las compañías ferroviarias francesa y alemana por su "contribución")

Debilidades

1. Conjetura Principal No Completamente Resuelta

• Conjetura 3.9: Aunque se ha probado η⁴ = 0 en muchos casos, el caso general sigue siendo abierto
• Obstáculos Técnicos Claros: Las Observaciones 3.8 y 3.10 identifican claramente los obstáculos (grupos H²_ét), pero no se superan
• Caso Spec(Z): La falta de prueba completa para este ejemplo más fundamental es lamentable

2. Limitaciones de los Métodos

• Dependencia de Propiedades Especiales: Muchas pruebas dependen de cd₂(k) ≤ 1 o acotación étale, limitando la aplicabilidad a esquemas generales
• Dependencia de 2-Completación: Uso extensivo de técnicas de 2-completación, con generalización no obvia a otros primos
• Dificultad de Descenso: El Corolario 3.11 solo proporciona resultado de existencia, carece de constructividad y explicititud

3. Insuficiencia de Herramientas Computacionales

• Limitaciones de Sucesiones Espectrales: Aunque se utilizan sucesiones espectrales de descenso, el control de términos de dimensión superior es limitado
• Cálculo de Cohomología de Galois: Falta de métodos de cálculo efectivos para grupos de cohomología de Galois complejos (como cohomología de π₆(1̂₂(−4)))
• Escasez de Ejemplos Concretos: Aparte de cuerpos algebraicamente cerrados y cuerpos finitos, hay pocos cálculos para otros esquemas concretos (curvas elípticas, variedades algebraicas)

4. Conexiones Insuficientes con Otras Teorías

• Conexión con K-Teoría: Aunque se menciona la conexión potencial con K-teoría, no se explora profundamente
• Cohomología Motivica: La relación con otras teorías de cohomología motivica no se aclara suficientemente
• Aplicaciones Aritméticas: No se abordan conexiones con problemas concretos en teoría de números (conjetura BSD, programa de Langlands)

Impacto

1. Contribución al Campo

• Resultado Fundamental: El Teorema A es un teorema fundamental de la teoría de homotopía motivica étale, será ampliamente citado
• Contribución Metodológica: La técnica combinada de cuadrado aritmético escindido + geometría analítica rígida puede inspirar otras investigaciones
• Orientación de Problemas: La Conjetura 3.9 se convertirá en un importante problema abierto en el campo

2. Valor Práctico

• Herramienta Teórica: La η-completitud proporciona nuevas herramientas para estudiar descenso étale
• Simplificación Computacional: La desaparición de la periodización por η en la configuración étale simplifica muchos cálculos
• Función de Puente: Proporciona lenguaje común para comunicación entre topólogos y geómetras algebraicos

3. Reproducibilidad

• Pruebas Completas: Todos los resultados probados tienen demostraciones completas
• Referencias Suficientes: Se proporcionan referencias precisas para todos los resultados externos utilizados
• Técnicas Verificables: Las técnicas utilizadas (sucesiones espectrales, teoría de descenso, etc.) son estándar y pueden verificarse independientemente

4. Direcciones de Investigación Posterior

• Impacto Inmediato:
  • Completar la prueba de la Conjetura 3.9 será una tarea prioritaria
  • Generalización a otros elementos de homotopía estable
  • Investigación de fenómenos de nilpotencia de orden superior
• Impacto a Largo Plazo:
  • Posible impulso al desarrollo sistemático de la teoría de homotopía motivica étale
  • Nueva perspectiva para entender la estructura de espectros motivicos
  • Posibles aplicaciones inesperadas en geometría aritmética

Escenarios de Aplicación

1. Investigación Teórica:
   • Investigación fundamental en teoría de homotopía motivica
   • Propiedades de descenso étale de K-teoría algebraica
   • Teoría de estructura de categorías de homotopía estable
2. Aplicaciones Computacionales:
   • Simplificación del cálculo de grupos de homotopía motivica étale
   • Comprensión de diferencias entre topologías de Nisnevich y étale
   • Garantías teóricas para cálculos en esquemas concretos
3. Aplicaciones Interdisciplinarias:
   • Conexión entre topología y geometría algebraica
   • Herramientas de teoría de homotopía para geometría aritmética
   • Posible aplicación a problemas de períodos en teoría de números
4. Valor Pedagógico:
   • Excelente caso de estudio de métodos de homotopía moderna
   • Ilustración del impacto de diferentes topologías (Nisnevich vs. étale) en teoría de homotopía
   • Demostración de síntesis de múltiples técnicas avanzadas

Referencias Bibliográficas (Referencias Clave)

1. Toda (1962): "Composition methods in homotopy groups of spheres" - Prueba clásica de η³_top ≠ 0
2. Morel (2004): "On the motivic π₀ of the sphere spectrum" - Establece End(Sη⁻¹) ≅ W(k)
3. Bachmann (2021): "Rigidity in étale motivic stable homotopy theory" - Trabajo fundamental en teoría motivica étale
4. Ayoub (2007): "Les six opérations de Grothendieck..." - Proporciona teoría de recollement
5. Bachmann-Hoyois (2021): "Remarks on étale motivic stable homotopy theory" - Base teórica directa de este artículo

Evaluación General: Este es un artículo de alta calidad de matemática pura teórica que logra avances importantes en la teoría de homotopía motivica, un campo de frontera. Aunque la conjetura principal no se resuelve completamente, los resultados ya probados poseen carácter fundamental y universalidad, los métodos son innovadores y tendrán impacto duradero en el campo. El artículo demuestra conexiones profundas entre teoría de homotopía moderna, geometría algebraica y teoría de números, abriendo múltiples direcciones para investigación posterior.