We determine a subring of the Chow ring and the cohomology of $BPGL_n$, the classifying space of the projective linear group of degree $n$ over complex numbers, and explain a way in which this computation might play a role in the period-index problem. In addition, we show that the Chow ring of $BPGL_n$ is not generated by the Chern classes of linear representations of $PGL_n$.
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.
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
Let $J$ be the Jacobian of a smooth projective curve. We define a natural action of the Lie algebra of polynomial Hamiltonian vector fields on the plane, vanishing at the origin, on the Chow group of $J$ with rational coefficients. Using this action we obtain some relations between tautological cycles on $J$.
We study subrings in the Chow ring $\CH^*(A)_{\Bbb Q}$ of an abelian variety $A$, stable under the Fourier transform with respect to an arbitrary polarization. We prove that by taking Pontryagin products of classes of dimension $\leq 1$ one gets such a subring. We also show how to construct finite-dimensional Fourier-stable subrings in $\CH^*(A)_{\Bbb Q}$. Another result concerns the relation between the Pontryagin product and the usual product on the $\CH^*(A)_{\Bbb Q}$. We prove that the operator of the usual product with a cycle is a differential operator with respect to the Pontryagin prod…
The Beauville-Voisin conjecture for a hyperkähler manifold X states that the subring of the Chow ring A^*(X) generated by divisor classes and Chern characters of the tangent bundle injects into the cohomology ring of X. We prove a weak version of this conjecture when X is the Hilbert scheme of points on a K3 surface, for the subring generated by divisor classes and tautological classes. This in particular implies the weak splitting conjecture of Beauville for these geometries. In the process, we extend Lehn's formula and the Li-Qin-Wang W_{1+infinity} algebra action from cohomology to Chow gro…
We describe a theory of logarithmic Chow rings and tautological subrings for logarithmically smooth algebraic stacks, via a generalisation of the notion of piecewise-polynomial functions. Using this machinery we prove that the double-double ramification cycle lies in the tautological subring of the (classical) Chow ring of the moduli space of curves, and that the logarithmic double ramification cycle is divisorial (as conjectured by Molcho, Pandharipande, and Schmitt).
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.
In this work we compute the Chen--Ruan cohomology and the stringy Chow ring of the moduli spaces of smooth and stable $n$-pointed curves of genus 1. We suggest a definition for an Orbifold Tautological Ring in genus 1, which is both a subring of the Chen--Ruan cohomology and of the stringy Chow ring.
We compute rational equivariant Chow rings with respect to a torus of quiver moduli spaces. We derive a presentation in terms of generators and relations, use torus localization to identify it as a subring of the Chow ring of the fixed point locus, and we compare the two descriptions.
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 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.
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$.
We describe a generalization of the usual boundary strata classes in the Chow ring of $\overline{\mathcal{M}}_{g,n}$. The generalized boundary strata classes additively span a subring of the tautological ring. We describe a multiplication law satisfied by these classes and check that every double ramification cycle lies in this subring.
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 hyperkähler variety. Beauville has conjectured that a certain subring of the Chow ring of $X$ should inject into cohomology. This note proposes a similar conjecture for the ring of algebraic cycles on $X$ modulo algebraic equivalence: a certain subring (containing divisors and codimension $2$ cycles) should inject into cohomology. We present some evidence for this conjecture.
If $G$ is a presheaf of groupoids on a small site, and $A$ is a sheaf of abelian groups, we prove that the sheaf cohomology group $H^2 (BG, A)$ is in bijection with a set of central extensions of $G$ by $A$. We use this result to study the motivic cohomology of the Nisnevich classifying space $BG$, when $G$ is a presheaf of groups on the smooth Nisnevich site over a field, and particularly when $G = PGL_{n}$. Finally, we show that, when $p$ is an odd prime, the Chow ring of the classifying space of $PGL_{p}$ injects into the motivic cohomology of the Nisnevich classifying space $BPGL_{p}$, ove…
The Chow rings of hyperKähler varieties are conjectured to have a particularly rich structure. In this paper, we focus on the locally complete family of double EPW sextics and establish some properties of their Chow rings. First we prove a Beauville-Voisin type theorem for zero-cycles on double EPW sextics; precisely, we show that the codimension-4 part of the subring of the Chow ring of a double EPW sextic generated by divisors, the Chern classes and codimension-2 cycles invariant under the anti-symplectic covering involution has rank one. Second, for double EPW sextics birational to the Hilb…
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…
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…
We compute the Chow ring of an arbitrary heavy/light Hassett space $\bar{M}_{0, w}$. These spaces are moduli spaces of weighted pointed stable rational curves, where the associated weight vector $w$ consists of only heavy and light weights. Work of Cavalieri et al. exhibits these spaces as tropical compactifications of hyperplane arrangement complements. The computation of the Chow ring then reduces to intersection theory on the toric variety of the Bergman fan of a graphic matroid. Keel has calculated the Chow ring $A^*(\bar{M}_{0, n})$ of the moduli space $\bar{M}_{0, n}$ of stable nodal $n$…
We study the Chow ring of the boundary of the partial compactification of the universal family of principally polarized abelian varieties (ppav). We describe the subring generated by divisor classes, and compute the class of the partial compactification of the universal zero section, which turns out to lie in this subring. Our formula extends the results for the zero section of the universal uncompactified family. The partial compactification of the universal family of ppav can be thought of as the first two boundary strata in any toroidal compactification of the moduli space of ppav. Our form…
We describe the Chow ring with rational coefficients of Mbar_{0,1}(P^n,d) as the subring of invariants of a ring B(Mbar_{0,1}(P^n,d);Q), relative to the action of the group of symmetries S_d. We compute B(Mbar_{0,1}(P^n,d);Q) by following a sequence of intermediate spaces for Mbar_{0,1}(P^n,d).
Let $n$ be a fixed positive integer and $h: \{1,2,\ldots,n\} \rightarrow \{1,2,\ldots,n\}$ a Hessenberg function. The main results of this paper are twofold. First, we give a systematic method, depending in a simple manner on the Hessenberg function $h$, for producing an explicit presentation by generators and relations of the cohomology ring $H^\ast(Hess(\mathsf{N},h))$ with $\mathbb{Q}$ coefficients of the corresponding regular nilpotent Hessenberg variety $Hess(\mathsf{N},h)$. Our result generalizes known results in special cases such as the Peterson variety and also allows us to answer a q…