Homological Stability among Moduli Spaces of Holomorphic Curves in Complex Projective Space
David Ayala
备注：
There is an error invalidating the main theorem. The error is pointed out as Remark 2.0.1. I am keeping this paper posted in case the ideas in it are useful to others
The primary goal of this paper is to find a homotopy theoretic approximation to moduli spaces of holomorphic maps Riemann surfaces into complex projective space. There is a similar treatment of a partial compactification of these moduli spaces of consisting of irreducible stable maps in the sense of Gromov-Witten theory. The arguments follow those from a paper of G. Segal on the topology of the space of rational functions.
We prove a homological stability theorem for the moduli spaces of manifolds diffeomorphic to g(S^n x S^n), provided n > 2. This generalises Harer's stability theorem for the homology of mapping class groups. Combined with previous work of the authors, it gives a calculation of the homology of these moduli spaces in a range of degrees.
We prove a homological stability theorem for the moduli spaces of manifolds diffeomorphic to $\#^{g}(S^{n+1}\times S^{n})$, provided $n \geq 4$. This is an odd dimensional analogue of a recent homological stability result of S. Galatius and O. Randal Williams for the moduli space of manifolds diffeomorphic to $\#^{g}(S^{n}\times S^{n})$ for $n \geq 3$.
We prove a homological stability theorem for moduli spaces of high-dimensional, highly connected manifolds, with respect to forming the connected sum with the product of spheres $S^{p}\times S^{q}$, for $p < q < 2p - 2$. This result is analogous to recent results of S. Galatius and O. Randal-Williams regarding the homological stability for the moduli spaces of manifolds of dimension $2n > 4$, with respect to forming connected sums with $S^{n}\times S^{n}$.
We prove a homological stability theorem for moduli spaces of manifolds of dimension $2n$, for attaching handles of index at least $n$, after these manifolds have been stabilised by countably many copies of $S^n \times S^n$. Combined with previous work of the authors, we obtain an analogue of the Madsen--Weiss theorem for any simply-connected manifold of dimension $2n \geq 6$.
We describe partial semi-simplicial resolutions of moduli spaces of surfaces with tangential structure. This allows us to prove a homological stability theorem for these moduli spaces, which often improves the known stability ranges and give explicit stability ranges in many new cases. In each of these cases the stable homology can be identified using the methods of Galatius, Madsen, Tillmann and Weiss.
A well-known property of unordered configuration spaces of points (in an open, connected manifold) is that their homology stabilises as the number of points increases. We generalise this result to moduli spaces of submanifolds of higher dimension, where stability is with respect to the number of components having a fixed diffeomorphism type and isotopy class. As well as for unparametrised submanifolds, we prove this also for partially-parametrised submanifolds -- where a partial parametrisation may be thought of as a superposition of parametrisations related by a fixed subgroup of the mapping …
Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space operads in the sense that the group completions of their algebras are infinite loop spaces. The recent, strong homological stability results of Galatius and Randal-Williams for moduli spaces of even dimensional manifolds can be used to construct examples of operads with homological stability. As a consequence the map to $K$-theory defined by the action of t…
The moduli spaces of compact and connected Riemann surfaces has been a central topic in modern mathematics in recent years. Thus their homological dimensions become important invariants. Motivated by the emergence mathematical counterparts of open-closed string theory, we give an estimate of rational homological dimension of Riemann suraces with possible boundary and marked points(can lie on both interior and boundary). We hope it will have applications in open-closed theory, for example, open-closed Gromov-Witten theory in the future.
We prove that the moduli space of the pseudo holomorphic curves in the A-model on a symplectic torus is homeomorphic to a moduli space of Feynman diagrams in the configuration space of the morphisms in the B-model on the corresponding elliptic curve. These moduli spaces determine the $A_{\infty}$ structure of the both models.
We prove a homological stability theorem for moduli spaces of simply-connected manifolds of dimension $2n > 4$, with respect to forming connected sum with $S^n \times S^n$. This is analogous to Harer's stability theorem for the homology of mapping class groups. Combined with previous work of the authors, it gives a calculation of the homology of the moduli spaces of manifolds diffeomorphic to connected sums of $S^n \times S^n$ in a range of degrees.
Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for the graded pieces of the module with respect to constant and abelian coefficients. We furthermore introduce a notion of coefficient systems of finite degree in this context and show that, without further assumptions, the corresponding twisted homology groups stabilize as well. This generalizes a framework of Randal-Williams and Wahl for families of discrete…
In a well known work [Se], Graeme Segal proved that the space of holomorphic maps from a Riemann surface to a complex projective space is homology equivalent to the corresponding continuous mapping space through a range of dimensions increasing with degree. In this paper, we address if a similar result holds when other (not necessarily integrable) almost complex structures are put on projective space. We take almost complex structures that are compatible with the underlying symplectic structure. We obtain the following result: the inclusion of the space of based degree k J-holomorphic maps fro…
We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about surface diffeomorphism groups made discrete. The stable homology is isomorphic to the homology of a certain infinite loop space related to the Haefliger's classifying space of foliations. One geometric consequence of this description of the stable homology is a splitting theorem that implies certain classes called generalized Mumford-Morita-Miller classes can be …
For an algebraically closed field K with ch K \not = 2, we determine the Chow ring of the moduli space of holomorphic bundles on a projective plane with the structure group SO(n,K) and half the first Pontryagin index being equal to 1, each of which is trivial on a fixed line and has a fixed holomorphic trivialization there.
We prove homological stability for both general linear groups of modules over a ring with finite stable rank and unitary groups of quadratic modules over a ring with finite unitary stable rank. In particular, we do not assume the modules and quadratic modules to be well-behaved in any sense: for example, the quadratic form may be singular. This extends results by van der Kallen and Mirzaii--van der Kallen respectively. Combining these results with the machinery introduced by Galatius--Randal-Williams to prove homological stability for moduli spaces of simply-connected manifolds of dimension 2n…
We develop techniques for defining and working with virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves which are not necessarily cut out transversally. Such techniques have the potential for applications as foundations for invariants in symplectic topology arising from "counting" pseudo-holomorphic curves. We introduce the notion of an *implicit atlas* on a moduli space, which is (roughly) a convenient system of local finite-dimensional reductions. We present a general intrinsic strategy for constructing a canonical implicit atlas on any moduli space of pseudo-holomorphic…
In a previous paper, arXiv:1206.5498, we introduced a new homological invariant $\e$ for the faithful action of a finite group G on an algebraic curve. We show here that the moduli space of curves admitting a faithful action of a finite group G with a fixed homological invariant $\e$, if the genus g' of the quotient curve is sufficiently large, is irreducible (and non empty iff the class satisfies the condition which we define as 'admissibility'). In the unramified case, a similar result had been proven by Dunfield and Thurston using the classical invariant in the second homology group of G, H…
We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This has the following arithmetic consequence: let l>2 be prime and A a finite abelian l-group. Then there exists Q = Q(A) such that, for q greater than Q and not congruent to 1 modulo l, a positive fraction of quadratic extensions of F_q(t) have the l-part of their class group isomorphic to A.
We study Hurwitz spaces with regard to homological stabilization. By a Hurwitz space, we mean a moduli space of branched, not necessarily connected coverings of a disk with fixed structure group and number of branch points. We choose a sequence of subspaces of Hurwitz spaces which is suitable for our investigations. In the first part, we introduce and study plant complexes, a large new class of simplicial complexes, generalizing the arc complex on a surface with marked points. In the second part, we generalize a result by Ellenberg-Venkatesh-Westerland by showing that homological stabilization…
We have recently proved a homological stability theorem for moduli spaces of r-Spin Riemann surfaces, which in particular implies a Madsen--Weiss theorem for these moduli spaces. This allows us to effectively study their stable cohomology, and to compute their stable rational cohomology and their integral Picard groups. Using these methods we give a complete description of their integral Picard groups for genus at least 9 in terms of geometrically defined generators, and determine the relations between them.
I conjecture that index formulas for $K$-theory classes on the moduli of holomorphic $G$-bundles over a compact Riemann surface $Σ$ are controlled, in a precise way, by Frobenius algebra deformations of the Verlinde algebra of $G$. The Frobenius algebras in question are twisted $K$-theories of $G$, equivariant under the conjugation action, and the controlling device is the equivariant Gysin map along the "product of commutators" from $G^{2g}$ to $G$. The conjecture is compatible with naive virtual localization of holomorphic bundles, from $G$ to its maximal torus; this follows by localization …
In this paper, we prove homological stability of symplectomorphisms and extended hamiltonians of surfaces made discrete. We construct an isomorphism from the stable homology group of symplectomorphisms and extended Hamiltonians of surfaces to the homology of certain infinite loop spaces. We use these infinite loop spaces to study characteristic classes of surface bundles whose holonomy groups are area preserving, in particular we give a homotopy theoretic proof of the Kotschick-Morita theorem.
Godin introduced the categories of open closed fat graphs $Fat^{oc}$ and admissible fat graphs $Fat^{ad}$ as models of the mapping class group of open closed cobordism. We use the contractibility of the arc complex to give a new proof of Godin's result that $Fat^{ad}$ is a model of the mapping class group of open-closed cobordisms. Similarly, Costello introduced a chain complex of black and white graphs $BW$-Graphs, as a rational homological model of mapping class groups. We use the result on admissible fat graphs to give a new integral proof of Costellos's result that $BW$-Graphs is a homolog…
