Signs of Square-Free Fourier Coefficients of Half-Integral weight cusp forms and the Congruent Number Problem

Resumen Técnico: Signos de los Coeficientes de Fourier Libres de Cuadrados de Formas de Cúspide de Peso Semientero y el Problema del Número Congruente

Planteamiento del Problema
El artículo investiga la distribución de signos de los coeficientes de Fourier libres de cuadrados de formas de cúspide de peso semientero. Específicamente, aborda el problema de determinar si el número de coeficientes positivos y negativos hasta un límite $X$ es lo suficientemente grande como para garantizar cambios de signo infinitos. Esta investigación está motivada por el Problema del Número Congruente, donde el signo de un coeficiente específico de peso $3/2$, $\Delta(t)$, distingue entre las desigualdades $r_{Q_1}(t) > r_{Q_2}(t)$ y $r_{Q_1}(t) < r_{Q_2}(t)$ para enteros impares libres de cuadrados $t$. Si bien la fórmula de Waldspurger relaciona el cuadrado de estos coeficientes con el valor central de la función $L$, $L(E_t, 1)$, esta no determina sus signos. Trabajos previos de Hulse, Kıral, Kuan y Lim establecieron cambios de signo infinitos para formas de nivel 4, pero extender estos resultados a niveles generales requirió superar obstáculos analíticos significativos relacionados con las torsiones aditivas.

Metodología
Los autores emplean una combinación de técnicas de la teoría analítica de números, centrándose específicamente en la continuación de series de Dirichlet y el método de Rankin–Selberg.

1. Ecuaciones Funcionales para Torsiones Aditivas: Una innovación técnica primordial es la derivación de ecuaciones funcionales para las torsiones aditivas de formas de peso semientero en cúspides arbitrarias para un nivel $N$ general (donde $4|N$). A diferencia de los análisis previos de nivel 4 que trataban los cúspides caso por caso (basándose en el denominador del cúspide), los autores establecen una ecuación funcional unificada (Lema 2.2) que relaciona la torsión en un punto racional $u/d$ con la expansión de Fourier en un cúspide correspondiente. Esto implica la construcción de matrices de escalado específicas y el uso de la cobertura metapléctica para manejar los factores de automorfía.
2. Continuación Analítica de Series Libres de Cuadrados: Utilizando las ecuaciones funcionales derivadas, los autores continúan la serie de Dirichlet de los coeficientes libres de cuadrados, $M_f(s) = \sum_{t \text{ libre de cuadrados}} a_f(t)t^{-s}$, al semiplano $\Re(s) > 3/4$. Esto se logra expresando la serie mediante torsiones aditivas, aplicando las ecuaciones funcionales para mover el argumento a la línea crítica y utilizando el principio de Phragmén–Lindelöf para acotar el crecimiento en la franja crítica.
3. Segundos Momentos de Rankin–Selberg: El artículo establece una cota inferior para el segundo momento de los coeficientes libres de cuadrados, $B_f(X) = \sum_{t \le X, \text{libre de cuadrados}} |a_f(t)|^2$. Al relacionar la suma sobre todos los enteros con la suma sobre enteros libres de cuadrados (usando un argumento de transferencia similar al de Lau, Royer y Wu) y aplicando la teoría espectral de series de Eisenstein, demuestran que $B_f(X) \asymp_f X$.
4. Argumento de Distribución de Signos: Combinando la cota superior para la suma con signo $S_f(X) = \sum a_f(t)W(t/X)$ (derivada de la continuación analítica a $\Re(s) > 3/4$) con la cota inferior para la suma absoluta $A_f(X)$, los autores demuestran que las contribuciones positivas y negativas deben ser ambas sustanciales. Esto fuerza la existencia de un gran número de coeficientes de cada signo.

Contribuciones Clave y Resultados

• Teorema de Signo de Nivel General (Teorema 1.1): Los autores prueban que para una forma de cúspide de peso semientero $f \in S_{k/2}(\Gamma_0(N))$ con $4|N$, que cumple con las condiciones de autoforma, tiene un levantamiento de Shimura cuspidal no nulo y (para $k=3$) es ortogonal al subespacio de la función theta unaria, el número de coeficientes libres de cuadrados positivos y negativos hasta $X$ satisface:
  $$P_f^\pm(X) \gg_{f,\varepsilon} X^{4/7-\varepsilon}$$
  para cada $\varepsilon > 0$. En consecuencia, los coeficientes cambian de signo infinitas veces.
• Aplicación al Problema del Número Congruente (Teorema 1.2): Aplicando el teorema general a la forma específica de peso $3/2$, $\Psi$, asociada a la curva elíptica $E: y^2 = x^3 - x$, el artículo prueba que para enteros impares libres de cuadrados $t \le X$:
  $$\#\{t \le X : r_{Q_1}(t) > r_{Q_2}(t)\} \gg_\varepsilon X^{4/7-\varepsilon}$$
  y
  $$\#\{t \le X : r_{Q_1}(t) < r_{Q_2}(t)\} \gg_\varepsilon X^{4/7-\varepsilon}.$$
  Esto confirma que $\Delta(t)$ cambia de signo infinitas veces.
• Números No Congruentes: Los autores señalan que, dado que $L(E_t, 1) \neq 0$ para estos $t$ (implicado por $\Delta(t) \neq 0$), el teorema de Coates–Wiles implica que el rango de Mordell–Weil de $E_t$ es cero. Por lo tanto, cada entero contado en el Teorema 1.2 es un número no congruente.

Significancia
La principal significancia del artículo radica en la extensión de los resultados conocidos sobre los cambios de signo de los coeficientes libres de cuadrados desde el nivel 4 a un nivel general $N$ divisible por 4. Los autores declaran explícitamente que el "principal problema nuevo" en esta generalización es el tratamiento de las torsiones aditivas en cúspides arbitrarias, lo cual resuelven estableciendo nuevas ecuaciones funcionales.

Respecto al Problema del Número Congruente, el artículo proporciona una prueba rigurosa de que la función aritmética que distingue las dos cuentas de representación ($r_{Q_1}$ y $r_{Q_2}$) no está sesgada hacia un signo; ambas desigualdades ocurren frecuentemente. Aunque el artículo no proporciona una nueva interpretación aritmética para el signo de $\Delta(t)$ en sí (notando que tal interpretación es actualmente desconocida), establece la densidad de los números no congruentes que surgen de este criterio específico.

Los autores se mantienen modestos respecto a la distribución de los signos, presentando datos numéricos (Tabla 1) que sugieren que los signos están asintóticamente equidistribuidos ($N_+(X) \sim N_-(X)$), pero formulan esto como la Conjetura 5.1 en lugar de un resultado probado. El artículo concluye que los cambios de signo son infinitos y que los conteos de coeficientes positivos y negativos son del mismo orden de magnitud, $X^{4/7-\varepsilon}$.