Relating VFCs on thin compactifications

DOI10.1007/S00208-019-01861-0MaRDI QIDQ2324869zbMATH OpenOpenAlexFDO

Authors Thomas H. Parker, Eleny-Nicoleta Ionel

Publication date 12 September 2019

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1807.10326

Cech homology Fredholm map gauge theory moduli spaces orbifolds relative fundamental class symplectic Gromov-Witten theory thin compactification virtual fundamental class

Mathematics Subject Classification ID

Symplectic structures of moduli spaces (53D30) Gromov-Witten invariants, quantum cohomology, Frobenius manifolds (53D45) ?ech types (55N05) Moduli problems for differential geometric structures (58D27)

Abstract: Many moduli spaces that occur in geometric analysis admit "Fredholm-stratified thin compactifications" in the sense of [IP1] and hence admit a relative fundamental class (RFC), also as defined in [IP1]. We extend these results, emphasizing the naturality of the RFC, eliminating the need for a stratification, and proving three compatibility results: the invariants defined by the RFC agree with those defined by pseudo-cycles, the RFC is compatible with cutdown moduli spaces, and the RFC agrees with the virtual fundamental class (VFC) constructed by J. Pardon via implicit atlases in all cases where both are defined.

Review text

In [J. Symplectic Geom. 17, No. 3, 703--752 (2019; Zbl 1467.53094)], the present authors used homology theories, including Steenrod and \(\check{\textrm{C}}\)ech homology, to define a relative fundamental homology class of a topological manifold \(M\) that has a thin compactification \(\overline{M} = M \cup S\), and they showed that their approach to fundamental classes applies to many of the moduli spaces studied in gauge theory and Gromov-Witten theory. A thin compactification of oriented \(d\)-dimensional topological manifold \(M\) is a compact Hausdorff space \(\overline M\) containing \(M\) such that \(S=\overline{M}\setminus M\) is a closed subset of codimension 2 in Steenrod homology \({}^SH_k(S)=0\), \(k>d-2\). There is an isomorphism \(\rho_M:{}^SH_d(\overline M;G)\to{}^SH_d(M;G)\) for any abelian coefficient group \(G\), where the fundamental class \([M]\) extends uniquely to a class of \(\left[\overline{M}\right]\in{}^SH_d(\overline M;G)\) by \(\rho_M\left[\overline{M}\right]=[M]\). By considering the moduli space \(\mathcal{M}\) of all pairs \((\varphi,p)\), where \(\varphi\) is a solution, modulo gauge, of some family of non-linear elliptic partial differential equations parameterized by the elements \(p\) in a Banach space \(\mathcal{P}\). The space \(\mathcal{M}\) embeds in one or more compactifications \(\overline{\mathcal{M}}\) such that \(\mathcal{M}\hookrightarrow\overline{\mathcal{M}}\), \(\overline{\pi}:\overline{\mathcal{M}}\to\overline{\mathcal{M}}\), and \(\pi:\overline{\mathcal{M}}\to\overline{\mathcal{M}}\), where \(\pi\) is differentiable and \(\overline{\pi}\) is proper and continuous. This determines an entire category \(\overline{\mathcal{M}}_\sigma\to\overline{\mathcal{M}}\) where \(\sigma\) is a proper continuous map from a path-connected space. The authors defined a relative fundamental class as a functor on this category associating a \(\check{\textrm{C}}\)ech homology class \(\left[\overline{\mathcal{M}}_\sigma\right]^{\text{rfc}}\in\check{\mathrm{H}}_*\left(\overline{\mathcal{M}}_\sigma\right)\) that satisfies a normalization condition. The normalization consists of the requirement that, for a dense set of \(p\in\mathcal{P}\), the fiber \(\overline{\mathcal{M}}_p=\pi^{-1}(p)\) over \(p\) is a thinly compactified manifold and that, taking \(\sigma\) to be the inclusion of \(p\), \(\left[\overline{\mathcal{M}}_p\right]^{\text{rfc}}\) is the fundamental class \(\left[\overline{\mathcal{M}}_p\right]\). The main result of the paper was the existence of a relative fundamental class under the assumption that it is a Fredholm stratified thin compatification. In this paper, the authors strengthen the existence result by replacing the stratification requirement by a covering condition which is much easier to show in applications. There are several existing and proposed methods of defining invariants in geometric analysis approaches to Gromov-Witten theory and other gauge theories. Some of these involve constructing a virtual fundamental class (VFC) similar to the relative fundamental class (RFC). The authors consider three (i) the standard definition using pseudo-cycles, (ii) the signed count of elements in a 0-dimensional cutdown moduli space, and (iii) the VFC defined by \textit{J. Pardon} in [Geom. Topol. 20, No. 2, 779--1034 (2016; Zbl 1342.53109)], and they prove three compatibility results. First, the authors extend the above results on the existence of a relative fundamental class. The construction involves a combination of Steenrod and \(\check{\textrm{C}}\)ech homologies, together with the Sard-Smale theorem. One of the results states that if a compactified moduli space is a Fredholm thin compactification, then it admits a unique relative fundamental class. Next, the authors relate the numerical invariants defined by an RFC to intersections of pseudo-cycles. They show that a pseudo-cycle determines a Steenrod homology class and relates it to the pushforward of the fundamental class of a thin compactification. It is shown that the geometric and homological intersection numbers of pseudo-cycles are equal. The first compatibility result states that, for maps from a Fredholm thin compactification, the pushforward of the RFC is equal in \(\check{\textrm{C}}\)ech homology to the pseudo-cycle class defined by the images of generic fibers. In particular, the numerical invariants defined by the RFC are equal to those defined by the pseudo-cycle approach. The second compatibility result relates the relative fundamental classes of the original moduli space and the cutdown space. Finally, the authors prove the third compatibility result stating that the relative fundamental classes agree with Pardon's virtual fundamental classes for thin families that admit an implicit atlas.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Relating VFCs on thin compactifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2324869)