Explicit spectral gap for Hecke congruence covers of arithmetic Schottky surfaces

1. O Problema e o Contexto

O artigo aborda um problema fundamental na teoria espectral de superfícies hiperbólicas de área infinita e na teoria dos números, especificamente relacionado a lacunas espectrais (spectral gaps) em coberturas de congruência.

• Contexto: Seja $\Gamma$ um subgrupo de Schottky de $SL_2(\mathbb{Z})$. O quociente $X = \Gamma \backslash \mathbb{H}^2$ é uma superfície hiperbólica de área infinita. Diferente das superfícies compactas ou de área finita, o espectro do operador de Laplace-Beltrami $\Delta_X$ em $X$ é esparsamente distribuído. Se a dimensão de Hausdorff $\delta$ do conjunto limite de $\Gamma$ for maior que $1/2$, existem um número finito de autovalores no intervalo $[\delta(1-\delta), 1/4]$.
• Objetivo: Estudar o espectro das coberturas de congruência de Hecke $X_0(p) = \Gamma_0(p) \backslash \mathbb{H}^2$, onde $\Gamma_0(p)$ é o subgrupo de congruência de Hecke de nível primo $p$. O foco é encontrar uma lacuna espectral explícita e uniforme para o primeiro autovalor não trivial $\lambda_1$ nessas coberturas.
• Desafio: Resultados anteriores (como os de Selberg, Gamburd, Bourgain-Gamburd-Sarnak) forneceram lacunas espectrais, mas muitas vezes de forma não explícita (dependendo de constantes desconhecidas) ou com limites inferiores para $\delta$ muito restritivos (ex: $\delta > 5/6$ ou $\delta > 4/5$). O artigo busca melhorar esses limites e tornar a lacuna explícita, assumindo a Hipótese de Riemann Generalizada (GRH).

2. Metodologia

A prova combina técnicas de geometria hiperbólica, teoria espectral, teoria de representação e teoria analítica dos números. A estrutura metodológica segue os seguintes passos:

1. Formulação via Funções Zeta de Selberg:

   • Utiliza-se a fórmula de indução de Venkov-Zograf para relacionar a função zeta de Selberg da cobertura $Z_{\Gamma_0(p)}(s)$ com a função zeta do grupo base $Z_\Gamma(s)$ e uma função zeta torcida $Z_\Gamma(s, \lambda_p^0)$, onde $\lambda_p^0$ é a representação induzida menos a representação trivial.
   • Novos autovalores (aqueles que não vêm da superfície base) correspondem a zeros da função zeta torcida no intervalo $[1/2, \delta]$.

2. Operadores de Transferência Refinados:

   • Em vez de trabalhar diretamente com a função zeta, o autor utiliza operadores de transferência refinados ($L_{\tau, s, \rho}$), introduzidos por Dyatlov-Zworski.
   • A função zeta torcida é expressa como um determinante de Fredholm: $Z_\Gamma(s, \lambda_p^0) = \det(1 - L_{\tau, s, \lambda_p^0})$.
   • O parâmetro $\tau$ (parâmetro de resolução) é escolhido de forma otimizada para controlar o tamanho dos operadores e obter estimativas explícitas.

3. Contagem de Zeros via Fórmula de Jensen:

   • O número de zeros $N_p(\sigma)$ no intervalo $[\sigma, \delta]$ é estimado usando a fórmula de Jensen aplicada à função zeta refinada $\zeta_\tau(s, \lambda_p^0)$.
   • Isso reduz o problema de contagem de zeros à estimativa da norma de Hilbert-Schmidt ($\|L_{\tau, s, \lambda_p^0}\|_{HS}$) do operador de transferência.

4. Estimativas Numéricas e Teoria dos Números:

   • A norma de Hilbert-Schmidt é expandida em termos de traços da representação $\lambda_p^0$ sobre elementos do grupo $\Gamma$.
   • O traço $\text{tr}(\lambda_p^0(\gamma))$ é calculado explicitamente. Para elementos $\gamma \not\equiv \pm I \pmod p$, o traço é dado pelo símbolo de Kronecker $\left(\frac{d(\gamma)}{p}\right)$, onde $d(\gamma) = \text{tr}(\gamma)^2 - 4$.
   • O problema torna-se a estimativa de somas de caracteres quadráticos sobre primos: $\sum_{p \sim x} \left(\frac{d}{p}\right)$.
   • Hipótese Chave: Assume-se a Hipótese de Riemann Generalizada (GRH) para funções L quadráticas. Sob a GRH, a soma dos caracteres é limitada por $O(x^{1/2+\epsilon})$.

3. Contribuições Principais

• Melhoria do Limite para $\delta$: O artigo estabelece uma lacuna espectral para grupos de Schottky com $\delta > 3/4$. Isso é uma melhoria significativa em relação ao resultado de Gamburd ($\delta > 5/6$) e ao de Calderón-Magee ($\delta > 4/5$).
• Explicitação da Lacuna: O resultado fornece uma lacuna espectral explícita. Para quase todos os primos $p$, o espectro de $X_0(p)$ na região $[\frac{5}{6}\delta + \eta, \delta]$ é idêntico ao espectro de $X$.
• Técnica de Soma de Normas: Uma inovação técnica crucial é a estimativa não trivial da soma das normas de Hilbert-Schmidt sobre um intervalo de primos (Equação 8 no texto), em vez de estimar individualmente para cada primo. Isso permite explorar a cancelamento aleatório dos caracteres de Dirichlet.
• Conexão com GRH: Demonstra-se que, assumindo a GRH, a densidade de primos que falham em satisfazer a lacuna espectral desejada é muito baixa (conjunto de densidade zero).

4. Resultados Principais

O Teorema Principal (Teorema 1.4) afirma:

Seja $\Gamma \subset SL_2(\mathbb{Z})$ um grupo de Schottky com dimensão de Hausdorff $\delta > 3/4$. Assumindo a Hipótese de Riemann Generalizada para funções L quadráticas, então para qualquer $\eta > 0$, existe um subconjunto de primos $P$ de densidade 1 tal que para todo $p \in P$:

$$\Omega(X_0(p)) \cap \left[\frac{5}{6}\delta + \eta, \delta\right] \stackrel{m}{=} \Omega(X) \cap \left[\frac{5}{6}\delta + \eta, \delta\right]$$

Onde $\Omega(X)$ denota o multiconjunto de parâmetros $s$ correspondentes aos autovalores.

Interpretação do Resultado:

• Isso implica que o segundo autovalor (se existir) satisfaz $\lambda_1(p) \geq \frac{5}{6}\delta(1 - \frac{5}{6}\delta) - \epsilon$.
• O número de primos $p \leq x$ que não satisfazem essa propriedade é limitado por $O_\epsilon(x^{1 - \frac{3}{\delta}(\sigma - \frac{5}{6}\delta) + \epsilon})$.
• Como $\frac{5}{6}\delta < \frac{\delta}{6} + \frac{2}{3}$ (para $\delta < 1$), a lacuna obtida é estritamente maior do que a obtida em trabalhos anteriores para a mesma classe de grupos.

5. Significado e Impacto

• Avanço na Teoria de Grupos "Thin": Grupos de Schottky são exemplos clássicos de grupos "thin" (de índice infinito em $SL_2(\mathbb{Z})$). A teoria espectral para esses grupos é mais difícil do que para grupos aritméticos de índice finito. Este trabalho fornece uma das melhores lacunas espectrais explícitas conhecidas para essa classe.
• Aplicações Práticas: Lacunas espectrais explícitas são cruciais para aplicações em teoria dos números (como a distribuição de pontos em variedades aritméticas), teoria ergódica (taxas de mistura de geodésicas) e problemas de expansão (expanders).
• Dependência da GRH: O resultado é condicional à GRH. O autor nota que limites incondicionais para somas de caracteres sobre primos têm dependências muito fortes no condutor, o que tornaria as estimativas inúteis neste contexto específico sem a hipótese.
• Método Robusto: A combinação de operadores de transferência refinados com estimativas analíticas de teoria dos números oferece um novo paradigma para atacar problemas espectrais em superfícies de área infinita.

Em resumo, o artigo de Louis Soares representa um avanço significativo ao empurrar o limite inferior de $\delta$ para $3/4$ e fornecer uma lacuna espectral explícita para coberturas de Hecke de superfícies de Schottky, utilizando uma síntese sofisticada de análise espectral e teoria analítica dos números sob a GRH.