Search arXivSearch

arXiv · 2112.12368

Construction of a linear K-system in Hamiltonian Floer theory

Abstract

The notion of linear K-system is introduced by the present authors as an abstract model arising from the structure of compactified moduli spaces of solutions to Floer's equation in the book [FOOO14]. The purpose of the present article is to provide a geometric realization of the linear K-system associated with solutions to Floer's equation in the Morse-Bott setting. Immediate consequences (when combined with the abstract theory from [FOOO14]) are construction of Floer cohomology for periodic Hamiltonian system on general compact symplectic manifold without any restriction, and construction of an isomorphism over the Novikov ring between the Floer cohomology and the singular cohomology of the underlying symplectic manifold. The present article utilizes various analytical results on pseudo-holomorphic curves established in our earlier papers and books. However the paper itself is geometric in nature, and does not presume the readers' prior knowledge much on Kuranishi structure and its construction but assumes only the elementary part of thereof, and results from [FOOO11] and [FOOO,Chapter 8] on its construction, and the standard knowledge on Hamiltonian Floer theory. We explain the general procedure of the construction of a linear K-system by explaining in detail the inductive steps of ensuring the compatibility conditions for the system of Kuranishi structures leading to a linear K-system for the case of Hamiltonian Floer theory. A certain minor errors are corrected in this version. (to appear in the special volume dedicated to Claude Viterbo of Journal of Fixed Point Theory and Applications.)

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, Kaoru Ono. 2022-02-05. Construction of a linear K-system in Hamiltonian Floer theory. https://arxiv.org/abs/2112.12368

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Surjectivity of real-linear Cauchy--Riemann operators: from the minimal Harder--Narasimhan slope to automatic transversality

This paper relates the minimal Harder--Narasimhan slope to the surjectivity of real-linear Cauchy--Riemann operators. We establish a conformally invariant $L^2$ criterion and an asymptotic slope criterion, which yield higher-rank automatic transversality criteria for pseudoholomorphic curves beyond the classical rank-one framework. Applications to pseudoholomorphic spheres in $S^6$ provide quantitative $L^2$ obstructions to the integrability of almost complex structures.

math.SG

Welschinger invariants and the Conway polynomial

Welschinger showed that counts of connected holomorphic disks with Lagrangian boundary in symplectic 6-manifolds, meeting at least one boundary constraint, can be made invariant by correcting them with counts of disconnected disks weighted by certain "self-linking" numbers. We show his invariant is the lowest order term in an all-genus curve count where curves are weighted by the Conway polynomials of their boundaries. This in turn is a specialization of the skein-valued curve count, but can be defined without the 4-chain and vector field used in that setup.

math.SG

KAM splittings and equidistributed periodic orbits for stable hypersurfaces

We show that any stable hypersurface of a symplectic $4$-manifold, on which the cohomology class of the symplectic form restricts to a multiple of a rational class, can be $C^\infty$-approximated by (possibly unstable) hypersurfaces whose closed characteristics equidistribute. The cohomological condition is necessary due to a famous example of Herman. The proof combines KAM theory with recent quantitative closing lemmas for Reeb flows and area-preserving maps. As a further application, we prove that every geodesible volume-preserving vector field on a closed three-manifold can be $C^\infty$-approximated by volume-preserving vector fields with equidistributed periodic orbits.

math.SG