Hasse norm principle for extensions of prime squared degree

Resumen Técnico: Principio de la Norma de Hasse para Extensiones de Grado de un Cuadrado de un Primo

Planteamiento del Problema
El artículo aborda la validez del principio de la norma de Hasse (HNP, por sus siglas en inglés) para extensiones de cuerpos finitos separables $K/k$ de cuerpos globales. Específicamente, busca una condición equivalente para que el HNP se cumpla cuando el grado de la extensión es $d = p^2$, donde $p$ es un primo impar. La obstrucción al HNP se mide mediante el grupo $X(K/k) := (k^\times \cap N_{K/k}(A_K^\times)) / N_{K/k}(K^\times)$. El HNP se cumple si y solo si $X(K/k) = 1$. Si bien el problema está totalmente resuelto para grados primos, grado 4, grado 6 y grados $8 \le d \le 15$, el caso de los grados de un cuadrado de un primo impar ($d=p^2$) permanecía incompleto, contando solo con resultados parciales disponibles (por ejemplo, para extensiones "adecuadas").

Metodología
El autor emplea un enfoque cohomológico que vincula la aritmética de las extensiones de cuerpos con la teoría de grupos de sus grupos de Galois. La metodología central consiste en:

1. Traducción Cohomológica: Utilizando el isomorfismo entre el grupo de obstrucción $X(K/k)$ y el grupo de Tate–Shafarevich del toro de norma uno $T_{K/k}$. Esto se relaciona además con el segundo grupo de cohomología del grupo de Galois $G = \text{Gal}(\tilde{K}/k)$ con coeficientes en un $G$-retículo específico, el módulo de Chevalley $J_{G/H}$, donde $H = \text{Gal}(\tilde{K}/K)$. Específicamente, el estudio se centra en el grupo $X^2_\omega(G, J_{G/H})$, definido como el núcleo de la aplicación de restricción de $H^2(G, J_{G/H})$ al sumatorio directo de los grupos de cohomología sobre todos los subgrupos cíclicos de $G$.
2. Clasificación Teórica de Grupos: El artículo analiza los grupos transitivos de grado $p^2$. Se apoya en la clasificación de tales grupos por Dobson y Witte, distinguiendo los casos basados en la estructura del subgrupo de $p$-Sillow $P$ de $G$.
3. Análisis de Casos:
   • $p$-grupos: El autor calcula $X^2_\omega(G, J_{G/H})$ para $p$-grupos de grado $p^2$. Esto implica un análisis detallado del exponente del grupo (ya sea $p$ o $p^2$), utilizando sucesiones exactas de $G$-retículos, la descomposición de Mackey y propiedades del multiplicador de Bogomolov. Una técnica clave consiste en elevar el problema a un producto semidirecto (wreath product) para manejar los casos donde las aplicaciones de restricción en la tercera cohomología no son inyectivas.
   • Caso General: Para grupos que no son $p$-grupos, el artículo utiliza la estructura de los grupos transitivos para reducir el problema ya sea a un producto de grupos transitivos de grado $p$ o a un producto semidirecto de la forma $(C_p)^2 \rtimes G^\dagger$, donde $G^\dagger$ es un subgrupo de $\text{GL}_2(\mathbb{F}_p)$.
4. Grupos de Representación Generalizados: Para calcular la cohomología para la estructura específica de producto semidirecto, el autor construye grupos de representación generalizados (extensiones centrales) y aplica resultados de Drakokhrust y Macedo–Newton relativos a los subgrupos focales y la estructura de los grupos de automorfismos exteriores de $p$-grupos extraspeciales.

Contribuciones y Resultados Clave
El artículo proporciona una caracterización completa del principio de la norma de Hasse para extensiones de grado $p^2$ ($p$ impar).

• Teorema 1.3 (Resultado Principal): Sea $K/k$ una extensión separable finita de grado $p^2$ con cierre de Galois $\tilde{K}$, grupo de Galois $G$ y estabilizador $H$.
  • Si $X(K/k) \neq 1$, entonces $G$ debe ser isomorfo a $(C_p)^2 \rtimes_\phi G^\dagger$ y $H \cong \{1\} \rtimes_\phi G^\dagger$, donde $G^\dagger$ es un subgrupo de $\text{SL}_2(\mathbb{F}_p)$ y $\phi$ es inducida por la representación estándar.
  • Si esta condición estructural se cumple, entonces $X(K/k) \cong \mathbb{Z}/p$ si ningún grupo de descomposición de $\tilde{K}/k$ contiene un subgrupo isomorfo a $(C_p)^2$; de lo contrario, $X(K/k) = 1$.
• Recuperación de Resultados Previos: El teorema recupera el resultado de Drakokhrust y Platonov, que establece que el HNP se cumple para extensiones $k$-adecuadas de grado $p^2$. El artículo proporciona una nueva prueba de este hecho sin depender de la clasificación de los subgrupos de $\text{SL}_2(\mathbb{F}_p)$, derivando las condiciones necesarias directamente de los cálculos cohomológicos.
• Toros de Norma Uno y Aproximación Débil: El artículo establece una condición equivalente para la no anulación del grupo de Brauer no ramificado $H^1(k, \text{Pic}(X))$ de una compactificación suave del toro de norma uno $T_{K/k}$. Además, determina la estructura del defecto de aproximación débil $A_k(T_{K/k})$, mostrando que es isomorfo a $\mathbb{Z}/p$ bajo las mismas condiciones estructurales sobre $G$ y la ausencia de $(C_p)^2$ en los grupos de descomposición.
• Cálculos Cohomológicos: El núcleo técnico (Secciones 4 y 5) proporciona cálculos explícitos de $X^2_\omega(G, J_{G/H})$ para grupos transitivos de grado $p^2$. Demuestra que este grupo se anula a menos que $G$ posea la estructura específica de producto semidirecto que involucra a un subgrupo de $\text{SL}_2(\mathbb{F}_p)$.

Significancia
El artículo afirma resolver la Pregunta 1.1 (determinar condiciones equivalentes para el HNP) de manera completa para todos los grados de cuadrado de un primo $d=p^2$. Al combinar los resultados para primos impares con el caso previamente conocido de $d=4$, ofrece una solución completa para grados de cuadrado de un primo arbitrarios. El trabajo es significativo para:

1. Completar la Clasificación: Llena un vacío en la literatura respecto al HNP para grados $p^2$ donde $p$ es un primo impar.
2. Rigor Metodológico: Proporciona una prueba alternativa, libre de computación, para el caso $p=3$ (grado 9), el cual había sido establecido previamente utilizando métodos computacionales.
3. Unificación: Unifica el estudio del HNP, el grupo de Brauer no ramificado de los toros de norma uno y el defecto de aproximación débil bajo un único marco cohomológico dependiente de la estructura del grupo de Galois.

El autor señala que la prueba no depende de la clasificación exhaustiva de los subgrupos de $\text{SL}_2(\mathbb{F}_p)$, ofreciendo así una derivación más estructural y autónoma de las condiciones necesarias y suficientes.