Actions non-lissifiables $\mathbb{Z}/p$ sur les noyaux

Informations fondamentales

• ID de l'article: 2401.00244
• Titre: Actions non-lissifiables $\mathbb{Z}/p$ sur les noyaux
• Auteur: Imogen Montague
• Classification: math.GT (Topologie géométrique)
• Date de soumission: 30 décembre 2023 à arXiv
• Lien de l'article: https://arxiv.org/abs/2401.00244

Résumé

Cet article construit des exemples d'actions $\mathbb{Z}/p$-non-lissifiables sur des 4-variétés de spin indéfinies à bord pour tous les nombres premiers $p\geq 5$. En particulier, pour chaque nombre premier $p\geq 5$ et chaque $n\geq 1$, il existe une action $\mathbb{Z}/p$-linéaire locale sur le noyau de Gompf $N(2pn)$ qui ne peut pas être lissifiée sous aucune structure lisse de $N(2pn)$. De plus, l'article étudie le comportement de ces actions sous deux types différents de stabilisations équivariantes (stabilisation libre et stabilisation homologiquement triviale), prouvant que la stabilisation libre satisfait le principe de stabilisation de Wall, tandis que la stabilisation homologiquement triviale ne le satisfait pas.

Contexte et motivation de la recherche

Contexte du problème

1. Extension des résultats classiques: Edmonds a prouvé que chaque 4-variété topologique fermée simplement connexe admet une action $\mathbb{Z}_p$-linéaire locale, mais ces actions ne sont pas toutes lisses. Kiyono a utilisé l'inégalité 10/8 de Furuta pour prouver que certaines actions ne sont pas lissifiables.
2. Défis du cas avec bord: Pour les 4-variétés à bord, la version analogue du résultat d'Edmonds est inconnue, ce qui rend l'étude du cas avec bord plus difficile.
3. Importance des espaces fibrés de Seifert: Les espaces fibrés de Seifert fournissent des exemples importants d'actions $\mathbb{Z}_p$, dont l'action standard est donnée par les rotations dans les fibres.

Motivation de la recherche

1. Combler les lacunes théoriques: Peu de résultats sont connus pour le cas des 4-variétés à bord avec $b_2(X) > 0$, en particulier pour les actions d'ordre supérieur ($p \geq 5$).
2. Étude des phénomènes de stabilisation: Comprendre le comportement des actions non-lissifiables sous stabilisation équivariante, ce qui est important pour comprendre les propriétés topologiques des 4-variétés.
3. Principe de stabilisation de Wall: Étudier si différents types de stabilisation peuvent rendre lissifiables les actions non-lissifiables.

Contributions principales

1. Construction d'actions non-lissifiables: Pour tous les nombres premiers $p \geq 5$, construction d'actions $\mathbb{Z}/p$-non-lissifiables sur des 4-variétés avec bord non vide et $b_2(X) > 0$.
2. Analyse du comportement de stabilisation: Preuve que la stabilisation libre satisfait le principe de stabilisation de Wall, tandis que la stabilisation homologiquement triviale ne le satisfait pas.
3. Application de l'invariant équivariant $\kappa$: Utilisation de l'invariant équivariant $\kappa$ défini par l'auteur dans Mon22 pour obstruer l'existence d'extensions lisses.
4. Action géométrique sur l'espace de modules de Seiberg-Witten: Analyse de l'action géométrique de l'action $S^1$ induite par les rotations de fibres sur l'espace de modules de Seiberg-Witten sur les espaces fibrés de Seifert.

Détails des méthodes

Cadre technique principal

1. Invariant équivariant $\kappa$

L'auteur utilise l'invariant équivariant $\kappa$ défini dans Mon22, $K(Y,s,\sigma) \subset \mathbb{Q}_p$, associé aux sphères rationnelles homologiques $\mathbb{Z}_p$-équivariantes de spin $(Y,s,\sigma)$.

2. Théorie de Seiberg-Witten

L'article analyse en profondeur l'espace de modules de Seiberg-Witten sur les espaces fibrés de Seifert, en particulier comment l'action $S^1$ standard se relève aux solutions irréductibles basées sur l'espace de modules.

Théorème clé 2.1: Pour un fibré en droites $E = (e; \epsilon_1, \ldots, \epsilon_n)$ sur un espace fibré de Seifert $Y$, le nombre de rotation est donné par: $\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. Inégalité équivariante relative 10/8

Proposition 3.5: Si l'inégalité relative 10/8 de Manolescu pour $(Y,s,X,t)$ est stricte, et s'il existe au moins deux éléments distincts $\kappa, \kappa' \in K_\pi(Y,s,\sigma)$ satisfaisant $|\kappa| = |\kappa'| = \kappa(Y,s)$, alors $\sigma$ ne peut pas s'étendre en une action $\mathbb{Z}_p$-lisse homologiquement triviale préservant $t$ sur $X$.

Méthode de construction

1. Construction d'actions linéaires locales

Utilisation des méthodes d'Edmonds et Kwasik-Lawson, par les étapes suivantes:

• Commencer par l'action linéaire locale standard sur une 4-variété topologique fermée simplement connexe
• Construire un cobordisme homologique équivariant de $(Y,\rho_p)$ vers $S^3$ équipée d'une action de lentille généralisée

2. Cobordisme h $\mathbb{Z}[\mathbb{Z}_p]$

Proposition 4.10: Pour $p \geq 5$ et tous $n \geq 1$, il existe un cobordisme h topologique $\mathbb{Z}[\mathbb{Z}_p]$ de $Q(p; 2,3,12pn-1)$ vers $L(p;-2,3)$.

Résultats principaux

Théorème 1.2 (Obstruction à l'extension lisse)

Pour les cas suivants, une action $\mathbb{Z}_p$-lisse effective ne peut pas s'étendre en une action $\mathbb{Z}_p$-lisse homologiquement triviale:

1. $p \geq 3$, $X$ homéomorphe au noyau de Gompf $N(2n)$ ou sa stabilisation
2. $p \geq 3$, $X$ homéomorphe à $P(2n)$ ou sa stabilisation
3. $p \geq 3, p \neq 5$, $X$ homéomorphe à la fibre de Milnor $M(2,3,11)$
4. $p \geq 3$, $X$ homéomorphe à la fibre de Milnor $M(2,3,7)$

Théorème 1.6 (Comportement de stabilisation)

Pour chaque nombre premier $p \geq 5$ et $n \geq 1$, les actions $\mathbb{Z}_p$-non-lissifiables $\tau_{p,n}$ et $\tau'_{p,n}$ restent non-lissifiables après $M$ stabilisations homologiquement triviales et $N$ stabilisations libres, lorsque $M \geq 0$ et $0 \leq N \leq 2n-2$.

Théorème 1.5 (Principe de stabilisation de Wall)

Sous des conditions appropriées, il existe $N \geq 0$ tel que la stabilisation libre $N$-fois $\tau_N$ soit lisse par rapport à une certaine structure lisse sur la variété stabilisée.

Points d'innovation technique

1. Calcul du nombre de rotation

L'article fournit une formule explicite pour le nombre de rotation des solutions de Seiberg-Witten sur les espaces fibrés de Seifert, ce qui est crucial pour comprendre l'action géométrique $S^1$.

2. Calcul des termes de correction équivariants

Proposition 5.3: Fournit une formule explicite pour le terme de correction équivariant $n_L(Y,\hat{\rho}_r,g,\nabla_\infty)$, impliquant les sommes de Dedekind et les sommes de Dedekind-Rademacher.

3. Invariance de stabilisation

Lemme 5.1: Prouve l'invariance de $\vec{S}(X,\tau)$ sous stabilisation homologiquement triviale et stabilisation libre.

Vérification expérimentale

Exemples de calculs concrets

L'article fournit des calculs concrets de l'invariant équivariant $\kappa$ sur la famille de sphères de Brieskorn $\Sigma(2,3,6n \pm 1)$:

Proposition 3.2: Pour $\Sigma(2,3,12n-5)$ et $\Sigma(2,3,12n-1)$, fournit une description complète de l'ensemble des invariants équivariants $\kappa$, incluant:

• Le cas d'ensemble à un point lorsque $(Y,\rho_p)$ est une scission de Floer $K\mathcal{G}_p^*$
• Les ensembles à plusieurs éléments dans le cas non-scindé

Résultats numériques

Proposition 5.5: Pour tous les nombres premiers $p \geq 5$ et $n \geq 1$: $n_{p/2}(\Sigma(2,3,12pn-1),\hat{\rho}_p,g,\nabla_\infty) = \begin{cases} \frac{p^2 \mp 14p + 13}{144p} & \text{si } p \equiv \pm 1 \pmod{12} \\ \frac{p^2 \pm 50p + 13}{144p} & \text{si } p \equiv \pm 5 \pmod{12} \end{cases}$

Travaux connexes

Développement historique

1. Edmonds (1987): Preuve de l'existence d'actions $\mathbb{Z}_p$-linéaires locales sur les 4-variétés topologiques fermées simplement connexes
2. Kiyono (2011): Utilisation de l'inégalité de Furuta pour prouver la non-lissifiabilité de certaines actions
3. Konno-Miyazawa-Taniguchi (2021): Étude des involutions non-lissifiables dans le cas $p=2$

Techniques connexes

1. Baraglia-Hekmati (2022): Preuve que les actions $\mathbb{Z}_p$ standard sur les sphères homologiques fibrées de Seifert ne peuvent pas s'étendre sur certaines 4-variétés
2. Anvari-Hambleton (2016): Fourniture d'exemples d'actions non-lissifiables sur les 4-variétés contractiles

Conclusion et discussion

Conclusions principales

1. Pour tous les nombres premiers $p \geq 5$, construction d'actions $\mathbb{Z}/p$-non-lissifiables sur les 4-variétés à bord
2. Preuve que la stabilisation homologiquement triviale ne satisfait pas le principe de stabilisation de Wall
3. La stabilisation libre satisfait le principe de stabilisation de Wall, mais le nombre de stabilisations peut être arbitrairement grand

Limitations

1. Cas exceptionnels: Le cas exceptionnel $(n,p) = (1,5)$ nécessite un traitement particulier
2. Complexité computationnelle: Le calcul des termes de correction équivariants implique des sommes théoriques des nombres complexes
3. Conditions aux limites: La méthode s'applique principalement aux 4-variétés avec des bords de type Seifert-fibré spécifique

Directions futures

1. Cas de bord général: Étudier les actions non-lissifiables sur les 4-variétés avec des bords plus généraux
2. Nombres premiers d'ordre inférieur: Extension aux cas $p = 2, 3$
3. Élargissement des applications: Application des techniques à d'autres problèmes géométriques

Évaluation approfondie

Avantages

1. Profondeur technique: Combinaison ingénieuse de la théorie de Seiberg-Witten, de la K-théorie équivariante et de la topologie des 4-variétés
2. Complétude: Fournit un cadre complet allant de la construction théorique aux calculs concrets
3. Originalité: Première étude systématique du comportement de stabilisation des actions de groupes d'ordre supérieur
4. Précision computationnelle: Fournit des formules numériques explicites et des méthodes de calcul

Insuffisances

1. Seuil technique élevé: Nécessite une connaissance approfondie de la topologie différentielle et de la théorie de jauge
2. Spécificité: Les résultats sont principalement limités aux 4-variétés avec des bords fibrés de Seifert spécifiques
3. Complexité computationnelle: Les calculs pratiques sont extrêmement complexes

Impact

1. Contribution théorique: Fournit de nouveaux outils pour l'étude des actions de groupes sur les 4-variétés
2. Méthodologie: L'application de l'invariant équivariant $\kappa$ a des perspectives larges
3. Résolution de problèmes: Résout un problème ouvert important dans ce domaine

Domaines d'application

Cette méthode s'applique particulièrement à:

1. L'étude des actions de groupes sur les 4-variétés avec bords fibrés de Seifert
2. L'analyse des problèmes de lissifiabilité des 4-variétés topologiques
3. La compréhension des phénomènes de stabilisation équivariante

Références

L'article cite 42 références pertinentes, couvrant plusieurs domaines importants tels que la topologie des 4-variétés, la théorie de Seiberg-Witten et les actions de groupes, fournissant une base théorique solide pour la recherche.