Hasse-Witt invariants for trace forms of Jacobi polynomials

Resumo Técnico: Invariantes de Hasse-Witt para Formas de Traço de Polinômios de Jacobi

Enunciado do Problema
O artigo aborda o problema da extensão de grupo dentro da teoria de Galois, especificamente as condições sob as quais uma extensão de Galois $L/\mathbb{Q}$ com grupo $B$ pode ser incorporada em uma extensão maior $M/\mathbb{Q}$ com grupo $G$, onde $G$ é uma extensão central não fendida de $B$ por $C_2$. Seguindo o trabalho de Feit [1] e Hajaj [2], a solvabilidade deste problema de incorporação para grupos específicos (como $\tilde{A}_n$) depende do invariante de Hasse-Witt da forma de traço associada ao campo da raiz de um polinômio definidor.

O obstáculo computacional central é a determinação explícita do invariante de Hasse-Witt, que requer o cálculo dos coeficientes de diagonalização ($D_t$) da forma de traço. Estes coeficientes são derivados dos menores principais ($\Delta_t$) da matriz de soma de potências das raízes do polinômio. Enquanto Feit calculou com sucesso $\Delta_t$ para Polinômios de Laguerre Generalizados (GLP) usando propriedades específicas dessa família (relações de recorrência e congruências), essas técnicas não se generalizam para famílias mais amplas de polinômios ortogonais. Consequentemente, estender os resultados de existência para extensões $\tilde{A}_n$ além dos casos específicos de GLP exigiu um método mais geral para calcular $\Delta_t$.

Metodologia
Os autores propõem uma mudança de metodologia, partindo de propriedades específicas de polinômios para uma abordagem combinatória baseada em determinantes de Hankel. A estratégia envolve:

1. Reformulação como Determinantes de Hankel: Os autores identificam $\Delta_t$ como o menor principal $t \times t$ de uma matriz de Hankel formada pelas somas de potências das raízes.
2. Funções Geratrizes e Frações Contínuas: Eles utilizam a função geratriz $G(z)$ para as somas de potências das raízes. Ao expressar $G(z)$ como uma fração contínua (especificamente uma fração contínua do tipo Stieltjes), eles aproveitam um teorema conhecido (referenciado como [3, Teorema 30]) que relaciona os coeficientes da fração contínua diretamente aos determinantes de Hankel.
3. Cálculo Recursivo de Coeficientes: Para os polinômios de Jacobi $J^{(\alpha, \beta)}_n(x)$, os autores derivam os coeficientes ($a_i$) da expansão de fração contínua de $G(z)$. Isso envolve a definição de uma sequência de funções auxiliares $f_i(m)$ e o estabelecimento de relações recursivas (Proposição 30) para simplificar o cálculo desses coeficientes.
4. Derivação de Fórmula Explícita: Usando os coeficientes calculados, os autores derivam uma fórmula de produto explícita para $\Delta_t$. Esta fórmula é então usada para calcular os coeficientes de diagonalização $D_t = \Delta_{t+1}/\Delta_t$ e, subsequentemente, o invariante de Hasse-Witt $\epsilon_p(E)$.

Contribuições Principais e Resultados
O artigo fornece os seguintes resultados específicos:

• Fórmula Explícita para $\Delta_t$: O Teorema 13 apresenta uma expressão de forma fechada para os menores principais $\Delta_t$ da matriz de soma de potências para os polinômios de Jacobi monicos $J^{(\alpha, \beta)}_n(x)$. A fórmula é dada por $\Delta_t = A_t B_t / C_t$, onde $A_t, B_t$ e $C_t$ são definidos por produtos específicos envolvendo os parâmetros $\alpha, \beta$ e o grau $n$ (Equações 10–12).
• Invariante de Hasse-Witt para Polinômios de Jacobi: Combinando a fórmula explícita de $\Delta_t$ com o teorema de Serre e as propriedades do símbolo de Hilbert, os autores derivam uma expressão explícita para o invariante de Hasse-Witt $\epsilon_p(E)$ para os campos das raízes de polinômios de Jacobi (Seção 4).
• Generalização dos Resultados de Feit: O artigo demonstra que os Polinômios de Laguerre Generalizados são um caso limite dos polinômios de Jacobi. Ao aplicar seu método geral aos parâmetros específicos correspondentes aos GLPs, os autores recuperam a fórmula original de Feit para $\Delta_t$ (Seção 4.1), fornecendo assim uma derivação combinatória alternativa do teorema de Feit.
• Exemplos Concretos: Os autores fornecem exemplos numéricos explícitos para $n=5$ com parâmetros $(\alpha, \beta)$ específicos. Eles mostram casos onde o invariante de Hasse-Witt é não trivial (impedindo a incorporação em $\tilde{A}_5$) e casos onde ele é trivial (permitindo a incorporação), ilustrando a aplicação prática de suas fórmulas.

Significância e Alegações
Os autores alegam que sua principal contribuição é situar o cálculo de $\Delta_t$ no contexto de determinantes de Hankel e frações contínuas. Eles afirmam que:

• As técnicas utilizadas não são específicas para polinômios de Jacobi, mas são amplamente aplicáveis a qualquer sequência de polinômios indexada pelo grau.
• O método não depende de ortogonalidade, distinguindo-se das abordagens tradicionais que podem depender de funções de peso ou relações de ortogonalidade específicas.
• A introdução de um parâmetro adicional (passando de GLPs de um parâmetro para polinômios de Jacobi de dois parâmetros) implica que, para cada $n \geq 2$, pode haver infinitas soluções para o problema da extensão de grupo para $\tilde{A}_n$, generalizando assim as restrições de finitude das construções anteriores.

O artigo conclui observando que, embora a fórmula explícita para $\Delta_t$ em [1] e [2] dependesse de propriedades que não se generalizavam, a abordagem combinatória aqui apresentada estende com sucesso esses resultados para a família mais ampla de polinômios de Jacobi.