A new gauge slice for the relative Bauer-Furuta invariants. (English) Zbl 1316.57022

Khandhawit, Tirasan

Geom. Topol. 19, No. 3, 1631-1655 (2015).

The author of the paper under review studies Manolescu’s construction of the relative Bauer-Furuta invariants arising from the Seiberg-Witten equations on \(4\)-manifolds with boundary. He introduces a new gauge fixing condition called the double Coulomb condition for studying these invariants.
Bauer and Furuta constructed their invariant for closed 4-manifolds as an element in the stable cohomotopy group. “The basic idea of the constuction is to consider the Seiberg-Witten map and then to consider approximated maps between finite dimensional vector spaces to obtain a stable map between spheres. In [Geom. Topol. 7, 889–932 (2003; Zbl 1127.57303)], C. Manolescu constructed a Floer spectrum for a rational homology 3-sphere. It comes from a finite dimensional approximation of the Seiberg-Witten flow on an infinite dimensional space. This allows one to extend these invariants to 4-manifolds with a rational homology 3-sphere as a boundary.”
The author tries to provide a framework to generalize these invariants to general 4-manifolds \(X\) with (arbitrary) boundary \(Y\). The generalization is for configuration spaces satisfying a certain gauge fixing condition called double Coulomb condition. An advantage of this condition is that the restriction map of the corresponding slice on \(X\) to the Coulomb slice on \(Y\) is linear in contrast to the previously used Coulomb-Neumann slice on \(X\).
The main result (Theorem 1.1) is that when \( b_1(Y)=0\), the Seiberg Witten map with boundary term on the double Coulomb slice gives an \(S^{1}\)-equivariant stable homotopy class of maps \[ SWF(X):\Sigma^{-b^{+}(X)}Th_{Dir}(X) \rightarrow SWF(Y) \] where \(SWF(Y)\) is the Floer spectrum associated to \(Y\) and \(Th_{Dir}(X)\) is the Thom spectrum associated to a family of Dirac operators on \(X\) parametrized by the Picard torus on \(X\). In the special case \(b_1(X)=0\) it is shown that \[ SWF(X):S^{-b^{+}(X)\mathbb R -(\sigma(X)/8) C} \rightarrow SWF(Y) \] where \(S\) is the sphere spectrum.
The proof depends on finding a map to some order reduced suspension of the Conley Index of a certain set, induced from a map depending on the Seiberg Witten map and the restriction map defined above. Then the result follows with some work and desuspending arguments.

Reviewer: Saibal Ganguli (Chennai)

MSC:

57R57	Applications of global analysis to structures on manifolds
57R58	Floer homology

Keywords:

4-manifolds; Seiberg-Witten equations; Bauer-Furuta invariant

Citations:

Zbl 1127.57303

References:

[1]	M F Atiyah, V K Patodi, I M Singer, Spectral asymmetry and Riemannian geometry, I, Math. Proc. Cambridge Philos. Soc. 77 (1975) 43 · Zbl 0297.58008
[2]	S Bauer, A stable cohomotopy refinement of Seiberg-Witten invariants, II, Invent. Math. 155 (2004) 21 · Zbl 1051.57038
[3]	S Bauer, M Furuta, A stable cohomotopy refinement of Seiberg-Witten invariants, I, Invent. Math. 155 (2004) 1 · Zbl 1050.57024
[4]	C Conley, Isolated invariant sets and the Morse index, CBMS Regional Conference Series in Math. 38, Amer. Math. Soc. (1978) · Zbl 0397.34056
[5]	M Furuta, Monopole equation and the \(\frac{11}8\)-conjecture, Math. Res. Lett. 8 (2001) 279 · Zbl 0984.57011
[6]	T Iwaniec, C Scott, B Stroffolini, Nonlinear Hodge theory on manifolds with boundary, Ann. Mat. Pura Appl. 177 (1999) 37 · Zbl 0963.58003
[7]	T Khandhawit, Twisted Manolescu-Floer spectra for Seiberg-Witten, PhD thesis, Massachusetts Institute of Technology (2013)
[8]	P Kronheimer, C Manolescu, Periodic Floer pro-spectra from the Seiberg-Witten equations,
[9]	P Kronheimer, T Mrowka, Monopoles and three-manifolds, New Math. Monographs 10, Cambridge Univ. Press (2007) · Zbl 1158.57002
[10]	H L Kurland, On the two definitions of the Conley index, Proc. Amer. Math. Soc. 106 (1989) 1117 · Zbl 0678.58036
[11]	F Lin, A Morse-Bott approach to monopole Floer homology and the triangulation conjecture,
[12]	J Lin, \(\mathrm{Pin}(2)\)-equivariant KO-theory and intersection forms of spin four-manifolds,
[13]	C Manolescu, \(\mathrm{Pin(2)}\)-equivariant Seiberg-Witten Floer homology and the triangulation conjecture, · Zbl 1343.57015
[14]	C Manolescu, Seiberg-Witten-Floer stable homotopy type of three-manifolds with \(b_1=0\), Geom. Topol. 7 (2003) 889 · Zbl 1127.57303
[15]	C Manolescu, On the intersection forms of spin four-manifolds with boundary, Math. Ann. 359 (2014) 695 · Zbl 1305.57050
[16]	D Salamon, Connected simple systems and the Conley index of isolated invariant sets, Trans. Amer. Math. Soc. 291 (1985) 1 · Zbl 0573.58020
[17]	G Schwarz, Hodge decomposition: A method for solving boundary value problems, Lecture Notes in Math. 1607, Springer (1995) · Zbl 0828.58002