On the ring of cooperations for real Hermitian K-theory

Aquí presento un resumen técnico detallado del artículo "ON THE RING OF COOPERATIONS FOR REAL HERMITIAN K-THEORY" de Jackson Morris, estructurado según los puntos solicitados.

1. El Problema

El objetivo central del artículo es calcular el anillo de cooperaciones $\pi_{**}^{\mathbb{R}}(kq \otimes kq)$ en la categoría de homotopía motivica estable sobre los números reales, denotada como $SH(\mathbb{R})$.

• Contexto: En la teoría de homotopía estable clásica, una herramienta poderosa para calcular los grupos de homotopía de las esferas es la sucesión espectral de Adams. Para el espectro de K-teoría real $bo$, Mahowald demostró que el anillo de cooperaciones $bo \otimes bo$ se descompone en una suma de espectros Brown-Gitler integrales, lo que permite calcular la parte libre de torsión $v_1$ de los grupos de homotopía.
• Desafío Motivico: En el contexto motivico, el análogo de $bo$ es $kq$, la cubierta muy efectiva del espectro de K-teoría Hermitiana $KQ$. Aunque se ha estudiado el caso sobre cuerpos algebraicamente cerrados (como $\mathbb{C}$) por Culver y Quigley, el caso sobre $\mathbb{R}$ presenta dificultades significativas.
• Obstáculo Principal: A diferencia del caso clásico o complejo, no existe una construcción conocida de espectros Brown-Gitler motivicos integrales en general. Por lo tanto, no se puede replicar directamente la descomposición topológica de Mahowald ($bo \otimes bo \simeq \bigvee \Sigma^{4k} bo \otimes HZ_k$). El autor debe desarrollar métodos puramente algebraicos para analizar la página $E_2$ de la sucesión espectral de Adams motivica basada en $kq$.

2. Metodología

El autor emplea una estrategia algebraica sofisticada que combina la teoría de comodules, sucesiones espectrales algebraicas y comparaciones de base.

• Descomposición de la Página $E_2$:
  Utilizando el hecho de que la homología de $kq$ es isomorfa a un subálgebra del álgebra de Steenrod dual motivica, el autor descompone la página $E_2$ de la sucesión espectral de Adams (basada en $HF_2$) en una suma directa de grupos Ext:
  $$E_2^{s,f,w} \cong \bigoplus_{k \ge 0} \text{Ext}_{A(1)^\vee_{\mathbb{R}}}^{s,f,w}(\Sigma^{4k, 2k} B^{\mathbb{R}}_0(k))$$
  donde $B^{\mathbb{R}}_0(k)$ son los comodules motivicos Brown-Gitler integrales.

• Sucesiones Espectrales de Atiyah-Hirzebruch Algebraicas (aAHSS):
  Dado que no se pueden usar espectros geométricos, el cálculo de los grupos $\text{Ext}(B^{\mathbb{R}}_0(k))$ se realiza mediante una serie de sucesiones espectrales algebraicas.

  1. Se filtra el comodule $B^{\mathbb{R}}_0(1)$ por su grado topológico.
  2. Se construye una aAHSS que converge desde $\text{Ext}(M^{\mathbb{R}}_2)$ hacia $\text{Ext}(B^{\mathbb{R}}_0(1))$.
  3. Se utilizan secuencias exactas cortas entre comodules Brown-Gitler para inductivamente calcular los casos de $k$ mayor.

• Manejo de la Estructura de $A(1)^\vee_{\mathbb{R}}$:
  El álgebra de Steenrod dual sobre $\mathbb{R}$, $A(1)^\vee_{\mathbb{R}}$, es un Hopf-algebroide (no un Hopf-álgebra como en $\mathbb{C}$) debido a la presencia del elemento $\rho$ (que representa $-1$). Esto introduce una estructura más compleja. El autor organiza los cálculos por peso vacuno (coweight, $cw = s - w$) módulo 4, siguiendo la estrategia de Guillou, Hill, Isaksen y Ravenel.

• Comparación de Base y Realización de Betti:
  Se utiliza la functor de extensión de escalares $-\otimes \mathbb{C}: SH(\mathbb{R}) \to SH(\mathbb{C})$ y la realización de Betti compleja para comparar los resultados con el caso complejo (donde los cálculos ya están hechos) y con el caso clásico, resolviendo extensiones ocultas.

3. Contribuciones Clave

1. Cálculo Completo del Anillo de Cooperaciones: Se proporciona una descripción completa de $\pi_{**}^{\mathbb{R}}(kq \otimes kq)$ como un módulo sobre $\pi_{**}^{\mathbb{R}}(kq)$, expresado en términos de comodules Brown-Gitler motivicos y grupos Ext.
2. Colapso de la Sucesión Espectral: Se demuestra que la sucesión espectral de Adams motivica para $kq \otimes kq$ sobre $\mathbb{R}$ colapsa en la página $E_2$. Esto es un resultado no trivial, ya que en el caso motivico real las diferencias entre las páginas $E_2$ y $E_\infty$ suelen ser complejas debido a la torsión $\rho$.
3. Descomposición de la K-teoría Simpética: Se prueba un resultado de descomposición para la K-teoría simpética muy efectiva ($ksp$):
   $$ksp \simeq kq \otimes HZ^{\mathbb{R}}_1$$
   donde $HZ^{\mathbb{R}}_1$ es el primer espectro Brown-Gitler integral motivico. Esto generaliza un resultado clásico de Mahowald sobre $bsp \simeq bo \otimes HZ_1$.
4. Nuevas Estructuras Algebraicas: Se introducen y clasifican módulos específicos sobre $\text{Ext}_{A(1)^\vee_{\mathbb{R}}}(M^{\mathbb{R}}_2)$ (denominados "big flag", "diamond", "staircase", etc.) que capturan la estructura periódica de los grupos de homotopía.

4. Resultados Principales

• Teorema A: La página $E_2$ de la sucesión espectral de Adams motivica $mASS_{\mathbb{R}}(kq \otimes kq)$ es isomorfa a:
  $$\bigoplus_{k \ge 0} \Sigma^{4k, 2k} \text{Ext}_{A(1)^\vee_{\mathbb{R}}}^{*,*,*}(M^{\mathbb{R}}_2, B^{\mathbb{R}}_0(k))$$
  y colapsa en $E_2$. La descripción se da módulo torsión $v_1$.
• Teorema B: Se generaliza el resultado para el anillo de cooperaciones de $n$ copias de $kq$, describiendo la página $E_1$ de la resolución $kq$ sobre $\mathbb{R}$ como un módulo sobre $\pi_{**}^{\mathbb{R}}(kq)$.
• Teorema C y D: Se establece la equivalencia $ksp \simeq HZ^{\mathbb{R}}_1 \otimes kq$ y se calcula la página $E_2$ para $ksp$, demostrando también su colapso en $E_2$.
• Corrección de la Literatura: El autor corrige un error en el trabajo previo de Culver-Quigley sobre el caso complejo, mostrando que la fórmula para los grupos Ext de los comodules Brown-Gitler debe incluir torres adicionales de $h_0$ que no estaban presentes en la descripción original.

5. Significancia

• Avance en Homotopía Motivica Real: Este trabajo llena un vacío crucial en la comprensión de la homotopía motivica sobre $\mathbb{R}$, un caso fundamental debido a su conexión con la topología equivariante bajo la acción de $C_2$ (conjugación compleja).
• Herramienta para la Torsión $v_1$: El anillo de cooperaciones calculado es el insumo necesario para estudiar la parte libre de torsión $v_1$ de los grupos de homotopía de la esfera motivica $\pi_{**}^{\mathbb{R}}(S)$. Esto es análogo a cómo la resolución $bo$ permitió entender la torsión $v_1$ en la topología clásica.
• Conexión con Teoría Equivariante: Los resultados tienen implicaciones directas para la teoría de homotopía $C_2$-equivariante. El autor señala que los cálculos de Ext realizados aquí son esenciales para resolver problemas sobre la descomposición de $ko_{C_2} \otimes ko_{C_2}$, un problema abierto en la teoría equivariante.
• Método Algebraico Robusto: Al demostrar que se puede realizar un cálculo profundo sin depender de la existencia de espectros Brown-Gitler geométricos (que aún no se han construido en general), el artículo establece un nuevo paradigma metodológico para futuros cálculos en bases más generales (como $\mathbb{Q}$ o cuerpos finitos).

En resumen, el artículo proporciona una descripción algebraica completa y rigurosa de las cooperaciones de la K-teoría Hermitiana sobre los reales, resolviendo problemas de colapso espectral y estableciendo bases para futuros estudios en homotopía motivica y equivariante.