For any odd integer $d$, we give a presentation for the integral Chow ring of the stack $\Mcal_{0}(\Pro^r, d)$, as a quotient of the polynomial ring $\Z[c_1,c_2]$. We describe an efficient set of generators for the ideal of relations, and compute them in generating series form. The paper concludes with explicit computations of some examples for low values of $d$ and $r$, and a conjecture for a minimal set of generators.
We find a new presentation of the stack of hyperelliptic curves of odd genus as a quotient stack and we use it to compute its integral Chow ring by means of equivariant intersection theory.
In this paper we prove that the rational Chow rings of $\mathcal{M}_{5,8}$ and $\mathcal{M}_{5,9}$ are tautological, and that these moduli spaces have the Chow Künneth generation Property.
In this work, we introduce the moduli stack $\widetilde{\mathcal{M}}_{g,n}^r$ of $n$-pointed, $A_r$-stable curves of genus $g$ and use it to compute the Chow ring of $\overline{\mathcal{M}}_3$. As a byproduct, we also compute the Chow ring of $\widetilde{\mathcal{M}}_3^7$. All the Chow rings are assumed to be with coefficients in $\mathbb{Z}[1/6]$.
This paper is the fourth in a series of four papers aiming to describe the (almost integral) Chow ring of $\overline{\mathcal{M}}_3$, the moduli stack of stable curves of genus $3$. In this paper, we finally compute the Chow ring of $\overline{\mathcal{M}}_3$ with $\mathbb{Z}[1/6]$-coefficients.
This paper is the third in a series of four papers aiming to describe the (almost integral) Chow ring of $\overline{\mathcal{M}}_3$, the moduli stack of stable curves of genus $3$. In this paper, we compute the Chow ring of $\widetilde{\mathcal{M}}_3^7$ with $\mathbb{Z}[1/6]$-coefficients.
While there is much work and many conjectures surrounding the intersection theory of the moduli space of curves, relatively little is known about the intersection theory of the Hurwitz space $\mathcal{H}_{k, g}$ parametrizing smooth degree $k$, genus $g$ covers of $\mathbb{P}^1$. Let $k = 3, 4, 5$. We prove that the rational Chow rings of $\mathcal{H}_{k,g}$ stabilize in a suitable sense as $g$ tends to infinity. In the case $k = 3$, we completely determine the Chow rings for all $g$. We also prove that the rational Chow groups of the simply branched Hurwitz space $\mathcal{H}^s_{k,g} \subset …
We determine the rational Chow ring of the moduli space $\mathcal{H}_{g,n}$ of $n$-pointed smooth hyperelliptic curves of genus $g$ when $n \leq 2g+6$. We also show that the Chow ring of the partial compactification $\mathcal{I}_{g,n}$, parametrizing $n$-pointed irreducible nodal hyperelliptic curves, is generated by tautological divisors. Along the way, we improve Casnati's result that $\mathcal{H}_{g,n}$ is rational for $n \leq 2g+8$ to show $\mathcal{H}_{g,n}$ is rational for $n \leq 3g+5$.
Guillet and Soulé have shown that, for a fibration $π: Y \to X$ with fibre $Z$, locally trivial in the Zariski topology, we have a decomposition \[ [Y] = [X] \cdot [Z], \] where $[\cdot]$ denotes a class in the Grothendieck group $K_{0}(\mathcal{M}_{Rat}(k))$ associated to the category of (pure effective) Chow motives $\mathcal{M}_{Rat}(k)$ for a field $k$. By assuming some additional properties for the fibre $Z$, we construct an explicit isomorphism $h(Y) \cong h(X) \otimes h(Z)$ in the category $\mathcal{M}_{Rat}(k)$, and we use it to prove, for this type of fibrations, some conjectures diss…
We determine the integral Chow and cohomology rings of the moduli stack $\mathcal{B}_{r,d}$ of rank $r$, degree $d$ vector bundles on $\mathbb{P}^1$ bundles. We first show that the rational Chow ring $A_{\mathbb{Q}}^*(\mathcal{B}_{r,d})$ is a free $\mathbb{Q}$-algebra on $2r+1$ generators. The isomorphism class of this ring happens to be independent of $d$. Then, we prove that the integral Chow ring $A^*(\mathcal{B}_{r,d})$ is torsion-free and provide multiplicative generators for $A^*(\mathcal{B}_{r,d})$ as a subring of $A_{\mathbb{Q}}^*(\mathcal{B}_{r,d})$. From this description, we see that…
We apply the machinery of relative tensor triangular Chow groups to the action of the derived category of quasi-coherent sheaves on a noetherian scheme $X$ on the derived category of quasi-coherent $\mathcal{A}$-modules, where $\mathcal{A}$ is a (not necessarily commutative) quasi-coherent $\mathcal{O}_X$-algebra. When $\mathcal{A}$ is commutative and coherent, we recover the tensor triangular Chow groups of the relative Spec of $\mathcal{A}$. We also obtain concrete descriptions for integral group algebras and hereditary orders over curves, and we investigate the relation of these invariants …
We introduce conjectures relating the Chow ring of a smooth Artin stack $\mathcal{X}$ to the Chow groups of its possibly singular good moduli space $X$. In particular, we conjecture the existence of an intersection product on a subgroup of the full Chow group $A^*(X)$ coming from strong cycles on $\mathcal{X}$.
We consider Calabi-Yau $n$-folds $X$ arising from certain hyperplane arrangements. Using Fu-Vial's theory of distinguished cycles for varieties with motive of abelian type, we show that the subring of the Chow ring of $X$ generated by divisors, Chern classes and intersections of subvarieties of positive codimension injects into cohomology. We also prove Voisin's conjecture for $X$, and Voevodsky's smash-nilpotence conjecture for odd-dimensional $X$.
The focus of our paper is on the complex Grassmann manifolds $G_{n,2}$ which appear as one of the fundamental objects in developing the interaction between algebraic geometry and algebraic topology. In his well-known paper Kapranov has proved that the Deligne-Mumford compactification $\overline{\mathcal{M}}(0,n)$ of $n$-pointed curves of genus zero can be realized as the Chow quotient $G_{n,2}\!/\!/(\mathbb{C} ^{\ast})^{n}$. In our recent papers, the constructive description of the orbit space $G_{n,2}/T^n$ has been obtained. In getting this result our notions of the CW-complex of the admissib…
We compute the Chow-Witt rings of the classifying spaces for the symplectic and special linear groups. In the structural description we give, contributions from real and complex realization are clearly visible. In particular, the computation of cohomology with $\mathbf{I}^j$-coefficients is done closely along the lines of Brown's computation of integral cohomology for special orthogonal groups. The computations for the symplectic groups show that Chow-Witt groups are a symplectically oriented ring cohomology theory. Using our computations for special linear groups, we also discuss the question…
We compute the integral Chow ring of the quotient stack $[(\mathbb{P}^1)^n/PGL_2]$, which contains $\mathcal{M}_{0,n}$ as a dense open, and determine a natural $\mathbb{Z}$-basis for the Chow ring in terms of certain ordered incidence strata. We further show that all $\mathbb{Z}$-linear relations between the classes of ordered incidence strata arise from an analogue of the WDVV relations in $A^\bullet(\overline{\mathcal{M}}_{0,n})$. Next we compute the classes of unordered incidence strata in the integral Chow ring of the quotient stack $[{\rm Sym}^n\mathbb{P}^1/PGL_2]$ and classify all $\math…
The Chow ring of $\mathcal{M}_g$ is known to be generated by tautological classes for $g \leq 9$. Meanwhile, the first example of a non-tautological class on $\mathcal{M}_{g}$ is the fundamental class of the bielliptic locus in $\mathcal{M}_{12}$, due to van Zelm. It remains open if the Chow rings of $\mathcal{M}_{10}$ and $\mathcal{M}_{11}$ are generated by tautological classes. In these cases, a natural first place to look is at the bielliptic locus. In genus $10$, it is already known that classes supported on the bielliptic locus are tautological. Here, we prove that all classes supported o…
This note is about certain locally complete families of Calabi-Yau varieties constructed by Cynk and Hulek, and certain varieties constructed by Schreieder. We prove that the cycle class map on the Chow ring of powers of these varieties admits a section, and that these varieties admit a multiplicative self-dual Chow-Kuenneth decomposition. As a consequence of both results, we prove that the subring of the Chow ring generated by divisors, Chern classes, and intersections of two cycles of positive codimension injects into cohomology, via the cycle class map. We also prove that the small diagonal…
In the integral cohomology ring of the classifying space of the projective linear group $PGL_n$ (over $\mathbb{C}$), we find a collection of $p$-torsions $y_{p,k}$ of degree $2(p^{k+1}+1)$ for any odd prime divisor $p$ of $n$, and $k\geq 0$. If in addition, $p^2\nmid n$, there are $p$-torsion classes $ρ_{p,k}$ of degree $p^{k+1}+1$ in the Chow ring of the classifying stack of $PGL_n$, such that the cycle class map takes $ρ_{p,k}$ to $y_{p,k}$. We present an application of the above classes regarding Chern subrings.
Let $E_N$ denote the coarse moduli space of smooth elliptic surfaces over $\mathbb{P}^1$ with fundamental invariant $N$. We compute the Chow ring $A^*(E_N)$ for $N\geq 2$. For each $N\geq 2$, $A^*(E_N)$ is Gorenstein with socle in codimension $16$, which is surprising in light of the fact that the dimension of $E_N$ is $10N-2$. As an application, we show that the maximal dimension of a complete subvariety of $E_N$ is $16$. When $N=2$, the corresponding elliptic surfaces are K3 surfaces polarized by a hyperbolic lattice $U$. We show that the generators for $A^*(E_2)$ are tautological classes on…
Let $\mathcal{H}_{k,g}$ be the Hurwitz stack parametrizing degree $k$, genus $g$ covers of $\mathbb{P}^1$. We define the tautological ring of $\mathcal{H}_{k,g}$ and we show that all Chow classes, except possibly those supported on the locus of "factoring covers," are tautological up to codimension roughly $g/k$ when $k \leq 5$. The set-up developed here is also used in our subsequent work, wherein we prove new results about the structure of the Chow ring for $k \leq 5$.
We study the Chow ring of the moduli stack $\mathfrak{M}_{g,n}$ of prestable curves and define the notion of tautological classes on this stack. We extend formulas for intersection products and functoriality of tautological classes under natural morphisms from the case of the tautological ring of the moduli space $\bar{\mathcal{M}}_{g,n}$ of stable curves. This paper provides foundations for the second part of the paper. In the appendix (joint with J. Skowera), we develop the theory of a proper, but not necessary projective, pushforward of algebraic cycles. The proper pushforward is necessary …
In this article we develop intersection theory in terms of the $\mathcal{B}$-group of a reduced analytic space. This group was introduced in a previous work as an analogue of the Chow group; it is generated by currents that are direct images of Chern forms and it contains all usual cycles. However, contrary to Chow classes, the $\mathcal{B}$-classes have well-defined multiplicities at each point. We focus on a $\mathcal{B}$-analogue of the intersection theory based on the Stückrad-Vogel procedure and the join construction in projective space. Our approach provides global $\mathcal{B}$-classes …
