Sobre la racionalidad de una serie de Eisenstein Siegel paramodular

Información Básica

• ID del Artículo: 2510.22762
• Título: On the rationality of a paramodular Siegel Eisenstein series
• Autor: Erin Pierce
• Clasificación: math.NT (Teoría de Números)
• Fecha de Publicación: 26 de octubre de 2025 (preimpresión arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2510.22762

Resumen

Este artículo estudia el problema de la racionalidad de los coeficientes de Fourier de una clase especial de series de Eisenstein Siegel paramodulares. Para series de Eisenstein Siegel paramodulares de nivel $N^2$ y peso $k\geq 4$, el autor demuestra que sus coeficientes de Fourier se encuentran en un campo numérico y proporciona una caracterización precisa de dicho campo.

Antecedentes de Investigación y Motivación

Problema de Investigación

El problema central estudiado en este artículo es: ¿En qué campo numérico se encuentran los coeficientes de Fourier de las series de Eisenstein Siegel paramodulares? Esta es una cuestión fundamental en la teoría de formas modulares.

Importancia del Problema

1. Significado Teórico: Las propiedades aritméticas de los coeficientes de Fourier son objetos centrales de estudio en la teoría de formas modulares, estrechamente relacionados con teorías profundas como funciones L y representaciones de Galois
2. Contexto Histórico: Siegel demostró en 1939 que los coeficientes de Fourier de la serie de Eisenstein clásica $E_k(Z)$ son números racionales
3. Valor de Generalización: La generalización del caso clásico al caso del grupo paramodular con estructura de nivel requiere superar dificultades técnicas significativas

Limitaciones de Métodos Existentes

1. Los resultados generales de Shimura (véase Lema 10.5 en 6 y Lema 6.10 en 5) muestran que para el subgrupo de congruencia principal $\Gamma(N)$, los coeficientes de Fourier de formas modulares de peso $k$ apropiadamente normalizadas se encuentran en algún campo numérico, pero no proporcionan una caracterización precisa del campo
2. Para grupos no congruentes como el grupo paramodular, la teoría general no se puede aplicar directamente

Motivación de la Investigación

Utilizar la fórmula explícita para los coeficientes de Fourier obtenida por el autor en 4 para proporcionar resultados más refinados que la teoría general, caracterizando explícitamente el campo numérico en el que se encuentran los coeficientes de Fourier.

Contribuciones Principales

Las contribuciones principales del artículo incluyen:

1. Caracterización Precisa del Campo Numérico (Teorema 1.1(i)): Se demuestra que los coeficientes de Fourier de $E_{k,\eta}$ se encuentran en el campo numérico $\mathbb{Q}(i, \eta, \zeta_N)$, donde $\eta$ es un carácter de Dirichlet primitivo y $\zeta_N$ es una raíz primitiva $N$-ésima de la unidad
2. Resultados de Descomposición por Rango más Refinados (Teorema 1.1(ii)):
   • Para matrices de rango 1 $T$: el coeficiente $a(T) \in \mathbb{Q}(\eta, G(\eta))$ (campo generado por los valores de $\eta$ y la suma de Gauss)
   • Para matrices de rango 2 $T$: el coeficiente $a(T) \in \mathbb{Q}(\eta, \sqrt{|D|}G(\alpha), G(\beta), i)$, que típicamente es un subcampo propio de $\mathbb{Q}(\eta, \zeta_N, i)$
3. Resultados Técnicos Clave:
   • Se demuestra la racionalidad del factor local $K(k, T, \chi_p)$ (Proposición 5.1)
   • Se establece la relación entre sumas de Gauss y raíces de la unidad (Proposición 6.2)

Explicación Detallada del Método

Definición de la Tarea

Entrada:

• Entero $k \geq 4$ (peso)
• Carácter de Dirichlet primitivo $\eta$ con conductor $N$
• Matriz semidefinida positiva $T = \begin{bmatrix} n & r/2 \\ r/2 & m \end{bmatrix}$ satisfaciendo $N^2 | m$

Salida: Determinar el campo numérico en el que se encuentra el coeficiente de Fourier $a(T)$

Restricciones: $n, r, m$ son enteros, $r^2 - 4nm = Df^2$, donde $D$ es un discriminante fundamental y $f$ es un entero

Marco Teórico

1. Definición de Series de Eisenstein Siegel Paramodulares

El grupo paramodular se define como: $K(M) = \text{Sp}(4,\mathbb{Q}) \cap \begin{bmatrix} \mathbb{Z} & M\mathbb{Z} & \mathbb{Z} & \mathbb{Z} \\ \mathbb{Z} & \mathbb{Z} & \mathbb{Z} & M^{-1}\mathbb{Z} \\ \mathbb{Z} & M\mathbb{Z} & \mathbb{Z} & \mathbb{Z} \\ M\mathbb{Z} & M\mathbb{Z} & M\mathbb{Z} & \mathbb{Z} \end{bmatrix}$

La serie de Eisenstein se define como: $E_{k,\eta}(Z) = \frac{1}{2}\sum_{b\in(\mathbb{Z}/N\mathbb{Z})^\times} \eta(b)E_k(Z, K(N^2), C_0(bN))$

donde $C_0(x) = \begin{bmatrix} 1 & & & \\ & 1 & & \\ x & & 1 & \\ & x & & 1 \end{bmatrix}$

2. Expansión de Fourier

De acuerdo con el Teorema 6.1 (de 4), $E_{k,\eta}(Z)$ tiene la expansión de Fourier: $E_{k,\eta}(Z) = \delta_{\eta=1} + \sum_{T\neq 0} a(T)e^{2\pi i\text{tr}(TZ)}$

donde:

• Rango 0: $a(T) \in \{0,1\}$
• Rango 1: cuando $m > 0$ y $r_N = (2m)_N/N$, $a(T) = \frac{(−2\pi i)^k}{(k−1)!} \cdot \frac{\sigma_{k-1,\eta}(e_{\hat{N}})}{L(k,\eta)} \cdot \frac{\eta(r_{\hat{N}})}{\eta(2_{\hat{N}})}e_N^{k-1}$
• Rango 2: $a(T) = \frac{(4\pi)^{2k-1}\det(T)^{k-3/2}}{2(2k-2)!}N^{2-2k}f_{\hat{N}}^{3-2k}\eta(f_{\hat{N}}^2)H̃_{D,k,\eta}(e_{\hat{N}}, f_{\hat{N}}) \cdot \frac{L(k-1,\chi_D\eta)}{L(k,\eta)L(2k-2,\eta^2)}G(\eta) \cdot \text{(factor local)}$

Puntos de Innovación Técnica

1. Racionalidad del Factor Local (Proposición 5.1)

La clave es demostrar: $K(k, T, \chi_p) := \sum_{j=1-n_p}^\infty p^{j(2-k)}\int_{S(j+1,n_p)} \chi_p(n\mu^{-1} + rp^{-n_p} + m\mu p^{-2n_p})d\mu \in \mathbb{Q}(\eta)$

Estrategia de Prueba:

• Cuando $s=k$, $p^{2-s}$ es un número racional
• Se demuestra que la suma es finita (solo finitos términos son no nulos)
• Dos casos:
  1. El conjunto $S(j+1, n_p)$ es no vacío solo para un valor de $j$
  2. Cuando $\chi_p$ es ramificado, para $j$ suficientemente grande, la integral es cero

Detalles Técnicos: Mediante completación de cuadrados y análisis fino de valuaciones $p$-ádicas, se demuestra que para $j$ suficientemente grande, el carácter en la integral se integra a cero sobre el grupo de unidades.

2. Relación entre Sumas de Gauss y Raíces de la Unidad (Proposición 6.2)

Se demuestra: $G(\alpha)\sqrt{|D|} \in \mathbb{Q}(\eta, \zeta_N, i)$

donde $\alpha$ es el carácter primitivo correspondiente a $\chi_D\eta$.

Idea de la Prueba:

• Se utiliza la relación entre sumas de Gauss y factores $\varepsilon$ locales (Proposición 3.1): $\prod_{p<\infty} \varepsilon(\tfrac{1}{2}, \chi_p, \psi_p) = \frac{\eta(-1)G(\eta)}{\sqrt{N}}$
• Se define la cantidad local $A_p := \sqrt{p^{v_p(a)}p^{v_p(|D|)}}\varepsilon(\tfrac{1}{2}, \chi_p\sigma_p, \psi_p)$
• Para cada primo $p|a$, se demuestra por casos que $A_p \in \mathbb{Q}(\eta, \zeta_N, i)$:
  • $p \nmid N, p||D$: se utiliza que $\chi_p$ es no ramificado
  • $p|N, p\nmid |D|$: se utiliza que $\psi_p$ toma valores en $\langle\zeta_{p^{v_p(N)}}\rangle$ en $\mathbb{Z}_p^\times$
  • $p|N, p||D|$, $\chi_p^2 \neq 1$: se utiliza el resultado de Gauss $\sqrt{p} \in \mathbb{Q}(\zeta_p, i)$
  • $p|N, p||D|$, $\chi_p^2 = 1$: se utiliza la propiedad de caracteres cuadráticos

3. Propiedades Aritméticas de Valores Especiales de Funciones L

Se utiliza la fórmula clásica para funciones L de Dirichlet en puntos enteros positivos (de Neukirch 2): $L(k, \eta) = (-1)^{1+\frac{k-\epsilon}{2}}\frac{G(\eta)}{2i^\epsilon}\left(\frac{2\pi}{m}\right)^k \frac{B_{k,\bar{\eta}}}{k!}$

donde $B_{k,\eta}$ son números de Bernoulli generalizados, $\epsilon = 0$ (si $\eta(-1)=1$) o $1$ (si $\eta(-1)=-1$).

Configuración Experimental

Este artículo es un trabajo de matemática teórica pura y no implica experimentos numéricos ni verificación computacional. Todos los resultados se obtienen mediante pruebas matemáticas rigurosas.

Resultados Experimentales

Enunciado del Teorema Principal

Teorema 1.1: Sea $E_{k,\eta}$ como se define en (3), donde $\eta$ es un carácter de Dirichlet primitivo con conductor $N$.

(i) Los coeficientes de Fourier de $E_{k,\eta}$ se encuentran en el campo numérico $\mathbb{Q}(i, \eta, \zeta_N)$.

(ii) Para una matriz fija $T = \begin{bmatrix} n & r/2 \\ r/2 & m \end{bmatrix}$, sea $r^2 - 4nm = Df^2$, donde $D$ es un discriminante fundamental y $f$ es un entero. Sea $\alpha$ el carácter primitivo correspondiente a $\chi_D\eta$ y $\beta$ el carácter primitivo correspondiente a $\eta^2$. Considerando el coeficiente de Fourier $a(T)$ en el Teorema 6.1:

• (a) Si $\text{rank}(T) = 1$, entonces $a(T) \in \mathbb{Q}(\eta, G(\eta))$
• (b) Si $\text{rank}(T) = 2$, entonces $a(T) \in \mathbb{Q}(\eta, \sqrt{|D|}G(\alpha), G(\beta), i)$

Ejemplos Concretos

El artículo proporciona un ejemplo ilustrativo: si $\eta^2 = 1$ y $\alpha = \chi_D\eta$ es primitivo, entonces $L = \mathbb{Q}(\sqrt{N}, i) \subseteq \mathbb{Q}(\zeta_N, i)$ lo que muestra que en muchos casos, $L$ es efectivamente un subcampo propio de $\mathbb{Q}(\zeta_N, i)$.

Pasos Clave de la Prueba

Caso de Rango 1 (Fórmula 53): $a(T) = \frac{(-1)^{-1+\frac{k+\epsilon}{2}}2^k i^{k+\epsilon}m^k \sigma_{k-1,\eta}(e_{\hat{N}})}{G(\eta)B_{k,\bar{\eta}}} \cdot \frac{\eta(r_{\hat{N}})}{\eta(2_{\hat{N}})}e_N^{k-1} \in \mathbb{Q}(\eta, \zeta_N)$

porque $\sigma_{k-1,\eta}, B_{k,\bar{\eta}} \in \mathbb{Q}(\eta)$ y $k+\epsilon$ siempre es par.

Caso de Rango 2 (Fórmula 57): La clave es demostrar $(4\pi)^{2k-1}\det(T)^{k-3/2} \cdot \frac{L(k-1,\chi_D\eta)}{L(k,\eta)L(2k-2,\eta^2)}G(\eta) \in \mathbb{Q}(\eta, \zeta_N, i)$

Transformando la razón de funciones L en expresiones de funciones L de caracteres primitivos y sumas de Gauss, y utilizando la Proposición 6.2, se completa la prueba.

Trabajo Relacionado

Resultados Clásicos

1. Siegel (1939) 8: Proporciona la fórmula de coeficientes de Fourier para la serie de Eisenstein clásica $E_k(Z)$, demostrando que son números racionales
2. Shimura 6: El Lema 10.5 proporciona un resultado general: para subgrupos de congruencia principal, los coeficientes de Fourier de formas modulares de peso apropiadamente normalizadas se encuentran en algún campo numérico
3. Pitale-Saha-Schmidt 5: El Lema 6.10 proporciona resultados generales similares

Generalización en Este Artículo

La serie de Eisenstein paramodular $E_{k,\eta}$ estudiada en este artículo es una generalización de la serie de Eisenstein clásica de Siegel:

• De sin nivel a nivel $N^2$
• Del grupo simpléctico $\text{Sp}(4,\mathbb{Z})$ al grupo paramodular $K(N^2)$
• Introduciendo el carácter de Dirichlet $\eta$

Trabajos Relacionados

Pierce-Schmidt 4: Proporciona la fórmula explícita para los coeficientes de Fourier de $E_{k,\eta}$ (Teorema 6.1 de este artículo), que es la base de la prueba de este artículo

Conclusiones y Discusión

Conclusiones Principales

1. Caracterización Precisa del Campo Numérico: Por primera vez, se proporciona explícitamente el campo numérico en el que se encuentran los coeficientes de Fourier de series de Eisenstein Siegel paramodulares
2. Resultados Refinados Dependientes del Rango: Se demuestra que los coeficientes de Fourier de diferentes rangos se encuentran en subcampos diferentes (típicamente más pequeños)
3. Relación con la Teoría General: Los resultados de este artículo son un refinamiento de la teoría general de Shimura y otros, proporcionando una construcción explícita del campo numérico

Limitaciones

1. Restricción de Peso: Se requiere $k \geq 4$, porque es necesario utilizar fórmulas de valores especiales de funciones L en puntos enteros positivos
2. Restricción de Nivel: Solo se considera el grupo paramodular de nivel $N^2$; estructuras de nivel más generales no se tratan
3. Construcción Específica: Solo se estudian series de Eisenstein específicas construidas mediante caracteres de Dirichlet, no todas las formas modulares paramodulares

Direcciones Futuras

El artículo no propone explícitamente direcciones futuras de investigación, pero las generalizaciones naturales incluyen:

1. Generalización a estructuras de nivel más generales
2. Consideración de otros tipos de formas modulares (como formas cúspides)
3. Estudio de propiedades aritméticas más refinadas de los coeficientes de Fourier (como integralidad, propiedades de congruencia, etc.)

Evaluación Profunda

Fortalezas

1. Profundidad Teórica:
   • Combina ingeniosamente herramientas de teoría de formas modulares, funciones L de Dirichlet, sumas de Gauss, factores $\varepsilon$ locales y otras técnicas
   • Las técnicas de prueba son refinadas, particularmente las pruebas de las Proposiciones 5.1 y 6.2 requieren análisis $p$-ádico profundo
2. Precisión de Resultados:
   • No se conforma con resultados generales de existencia, proporciona una caracterización explícita del campo numérico
   • Los resultados de descomposición por rango indican una comprensión profunda del problema
3. Claridad de Presentación:
   • Sistema de notación completo (Sección 2)
   • Introducción suficiente de conocimientos previos (Secciones 3-4)
   • Estructura clara de la prueba, con pasos clave destacados
4. Contribuciones Técnicas:
   • La prueba de la Proposición 5.1 sobre la racionalidad del factor local es una contribución técnicamente fuerte
   • La Proposición 6.2 establece una relación precisa entre sumas de Gauss y raíces de la unidad

Deficiencias

1. Limitaciones del Método:
   • Depende fuertemente de la fórmula explícita en 4; no es aplicable a formas modulares sin fórmulas explícitas
   • El método de prueba es verificación término a término, careciendo de un marco conceptual unificado
2. Completitud de Resultados:
   • La prueba de la Proposición 5.1 solo proporciona ejemplos ilustrativos; la prueba completa se pospone a la tesis doctoral del autor 3
   • No se discute el caso $k < 4$
3. Aplicaciones e Importancia:
   • El artículo no discute aplicaciones de estos resultados de racionalidad
   • Las conexiones con geometría aritmética, representaciones de Galois y teorías más profundas no se desarrollan
4. Ejemplos y Verificación:
   • Faltan ejemplos numéricos concretos que ilustren la aplicación del teorema
   • No hay comparación con casos especiales conocidos

Impacto

1. Contribución al Campo:
   • Llena un vacío en la teoría de formas modulares paramodulares
   • Proporciona una base para investigaciones posteriores sobre propiedades aritméticas de formas modulares paramodulares
2. Valor Práctico:
   • Tiene valor directo para investigadores que necesitan calcular coeficientes de Fourier de series de Eisenstein paramodulares
   • Proporciona apoyo teórico para verificación numérica de conjeturas relacionadas con el programa de Langlands
3. Reproducibilidad:
   • Las pruebas teóricas pueden verificarse
   • Sin embargo, la prueba completa de la Proposición 5.1 requiere referencia a la tesis doctoral aún no publicada

Escenarios Aplicables

1. Investigación Teórica:
   • Estudio de propiedades aritméticas de formas modulares paramodulares
   • Construcción de representaciones de Galois
   • Estudio de valores especiales de funciones L
2. Aplicaciones Computacionales:
   • Experimentos numéricos que requieren cálculo preciso de coeficientes de Fourier
   • Verificación de conjeturas aritméticas relacionadas con formas modulares
3. Direcciones de Generalización:
   • Puede servir como plantilla para estudiar la racionalidad de otros tipos de formas modulares (como series de Eisenstein de Klingen)
   • El método puede generalizarse potencialmente a casos de dimensión superior

Referencias

Las referencias clave citadas en el artículo incluyen:

1. 2 Neukirch: Manual de teoría algebraica de números, proporciona fórmulas clásicas para valores especiales de funciones L
2. 4 Pierce-Schmidt: Proporciona la expansión explícita de Fourier de la serie de Eisenstein estudiada en este artículo
3. 5 Pitale-Saha-Schmidt: Proporciona resultados generales de algebraicidad
4. 6 Shimura: Obra clásica en teoría aritmética de formas modulares
5. 7,8 Siegel: Trabajos fundamentales en teoría de formas modulares de Siegel
6. 9 Tate: Literatura clásica sobre factores $\varepsilon$

Evaluación General: Este es un artículo de teoría de números técnicamente fuerte que logra resultados refinados en la teoría de formas modulares paramodulares. Aunque el método depende de fórmulas explícitas, el proceso de prueba demuestra una comprensión profunda de múltiples aspectos de formas modulares, funciones L y teoría local. La precisión de los resultados y la sofisticación técnica de las pruebas son los puntos fuertes principales del artículo, proporcionando una base sólida para investigaciones posteriores en este campo.