Surgery and excision for Furuta-Ohta invariants on homology \(S^1 \times S^3\)
type: Item
instance of: scholarly article
title: Surgery and excision for Furuta-Ohta invariants on homology \(S^1 \times S^3\)
author: Langte Ma
published in: Journal of Differential Geometry
publication date: 2024-08-27T00:00:00Z
review text: The Furuta-Ohta invariant is an invariant for manifolds with the homology \(S^1\times S^3\) defined via the Yang-Mills equations. It is an analogue of the Casson invariant of a homology \(3\)-sphere. An analogue in Seiberg-Witten theory was defined by \textit{T. Mrowka} et al. [J. Differ. Geom. 88, No. 2, 333--377 (2011; Zbl 1238.57028)]. Establishing the equivalence of these two invariants would among other things provide a new proof that there are higher-dimensional manifolds that are not trainable.\N\NIn this paper, Ma establishes torus surgery and excision formulae for the Furuta-Ohta invariant. This is one of the most technically challenging situations in which one considers gluing results in gauge theory. The invariant is already defined for \(b^2_+ = 0\) which is as low as possible and this makes it impossible to avoid all reducible by a transversality argument. Furthermore, the gluing takes place along a \(3\)-torus which requires one to analyze the behavior around reducible and central reducible limits. Gluing in a similar situation was analyzed by Morgan, Mrowka, and Ruberman in a long technical paper [\textit{J. W. Morgan} et al., The \(L^ 2\)-moduli space and a vanishing theorem for Donaldson polynomial invariants. Cambridge, MA: International Press (1994; Zbl 0830.58005)]. These results need to be refined in order to address the \(b^2_+\) situation.\N\NMa has written a careful, and technical argument addressing all of the points. He summarizes relevant parts of the literature very nicely, so this difficult paper may be read without referring back to other foundational papers. To get a sense of some of the techniques used, we will describe that the perturbations that Ma uses have two inputs. One input is a holonomy perturbation supported in the compact region of a \(4\)-manifold with a cylindrical end. The other input starts with a neighborhood of a link in the \(3\)-torus on the end and defines a holonomy perturbation down the end with exponential decay…
reviewed by: David Auckly
Mathematics Subject Classification ID: 57K41
zbMATH DE Number: 7902289
zbMATH Keywords: Donaldson invariants
zbMATH Keywords: Furuta-Ohta invariant
MaRDI profile type: Publication
cites work: Q3995494
cites work: Torsion Classes and a Universal Constraint on Donaldson Invariants for Odd Manifolds
cites work: Spectral asymmetry and Riemannian Geometry. I
cites work: Spectral asymmetry and Riemannian geometry. II
cites work: Q4850925
cites work: Characteristic forms and geometric invariants
cites work: Q3998602
cites work: An application of gauge theory to four dimensional topology
cites work: Irrationality and the h-cobordism conjecture
cites work: The orientation of Yang-Mills moduli spaces and 4-manifold topology
cites work: Polynomial invariants for smooth four-manifolds
cites work: Floer homology groups in Yang-Mills theory
cites work: Witten's conjecture for many four-manifolds of simple type
cites work: An instanton-invariant for 3-manifolds
cites work: Differentiable structures on punctured 4-manifolds
cites work: Q4040346
cites work: An exotic menagerie
cites work: Irreducible 4-manifolds need not be complex
cites work: Q4114528
cites work: Legendrian cobordism and Chern-Simons theory on 3-manifolds with boundary
cites work: Q3736112
cites work: Q5433081
cites work: Knot homology groups from instantons
cites work: Q5608661
cites work: Four-manifold invariants from higher-rank bundles
cites work: Knot cobordism groups in codimension two
cites work: On the monopole Lefschetz number of finite-order diffeomorphisms
cites work: A surgery formula for the Casson–Seiberg–Witten invariant of integral homology S1×S3
cites work: Fiber sum formulae for the Casson-Seiberg-Witten invariant of integral homology \(S^1\times S^3\)
cites work: Q4838147
cites work: Product formulas along \(T^3\) for Seiberg-Witten invariants
cites work: Seiberg-Witten equations, end-periodic Dirac operators, and a lift of Rohlin's invariant
cites work: Q4510390
cites work: Rohlin's invariant and gauge theory. II: Mapping tori
cites work: Asymptotics for a class of non-linear evolution equations, with applications to geometric problems
cites work: Gauge theory on asymptotically periodic 4-manifolds
cites work: Q4838146
cites work: Q5586064
cites work: Connections with \(L^ p \)bounds on curvature
cites work: Removable singularities in Yang-Mills fields
cites work: Uhlenbeck compactness
cites work: Anti-self-Dual instantons with Lagrangian boundary conditions. I: Elliptic theory
cites work: Monopoles and four-manifolds
DOI: 10.4310/JDG/1721075264
description: scientific article; zbMATH DE number 7902289