Kuranishi homology and Kuranishi cohomology
arXiv:0707.3572
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.
arXiv comment(v5) 290 pages. New material added
References in corpus (17)
- A New Cohomology Theory for Orbifold
- Curve counting via stable pairs in the derived category
- Mirror Symmetry, D-Branes and Counting Holomorphic Discs
- Virtual moduli cycles and Gromov-Witten invariants of general symplectic manifolds
- Stable pairs and BPS invariants
- Intersection theory on the moduli space of holomorphic curves with Lagrangian boundary conditions
- Hodge integrals and degenerate contributions
- Enumerative geometry of Calabi-Yau 4-folds
- Moduli of J-Holomorphic Curves with Lagrangian Boundary Conditions and Open Gromov-Witten Invariants for an -Equivariant Pair
- A biased view of symplectic cohomology
- A General Fredholm Theory II: Implicit Function Theorems
- Integration Theory for Zero Sets of Polyfold Fredholm Sections
- A General Fredholm Theory and Applications
- Enumerative invariants of stongly semipositive real symplectic six-manifolds
- Kuranishi homology and Kuranishi cohomology: a User's Guide
- Enumerative Geometry of Calabi-Yau 5-Folds
- On the counting of holomorphic discs in toric Fano manifolds
Cited by in corpus (18)
- 13/2 ways of counting curves
- Virtual neighborhood technique for pseudo-holomorphic spheres
- A natural Gromov-Witten virtual fundamental class
- Relative quantum cohomology
- Point-like bounding chains in open Gromov-Witten theory
- D-manifolds, d-orbifolds and derived differential geometry: a detailed summary
- Open Gromov-Witten theory on Calabi-Yau three-folds II
- A new definition of Kuranishi space
- The polyfold--Kuranishi correspondence I: A choice-independent theory of Kuranishi structures
- An invariant of link cobordisms from symplectic Khovanov homology
- Kuranishi homology and Kuranishi cohomology: a User's Guide
- The topology of Kuranishi atlases
- Floer homology of Lagrangian submanifolds
- Some new homology and cohomology theories of manifolds and orbifolds
- The odd origin of Gerstenhaber brackets, Batalin-Vilkovisky operators, and master equations
- Virtual cycles of gauged Witten equation
- Floer cohomology and pencils of quadrics
- Seidel Representation for Symplectic Orbifolds