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

Resumen Técnico: Formas f-icas Multiplicativas en Variedades Algebraicas que Surgen de las Sumas de Jacobi Generalizadas de Thaine

Enunciado del Problema
Este artículo aborda dos temas interconectados: las propiedades aritméticas de las sumas de Jacobi generalizadas y su realización geométrica como formas multiplicativas en variedades algebraicas.

1. Aritmética: Las sumas de Jacobi clásicas y sus matrices de multiplicación asociadas están bien comprendidas en el contexto de potencias de primos ($p^r$). Sin embargo, extender estas estructuras a productos de potencias de primos distintas ($p_1 p_2$) y establecer identidades multiplicativas que cierren la brecha entre los contextos clásico y generalizado sigue siendo un desafío. Específicamente, los autores buscan generalizar el teorema de elevación de Davenport y Hasse desde contextos de potencias de primos hasta productos de potencias de primos utilizando el marco de $d$-composiciones de Thaine.
2. Geométrica: Si bien la teoría de Pfister de formas cuadráticas multiplicativas sobre cuerpos es clásica, la construcción de formas multiplicativas de grado superior (formas f-icas, donde $f \ge 2$) en variedades algebraicas está menos desarrollada. El artículo tiene como objetivo construir tales formas en intersecciones completas e investigar la estructura de grupo algebraico (específicamente, toros algebraicos) que surge en subconjuntos abiertos densos de estas variedades.

Metodología
Los autores emplean una síntesis de teoría de números algebraica, ciclotomía y geometría algebraica:

• Marco de Thaine: El estudio utiliza las sumas de Jacobi generalizadas $E_p(a, b)$ y las matrices de multiplicación generalizadas $H_p$ de F. Thaine para elementos $p \in K^\times$. Estos objetos se definen axiomáticamente para satisfacer propiedades análogas a las sumas de Jacobi clásicas, pero son aplicables sobre cuerpos generales.
• $d$-Composición: Una herramienta central es la operación de $d$-composición de Thaine ($A \overset{d}{*} B$) sobre matrices. Los autores analizan cómo esta operación combina las sumas de Jacobi generalizadas y las matrices de multiplicación asociadas con $p_1$ y $p_2$ para producir objetos asociados con el producto $p_1 p_2$.
• Análisis de Fourier: En la Sección 3.3, las identidades multiplicativas se interpretan a través de una "transformada de Fourier finita doble torcida", relacionando números ciclotómicos y sumas de Jacobi mediante teoremas de convolución en grupos abelianos finitos.
• Construcción Geométrica: Las identidades aritméticas se traducen en operaciones geométricas. Al definir variedades algebraicas $V$ como intersecciones completas de hipersuperficies derivadas de sumas de correlación de coeficientes en extensiones ciclotómicas, los autores construyen aplicaciones bilineales $\phi_d: V \times V \to V$.
• Relaciones de Norma: La construcción se basa en relaciones de norma relativa en extensiones ciclotómicas $L/K$. Específicamente, las formas multiplicativas se derivan de la aplicación de norma $N_{L/M}$ donde $M$ es un cuerpo intermedio, vinculando la estructura algebraica de la variedad con las propiedades teóricas de cuerpos de los coeficientes.

Contribuciones y Resultados Clave

1. Identidades Multiplicativas Generalizadas (Teorema 1.1):
   Los autores demuestran que las sumas de Jacobi generalizadas para un producto $p_1 p_2$ pueden construirse mediante la $d$-composición de sumas para $p_1$ y $p_2$. Específicamente, si $E_{p_1}$ y $E_{p_2}$ son sumas de Jacobi generalizadas, entonces $E_{p_1 p_2, d}(a, b) := -\sigma_{-d}(E_{p_1}(a, b))E_{p_2}(a, b)$ es una suma de Jacobi generalizada para $p_1 p_2$. Esto extiende la teoría clásica donde las sumas de Jacobi están intrínsecamente ligadas a potencias de primos, mostrando que las sumas generalizadas de Thaine son multiplicativas con respecto a los productos.

2. Extensión de la Elevación de Davenport-Hasse (Teorema 1.3):
   El artículo establece una equivalencia entre la elevación de las sumas de Jacobi (Davenport-Hasse) y la elevación de las matrices de multiplicación de los periodos gaussianos. Demuestra que el producto $n$-fold de una matriz de multiplicación bajo composición $(-1)$ corresponde a la elevación de las sumas de Jacobi desde $\mathbb{F}_{p^r}$ hasta $\mathbb{F}_{p^{nr}}$.

3. Construcción de Formas Cuadráticas Multiplicativas (Teorema 1.4):
   Para un primo impar $l$, los autores construyen una forma cuadrática regular $q(x)$ en una variedad algebraica $V \subset K^{l-1}$ definida por la intersección de $\frac{l-1}{2}-1$ cuádricas. Demuestran que $q(x)$ es multiplicativa en $V$, lo que significa que $q(x)q(y) = q(\phi(x, y))$ para una aplicación bilineal específica $\phi$. Esto generaliza el trabajo anterior de Hoshi sobre formas cuadráticas multiplicativas.

4. Construcción de Formas f-icas Multiplicativas (Teorema 1.5):
   Generalizando al grado $f \ge 2$, el artículo construye formas f-icas multiplicativas $h(x)$ en variedades $V$ definidas como intersecciones completas de $e-1$ hipersuperficies de grado $f$ (donde $l = ef + 1$). Se demuestra que la forma $h(x)$ es regular y multiplicativa con respecto a la ley de composición derivada de la $d$-composición de coeficientes.

5. Estructura de Toro Algebraico (Teorema 1.6):
   Un resultado geométrico significativo es la identificación de un subconjunto abierto denso $W \subset V$ (donde la norma del elemento asociado es no nula) como un $K$-toro algebraico. La ley de composición $x \overset{-1}{*} y$ se restringe a una ley de grupo conmutativa en $W$, haciendo que $W$ sea isomorfo a un subtoro definido por la norma de la restricción de Weil $R_{L/K}(\mathbb{G}_m)$. Esto sitúa la teoría de Pfister de formas cuadráticas multiplicativas dentro de un contexto más amplio de formas f-icas multiplicativas en variedades que portan estructuras de toro.

6. Elevaciones Explícitas de Soluciones Diofánticas (Sección 4.3):
   Los autores aplican estos resultados para proporcionar fórmulas explícitas para elevar soluciones de sistemas diofánticos asociados con sumas de Jacobi. Para potencias de primos $p_1, p_2$, las soluciones para $p_1 p_2$ se construyen a partir de soluciones para $p_1$ y $p_2$ utilizando las aplicaciones bilineales derivadas de las formas multiplicativas. Esto recupera y generaliza resultados conocidos para $l=3, 5, 7$ (por ejemplo, relacionados con las Disquisitiones Arithmeticae de Gauss y sistemas estudiados por Katre, Rajwade y van Wamelen).

Significado y Afirmaciones
El artículo afirma situar la teoría de las formas cuadráticas multiplicativas sobre cuerpos (teoría de Pfister) en un contexto más amplio de formas f-icas multiplicativas en variedades algebraicas afines.

• Significado Aritmético: Extiende el alcance de la elevación de Davenport-Hasse y las identidades de sumas de Jacobi desde potencias de primos hasta productos de potencias de primos, utilizando la $d$-composición de Thaine para unificar estos casos.
• Significado Geométrico: Demuestra que la "parte invertible" de la variedad de coeficientes obtenida al geometrizar las relaciones de las sumas de Jacobi porta naturalmente la estructura de un toro algebraico. Esto proporciona un mecanismo geométrico para generar nuevas soluciones a ecuaciones diofánticas mediante leyes de grupo en estas variedades.
• Contribución Metodológica: La obra cierra la brecha entre operaciones aritméticas formales (sumas de Jacobi generalizadas) y estructuras geométricas (formas multiplicativas en intersecciones completas), mostrando que el toro algebraico que aparece en la construcción no es un objeto independiente, sino el lugar invertible de la variedad definida por las relaciones generalizadas.

Los autores declaran explícitamente que sus resultados extienden el estudio de las formas multiplicativas iniciado por Hoshi [Hos03] desde ejemplos cuadráticos hasta formas de grado superior y aclaran la estructura teórica de grupos subyacente a estas construcciones. No afirman resolver problemas diofánticos generales, sino más bien proporcionar un marco sistemático para construir formas multiplicativas y elevar soluciones en contextos ciclotómicos específicos.