Multiplicative $f$-ic forms on algebraic varieties arising from Thaine's generalized Jacobi sums

Resumo Técnico: Formas Multiplicativas f-icas em Variedades Algébricas Decorrentes das Somas de Jacobi Generalizadas de Thaine

Enunciado do Problema
Este artigo aborda dois temas interconectados: as propriedades aritméticas das somas de Jacobi generalizadas e sua realização geométrica como formas multiplicativas em variedades algébricas.

1. Aritmética: As somas de Jacobi clássicas e suas matrizes de multiplicação associadas são bem compreendidas no contexto de potências de primos ($p^r$). No entanto, estender essas estruturas para produtos de potências de primos distintos ($p_1 p_2$) e estabelecer identidades multiplicativas que preencham a lacuna entre os cenários clássico e generalizado permanece um desafio. Especificamente, os autores buscam generalizar o teorema de elevação de Davenport e Hasse de cenários de potências de primos para produtos de potências de primos, utilizando a estrutura de $d$-composições de Thaine.
2. Geométrica: Embora a teoria de Pfister de formas quadráticas multiplicativas sobre corpos seja clássica, a construção de formas multiplicativas de grau superior (formas f-icas, onde $f \ge 2$) em variedades algébricas é menos desenvolvida. O artigo visa construir tais formas em interseções completas e investigar a estrutura de grupo algébrico (especificamente, toros algébricos) que surge em subconjuntos abertos densos dessas variedades.

Metodologia
Os autores empregam uma síntese de teoria algébrica dos números, ciclotomia e geometria algébrica:

• Estrutura de Thaine: O estudo utiliza as somas de Jacobi generalizadas $E_p(a, b)$ e as matrizes de multiplicação generalizadas $H_p$ de F. Thaine para elementos $p \in K^\times$. Esses objetos são definidos axiomáticamente para satisfazer propriedades análogas às somas de Jacobi clássicas, mas são aplicáveis sobre corpos gerais.
• $d$-Composição: Uma ferramenta central é a operação de $d$-composição de Thaine ($A \overset{d}{*} B$) em matrizes. Os autores analisam como essa operação combina somas de Jacobi generalizadas e matrizes de multiplicação associadas a $p_1$ e $p_2$ para produzir objetos associados ao produto $p_1 p_2$.
• Análise de Fourier: Na Seção 3.3, as identidades multiplicativas são interpretadas através de uma "transformada de Fourier finita dupla torcida", relacionando números ciclotômicos e somas de Jacobi via teoremas de convolução em grupos abelianos finitos.
• Construção Geométrica: As identidades aritméticas são traduzidas em operações geométricas. Ao definir variedades algébricas $V$ como interseções completas de hipersuperfícies derivadas de somas de correlação de coeficientes em extensões ciclotômicas, os autores constroem aplicações bilineares $\phi_d: V \times V \to V$.
• Relações de Norma: A construção depende de relações de norma relativa em extensões ciclotômicas $L/K$. Especificamente, as formas multiplicativas são derivadas da aplicação de norma $N_{L/M}$, onde $M$ é um corpo intermediário, ligando a estrutura algébrica da variedade às propriedades teóricas de corpo dos coeficientes.

Principais Contribuições e Resultados

1. Identidades Multiplicativas Generalizadas (Teorema 1.1):
   Os autores provam que as somas de Jacobi generalizadas para um produto $p_1 p_2$ podem ser construídas via a $d$-composição das somas para $p_1$ e $p_2$. Especificamente, se $E_{p_1}$ e $E_{p_2}$ são somas de Jacobi generalizadas, então $E_{p_1 p_2, d}(a, b) := -\sigma_{-d}(E_{p_1}(a, b))E_{p_2}(a, b)$ é uma soma de Jacobi generalizada para $p_1 p_2$. Isso estende a teoria clássica, onde as somas de Jacobi estão intrinsecamente ligadas a potências de primos, mostrando que as somas generalizadas de Thaine são multiplicativas em relação aos produtos.

2. Extensão da Elevação de Davenport-Hasse (Teorema 1.3):
   O artigo estabelece uma equivalência entre a elevação das somas de Jacobi (Davenport-Hasse) e a elevação das matrizes de multiplicação de períodos gaussianos. Ele prova que o produto $n$-plo de uma matriz de multiplicação sob a $(-1)$-composição corresponde à elevação das somas de Jacobi de $\mathbb{F}_{p^r}$ para $\mathbb{F}_{p^{nr}}$.

3. Construção de Formas Quadráticas Multiplicativas (Teorema 1.4):
   Para um primo ímpar $l$, os autores constroem uma forma quadrática regular $q(x)$ em uma variedade algébrica $V \subset K^{l-1}$ definida pela interseção de $\frac{l-1}{2}-1$ quádricas. Eles demonstram que $q(x)$ é multiplicativa em $V$, significando que $q(x)q(y) = q(\phi(x, y))$ para uma aplicação bilinear específica $\phi$. Isso generaliza o trabalho anterior de Hoshi sobre formas quadráticas multiplicativas.

4. Construção de Formas Multiplicativas f-icas (Teorema 1.5):
   Generalizando para grau $f \ge 2$, o artigo constrói formas multiplicativas f-icas $h(x)$ em variedades $V$ definidas como interseções completas de $e-1$ hipersuperfícies de grau $f$ (onde $l = ef + 1$). A forma $h(x)$ é mostrada como regular e multiplicativa em relação à lei de composição derivada da $d$-composição de coeficientes.

5. Estrutura de Toro Algébrico (Teorema 1.6):
   Um resultado geométrico significativo é a identificação de um subconjunto aberto denso $W \subset V$ (onde a norma do elemento associado é não nula) como um toro algébrico $K$. A lei de composição $x \overset{-1}{*} y$ restringe-se a uma lei de grupo comutativa em $W$, tornando $W$ isomorfo a um subtoro definido por norma da restrição de Weil $R_{L/K}(\mathbb{G}_m)$. Isso situa a teoria de Pfister de formas quadráticas multiplicativas em um contexto mais amplo de formas multiplicativas f-icas em variedades que carregam estruturas de toro.

6. Elevações Explícitas de Soluções Diofantinas (Seção 4.3):
   Os autores aplicam esses resultados para fornecer fórmulas explícitas para a elevação de soluções de sistemas diofantinos associados a somas de Jacobi. Para potências de primos $p_1, p_2$, soluções para $p_1 p_2$ são construídas a partir de soluções para $p_1$ e $p_2$ usando as aplicações bilineares derivadas das formas multiplicativas. Isso recupera e generaliza resultados conhecidos para $l=3, 5, 7$ (por exemplo, relacionados às Disquisitiones Arithmeticae de Gauss e sistemas estudados por Katre, Rajwade e van Wamelen).

Significância e Alegações
O artigo alega situar a teoria das formas quadráticas multiplicativas sobre corpos (teoria de Pfister) em um cenário mais amplo de formas multiplicativas f-icas em variedades algébricas afins.

• Significância Aritmética: Estende o escopo da elevação de Davenport-Hasse e das identidades de somas de Jacobi de potências de primos para produtos de potências de primos, utilizando a $d$-composição de Thaine para unificar esses casos.
• Significância Geométrica: Demonstra que a "parte invertível" da variedade de coeficientes obtida ao geometrizar as relações das somas de Jacobi carrega naturalmente a estrutura de um toro algébrico. Isso fornece um mecanismo geométrico para gerar novas soluções para equações diofantinas via leis de grupo nessas variedades.
• Contribuição Metodológica: O trabalho preenche a lacuna entre operações aritméticas formais (somas de Jacobi generalizadas) e estruturas geométricas (formas multiplicativas em interseções completas), mostrando que o toro algébrico que aparece na construção não é um objeto independente, mas o lugar invertível da variedade definida pelas relações generalizadas.

Os autores afirmam explicitamente que seus resultados estendem o estudo de formas multiplicativas iniciado por Hoshi [Hos03] de exemplos quadráticos para formas de grau superior e esclarecem a estrutura teórica de grupos subjacente a essas construções. Eles não alegam resolver problemas diofantinos gerais, mas sim fornecer uma estrutura sistemática para construir formas multiplicativas e elevar soluções em contextos ciclotômicos específicos.