The rationality problem for multinorm one tori

Resumo Técnico: O Problema da Racionalidade para Tori de Multinorma Um

Enunciado do Problema
O artigo aborda o problema da racionalidade para tori de multinorma um, variedades algébricas definidas como o núcleo do mapa de multinorma $N_{K/k}: \text{Res}_{K/k} \mathbb{G}_m \to \mathbb{G}_m$, onde $K$ é uma álgebra étale finita sobre um corpo $k$. Embora a racionalidade de tori de norma um (onde $K$ é um corpo) tenha sido extensivamente estudada, o caso da multinorma (onde $K$ é um produto de corpos) permanece menos compreendido. Os autores focam em determinar as condições sob as quais esses tori são estavelmente racionais (biracionalmente equivalentes a um espaço projetivo vezes um espaço projetivo) ou retratamente racionais (uma condição mais fraca envolvendo mapas racionais). A motivação central é que os tori de multinorma um surgem naturalmente como mudanças de base de tori de norma um; portanto, compreender as propriedades de racionalidade desses tori fornece um caminho para resolver questões em aberto sobre tori de norma um.

Metodologia
Os autores empregam a correspondência estabelecida entre a racionalidade de toros algébricos e as propriedades de seus grupos de caracteres como módulos sobre o grupo de Galois $G = \text{Gal}(L/k)$, onde $L$ é o fechamento de Galois do campo composto dos fatores de $K$.

1. Análise do Grupo de Caracteres: A racionalidade do toro $T_{K/k}$ é reduzida à determinação se o grupo de caracteres associado $J_{G/\mathcal{H}}$ (o dual do núcleo de aumento do reticulado de permutação associado aos subgrupos $\mathcal{H} = \{\text{Gal}(L/K_i)\}$) é quasi-permutação (para racionalidade estável) ou quasi-invertível (para racionalidade retratável).
2. Generalização de Reticulados: Uma inovação metodológica fundamental é a introdução de grupos de caracteres generalizados $I^{(\varphi)}_{G/\mathcal{H}}$ e $J^{(\varphi)}_{G/\mathcal{H}}$, onde $\varphi$ é uma função de peso no multiconjunto de subgrupos $\mathcal{H}$. Essa generalização permite lidar com multiplicidades e configurações específicas de subgrupos que os núcleos de aumento padrão não conseguem abordar diretamente.
3. Técnicas de Redução: O artigo desenvolve métodos sistemáticos de redução (Proposições 3.16, 3.17, 3.20, 3.22) para decompor reticulados $G$ complexos em reticulados menores sobre subgrupos ou grupos quocientes. Esses métodos generalizam o trabalho anterior de Endo (2001, 2011) e permitem que os autores analisem as condições de racionalidade de forma indutiva.
4. Resoluções Flábiles: Os autores utilizam resoluções flábiles e a teoria de classes flábiles (especificamente a classe $[M]_{fl}$ no monoide de similaridade de reticulados $G$) para determinar se um reticulado é quasi-permutação ou quasi-invertível. Eles constroem explicitamente resoluções para casos específicos, como grupos diedrais e produtos envolvendo grupos cíclicos.

Principais Contribuições e Resultados

• Equivalência de Condições de Racionalidade para Grupos Nilpotentes: O principal resultado (Teorema 1.5) estabelece que, para tori de multinorma um que se separam sobre extensões de Galois finitas com grupos de Galois nilpotentes, a racionalidade estável e a racionalidade retratável são equivalentes. Isso generaliza um resultado conhecido para tori de norma um por Endo (2011) para o cenário de multinorma.
• Critérios para $p$-grupos:
  • Primos Ímpares ($p > 2$): O Teorema 1.2 prova que, para uma extensão de Galois de um $p$-grupo, o toro é estavelmente/retratamente racional se, e somente se, o número de fatores diretos $r=1$ e o grupo de Galois for cíclico.
  • Primo $p=2$: O Teorema 1.3 fornece um critério mais complexo. A racionalidade estável/retratável ocorre se $r=1$ com um grupo de Galois cíclico, ou se $r \ge 2$, o grupo de Galois é um grupo diedral $D_{2\nu}$, e os subgrupos satisfazem condições específicas de conjugação e índice envolvendo os geradores do grupo diedral.
• Novas Famílias Estavelmente Racionais: O artigo identifica novas famílias de tori de multinorma um estavelmente racionais mesmo quando o grupo de Galois não é nilpotent. Especificamente, o Teorema 1.8 demonstra que, se $K = K_1 \times K_2$ e o grupo de Galois do composto é um grupo diedral $D_{2m}$ (com condições de não-conjugação específicas em $K_1$ e $K_2$), o toro é estavelmente racional.
• Aplicação ao Princípio da Multinorma: Aproveitando os resultados de racionalidade e uma conexão com o grupo de Tate–Shafarevich (via o teorema de Ono), os autores fornecem um novo exemplo (Teorema 1.9) onde o princípio da multinorma é válido. Especificamente, para $K = K_1 \times K_2$ onde o grupo de Galois é $C_m \times D_{2\nu}$ (com $m$ ímpar), o grupo $X(K/k)$ é trivial, o que significa que o princípio da multinorma é válido.

Significância e Alegações
O artigo alega estender significativamente a compreensão do problema da racionalidade de toros de norma um para toros de multinorma um. Ao introduzir grupos de caracteres generalizados e métodos sistemáticos de redução, os autores classificam com sucesso a racionalidade estável e retratável para a ampla classe de grupos de Galois nilpotentes. A equivalência da racionalidade estável e da racionalidade retratável no caso nilpotent é um grande avanço teórico, simplificando o problema de classificação. Além disso, o artigo demonstra a utilidade desses resultados de racionalidade ao resolver uma instância específica do princípio da multinorma, um problema clássico na teoria dos números algébricos. Os autores observam que sua abordagem generaliza os resultados de Endo (2011) e fornece um arcabouço para investigar toros de multinorma um arbitrários através da redução de reticulados $G$.