arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0707.3572

Kuranishi homology and Kuranishi cohomology

Dominic Joyce
View original source ↗Read source document ↗Export metadata ↓

Abstract

A Kuranishi space is a topological space with a Kuranishi structure, defined by Fukaya and Ono. Kuranishi structures occur naturally on moduli spaces of J-holomorphic curves in symplectic geometry. Let Y be an orbifold and R a commutative ring or Q-algebra. We define two kinds of Kuranishi homology KH_*(Y;R). The chain complex KC_*(Y;R) defining KH_*(Y;R) is spanned over R by [X,f,G], for X a compact oriented Kuranishi space with corners, f : X --> Y smooth, and G "gauge-fixing data" which makes Aut(X,f,G) finite. Our main result is that these are isomorphic to singular homology. We define Poincare dual Kuranishi cohomology, isomorphic to compactly-supported cohomology. We define five kinds of Kuranishi (co)bordism spanned by isomorphism classes[X,f] for X a compact oriented Kuranishi space without boundary and f : X --> Y smooth. They are new topological invariants, and we show they are very large. These theories are powerful new tools in symplectic geometry. Defining virtual cycles and chains for moduli spaces of J-holomorphic curves is trivial in Kuranishi (co)homology. There is no need to perturb moduli spaces, and no problems with transversality. This gives major simplifications in Lagrangian Floer cohomology. We define new Gromov-Witten type invariants in Kuranishi bordism, over Z not Q. We sketch how these may be used to prove the integrality conjecture for Gopakumar-Vafa invariants. This paper is surveyed in arXiv:0710.5634.

Explore related subjects

math.SG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dominic Joyce. 2008-10-22. Kuranishi homology and Kuranishi cohomology. https://arxiv.org/abs/0707.3572

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗