2025-11-10T02:58:59.381108

Non-smoothable $\mathbb{Z}/p$-actions on nuclei

Montague
In this article we construct examples of non-smoothable $\mathbb{Z}/p$-actions on indefinite spin 4-manifolds with boundary for all primes $p\geq 5$. For example, we show that for each prime $p\geq 5$ and each $n\geq 1$ there exists a locally linear $\mathbb{Z}/p$-action on the Gompf nucleus $N(2pn)$ which is not smoothable with respect to any smooth structure on $N(2pn)$. Furthermore we investigate the behavior of these actions under two different types of equivariant stabilizations with $S^{2}\times S^{2}$, namely \emph{free} and \emph{homologically trivial} stabilizations -- in particular we show that our non-smoothable $\mathbb{Z}/p$-action on $N(2pn)$ remains non-smoothable after $2n-2$ free stabilizations, and after arbitrarily many homologically trivial stabilizations. We also show that free stabilizations satisfy a Wall stabilization principle in the sense that any non-smoothable $\mathbb{Z}/p$-action becomes smoothable after some finite number free stabilizations (under certain assumptions), whereas our aforementioned result implies that homologically trivial stabilizations do not satisfy this property. The proofs of these results use equivariant $κ$-invariants defined by the author in \cite{Mon22}, calculations of equivariant $η$-invariants for the odd signature and Dirac operators on Seifert-fibered spaces, as well as an analysis of the geometric $S^{1}$-action on the Seiberg-Witten moduli spaces of Seifert-fibered spaces induced by rotation in the fibers, which may be of independent interest.
academic

Azioni non lisciabili Z/p\mathbb{Z}/p su nuclei

Informazioni Fondamentali

  • ID Articolo: 2401.00244
  • Titolo: Non-smoothable Z/p\mathbb{Z}/p-actions on nuclei
  • Autore: Imogen Montague
  • Classificazione: math.GT (Topologia Geometrica)
  • Data di Presentazione: 30 dicembre 2023 su arXiv
  • Link Articolo: https://arxiv.org/abs/2401.00244

Riassunto

Questo articolo costruisce esempi di azioni Z/p\mathbb{Z}/p-non lisciabili su 4-varietà spin indefinite con bordo per tutti i numeri primi p≥5p\geq 5. In particolare, per ogni primo p≥5p\geq 5 e ogni n≥1n\geq 1, esiste un'azione Z/p\mathbb{Z}/p-localmente lineare sul nucleo di Gompf N(2pn)N(2pn) che non può essere lisciata sotto alcuna struttura liscia di N(2pn)N(2pn). Inoltre, l'articolo studia il comportamento di queste azioni sotto due tipi diversi di stabilizzazioni equivarianti (stabilizzazione libera e stabilizzazione omologicamente banale), provando che la stabilizzazione libera soddisfa il principio di stabilizzazione di Wall, mentre la stabilizzazione omologicamente banale non lo soddisfa.

Contesto e Motivazione della Ricerca

Sfondo del Problema

  1. Estensione di Risultati Classici: Edmonds ha provato che ogni 4-varietà topologica chiusa semplicemente connessa ammette un'azione Zp\mathbb{Z}_p-localmente lineare, ma non tutte queste azioni sono lisce. Kiyono ha utilizzato la disuguaglianza 10/8 di Furuta per provare che certe azioni non sono lisciabili.
  2. Difficoltà nel Caso con Bordo: Per 4-varietà con bordo, la versione analoga del risultato di Edmonds è sconosciuta, rendendo lo studio del caso con bordo più difficile.
  3. Importanza degli Spazi Seifert-Fibrati: Gli spazi Seifert-fibrati forniscono importanti esempi di azioni Zp\mathbb{Z}_p, con l'azione standard data dalle rotazioni nelle fibre.

Motivazione della Ricerca

  1. Colmare Lacune Teoriche: Nel caso di 4-varietà con bordo dove b2(X)>0b_2(X) > 0, sono noti pochi risultati, in particolare per azioni di ordine superiore (p≥5p \geq 5).
  2. Studio dei Fenomeni di Stabilizzazione: Comprendere il comportamento di azioni non lisciabili sotto stabilizzazioni equivarianti è di importanza cruciale per comprendere le proprietà topologiche delle 4-varietà.
  3. Principio di Stabilizzazione di Wall: Investigare se diversi tipi di stabilizzazione possono rendere lisce le azioni non lisciabili.

Contributi Principali

  1. Costruzione di Azioni Non Lisciabili: Per tutti i numeri primi p≥5p \geq 5, costruisce azioni Z/p\mathbb{Z}/p-non lisciabili su 4-varietà con bordo non vuoto e b2(X)>0b_2(X) > 0.
  2. Analisi del Comportamento di Stabilizzazione: Prova che la stabilizzazione libera soddisfa il principio di stabilizzazione di Wall, mentre la stabilizzazione omologicamente banale non lo soddisfa.
  3. Applicazione dell'Invariante Equivariante κ\kappa: Utilizza l'invariante equivariante κ\kappa definito in Mon22 per ostruire l'esistenza di estensioni lisce.
  4. Azione Geometrica dello Spazio dei Moduli di Seiberg-Witten: Analizza come l'azione S1S^1 indotta dalle rotazioni delle fibre su spazi Seifert-fibrati agisce geometricamente sullo spazio dei moduli di Seiberg-Witten.

Dettagli dei Metodi

Quadro Tecnico Principale

1. Invariante Equivariante κ\kappa

L'autore utilizza l'invariante equivariante κ\kappa K(Y,s,σ)⊂QpK(Y,s,\sigma) \subset \mathbb{Q}_p definito in Mon22, associato a sfere razionali di omologia Zp\mathbb{Z}_p-equivarianti spin (Y,s,σ)(Y,s,\sigma).

2. Teoria di Seiberg-Witten

L'articolo analizza in profondità lo spazio dei moduli di Seiberg-Witten su spazi Seifert-fibrati, in particolare come l'azione S1S^1 standard si solleva alle soluzioni irriducibili basate sullo spazio dei moduli.

Teorema Chiave 2.1: Per un fibrato in linee E=(e;ϵ1,…,ϵn)E = (e; \epsilon_1, \ldots, \epsilon_n) su uno spazio Seifert-fibrato YY, il numero di rotazione è dato da: rot(E)=1ℓ(g−e+n−22−∑i=1n2ϵi+12αi)\text{rot}(E) = \frac{1}{\ell}\left(g - e + \frac{n-2}{2} - \sum_{i=1}^n \frac{2\epsilon_i + 1}{2\alpha_i}\right)

3. Disuguaglianza Equivariante Relativa 10/8

Proposizione 3.5: Se la disuguaglianza relativa 10/8 di Manolescu è acuta per (Y,s,X,t)(Y,s,X,t), e esistono almeno due elementi distinti κ,κ′∈Kπ(Y,s,σ)\kappa, \kappa' \in K_\pi(Y,s,\sigma) soddisfacenti ∣κ∣=∣κ′∣=κ(Y,s)|\kappa| = |\kappa'| = \kappa(Y,s), allora σ\sigma non può estendersi a un'azione liscia Zp\mathbb{Z}_p-omologicamente banale tt-preservante su XX.

Metodo di Costruzione

1. Costruzione di Azioni Localmente Lineari

Utilizza i metodi di Edmonds e Kwasik-Lawson, attraverso i seguenti passaggi:

  • Inizia con azioni localmente lineari standard su 4-varietà topologiche chiuse semplicemente connesse
  • Costruisce un cobordismo equivariante di omologia da (Y,ρp)(Y,\rho_p) a S3S^3 dotato di un'azione di lente generalizzata

2. Cobordismo Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h

Proposizione 4.10: Per p≥5p \geq 5 e tutti n≥1n \geq 1, esiste un cobordismo topologico Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h da Q(p;2,3,12pn−1)Q(p; 2,3,12pn-1) a L(p;−2,3)L(p;-2,3).

Risultati Principali

Teorema 1.2 (Ostruzione all'Estensione Liscia)

Per i seguenti casi, un'azione Zp\mathbb{Z}_p-liscia effettiva non può estendersi a un'azione Zp\mathbb{Z}_p-liscia omologicamente banale:

  1. p≥3p \geq 3, XX omeomorfo al nucleo di Gompf N(2n)N(2n) o sua stabilizzazione
  2. p≥3p \geq 3, XX omeomorfo a P(2n)P(2n) o sua stabilizzazione
  3. p≥3,p≠5p \geq 3, p \neq 5, XX omeomorfo alla fibra di Milnor M(2,3,11)M(2,3,11)
  4. p≥3p \geq 3, XX omeomorfo alla fibra di Milnor M(2,3,7)M(2,3,7)

Teorema 1.6 (Comportamento di Stabilizzazione)

Per ogni primo p≥5p \geq 5 e n≥1n \geq 1, le azioni Zp\mathbb{Z}_p-non lisciabili τp,n\tau_{p,n} e τp,n′\tau'_{p,n} rimangono non lisciabili dopo MM stabilizzazioni omologicamente banali e NN stabilizzazioni libere quando M≥0M \geq 0 e 0≤N≤2n−20 \leq N \leq 2n-2.

Teorema 1.5 (Principio di Stabilizzazione di Wall)

Sotto condizioni appropriate, esiste N≥0N \geq 0 tale che la stabilizzazione libera NN-fold τN\tau_N è liscia rispetto a una certa struttura liscia sulla varietà stabilizzata.

Punti di Innovazione Tecnica

1. Calcolo del Numero di Rotazione

L'articolo fornisce una formula esplicita per il numero di rotazione delle soluzioni di Seiberg-Witten su spazi Seifert-fibrati, cruciale per comprendere l'azione geometrica S1S^1.

2. Calcolo dei Termini di Correzione Equivarianti

Proposizione 5.3: Fornisce una formula esplicita per il termine di correzione equivariante nL(Y,ρ^r,g,∇∞)n_L(Y,\hat{\rho}_r,g,\nabla_\infty), coinvolgendo somme di Dedekind e somme di Dedekind-Rademacher.

3. Invarianza sotto Stabilizzazione

Lemma 5.1: Prova l'invarianza di S⃗(X,τ)\vec{S}(X,\tau) sotto stabilizzazioni omologicamente banali e libere.

Verifica Sperimentale

Esempi di Calcoli Concreti

L'articolo fornisce calcoli concreti dell'invariante equivariante κ\kappa su famiglie specifiche di sfere di Brieskorn Σ(2,3,6n±1)\Sigma(2,3,6n \pm 1):

Proposizione 3.2: Per Σ(2,3,12n−5)\Sigma(2,3,12n-5) e Σ(2,3,12n−1)\Sigma(2,3,12n-1), fornisce una descrizione completa dell'insieme degli invarianti equivarianti κ\kappa, includendo:

  • Il caso di insieme singoletto quando (Y,ρp)(Y,\rho_p) è una scissione di Floer KGp∗K\mathcal{G}_p^*
  • Insiemi multi-elemento nel caso non scisso

Risultati Numerici

Proposizione 5.5: Per tutti i numeri primi p≥5p \geq 5 e n≥1n \geq 1:

\frac{p^2 \mp 14p + 13}{144p} & \text{se } p \equiv \pm 1 \pmod{12} \\ \frac{p^2 \pm 50p + 13}{144p} & \text{se } p \equiv \pm 5 \pmod{12} \end{cases}$$ ## Lavori Correlati ### Sviluppo Storico 1. **Edmonds (1987)**: Prova l'esistenza di azioni $\mathbb{Z}_p$-localmente lineari su 4-varietà topologiche chiuse semplicemente connesse 2. **Kiyono (2011)**: Utilizza la disuguaglianza di Furuta per provare che certe azioni non sono lisciabili 3. **Konno-Miyazawa-Taniguchi (2021)**: Studia azioni non lisciabili nel caso $p=2$ ### Tecniche Correlate 1. **Baraglia-Hekmati (2022)**: Prova che azioni $\mathbb{Z}_p$ standard su sfere di omologia Seifert-fibrate non possono estendersi su certe 4-varietà 2. **Anvari-Hambleton (2016)**: Fornisce esempi di azioni non lisciabili su 4-varietà contraibili ## Conclusioni e Discussione ### Conclusioni Principali 1. Per tutti i numeri primi $p \geq 5$, costruisce azioni $\mathbb{Z}/p$-non lisciabili su 4-varietà con bordo 2. Prova che la stabilizzazione omologicamente banale non soddisfa il principio di stabilizzazione di Wall 3. La stabilizzazione libera soddisfa il principio di stabilizzazione di Wall, ma il numero di stabilizzazioni può essere arbitrariamente grande ### Limitazioni 1. **Casi Eccezionali**: Il caso eccezionale $(n,p) = (1,5)$ richiede un trattamento speciale 2. **Complessità Computazionale**: Il calcolo dei termini di correzione equivarianti coinvolge somme teoriche dei numeri complesse 3. **Condizioni al Bordo**: Il metodo si applica principalmente a 4-varietà con bordi Seifert-fibrati specifici ### Direzioni Future 1. **Bordi Generali**: Ricerca di azioni non lisciabili su 4-varietà con bordi più generali 2. **Numeri Primi Bassi**: Estensione ai casi $p = 2, 3$ 3. **Estensione delle Applicazioni**: Applicazione delle tecniche a altri problemi geometrici ## Valutazione Approfondita ### Punti di Forza 1. **Profondità Tecnica**: Combina abilmente la teoria di Seiberg-Witten, la K-teoria equivariante e la topologia delle 4-varietà 2. **Completezza**: Fornisce un quadro completo dalla costruzione teorica ai calcoli concreti 3. **Innovazione**: Primo studio sistematico del comportamento di stabilizzazione per azioni di gruppi di ordine superiore 4. **Precisione Computazionale**: Fornisce formule numeriche esplicite e metodi di calcolo ### Punti Deboli 1. **Soglia Tecnica Elevata**: Richiede una profonda conoscenza della topologia differenziale e della teoria di gauge 2. **Specificità**: I risultati sono principalmente limitati a 4-varietà con bordi Seifert-fibrati specifici 3. **Complessità Computazionale**: I calcoli pratici sono estremamente complessi ### Impatto 1. **Contributo Teorico**: Fornisce nuovi strumenti per la ricerca su azioni di gruppi su 4-varietà 2. **Metodologia**: L'applicazione dell'invariante equivariante $\kappa$ ha prospettive di ampia applicazione 3. **Risoluzione di Problemi**: Risolve un importante problema aperto in questo campo ### Scenari di Applicabilità Questo metodo è particolarmente adatto per: 1. Studiare azioni di gruppi su 4-varietà con bordi Seifert-fibrati 2. Analizzare problemi di lisciamento di 4-varietà topologiche 3. Comprendere fenomeni di stabilizzazione equivariante ## Bibliografia L'articolo cita 42 lavori correlati, coprendo importanti contributi in molteplici aree incluse la topologia delle 4-varietà, la teoria di Seiberg-Witten e le azioni di gruppi, fornendo una solida base teorica per la ricerca.