On the Existence of the Maximal Unramified Pro-$2$-Extension over the Cyclotomic $\mathbb{Z}_2$-Extension with Prescribed Metacyclic Galois Group

Resumen Técnico del Artículo

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de números algebraicos y la teoría de grupos: la realizabilidad de ciertos grupos de Galois como grupos de Galois de la extensión pro-2 no ramificada máxima sobre extensiones ciclotómicas $\mathbb{Z}_2$.

Específicamente, los autores se centran en grupos 2-finitos metabelianos de rango 2, cuya abelianización es isomorfa a $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^n\mathbb{Z}$ (con $n \ge 1$). La literatura previa (Kisilevsky, Benjamin, Snyder, Mizusawa) había estudiado la realizabilidad de estos grupos para $n=1$ (grupos de Klein, cuaternión, diédricos) y para extensiones no ramificadas de campos cuadráticos.

La pregunta central que motivó este trabajo es: ¿Son todas las estructuras de grupos metacíclicos no modulares (clasificados en 4 tipos según sus presentaciones) realizables como el grupo de Galois de la extensión pro-2 no ramificada máxima de ciertas extensiones ciclotómicas $\mathbb{Z}_2$ de campos numéricos?

El estudio se enfoca particularmente en campos multicuadráticos reales (cuadráticos, bicuadráticos y tricuadráticos) y su relación con la conjetura de Greenberg, que postula que el grupo de clases de Iwasawa $A(k_\infty)$ es finito para campos totalmente reales.

2. Metodología

Los autores emplean una combinación sofisticada de teoría de grupos, teoría de campos de clases y teoría de números algebraicos:

• Clasificación de Grupos: Utilizan la clasificación de grupos 2-metacíclicos no modulares (Tipos 1, 2, 3 y 4) basada en sus generadores y relaciones. Se enfocan en el Tipo 1 con $\alpha=2$.
• Teoría de Campos de Clases: Relacionan la estructura del grupo de Galois $G = \text{Gal}(L(k_\infty)/k_\infty)$ con la estructura del grupo de clases de 2-torsión $A(k)$ y sus subextensiones no ramificadas. Utilizan el hecho de que los subgrupos de índice 2 y 4 de $G$ corresponden a extensiones cuadráticas y bicuadráticas no ramificadas.
• Análisis de Rangos: La clave para determinar si el grupo es "metacíclico no modular" radica en el rango del grupo de clases de 2-torsión de las subextensiones intermedias ($F_{i,2}$). Específicamente, utilizan lemas que establecen que $G$ es metacíclico no modular si y solo si el rango de $A(F_{i,2})$ es 2 para todas las subextensiones cuadráticas no ramificadas.
• Fórmulas de Números de Clase y Unidades: Aplican fórmulas de Kuroda-Wada para calcular el número de clases de campos multicuadráticos. Utilizan el método de Wada para determinar el sistema fundamental de unidades y el índice $q(k)$, lo cual es crucial para calcular el número de clases de 2-torsión ($h_2$).
• Teorema de Fukuda: Emplean este teorema para demostrar la estabilidad del rango y el orden del grupo de clases a lo largo de la torre de extensiones $\mathbb{Z}_2$ ($k_n$), asegurando que si se estabiliza en una capa, se mantiene para todas las capas superiores.
• Condiciones de Reciprocidad Cuártica: Utilizan símbolos de reciprocidad cuártica ($\left(\frac{r}{s}\right)_4$) y propiedades de las unidades fundamentales ($N(\varepsilon_{rs}) = 1$) para distinguir entre diferentes estructuras de grupos de Galois.

3. Contribuciones Clave

1. Condiciones Necesarias y Suficientes: Proporcionan condiciones explícitas sobre primos $q, r, s$ y parámetros $\eta \in \{1, 2\}$ para que la extensión pro-2 no ramificada máxima sobre la extensión ciclotómica $\mathbb{Z}_2$ de un campo cuadrático real $F = \mathbb{Q}(\sqrt{\eta qrs})$ tenga un grupo de Galois isomorfo a un grupo metacíclico no modular de Tipo 1 con $\alpha=2$.
2. Nuevas Técnicas para la Conjetura de Greenberg: Desarrollan métodos para estudiar la estabilidad del 4-rango del grupo de clases en extensiones ciclotómicas $\mathbb{Z}_2$, un aspecto más desafiante que el estudio del 2-rango.
3. Construcción de Familias de Campos: Construyen familias explícitas de campos:
   • Cuadráticos reales $F = \mathbb{Q}(\sqrt{\eta qrs})$.
   • Bicuadráticos reales $K = \mathbb{Q}(\sqrt{\eta q}, \sqrt{rs})$.
   • Tricuadráticos reales $F = \mathbb{Q}(\sqrt{\eta q}, \sqrt{r}, \sqrt{s})$.
     Que satisfacen la conjetura de Greenberg y poseen estructuras de grupos de Iwasawa específicas.

4. Resultados Principales

• Teorema 3.10 (Campos Cuadráticos):
  Para primos $q \equiv 3 \pmod 4$ y $r, s \equiv 5 \pmod 8$ satisfaciendo ciertas condiciones de reciprocidad cuadrática y de norma de unidades, se demuestra que:

  • $A(F) \simeq A(F_\infty) \simeq \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^m\mathbb{Z}$.
  • El grupo de Galois $\text{Gal}(L(F_\infty)/F_\infty)$ es un grupo metacíclico no modular de Tipo 1 con $\alpha=2$ si y solo si $\left(\frac{r}{s}\right)_4 \neq \left(\frac{s}{r}\right)_4$.
  • Si $\left(\frac{r}{s}\right)_4 = \left(\frac{s}{r}\right)_4 = 1$, la estructura del grupo cambia (no es de Tipo 1 con $\alpha=2$).

• Corolario 3.12 (Campos Bicuadráticos):
  Se construyen familias de campos bicuadráticos $K = \mathbb{Q}(\sqrt{\eta q}, \sqrt{rs})$ que satisfacen la conjetura de Greenberg con:

  • $A(K) \simeq A(K_\infty) \simeq \mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$ (bajo la condición $\left(\frac{r}{s}\right)_4 \neq \left(\frac{s}{r}\right)_4$).
  • Esto demuestra la existencia de módulos de Iwasawa con 4-rango igual a 2 y 8-rango igual a 1.

• Teorema 3.15 (Campos Tricuadráticos):
  Para campos tricuadráticos $F = \mathbb{Q}(\sqrt{\eta q}, \sqrt{r}, \sqrt{s})$ bajo las mismas hipótesis:

  • $A(F) \simeq A(F_\infty) \simeq \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$.
  • El grupo de Galois de la extensión no ramificada máxima es abeliano.
  • Este resultado llena un vacío en la literatura sobre módulos de Iwasawa de campos tricuadráticos reales.

• Ejemplos Numéricos:
  Los autores proporcionan tablas detalladas (Tablas 5 y 6) con ejemplos concretos de primos $(q, r, s)$ que cumplen las condiciones teóricas, calculando explícitamente los grupos de clases y verificando las condiciones de reciprocidad cuártica.

5. Significado e Impacto

• Avance en el Problema Inverso de Galois: El trabajo responde afirmativamente a la pregunta de realizabilidad para el Tipo 1 de grupos metacíclicos no modulares en el contexto de extensiones $\mathbb{Z}_2$, un problema abierto recientemente investigado por Azizi, Rezzougui y Zekhnini.
• Refinamiento de la Conjetura de Greenberg: Al demostrar la estabilidad del grupo de clases y la estructura del módulo de Iwasawa para familias específicas de campos reales, el artículo aporta evidencia sólida y constructiva a favor de la conjetura de Greenberg en estos casos.
• Herramientas para el Estudio de Rangos: La metodología desarrollada para analizar la estabilidad del 4-rango en la torre de Iwasawa ofrece nuevas herramientas para futuros investigadores que estudien la estructura fina de los grupos de clases en extensiones infinitas.
• Clasificación Estructural: La distinción precisa entre cuándo el grupo de Galois es metacíclico no modular y cuándo es abeliano (o de otro tipo) basada en símbolos de reciprocidad cuártica proporciona una comprensión más profunda de la interacción entre la teoría de números (reciprocidad) y la teoría de grupos (estructura de Galois).

En conclusión, el artículo establece un marco teórico y práctico riguroso para la construcción de campos numéricos con grupos de Galois no ramificados predecibles y específicos, resolviendo casos particulares de realizabilidad de grupos metacíclicos y avanzando en la comprensión de la aritmética de los campos multicuadráticos reales.