We describe an approach to calculating the cohomology rings of stable map spaces. The method we use is due to Akildiz-Carrell and employs a C^*-action and a vector field which is equivariant with respect to this C^*-action. We give an explicit description of the big Bialynicky-Birula cell of the C^*-action on Mbar_00(P^n,d) as a vector bundle on Mbar_0d. This is used to calculate explicitly the cohomology ring of Mbar_00(P^n,d) in the cases d=2 and d=3. Of particular interest is the case as n approaches infinity.
We construct a semi-stable formal model of a wide open rigid curve with a semi-stable covering, and study the l-adic cohomology of the rigid curve. We describe the l-adic cohomology of the rigid curve using the l-adic cohomology of the irreducible components of a semi-stable reduction, and homology and cohomology of some graphs. We also prove the functoriality of the description for a finite flat morphism that is compatible with semi-stable coverings of wide open rigid curves.
Using the notion of isoclinism introduced by P. Hall for finite p-groups, we show that many important classes of finite p-groups have stable cohomology detected by abelian subgroups, see Theorem 4.4. Moreover, we show that the stable cohomology of the n-fold wreath product of cyclic groups ZZ/p is detected by elementary abelian p-subgroups and we describe the resulting cohomology algebra explicitly. Some applications to the computation of unramified and stable cohomology of finite groups of Lie type are given.
We prove that the orbifold desingularization of the moduli space of stable maps of genus g = 1 recently constructed by Vakil and Zinger has vanishing rational cohomology groups in odd degree k < 10.
We investigate the (small) quantum cohomology ring of the moduli spaces of stable n-pointed curves of genus 0. In particular, we determine an explicit presentation in the case n=5 and we outline a computational approach to the case n=6.
We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in the coefficient ring of the theory. The construction is parallel to the one given by A. Nenashev for derived Witt groups. Along the way we introduce cohomology groups twisted by a formal difference of vector bundles as cohomology groups of a certain Thom space and compute twisted cohomology groups of projective spaces.
We study when kernels of inflation maps associated to extraspecial p-groups in stable group cohomology are generated by their degree two components. This turns out to be true if the prime is large enough compared to the rank of the elementary abelian quotient, but false in general.
We show that the cohomology of the perfect cone (also called first Voronoi) toroidal compactification of the moduli space of complex principally polarized abelian varieties stabilizes, in close to the top degree. Moreover, we show that this stable cohomology is purely algebraic, and we compute it in degree up to 13. Our explicit computations and stabilization results apply in greater generality to various toroidal compactifications and partial compactifications, and in particular we show that the cohomology of the matroidal partial compactification stabilizes (in low degree). For degree up to …
We compare the notions of essential dimension and stable cohomological dimension of a finite group G, prove that the latter is bounded by the length of any normal series with cyclic quotients for G, and show that, however, this bound is not sharp by showing that the stable cohomological dimension of the finite Heisenberg groups H_p, p any prime, is equal to two.
We prove that the rational cohomology $H^i(\mathcal{T}_g;\mathbf{Q})$ of the moduli space of trigonal curves of genus $g$ is independent of $g$ in degree $i<\lfloor g/4\rfloor.$ This makes possible to define the stable cohomology ring as $H^\bullet(\mathcal{T}_g;\mathbf{Q})$ for a sufficiently large $g.$ We also compute the stable cohomology ring, which turns out to be isomorphic to the tautological ring. This is done by studying the embedding of trigonal curves in Hirzebruch surfaces and using Gorinov-Vassiliev's method.
For a proper (not necessarily smooth) variety over a finite field with q elements, Berthelot-Bloch-Esnault proved a trace formula which computes the number of rational points modulo q in terms of the Witt vector cohomology. We show the analogous formula for Witt vector cohomology of finite length. In addition, we prove a vanishing result for the compactly supported étale cohomology of a constant p-torsion sheaf on an affine Cohen-Macaulay variety in positive characteristic p.
We give a recursive algorithm for computing the character of the cohomology of the moduli space $\Mmb_{0,n}$ of stable $n$-pointed genus zero curves as a representation of the symmetric group $\Sg_n$ on $n$ letters. Using the algorithm we can show a formula for the maximum length of this character. Our main tool is connected to the moduli spaces of weighted stable curves introduced by Hassett.
We define monodromy maps for tropical Dolbeault cohomology of algebraic varieties over non-Archimedean fields. We propose a conjecture of Hodge isomorphisms via monodromy maps, and provide some evidence.
We constructed the analytic Milnor fiber is a non-archimedean model of the classical topological Milnor fibration. In the present paper, we describe the homotopy type of the analytic Milnor fiber in terms of a strictly semi-stable model, and we show that its singular cohomology coincides with the weight zero part of the mixed Hodge structure on the nearby cohomology. We give a similar expression for Denef and Loeser's motivic Milnor fiber in terms of a strictly semi-stable model.
We prove that the rational cohomology of the space of non-singular complex homogeneous polynomials of degree d in a fixed number of variables stabilizes to the cohomology of the general linear group for d sufficiently large.
These are notes from a jointly taught class at the University of Chicago and lectures by the first author in Santa Cruz. Topics covered include: construction of moduli spaces of stable maps, Gromov-Witten invariants, quantum cohomology, and examples. These notes will appear in the proceedings of the 1995 Santa Cruz conference.
We construct an analog of the intrinsic normal cone of Behrend-Fantechi in the equivariant motivic stable homotopy category over a base-scheme B and construct a fundament class in E-cohomology for any cohomology theory E in SH(B). For affine B, a perfect obstruction theory gives rise to a virtual fundamental class in a twisted Borel-Moore E-homology for arbitrary E. This includes motivic cohomology (homotopy invariant) K-theory algebraic cobordism and the oriented Chow groups of Barge-Morel and Fasel. In the case of motivic cohomology, we recover the constructions of Behrend-Fantechi, with val…
In this paper we show that in a stable range the cohomology of the space of regular algebraic sections of a line bundle $\mathscr{L}$on a curve $X$ is isomorphic to the cohomology of the space of regular $C^{\infty}$sections of the same line bundle.
Quantum sheaf cohomology is a deformation of the cohomology ring of a sheaf. In recent years, this subject had an impetuous development in connection with the $(0; 2)$ non-linear sigma model from super-strings theory. The basic piece in this area is a so-called omalous bundle on the variety we start with. After a short overview of the subject, we construct stable omalous bundles on some classes of surfaces of general type.
The authors learnt that similar results have been independently found by D.Zagier, V.Baranovsky and V.Balaji/A.King/P.Newstead. The corresponding references have been added (and some typos corrected).
Billey and Braden defined a geometric pattern map on flag manifolds which extends the generalized pattern map of Billey and Postnikov on Weyl groups. The interaction of this torus equivariant map with the Bruhat order and its action on line bundles lead to formulas for its pullback on the equivariant cohomology ring and on equivariant K-theory. These formulas are in terms of the Borel presentation, the basis of Schubert classes, and localization at torus fixed points.
We study the map associating the cohomology class of an admissible normal function on the product of punctured disks, and give some sufficient conditions for the surjectivity of the map. We also construct some examples such that the map is not surjective.
We present an algorithm for explicitly computing the number of generators of the stable cohomology algebra of any rationally smooth partial toroidal compactification of ${\mathcal A}_g$, satisfying certain additivity and finiteness properties, in terms of the combinatorics of the corresponding toric fans. In particular the algorithm determines the stable cohomology of the matroidal partial compactification, in terms of simple regular matroids that are irreducible with respect to the 1-sum operation, and their automorphism groups. The algorithm also applies to compute the stable Betti numbers i…
Charney and Lee have shown that the rational cohomology of the Satake-Baily-Borel compactification the moduli space of principally polarized abelian varieties of dimension g stabilizes as g grows and they computed this stable cohomology as a Hopf algebra. We give a relatively simple algebro-geometric proof of their theorem that also takes into account the mixed Hodge structure that is present here. We find the latter to be impure.
Let $K$ be a field of characteristic zero complete for a discrete valuation, with perfect residue field of characteristic $p>0$, and let $K^+$ be the valuation ring of $K$. We relate the log-crystalline cohomology of the special fibre of certain affine $K^+$-schemes $X=\text{Spec}(R)$ with semi-stable reduction to the Galois cohomology of the fundamental group of the geometric generic fibre $π_1(X_{\bar{K}})$ with coefficients in a Fontaine ring constructed from $R$. This is based on Faltings' theory of almost étale extensions.
We compute the cohomology of polygon spaces using their identification to (semi) stable configuration of weighted points on complex projective line. This cohomology is already given by J.C.Hausmann and A. Knutson but we use a different approach. We also give a condition for being Fano.
We compute the first, second, third, and fifth rational cohomology groups of the moduli space of stable n-pointed genus g curves, for all g and n, using (mostly) algebro-geometric techniques.
We provide a stable rationality construction for some smooth complex Gushel-Mukai varieties of dimension 6. As a consequence, we compute the integral singular cohomology of any smooth Gushel-Mukai sixfold and in particular, show that it is torsion-free.
We determine the quantum cohomology of the moduli space of odd degree rank two stable vector bundles over a Riemann surface $Σ$ of any genus. This work together with dg-ga/9710029 prove that this quantum cohomology is isomorphic to the instanton Floer cohomology of the three manifold $Σ\times S^1$. (Note: There is some overlap with the previous paper: alg-geom/9711013).
Let $X$ be a K3 surface with Picard group $\mathrm{Pic}(X)\cong\mathbb{Z} H$ such that $H^2=2n$. Let $M_{H}(\mathbf{v})$ be the moduli space of Gieseker semistable sheaves on $X$ with Mukai vector $\mathbf{v}$. We say that $\mathbf{v}$ satisfies weak Brill-Noether if the general sheaf in $M_{H}(\mathbf{v})$ has at most one nonzero cohomology group. We show that given any rank $r \geq 2$, there are only finitely many Mukai vectors of rank $r$ on K3 surfaces of Picard rank one where weak Brill-Noether fails. We give an algorithm for finding the potential counterexamples and classify all such cou…
We prove that the cohomology of the moduli space of morphisms of a fixed finite degree from a smooth projective curve $C$ of genus $g$ to a complete simplicial toric variety $\mathbb{P}(Σ)$, denoted by the rational polyhedral fan $Σ$, stabilizes. As an arithmetic consequence we obtain a resolution of the Batyrev-Manin conjecture for toric varieties over global function fields in all but finitely many characteristics.
We determine the $\ell$-adic étale cohomology and the eigenvalues of the geometric Frobenius for the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a marked Weierstrass section over $\overline{\mathbb{F}}_q$ with $\mathrm{char}(\overline{\mathbb{F}}_q) \neq 2,3$.
I show that the cohomology of the generic points of algebraic complex varieties becomes {\sl stable} birational invariant, when considered `modulo the cohomology of the generic points of the affine spaces'.
The rational cohomology of the moduli space of rank two, odd degree stable bundles over a curve (of genus g > 1) has been studied intensely in recent years and in particular the invariant subring generated by Newstead's generators alpha, beta, gamma. Several authors have independently found a minimal complete set of relations for this subring. Their methods are very different from the methods originally employed by Kirwan to prove Mumford's conjecture -- that relations derived from the vanishing Chern classes of a particular rank 2g-1 bundle are a complete set of relations for the entire cohom…
In 1986, Spencer Bloch gave an abstract definition of a (regulator) map from higher Chow groups to Deligne-Beilinson cohomology. This map can be defined on the underlying complexes, and Kerr, Lewis and Müller-Stach gave an explicit description of this map in terms of currents. Using a multiplicative version of the Deligne complex, we give a commutative version of this map.
We investigate stable operations in supersingular elliptic cohomology using isogenies of supersingular elliptic curves over finite fields. Our main results provide a framework in which we give a conceptually simple proof of an elliptic cohomology version of the Morava change of rings theorem and also gives models for explicit stable operations in terms of isogenies and morphisms in certain enlarged isogeny categories. We relate our work to that of G. Robert on the Hecke algebra structure of the ring of supersingular modular forms.
In this work we describe the Chen-Ruan cohomology of the moduli stacks of smooth and stable genus 2 pointed curves, and its algebraic counterpart: the stringy Chow ring. In the first half of the paper we compute the additive structure of the Chen-Ruan cohomology ring for the moduli stack of stable pointed genus 2 curves, describing it as a rationally graded vector space. In the second part we give generators for the even Chen--Ruan cohomology ring as an algebra on the ordinary cohomology.
In this article we define stable supercurves and super stable maps of genus zero via labeled trees. We prove that the moduli space of stable supercurves and super stable maps of fixed tree type are quotient superorbifolds. To this end, we prove a slice theorem for the action of super Lie groups on Riemannian supermanifolds and discuss superorbifolds. Furthermore, we propose a Gromov topology on super stable maps such that the restriction to fixed tree type yields the quotient topology from the superorbifolds and the reduction is compact. This would, possibly, lead to the notions of super Gromo…
We study the moduli spaces which classify smooth surfaces along with a complex line bundle. There are homological stability and Madsen--Weiss type results for these spaces (mostly due to Cohen and Madsen), and we discuss the cohomological calculations which may be deduced from them. We then relate these spaces to (a generalisation of) Kawazumi's extended mapping class groups, and hence deduce cohomological information about these. Finally, we relate these results to complex algebraic geometry. We construct a holomorphic stack classifying families of Riemann surfaces equipped with a fibrewise h…
Moduli spaces of compact stable $n$-pointed curves carry a hierarchy of cohomology classes of top dimension which generalize the Weil-Petersson volume forms and constitute a version of Mumford classes. We give various new formulas for the integrals of these forms and their generating functions. We also discuss their relation to the Kuenneth formula in quantum cohomology.
The Seidel maps are two maps associated to a Hamiltonian circle action on a convex symplectic manifold, one on Floer cohomology and one on quantum cohomology. We extend their definitions to $S^1$-equivariant Floer cohomology and $S^1$-equivariant quantum cohomology based on a construction of Maulik and Okounkov. The $S^1$-action used to construct $S^1$-equivariant Floer cohomology changes after applying the equivariant Seidel map (a similar phenomenon occurs for $S^1$-equivariant quantum cohomology). We show the equivariant Seidel map on $S^1$-equivariant quantum cohomology does not commute wi…
A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category by a $ϕ$-torsion spectrum with $ϕ\in\mathrm{GW}(k)$ of rank coprime to the (exponential) characteristic of the base field $k$. It is shown that the values of such cohomology theories at an essentially smooth Henselian ring and its residue field coincide. The result is applicable to cohomology theories representable by $n$-torsion spectra as well as to the one…
