We define the Chow ring of the classifying space of a linear algebraic group. In all the examples where we can compute it, such as the symmetric groups and the orthogonal groups, it is isomorphic to a natural quotient of the complex cobordism ring of the classifying space, a topological invariant. We apply this to get torsion information on the Chow groups of varieties defined as quotients by finite groups. This generalizes Atiyah and Hirzebruch's use of such varieties to give counterexamples to the Hodge conjecture with integer coefficients.
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.
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 investigate the structure of the Chow ring of the classifying stacks $BT$ of algebraic tori, as it has been defined by B. Totaro. Some previous work of N. Karpenko, A. Merkurjev, S. Blinstein and F. Scavia has shed some light on the structure of such rings. In particular Karpenko showed the absence of torsion classes in the case of permutation tori, while Merkurjev and Blinstein described in a very effective way the second Chow group $A^2(BT)$ in the general case. Building on this work, Scavia exhibited an example where $A^2(BT)_\text{tors}\neq 0$. Here, by making use of a very elementary a…
Let $GO(2n)$ be the general orthogonal group scheme (the group of orthogonal similitudes). In the topological category, Y. Holla and N. Nitsure determined the singular cohomology ring $H^*_{\rm sing}(BGO(2n,\mathbb C),\mathbb F_2)$ of the classifying space $BGO(2n,\mathbb C)$ of the corresponding complex Lie group $GO(2n,\mathbb C)$ in terms of explicit generators and relations. The author of the present note showed that over any algebraically closed field of characteristic not equal to $2$, the smooth-étale cohomology ring $H_{\rm sm-ét}^*(BGO(2n),\mathbb F_2)$ of the classifying algebraic st…
We use the Steenrod algebra to study $CH^*BG$, the mod $p$ Chow ring of the classifying space of $G$. We describe a localization property which relates a given $G$ to its elementary abelian subgroups, and we study a number of particular cases, namely symmetric groups and Chevalley groups. It turns out that the Chow rings of these groups are completely determined by the abelian subgroups and their fusion.
We investigate the integral cohomology ring and the Chow ring of the classifying space of the complex projective linear group PGL_p, when p is an odd prime. In particular, we determine its additive structure completely, and we reduce the problem of determing its multiplicative structure to a problem in invariant theory.
We compute generators for the Chow ring of the classifying space of PGL_3 (over the complex numbers) as defined by Totaro. We also find enough relations after inverting 3. We show that this ring is not generated by Chern classes (this is the first example of this kind among classical groups) and prove that Totaro's refined cycle class map to a quotient of complex cobordism of BPGL_3 is surjective
We compute the Chow ring of the classifying space $BSO(2n,\C)$ in the sense of Totaro using the fibration $Gl(2n)/SO(2n) \to BSO(2n) \to BGl(2n)$ and a computation of the Chow ring of $Gl(2n)/SO(2n)$ in a previous paper. We find this Chow ring is generated by Chern classes and a characteristic class defined by Edidin and Graham which maps to $2^{n-1}$ times the Euler class under the usual class map from the Chow ring to ordinary cohomology. Moreover, we show this class represents $1/2^{n-1}(n-1)!$ times the $n^{th}$ Chern class of the representation of SO(2n) whose highest weight vector is twi…
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.
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.
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 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 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.
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.
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.
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…
