Unbounded Gaps Between Ordinary and Equivariant Dehn Surgery Numbers

Sintesi Tecnica: Gap Illimitati tra i Numeri di Chirurgia di Dehn Ordinaria ed Equivariante

Enunciato del Problema
Il saggio affronta due domande specifiche riguardanti la relazione tra il numero di chirurgia integrale di Dehn, $DS(Y)$, e il numero di chirurgia integrale equivariante, $EDS(Y, \phi)$, per una 3-varietà orientata chiusa $Y$ e un diffeomorfismo che preserva l'orientamento $\phi$.

• $DS(Y)$ è il numero minimo di componenti in una descrizione di chirurgia integrale di $Y$ su un legame in $S^3$.
• $EDS(Y, \phi)$ è il numero minimo di componenti in una descrizione di chirurgia periodica che induce il specifico diffeomorfismo $\phi$.

Mentre è noto che $DS(Y) \leq EDS(Y, \phi)$, gli autori investigano l'estensione di questa disuguaglianza. Nello specifico, affrontano i Problemi 1.15(b) e 1.15(c) della lista dei problemi K3 (Baykur, Kirby e Ruberman):

1. Il valore della differenza $EDS(Y, \phi) - DS(Y)$ può essere arbitrariamente grande?
2. Può verificarsi una stretta disuguaglianza $DS(Y) < EDS(Y, \phi)$ quando $\phi$ è un'involuzione?

Metodologia
Gli autori impiegano una combinazione di ostacoli omologici, teoria della chirurgia equivariante e costruzioni geometriche esplicite.

1. Limiti Inferiori Omologici:
   Il saggio stabilisce un limite inferiore per $EDS(Y, \tau)$ basato sull'azione dell'involuzione $\tau$ sul primo gruppo di omologia $H_1(Y; \mathbb{Z})$.

   • Utilizzando il Lemma 2.7 e il Lemma 2.8, gli autori relazionano il numero di componenti della chirurgia con i generatori dell'omologia dell'esterno del legame.
   • Crucialmente, il Lemma 2.10 e il Corollario 2.11 mostrano che se $\tau_* \neq \pm \text{id}$ su $H_1(Y; \mathbb{Z})$, allora $EDS(Y, \tau) \geq 2$.
   • Gli autori raffinano questo risultato analizzando l'azione di $\tau$ su diversi campi primi $\mathbb{F}_\ell$. Definiscono $b^\delta_\ell(Y, \tau)$ come la dimensione dello spazio proprio $\delta$-eigenspace di $\tau_*$ su $H_1(Y; \mathbb{F}_\ell)$ per $\delta \in \{+1, -1\}$.
   • Proposizione 4.2 dimostra la chiave disuguaglianza: $EDS(Y, \tau) \geq b^+(Y, \tau) + b^-(Y, \tau)$, dove $b^\delta(Y, \tau)$ è la dimensione massima su tutti i numeri primi dispari. Ciò si basa sul fatto che l'azione dell'involuzione sulla base dei meridiani dell'esterno del legame è una permutazione con segno, le cui dimensioni degli spazi propri sono indipendenti dal campo (Lemma 4.1).

2. Costruzione Geometrica (Il Blocco Base):
   Gli autori costruiscono una specifica varietà $Y$ usando un legame di Hopf $\rho$-periodico in $S^3$ con framing $(+4, +4)$.

   • L'involuzione $\rho$ è una mezza rotazione che scambia le due componenti del legame di Hopf.
   • La varietà risultante $Y$ è identificata come lo spazio di lente $L(15, 4)$.
   • Il calcolo omologico mostra che $H_1(Y; \mathbb{Z}) \cong \mathbb{Z}/15$, e l'involuzione indotta $\tau_*$ agisce come moltiplicazione per $-4$.
   • Poiché $-4 \not\equiv \pm 1 \pmod{15}$, $DS(Y)=1$ (tramite una descrizione di chirurgia a singolo nodo), ma $EDS(Y, \tau) \geq 2$. Specificamente, modulo 5, $\tau_*$ agisce come $+1$ (contribuendo a $b^+$), e modulo 3, agisce come $-1$ (contribuendo a $b^-$).

3. Gap Arbitrariamente Grandi (Teorema 1.1):
   Per ottenere un gap $k$ arbitrario, gli autori costruiscono $Y_k$ come somma connessa di $k$ copie del blocco base $Y$.

   • L'involuzione $\tau_k$ agisce come $\tau$ su ogni sommando.
   • L'omologia diventa $H_1(Y_k; \mathbb{Z}) \cong (\mathbb{Z}/15)^k$.
   • Il numero di chirurgia equivariante è limitato inferiormente da $b^+ + b^- \geq k + k = 2k$.
   • Il numero di chirurgia ordinaria è limitato da $k$ (tramite la unione disgiunta di $k$ descrizioni di chirurgia a singolo nodo).
   • Ciò produce $DS(Y_k) = k$ e $EDS(Y_k, \tau_k) = 2k$, creando un gap di $k$.

4. Esempi Irreducibili (Teorema 1.2):
   Per affrontare il caso delle varietà irreducibili, gli autori utilizzano spazi di lente $Z_a = L(p_a, q_a)$ dove $p_a = (a-1)(a^2+1)$ e $q_a = a^2$.

   • Mostrano che $DS(Z_a) = 1$ usando il teorema di Moser sulle chirurgie di nodi torali.
   • Costruiscono un'involuzione $\sigma_a$ tramite scambio di coordinate $(z_1, z_2) \to (z_2, z_1)$, che discende al quoziente perché $q_a^2 \equiv 1 \pmod{p_a}$.
   • L'azione di $\sigma_a$ su $H_1$ è la moltiplicazione per $q_a$. Per $a \geq 3$, $1 < q_a < p_a - 1$, garantendo che $\sigma_{a*} \neq \pm \text{id}$.
   • Di conseguenza, $EDS(Z_a, \sigma_a) \geq 2 > 1 = DS(Z_a)$. Poiché $p_a$ è strettamente crescente, ciò fornisce una famiglia infinita di spazi di lente irriducibili pairwise non omeomorfi.

Contributi Chiave e Risultati

• Teorema 1.1: Per ogni intero $k \geq 1$, esiste una coppia $(Y_k, \tau_k)$ tale che $DS(Y_k) = k$ e $EDS(Y_k, \tau_k) = 2k$. Questo conferma che la differenza $EDS - DS$ è illimitata, anche per le involuzioni.
• Teorema 1.2: Esistono infiniti spazi di lente irriducibili pairwise non omeomorfi $Z$ che ammettono involuzioni $\sigma$ tali che $DS(Z) < EDS(Z, \sigma)$.
• Disuguaglianza Omologica: Il saggio stabilisce un limite inferiore robusto per i numeri di chirurgia equivariante basato sulle dimensioni degli spazi propri dell'involuzione che agisce sull'omologia su vari campi primi (Proposizione 4.2).

Significato
Il saggio fornisce risposte affermative ai Problemi 1.15(b) e 1.15(c) della lista dei problemi K3. Dimostra che il requisito che una descrizione di chirurgia sia equivariante rispetto a una specifica involuzione può imporre un costo topologico significativo, aumentando il numero di componenti di chirurgia richieste di un fattore arbitrariamente grande rispetto al caso non equivariante. Inoltre, mostra che questo fenomeno non è limitato alle varietà riducibili (somme connesse) ma si verifica all'interno della classe degli spazi di lente irriducibili. Il lavoro unisce la teoria della chirurgia equivariante con gli invarianti omologici, fornendo un metodo concreto per rilevare gli ostacoli a descrizioni di chirurgia periodica a basso numero di componenti.