Gromov-Witten invariants in complex and Morava-local $K$-theories

Mohammed Abouzaid,Mark McLean,Ivan Smith
2024-07-17
Abstract:Given a closed symplectic manifold $X$, we construct Gromov-Witten-type invariants valued both in (complex) $K$-theory and in any complex-oriented cohomology theory $\mathbb{K}$ which is $K_p(n)$-local for some Morava $K$-theory $K_p(n)$. We show that these invariants satisfy a version of the Kontsevich-Manin axioms, extending Givental and Lee's work for the quantum $K$-theory of complex projective algebraic varieties. In particular, we prove a Gromov-Witten type splitting axiom, and hence define quantum $K$-theory and quantum $\mathbb{K}$-theory as commutative deformations of the corresponding (generalised) cohomology rings of $X$; the definition of the quantum product involves the formal group of the underlying cohomology theory. The key geometric input to these results is a construction of global Kuranishi charts for moduli spaces of stable maps of arbitrary genus to $X$. On the algebraic side, in order to establish a common framework covering both ordinary $K$-theory and $K_p(n)$-local theories, we introduce a formalism of `counting theories' for enumerative invariants on a category of global Kuranishi charts.
Symplectic Geometry,Algebraic Geometry
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct a new type of Gromov - Witten invariants. These invariants take values not only in complex K - theory but also in any complex oriented cohomology theory localized by Morava K - theory \(K_p(n)\). Specifically, the authors' goals are: 1. **Construct Gromov - Witten - type invariants**: - Given a closed symplectic manifold \(X\), the authors construct a class of Gromov - Witten - type invariants that take values in complex K - theory and any complex oriented cohomology theory \(K\) localized by Morava K - theory \(K_p(n)\). - These invariants satisfy a version of the Kontsevich - Manin axioms, extending the work of Givental and Lee in the quantum K - theory of complex projective algebraic varieties. 2. **Define quantum K - theory**: - The authors prove a Gromov - Witten - type splitting axiom and thereby define quantum K - theory as a commutative deformation of the corresponding (generalized) cohomology ring of \(X\). - The definition of the quantum product involves the formal group of the underlying cohomology theory. 3. **Geometric input**: - The crucial geometric input is to construct global Kuranishi diagrams of moduli spaces corresponding to stable maps of arbitrary genus to \(X\). 4. **Algebraic framework**: - To establish a common framework covering ordinary K - theory and \(K_p(n)\) - local theories, the authors introduce a formalism of "counting theory" for defining enumerative invariants on the category of global Kuranishi diagrams. Through these goals, the authors hope to provide a new tool for studying Gromov - Witten invariants on symplectic manifolds, and these tools can be applied in a broader range of cohomology theories.