We construct an action of the Neron--Severi part of the Looijenga-Lunts-Verbitsky Lie algebra on the Chow ring of the Hilbert scheme of points on a K3 surface. This yields a simplification of Maulik and Negut's proof that the cycle class map is injective on the subring generated by divisor classes as conjectured by Beauville. The key step in the construction is an explicit formula for Lefschetz duals in terms of Nakajima operators. Our results also lead to a formula for the monodromy action on Hilbert schemes in terms of Nakajima operators.
Let X be a smooth projective toric surface, and H^d(X) the Hilbert scheme parametrising the length d zero-dimensional subschemes of X. We compute the rational Chow ring A^*(H^d(X))\_Q. More precisely, if T is the two-dimensional torus contained in X, we compute the rational equivariant Chow ring A\_T^*(H^d(X))\_Q and the usual Chow ring is an explicit quotient of the equivariant Chow ring. The case of some quasi-projective toric surfaces such as the affine plane are described by our method too.
For a smooth projective variety $P$, we construct a Cartier divisor supported on the incidence locus in $\mathscr{C}_a (P) \times \mathscr{C}_{\dim(P)-a-1}(P)$. There is a natural definition of the corresponding line bundle on a product of Hilbert schemes, and we show this bundle descends to the Chow varieties. This answers a question posed by Mazur.
For a semistable degeneration of surfaces without a triple point, we show that two models of degeneration of Hilbert scheme of points of the family, Gulbrandsen-Halle-Hulek degeneration given in [GHH] and the one given by the author in [N], are actually isomorphic.
In this paper we study the integral Chow ring of toric Deligne-Mumford stacks. We prove that the integral Chow ring of a semi-projective toric Deligne-Mumford stack is isomorphic to the Stanley-Reisner ring of the associated stacky fan. The integral orbifold Chow ring is also computed. Our results are illustrated with several examples.
In this paper we give a complete description of the integral Chow ring of the stack $\mathscr{H}_{g,1}$ of 1-pointed hyperelliptic curves, lifting relations and generators from the Chow ring of $\mathscr{H}_g$. We also give a geometric interpretation for the generators.
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.
We determine the Chow ring of the stack of truncated displays and more generally the Chow ring of the stack of G-zips. We also investigate the pull-back morphism of the truncated display functor. From this we can determine the Chow ring of the stack of truncated Barsotti-Tate groups over a field of characteristic p up to p-torsion.
We prove a formula for the orbifold Chow ring of semi-projective toric DM stacks, generalizing the orbifold Chow ring formula of projective toric DM stacks by Borisov-Chen-Smith. We also consider a special kind of semi-projective toric DM stacks, the Lawrence toric DM stacks. We prove that the orbifold Chow ring of a Lawrence toric DM stack is isomorphic to the orbifold Chow ring of its associated hypertoric DM stack studied in \cite{JT}.
We show how to translate the task of computing the multiplicative structure of a Chow ring of a projective homogeneous variety into an easily understandable combinatorial task of calculating in the corresponding polynomial ring. The algorithms are also presented as a Maple package. Then we proceed to compute the multiplicative structure of the Chow rings for projective homogeneous varieties E6/P1, E7/P7, and E8/P8.
We study the product structure on the Chow ring (with rational coefficients) of a cubic hypersurface in projective space and prove that the image of the product map is as small as possible.
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]$.
We give explicit equations for the Chow and Hilbert quotients of a projective scheme X by the action of an algebraic torus T in an auxiliary toric variety. As a consequence we provide GIT descriptions of these canonical quotients, and obtain other GIT quotients of X by variation of GIT quotient. We apply these results to find equations for the moduli space \bar{M}_{0,n} of stable genus zero n-pointed curves as a subvariety of a smooth toric variety defined via tropical methods.
We compute the integral Chow ring of the stack of smooth, non-hyperelliptic curves of genus three. We obtain this result by computing the integral Chow ring of the stack of smooth plane quartics, by means of equivariant intersection theory.
We show this Chow ring is $\Z \oplus \Z$. We do this by partitioning the space into 2n subvarieties each of which is fibered over $Gl(2n-2,\C)/SO(2n-2,\C)$.
We prove that certain Fano fourfolds of K3 type constructed by Fatighenti-Mongardi have a multiplicative Chow-Künneth decomposition. We present some consequences for the Chow ring of these fourfolds.
In this paper we explicit the rational Chow ring of the stack consisting of nodal curves of genus 0 with at most 3 nodes: it is a Q-algebra with 10 generators and 11 relations.
The goal of this paper is to compute the rational Chow ring of the stack consisting of nodal curves of genus 0 with at most 3 nodes: it is a Q-algebra with 10 generators and 11 relations.
We show that the graded Chow rings of two birational irreducible symplectic varieties are isomorphic. This lifts a result known for the cohomology algebras to the level of Chow rings, despite the non-injectivity the cycle class map. In the special case of general Mukai flops, we present an alternative approach based on explicit calculations.
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.
We show that certain Fano eightfolds (obtained as hyperplane sections of an orthogonal Grassmannian, and studied by Ito-Miura-Okawa-Ueda and by Fatighenti-Mongardi) have a multiplicative Chow-Künneth decomposition. As a corollary, the Chow ring of these eightfolds behaves like that of K3 surfaces.
Generalizing toric varieties, we introduce toric Deligne-Mumford stacks which correspond to combinatorial data. The main result in this paper is an explicit calculation of the orbifold Chow ring of a toric Deligne-Mumford stack. As an application, we prove that the orbifold Chow ring of the toric Deligne-Mumford stack associated to a simplicial toric variety is a flat deformation of (but is not necessarily isomorphic to) the Chow ring of a crepant resolution.
For any vector bundle $V$ on a toric Deligne-Mumford stack $\ix$ the formalism of \cite{EJK:16} defines two intertial products $\star_{V^{+}}$ and $\star_{V^{-}}$ on the Chow group of the inertia stack. We give an explicit presentation for the integral $\star_{V^+}$ and $\star_{V^-}$ Chow rings, extending earlier work of Boris-Chen-Smith \cite{BCS:05} and Jiang-Tsen \cite{JiTs:10} in the orbifold Chow ring case, which corresponds to $V = 0$. We also describe an {\em asymptotic} product on the rational Chow group of the inertia stack obtained by letting the rank of the bundle $V$ go to infinity…
We give an explicit presentation of the integral Chow ring of a stack of smooth plane cubics. We also determine some relations in the general case of hypersurfaces of any dimension and degree.
We show how the stratification method, introduced by Vezzosi in his study of PGL_3, provides a unified approach to the known computations of the Chow rings of the classifying spaces of GL_n, SL_n, Sp_n, O_n and SO_n.
We give a short proof of a presentation of the Chow ring of the Fulton-MacPherson compactification of n points on an algebraic variety. The result can be found already in Fulton and MacPherson's original paper. However, there is an error in one of the lemmas used in their proof. In the process we also determine the Chow rings of weighted Fulton--MacPherson compactifications.
We describe the Chow ring with rational coefficients of the moduli space of stable maps with marked points Mbar_{0,m}(n,d) as the subring of invariants of a ring B, relative to the action of the group of symmetries of d elements. B is computed by following a sequence of intermediate spaces for Mbar_{0,m}(n,d) and relating them to substrata of Mbar_{0,1}(n,d+m-1). An additive basis for the Chow ring is presented.
Suppose that X is a nonsingular variety and D is a nonsingular proper subvariety. Configuration spaces of distinct and non-distinct n points in X away from D were constructed by the author and B. Kim in arXiv:0806.3819, by using the method of wonderful compactification. In this paper, we give an explicit presentation of Chow motives and Chow rings of these configuration spaces.
We show that the Hopf algebra of quasi-symmetric functions arises naturally as the integral Chow ring of the algebraic stack of expanded pairs originally described by J. Li, using a more combinatorial description in terms of configurations of line bundles. In particular, we exhibit a gluing map which gives rise to the comultiplication. We then apply the result to calculate the Chow rings of certain stacks of semistable curves.
In this paper we show that the family of stable vector bundles gives a set of generators for the Chow ring, the K-theory and the derived category of any smooth projective variety.
Conjecturally, Fano varieties of K3 type admit a multiplicative Chow-Künneth decomposition, in the sense of Shen-Vial. We prove this for many of the families of Fano varieties of K3 type constructed by Fatighenti-Mongardi. This has interesting consequences for the Chow ring of these varieties.
Let $X$ be a hyperkähler variety admitting a Lagrangian fibration. Beauville's "splitting property" conjecture predicts that fibres of the Lagrangian fibration should have a particular behaviour in the Chow ring of $X$. We study this conjectural behaviour for two very classical examples of Lagrangian fibrations.
We compare the cohomology ring of the flag variety $FL_n$ and the Chow cohomology ring of the Gelfand-Zetlin toric variety $X_{GZ}$. We show that $H^*(FL_n, \mathbb{Q})$ is the Gorenstein quotient of the subalgebra $L$ of $A^*(X_{GZ}, \mathbb{Q})$ generated by degree $1$ elements. We compute these algebras for $n=3$ to see that, in general, the subalgebra $L$ does not have Poincare duality.
Given any smooth toric surface S, we prove a SYM-HILB correspondence which relates the 3-point, degree zero, extended Gromov-Witten invariants of the n-fold symmetric product stack [Sym^n(S)] of S to the 3-point extremal Gromov-Witten invariants of the Hilbert scheme Hilb^n(S) of n points on S. As we do not specialize the values of the quantum parameters involved, this result proves a strengthening of Ruan's Cohomological Crepant Resolution Conjecture for the Hilbert-Chow morphism from Hilb^n(S) to Sym^n(S) and yields a method of reconstructing the cup product for Hilb^n(S) from the orbifold i…
A conjecture of Beauville and Voisin states that for an irreducible symplectic variety X, any polynomial relation between classes of divisors and the Chern classes of X which holds in cohomology already holds in the Chow groups. We verify the conjecture for a very general double EPW sextic.
We begin a study of the intersection theory of the moduli spaces of degree two stable maps from two-pointed rational curves to arbitrary-dimensional projective space. First we compute the Betti numbers of these spaces using Serre polynomial and equivariant Serre polynomial methods developed by E. Getzler and R. Pandharipande. Then, via the excision sequence, we compute an additive basis for their Chow rings in terms of Chow rings of nonlinear Grassmannians, which have been described by Pandharipande. The ring structure of one of these Chow rings is addressed in a sequel to this paper.
Let $X$ be a hyperkähler variety. Voisin has conjectured that the classes of Lagrangian constant cycle subvarieties in the Chow ring of $X$ should lie in a subring injecting into cohomology. We study this conjecture for the Fano variety of lines on a very general cubic fourfold.
We propose a "Bloch type" conjecture for surfaces: if the cup product map in coherent cohomology is zero, then all intersections of homologically trivial divisors should be zero in the Chow group of zero-cycles. We prove this conjecture for Sicilian surfaces.
Fatighenti and Mongardi have defined Fano varieties of type S6 as zero loci of a certain vector bundle on the Grassmannian $\hbox{Gr}(2,10)$. These varieties have 3 Hodge structures of K3 type in their cohomology. We show that the Chow ring of these varieties also displays "K3 type" behaviour.
This small note is about Plücker hyperplane sections $X$ of the Grassmannian $\operatorname{Gr}(3,V_{10})$. Inspired by the analogy with cubic fourfolds, we prove that the only non-trivial Chow group of $X$ is generated by Grassmannians of type $\operatorname{Gr}(3,W_{6})$ contained in $X$. We also prove that a certain subring of the Chow ring of $X$ (containing all intersections of positive-codimensional subvarieties) injects into cohomology.
Let $p$ be a prime and $q$ be a power of $p$. We compute the Chow ring of the classifying space of some Chevalley groups $G(\mathbb{F}_q)$, when considered as a finite algebraic group over a field of characteristic $p$ containing $\mathbb{F}_q$. Using specialization from characteristic $0$ to characteristic $p$ we also obtain results over the complex numbers.
We give a presentation for the stack of rational curves with at most 1 node as the quotient by GL(3) of an open set in a 6-dimensional irreducible representation. We then use equivariant intersection theory to calculate the integral Chow ring of this stack.
Let $f: X \rightarrow A$ be an abelian cover from a complex algebraic variety with quotient singularities to an abelian variety. We show that $f^*$ induces an isomorphism between the rational cohomology rings $H^\bullet(A, \mathbb{Q})$ and $H^\bullet(X, \mathbb{Q})$ if and only if $f^*$ induces an isomorphism between the Chow rings with rational coefficients $\mathrm{CH}^\bullet(A)_{\mathbb{Q}}$ and $\mathrm{CH}^\bullet(X)_{\mathbb{Q}}$.
We study $T$-linear schemes, a class of objects that includes spherical and Schubert varieties. We provide a localization theorem for the equivariant Chow cohomology of these schemes that does not depend on resolution of singularities. Furthermore, we give an explicit presentation of the equivariant Chow cohomology of possibly singular complete spherical varieties admitting a smooth equivariant envelope (e.g. group embeddings).
