
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 KhovanovRozansky exact triangles in Lagrangian Floer
theory of moduli spaces of bundles.

We construct partial categoryvalued field theories in (2+1)dimensions using
Lagrangian Floer theory in moduli spaces of centralcurvature 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 HoferWysockiZehnder 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 HoferWysockiZehnder 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 metamathematical 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 functorvalued invariants of tangles
arising from moduli spaces of flat bundles on punctured surfaces. As an
application, we show the nontriviality 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. 3manifold invariants
via decomposition in a bordism category and a functor to the symplectic
category, and is conjectured to have natural 4dimensional 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 AtiyahFloer type conjectures
in Donaldson theory as well as the relations of Heegaard Floer homology to
SeibergWitten 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 Kuranishitype 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
GromovWitten 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
pseudoholomorphic 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 divcurl Lemma of
harmonic analysis, and deduce local pathwise connectedness and local uniform
quasiconvexity of the gauge orbits. Using these, we generalize compactness
results for antiselfdual 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 3manifold 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 3manifold and the handle
bodies is an integral homology 3sphere. The motivation for introducing these
invariants arises from our program for a proof of the AtiyahFloer conjecture
for Heegaard splittings. We expect that our Floer homology groups are
isomorphic to the usual Floer homology groups of the closed 3manifold 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 AtiyahFloer
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 antiselfdual instantons with
Lagrangian boundary conditions (in earlier papers), which is the crucial
ingredient of our approach.

We prove an energy identity for antiselfdual 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 ChernSimons functional on flat connections and its ambiguity
under gauge transformations. For SU(2)bundles this identity supports the
conjecture that the finite energy antiselfdual instantons correspond to
holomorphic bundles over CP^1\times\Sigma. Such antiselfdual 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 AtiyahFloer 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 antiselfdual 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
3manifolds with boundary. This Floer homology is an intermediate object in the
program proposed by Salamon for the proof of the AtiyahFloer conjecture for
homology3spheres.
In the interior case, for antiselfinstantons on $\R^2\times\S$, our methods
provide a new approach to the removable singularity theorem by SibnerSibner
for codimension 2 singularities with a holonomy condition.

The main purpose of this paper is to give a general regularity result for
CauchyRiemann 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
antiselfduality equation on 4manifolds with a boundary spacetime splitting,
leading towards the definition of a Floer homology for 3manifolds with
boundary, which is the first step in a program by Salamon for the proof of the
AtiyahFloer conjecture. The principal part of such a boundary value problem is
an example of a Banach space valued CauchyRiemann equation with totally real
boundary condition.