English

Global Fukaya category I

Symplectic Geometry 2023-01-20 v7 Mathematical Physics Algebraic Topology Differential Geometry math.MP

Abstract

Let Ham(M,ω)Ham (M,\omega ) denote the Frechet Lie group of Hamiltonian symplectomorphisms of a monotone symplectic manifold (M,ω)(M, \omega) . Let NFuk(M,ω)NFuk (M, \omega) be the AA _{\infty} -nerve of the Fukaya category Fuk(M,ω)Fuk (M, \omega), and let (S,NFuk(M,ω))(|\mathbb{S}|, NFuk (M, \omega)) denote the NFuk(M,ω)NFuk (M, \omega) component of the ``space of \infty-categories'' S|\mathbb{S}| . Using Floer-Fukaya theory for a monotone (M,ω)(M, \omega) we construct a natural up to homotopy classifying map \begin{equation*} BHam (M, \omega) \to (|\mathbb{S}|, NFuk (M, \omega)). \end{equation*} This verifies one sense of a conjecture of Teleman on existence of action of Ham(M,ω)Ham (M , \omega) on the Fukaya category of (M,ω)(M, \omega ) . This construction is very closely related to the theory of the Seidel homomorphism and the quantum characteristic classes of the author, and this map is intended to be the deepest expression of their underlying geometric theory. In part II the above map is shown to be nontrivial by an explicit calculation. In particular, we arrive at a new non-trivial ``quantum'' invariant of any smooth manifold, which motives the statement of a kind of ``quantum'' Novikov conjecture.

Keywords

Cite

@article{arxiv.1307.3991,
  title  = {Global Fukaya category I},
  author = {Yasha Savelyev},
  journal= {arXiv preprint arXiv:1307.3991},
  year   = {2023}
}

Comments

To appear in IMRN, 61 pages

R2 v1 2026-06-22T00:51:40.914Z