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

Sintesi Tecnica: Razionalità dei Tori di Norme Uno dei Prodotti Tensoriali di Algebre Étale e il Principio di Norme di Hasse

1. Enunciato del Problema
Il lavoro affronta due problemi interconnessi nella geometria aritmetica dei tori algebrici su un campo $k$:

1. Il Problema della Razionalità: Dati due tori algebrici $k$-tori $T_1$ e $T_2$ che possiedono una specifica proprietà di razionalità $P$ (come la $k$-razionalità stabile o la $k$-razionalità per retrazione), anche il loro prodotto tensoriale $T_1 \otimes_k T_2$ possiede la proprietà $P$? In particolare, gli autori investigano il toro di norma uno $T_{A \otimes B} = R^{(1)}_{A \otimes B/k}(\mathbb{G}_m)$ associato al prodotto tensoriale di due algebre étale $k$-ali $A$ e $B$.
2. Il Principio di Norme di Hasse: Per campi globali $k$, vale il principio di norme di Hasse per l'estensione di campi $K/k$ (o l'algebra étale $A/k$) costruita come prodotto tensoriale di estensioni di gradi coprimi?

Sebbene la risposta generale alla questione della razionalità sia negativa, gli autori identificano condizioni specifiche sotto le quali la proprietà è preservata, generando così nuovi esempi di tori stabili e per retrazione razionali e stabilendo la validità del principio di norme di Hasse per questi casi.

2. Metodologia
Gli autori adottano un approccio costruttivo basato sulla coomologia dei gruppi finiti e sulla teoria dei $G$-reticoli (dove $G$ è il gruppo di Galois del campo di spezzamento). La metodologia centrale comprende:

• Risoluzioni Flabby: Sfruttando la corrispondenza tra tori algebrici e $G$-reticoli, la razionalità di un toro $T$ è determinata dalla "classe flabby" $[M]_{fl}$ del suo modulo dei caratteri $M$. $T$ è stabilmente razionale se $[M]_{fl} = 0$ e per retrazione razionale se $[M]_{fl}$ è invertibile.
• Ordine di Permutazione ($p$-ord): Il lavoro introduce un nuovo invariante per un $G$-reticolo $M$, denotato $p\text{-ord}(M)$. Questo è definito come il più piccolo intero $a \geq 1$ tale che $a \cdot \text{Id}_M$ si fattorizza attraverso un $G$-reticolo di permutazione. Questo invariante funge da misura di quanto un reticolo sia lontano dall'essere un sommand diretto di un reticolo di permutazione.
• Prodotti Tensoriali di Estensioni: Gli autori sviluppano strumenti coomologici espliciti per gestire i prodotti tensoriali di estensioni di $G$-reticoli. Analizzando le successioni esatte associate alle applicazioni di augmentazione (ad esempio, $0 \to I_X \to \mathbb{Z}[X] \to \mathbb{Z} \to 0$), costruiscono risoluzioni per prodotti tensoriali di reticoli.
• Condizioni di Coprimalità: Il meccanismo tecnico centrale si basa sulla condizione che gli ordini di permutazione dei moduli dei caratteri dei tori costituenti siano coprimi. Ciò permette la scissione di certe successioni esatte che coinvolgono prodotti tensoriali, garantendo che la classe flabby del prodotto si comporti in modo prevedibile.

3. Contributi e Risultati Chiave

• Teorema Principale sulla Razionalità dei Tori (Teorema 6.15):
  Siano $T_1$ e $T_2$ tori algebrici $k$-tori con moduli dei caratteri $M_1$ e $M_2$. Se gli ordini di permutazione $d_1 = p\text{-ord}(M_1)$ e $d_2 = p\text{-ord}(M_2)$ soddisfano $\gcd(d_1, d_2) = 1$, allora:

  • Se $T_1$ e $T_2$ sono stabilmente $k$-razionali, allora $T_1 \otimes_k T_2$ è stabilmente $k$-razionale.
  • Se $T_1$ e $T_2$ sono per retrazione $k$-razionali, allora $T_1 \otimes_k T_2$ è per retrazione $k$-razionale.

• Applicazione ai Tori di Norme Uno (Teorema 7.4):
  Siano $A = \prod K_i$ e $B = \prod E_j$ algebre étale $k$-ali con gradi $m_i = [K_i:k]$ e $n_j = [E_j:k]$. Se $\gcd(m_i, n_j) = 1$ per ogni $i, j$, e se i tori di norme uno $T_A$ e $T_B$ sono stabilmente (risp. per retrazione) $k$-razionali, allora:

  • Il toro algebrico $T_A \otimes_k T_B$ è stabilmente (risp. per retrazione) $k$-razionale.
  • Il toro di norme uno $T_{A \otimes B}$ dell'algebra prodotto tensoriale è stabilmente (risp. per retrazione) $k$-razionale.
  • Nel caso specifico in cui $A$ e $B$ sono estensioni di campi di gradi coprimi, $A \otimes_k B$ è un'estensione di campi, e il suo toro di norme uno eredita la proprietà di razionalità.

• Principio di Norme di Hasse (Teorema 8.1 e Corollari):
  Per un campo globale $k$, se $K = K_1 \otimes_k \cdots \otimes_k K_t$ è un composito di estensioni separabili finite con gradi a due a due coprimi $[K_i:k]$, e se i singoli tori di norme uno $T_{K_i}$ sono stabilmente o per retrazione razionali, allora:

  • Il principio di norme di Hasse vale per $K/k$.
  • La proprietà di approssimazione debole vale per $T_K$.
  • Questo deriva dall'annullamento del gruppo di Brauer non ramificato (o equivalentemente, dall'annullamento del gruppo di Shafarevich-Tate) per il toro risultante, che segue dai risultati sulla razionalità.

• Classificazioni Esplicite (Sezioni 8.1–8.3):
  Gli autori forniscono tabelle dettagliate che classificano i gruppi di Galois $G = \text{Gal}(L/k)$ per i quali il toro di norme uno di un'estensione composita $K/k$ (con grado $n \leq 30$) è stabilmente o per retrazione razionale. Questi includono casi in cui $G$ è un sottoprodotto diretto di gruppi associati alle singole estensioni (ad esempio, $G \leq S_{n_1} \times S_{n_2}$). Elenca esplicitamente i casi per $n=6, 10, 12, 14, 15$ ed estende la classificazione a $18 \leq n \leq 30$.

4. Significato e Affermazioni
Il lavoro afferma di fornire un metodo sistematico per generare nuovi esempi di tori di norme uno stabili e per retrazione razionali combinando quelli esistenti tramite prodotti tensoriali, purché i loro gradi (o, più precisamente, i loro ordini di permutazione) siano coprimi.

• Novità dell'Invariante: L'introduzione dell'"ordine di permutazione" $p\text{-ord}(M)$ è evidenziata come uno strumento sistematico che non era stato precedentemente studiato in questo contesto, permettendo un criterio preciso (la coprimalità) per la preservazione della razionalità sotto prodotti tensoriali.
• Dimostrazioni Costruttive: Le dimostrazioni sono descritte come costruttive, basandosi su manipolazioni esplicite delle risoluzioni flabby di $G$-reticoli piuttosto che su argomenti di esistenza astratti.
• Implicazioni Aritmetiche: I risultati collegano direttamente la proprietà geometrica della razionalità al principio aritmetico di norme di Hasse. Stabilendo la razionalità per estensioni composte di gradi coprimi, gli autori confermano il principio di norme di Hasse per queste specifiche estensioni di campi su campi globali.
• Limitazioni: Gli autori notano che la condizione di coprimalità è necessaria; forniscono esempi (Esempio 7.6) in cui il prodotto tensoriale di due tori stabilmente razionali non è per retrazione razionale se i gradi condividono un fattore comune. Riconoscono inoltre che il problema generale della $k$-razionalità (in contrapposizione a stabile o per retrazione) per prodotti tensoriali con $r \geq 3$ rimane aperto.

In sintesi, il lavoro stabilisce un quadro robusto per comprendere il comportamento delle proprietà di razionalità sotto i prodotti tensoriali di tori algebrici, sfruttando specificamente la coprimalità dei gradi per garantire la preservazione di queste proprietà e la validità del principio di norme di Hasse per le estensioni di campi risultanti.