Unbounded Gaps Between Ordinary and Equivariant Dehn Surgery Numbers

Resumo Técnico: Lacunas Ilimitadas entre os Números de Cirurgia de Dehn Ordinária e Equivariante

Enunciado do Problema
O artigo aborda duas questões específicas relativas à relação entre o número de cirurgia de Dehn inteira, $DS(Y)$, e o número de cirurgia de Dehn inteira equivariante, $EDS(Y, \phi)$, para uma variedade de 3 dimensões orientada e fechada $Y$ e um difeomorfismo preservador de orientação $\phi$.

• $DS(Y)$ é o número mínimo de componentes em uma descrição de cirurgia inteira de $Y$ sobre um elo em $S^3$.
• $EDS(Y, \phi)$ é o número mínimo de componentes em uma descrição de cirurgia periódica que induz o difeomorfismo específico $\phi$.
  É conhecido que $DS(Y) \leq EDS(Y, \phi)$, mas os autores investigam a extensão desta desigualdade. Especificamente, eles abordam os Problemas 1.15(b) e 1.15(c) da lista de problemas K3 (Baykur, Kirby e Ruberman):

1. O diferencial $EDS(Y, \phi) - DS(Y)$ pode ser arbitrariamente grande?
2. A desigualdade estrita $DS(Y) < EDS(Y, \phi)$ pode ocorrer quando $\phi$ é uma involução?

Metodologia
Os autores empregam uma combinação de obstruções homológicas, teoria de cirurgia equivariante e construções geométricas explícitas.

1. Limites Inferiores Homológicos:
   O artigo estabelece um limite inferior para $EDS(Y, \tau)$ baseado na ação da involução $\tau$ no grupo de homologia $H_1(Y; \mathbb{Z})$.

• Utilizando o Lema 2.7 e o Lema 2.8, os autores relacionam o número de componentes de cirurgia com os geradores da homologia do exterior do elo.
• Crucialmente, o Lema 2.10 e o Corolário 2.11 mostram que, se $\tau_* \neq \pm \text{id}$ em $H_1(Y; \mathbb{Z})$, então $EDS(Y, \tau) \geq 2$.
• Os autores refinam isso analisando a ação de $\tau$ sobre diferentes corpos primos $\mathbb{F}_\ell$. Eles definem $b^\delta_\ell(Y, \tau)$ como a dimensão do espaço próprio $\delta$ de $\tau_*$ em $H_1(Y; \mathbb{F}_\ell)$ para $\delta \in \{+1, -1\}$.
• Proposição 4.2 prova a desigualdade fundamental: $EDS(Y, \tau) \geq b^+(Y, \tau) + b^-(Y, \tau)$, onde $b^\delta(Y, \tau)$ é a dimensão máxima sobre todos os primos ímpares. Isso se baseia no fato de que a ação da involução na base de meridianos do exterior do elo é uma permutação com sinal, cujas dimensões de espaços próprios são independentes do corpo (Lema 4.1).

2. Construção Geométrica (O Bloco Básico):
   Os autores constroem uma variedade $Y$ específica usando um elo de Hopf $\rho$-periódico em $S^3$ com enquadramentos $(+4, +4)$.

• A involução $\rho$ é uma meia-volta que troca os dois componentes do elo de Hopf.
• A variedade resultante $Y$ é identificada como o espaço de lente $L(15, 4)$.
• O cálculo homológico mostra que $H_1(Y; \mathbb{Z}) \cong \mathbb{Z}/15$, e a involução induzida $\tau_*$ atua como multiplicação por $-4$.
• Como $-4 \not\equiv \pm 1 \pmod{15}$, $DS(Y)=1$ (via uma descrição de cirurgia de nó único), mas $EDS(Y, \tau) \geq 2$. Especificamente, módulo 5, $\tau_*$ atua como $+1$ (contribuindo para $b^+$), e módulo 3, atua como $-1$ (contribuindo para $b^-$).

3. Lacunas Arbitrariamente Grandes (Teorema 1.1):
   Para alcançar um diferencial $k$ arbitrário, os autores constroem $Y_k$ como a soma conexa de $k$ cópias do bloco básico $Y$.

• A involução $\tau_k$ atua como $\tau$ em cada somando.
• A homologia torna-se $H_1(Y_k; \mathbb{Z}) \cong (\mathbb{Z}/15)^k$.
• O número de cirurgia equivariante é limitado inferiormente por $b^+ + b^- \geq k + k = 2k$.
• O número de cirurgia ordinária é limitado por $k$ (via a união disjunta de $k$ cirurgias de nó único).
• Isso resulta em $DS(Y_k) = k$ e $EDS(Y_k, \tau_k) = 2k$, criando um diferencial de $k$.

4. Exemplos Irredutíveis (Teorema 1.2):
   Para abordar o caso de variedades irredutíveis, os autores utilizam espaços de lente $Z_a = L(p_a, q_a)$ onde $p_a = (a-1)(a^2+1)$ e $q_a = a^2$.

• Eles mostram que $DS(Z_a) = 1$ usando o teorema de Moser sobre cirurgias de nós de toro.
• Eles constroem uma involução $\sigma_a$ via troca de coordenadas $(z_1, z_2) \to (z_2, z_1)$, que desce para o quociente porque $q_a^2 \equiv 1 \pmod{p_a}$.
• A ação de $\sigma_a$ em $H_1$ é multiplicação por $q_a$. Para $a \geq 3$, $1 < q_a < p_a - 1$, garantindo que $\sigma_{a*} \neq \pm \text{id}$.
• Consequentemente, $EDS(Z_a, \sigma_a) \geq 2 > 1 = DS(Z_a)$. Como $p_a$ é estritamente crescente, isso fornece uma família infinita de espaços de lente não-homeomorfos entre si.

Principais Contribuições e Resultados

• Teorema 1.1: Para todo inteiro $k \geq 1$, existe um par $(Y_k, \tau_k)$ tal que $DS(Y_k) = k$ e $EDS(Y_k, \tau_k) = 2k$. Isso confirma que a diferença $EDS - DS$ é ilimitada, mesmo para involuções.
• Teorema 1.2: Existem infinitos espaços de lente irredutíveis, não-homeomorfos entre si, $Z$ que admitem involuções $\sigma$ tais que $DS(Z) < EDS(Z, \sigma)$.
• Desigualdade Homológica: O artigo estabelece um limite inferior robusto para números de cirurgia equivariante baseado nas dimensões dos espaços próprios da involução atuando na homologia sobre vários corpos primos (Proposição 4.2).

Significado
O artigo fornece respostas afirmativas para os Problemas 1.15(b) e 1.15(c) da lista de problemas K3. Ele demonstra que o requisito para uma descrição de cirurgia ser equivariante em relação a uma involução específica pode impor um custo topológico significativo, aumentando o número de componentes de cirurgia necessárias por um fator arbitrariamente grande em comparação ao caso não-equivariante. Além disso, mostra que este fenômeno não está restrito a variedades redutíveis (somas conexas), mas ocorre dentro da classe de espaços de lente irredutíveis. O trabalho une a teoria de cirurgia equivariante com invariantes homológicos, fornecendo um método concreto para detectar obstruções a descrições de cirurgia periódica de baixo número de componentes.