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

Resumo Técnico: Racionalidade de Toros de Norma Um de Produtos Tensoriais de Álgebras Étale e o Princípio de Norma de Hasse

1. Formulação do Problema
O artigo aborda dois problemas interligados na geometria aritmética de toros algébricos sobre um corpo $k$:

1. O Problema da Racionalidade: Dados dois toros algébricos $k$-toros $T_1$ e $T_2$ que possuem uma propriedade específica de racionalidade $P$ (como racionalidade $k$-estável ou racionalidade $k$-retraída), o seu produto tensorial $T_1 \otimes_k T_2$ também possui a propriedade $P$? Especificamente, os autores investigam o toro de norma um $T_{A \otimes B} = R^{(1)}_{A \otimes B/k}(\mathbb{G}_m)$ associado ao produto tensorial de duas álgebras étale $k$-álgebras $A$ e $B$.
2. O Princípio de Norma de Hasse: Para corpos globais $k$, o princípio de norma de Hasse vale para a extensão de corpos $K/k$ (ou a álgebra étale $A/k$) construída como um produto tensorial de extensões de graus coprimos?

Embora a resposta geral à questão da racionalidade seja negativa, os autores identificam condições específicas sob as quais a propriedade é preservada, gerando assim novos exemplos de toros estavelmente e retraidamente racionais e estabelecendo a validade do princípio de norma de Hasse para esses casos.

2. Metodologia
Os autores empregam uma abordagem construtiva baseada na cohomologia de grupos finitos e na teoria de $G$-retículos (onde $G$ é o grupo de Galois do corpo de decomposição). A metodologia central envolve:

• Resoluções Flácidas: Utilizando a correspondência entre toros algébricos e $G$-retículos, a racionalidade de um toro $T$ é determinada pela "classe flácida" $[M]_{fl}$ do seu módulo de caracteres $M$. $T$ é estavelmente racional se $[M]_{fl} = 0$ e retraidamente racional se $[M]_{fl}$ for invertível.
• Ordem de Permutação ($p$-ord): O artigo introduz um novo invariante para um $G$-retículo $M$, denotado $p\text{-ord}(M)$. Este é definido como o menor inteiro $a \geq 1$ tal que $a \cdot \text{Id}_M$ fatora através de um $G$-retículo de permutação. Este invariante serve como uma medida de quão longe um retículo está de ser um somando direto de um retículo de permutação.
• Produtos Tensoriais de Extensões: Os autores desenvolvem ferramentas cohomológicas explícitas para lidar com produtos tensoriais de extensões de $G$-retículos. Ao analisar as sequências exatas associadas a mapas de augmentação (por exemplo, $0 \to I_X \to \mathbb{Z}[X] \to \mathbb{Z} \to 0$), eles constroem resoluções para produtos tensoriais de retículos.
• Condições de Coprimalidade: O mecanismo técnico central baseia-se na condição de que as ordens de permutação dos módulos de caracteres dos toros constituintes sejam coprimas. Isso permite a divisão de certas sequências exatas envolvendo produtos tensoriais, garantindo que a classe flácida do produto se comporte de maneira previsível.

3. Contribuições e Resultados Principais

• Teorema Principal sobre Racionalidade de Toros (Teorema 6.15):
  Sejam $T_1$ e $T_2$ toros algébricos $k$-toros com módulos de caracteres $M_1$ e $M_2$. Se as ordens de permutação $d_1 = p\text{-ord}(M_1)$ e $d_2 = p\text{-ord}(M_2)$ satisfazem $\gcd(d_1, d_2) = 1$, então:

  • Se $T_1$ e $T_2$ são estavelmente $k$-racionais, então $T_1 \otimes_k T_2$ é estavelmente $k$-racional.
  • Se $T_1$ e $T_2$ são retraidamente $k$-racionais, então $T_1 \otimes_k T_2$ é retraidamente $k$-racional.

• Aplicação a Toros de Norma Um (Teorema 7.4):
  Sejam $A = \prod K_i$ e $B = \prod E_j$ álgebras étale $k$-álgebras com graus $m_i = [K_i:k]$ e $n_j = [E_j:k]$. Se $\gcd(m_i, n_j) = 1$ para todos $i, j$, e se os toros de norma um $T_A$ e $T_B$ são estavelmente (respectivamente, retraidamente) $k$-racionais, então:

  • O toro algébrico $T_A \otimes_k T_B$ é estavelmente (respectivamente, retraidamente) $k$-racional.
  • O toro de norma um $T_{A \otimes B}$ da álgebra produto tensorial é estavelmente (respectivamente, retraidamente) $k$-racional.
  • No caso específico em que $A$ e $B$ são extensões de corpos de graus coprimos, $A \otimes_k B$ é uma extensão de corpos, e seu toro de norma um herda a propriedade de racionalidade.

• Princípio de Norma de Hasse (Teorema 8.1 e Corolários):
  Para um corpo global $k$, se $K = K_1 \otimes_k \cdots \otimes_k K_t$ é um composto de extensões separáveis finitas com graus dois a dois coprimos $[K_i:k]$, e se os toros de norma um individuais $T_{K_i}$ são estavelmente ou retraidamente racionais, então:

  • O princípio de norma de Hasse vale para $K/k$.
  • A propriedade de aproximação fraca vale para $T_K$.
  • Isso é derivado da anulação do grupo de Brauer não ramificado (ou equivalentemente, da anulação do grupo de Shafarevich-Tate) para o toro resultante, o que segue dos resultados de racionalidade.

• Classificações Explícitas (Seções 8.1–8.3):
  Os autores fornecem tabelas detalhadas classificando os grupos de Galois $G = \text{Gal}(L/k)$ para os quais o toro de norma um de uma extensão composta $K/k$ (com grau $n \leq 30$) é estavelmente ou retraidamente racional. Estes incluem casos onde $G$ é um subproduto direto de grupos associados às extensões individuais (por exemplo, $G \leq S_{n_1} \times S_{n_2}$). Eles listam explicitamente casos para $n=6, 10, 12, 14, 15$ e estendem a classificação para $18 \leq n \leq 30$.

4. Significado e Alegações
O artigo afirma fornecer um método sistemático para gerar novos exemplos de toros de norma um estavelmente e retraidamente racionais combinando os existentes via produtos tensoriais, desde que seus graus (ou, mais precisamente, suas ordens de permutação) sejam coprimos.

• Novidade do Invariante: A introdução da "ordem de permutação" $p\text{-ord}(M)$ é destacada como uma ferramenta sistemática que não havia sido previamente estudada neste contexto, permitindo um critério preciso (coprimalidade) para a preservação da racionalidade sob produtos tensoriais.
• Provas Construtivas: As provas são descritas como construtivas, baseando-se em manipulações explícitas de resoluções flácidas de $G$-retículos em vez de argumentos abstratos de existência.
• Implicações Aritméticas: Os resultados ligam diretamente a propriedade geométrica da racionalidade ao princípio aritmético de norma de Hasse. Ao estabelecer a racionalidade para extensões compostas de graus coprimos, os autores confirmam o princípio de norma de Hasse para essas extensões de corpos específicas sobre corpos globais.
• Limitações: Os autores observam que a condição de coprimalidade é necessária; eles fornecem exemplos (Exemplo 7.6) onde o produto tensorial de dois toros estavelmente racionais falha em ser retraidamente racional se os graus compartilharem um fator comum. Eles também reconhecem que o problema geral da $k$-racionalidade (em oposição à racionalidade estável ou retraída) para produtos tensoriais com $r \geq 3$ permanece aberto.

Em resumo, o artigo estabelece uma estrutura robusta para compreender o comportamento das propriedades de racionalidade sob produtos tensoriais de toros algébricos, explorando especificamente a coprimalidade dos graus para garantir a preservação dessas propriedades e a validade do princípio de norma de Hasse para as extensões de corpos resultantes.