Some new homology and cohomology theories of manifolds and orbifolds

Abstract

For each manifold or effective orbifold $Y$ and commutative ring $R$, we define a new homology theory $M{H}_{\ast }(Y;R)$, $M$-$homology$, and a new cohomology theory $M{H}^{\ast }(Y;R)$, $M$-$cohomology$. For $M{H}_{\ast }(Y;R)$ the chain complex $(M{C}_{\ast }(Y;R),\partial )$ is generated by quadruples $[V,n,s,t]$ satisfying relations, where $V$ is an oriented manifold with corners, $n\in \mathbb{N}$, and $s:V\to {\mathbb{R}}^n$, $t:V\to Y$ are smooth with $s$ proper near 0 in ${\mathbb{R}}^n$. We show that $M{H}_{\ast }(Y;R),M{H}^{\ast }(Y;R)$ satisfy the Eilenberg-Steenrod axioms, and so are canonically isomorphic to conventional (co)homology. The usual operations on (co)homology -- pushforwards $f_{\ast }$, pullbacks $f^{\ast }$, fundamental classes $[Y]$ for compact oriented $Y$, cup, cap and cross products $\cup ,\cap ,\times$ -- are all defined and well-behaved at the (co)chain level. Chains $M{C}_{\ast }(Y;R)$ form flabby cosheaves on $Y$, and cochains $M{C}^{\ast }(Y;R)$ form soft sheaves on $Y$, so they have good gluing properties. We also define $compactly$-$supported$ $M$-$cohomology$ $M{H}_{cs}^{\ast }(Y;R)$, $locally$ $finite$ $M$-$homology$ $M{H}_{\ast }^{lf}(Y;R)$ (a kind of Borel-Moore homology), and two variations on the entire theory, $rational$ $M$-($co$)$homology$ and $de$ $Rham$ $M$-($co$)$homology$. All of these are canonically isomorphic to the corresponding type of conventional (co)homology. The reason for doing this is that our M-(co)homology theories are very well behaved at the (co)chain level, and will be better than other (co)homology theories for some purposes, particularly in problems involving transversality. In a sequel we will construct virtual classes and virtual chains for Kuranishi spaces in M-(co)homology, with a view to applications of M-(co)homology in areas of Symplectic Geometry involving moduli spaces of $J$-holomorphic curves.

232 pages, LaTeX

References in corpus (7)

• Topological and Smooth Stacks
• Technical details on Kuranishi structure and virtual fundamental chain
• Kuranishi homology and Kuranishi cohomology
• Polyfold and Fredholm Theory I: Basic Theory in M-Polyfolds
• A new definition of Kuranishi space
• The polyfold--Kuranishi correspondence I: A choice-independent theory of Kuranishi structures
• Kuranishi homology and Kuranishi cohomology: a User's Guide

Cited by in corpus (1)

• Flowing from intersection product to cup product