On capitulations of even $K$-groups and pseudo-null submodules in $\mathbb{Z}_p^d$-extensions

Resumen Técnico: Capitulación de Grupos K-pares y submódulos pseudo-nulos en extensiones $\mathbb{Z}_p^d$

Planteamiento del Problema
El artículo investiga la relación entre la capitulación de ideales en extensiones $\mathbb{Z}_p^d$ y la existencia de submódulos pseudo-nulos no triviales dentro de los módulos de Iwasawa clásicos. Trabajos previos de Ozaki (para extensiones $\mathbb{Z}_p$) y Fujii (para extensiones $\mathbb{Z}_p^d$ con $d \ge 2$) establecieron que la no trivialidad del submódulo finito máximo del límite inverso de los grupos de clase de ideales es equivalente a la no trivialidad del núcleo de la aplicación de capitulación para alguna subextensión finita. Sin embargo, los resultados de Fujii para $d \ge 2$ requerían restricciones estrictas: el campo base $F$ debe tener un solo primo sobre $p$, y este primo debe estar totalmente ramificado en la extensión.

Este artículo busca establecer resultados análogos para los grupos K-pares ($K_{2i}$) en lugar de los grupos de clase de ideales. Específicamente, pretende determinar si la no trivialidad del submódulo pseudo-nulo máximo del límite inverso de los grupos $K_{2i}$ ($X_{2i, F_\infty}$) es equivalente a la no trivialidad del núcleo de capitulación para alguna subextensión finita, y si estos resultados K-teóricos pueden proporcionar nuevas condiciones suficientes para la existencia de submódulos pseudo-nulos en los módulos de Iwasawa clásicos sin las restrictivas suposiciones de ramificación requeridas por Fujii.

Metodología
El autor emplea una combinación de K-teoría algebraica y teoría de Iwasawa, aprovechando las siguientes herramientas clave:

1. Identificación con la Cohomología de Galois: Utilizando los mapas de clase de Chern $p$-ádicos y los profundos resultados de Rost y Voevodsky, el artículo identifica la parte $p$-primaria de los grupos K-pares, $K_{2i}(\mathcal{O}_L)[p^\infty]$, con el segundo grupo de cohomología de Galois $H^2(G_S(L), \mathbb{Z}_p(i+1))$. Esto permite la traslación de los problemas K-teóricos al lenguaje de la cohomología de Iwasawa.
2. Cohomología de Iwasawa y Descenso: El módulo de límite inverso $X_{2i, F_\infty}$ se identifica con el segundo grupo de cohomología de Iwasawa $H^2_{Iw}(F_\infty/F, \mathbb{Z}_p(i+1))$. La estrategia de prueba se apoya fuertemente en la secuencia espectral de descenso de Tate para la cohomología de Iwasawa (Proposición 2.3), que relaciona la cohomología de la extensión completa con la de las subextensiones.
3. Análisis de Módulos: El artículo analiza la estructura de los módulos de tipo finito generados sobre el álgebra de Iwasawa $\mathbb{Z}_p[[G]]$ (donde $G \cong \mathbb{Z}_p^d$). Lemas clave (3.3–3.6) establecen propiedades respecto a los submódulos pseudo-nulos, su comportamiento bajo la restricción a subgrupos y la dimensión proyectiva de estos módulos.
4. Propiedades de Descenso de Galois: Una distinción metodológica crucial señalada por el autor es que los grupos K-pares disfrutan de propiedades de descenso de Galois más fuertes en comparación con los grupos de clase de ideales. Esta propiedad permite al autor sortear las estrictas restricciones sobre el número de primos $p$-ádicos y su ramificación que eran necesarias en el trabajo de Fujii sobre los grupos de clase.

Contribuciones Clave y Resultados

• Análogo del Teorema de Ozaki ($d=1$): El Teorema 1.1 (Teorema 3.1) establece que, para una extensión $\mathbb{Z}_p$ $F_\infty$, el submódulo pseudo-nulo máximo $X^0_{2i, F_\infty}$ es no nulo si y solo si existe una subextensión finita $L$ tal que el núcleo de capitulación $\ker(K_{2i}(\mathcal{O}_L)[p^\infty] \to A_{2i, F_\infty})$ es no nulo.
• Análogos de los Teoremas de Fujii ($d \ge 2$):
  • Teorema 1.2 (Teorema 3.2): Si $X^0_{2i, F_\infty} \neq 0$ para una extensión $\mathbb{Z}_p^d$ ($d \ge 2$), entonces el núcleo de capitulación es no trivial para alguna subextensión finita. Este resultado se sostiene sin la suposición de que $F$ tenga un solo primo sobre $p$ o que esté totalmente ramificado.
  • Teorema 1.3 (Teorema 3.7): Inversamente, si $K_{2i}(\mathcal{O}_F)[p^\infty]$ es un grupo cíclico no trivial y el núcleo de capitulación es no trivial para alguna subextensión finita, entonces $X^0_{2i, F_\infty} \neq 0$.
• Resultado de Dimensión Proyectiva: Como consecuencia (Teorema 1.4/Teorema 3.8), el artículo demuestra que si el núcleo de capitulación es no trivial para una extensión $\mathbb{Z}_p^d$ ($d \ge 2$), la dimensión proyectiva de $X_{2i, F_\infty}$ como un módulo $\mathbb{Z}_p[[G]]$ es al menos 2. Esto se presenta como una observación estructural para el segundo grupo de cohomología de Iwasawa que va más allá de los resultados conocidos anteriormente.
• Aplicación a los Módulos de Iwasawa Clásicos: El artículo aplica el Teorema 3.7 para derivar una condición suficiente para la existencia de submódulos pseudo-nulos no triviales en el módulo de Iwasawa clásico $X_{E_\infty}$ (donde $E_\infty = F_\infty(\mu_p)$). Bajo la suposición de que los primos de $F(\zeta + \zeta^{-1})$ sobre $p$ no se escinden en $F(\mu_p)$ (Condición $S_p$), y dadas condiciones específicas sobre la capitulación de los grupos $K_{2i}$ y la ciclicidad de $K_{2i}(\mathcal{O}_F)[p^\infty]$, el artículo concluye que $X^0_{E_\infty} \neq 0$.

Significancia y Reivindicaciones
El artículo afirma que su principal significancia radica en extender la relación conocida entre la capitulación y los submódulos pseudo-nulos desde los grupos de clase de ideales hacia los grupos K-pares. Al utilizar las propiedades de descenso de Galois más fuertes de los grupos K, el autor logra eliminar las restrictivas condiciones de ramificación (primo único, ramificación total) requeridas en los teoremas de Fujii para $d \ge 2$.

Además, el artículo postula que el resultado estructural respecto a la dimensión proyectiva de $X_{2i, F_\infty}$ (Teorema 3.8) representa una nueva visión sobre la estructura de los segundos grupos de cohomología de Iwasawa, los cuales son centrales para la Conjetura Principal de la teoría de Iwasawa pero permanecen insuficientemente comprendidos en general.

El autor señala explícitamente su modestia respecto a la aplicación a los grupos de clase clásicos: si bien los resultados K-teóricos proporcionan una condición suficiente para la existencia de submódulos pseudo-nulos en $X_{E_\infty}$, el artículo no establece una equivalencia directa entre la capitulación de los grupos K y la capitulación de los grupos de clase de ideales. La relación sigue siendo parcial debido a que la identificación de los grupos K es solo con subespacios propios específicos de los grupos de clase módulo potencias de $p$, dejando la relación estructural completa como un problema abierto para trabajos futuros.