2025-11-22T12:19:15.280199

On integral rigidity in Seiberg-Witten theory

Lin, Eismeier
We introduce a framework to prove integral rigidity results for the Seiberg-Witten invariants of a closed $4$-manifold $X$ containing a non-separating hypersurface $Y$ satisfying suitable (chain-level) Floer theoretic conditions. As a concrete application, we show that if $X$ has the homology of a four-torus, and it contains a non-separating three-torus, then the sum of all Seiberg-Witten invariants of $X$ is determined in purely cohomological terms. Our results can be interpreted as $(3+1)$-dimensional versions of Donaldson's TQFT approach to the formula of Meng-Taubes, and build upon a subtle interplay between irreducible solutions to the Seiberg-Witten equations on $X$ and reducible ones on $Y$ and its complement. Along the way, we provide a concrete description of the associated graded map (for a suitable filtration) of the map on $\overline{HM}_*$ induced by a negative cobordism between three-manifolds, which might be of independent interest.
academic

Sur la rigidité intégrale en théorie de Seiberg-Witten

Informations fondamentales

  • ID de l'article: 2409.17884
  • Titre: On integral rigidity in Seiberg-Witten theory
  • Auteurs: Francesco Lin, Mike Miller Eismeier
  • Classification: math.GT (Topologie géométrique)
  • Date de publication: Septembre 2024
  • Lien de l'article: https://arxiv.org/abs/2409.17884

Résumé

Cet article introduit un cadre théorique pour prouver des résultats de rigidité intégrale des invariants de Seiberg-Witten pour les 4-variétés fermées XX contenant une hypersurface non séparatrice YY satisfaisant des conditions appropriées de théorie de Floer au niveau des chaînes. Comme application concrète, les auteurs démontrent que si XX possède l'homologie d'un 4-tore et contient un 3-tore non séparatrice, alors la somme de tous les invariants de Seiberg-Witten de XX est entièrement déterminée par les termes de cohomologie. Ces résultats peuvent être interprétés comme une version (3+1)(3+1)-dimensionnelle de la formule de Meng-Taubes via l'approche TQFT de Donaldson, basée sur l'interaction subtile entre les solutions irréductibles de l'équation de Seiberg-Witten sur XX et les solutions réductibles sur YY et son complémentaire.

Contexte et motivation de la recherche

  1. Problème fondamental: Les invariants de Seiberg-Witten constituent un outil fondamental de la topologie en dimension 4, mais il manque actuellement un cadre général pour calculer ces invariants, et il n'est pas clair quelles contraintes ces invariants doivent satisfaire.
  2. Importance: Comprendre les contraintes sur les invariants de Seiberg-Witten est crucial pour la classification et la compréhension des 4-variétés. Les travaux antérieurs se sont principalement concentrés sur les « résultats de rigidité modulo 2 », tandis que cet article poursuit des résultats de rigidité intégrale plus forts.
  3. Limitations des méthodes existantes:
    • Les résultats de rigidité antérieurs étaient principalement des résultats modulo 2, reposant sur la symétrie Pin(2) des variétés spin
    • Il manquait un cadre efficace pour le calcul des invariants de Seiberg-Witten des 4-variétés générales
    • Les résultats dans le cas des hypersurfaces séparatrices étaient relativement simples, le cas non séparatrice étant plus difficile
  4. Motivation de la recherche: Les auteurs souhaitent établir un cadre unifié pour traiter les invariants de Seiberg-Witten des 4-variétés contenant des hypersurfaces non séparatrices, en particulier pour obtenir des résultats de rigidité au niveau intégral.

Contributions principales

  1. Établissement d'un nouveau cadre théorique: Introduction du concept d'espaces RSF (Reducible Strictly Filtered spaces), fournissant des outils de théorie de Floer au niveau des chaînes pour traiter le cas des hypersurfaces non séparatrices.
  2. Preuve de théorèmes de rigidité intégrale:
    • Théorème A: Pour un 4-tore homologique contenant un 3-tore non séparatrice, la somme des invariants de Seiberg-Witten possède une formule cohomologique explicite
    • Théorème B: Résultats de rigidité plus généraux pour les 4-variétés contenant un 3-tore non séparatrice
    • Théorème C: Résultats de rigidité généraux pour les 4-variétés contenant un espace RSF comme hypersurface non séparatrice
  3. Fourniture de formules de calcul explicites: Présentation de formules explicites dans le cas du 4-tore homologique: m(X)=±det⁡(X)⋅#∣H2(T3)/Im(H2(X)→H2(T3))∣m(X) = \pm \det(X) \cdot \#|H^2(T^3)/\text{Im}(H^2(X) \to H^2(T^3))|
  4. Établissement d'une connexion avec le TQFT de Donaldson: Interprétation des résultats comme une généralisation de la méthode TQFT (2+1)(2+1)-dimensionnelle de Donaldson à la dimension (3+1)(3+1).

Explication détaillée des méthodes

Définition des concepts fondamentaux

Définition des espaces RSF: Une 3-variété spin^c tordue (Y,sY)(Y,s_Y) est appelée espace RSF s'il existe une métrique régulière et une perturbation telles que:

  1. Seules les solutions réductibles de Seiberg-Witten existent
  2. L'application BusB_u^s est strictement filtrée par rapport à la UU-filtration
  3. Le complexe C‾∗(Y,s)\overline{C}_*(Y,s) coïncide avec le complexe de Morse correspondant

Architecture technique

  1. Formule de collage: Établissement d'une formule de collage pour le cas non séparatrice, reliant les invariants de Seiberg-Witten sur la 4-variété à la trace de l'application induite sur le complémentaire: m(X,sW,[νˉ])=Tr(HM‾∙(W,sW;Γν))m(X,s_W,[\bar{\nu}]) = \text{Tr}(\overline{HM}_\bullet(W,s_W;\Gamma_\nu))
  2. Description de l'application de cobordisme négatif défini: Fourniture d'une description explicite de l'application HM∗HM_* induite par le cobordisme négatif défini WW: mˉ∗=mW,νUd+m2Ud−1+m4Ud−2+⋯\bar{m}_* = m_{W,\nu}U^d + m_2U^{d-1} + m_4U^{d-2} + \cdots
  3. Analyse de la filtration: Utilisation de l'analyse par suite spectrale de la UU-filtration pour simplifier les calculs complexes de théorie de jauge en calculs de théorie de Morse.

Points d'innovation technique

  1. Conditions au niveau des chaînes: Contrairement aux méthodes antérieures reposant sur des conditions au niveau homologique, cet article introduit des conditions plus fines au niveau des chaînes (espaces RSF), capables de capturer davantage d'informations topologiques.
  2. Interaction entre solutions réductibles et irréductibles: Exploitation ingénieuse de l'interaction entre les solutions irréductibles sur la 4-variété et les solutions réductibles sur le bord 3-dimensionnel, constituant l'insight technique central de cette approche.
  3. Méthode de filtration: Transformation de problèmes complexes de théorie de jauge en calculs de topologie algébrique relativement simples par analyse appropriée de la filtration.

Résultats principaux

Théorème A (Cas du 4-tore homologique)

Pour un 4-tore homologique XX contenant un 3-tore non séparatrice, si XX admet une structure spin^c se restreignant à la structure tordue unique sur T3T^3, alors: m(X)=±det⁡(X)⋅#∣H2(T3)/Im(H2(X)→H2(T3))∣m(X) = \pm \det(X) \cdot \#|H^2(T^3)/\text{Im}(H^2(X) \to H^2(T^3))|

Théorème B (Cas général du 3-tore)

Soit XX une 4-variété fermée orientée connexe contenant un 3-tore non séparatrice T3T^3, avec b+(X)≥2b^+(X) \geq 2. Alors la somme de tous les invariants de Seiberg-Witten satisfait:

\text{disc}(W)D(W) & \text{si } b^+(W) = 0 \text{ et } b_1(W) = 3 \\ 0 & \text{sinon} \end{cases}$$ où $\text{disc}(W) = |\det(i_*)|$ et $D(W)$ compte le nombre de structures spin^c satisfaisant des conditions spécifiques. ### Théorème C (Cas général des espaces RSF) Pour une 4-variété $X$ contenant un espace RSF $(Y,s_Y)$ comme hypersurface non séparatrice, les invariants de Seiberg-Witten correspondants satisfont une formule de rigidité, où les coefficients $c(W,Y,s_Y)$ dépendent uniquement de la correspondance et de la structure spin^c. ## Analyse d'exemples concrets ### Exemple 1: Variétés de type $S^1 \times M$ Pour $X = S^1 \times M$, où $M$ est une 3-variété homologique contenant un 2-tore non séparatrice, on a: $$\pm m(X) = \det(M)^2 t_1(M)$$ Ce résultat est cohérent avec celui de Meng-Taubes. ### Exemple 2: 4-tores homologiques nouvellement construits Par des constructions spécifiques d'attachement d'anses, les auteurs fournissent une classe d'exemples de 4-tores homologiques où: $$\pm m(X) = \det(X)$$ plutôt que $\det(X)^2$, démontrant le caractère non trivial de la formule. ## Travaux connexes 1. **Morgan-Szabó**: Premiers résultats de rigidité modulo 2 2. **Ruberman-Strle**: Rigidité modulo 2 pour les tores homologiques 3. **Formule de Meng-Taubes**: Version $(2+1)$-dimensionnelle des résultats de cet article 4. **Méthode TQFT de Donaldson**: Fondement du cadre théorique de cet article 5. **Homologie de Floer monopole de Kronheimer-Mrowka**: Principal outil technique utilisé ## Conclusions et discussion ### Conclusions principales 1. Établissement d'un cadre théorique complet pour traiter le cas des hypersurfaces non séparatrices 2. Fourniture de formules explicites pour les invariants de Seiberg-Witten des 4-tores homologiques 3. Preuve de la rigidité intégrale de ces invariants, dépassant les résultats modulo 2 antérieurs ### Limitations 1. Les conditions des espaces RSF sont difficiles à vérifier en pratique 2. Les exemples actuels se concentrent principalement sur des cas géométriques spéciaux 3. La relation avec les invariants mixtes d'Ozsváth-Szabó reste peu claire ### Directions futures 1. **Question D**: Recherche de conditions au niveau homologique plus générales que les espaces RSF 2. **Question E**: Reproduction de ces résultats en théorie de Heegaard Floer 3. Exploration d'exemples plus concrets et d'applications ## Évaluation approfondie ### Avantages 1. **Profondeur théorique**: Établissement de connexions profondes entre la théorie de jauge et la topologie algébrique 2. **Innovation technique**: Le concept d'espaces RSF et la méthode de filtration sont originaux 3. **Importance des résultats**: Premiers résultats de rigidité intégrale pour les invariants de Seiberg-Witten 4. **Unité de la méthode**: Fourniture d'un cadre unifié pour traiter les hypersurfaces non séparatrices ### Insuffisances 1. **Restrictions des conditions**: Les conditions des espaces RSF sont très techniques et difficiles à vérifier en pratique 2. **Exemples limités**: Les exemples non triviaux concrets sont relativement peu nombreux 3. **Complexité computationnelle**: Les détails techniques impliqués dans les calculs réels sont considérablement complexes ### Impact Ce travail revêt une importance significative en topologie en dimension 4, offrant une nouvelle perspective pour la compréhension des invariants de Seiberg-Witten et pouvant stimuler davantage de recherches sur la classification des 4-variétés. ### Domaines d'application Principalement applicable à l'étude des 4-variétés contenant des types spéciaux d'hypersurfaces non séparatrices, avec des applications importantes particulièrement dans la classification des 4-tores homologiques et des structures géométriques connexes.