English

Complex cobordism, Hamiltonian loops and global Kuranishi charts

Symplectic Geometry 2021-11-11 v2 Algebraic Geometry Algebraic Topology

Abstract

Let (X,ω)(X,\omega) be a closed symplectic manifold. A loop ϕ:S1Diff(X)\phi: S^1 \to \mathrm{Diff}(X) of diffeomorphisms of XX defines a fibration π:PϕS2\pi: P_{\phi} \to S^2. By applying Gromov-Witten theory to moduli spaces of holomorphic sections of π\pi, Lalonde, McDuff and Polterovich proved that if ϕ\phi lifts to the Hamiltonian group Ham(X,ω)\mathrm{Ham}(X,\omega), then the rational cohomology of PϕP_{\phi} splits additively. We prove, with the same assumptions, that the E\mathbb{E}-generalised cohomology of PϕP_{\phi} splits additively for any complex-oriented cohomology theory E\mathbb{E}, in particular the integral cohomology splits. This class of examples includes all complex projective varieties equipped with a smooth morphism to CP1\mathbb{CP}^1, in which case the analogous rational result was proved by Deligne using Hodge theory. The argument employs virtual fundamental cycles of moduli spaces of sections of π\pi in Morava KK-theory and results from chromatic homotopy theory. Our proof involves a construction of independent interest: we build global Kuranishi charts for moduli spaces of pseudo-holomorphic spheres in XX in a class βH2(X;Z)\beta \in H_2(X;\mathbb{Z}), depending on a choice of integral symplectic form Ω\Omega on XX and ample Hermitian line bundle over the moduli space of one-pointed degree d=Ω,βd = \langle \Omega,\beta\rangle stable genus zero curves in CPd\mathbb{CP}^d.

Keywords

Cite

@article{arxiv.2110.14320,
  title  = {Complex cobordism, Hamiltonian loops and global Kuranishi charts},
  author = {Mohammed Abouzaid and Mark McLean and Ivan Smith},
  journal= {arXiv preprint arXiv:2110.14320},
  year   = {2021}
}

Comments

67 pages. v2 corrects an error in the construction of global charts (the main results are unaffected)