Exotic Hopf maps, weight shifting and applications to vector bundles

Resumen Técnico: Mapas de Hopf Exóticos, Cambio de Peso y Aplicaciones a Fibrados Vectoriales

1. Problema y Contexto

El artículo aborda un problema fundamental en la teoría de homotopía motivica y la geometría algebraica: la construcción de representantes polinómicos explícitos para ciertos elementos de los grupos de homotopía de esferas, específicamente la suspensión del mapa de Hopf.

• Antecedentes: P. Baum demostró que los elementos de los grupos de homotopía estables de esferas pueden representarse mediante mapas cuadráticos reales. Sin embargo, Wood observó que en el rango inestable ($n \ge 2m$), no existen mapas polinómicos no constantes $S^n \to S^m$.
• El desafío: Se busca representar elementos inestables (como la suspensión del mapa de Hopf $\Sigma \eta: S^4 \to S^3$) mediante mapas polinómicos complejos. Aunque se sabe que tales representantes existen teóricamente (mediante la equivalencia entre la esfera algebraica compleja y la real), la construcción explícita de estos polinomios ha sido esquiva.
• Objetivo: Proporcionar construcciones explícitas de morfismos entre cuádricas algebraicas ($Q_4 \to Q_3$) que, al realizarse sobre los números complejos, corresponden a la suspensión del mapa de Hopf. Además, aplicar estos resultados para construir un fibrado vectorial explícito de rango 2 sobre el "dispositivo de Jouanolou" de $\mathbb{P}^3$.

2. Metodología

Los autores utilizan la teoría de homotopía motivica (Morel-Voevodsky) y herramientas de la K-teoría hermitiana (K-teoría simpléctica) y la K-teoría de Milnor-Witt.

• Modelado mediante Cuádricas: Las esferas motivicas se modelan mediante cuádricas $Q_n$. Por ejemplo, $Q_3 \simeq SL_2$ y $Q_4$ está relacionada con el grupo simpléctico infinito $Sp$.
• Técnica de "Weight Shifting" (Cambio de Peso): Se utiliza un procedimiento desarrollado previamente en [AFH25] que permite trasladar clases de homotopía entre diferentes grados de peso en la teoría motivica. Esto implica manipular haces de Witt y grupos de Grothendieck-Witt ($GW$).
• K-teoría Simpléctica: Se emplea la secuencia espectral de coniveau para la K-teoría hermitiana para calcular grupos de homotopía motivica y extraer representantes matriciales.
• Construcción de Fibrados: Se utiliza la correspondencia entre clases de homotopía $[X, BSL_2]$ y fibrados vectoriales de rango 2 sobre $X$ (o su dispositivo de Jouanolou $J_X$).

3. Contribuciones Clave y Resultados Principales

El artículo presenta dos construcciones distintas y explícitas de un "Mapa de Hopf Exótico" ($Q_4 \to Q_3$) definido sobre $\mathbb{Z}$.

A. Primera Construcción: K-teoría Simpléctica

• Enfoque: Se basa en la identificación $\pi^{A_1}_{2,2}(Q_3) \cong GW^2_1(Q_4)$.
• Procedimiento:
  1. Se identifica un generador del grupo $GW^0_1(k) \cong \mathbb{Z}/2\mathbb{Z}$ (relacionado con la matriz de permutación).
  2. Se utiliza la secuencia espectral de coniveau para levantar este generador a un elemento en $KSp_1(Q_4)$.
  3. Se construye una matriz simpléctica explícita $U \in Sp_8(Q_4)$ que representa este generador.
  4. Mediante operaciones elementales simplécticas y reducción de la matriz, se reduce $U$ a una matriz $2 \times 2$ (unimodular) que define el mapa $Q_4 \to Q_3$.
• Resultado: Se obtiene un mapa definido por una matriz de polinomios de grado relativamente alto (ver Teorema 1 en el texto original), cuyas entradas son polinomios explícitos en las coordenadas de $Q_4$.

B. Segunda Construcción: Cambio de Peso (Weight Shifting)

• Enfoque: Utiliza el hecho de que el fibrado universal de rango 2 en $Q_5$ induce un mapa $Q_5 \to BSL_2$.
• Procedimiento:
  1. Se considera el adjunto de este mapa, que da lugar a un morfismo $T: Q_3 \times \mathbb{G}_m \to SL_2 = Q_3$.
  2. Se demuestra que $T$ es 2-torsión (es decir, $2\epsilon$-torsión) y que su composición con un mapa de multiplicación por 2 es homotópicamente trivial.
  3. Se utiliza un procedimiento de "cambio de peso" explícito para transformar esta homotopía en un mapa definido sobre $Q_4$.
  4. Se construye una homotopía explícita $G(t)$ y se modifica para que sea extensible a $Q_4$ (resolviendo problemas de divisibilidad en los denominadores).
• Resultado: Se obtiene un segundo mapa explícito $Q_4 \to Q_3$ definido por una fila unimodular $(a', b')$ de polinomios de grado muy alto (ver Teorema 2).

C. Aplicación: Fibrado Vectorial de Rango 2 en $\mathbb{P}^3$

• Los autores aplican sus mapas de Hopf exóticos para construir un fibrado vectorial explícito sobre el dispositivo de Jouanolou de $\mathbb{P}^3$ (denotado $J_3$), que es un reemplazo afín de $\mathbb{P}^3$ homotópicamente equivalente.
• Construcción: Se compone el mapa de "clutching" $J_3 \to Q_6$, la suspensión $\Sigma_{\mathbb{P}^1}$ del mapa de Hopf exótico $Q_6 \to Q_5$, y el mapa clasificador $Q_5 \to BSL_2$.
• Invariants del Fibrado:
  • Clase de Chern ($c_2$): Se demuestra que la segunda clase de Chern es trivial ($c_2 = 0$).
  • Invariante de Atiyah-Rees: Se demuestra que el fibrado tiene un invariante de Atiyah-Rees no trivial (correspondiente al elemento no nulo en $\mathbb{Z}/2\mathbb{Z}$).
  • Significado: Este fibrado es el análogo motivico del fibrado topológico famoso de Atiyah y Rees (que tiene clases de Chern triviales pero es indecomponible).

4. Significado e Impacto

1. Explicitación de Objetos Abstractos: El trabajo transforma resultados teóricos de la teoría de homotopía motivica en fórmulas polinómicas concretas. Esto es crucial para la computación algebraica y la verificación de conjeturas en geometría algebraica.
2. Resolución de Problemas de Representación: Proporciona los primeros representantes polinómicos explícitos para la suspensión del mapa de Hopf en el rango inestable, llenando un vacío entre la teoría de Baum (rango estable) y las limitaciones de Wood.
3. Conexión Topología-Álgebra: El fibrado construido sobre $J_3$ sirve como un puente explícito entre la topología algebraica clásica (fibrados de Atiyah-Rees) y la geometría algebraica sobre campos arbitrarios.
4. Herramientas Nuevas: La metodología de "cambio de peso" y la reducción de matrices simplécticas presentadas ofrecen nuevas herramientas para construir mapas entre variedades algebraicas y calcular grupos de homotopía motivica.

En conclusión, el artículo no solo resuelve un problema de existencia constructiva de mapas de Hopf exóticos, sino que demuestra la potencia de la teoría de homotopía motivica para generar objetos geométricos algebraicos concretos con propiedades topológicas no triviales.