Coexact $1$-form spectral gaps of hyperbolic rational homology spheres

1. O Problema e o Contexto

O artigo aborda o estudo do espectro de 1-formas coexatas em variedades hiperbólicas tridimensionais, especificamente em esferas de homologia racional (variedades fechadas hiperbólicas com $b_1(Y) = 0$).

• Motivação Teórica: O primeiro autovalor não nulo do Laplaciano em 1-formas coexatas, denotado por $\lambda^*_1$ (o "gap espectral"), está intimamente ligado à conjectura de Bergeron-Venkatesh sobre o crescimento da homologia de torção em recobrimentos congruentes.
• Dificuldade: Diferente do gap espectral em funções ($\lambda_1$), que é bem compreendido via constante de Cheeger, o comportamento de $\lambda^*_1$ é qualitativamente diferente. Enquanto o espectro $L^2$ em $\mathbb{H}^3$ para funções começa em 1, para 1-formas coexatas começa em 0.
• Objetivo: Construir famílias infinitas de esferas de homologia racional hiperbólicas onde $\lambda^*_1$ seja uniformemente limitado inferiormente (ou seja, $\lambda^*_1 \geq c > 0$) e determinar explicitamente os limites dessas lacunas espectrais. O trabalho também busca responder a questões sobre a existência de tais exemplos em famílias aritméticas e sua relação com a teoria de Floer (especificamente, se $\lambda^*_1 > 2$ implica que a variedade é um espaço-L).

2. Metodologia

Os autores desenvolvem uma construção geométrica e topológica baseada em toros de aplicação (mapping tori) e simetrias específicas.

A. Construção Geométrica

1. Toros de Aplicação ($M_\phi$): Começam com uma superfície fechada orientável $\Sigma$ de gênero $g \geq 2$ e um difeomorfismo $\phi$. O toro de aplicação $M_\phi$ é definido como $(\mathbb{R} \times \Sigma) / \sim$, onde $(t, x) \sim (t+1, \phi(x))$.
2. Involution Especial ($\iota$): Introduzem uma involução fixa $I$ na superfície $\Sigma$ (sem pontos fixos, reversora de orientação) que satisfaz a condição de comutação anti-homomórfica: $I \circ \phi \circ I^{-1} = \phi^{-1}$.
3. Quociente: Definem uma involução $\iota$ no toro $M_\phi$ por $\iota(t, x) = (-t, I(x))$. O quociente $Y = M_\phi / \iota$ é uma variedade hiperbólica. Devido à ação de $\iota$ na classe de cohomologia $dt$, o quociente tem $b_1(Y) = 0$, tornando-o uma esfera de homologia racional.
4. Palíndromos Reversos: Para garantir a existência de tal involução, os autores restringem $\phi$ a ser representado por uma "palavra reversa palíndroma" em geradores de Dehn twists (curvas específicas na superfície). Isso garante que a condição de simetria seja satisfeita.

B. Análise Espectral e Cálculos

• Recobrimentos Cíclicos: A família de variedades é gerada considerando recobrimentos cíclicos $M_{\phi, n}$ de $M_\phi$ e seus quocientes $Y_{\phi, n}$.
• Laplaciano Torcido: Utilizam o Laplaciano de Hodge torcido $\Delta_\psi$ associado a um homomorfismo de torção $\psi: \pi_1(M_\phi) \to U(1)$.
• Fórmula de Rastreamento de Selberg (Selberg Trace Formula): Adaptam a fórmula de rastreamento para 1-formas coexatas torcidas. Esta ferramenta permite relacionar o espectro do Laplaciano (lado espectral) com o espectro de comprimentos das geodésicas fechadas da variedade (lado geométrico).
• Otimização de Fourier: Utilizam técnicas de otimização de Fourier (inspiradas em [BS07]) para encontrar limites inferiores explícitos para o gap espectral. Eles constroem funções de teste $J_\psi$ que, se forem menores que 1 em um intervalo, garantem que não há autovalores naquele intervalo.

3. Principais Contribuições e Resultados

Teorema 1: Limites Explícitos e Descontínuos

Os autores provam a existência de uma família infinita de esferas de homologia racional hiperbólicas $\{Y_n\}$ tal que o limite do gap espectral $\lim_{n \to \infty} \lambda^*_1(Y_n)$ cai em um intervalo explícito.

• Resultado Principal: Existe uma família onde o limite está no intervalo $[0.8196, 0.8277]$.
• Outros Intervalos: Eles identificam outros três intervalos disjuntos contendo pontos de limite para outras famílias, com valores variando de aproximadamente $0.17$a$0.71$ (ver Tabela 1 no artigo).
• Mecanismo: O limite é determinado pelo valor $\delta(\phi)$, que é o mínimo do gap espectral do Laplaciano torcido sobre a base $M_\phi$. A simetria dihedral dos recobrimentos cíclicos permite relacionar o espectro de $Y_n$ ao de $M_\phi$.

Teorema 2: Exemplos Aritméticos

Respondem positivamente a uma questão de Abdurrahman et al. [AAG+24]:

• Resultado: Existe uma família infinita de esferas de homologia racional hiperbólicas aritméticas com um limite inferior uniforme para $\lambda^*_1$.
• Detalhe: A família é construída a partir de um toro de aplicação aritmético específico (identificado como $s861(3,1)$ no censo de Hodgson-Weeks). As variedades resultantes são quase todas não-congruentes, mas pertencem à mesma classe de comensurabilidade, o que é necessário para manter o gap uniforme.

Conjectura sobre Espaços-L (L-spaces)

• Os autores notam que se $\lambda^*_1 > 2$, a variedade é um espaço-L (homologia de Floer monopolo reduzida trivial).
• Conjectura: Eles conjecturam que existem infinitas esferas de homologia racional hiperbólicas com $\lambda^*_1 > 2$.
• Limitação: Reconhecem que sua estratégia atual, baseada em toros de aplicação e recobrimentos cíclicos de uma única base, pode não ser suficiente para provar essa conjectura, pois exige variedades não-comensuráveis entre si para explorar melhor o espectro.

Esferas de Homologia Inteira

• Eles esclarecem que sua construção, baseada em quocientes por involuções sem pontos fixos, nunca produz esferas de homologia inteira (onde $H_1(Y; \mathbb{Z}) = 0$), apenas racionais. Isso ocorre porque a sequência de Gysin implica que $H_1(Y; \mathbb{Z})$ será não nulo.

4. Significado e Impacto

1. Avanço Computacional: O trabalho demonstra que é possível realizar cálculos espectrais explícitos e rigorosos para famílias infinitas de variedades hiperbólicas 3D, superando a dificuldade de tratar famílias gerais. A conexão entre o espectro de uma família infinita e o espectro torcido de uma única variedade base é uma inovação metodológica chave.
2. Resolução de Questões Abertas: Fornece a primeira resposta positiva para a existência de famílias aritméticas com gap espectral uniforme para 1-formas coexatas.
3. Conexão com Topologia de Baixa Dimensão: Reforça a ligação entre análise espectral geométrica e invariantes topológicos (como a homologia de Floer), sugerindo que gaps espectrais grandes são comuns em certas construções geométricas, embora a barreira de $\lambda^*_1 > 2$ (para provar que são espaços-L) permaneça um desafio aberto.
4. Ferramentas Práticas: O uso de softwares como SnapPy e Twister combinados com a fórmula de rastreamento de Selberg estabelece um fluxo de trabalho reprodutível para a descoberta de exemplos de variedades com propriedades espectrais específicas.

Em resumo, o artigo estabelece uma nova via para a construção e análise de variedades hiperbólicas com propriedades espectrais controladas, oferecendo limites numéricos precisos e expandindo o conhecimento sobre a distribuição de autovalores em geometria hiperbólica.