On Ramanujan Primes for Hecke-Maass Cusp Forms

Resumo Técnico: Sobre Primos de Ramanujan para Formas de Cuspide Hecke-Maass

Enunciado do Problema
A conjectura de Ramanujan para uma forma de cuspide Hecke-Maass primitiva $\phi$ afirma que, para qualquer primo $p$ que não divide o nível $N$, o $p$-ésimo autovalor de Hecke $\lambda_\phi(p)$ satisfaz o limite agudo $|\lambda_\phi(p)| \le 2$. Embora isso permaneça um problema em aberto no caso geral (sendo o melhor limite conhecido $|\lambda_\phi(p)| \le p^{7/64} + p^{-7/64}$ devido a Kim e Sarnak), Luo e Zhou [LZ19] estabeleceram anteriormente que o conjunto de primos $RP(\phi) = \{p \nmid N : |\lambda_\phi(p)| \le 2\}$ possui uma densidade natural inferior de pelo menos $34/35$. Além disso, eles demonstraram a existência de um menor primo em $RP(\phi)$ limitado por uma potência do condutor analítico.

Este artigo estende essas investigações ao contexto de múltiplas formas de cuspide Hecke-Maass primitivas distintas. Os autores abordam duas questões principais:

1. Ocorrência Simultânea: Qual é o limite superior para o menor primo $p$ no qual a conjectura de Ramanujan vale simultaneamente para duas ou três formas distintas?
2. Densidade da União: Qual é a densidade natural inferior do conjunto de primos nos quais a conjectura de Ramanujan vale para pelo menos uma forma em uma família finita (ou infinita) dada de formas distintas?

Metodologia
O artigo emprega técnicas de teoria analítica dos números centradas nas propriedades das funções $L$ associadas às formas de cuspide.

• Para Limites de Menor Primo (Teoremas 1 e 2):
  Os autores utilizam o método de "peneira" combinado com as propriedades analíticas das funções $L$ do quadrado adjunto, $L(s, \text{Ad}(\phi))$.

  • Eles definem uma soma $S(x)$ envolvendo os coeficientes de Dirichlet do produto das funções $L$ adjuntas.
  • Uma observação crucial é que, se a conjectura de Ramanujan falhar em $p$ (ou seja, $|\lambda_\phi(p)| > 2$), então o autovalor de Hecke torcido $\lambda_\phi(p^2)\chi_\phi(p)$ deve ser grande (especificamente $> 3$).
  • Ao construir uma função multiplicativa específica $h(n)$ e utilizar os limites de convexidade para $L(s, \text{Ad}(\phi))$, os autores derivam um limite superior para $S(x)$ via integração de contorno e um limite inferior via positividade dos pesos da peneira.
  • A prova depende do não desaparecimento de combinações lineares específicas de autovalores. Para duas formas, a soma de seus autovalores torcidos é mostrada como positiva se a conjectura falhar para ambas; para três formas, uma combinação linear similar, mas distinta, é utilizada. Os autores observam que este argumento específico falha para quatro ou mais formas porque a positividade da soma não pode ser garantida.

• Para Limites de Densidade (Teoremas 3 e 4):
  A abordagem muda para analisar a distribuição de primos usando funções $L$ de Rankin-Selberg e regiões livres de zeros.

  • Os autores introduzem a quarta potência simétrica torcida $A_4(\phi) = \text{Sym}^4(\phi) \otimes \chi_\phi^2$ e a terceira potência simétrica $\text{Sym}^3(\phi)$.
  • Eles estabelecem que, para formas distintas $\phi_1, \phi_2$, as representações automórficas associadas (especificamente $\text{Ad}(\phi)$ e $A_4(\phi)$) são distintas.
  • Aproveitando resultados recentes de Thorner e Zhao [TZ26] sobre a ausência de zeros de Landau-Siegel para funções $L$ de Rankin-Selberg da forma $L(s, \text{Ad}(\phi_1) \times \text{Ad}(\phi_2))$ e $L(s, \text{Ad}(\phi_1) \times A_4(\phi_2))$, os autores provam que as somas de correlação cruzada dos coeficientes $A_\phi(p)$ e $A^{[4]}_\phi(p)$ são $o(\pi(X))$.
  • Eles constroem um polinômio não negativo $U(p)$ em termos desses coeficientes. Ao expandir $U(p)$ e aplicar o Teorema dos Números Primos para funções $L$ automórficas, eles limitam a densidade de primos onde a conjectura de Ramanujan falha para todas as formas no conjunto.

Principais Contribuições e Resultados

1. Limites Superiores para os Menores Primos de Ramanujan Simultâneos:

   • Teorema 1: Para duas formas de cuspide Hecke-Maass primitivas distintas $\phi_1, \phi_2$, existe um primo $p \in RP(\phi_1) \cap RP(\phi_2)$ tal que:
     $$p \ll [N_1 N_2 (1+|t_{\phi_1}|)(1+|t_{\phi_2}|)]^{0.447374}$$
   • Teorema 2: Para três formas distintas $\phi_1, \phi_2, \phi_3$, existe um primo $p \in \bigcap_{i=1}^3 RP(\phi_i)$ tal que:
     $$p \ll [N_1 N_2 N_3 \prod_{i=1}^3 (1+|t_{\phi_i}|)]^{0.778798}$$
   • Os autores afirmam explicitamente que seu método não se estende a quatro ou mais formas devido à incapacidade de garantir a positividade das somas relevantes de autovalores.

2. Limites Inferiores Melhorados para Densidade Natural:

   • Teorema 3: Para duas formas distintas $\phi_1, \phi_2$ (assumindo que seus conjuntos de primos de Ramanujan não são idênticos até um conjunto finito), a densidade natural inferior da união satisfaz:
     $$\underline{d}(RP(\phi_1) \cup RP(\phi_2)) \ge \frac{43}{44}$$
     Isso melhora o limite trivial de $34/35$ derivado das densidades individuais.
   • Teorema 4: Para uma família finita de $m$ formas distintas $\{\phi_i\}_{i=1}^m$, a densidade natural inferior da união é limitada por:
     $$\underline{d}\left(\bigcup_{j=1}^m RP(\phi_j)\right) \ge 1 - \frac{1}{26 + 9m}$$
   • Corolário 1: Para uma família infinita de formas distintas, a densidade natural da união é exatamente 1. Isso implica que, para quase todos os primos (no sentido de densidade natural), a conjectura de Ramanujan vale para pelo menos uma forma na família.

Significado e Afirmações
O artigo afirma avançar a compreensão da distribuição de primos que satisfazem a conjectura de Ramanujan em um cenário de múltiplas formas. Ao passar da análise de forma única para análises simultâneas e de união, os autores demonstram que os primos "ruins" (onde a conjectura falha) tornam-se cada vez mais esparsos ao considerar múltiplas formas.

O significado reside em:

• Fornecer limites quantitativos explícitos para a primeira ocorrência de primos de Ramanujan simultâneos para pares e trios de formas.
• Estabelecer que a união dos conjuntos de primos de Ramanujan para formas distintas cobre uma proporção significativamente maior dos primos do que os conjuntos individuais, aproximando-se da densidade 1 à medida que o tamanho da família aumenta.
• Utilizar o não desaparecimento de funções $L$ de Rankin-Selberg específicas (via [TZ26]) para refinar estimativas de densidade, uma técnica que os autores generalizam de duas formas para famílias finitas arbitrárias.

Os autores permanecem modestos quanto às limitações de seu método atual, observando que a extensão para quatro ou mais formas para o limite do menor primo está atualmente obstruída pela falha do argumento de positividade para as somas relevantes de autovalores. Da mesma forma, eles observam que melhorar ainda mais o limite de densidade para famílias finitas (especificamente o coeficiente $26+9m$) exigiria estabelecer regiões livres de zeros para $L(s, A_4(\phi_1) \times A_4(\phi_2))$, o que atualmente está além do alcance.