Brauer-Siegel theorem for families of number fields over almost Sn fields

Resumo Técnico: Teorema de Brauer-Siegel para Famílias de Campos Numéricos sobre Campos Quase $S_n$

Enunciado do Problema
A conjectura clássica de Brauer-Siegel (BS) descreve o comportamento assintótico do produto do número de classes ($h_K$) e do regulador ($R_K$) para famílias de campos numéricos $\{K_i\}$. Especificamente, ela postula que, se o discriminante raiz $d_K^{1/n_K} \to \infty$, então $\lim_{i \to \infty} \frac{\log(h_{K_i}R_{K_i})}{\log \sqrt{d_{K_i}}} = 1$.

As provas existentes desta conjectura para várias famílias de campos numéricos (campos quadráticos, campos de Galois, campos quase normais e campos com fechamento de Galois resolúvel) baseiam-se em um mecanismo de redução crítico. Este mecanismo, estabelecido por Stark e outros, reduz o problema ao teorema de Siegel para campos quadráticos, demonstrando que, se a função zeta de Dedekind $\zeta_K(s)$ possuir um zero real excepcional próximo a $s=1$, tal zero deve descer para um subcampo quadrático. No entanto, para extensões gerais $K/\mathbb{Q}$, os limites incondicionais conhecidos para a região livre de zeros são fracos demais para garantir essa redução.

O problema central abordado neste artigo é o Problema 1.2: Se a propriedade de Brauer-Siegel é válida para uma família de campos de base $\{L_i\}$, ela necessariamente se mantém para uma família de extensões quadráticas $\{N_i\}$ onde $[N_i : L_i] = 2$? Embora isso seja trivial se o campo de base for fixo (teorema de Siegel), a dificuldade surge quando o campo de base varia.

Metodologia
O autor emprega uma combinação de teoria analítica dos números e descendência teórica de grupos, especificamente adaptada para campos com simetrias de grupo simétrico ($S_n$).

1. Descendência Teórica de Grupos: O artigo introduz o conceito de campos quase $S_n$. Um campo $L$ é um campo quase $S_n$ se ele estiver situado entre um campo $S_n$ ($K$) e seu fechamento galoisiano ($\tilde{K}$), de tal forma que $\text{Gal}(\tilde{K}/L) \cong S_m$ para algum $m \le n-1$.
2. Teoria de Caracteres e Funções L de Artin: A prova utiliza a teoria de representação de grupos simétricos. Ao analisar a decomposição de caracteres induzidos (especificamente partições em gancho e seus produtos tensoriais com o caractere sinal de $\mathbb{Z}/2\mathbb{Z}$), o autor constrói relações entre as funções zeta do campo de base, da extensão quadrática e de campos intermediários.
3. Argumentos de Multiplicidade de Zeros: Uma técnica central envolve o Lema 2.5, que afirma que, se dois campos quadráticos conjugados $N_1, N_2$ sobre uma base $K$ possuem um zero em uma região específica, seu compositum (uma extensão biquadrática) possui um zero de multiplicidade pelo menos 2. Como o teorema de Stark limita o número de zeros reais na faixa crítica a no máximo um (e este deve ser simples), a existência de tal zero leva a uma contradição, a menos que condições estruturais específicas sejam atendidas.
4. Redução Iterativa: A prova do teorema principal (Teorema 3.3) envolve um processo de descendência iterativa. Partindo de uma extensão quadrática $N/L$ onde $L$ é um campo quase $S_n$, o autor constrói uma torre de campos intermediários fixando subgrupos da forma $S_{m-j} \times S_j$. Este processo continua até que o grupo de Galois seja reduzido a uma forma onde o argumento dos campos quadráticos conjugados possa ser aplicado para forçar uma contradição em relação à existência de um zero excepcional.

Contribuições e Resultados Principais

1. Teorema 1.4 (Descendência para campos quase $S_n$):
   O artigo estabelece que, se a conjectura de Brauer-Siegel é válida para uma família de campos quase $S_n$ $\{L_i\}$, ela necessariamente se mantém para qualquer família de extensões quadráticas $\{N_i\}$ sobre $\{L_i\}$, desde que $N_i \cap \tilde{L}_i = L_i$ e os discriminantes cresçam suficientemente rápido ($\log d_{N_i} / \log d_{L_i} \to \infty$).

   • Significância: Isso fornece uma nova forma de descendência para a conjectura de Brauer-Siegel, estendendo o teorema de Siegel para um cenário onde o campo de base não é fixo, mas varia dentro de uma classe específica de grupos.

2. Teorema 1.6 (Brauer-Siegel Generalizado para Torres Assintoticamente Boas):
   O autor estende o resultado para a conjectura de Brauer-Siegel Generalizado (GBS) formulada por Tsfasman e Vlădut para famílias assintoticamente exatas. Demonstra-se que, se $\{L_i\}$ é uma família assintoticamente boa de campos quase $S_n$ que satisfaz a GBS, então a GBS é válida para uma torre assintoticamente boa $\{M_i\}$ sobre $\{L_i\}$, desde que $M_i/L_i$ seja quase normal ou possua um fechamento de Galois resolúvel.

   • Distinção: Diferente do Teorema 1.4, este resultado não requer a condição $\log d_{N_i} / \log d_{L_i} \to \infty$, oferecendo maior generalidade para torres de campos numéricos.

3. Proposição 5.1 (Resultado Condicional para campos $S_n$):
   Sob a suposição da Conjectura de Holomorfia de Artin para representações específicas ($L(s, \rho_{n-2})$ e $L(s, \rho_{n-3})$), o artigo prova que a conjectura de Brauer-Siegel é válida para famílias de campos $S_n$. Isso é alcançado mostrando que a existência de um zero excepcional implicaria um zero duplo para uma função zeta relacionada, contradizendo o teorema de Stark.

Significância e Alegações
O artigo alega estabelecer uma "nova forma de descendência" para a conjectura de Brauer-Siegel. A principal significância reside em preencher a lacuna entre o clássico teorema de Siegel de base fixa e o comportamento de campos numéricos sobre bases variáveis.

• Análogo do Teorema de Siegel: O resultado é apresentado como um análogo do teorema de Siegel onde o campo de base é permitido variar, especificamente dentro da classe de campos quase $S_n$.
• Resolução do Problema 1.2: O artigo responde ao Problema 1.2 de forma afirmativa para o caso específico onde os campos de base são campos quase $S_n$.
• Limitações: O autor nota explicitamente que o resultado para extensões quadráticas (Teorema 1.4) depende da condição de que o discriminante da extensão cresça significativamente mais rápido que o da base. Esta condição impede uma generalização direta para todos os campos quase normais sobre campos quase $S_n$ sem suposições adicionais. Além disso, o resultado para campos $S_n$ puros (Proposição 5.1) permanece condicional à Conjectura de Holomorfia de Artin.

Em suma, o artigo fornece um rigoroso arcabouço teórico-grupal para reduzir o problema de Brauer-Siegel de famílias complexas de campos numéricos ao caso quadrático bem compreendido, estendendo assim a validade conhecida da conjectura para famílias de campos quase $S_n$ e suas extensões quadráticas.