Minkowski shapes of pure number fields

Resumo Técnico: Formas de Minkowski de Corpos Numéricos Puros

Enunciado do Problema
O artigo investiga a "forma de Minkowski" de corpos numéricos puros $K_a = \mathbb{Q}(\theta)$, onde $\theta^n = a$. Embora o discriminante de um corpo numérico registre o covolume da rede de Minkowski e os primos ramificados, a forma de Minkowski é um invariante arquimediano mais refinado. Ela é definida como o ponto no espaço de formas $S_{n-1} = \text{GL}_{n-1}(\mathbb{Z}) \backslash \text{GL}_{n-1}(\mathbb{R}) / \text{GO}_{n-1}(\mathbb{R})$ obtido a partir da rede de traço zero do anel de inteiros, módulo mudanças de base integral, similitudes ortogonais e escalonamento positivo.

A questão central é como as formas dos campos puros se distribuem dentro do espaço moduli ambiente $S_{n-1}$. Enquanto famílias genéricas de corpos numéricos (ex: famílias $S_n$) exibem equidistribuição em todo o espaço de formas, famílias "finas" frequentemente se concentram em loci menores. Este artigo busca caracterizar explicitamente o suporte geométrico e a estrutura aritmética do locus da forma, especificamente determinando se a forma serve como um invariante completo para o corpo e como a forma se relaciona com o discriminante.

Metodologia
O autor emprega uma combinação de teoria de base integral explícita, álgebra linear sobre corpos racionais e análise geométrica de espaços simétricos.

1. Decomposição Forte e Monômios Normalizados: O parâmetro $a$ é decomposto em uma "decomposição forte" $a = \epsilon \prod_{j=1}^{n-1} a_j^j$, onde $a_j$ são inteiros livres de quadrados e entre si coprimos. Usando isso, o autor define monômios normalizados $e_m = \theta^m / C_m(a)$, onde $C_m(a)$ são fatores racionais específicos derivados da decomposição forte.
2. Teorema da Base Integral: Sob a Hipótese (H) (uma condição local nos primos que dividem $n$: para cada $p|n$, ou $v_p(a)=0$ ou $p \nmid v_p(a)$), o artigo utiliza o teorema de base integral explícita de Jakhar–Khanduja–Sangwan. Isso fornece uma base integral normalizada para $\mathcal{O}_{K_a}$ envolvendo denominadores suportados apenas em primos que dividem $n$.
3. Fatoração Discreta–Arquimediana: A inovação metodológica central é separar a forma em dois componentes:
   • Uma parte diagonal arquimediana derivada dos monômios normalizados, que são mostrados como ortogonais entre si sob o produto interno de Minkowski.
   • Uma parte racional discreta decorrente da matriz de transição entre a base de monômios normalizados e a verdadeira base integral.
4. Análise de Suporte Geométrico: O artigo analisa a imagem da família pura no espaço de formas identificando-a com "folhas diagonais racionais" $T_C$, definidas como as órbitas de matrizes diagonais racionais sob a ação de $\text{GL}_{n-1}(\mathbb{Z})$ e $\text{GO}_{n-1}(\mathbb{R})$.

Contribuições Principais e Resultados

1. Fatoração Discreta–Arquimediana (Teorema 1.1)
Sob a Hipótese (H), a forma de Minkowski de $K_a$ admite uma fatoração:
$$\text{sh}(K_a) = \left[ C(a)^T \text{diag}(s_1(a), \dots, s_{n-1}(a)) C(a) \right]$$
onde:

• $s_m(a) = |a|^{2m/n} / C_m(a)^2$ são termos monomiais diagonais normalizados explícitos.
• $C(a) \in \text{GL}_{n-1}(\mathbb{Q})$ é uma matriz triangular superior proveniente da base integral normalizada.
• A classe $\Xi(a) = [C(a)] \in \text{GL}_{n-1}(\mathbb{Q}) / U_{n-1}^+(\mathbb{Z})$ é um invariante discreto (classe unipotente) bem definido e independente da escolha específica da base integral normalizada.

2. Consequências Aritméticas: Dicotomia de Paridade (Teorema 1.2)
A fatoração leva a uma distinção nítida entre graus ímpares e pares em relação à forma como um invariante de isomorfismo:

• Grau Ímpar ($n$ ímpar): A forma é um invariante completo. Se $\text{sh}(K_a) = \text{sh}(K_b)$, então $K_a \cong K_b$. Isso ocorre porque as razões diagonais $s_i/s_j$ geram o corpo $\mathbb{Q}(|a|^{2/n})$, que recupera o corpo completo quando $n$ é ímpar.
• Grau Par ($n=2r$): A forma determina o corpo núcleo $\mathbb{Q}(|a|^{1/r})$, mas não o sinal de $a$. Especificamente, $\text{sh}(K_a) = \text{sh}(K_{-a})$ para infinitos $a$ livres de quadrados, embora $K_a \not\cong K_{-a}$ (eles possuem assinaturas diferentes). Na subfamília de números livres de quadrados, a forma determina o corpo até a ambiguidade de sinal ($K_a \cong K_b$ ou $K_a \cong K_{-b}$).

3. Fatoração do Discriminante (Teorema 1.3)
O artigo deriva fórmulas explícitas para o discriminante absoluto $|\text{disc}(K_a)|$. Ele mostra que o discriminante fatora-se em uma parte periódica que depende apenas da classe de resíduo de $a$ módulo $M(n) = n \cdot \text{rad}(n)$, e uma parte governada pelas variáveis da decomposição forte. Especificamente, após remover o fator periódico, o crescimento do discriminante é controlado por "produtos-divisor" $B_d(a) = \prod_{d|j} a_j$, refletindo uma estrutura de rede de divisores.

4. Suporte Geométrico e Estrutura de Folha (Teorema 1.4)
O artigo estabelece que a família pura reside em um subconjunto muito fino do espaço de formas:

• Folhas Diagonais Racionais: Toda forma de campo puro admissível reside em uma folha diagonal racional $T_C$ para algum $C \in \text{GL}_{n-1}(\mathbb{Q})$.
• Suporte Finito sob (H): Embora o suporte incondicional seja uma união enumerável de folhas fechadas, sob a Hipótese (H), o suporte está contido em uma união finita de tais folhas para um grau $n$ fixo.
• Separação de Variáveis: Em um estrato normalizado fixo ( $\Xi(a)$ fixo) e um rótulo discreto fixo $\delta(a)$, a forma depende apenas das variáveis de razão $\rho_j = a_j / a_{n-j}$ (para $\gcd(j,n)=1$), enquanto o discriminante depende apenas das variáveis de produto $P_j = a_j a_{n-j}$. Essa separação implica que o problema natural de contagem para formas de campos puros é "por folha" em vez de ambiente.

Significância e Alegações
O artigo afirma fornecer um modelo concreto para a teoria de famílias finas no espaço de formas. Sua significância reside em:

• Clareza Estrutural: Separa explicitamente os dados aritméticos de lugar finito (que selecionam a folha racional de suporte) dos dados arquimedianos (que movem a forma dentro dessa folha).
• Rigidez vs. Ambiguidade: Quantifica precisamente a rigidez do invariante de forma, provando a completude em graus ímpares e caracterizando a natureza exata da ambiguidade de sinal em graus pares.
• Estrutura Geométrica: Identifica as "folhas diagonais racionais" como os objetos geométricos fundamentais que suportam as famílias puras, mostrando que essas folhas são fechadas, racionais e de dimensão $n-2$.
• Fundação para Contagem: Ao separar as variáveis de razão e de produto, o artigo prepara o terreno para futuros teoremas de contagem e equidistribuição sobre essas folhas específicas, observando que o presente trabalho estabelece o suporte geométrico e a decomposição estrutural, mas ainda não fornece o teorema de contagem em si.

O autor observa explicitamente que os resultados dependem da Hipótese (H) para o suporte de folha finita e para a base integral explícita, e identifica a remoção desta hipótese e a reformulação intrínseca dos invariantes como os principais problemas abertos.