Instanton Floer homology with Lagrangian boundary conditions

Salamon, Dietmar¹ ; Wehrheim, Katrin²

¹ Department of Mathematics, ETH, 8092 Zürich, Switzerland
² Massachusetts Institute of Technology, Department of Mathematics, 77 Massachusetts Avenue, Cambridge, MA 02139-4307, USA

Geometry & topology, Tome 12 (2008) no. 2, pp. 747-918.

Résumé

In this paper we define instanton Floer homology groups for a pair consisting of a compact oriented $3$–manifold with boundary and a Lagrangian submanifold of the moduli space of flat $SU\left(2\right)$–connections over the boundary. We carry out the construction for a general class of irreducible, monotone boundary conditions. The main examples of such Lagrangian submanifolds are induced from a disjoint union of handle bodies such that the union of the $3$–manifold and the handle bodies is an integral homology $3$–sphere. The motivation for introducing these invariants arises from our program for a proof of the Atiyah–Floer conjecture for Heegaard splittings. We expect that our Floer homology groups are isomorphic to the usual Floer homology groups of the closed $3$–manifold in our main example and thus can be used as a starting point for an adiabatic limit argument.

Détail

DOI : 10.2140/gt.2008.12.747

Keywords: 3-manifold with boundary, Atiyah-Floer conjecture

Bibliographie

[1] S Agmon, A Douglis, L Nirenberg, Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. I, Comm. Pure Appl. Math. 12 (1959) 623

[2] S Agmon, L Nirenberg, Lower bounds and uniqueness theorems for solutions of differential equations in a Hilbert space, Comm. Pure Appl. Math. 20 (1967) 207

[3] M F Atiyah, New invariants of $3$– and $4$–dimensional manifolds, from: "The mathematical heritage of Hermann Weyl (Durham, NC, 1987)" (editor R O Wells Jr.), Proc. Sympos. Pure Math. 48, Amer. Math. Soc. (1988) 285

[4] M F Atiyah, R Bott, The Yang–Mills equations over Riemann surfaces, Philos. Trans. Roy. Soc. London Ser. A 308 (1983) 523

[5] M F Atiyah, V K Patodi, I M Singer, Spectral asymmetry and Riemannian geometry. I, Math. Proc. Cambridge Philos. Soc. 77 (1975) 43

[6] W Ballmann, J. Brüning, G Carron, Dirac systems, in preparation

[7] B Booss-Bavnbek, K Furutani, The Maslov index: a functional analytical definition and the spectral flow formula, Tokyo J. Math. 21 (1998) 1

[8] B Booss-Bavnbek, C Zhu, Weak symplectic functional analysis and general spectral flow formula

[9] S K Donaldson, The orientation of Yang–Mills moduli spaces and $4$–manifold topology, J. Differential Geom. 26 (1987) 397

[10] S K Donaldson, Floer homology groups in Yang–Mills theory, Cambridge Tracts in Mathematics 147, Cambridge University Press (2002)

[11] S K Donaldson, P B Kronheimer, The geometry of four-manifolds, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press (1990)

[12] S Dostoglou, D A Salamon, Self-dual instantons and holomorphic curves, Ann. of Math. $(2)$ 139 (1994) 581

[13] N Dunford, J.T.Schwarz, Linear operators II: spectral theory, Interscience (1964)

[14] A Floer, An instanton-invariant for $3$–manifolds, Comm. Math. Phys. 118 (1988) 215

[15] K Froyshov, On Floer homology and four-manifolds with boundary, PhD thesis, Oxford (1994)

[16] K Fukaya, Floer homology for $3$–manifolds with boundary I (1997)

[17] A A Kirillov, A D Gvishiani, Theorems and problems in functional analysis, Problem Books in Mathematics, Springer (1982)

[18] P Kirk, M Lesch, The $\eta$–invariant, Maslov index, and spectral flow for Dirac-type operators on manifolds with boundary, Forum Math. 16 (2004) 553

[19] P B Kronheimer, Four-manifold invariants from higher-rank bundles, J. Differential Geom. 70 (2005) 59

[20] P. Kronheimer, T. Mrowka, Monopoles and Three-Manifolds, New Mathematical Monographs 10, Cambridge University Press (2007) 770

[21] D Mcduff, D Salamon, $J$–holomorphic curves and symplectic topology, Amer. Math. Soc. Colloquium Publ. 52, Amer. Math. Soc. (2004)

[22] J W Milnor, Topology from the differentiable viewpoint, Based on notes by David W. Weaver, The University Press of Virginia, Charlottesville, Va. (1965)

[23] T S Mrowka, K Wehrheim, $L^2$–topology and Lagrangians in the space of connections over a Riemann surface, in preparation

[24] J Robbin, Y Ruan, D A Salamon, The moduli space of regular stable maps, to appear in Math. Zeit.

[25] J Robbin, D Salamon, The Maslov index for paths, Topology 32 (1993) 827

[26] J Robbin, D Salamon, The spectral flow and the Maslov index, Bull. London Math. Soc. 27 (1995) 1

[27] D Salamon, Spin geometry and Seiberg–Witten invariants, in preparation

[28] D Salamon, Lagrangian intersections, $3$–manifolds with boundary, and the Atiyah–Floer conjecture, from: "Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994)", Birkhäuser (1995) 526

[29] D Salamon, Lectures on Floer homology, from: "Symplectic geometry and topology (Park City, UT, 1997)", IAS/Park City Math. Ser. 7, Amer. Math. Soc. (1999) 143

[30] C H Taubes, Casson's invariant and gauge theory, J. Differential Geom. 31 (1990) 547

[31] C H Taubes, Unique continuation theorems in gauge theories, Comm. Anal. Geom. 2 (1994) 35

[32] K K Uhlenbeck, Connections with $L^{p}$ bounds on curvature, Comm. Math. Phys. 83 (1982) 31

[33] K Wehrheim, Banach space valued Cauchy–Riemann equations with totally real boundary conditions, Commun. Contemp. Math. 6 (2004) 601

[34] K Wehrheim, Uhlenbeck compactness, EMS Series of Lectures in Mathematics, European Mathematical Society (EMS), Zürich (2004)

[35] K Wehrheim, Anti-self-dual instantons with Lagrangian boundary conditions. I. Elliptic theory, Comm. Math. Phys. 254 (2005) 45

[36] K Wehrheim, Anti-self-dual instantons with Lagrangian boundary conditions. II. Bubbling, Comm. Math. Phys. 258 (2005) 275

[37] K Wehrheim, Lagrangian boundary conditions for anti-self-dual instantons and the Atiyah–Floer conjecture, Conference on Symplectic Topology, J. Symplectic Geom. 3 (2005) 703