Rings of cooperations for hermitian K-theory over finite fields

Resumen Técnico: Anillos de Cooperaciones para la K-Teoría Hermítica sobre Campos Finitos

Planteamiento del Problema
El artículo aborda el cálculo del anillo de cooperaciones $\pi_{\mathbb{F}_q}^{*,*}(kq \otimes kq)$ para el espectro de la K-teoría hermítica muy efectiva $kq$ sobre campos finitos $\mathbb{F}_q$ donde $\text{char}(\mathbb{F}_q) \neq 2$. Este cálculo es un prerrequisito para determinar la página $E_1$ de la resolución $kq$, una secuencia espectral de Adams motivica utilizada para analizar fenómenos $v_1$-periódicos en los grupos de homotopía estable de las esferas motivicas. Si bien las cooperaciones para $kq$ han sido estudiadas sobre los números complejos $\mathbb{C}$ y reales $\mathbb{R}$, el caso de los campos finitos presenta desafíos aritméticos únicos debido a la acción no trivial del homomorfismo de Bockstein y la estructura de la cohomología motivica de $\mathbb{F}_q$.

Metodología
El autor emplea la secuencia espectral de Adams motivica (mASS) basada en el espectro de cohomología motivica mod-2 $H\mathbb{F}_2$. La herramienta principal es el cálculo de la página $E_2$ de la secuencia espectral que converge a $\pi_{\mathbb{F}_q}^{*,*}(kq \otimes kq)$, seguido por la determinación de los diferenciales para alcanzar la página $E_\infty$.

La metodología procede a través de los siguientes pasos:

1. Descomposición Algebraica: Utilizando el isomorfismo $H^{*,*}(kq) \cong (A // A(1))^\vee$, la homología del producto de smash $kq \otimes kq$ se descompone mediante el teorema de Künneth y la descomposición de comodules de Brown–Gitler de $(A // A(1))^\vee$. Esto reduce el problema al cálculo de $\text{Ext}_{A(1)^\vee}^{*,*,*}(\mathbb{F}_q^2, BF_q^0(k))$ para varios $k$, donde $BF_q^0(k)$ son comodules de Brown–Gitler motivicos.
2. Separación de Casos: El cálculo se divide en dos casos distintos basados en la aritmética del campo finito:
   • Acción de Bockstein Trivial ($q \equiv 1 \pmod 4$): Aquí, el homomorfismo de Bockstein es trivial. Las relaciones de la álgebra de Steenrod motivica se simplifican, y los grupos Ext se asemejan a los de $\mathbb{C}$ pero con modificaciones específicas.
   • Acción de Bockstein No Trivial ($q \equiv 3 \pmod 4$): Aquí, el Bockstein es no trivial (representado por $\rho$). Las relaciones en el álgebra de Steenrod dual y los grupos Ext resultantes son más complejos, requiriendo un análisis organizado por peso (coweight).
3. Cálculo Inductivo: El autor utiliza secuencias espectrales de Atiyah–Hirzebruch algebraicas (aAHSS) para calcular los grupos Ext para los comodules de Brown–Gitler $BF_q^0(k)$ de forma inductiva. Secuencias exactas cortas de comodules relacionan $BF_q^0(k)$ con términos de orden inferior.
4. Determinación de Diferenciales: Una afirmación metodológica central es que los diferenciales en la mASS para $kq \otimes kq$ no se computan de forma independiente, sino que son "elevados" (lifted) de los diferenciales en la mASS para el espectro de cohomología motivica integral $H\mathbb{Z}$. El mapa $kq \to H\mathbb{Z}$ induce un mapa de secuencias espectrales, lo que permite al autor transferir los diferenciales conocidos de $H\mathbb{Z}$ a $kq$ y, posteriormente, a $kq \otimes kq$.

Contribuciones Clave y Resultados

• Cálculo del Anillo de Cooperaciones: El artículo proporciona una descripción completa de la página $E_\infty$ de la mASS para $kq \otimes kq$ módulo la torsión de $v_1$ para todos los campos finitos $\mathbb{F}_q$ ($\text{char} \neq 2$).
  • Teorema A: Establece la firma de la secuencia espectral como una suma directa de grupos Ext sobre la subálgebra $A(1)^\vee$ con coeficientes en comodules de Brown–Gitler.
  • Teorema B: Demuestra que todos los diferenciales en la mASS para $kq \otimes kq$ están determinados por la estructura de módulo sobre el álgebra Ext y los diferenciales de la mASS para $kq$ (los cuales, a su vez, son elevados de $H\mathbb{Z}$). Esto contrasta con los análogos clásicos, $\mathbb{C}$-motivicos y $\mathbb{R}$-motivicos donde la secuencia espectral a menudo colapsa antes o se comporta de manera diferente.
• Estructura Explícita de los Grupos Ext:
  • Para $q \equiv 1 \pmod 4$, se muestra que los grupos Ext son isomorfos al producto tensorial de los grupos Ext $\mathbb{C}$-motivicos con $\mathbb{F}_q^2$ (módulo la torsión de $v_1$), con truncamientos específicos para manejar torres de $\eta$ no nilpotentes.
  • Para $q \equiv 3 \pmod 4$, el autor calcula los grupos Ext explícitamente, identificando nuevos generadores (como $\rho$ y $\tau h_1$) y relaciones derivadas del Bockstein no trivial. Notablemente, se identifica un diferencial $d_3$ en la aAHSS para $BF_q^0(1)$ en este caso, el cual desaparece en el caso de Bockstein trivial.
• Aplicación a la Resolución $kq$:
  • Teorema C: Describe la página $E_1$ de la resolución $kq$ para la esfera. La línea $n$ de la resolución se expresa como un módulo sobre la línea 0 ($\pi_{\mathbb{F}_q}^{*,*}(kq)$), descomponiéndose en desplazamientos de cubiertas de Adams truncadas de $kq$y$ksp$, y sumandos relacionados con $H\mathbb{Z}$.
  • El artículo vuelve a probar el cálculo de Friedlander para los grupos de K-teoría hermítica sobre campos finitos como una verificación de consistencia.

Significado y Reivindicaciones

El artículo sostiene que el anillo de cooperaciones para la K-teoría hermítica sobre campos finitos está fundamentalmente determinado por la cohomología motivica integral del campo base. El autor argumenta que la parte "interesante" de las cooperaciones está enteramente dictada por los diferenciales en la mASS para $H\mathbb{Z}$.

El trabajo extiende el estudio de la $v_1$-periodicidad en la homotopía estable motivica a campos de característica positiva. Al calcular la página $E_1$ de la resolución $kq$, el artículo sienta las bases necesarias para futuros cálculos de los grupos de homotopía estable de las esferas sobre campos finitos, apuntando específicamente a las familias $v_1$-periódicas. El autor señala que, a diferencia del caso clásico, las secuencias espectrales motivicas sobre campos finitos no colapsan en la página $E_2$, lo que requiere el detallado análisis de diferenciales proporcionado.

El artículo concluye planteando una pregunta más amplia: ¿hasta qué punto los diferenciales en la mASS para cualquier espectro motivico de presentación finita (fp) están determinados por los diferenciales en la mASS para $H\mathbb{Z}$? Los resultados para $kq$ y el trabajo previo sobre $BPGL\langle 1 \rangle$ sugieren una respuesta afirmativa sólida, particularmente para espectros donde los análogos clásicos colapsan.