The rationality problem for multinorm one tori, II

Resumen Técnico: El Problema de la Racionalidad para Toros de Normas Múltiples, II

1. Planteamiento del Problema

El artículo aborda el problema de la racionalidad para toros de normas múltiples (multinorm one tori), denotados como $T_{K/k}$. Dado un cuerpo $k$ y un álgebra étale finita $K = \prod_{i=1}^r K_i$ sobre $k$ (producto de extensiones de campos separables), el toro se define como el núcleo de la norma:
$$T_{K/k} := \text{Ker}(N_{K/k} : \text{Res}_{K/k} \mathbb{G}_m \to \mathbb{G}_m)$$
El objetivo central es determinar bajo qué condiciones este toro es racionalmente estable (stably rational) o racionalmente retracto (retract rational) sobre $k$.

Estas propiedades son fundamentales en la teoría de campos y geometría algebraica, ya que implican la existencia de soluciones racionales a ciertas ecuaciones y la estructura del grupo de Brauer. La jerarquía de racionalidad es:
$$\text{Racional} \implies \text{Establemente Racional} \implies \text{Racional por Retracción} \implies \text{Unirracional}$$

El trabajo se organiza según el máximo común divisor $d_k(K)$ de los grados de las extensiones que componen $K$:
$$d_k(K) := \gcd([K_1:k], \dots, [K_r:k])$$

2. Metodología

La metodología se basa en la correspondencia clásica entre la racionalidad de toros algebraicos y la teoría de retículos (lattices) bajo la acción de grupos de Galois.

1. Traducción a Retículos: Sea $L/k$ una extensión de Galois que contiene a todos los $K_i$, con grupo de Galois $G = \text{Gal}(L/k)$. El toro $T_{K/k}$ es establemente racional (resp. racional por retracto) si y solo si su módulo de caracteres $X^*(T_{K/k})$ es un retículo $G$ cuasi-permutación (resp. cuasi-invertible).
2. Estructura del Módulo de Caracteres: El módulo de caracteres se identifica con un retículo específico $J_{G/\mathcal{H}}$, definido mediante una secuencia exacta relacionada con los subgrupos de estabilizadores $\mathcal{H} = \{\text{Gal}(L/K_i)\}$.
3. Herramientas de Teoría de Grupos:
   • Uso de resoluciones coflabby y flabby para analizar la clase de similitud del retículo en el monoide de clases de retículos $S(G)$.
   • Reducción a subgrupos de Sylow: Se demuestra que la propiedad de ser cuasi-invertible puede verificarse localmente en los subgrupos de Sylow de $G$ que dividen a $d_k(K)$.
   • Análisis de casos específicos: Se estudian grupos de Galois con subgrupos de Sylow cíclicos y grupos diédricos ($D_n$).

3. Contribuciones Clave y Resultados Principales

El artículo generaliza y refina resultados previos (como los de Endo-Miyata y trabajos anteriores de los mismos autores) en los siguientes aspectos:

A. Caso $d_k(K) = 1$ (Racionalidad Estable)

• Teorema 1.1: Si el máximo común divisor de los grados es 1, el toro $T_{K/k}$ es establemente racional sobre $k$.
• Mecanismo: Se demuestra que el retículo $J_{G/\mathcal{H}} \oplus \mathbb{Z}$ es un retículo de permutación, lo que implica la racionalidad estable.

B. Criterios para la Falta de Racionalidad por Retracción ($d_k(K) > 1$)
Los autores establecen condiciones suficientes para que el toro no sea racional por retracto:

• Teorema 1.2 (Caso $d=2$): Si $d_k(K)=2$, el toro no es racional por retracto si se cumplen ciertas condiciones de intersección entre las clausuras de Galois de los factores y sus grados son múltiplos de 4, o si existen tres factores con intersecciones triviales entre sus clausuras y los otros factores.
• Teorema 1.3 (Caso $d \geq 3$): Si $d_k(K) \geq 3$ y existe al menos un par de factores $K_i, K_j$ tal que la clausura de Galois de uno no intersecta al otro (salvo en $k$), entonces el toro no es racional por retracto.
• Importancia: Estos resultados debilitan las hipótesis necesarias en trabajos anteriores (como Demarche-Wei), mostrando que la no racionalidad ocurre en un rango más amplio de configuraciones.

C. Criterio General para Grupos con Subgrupos de Sylow Cíclicos

• Teorema 1.5: Generaliza resultados de Endo-Miyata (1975) y Endo (2011). Si el grupo de Galois $G$ tiene todos sus subgrupos de Sylow cíclicos, se proporciona una condición necesaria y suficiente para la racionalidad por retracto.
• Condición: El toro es racional por retracto siempre, pero es establemente racional si y solo si el conjunto de divisores primos de $d_k(K)$ no intersecta con un conjunto específico $P^*(G)$ de primos que definen ciertas propiedades de normalidad y acción de conjugación en los subgrupos de Sylow.

D. Caso de Extensiones Diédricas ($G \cong D_n$)

• Teorema 1.7: Analiza el caso donde el toro se descompone sobre una extensión diédrica.
  • Si $d_k(K)$ es impar, el toro es establemente racional.
  • Si $d_k(K)$ es par, la racionalidad estable es equivalente a la racionalidad por retracto. Se da una clasificación completa de cuándo esto ocurre, dependiendo de la estructura de los subgrupos intermedios y la paridad de $d_k(K)$ respecto a $n$.
• Contribución Técnica: La prueba para el caso donde $K$ no es un campo (es decir, $r \geq 2$) requiere una resolución coflabby explícita de retículos sobre grupos diédricos, desarrollada en la Sección 7 del artículo.

4. Significado e Impacto

1. Unificación de Resultados: El trabajo unifica la teoría de racionalidad para toros de norma única (caso $r=1$) y toros de normas múltiples (caso $r \geq 2$), mostrando cómo el parámetro $d_k(K)$ actúa como el divisor principal del comportamiento racional.
2. Avance en la Teoría de Retículos: La construcción explícita de resoluciones coflabby para retículos sobre grupos diédricos (Sección 7) es un aporte técnico significativo que permite resolver casos que antes eran inaccesibles con métodos generales.
3. Aplicabilidad: Los criterios obtenidos (Teoremas 1.2 y 1.3) permiten descartar la racionalidad por retracto en configuraciones algebraicas más generales, lo cual es crucial para entender la estructura de los grupos de Brauer no ramificados y la obstrucción de Manin en variedades algebraicas.
4. Generalización: Extiende la validez de los teoremas de Endo y Miyata más allá de los campos, abarcando álgebras étale arbitrarias bajo condiciones de descomposición Galoisiana específicas.

En conclusión, este artículo cierra brechas importantes en la clasificación de la racionalidad de toros de normas múltiples, proporcionando criterios computables basados en la aritmética de los grados de las extensiones y la estructura de sus grupos de Galois.