Search arXivSearch

arXiv · 2404.02776

Recovering generalized homology from Floer homology: the complex oriented case

Abstract

We associate an invariant called the completed Tate cohomology to a filtered circle-equivariant spectrum and a complex oriented cohomology theory. We show that when the filtered spectrum is the spectral symplectic cohomology of a Liouville manifold, this invariant depends only on the stable homotopy type of the underlying manifold. We make explicit computations for several complex oriented cohomology theories, including Eilenberg-Maclane spectra, Morava K-theories, their integral counterparts, and complex K-theory. We show that the result for Eilenberg-Maclane spectra depends only on the rational homology, and we use the computations for Morava K-theory to recover the integral homology (as an ungraded group). In a different direction, we use the completed Tate cohomology computations for the complex K-theory to recover the complex K-theory of the underlying manifold from its equivariant filtered Floer homotopy type. A key Floer theoretic input is the computation of local equivariant Floer theory near the orbit of an autonomous Hamiltonian, which may be of independent interest.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Laurent Côté, Yusuf Barış Kartal. 2025-10-09. Recovering generalized homology from Floer homology: the complex oriented case. https://arxiv.org/abs/2404.02776

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