Determination of Hilbert modular forms using squarefree coefficients

Resumen Técnico: Determinación de Formas Modulares de Hilbert mediante Coeficientes Libres de Cuadrados

Planteamiento del Problema
El artículo aborda el problema de determinar de manera única las formas modulares de Hilbert de peso semientero sobre un cuerpo numérico totalmente real $F$ (de número de clase estricta 1) mediante un subconjunto de sus coeficientes de Fourier. Si bien la colección completa de coeficientes de Fourier determina de forma única una forma modular, los autores investigan si un conjunto "mínimo" es suficiente. Específicamente, se centran en los coeficientes soportados en enteros algebraicos libres de cuadrados. Esta investigación extiende el trabajo previo de Kohnen (restringido al "espacio plus" sobre $\mathbb{Q}$) y de Luo-Ramakrishnan (relativo a formas de peso entero y valores centrales de funciones $L$) al entorno más general de las formas modulares de Hilbert con pesos y niveles variables.

Metodología
Los autores emplean una combinación de técnicas de la teoría analítica de números, aprovechando específicamente la correspondencia de Shimura, la fórmula de Waldspurger y la teoría de Rankin-Selberg.

1. Correspondencia de Shimura y Ecuaciones Funcionales: La estrategia central consiste en relacionar las formas de peso semientero $f$ y $g$ con sus elevaciones de Shimura de peso entero, denotadas como $\tilde{f}$ y $\tilde{g}$. Los autores establecen las ecuaciones funcionales para las series de Dirichlet asociadas a estas formas. Un paso crítico es la involución de Fricke y el operador $W(n)$, que permiten a los autores relacionar la función $L$ de una forma con la de su giro (twist).
2. Comparación de Series de Dirichlet: Suponiendo que los coeficientes de Fourier normalizados de $f$ y $g$ coinciden en todos los enteros libres de cuadrados (salvo por una constante $\kappa$), los autores construyen una razón de sus funciones $L completas $C(s) = \Lambda(s, f) / \Lambda(s, g)$.
3. Continuación Analítica y Contradicción: Al analizar las ecuaciones funcionales de las funciones $L$ y las propiedades de los factores Gamma involucrados, los autores demuestran que $C(s)$ debe ser una constante. Esto implica una prueba por contradicción respecto a los pesos y niveles de las formas, utilizando la fórmula de duplicación de Legendre y el comportamiento de las funciones $L en puntos específicos para descartar parámetros desajustados.
4. Unicidad mediante Giros (Twists): Una vez establecida la igualdad de las funciones $L, los autores utilizan un lema (Lema 2) relativo al desvanecimiento de las series de Dirichlet giradas. Este lema, derivado de la ortogonalidad de los caracteres y las propiedades de los grupos de clases de rayos, permite concluir que si las funciones $L$ de los giros son iguales, las propias formas deben ser iguales.
5. Teoría de Rankin-Selberg: Para el resultado de no desvanecimiento, los autores utilizan la función $L$ de Rankin-Selberg $L(s, f \times f)$ y su polo en $s=1$. Al estimar la suma de los cuadrados de los coeficientes y aplicar la cota de Ramanujan, derivan una cota inferior para la magnitud de los coeficientes soportados en enteros libres de cuadrados.

Contribuciones Clave y Resultados

• Teorema 3 (Resultado Principal de Determinación): Los autores demuestran que si $f$ y $g$ son formas propias de Hecke de peso semientero cuspidales de pesos y niveles variables, y sus coeficientes de Fourier normalizados satisfacen $\lambda_f(\tau) = \kappa \lambda_g(\tau)$ para cada $\tau \in \mathcal{O}_F$ libre de cuadrados (con $\kappa \neq 0$), entonces $f = \kappa g$. Esto generaliza el resultado de Kohnen al eliminar la restricción al "espacio plus" y permitir pesos y niveles variables, aunque mantiene el requisito de que la igualdad se cumpla para cada entero libre de cuadrados en lugar de para "casi todos".
• Teorema 4 (Resultado de No Desvanecimiento): El artículo proporciona una "prueba suave" de que para una forma propia de Hecke no nula $f$, el límite superior del valor absoluto de sus coeficientes de Fourier soportados en enteros libres de cuadrados es no nulo. Específicamente, $\limsup_{T \to \infty, N(\tau)<T, \tau \text{ libre de cuadrados}} |\lambda_f(\tau)| \gg_{f,F} 1$. Esto confirma que infinitos de tales coeficientes no se desvanecen.
• Corolario 1 (Especialización al Espacio Plus): Los autores recuperan un resultado análogo al Teorema 1 de Kohnen para el espacio plus de Kohnen sobre $F$, mostrando que la igualdad de coeficientes en discriminantes fundamentales implica que las formas son idénticas.

Significancia y Reivindicaciones
El artículo sostiene que proporciona una formulación rigurosa de la expectativa filosófica de que los coeficientes libres de cuadrados portan toda la información necesaria para determinar de manera única una forma modular de Hilbert de peso semientero. Los autores posicionan el Teorema 3 como un resultado intermedio entre el caso específico de Kohnen (peso/nivel fijo, espacio plus) y el resultado de Luo-Ramakrishnan (peso entero, valores centrales de funciones $L$).

Los autores son modestos respecto al alcance de su generalización. Expresan explícitamente que sus métodos actuales no parecen capaces de eliminar el requisito de que la igualdad de los coeficientes se cumpla para cada entero libre de cuadrados (en lugar de "casi todos") o de relajar la igualdad de los coeficientes a una igualdad de sus magnitudes. Además, aunque el Teorema 4 establece el no desvanecimiento, los autores señalan que demostrar el resultado más fuerte de que el límite superior es infinito (es decir, $\limsup |\lambda_f(\tau)| = \infty$) sigue siendo un problema abierto, aunque citan el trabajo reciente de GKS24 como un paso en esa dirección.

La suposición de que el número de clase estricta de $F$ es 1 se señala como una conveniencia y una necesidad parcial para la estructura actual de la prueba, aunque los autores sugieren que partes del argumento podrían adaptarse para cuerpos donde el discriminante es un ideal principal. El trabajo depende fuertemente de la robustez de la correspondencia de Shimura y de las ecuaciones funcionales de las funciones $L asociadas para cerrar la brecha entre los ámbitos de peso entero y semientero.