Instanton Floer homology with Lagrangian boundary conditions

  title={Instanton Floer homology with Lagrangian boundary conditions},
  author={Dietmar A. Salamon and Katrin Wehrheim},
  journal={Geometry \& Topology},
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.2/–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… Expand
Floer Homology on the Extended Moduli Space
Starting from a Heegaard splitting of a three-manifold, we use Lagrangian Floer homology to construct a three-manifold invariant in the form of a relatively \(\mathbb{Z}/8\mathbb{Z}\)-graded abelianExpand
L2-Topology and Lagrangians in the Space of Connections Over a Riemann Surface
We examine the L2-topology of the gauge orbits over a closed Riemann surface. We prove a subtle local slice theorem based on the div-curl lemma of harmonic analysis, and deduce local pathwiseExpand
Pseudoholomorphic Quilts
Lagrangian Floer cohomology associates to a pair of Lagrangian manifolds a chain complex whose differential counts pseudoholomorphic strips with boundary values in the given Lagrangians. These form aExpand
Atiyah-Floer Conjecture: a Formulation, a Strategy to Prove and Generalizations
Around 1988, Floer introduced two important theories: instanton Floer homology as invariants of 3-manifolds and Lagrangian Floer homology as invariants of pairs of Lagrangians in symplecticExpand
Categorification of invariants in gauge theory and symplectic geometry
This is a mixture of survey article and research announcement. We discuss instanton Floer homology for 3 manifolds with boundary. We also discuss a categorification of the Lagrangian Floer theoryExpand
The Seiberg-Witten Equations on Manifolds with Boundary I: The Space of Monopoles and Their Boundary Values
In this paper, we study the Seiberg-Witten equations on a compact 3-manifold with boundary. Solutions to these equations are called monopoles. Under some simple topological assumptions, we show thatExpand
$SO(3)$-Floer homology of 3-manifolds with boundary 1
In this paper the author discuss the relation between Lagrangian Floer homology and Gauge-theory (Donaldson theory) Floer homology. It can be regarded as a version of Atiyah-Floer type conjecture inExpand
Instanton moduli spaces for 4-manifolds with periodic ends and an obstruction of embeddings in instanton Floer theory
We construct an obstruction for the existence of embeddings of homology $3$-sphere into homology $S^3\times S^1$ under some cohomological condition. The obstruction is defined as an element in theExpand
The Extended Topological Quantum Field Theory Of The Fukaya Category In Yang-Mills Theory
The Atiyah-Floer conjecture links symplectic topology and low-dimensional geometry. It claims that the DonaldsonFukaya categories of Atiyah-Bottmoduli spaces describe the behaviour of gauge-theoreticExpand
Elliptic Yang-Mills flow theory by Rémi Janner
We lay the foundations of a Morse homology on the space of connections on a principal G-bundle over a compact manifold Y , based on a newly defined gauge-invariant functional J . While the criticalExpand


Anti-self-dual instantons with Lagrangian boundary conditions
We consider a nonlocal boundary condition for anti-self-dual instantons on four-manifolds with a space-time splitting of the boundary. This boundary condition naturally arises from making theExpand
Anti-Self-Dual Instantons with Lagrangian Boundary Conditions I: Elliptic Theory
We study nonlocal Lagrangian boundary conditions for anti-self-dual instantons on 4-manifolds with a space-time splitting of the boundary. We establish the basic regularity and compactness propertiesExpand
Self-dual instantons and holomorphic curves
A gradient flow of a Morse function on a compact Riemannian manifold is said to be of Morse-Smale type if the stable and unstable manifolds of any two critical points intersect transversally. ForExpand
Anti-Self-Dual Instantons with Lagrangian Boundary Conditions II: Bubbling
We study bubbling phenomena of anti-self-dual instantons on where Σ is a closed Riemann surface. The instantons satisfy a global Lagrangian boundary condition on each boundary slice . The mainExpand
Lagrangian boundary conditions for anti-self-dual instantons and the Atiyah{\rm --}Floer conjecture}
The purpose of this survey is to explain an approach to the Atiyah-Floer conjecture via a new instanton Floer homology with Lagrangian boundary conditions. This is a joint project with DietmarExpand
The main purpose of this paper is to give a general regularity result for Cauchy–Riemann equations in complex Banach spaces with totally real boundary conditions. The usual elliptic Lp-regularityExpand
The eta-invariant, Maslov index, and spectral flow for Dirac-type operators on manifolds with boundary
Several proofs have been published of the Mod Z gluing formula for the eta-invariant of a Dirac operator. However, so far the integer contribution to the gluing formula for the eta-invariant is leftExpand
J-Holomorphic Curves and Symplectic Topology
The theory of $J$-holomorphic curves has been of great importance since its introduction by Gromov in 1985. In mathematics, its applications include many key results in symplectic topology. It wasExpand
Weak Symplectic Functional Analysis and General Spectral Flow Formula
We consider a continuous curve of self-adjoint Fredholm extensions of a curve of closed symmetric operators with fixed minimal domain $D_m$ and fixed {\it intermediate} domain $D_W$. Our main exampleExpand
Lagrangian Intersections, 3-Manifolds with Boundary, and the Atiyah-Floer Conjecture
It has been observed by physicists for a long time that symplectic structures arise naturally from boundary value problems. For example, the Robbin quotient $$V = {\text{dom}}D*/{\text{dom}}D,$$Expand