Lagrangian matching invariants for fibred four-manifolds: I

Perutz, Tim¹

¹ DPMMS, Centre for Mathematical Sciences, University of Cambridge, Wilberforce Road, Cambridge CB3 0WB, UK

Geometry & topology, Tome 11 (2007) no. 2, pp. 759-828.

Résumé

In a pair of papers, we construct invariants for smooth four-manifolds equipped with ‘broken fibrations’—the singular Lefschetz fibrations of Auroux, Donaldson and Katzarkov—generalising the Donaldson–Smith invariants for Lefschetz fibrations.

The ‘Lagrangian matching invariants’ are designed to be comparable with the Seiberg–Witten invariants of the underlying four-manifold; formal properties and first computations support the conjecture that equality holds. They fit into a field theory which assigns Floer homology groups to three-manifolds fibred over $S^1$.

The invariants are derived from moduli spaces of pseudo-holomorphic sections of relative Hilbert schemes of points on the fibres, subject to Lagrangian boundary conditions. Part I—the present paper—is devoted to the symplectic geometry of these Lagrangians.

Détail

DOI : 10.2140/gt.2007.11.759

Keywords: Four-manifolds, Lefschetz fibrations, Seiberg–Witten invariants, pseudo-holomorphic curves, Lagrangian submanifolds, Hilbert schemes

Bibliographie

[1] D Auroux, S K Donaldson, L Katzarkov, Singular Lefschetz pencils, Geom. Topol. 9 (2005) 1043

[2] L Caporaso, A compactification of the universal Picard variety over the moduli space of stable curves, J. Amer. Math. Soc. 7 (1994) 589

[3] S K Donaldson, Geometry of four-manifolds, ICM Series, Amer. Math. Soc. (1988)

[4] S K Donaldson, Topological field theories and formulae of Casson and Meng–Taubes, from: "Proceedings of the Kirbyfest (Berkeley, CA, 1998)" (editors M Scharlemann, J Hass), Geom. Topol. Monogr. 2 (1999) 87

[5] S Donaldson, I Smith, Lefschetz pencils and the canonical class for symplectic four-manifolds, Topology 42 (2003) 743

[6] J J Duistermaat, G J Heckman, On the variation in the cohomology of the symplectic form of the reduced phase space, Invent. Math. 69 (1982) 259

[7] D Gay, R Kirby, Constructing Lefschetz-type fibrations on four–manifolds

[8] D Gieseker, A degeneration of the moduli space of stable bundles, J. Differential Geom. 19 (1984) 173

[9] V Guillemin, E Lerman, S Sternberg, Symplectic fibrations and multiplicity diagrams, Cambridge University Press (1996)

[10] A Hatcher, On the diffeomorphism group of $S^{1}\times S^{2}$, Proc. Amer. Math. Soc. 83 (1981) 427

[11] P Kronheimer, T Mrowka, P Ozsváth, Z Szabó, Monopoles and lens space surgeries, Ann. of Math. $(2)$ 165 (2007) 457

[12] Y J Lee, Heegaard splittings and Seiberg-Witten monopoles, from: "Geometry and topology of manifolds", Fields Inst. Commun. 47, Amer. Math. Soc. (2005) 173

[13] I G Macdonald, Symmetric products of an algebraic curve, Topology 1 (1962) 319

[14] D Mcduff, D Salamon, Introduction to symplectic topology, Oxford Mathematical Monographs, Oxford University Press (1998)

[15] D S Nagaraj, C S Seshadri, Degenerations of the moduli spaces of vector bundles on curves. I, Proc. Indian Acad. Sci. Math. Sci. 107 (1997) 101

[16] H Nakajima, Lectures on Hilbert schemes of points on surfaces, University Lecture Series 18, Amer. Math. Soc. (1999)

[17] R Pandharipande, A compactification over $\overline {M}_g$ of the universal moduli space of slope-semistable vector bundles, J. Amer. Math. Soc. 9 (1996) 425

[18] T Perutz, Surface–fibrations, four–manifolds, and symplectic Floer homology, PhD thesis, Imperial College, London (2005)

[19] T Perutz, Lagrangian matching invariants for fibred four–manifolds: II

[20] Z Ran, A note on Hilbert schemes of nodal curves, J. Algebra 292 (2005) 429

[21] W D Ruan, Deformation of integral coisotropic submanifolds in symplectic manifolds, J. Symplectic Geom. 3 (2005) 161

[22] D A Salamon, Spin geometry and Seiberg–Witten invariants, unpublished book

[23] D A Salamon, Seiberg-Witten invariants of mapping tori, symplectic fixed points, and Lefschetz numbers, from: "Proceedings of 6th Gökova Geometry-Topology Conference", Turkish J. Math. 23 (1999) 117

[24] P Seidel, A long exact sequence for symplectic Floer cohomology, Topology 42 (2003) 1003

[25] P Seidel, I Smith, A link invariant from the symplectic geometry of nilpotent slices, Duke Math. J. 134 (2006) 453

[26] I Smith, Serre-Taubes duality for pseudoholomorphic curves, Topology 42 (2003) 931

[27] C H Taubes, The geometry of the Seiberg-Witten invariants, from: "Surveys in differential geometry, Vol. III (Cambridge, MA, 1996)", Int. Press, Boston (1998) 299

[28] C H Taubes, Seiberg Witten and Gromov invariants for symplectic $4$-manifolds, First International Press Lecture Series 2, International Press (2000)

[29] M Usher, The Gromov invariant and the Donaldson-Smith standard surface count, Geom. Topol. 8 (2004) 565

[30] M Usher, Vortices and a TQFT for Lefschetz fibrations on 4-manifolds, Algebr. Geom. Topol. 6 (2006) 1677