Computations of higher elliptic units in optimal settings

Resumo Técnico: Computações de Unidades Elípticas de Ordem Superior em Configurações Ótimas

Enunciado do Problema
Este artigo aborda a construção de unidades elípticas generalizadas acima de corpos numéricos $K$ de grau $n \geq 3$ que possuem exatamente uma praça complexa. O trabalho visa fornecer uma descrição analítica das extensões abelianas de tais corpos, oferecendo uma solução conjectural para o 12º problema de Hilbert para esta classe específica de corpos numéricos. Embora a construção de unidades elípticas para corpos quadráticos imaginários seja bem estabelecida via a função $\theta$ e a Multiplicação Complexa, estender isso para graus superiores requer o uso de análogos de dimensões superiores. Especificamente, o artigo foca na avaliação de "funções gama elípticas superiores" ($G_r$) em pontos algébricos específicos para gerar unidades em corpos de classe de raio estreito.

Metodologia
O autor emprega um arcabouço computacional e conjectural baseado nos seguintes componentes:

1. Funções Gama Elípticas Superiores: A construção utiliza as funções $G_r(z, \tau_0, \dots, \tau_r)$, definidas por produtos infinitos e que satisfazem propriedades modulares relacionadas a $SL_{r+2}(\mathbb{Z})$. Estas funções generalizam a função $\theta$ de Jacobi ($G_0$) e a função gama elíptica ($G_1$).
2. Configurações Ótimas: Para tornar a conjectura tratável e as computações viáveis, o artigo restringe a atenção a "configurações ótimas". Estas são configurações específicas do corpo numérico $K$, do módulo $\mathfrak{f}$ e das unidades fundamentais $\varepsilon_1, \dots, \varepsilon_{n-2}$ que satisfazem várias hipóteses restritivas:
   • O grupo de unidades totalmente positivas congruentes a 1 módulo $\mathfrak{f}$ coincide com o grupo de todas as unidades totalmente positivas ($O_{K}^{+, \times} = O_{\mathfrak{f}}^{+, \times}$).
   • O anel resíduo $\mathcal{O}_K/\mathfrak{f}$ é cíclico.
   • O "conteúdo" dos sistemas de unidades é 1, e os "ideais de transbordamento" associados são coprimos com o índice de suavização.
   • O corpo numérico $K$ não contém subcorpos próprios.
3. Procedimento de Avaliação: Nestas configurações ótimas, as unidades elípticas superiores são construídas como produtos finitos de razões de funções $G_{n-2}$ suavizadas. Os parâmetros de avaliação ($z_\rho, \tau_{j,\rho}$) são derivados de:
   • Um conjunto compatível de "pontos de base" (ideais auxiliares).
   • Os ideais de transbordamento associados a permutações das unidades fundamentais.
   • Um ideal de suavização $\mathfrak{a}$ de norma prima $N$.
     A unidade resultante $u_{k,b}$ é definida por um produto sobre o grupo simétrico $S_{n-2}$, com o número de termos minimizado para $(n-2)!$.
4. Técnicas Computacionais:
   • Avaliação de Função: Como a definição por produto infinito de $G_r$ é inadequada para computação direta, o autor utiliza uma expansão em série (Proposição 3.6 em [Nis01]) válida em uma "faixa central". O algoritmo envolve um "passo de reorientação" (usando propriedades de inversão para mapear os parâmetros para o semiplano superior) e um "passo de translação" (usando pseudo-periodicidade para mapear a variável elíptica para a faixa central).
   • Algoritmo de Busca: Um algoritmo de peneiramento (Algoritmo 1) itera através de polinômios para identificar corpos numéricos e unidades fundamentais que satisfaçam as condições ótimas, especificamente filtrando para pequenos valores de transbordamento para garantir a viabilidade computacional.
   • Verificação: Computações numéricas de alta precisão (1000 dígitos) são realizadas usando PARI/GP. Os resultados são verificados checando se os números complexos computados são raízes de polinômios com coeficientes em $K$ (usando o algoritmo LLL via lindep e algdep) e confirmando a fórmula do limite de Kronecker.

Principais Contribuições

• Conjectura Simplificada: O artigo apresenta uma forma simplificada de uma conjectura geral (originalmente detalhada na tese de doutorado do autor [Mor26c]) a respeito da álgebra de valores especiais de funções $G_{n-2}$. Esta versão simplificada é adaptada especificamente para "configurações ótimas", reduzindo a complexidade dos parâmetros de avaliação e o tamanho do produto.
• Construção Explícita: O autor fornece fórmulas explícitas para os parâmetros de avaliação $z_\rho$ e $\tau_{j,\rho}$ em termos das unidades fundamentais, ideais de transbordamento e ideais auxiliares.
• Arcabouço Computacional: O artigo detalha os algoritmos específicos necessários para computar estas unidades, incluindo o tratamento da "faixa central" para as funções $G_r$ e a busca sistemática por corpos numéricos que satisfaçam as restritivas condições ótimas.
• Evidência Numérica: O artigo fornece extensa evidência numérica apoiando a conjectura para corpos numéricos de graus 3, 4, 5 e 6.

Resultos
O artigo apresenta seis exemplos específicos onde a conjectura é testada:

1. Grau 3 (Cúbico): Dois exemplos são fornecidos. Um com grupo de classes trivial ($q=11$) e outro com um grupo de classes grande ($q=3$). Em ambos os casos, mostra-se que os valores computados são raízes de polinômios relativos que definem o corpo de classe de raio, e a fórmula do limite de Kronecker é verificada.
2. Grau 4 (Quártico): Dois exemplos são discutidos. Um com grupo de classes trivial ($q=2$) e outro com um grupo de classes não trivial ($q=7$). As computações confirmam que os valores geram as extensões abelianas esperadas.
3. Grau 5 (Quíntico): Um exemplo com $q=3$ é apresentado, envolvendo um produto de 6 funções $G_3$ suavizadas. Nota-se que o tempo de computação varia significativamente dependendo do tamanho dos ideais de transbordamento.
4. Grau 6: Uma discussão de um exemplo de grau 6 é fornecida. Embora a lista completa de parâmetros seja muito grande para inclusão, o artigo confirma que a unidade computada coincide com a raiz de um polinômio recíproco de alto grau que define o corpo de classe.

As computações consistentemente mostram que os números complexos construídos são unidades algébricas nos corpos de classe de raio esperados e satisfazem a fórmula do limite de Kronecker prevista:
$$N\zeta'_{\mathfrak{f}}(c, 0) - \zeta'_{\mathfrak{f}}(ac, 0) = \log |u_c|^2$$

Significância e Alegações
O artigo afirma fornecer uma "forma simplificada" de uma conjectura sobre a construção de unidades elípticas generalizadas, tornando o problema computacionalmente acessível em casos específicos. A principal significância reside em:

• Problema de Hilbert 12: Oferecer um método analítico concreto (via funções $G_{n-2}$) para gerar extensões abelianas para corpos numéricos com exatamente uma praça complexa, um caso para o qual nenhuma solução geral é atualmente conhecida.
• Extensão de Trabalho Anterior: Estender a construção de unidades elípticas conjecturais para corpos cúbicos complexos (por Bergeron, Charollois e García [BCG23]) para graus superiores ($n=4, 5, 6$).
• Suporte Empírico: Fornecer a primeira evidência numérica substancial para a álgebra dessas unidades elípticas superiores em graus 4, 5 e 6, apoiando a conjectura mais ampla de que estes valores são, de fato, unidades algébricas.

O autor observa que as "configurações ótimas" são restritivas e que encontrar tais corpos torna-se cada vez mais difícil conforme o grau aumenta (por exemplo, nenhum exemplo de grau 7 que satisfizesse todas as condições foi encontrado). O artigo não pretende provar a álgebra destes valores, mas sim demonstrar sua existência e propriedades através de computação de alta precisão, apoiando assim a conjectura subjacente.