Quantitative Fourier decay for Patterson-Sullivan measures of dimension larger than $1/2$

Resumo Técnico: Decaimento de Fourier Quantitativo para Medidas de Patterson-Sullivan de Dimensão Superior a 1/2

Enunciado do Problema
O artigo aborda o problema de estabelecer o decaimento de Fourier quantitativo para medidas de Patterson-Sullivan (PS) associadas a grupos de Schottky convexos co-compactos $\Gamma \subset \text{PSL}_2(\mathbb{R})$. Seja $\Lambda_\Gamma$ o conjunto limite de $\Gamma$, um conjunto de Cantor de dimensão de Hausdorff $\delta \in (0, 1)$. A medida PS $\mu$ é a única medida de probabilidade $\delta$-conforme suportada em $\Lambda_\Gamma$. A questão central é se a transformada de Fourier $\hat{\mu}(\xi) = \int e^{-2\pi i \xi x} d\mu(x)$ exibe decaimento polinomial, isto é, $|\hat{\mu}(\xi)| \lesssim |\xi|^{-\eta}$ para algum $\eta > 0$, e especificamente, obter um expoente $\eta$ explícito como uma função de $\delta$.

Breakthroughs anteriores por Bourgain e Dyatlov [13] estabeleceram tal decaimento para $\delta > 1/2$ usando o teorema soma-produto. Trabalhos subsequentes generalizaram isso para dimensões superiores ou forneceram provas alternativas usando teoria de renovação, métodos de Dolgopyat ou achatamento de $L^2$. No entanto, essas abordagens dependem de um aparato técnico sofisticado, e obter expoentes explícitos e quantitativos tem sido um desafio.

Metodologia
Os autores apresentam uma prova elementar que evita o aparato técnico das estimativas soma-produto, da teoria de renovação e do achatamento de $L^2$. Em vez disso, a prova combina:

1. Estimativas de Integrais Oscilatórias: Utilizando técnicas introduzidas por Kaufman [18] e desenvolvidas para medidas de Gibbs por Queffélec-Ramaré [36] e Jordan e Sahlsten [17].
2. Geometria Hiperbólica: Explorando as propriedades de distorção limitada da ação do grupo de Schottky e a estrutura do conjunto limite.
3. Argumento de Dualidade: Uma inovação crucial é o uso do "grupo de Schottky transposto" $\Gamma^T$. Os autores reformulam as estimativas de não-concentração necessárias para a prova em termos da medida PS de $\Gamma^T$. Isso se relaciona ao framework do "IFS dual" [11] e fornece uma interpretação geométrica mais clara da não-linearidade do sistema.

O núcleo do argumento envolve aproximar a transformada de Fourier por uma soma de integrais oscilatórias sobre conjuntos de cilindros definidos por um tempo de parada $\tau$. O decaimento é derivado pela estimativa da norma $L^2$ dessas somas. A prova baseia-se em uma "estimativa de não-concentração" para as razões dos coeficientes de matriz ($c_a/d_a$) dos elementos do grupo, que é provada usando a $\delta$-regularidade da medida do grupo transposto.

Contribuições Principais e Resultados
O resultado primário é o Teorema 1, que fornece um expoente de decaimento de lei de potência explícito para $\delta > 1/2$:

$$|\hat{\mu}(\xi)| \leq C |\xi|^{-\eta}, \quad \text{onde} \quad \eta = \frac{\delta(2\delta-1)}{(2\delta+1)(3-\delta)}.$$

A prova procede através dos seguintes passos:

• Redução a Integrais Oscilatórias: A transformada de Fourier é expressa como uma integral de uma função $f$ construída a partir da ação do grupo. Um lema de aproximação (Lema 3.1) reduz o problema ao limite da norma $L^2$ de $f$ e sua derivada.
• Limite $L^2$ via Não-Concentração: A norma $L^2$ é expandida em uma soma dupla sobre palavras $a, b \in W_\tau$. A função de fase envolve diferenças de ações de grupo $\gamma_{a'}(x) - \gamma_{b'}(x)$. Os autores aplicam integração por partes (Lema 3.5) para limitar essas integrais, distinguindo casos baseados na presença de pontos críticos.
• Contagem de Pequenas Diferenças: Os limites dependem de quão frequentemente as diferenças nos coeficientes de matriz ($|c_{a'} - c_{b'}|$ ou $|d_{a'} - d_{b'}|$) são pequenas. O Lema 3.8 estabelece uma estimativa de não-concentração para essas diferenças, derivada da regularidade da medida do grupo transposto (Lema 2.9).
• Otimização: Ao escolher o parâmetro de tempo de parada $\tau$ e a escala de aproximação $\eta$ como funções de $|\xi|$, os autores otimizam os limites resultantes para alcançar o expoente declarado.

Significância e Escopo
O artigo reivindica significância principalmente por sua natureza elementar e pela explicitude do expoente de decaimento.

• Prova Elementar: Os autores demonstram que, para $\delta > 1/2$, o aparato pesado da teoria soma-produto e da teoria de renovação não é estritamente necessário. A prova baseia-se em ferramentas padrão da análise harmônica e geometria hiperbólica.
• Expoente Explícito: Embora o expoente obtido não seja necessariamente ótimo (os autores observam que ele difere ligeiramente do expoente de Queffélec-Ramaré devido a um lema de aproximação mais agudo), ele é totalmente explícito e derivado sem argumentos de existência abstratos.
• Limitações: O método é restrito a $\delta > 1/2$. Os autores observam que o procedimento de aproximação e as estimativas de integral oscilatória na escala $|\xi|^{-1/2}$ não parecem funcionar abaixo deste limiar.
• Extensões: Os autores sugerem que o método se estende a grupos geometricamente finitos com elementos parabólicos (onde $\delta \geq 1/2$) e a medidas auto-conformes de Ahlfors-regulares satisfazendo uma condição de não-linearidade no IFS dual, desde que a dimensão exceda um limiar específico.

Relação com o Gap Espectral
O artigo contextualiza o resultado dentro do Princípio da Incerteza Fractal. Observa-se que, embora o decaimento de Fourier implique uma melhoria no gap espectral essencial do Laplaciano, o expoente específico derivado aqui não é suficiente para provar a conjectura de Jakobson-Naud (que prevê um gap de $1/2 - \delta + \delta/2$) mesmo para $\delta$ próximo de $1/2$. No entanto, os autores afirmam que melhorar seu expoente resultaria em um limite de gap espectral melhor.

Em resumo, o artigo fornece uma prova simplificada e autossuficiente do decaimento de Fourier quantitativo para medidas de PS com $\delta > 1/2$, substituindo as complexas ferramentas de sistemas combinatórios e dinâmicos por técnicas elementares de integrais oscilatórias e um argumento de dualidade envolvendo o grupo transposto.