The rationality problem for multinorm one tori, II

Resumo Técnico: O Problema da Racionalidade para Toros de Normas Múltiplas, II

1. O Problema Investigado

O artigo foca no estudo da racionalidade estável e da racionalidade de retração (retract rationality) de toros de norma múltipla (multinorm one tori).
Seja $k$ um corpo e $K = \prod_{i=1}^r K_i$ uma álgebra étale finita sobre $k$ (produto de extensões de corpos separáveis). O toro de norma múltipla $T_{K/k}$ é definido como o núcleo do mapa de norma:
$$T_{K/k} := \text{Ker}(N_{K/k} : \text{Res}_{K/k} \mathbb{G}_m \to \mathbb{G}_m)$$
O objetivo central é determinar sob quais condições este toro é racional, estávelmente racional ou de retração racional sobre $k$. A hierarquia de implicações é:
$$\text{Racional} \implies \text{Estávelmente Racional} \implies \text{De Retração Racional} \implies \text{Unirracional}$$
O trabalho organiza a análise com base no Máximo Divisor Comum (MDC) dos graus das extensões que compõem $K$. Seja $d_k(K) = \gcd([K_1:k], \dots, [K_r:k])$. O comportamento da racionalidade muda drasticamente dependendo se $d_k(K) = 1$ ou $d_k(K) > 1$.

2. Metodologia

A abordagem do artigo baseia-se na teoria clássica de toros algébricos desenvolvida por Endo, Miyata, Colliot-Thélène, Sansuc e outros, traduzindo o problema geométrico para a teoria de módulos de Galois (lattices).

• Correspondência com Módulos de Galois: A racionalidade estável (resp. de retração) de um toro $T$ sobre $k$ que se divide sobre uma extensão de Galois $L/k$ com grupo $G = \text{Gal}(L/k)$ é equivalente à propriedade de que o módulo de caracteres $X^*(T)$ é um quasi-permutação (resp. quasi-invertível) como um $G$-módulo.
• Estrutura do Módulo de Caracteres: Para o toro $T_{K/k}$, o módulo de caracteres é isomorfo a um módulo específico denotado por $J_{G/H}$, onde $H$ é um multiconjunto de subgrupos de $G$ correspondentes às extensões $K_i$.
• Técnicas de Redução: Os autores utilizam extensivamente:
  • Resoluções Coflabby: Para analisar a classe de similaridade dos módulos.
  • Redução a Subgrupos de Sylow: O problema global é reduzido à análise local em subgrupos de Sylow do grupo de Galois (Teorema 4.5).
  • Generalização de Resultados Anteriores: O trabalho estende resultados de Endo-Miyata (1975) e Endo (2011), que tratavam principalmente do caso onde $K$ é um corpo (um único fator), para o caso onde $K$ é uma álgebra com múltiplos fatores ($r \ge 2$).
  • Grupos Específicos: Análise detalhada de grupos cíclicos, grupos onde todos os subgrupos de Sylow são cíclicos e grupos diédricos ($D_n$).

3. Principais Contribuições e Resultados

Os resultados são divididos conforme o valor de $d_k(K)$:

A. Caso $d_k(K) = 1$ (Teorema 1.1)

• Resultado: Se o MDC dos graus das extensões for 1, o toro de norma múltipla $T_{K/k}$ é estávelmente racional sobre $k$.
• Prova: Demonstra-se que o módulo de caracteres $X^*(T_{K/k}) \oplus \mathbb{Z}$ é um lattice de permutação.
• Critério Geral (Teorema 1.8): Estabelecem um critério para racionalidade de retração para qualquer toro de norma múltipla: $T_{K/k}$ é de retração racional sobre $k$ se e somente se for de retração racional sobre $L^{(p)}$ para todo primo $p$ que divide $d_k(K)$, onde $L^{(p)}$ é uma subextensão maximal de grau coprimo a $p$.

B. Caso $d_k(K) > 1$ (Teoremas 1.2 e 1.3)
Neste cenário, a racionalidade de retração frequentemente falha. Os autores fornecem condições suficientes para a não racionalidade de retração:

• Teorema 1.2 ($d_k(K) = 2$): Se $r=2$ e certas condições de interseção de corpos de Galois e divisibilidade por 4 são satisfeitas, o toro não é de retração racional. Se $r \ge 3$ e existe um subconjunto de 3 índices com interseções triviais, o toro também falha.
• Teorema 1.3 ($d_k(K) \ge 3$): Se existir um par de índices $i \neq j$ tal que a interseção do fecho de Galois de $K_i$ com $K_j$ seja $k$, então o toro não é de retração racional.
• Significado: Estes resultados generalizam e enfraquecem as hipóteses de trabalhos anteriores (como Demarche-Wei), mostrando que a falha da racionalidade ocorre sob condições mais fracas.

C. Generalização para Grupos com Subgrupos de Sylow Cíclicos (Teorema 1.5)

• Contexto: Assume-se que o toro se divide sobre uma extensão de Galois $L/k$ onde todos os subgrupos de Sylow de $G = \text{Gal}(L/k)$ são cíclicos.
• Resultado: O toro é de retração racional. Ele é estávelmente racional se e somente se o conjunto de divisores primos de $d_k(K)$ não intersectar um conjunto específico $P^*(G)$ (definido por propriedades de normalidade e ação de conjugação nos subgrupos de Sylow).
• Inovação: Estende resultados conhecidos para o caso de álgebras étale com múltiplos fatores ($r \ge 2$), não apenas para corpos.

D. Caso de Grupos Diédricos (Teorema 1.7)

• Contexto: Assume-se que o grupo de Galois é isomorfo ao grupo diédrico $D_n$.
• Resultados:
  • Se $d_k(K)$ é ímpar, o toro é estávelmente racional.
  • Se $d_k(K)$ é par, a racionalidade estável é equivalente à racionalidade de retração.
  • Fornece uma condição necessária e suficiente baseada na existência de um produto de corpos intermediários $K'$ tal que o toro original seja estavelmente equivalente a $T_{K'/k}$. As condições envolvem a estrutura dos subgrupos de $D_n$ e a divisibilidade de $d_k(K)$ por $n$ ou $2n$.
• Contribuição Técnica: A prova para o caso onde $K$ não é um corpo requer uma resolução coflabby explícita de lattices específicos sobre grupos diédricos (Seção 7), uma técnica altamente técnica e inovadora neste contexto.

4. Significado e Impacto

• Unificação da Teoria: O artigo consolida a teoria da racionalidade para toros de norma múltipla, tratando de forma unificada os casos de álgebras com um ou múltiplos fatores.
• Critérios Efetivos: Fornece critérios computacionais (baseados em divisores primos e interseções de corpos) para decidir a racionalidade de retração, algo que era um problema aberto para casos gerais de álgebras étale.
• Avanço Técnico: A construção explícita de resoluções coflabby para lattices sobre grupos diédricos (Seção 7) abre caminho para a análise de outros grupos não-abelianos em problemas de racionalidade.
• Conexão com a Teoria de Números: Os resultados têm implicações diretas no estudo de princípios de Hasse e obstruções de Brauer-Manin para variedades relacionadas a toros de norma.

Em suma, este trabalho representa um avanço significativo na classificação da racionalidade de toros algébricos, resolvendo completamente o caso $d_k(K)=1$ e fornecendo limites rigorosos e condições de falha para o caso $d_k(K)>1$, além de generalizar teoremas clássicos de Endo e Miyata para o contexto de álgebras étale.