Polyfolds (Hofer-Wysocki-Zehnder)

Advanced results Master

Polyfold theory is an abstract analytic framework for moduli spaces whose compactifications contain broken, bubbled, or nodal objects. Its purpose is not to create a new invariant by itself. It supplies a common Fredholm and perturbation language for the moduli spaces that already occur in symplectic field theory, Gromov-Witten theory, Floer theory, and related gauge-theoretic settings.

The recurring problem is familiar from instanton Floer theory 03.07.23, relative Donaldson theory 03.07.24, and the Atiyah-Floer bridge 03.07.26. A moduli space is expected to be cut out by an elliptic equation, so locally it should behave like the zero set of a Fredholm section. But compactness forces one to add boundary strata of broken trajectories or bubbled curves. Near those strata, standard Banach-manifold charts often fail to make gluing and reparametrization simultaneously smooth in the ordinary sense.

Hofer, Wysocki, and Zehnder's idea is to change the ambient smooth calculus. Instead of ordinary Banach manifolds, one uses scale Banach spaces and sc-smooth maps. The scale records improving regularity levels, so operations that are not classically smooth on one Banach level can become smooth as maps between a hierarchy of levels. Retractions, groupoid charts, and sc-Fredholm sections then model moduli spaces whose local shape includes gluing parameters, quotient symmetries, and corners.

In this language, a compactified moduli problem is encoded as the zero set of a Fredholm section over a polyfold or polyfold bundle. Abstract perturbation theory then aims to produce a transverse perturbed section whose zero set is an oriented, weighted, branched object of the expected dimension. Counts and cobordism classes extracted from those perturbed zero sets can define invariants, provided the original geometric problem fits the polyfold axioms.

The point for gauge and Floer theory is organizational. Traditional treatments prove compactness, gluing, transversality, orientation, and invariance separately for each theory. Polyfold theory tries to isolate a reusable analytic core: once the relevant moduli problem is placed inside the polyfold Fredholm package, the perturbation and invariance machinery is meant to follow from the abstract theorem.

This does not remove the geometric work. To use polyfolds, one still has to build the correct ambient object, verify sc-smoothness of the nonlinear section, prove the Fredholm property, understand isotropy, orient the determinant data, and show that the compactified moduli space is represented by the zero set. Those verification steps are often the hardest part of an application.

The first major applications emphasized pseudoholomorphic curves and Gromov-Witten-type compactifications ^{[Hofer-Wysocki-Zehnder Applications]}. The same motivation is present in symplectic field theory, where broken buildings and multiple levels make classical transversality especially delicate. In instanton and monopole Floer settings, the analogous compactification phenomena involve broken trajectories, reducibles, and gluing along cylindrical ends rather than holomorphic buildings, but the structural pressure is similar.

For this curriculum strand, polyfolds function as a modern landscape pointer. Donaldson-Floer theory can be taught through the classical analytic package of transversality, compactness, gluing, and orientations. Polyfold theory names a later attempt to package that type of analysis across multiple Floer theories. It is therefore best read here as a unifying framework, not as a prerequisite for constructing the instanton Floer groups already defined earlier.

Synthesis. The foundational reason polyfolds matter is that many geometric invariants are counts of solutions in compactified moduli spaces, and compactification changes the local smooth structure. The central insight of Hofer-Wysocki-Zehnder is that the smooth calculus should be adapted to the way gluing and regularity actually behave. In the gauge-theory strand, this explains why the analytic chores behind 03.07.20, 03.07.21, 03.07.22, and 03.07.26 are not isolated technicalities but instances of a general Fredholm-with-compactification problem.

Connections Master

• Uhlenbeck compactness for ASD equations on cylinders 03.07.20. Compactness is one of the pressures that motivates abstract perturbation frameworks.

• Gluing theorem for instanton trajectories 03.07.21. Gluing parameters and broken trajectories are exactly the kind of local structure polyfold charts are designed to encode.

• Orientations on instanton trajectory moduli 03.07.22. Any abstract perturbation framework must preserve determinant-line orientation data to produce signed counts.

• Atiyah-Floer conjecture 03.07.26. The conjecture exposes a comparison problem between gauge and symplectic moduli spaces, where unified analytic language is especially attractive.

• Floer homology in symplectic geometry 05.08.02. Polyfolds were developed most visibly around pseudoholomorphic-curve and symplectic Floer moduli spaces.

Historical & philosophical context Master

The modern Floer-theoretic invariants of the 1980s and 1990s were built by proving compactness, transversality, gluing, and orientation results theory by theory. This was effective but expensive: each new invariant carried its own analytic foundations.

Hofer, Wysocki, and Zehnder developed polyfold theory to address this repeated analytic burden in a systematic way. Their 2017 AMS memoir applies polyfold ideas to Gromov-Witten-type moduli spaces ^{[Hofer-Wysocki-Zehnder Applications]}, while the broader reference volume presents the general Fredholm framework ^{[Hofer-Wysocki-Zehnder Polyfold]}.

Surveys such as Fabert-Fish-Golovko-Wehrheim explain the motivation for non-specialists: compactified moduli spaces often look like Fredholm zero sets only after one changes the surrounding calculus ^{[Fabert-Fish-Golovko-Wehrheim]}. Wehrheim's work on smooth structures for Morse trajectory spaces is part of the adjacent effort to make gluing-compatible smooth structures explicit in Floer-type settings ^[Wehrheim].

Philosophically, polyfolds express a shift from solving every transversality problem by hand to building a general language for moduli spaces with degeneration. The price is abstraction; the payoff is the possibility of a common analytic grammar for invariants that otherwise appear separately as instanton, monopole, Hamiltonian, Lagrangian, contact, or Gromov-Witten theories.

Bibliography Master

@book{HoferWysockiZehnder2021Polyfold,
  author = {Hofer, Helmut and Wysocki, Krzysztof and Zehnder, Eduard},
  title = {Polyfold and Fredholm Theory},
  series = {Ergebnisse der Mathematik und ihrer Grenzgebiete},
  volume = {72},
  publisher = {Springer},
  year = {2021}
}

@article{HoferWysockiZehnder2017Applications,
  author = {Hofer, Helmut and Wysocki, Krzysztof and Zehnder, Eduard},
  title = {Applications of Polyfold Theory I: The Polyfolds of Gromov-Witten Theory},
  journal = {Memoirs of the American Mathematical Society},
  volume = {248},
  number = {1179},
  year = {2017}
}

@article{FabertFishGolovkoWehrheim2016,
  author = {Fabert, Oliver and Fish, Joel and Golovko, Roman and Wehrheim, Katrin},
  title = {Polyfolds: A first and second look},
  journal = {EMS Surveys in Mathematical Sciences},
  volume = {3},
  pages = {131--208},
  year = {2016}
}

@article{Wehrheim2008MorseTrajectorySpaces,
  author = {Wehrheim, Katrin},
  title = {Smooth structures on Morse trajectory spaces, featuring finite ends and associative gluing},
  journal = {Geometry and Topology},
  volume = {12},
  pages = {369--450},
  year = {2008}
}