Rationality problem for norm one tori of tensor products of étale algebras and Hasse norm principle

Resumen Técnico: Racionalidad de Toros de Normas Unitarias de Productos Tensoriales de Álgebras Étale y el Principio de Normas de Hasse

1. Planteamiento del Problema
El artículo aborda dos problemas interconectados en la geometría aritmética de toros algebraicos sobre un cuerpo $k$:

1. El Problema de la Racionalidad: Dados dos toros algebraicos $k$-definidos $T_1$ y $T_2$ que poseen una propiedad de racionalidad específica $P$ (tales como racionalidad $k$-estable o racionalidad $k$-retracto), ¿posee también su producto tensorial $T_1 \otimes_k T_2$ la propiedad $P$? Específicamente, los autores investigan el toro de norma unitaria $T_{A \otimes B} = R^{(1)}_{A \otimes B/k}(\mathbb{G}_m)$ asociado al producto tensorial de dos álgebras étale $k$-definidas $A$ y $B$.
2. El Principio de Normas de Hasse: Para cuerpos globales $k$, ¿se cumple el principio de normas de Hasse para la extensión de cuerpos $K/k$ (o el álgebra étale $A/k$) construida como un producto tensorial de extensiones de grados coprimos?

Aunque la respuesta general a la pregunta de racionalidad es negativa, los autores identifican condiciones específicas bajo las cuales la propiedad se preserva, generando así nuevos ejemplos de toros estables y retracto racionales y estableciendo la validez del principio de normas de Hasse para estos casos.

2. Metodología
Los autores emplean un enfoque constructivo basado en la cohomología de grupos finitos y la teoría de $G$-retículos (donde $G$ es el grupo de Galois del cuerpo de descomposición). La metodología central implica:

• Resoluciones Flacas: Utilizando la correspondencia entre toros algebraicos y $G$-retículos, la racionalidad de un toro $T$ se determina mediante la "clase flaca" $[M]_{fl}$ de su módulo de caracteres $M$. $T$ es racionalmente estable si $[M]_{fl} = 0$ y racionalmente retracto si $[M]_{fl}$ es invertible.
• Orden de Permutación ($p$-ord): El artículo introduce un nuevo invariante para un $G$-retículo $M$, denotado $p\text{-ord}(M)$. Este se define como el menor entero $a \geq 1$ tal que $a \cdot \text{Id}_M$ se factoriza a través de un $G$-retículo de permutación. Este invariante sirve como medida de cuán lejos está un retículo de ser un sumando directo de un retículo de permutación.
• Productos Tensoriales de Extensiones: Los autores desarrollan herramientas cohomológicas explícitas para manejar productos tensoriales de extensiones de $G$-retículos. Mediante el análisis de las secuencias exactas asociadas a los mapas de augmentación (por ejemplo, $0 \to I_X \to \mathbb{Z}[X] \to \mathbb{Z} \to 0$), construyen resoluciones para productos tensoriales de retículos.
• Condiciones de Coprimalidad: El mecanismo técnico central depende de la condición de que los órdenes de permutación de los módulos de caracteres de los toros constituyentes sean coprimos. Esto permite la división de ciertas secuencias exactas que involucran productos tensoriales, asegurando que la clase flaca del producto se comporte de manera predecible.

3. Contribuciones y Resultados Clave

• Teorema Principal sobre Racionalidad de Toros (Teorema 6.15):
  Sean $T_1$ y $T_2$ toros algebraicos $k$-definidos con módulos de caracteres $M_1$ y $M_2$. Si los órdenes de permutación $d_1 = p\text{-ord}(M_1)$ y $d_2 = p\text{-ord}(M_2)$ satisfacen $\gcd(d_1, d_2) = 1$, entonces:

  • Si $T_1$ y $T_2$ son estables $k$-racionales, entonces $T_1 \otimes_k T_2$ es estable $k$-racional.
  • Si $T_1$ y $T_2$ son retracto $k$-racionales, entonces $T_1 \otimes_k T_2$ es retracto $k$-racional.

• Aplicación a Toros de Norma Unitaria (Teorema 7.4):
  Sean $A = \prod K_i$ y $B = \prod E_j$ álgebras étale $k$-definidas con grados $m_i = [K_i:k]$ y $n_j = [E_j:k]$. Si $\gcd(m_i, n_j) = 1$ para todo $i, j$, y si los toros de norma unitaria $T_A$ y $T_B$ son estables (respectivamente, retracto) $k$-racionales, entonces:

  • El toro algebraico $T_A \otimes_k T_B$ es estable (respectivamente, retracto) $k$-racional.
  • El toro de norma unitaria $T_{A \otimes B}$ del álgebra producto tensorial es estable (respectivamente, retracto) $k$-racional.
  • En el caso específico donde $A$ y $B$ son extensiones de cuerpos de grados coprimos, $A \otimes_k B$ es una extensión de cuerpos, y su toro de norma unitaria hereda la propiedad de racionalidad.

• Principio de Normas de Hasse (Teorema 8.1 y Corolarios):
  Para un cuerpo global $k$, si $K = K_1 \otimes_k \cdots \otimes_k K_t$ es una composición de extensiones separables finitas con grados $[K_i:k]$ dos a dos coprimos, y si los toros de norma unitaria individuales $T_{K_i}$ son estables o retracto racionales, entonces:

  • El principio de normas de Hasse se cumple para $K/k$.
  • La propiedad de aproximación débil se cumple para $T_K$.
  • Esto se deriva de la anulación del grupo de Brauer no ramificado (o equivalentemente, la anulación del grupo de Shafarevich-Tate) para el toro resultante, lo cual sigue de los resultados de racionalidad.

• Clasificaciones Explícitas (Secciones 8.1–8.3):
  Los autores proporcionan tablas detalladas que clasifican los grupos de Galois $G = \text{Gal}(L/k)$ para los cuales el toro de norma unitaria de una extensión compuesta $K/k$ (con grado $n \leq 30$) es estable o retracto racional. Estos incluyen casos donde $G$ es un subproducto directo de grupos asociados a las extensiones individuales (por ejemplo, $G \leq S_{n_1} \times S_{n_2}$). Listan explícitamente casos para $n=6, 10, 12, 14, 15$ y extienden la clasificación a $18 \leq n \leq 30$.

4. Significado y Afirmaciones
El artículo afirma proporcionar un método sistemático para generar nuevos ejemplos de toros de norma unitaria estables y retracto racionales combinando los existentes mediante productos tensoriales, siempre que sus grados (o más precisamente, sus órdenes de permutación) sean coprimos.

• Novedad del Invariante: La introducción del "orden de permutación" $p\text{-ord}(M)$ se destaca como una herramienta sistemática que no había sido estudiada previamente en este contexto, permitiendo un criterio preciso (coprimalidad) para la preservación de la racionalidad bajo productos tensoriales.
• Pruebas Constructivas: Las pruebas se describen como constructivas, basándose en manipulaciones explícitas de resoluciones flacas de $G$-retículos en lugar de argumentos abstractos de existencia.
• Implicaciones Aritméticas: Los resultados vinculan directamente la propiedad geométrica de la racionalidad con el principio aritmético de normas de Hasse. Al establecer la racionalidad para extensiones compuestas de grados coprimos, los autores confirman el principio de normas de Hasse para estas extensiones de cuerpos específicas sobre cuerpos globales.
• Limitaciones: Los autores señalan que la condición de coprimalidad es necesaria; proporcionan ejemplos (Ejemplo 7.6) donde el producto tensorial de dos toros estables racionales falla en ser retracto racional si los grados comparten un factor común. También reconocen que el problema general de la $k$-racionalidad (en oposición a la estable o retracto) para productos tensoriales con $r \geq 3$ permanece abierto.

En resumen, el artículo establece un marco robusto para comprender el comportamiento de las propiedades de racionalidad bajo productos tensoriales de toros algebraicos, aprovechando específicamente la coprimalidad de los grados para asegurar la preservación de estas propiedades y la validez del principio de normas de Hasse para las extensiones de cuerpos resultantes.