On the Real Zeroes of Half-integral Weight Hecke Cusp Forms

Resumen Técnico: Sobre los ceros reales de las formas de cúspide de peso semientero de Hecke

Planteamiento del problema
Este artículo investiga la distribución de los ceros de las formas de cúspide de Hecke de peso semientero en la variedad $\Gamma_0(4)\backslash\mathbb{H}$ cerca de la cúspide en el infinito. Específicamente, aborda el análogo de la conjetura de Ghosh–Sarnak, la cual postula que, a medida que el peso $k \to \infty$, los ceros de tales formas de cúspide ubicados en conjuntos de Siegel decrecientes $F_Y = \{z \in F : \text{Im}(z) \ge Y\}$ (donde $Y \to \infty$) se concentran en dos geodésicas verticales específicas: $\delta_1 = \{s \in \mathbb{C} : \text{Re}(s) = -1/2\}$ y $\delta_2 = \{s \in \mathbb{C} : \text{Re}(s) = 0\}$. Estas son denominadas ceros "reales" porque las formas de cúspide, bajo una normalización específica, toman valores reales en estas líneas.

Si bien la equidistribución de los ceros en el dominio fundamental para las formas de peso semientero ha sido establecida condicionalmente sobre la Hipótesis de Riemann Generalizada (GRH) por Lester y Radziwiłł, el comportamiento de distribución más fino en escalas pequeñas (cerca de la cúspide) no había sido explorado en este entorno. Un obstáculo principal es que los coeficientes de Fourier de las formas de cúspide de peso semientero carecen de la plena multiplicatividad que poseen las formas de peso entero, lo que hace inaplicables las técnicas estándar del caso de peso entero (por ejemplo, las de Ghosh–Sarnak, Matomäki, y Lester–Matomäki–Radziwiłł).

Metodología
El autor emplea una estrategia que reduce la detección de ceros reales al estudio de los cambios de signo en los coeficientes de Fourier de las formas de cúspide. El núcleo del enfoque técnico consiste en utilizar dos vías distintas para establecer estos cambios de signo, empleando la correspondencia de Shimura que vincula las formas de peso semientiero $g$ con las formas de peso entero $f$ de peso $2k$.

1. Reducción a cambios de signo:
   Utilizando un argumento de descenso abrupto (Proposición 6.1), el artículo establece que el valor de la forma de cúspide $g$ en las líneas $\delta_j$ está determinado esencialmente por un único coeficiente de Fourier $c_g(\ell)$ para valores específicos de $\ell$. Por consiguiente, encontrar un cero en estas líneas corresponde a detectar cambios de signo en la secuencia de los coeficientes de Fourier $c_g(\ell)$ a medida que $\ell$ varía.

2. Enfoque para el Teorema 1.1 (Muchos formularios, conteo óptimo):
   Para probar que un gran número de formas (específicamente $\gg_\varepsilon K^2/(\log K)^{3/2+\varepsilon}$) poseen el número esperado de ceros reales, el autor analiza los coeficientes de Fourier $c_g(|d|)$ donde $d$ varía sobre discriminantes fundamentales.

• Momentos de funciones L: La prueba se basa en la estimación de los primeros y segundos momentos de las torsiones cuadráticas de las funciones L modulares, $L(1/2, f \otimes \chi_d)$. Mediante la fórmula de Waldspurger, $|c_g(|d|)|^2$ es proporcional a estos valores L.
• Promediación: El autor promedia sobre la familia de formas y el peso $k$. Esta promediación es crucial porque la relación entre el logaritmo del conductor y el logaritmo del tamaño de la familia es demasiado grande para las fórmulas asintóticas estándar sin una promediación adicional.
• Intervalos cortos: El argumento consiste en mostrar que, para muchas formas, la suma de los coeficientes sobre intervalos cortos $[x, x+H]$ exhibe cambios de signo. Esto se logra acotando el primer momento (Lema 2.7) y el cuarto momento (Lema 2.8) de los coeficientes, utilizando la fórmula de Petersson para formas de peso semientero y la desigualdad de la gran criba de Deshouillers e Iwaniec.

3. Enfoque para el Teorema 1.3 (Proporción positiva de formas):
   Para establecer un resultado para una proporción positiva de formas, el autor explota la multiplicatividad de los coeficientes de Fourier en argumentos cuadrados.

• Estructura multiplicativa: Para un discriminante fundamental $d$ fijo, la secuencia $c_g(|d|m^2)$ se comporta de manera multiplicativa en $m$.
• Moliadura (Mollification): La prueba utiliza moliadores de Iwaniec–Sarnak para manejar el tamaño de $c_g(|d|)$. La Proposición 2.1 establece que, para una proporción positiva de formas, $|c_g(|d|)$ no es demasiado pequeño.
• Cambios de signo: Al aplicar resultados sobre los cambios de signo de funciones multiplicativas (específicamente adaptando argumentos de Lester, Matomäki y Radziwiłł), el artículo demuestra que la secuencia $c_g(|d|m^2)$ experimenta cambios de signo para una proporción positiva de formas.

Contribuciones clave y resultados

• Teorema 1.1: Para $\gg_\varepsilon K^2/(\log K)^{3/2+\varepsilon}$ de las formas de Hecke de cúspide de peso semientero en el subespacio de Kohnen plus con peso acotado por $K$, el número de ceros reales en la región $F_Y$ (donde $\sqrt{K}\log K \le Y \le K^{1-\delta}$) en cada geodésica $\delta_j$ es $\gg K/Y (\log K)^{-23/2}$. Este conteo es óptimo salvo por potencias de logaritmos, coincidiendo con la tasa esperada derivada del área del dominio.
• Teorema 1.3: Para al menos $(1/2 - \varepsilon)$ de las formas en la misma familia, el número de ceros reales en cada geodésica $\delta_j$ en el mismo rango de $Y$ es $\gg \sqrt{K/Y}$. Esto proporciona un límite inferior que se mantiene para una proporción positiva de formas, aunque con una tasa de crecimiento más débil que el resultado de "muchas formas".
• Innovación técnica: El artículo introduce métodos para manejar la falta de multiplicatividad en los coeficientes de peso semientero combinando la promediación sobre pesos con la correspondencia de Shimura. Proporciona nuevas estimaciones para los primeros y segundos momentos de las torsiones cuadráticas de las funciones L promediadas sobre el subespacio de Kohnen plus.

Significado y afirmaciones
El autor afirma que estos son los primeros resultados relativos a la distribución a pequeña escala de los ceros para las formas de cúspide de Hecke de peso semientero. El trabajo demuestra que, a pesar de las diferencias estructurales entre las formas de peso entero y las de peso semientero (específicamente la falta de plena multiplicatividad), el fenómeno de la concentración de ceros en geodésicas específicas cerca de la cúspide persiste.

El artículo señala explícitamente que las técnicas difieren fundamentalmente de las utilizadas en el caso de peso entero. Mientras que el caso de peso entero depende fuertemente de la multiplicatividad de los coeficientes para estudiar los cambios de signo directamente, el entorno de peso semientero requiere una interacción más compleja de estimaciones de momentos de funciones L y las propiedades aritméticas específicas de la elevación de Shimura.

El autor afirma modestamente que los resultados para el Teorema 1.1 son óptimos salvo por factores logarítmicos y que los métodos son distintos de trabajos previos, demostrando que se puede deducir información no trivial sobre estos ceros sin los resultados fuertes disponibles en el caso de peso entero.

El artículo no pretende probar la conjetura completa de Ghosh–Sarnak (que todos los ceros se concentran en estas líneas), ni pretende eliminar las pérdidas logarítmicas en el conteo para el Teorema 1.1. También observa que extender el resultado del Teorema 1.1 a una proporción positiva de formas utilizando moliadores sigue siendo un problema abierto desafiante, aunque el autor menciona en una nota al pie que se ha obtenido un resultado posterior utilizando un moliador de producto de Euler.