Georgia Institute of Technology College of Sciences

The Seiberg-Witten equations, introduced by Edward Witten in 1994, are a first-order semilinear geometric PDE that have led to manyimportant developments in low-dimensional topology. In this talk,we study these equations on cylindrical 4-manifolds with boundary, which we supplement with (Lagrangian) boundary conditions that have a natural Morse-Floer theoretic interpretation. These boundary conditions, however, are nonlinear and nonlocal, and so the resulting PDE is highlyunusual and nontrivial. After motivating and describing the underlying geometry for the Seiberg-Witten equations with Lagrangian boundary conditions, we discuss some of the intricate analysis involved in establishing elliptic regularity for these equations, including tools from the pseudodifferential analysis ofelliptic boundary value problems and nonlinear functional analysis.