Floer theory beyond Floer (FloerPlus35)

Lead Research Organisation: UNIVERSITY OF CAMBRIDGE
Department Name: Pure Maths and Mathematical Statistics

Abstract

The holomorphic curve theory of Gromov and Floer, introduced 35 years ago, revolutionised all aspects of symplectic topology. Floer cohomology now incorporates many of the algebraic structures present in ordinary cohomology: ring structures, exact triangles, equivariant cousins, Steenrod operations. The construction of these holomorphic curve invariants in general relies on difficult virtual perturbation methods. In the last years, new techniques from algebraic geometry, via mirror symmetry, and separately from stable homotopy theory, have entered the subject. This proposal is centred on developing one central idea in each of these new themes.

With Abouzaid and McLean, the PI is developing a theory of global Kuranishi charts, a new approach to genus zero curve theory bypassing many of the usual technicalities. Combining these with input from chromatic homotopy theory yields fundamentally new symplectic invariants, adapted to the orbifold nature of holomorphic curve moduli spaces. We will use these to build symplectic quantum (Morava) K-theory, with applications to Hamiltonian fibrations, products, blow-ups and exotic symplectic structures. Separately, with Sheridan, the PI initiated a program to study Lagrangian cobordism via the theory of rational equivalence of algebraic cycles on the mirror. This suggests constraints on the existence of unobstructed Lagrangians coming from Chow group computations, mirroring `counterexamples to the Hodge conjecture'. In both strands, the need to keep track of torsion information necessitates using frameworks going beyond classical holomorphic curve invariants.

Publications

10 25 50
publication icon
Abouzaid M (2024) Gromov-Witten Invariants in Complex and Morava-Local K-Theories in Geometric and Functional Analysis

publication icon
Keating A (2025) Symplectomorphisms and spherical objects in the conifold smoothing in Compositio Mathematica

 
Description A fundamental question in dynamics asks whether `random' or `typical' maps have a dense set of periodic points. This is formalised using the idea of a `closing Lemma'. With Mak and Seyfaddini we have a new proof of the positive answer to this question for area-preserving maps of the two-dimensional sphere. Unlike existing arguments, our template method (based on `spectral invariants' on symmetric product spaces) has a chance of generalising to prove results in higher dimensions.

Enumerative invariants in geometry, counting numbers of curves through a set of points (for instance), satisfy remarkable identities which bind together the invariants for different types of curve and sets of constraints. Usually these identities only hold if you count `with rational weights', but recent advances connecting geometry and homotopy theory mean that we can now study enumerative theories counting modulo a chosen prime number p (strictly, over Morava K-theories, which are a topological cousin of finite characteristic fields like the integers modulo p). Achieving a significant milestone for the project, with Abouzaid and McLean we defined enumerative invariants in this new setting, and proved they satisfied versions of the `remarkable identities'. In the new framework, counts of curves in one class are not finite sums of counts in other classes, but certain infinite power series depending on an underlying `formal group' (a kind of infinitesimal symmetry of the whole theory). These results verify longstanding expectations from theoretical physics and mirror symmetry.
Exploitation Route We hope our constructions will be of wide use in Floer theory and dynamics.
Sectors Other