• We use quilted Floer theory to generalize Seidel's long exact sequence in symplectic Floer theory to fibered Dehn twists. We then apply it to construct versions of the Floer and Khovanov-Rozansky exact triangles in Lagrangian Floer theory of moduli spaces of bundles.
  • We construct partial category-valued field theories in (2+1)-dimensions using Lagrangian Floer theory in moduli spaces of central-curvature unitary connections with fixed determinant of rank r and degree d where r,d are coprime positive integers. These theories associate to a closed, connected, oriented surface the Fukaya category of the moduli space, and to a connected bordism between two surfaces a functor between the Fukaya categories. We obtain the latter by combining Cerf theory with holomorphic quilt invariants.
  • We establish a Gromov compactness theorem for strip shrinking in pseudoholomorphic quilts when composition of Lagrangian correspondences is immersed. In particular, we show that figure eight bubbling occurs in the limit, argue that this is a codimension-$0$ effect, and predict its algebraic consequences -- geometric composition extends to a curved $A_\infty$-bifunctor, in particular the associated Floer complexes are isomorphic after a figure eight correction of the bounding cochain. An appendix with Felix Schm\"{a}schke provides examples of nontrivial figure eight bubbles.
  • We construct orientations on moduli spaces of pseudoholomorphic quilts with seam conditions in Lagrangian correspondences equipped with relative spin structures and determine the effect of various gluing operations on the orientations. We also investigate the behavior of the orientations under composition of Lagrangian correspondences.
  • We give an equivalent definition of the Fredholm property for linear operators on scale Banach spaces and introduce a (nonlinear) scale Fredholm property with respect to a splitting of the domain. The latter implies the Fredholm property introduced by Hofer-Wysocki-Zehnder in terms of contraction germs, but is easier to check in practice and holds in applications to holomorphic curve moduli spaces. We demonstrate this at the example of trajectory breaking in Hamiltonian Floer theory.
  • Polyfold theory was developed by Hofer-Wysocki-Zehnder by finding commonalities in the analytic framework for a variety of geometric elliptic PDEs, in particular moduli spaces of pseudoholomorphic curves. It aims to systematically address the common difficulties of compactification and transversality with a new notion of smoothness on Banach spaces, new local models for differential geometry, and a nonlinear Fredholm theory in the new context. We shine meta-mathematical light on the bigger picture and core ideas of this theory. In addition, we compiled and condensed the core definitions and theorems of polyfold theory into a streamlined exposition, and outline their application at the example of Morse theory.
  • We use quilted Floer theory to construct functor-valued invariants of tangles arising from moduli spaces of flat bundles on punctured surfaces. As an application, we show the non-triviality of certain elements in the symplectic mapping class groups of moduli spaces of flat bundles on punctured spheres.
  • Floer field theory is a construction principle for e.g. 3-manifold invariants via decomposition in a bordism category and a functor to the symplectic category, and is conjectured to have natural 4-dimensional extensions. This survey provides an introduction to the categorical language for the construction and extension principles and provides the basic intuition for two gauge theoretic examples which conceptually frame Atiyah-Floer type conjectures in Donaldson theory as well as the relations of Heegaard Floer homology to Seiberg-Witten theory.
  • Kuranishi structures were introduced in the 1990s by Fukaya and Ono for the purpose of assigning a virtual cycle to moduli spaces of pseudoholomorphic curves that cannot be regularized by geometric methods. Starting from the same core idea (patching local finite dimensional reductions) we develop a theory of topological Kuranishi atlases and cobordisms that transparently resolves algebraic and topological challenges in this virtual regularization approach. It applies to any Kuranishi-type setting, e.g. atlases with isotropy, boundary and corners, or lack of differentiable structure.
  • Kuranishi structures were introduced in the 1990s by Fukaya and Ono for the purpose of assigning a virtual cycle to moduli spaces of pseudoholomorphic curves that cannot be regularized by geometric methods. Their core idea was to build such a cycle by patching local finite dimensional reductions, given by smooth sections that are equivariant under a finite isotropy group. Building on our notions of topological Kuranishi atlases and perturbation constructions in the case of trivial isotropy, we develop a theory of Kuranishi atlases and cobordisms that transparently resolves the challenges posed by nontrivial isotropy. We assign to a cobordism class of weak Kuranishi atlases both a virtual moduli cycle (VMC - a cobordism class of weighted branched manifolds) and a virtual fundamental class (VFC - a Cech homology class).
  • Kuranishi structures were introduced in the 1990s by Fukaya and Ono for the purpose of assigning a virtual cycle to moduli spaces of pseudoholomorphic curves that cannot be regularized by geometric methods. Their core idea was to build such a cycle by patching local finite dimensional reductions. The first sections of this paper discuss topological, algebraic and analytic challenges that arise in this program. We then develop a theory of Kuranishi atlases and cobordisms that transparently resolves these challenges, for simplicity concentrating on the case of trivial isotropy. In this case, we assign to a cobordism class of additive weak Kuranishi atlases both a virtual moduli cycle (VMC - a cobordism class of smooth manifolds) and a virtual fundamental class (VFC - a Cech homology class). We moreover show that such Kuranishi atlases exist on simple Gromov-Witten moduli spaces and develop the technical results in a manner that easily transfers to more general settings.
  • Kuranishi structures were introduced to symplectic topology by Fukaya and Ono and recently refined by Joyce, in order to extract homological data from compactified moduli spaces of holomorphic maps in cases where geometric regularization approaches such as perturbations of the almost complex structure do not yield a smooth structure on the moduli space. We give a general survey of regularization techniques in symplectic topology, pointing to some general analytic issues, and discussing some specific topological issues of the Kuranishi approach. In the main body of the paper we provide an abstract framework of Kuranishi atlases which separates the analytic and topological issues. Throughout, we focus on the most fundamental issues, which are already present in applying virtual transversality techniques to moduli spaces of holomorphic spheres without nodes or nontrivial isotropy. This is the reinstated 2013 version of this survey and sample construction. A generalized version of the topological theory is now available under 'The topology of Kuranishi atlases' arxiv:1508.01844, with the survey parts and VMC construction updated in 'The fundamental class of smooth Kuranishi atlases with trivial isotropy' arxiv:1508.01560.
  • We define relative Floer theoretic invariants arising from 'quilted pseudo-holomorphic surfaces': Collections of pseudoholomorphic maps to various target spaces with 'seam conditions' in Lagrangian correspondences. As application we construct a morphism on quantum homology associated to any monotone Lagrangian correspondence.
  • We give elementary constructions of manifold with corner structures and associative gluing maps on compactifications of spaces of infinite, half infinite, and finite Morse flow lines.
  • We fill a gap in the proof of the transversality result for quilted Floer trajectories in arXiv:0905.1370 by addressing trajectories for which some but not all components are constant. Namely we show that for generic sets of split Hamiltonian perturbations and split almost complex structures, the moduli spaces of parametrized quilted Floer trajectories of a given index are smooth of expected dimension. An additional benefit of the generic split Hamiltonian perturbations is that they perturb the given cyclic Lagrangian correspondence such that any geometric composition of its factors is transverse and hence immersed.
  • We prove an isomorphism of Floer cohomologies under geometric composition of Lagrangian correspondences in exact and monotone settings.
  • We generalize Lagrangian Floer cohomology to sequences of Lagrangian correspondences. For sequences related by the geometric composition of Lagrangian correspondences we establish an isomorphism of the Floer cohomologies. We give applications to calculations of Floer cohomology, displaceability of Lagrangian correspondences, and transfer of displaceability under geometric composition.
  • Using quilted Floer cohomology and relative quilt invariants, we define a composition functor for categories of Lagrangian correspondences in monotone and exact symplectic Floer theory. We show that this functor agrees with geometric composition in the case that the composition is smooth and embedded. As a consequence we obtain 'categorification commutes with composition' for Lagrangian correspondences.
  • We examine the $L^2$-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 pathwise connectedness and local uniform quasiconvexity of the gauge orbits. Using these, we generalize compactness results for anti-self-dual instantons with Lagrangian boundary counditions to general gauge invariant Lagrangian submanifolds. This provides the foundation for the construction of instanton Floer homology for pairs of a $3$-manifold with boundary and a Lagrangian in the configuration space over the boundary.
  • 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 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.
  • 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 Dietmar Salamon. This paper also provides a rough guide to the analysis of anti-self-dual instantons with Lagrangian boundary conditions (in earlier papers), which is the crucial ingredient of our approach.
  • We prove an energy identity for anti-self-dual connections on the product C\times\Sigma of the complex plane and a Riemann surface. The energy is a multiple of a basic constant that is determined from the values of a corresponding Chern-Simons functional on flat connections and its ambiguity under gauge transformations. For SU(2)-bundles this identity supports the conjecture that the finite energy anti-self-dual instantons correspond to holomorphic bundles over CP^1\times\Sigma. Such anti-self-dual instantons on SU(n)- and SO(3)-bundles arise in particular as bubbles in adiabatic limits occurring in the context of mirror symmetry and the Atiyah-Floer conjecture. Our identity proves a quantization of the energy of these bubbles that simplifies and strengthens the involved analysis.
  • We give a unified statement and proof of a class of wellknown mean value inequalities for nonnegative functions with a nonlinear bound on the Laplacian. We generalize these to domains with boundary, requiring a (possibly nonlinear) bound on the normal derivative at the boundary. These inequalities give rise to an energy quantization principle for sequences of solutions of boundary value problems that have bounded energy and whose energy densities satisfy nonlinear bounds on the Laplacian and normal derivative: One obtains local uniform bounds on the complement of finitely many points, where some minimum quantum of energy concentrates.
  • We study bubbling phenomena of anti-self-dual instantons on $\H^2\times\S$, where $\S$ is a closed Riemann surface. The restriction of the instanton to each boundary slice $\{z\}\times\S$, $z\in\pd\H^2$ is required to lie in a Lagrangian submanifold of the moduli space of flat connections over $\S$ that arises from the restrictions to the boundary of flat connections on a handle body. We establish an energy quantization result for sequences of instantons with bounded energy near $\{0\}\times\S$: Either their curvature is in fact uniformly bounded in a neighbourhood of that slice (leading to a compactness result) or there is a concentration of some minimum quantum of energy. We moreover obtain a removable singularity result for instantons with finite energy in a punctured neighbourhood of $\{0\}\times\S$. This completes the analytic foundations for the construction of an instanton Floer homology for 3-manifolds with boundary. This Floer homology is an intermediate object in the program proposed by Salamon for the proof of the Atiyah-Floer conjecture for homology-3-spheres. In the interior case, for anti-self-instantons on $\R^2\times\S$, our methods provide a new approach to the removable singularity theorem by Sibner-Sibner for codimension 2 singularities with a holonomy condition.
  • 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 $L^p$-regularity results hold true under one crucial assumption: The totally real submanifold has to be modelled on an $L^p$-space or a closed subspace thereof. Secondly, we describe a class of examples of such totally real submanifolds, namely gauge invariant Lagrangian submanifolds in the space of connections over a Riemann surface. These pose natural boundary conditions for the anti-self-duality equation on 4-manifolds with a boundary space-time splitting, leading towards the definition of a Floer homology for 3-manifolds with boundary, which is the first step in a program by Salamon for the proof of the Atiyah-Floer conjecture. The principal part of such a boundary value problem is an example of a Banach space valued Cauchy-Riemann equation with totally real boundary condition.