We describe the $J$-invariant of a semisimple algebraic group $G$ over a generic splitting field of a Tits algebra of $G$ in terms of the $J$-invariant over the base field. As a consequence we prove a 10-year-old conjecture of Quéguiner-Mathieu, Semenov, and Zainoulline on the $J$-invariant of groups of type $\mathrm {D}_n$. In the case of type $\mathrm {D}_n$ we also provide explicit formulas for the first component and in some cases for the second component of the $J$-invariant.

We construct a collection of families of higher Chow cycles of type $(2,1)$ on a two-dimensional family of Kummer surfaces, and prove that for a very general member, they generate a subgroup of rank $\ge 18$ in the indecomposable part of the higher Chow group. Construction of the cycles uses a finite group action on the family, and the proof of their linear independence uses Picard–Fuchs differential operators.

We prove that the cohomology rings of the moduli space $M_{d,\chi }$ of one-dimensional sheaves on the projective plane are not isomorphic for general different choices of the Euler characteristics. This stands in contrast to the $\chi $-independence of the Betti numbers of these moduli spaces. As a corollary, we deduce that $M_{d,\chi }$ are topologically different unless they are related by obvious symmetries, strengthening a previous result of Woolf distinguishing them as algebraic varieties.

We generalize Bloch’s map on torsion cycles from algebraically closed fields to arbitrary fields. While Bloch’s map over algebraically closed fields is injective for zero-cycles and for cycles of codimension at most two, we show that the generalization to arbitrary fields is only injective for cycles of codimension at most two but, in general, not for zero-cycles. Our result implies that Jannsen’s cycle class map in integral $\ell $ -adic continuous étale cohomology is, in general, not injective on torsion zero-cycles over finitely generated fields. This answers a question of Scavia and Suzuki.

We prove the integral Hodge conjecture for one-cycles on a principally polarized complex abelian variety whose minimal class is algebraic. In particular, the Jacobian of a smooth projective curve over the complex numbers satisfies the integral Hodge conjecture for one-cycles. The main ingredient is a lift of the Fourier transform to integral Chow groups. Similarly, we prove the integral Tate conjecture for one-cycles on the Jacobian of a smooth projective curve over the separable closure of a finitely generated field. Furthermore, abelian varieties satisfying such a conjecture are dense in their moduli space.

Let BG be the classifying space of an algebraic group G over the field ${\mathbb C}$ of complex numbers. There are smooth projective approximations X of $BG\times {\mathbb P}^{\infty}$, by Ekedahl. We compute a new stable birational invariant of X defined by the difference of two coniveau filtrations of X, by Benoist and Ottem. Hence we give many examples such that two coniveau filtrations are different.

For any odd integer $d$, we give a presentation for the integral Chow ring of the stack $\mathcal {M}_{0}(\mathbb {P}^r, d)$, as a quotient of the polynomial ring $\mathbb {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.

For a weight structure w on a triangulated category $\underline {C}$ we prove that the corresponding weight complex functor and some other (weight-exact) functors are ‘conservative up to weight-degenerate objects’; this improves earlier conservativity formulations. In the case $w=w^{sph}$ (the spherical weight structure on $SH$), we deduce the following converse to the stable Hurewicz theorem: $H^{sing}_{i}(M)=\{0\}$ for all $i<0$ if and only if $M\in SH$ is an extension of a connective spectrum by an acyclic one. We also prove an equivariant version of this statement.

The main idea is to study M that has no weights $m,\dots ,n$ (‘in the middle’). For $w=w^{sph}$, this is the case if there exists a distinguished triangle $LM\to M\to RM$, where $RM$ is an n-connected spectrum and $LM$ is an $m-1$-skeleton (of M) in the sense of Margolis’s definition; this happens whenever $H^{sing}_i(M)=\{0\}$ for $m\le i\le n$ and $H^{sing}_{m-1}(M)$ is a free abelian group. We also consider morphisms that kill weights $m,\dots ,n$; those ‘send n-w-skeleta into $m-1$-w-skeleta’.

The goal of this paper is to raise the possibility that there exists a meaningful theory of ‘motives’ associated with certain hypergeometric integrals, viewed as functions of their parameters. It goes beyond the classical theory of motives, but should be compatible with it. Such a theory would explain a recent and surprising conjecture arising in the context of scattering amplitudes for a motivic Galois group action on Gauss’s ${}_2F_1$ hypergeometric function, which we prove in this paper by direct means. More generally, we consider Lauricella hypergeometric functions and show, on the one hand, how the coefficients in their Taylor expansions can be promoted, via the theory of motivic fundamental groups, to motivic multiple polylogarithms. The latter are periods of ordinary motives and admit an action of the usual motivic Galois group, which we call the local action. On the other hand, we define lifts of the full Lauricella functions as matrix coefficients in a Tannakian category of twisted cohomology, which inherit an action of the corresponding Tannaka group. We call this the global action. We prove that these two actions, local and global, are compatible with each other, even though they are defined in completely different ways. The main technical tool is to prove that metabelian quotients of generalised Drinfeld associators on the punctured Riemann sphere are hypergeometric functions. We also study single-valued versions of these hypergeometric functions, which may be of independent interest.

We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the case of algebraic motives. In fact, more generally, we develop a powerful technique for reducing questions about rigid analytic motives to questions about algebraic motives, which is likely to be useful in other contexts as well. We pay special attention to establishing our results without noetherianity assumptions on rigid analytic spaces. This is indeed possible using Raynaud’s approach to rigid analytic geometry.

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 work over a field k of arbitrary characteristic. 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 $A^*(\mathcal {B}_{r,d})$ is not finitely generated as a $\mathbb {Z}$ -algebra. Finally, when $k = \mathbb {C}$ , the cohomology ring of $\mathcal {B}_{r,d}$ is isomorphic to its Chow ring.

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 $\overline {\mathcal {M}}_{g,n}$ of stable curves. This paper provides foundations for the paper [BS21].

In the appendix (jointly with J. Skowera), we develop the theory of a proper, but not necessary projective, pushforward of algebraic cycles. The proper pushforward is necessary for the construction of the tautological rings of $\mathfrak {M}_{g,n}$ and is important in its own right. We also develop operational Chow groups for algebraic stacks.

Let X be a smooth proper variety over a field k and suppose that the degree map ${\mathrm {CH}}_0(X \otimes _k K) \to \mathbb {Z}$ is isomorphic for any field extension $K/k$. We show that $G(\operatorname {Spec} k) \to G(X)$ is an isomorphism for any $\mathbb {P}^1$-invariant Nisnevich sheaf with transfers G. This generalises a result of Binda, Rülling and Saito that proves the same conclusion for reciprocity sheaves. We also give a direct proof of the fact that the unramified logarithmic Hodge–Witt cohomology is a $\mathbb {P}^1$-invariant Nisnevich sheaf with transfers.

In this article, we improve our main results from [LL21] in two directions: First, we allow ramified places in the CM extension $E/F$ at which we consider representations that are spherical with respect to a certain special maximal compact subgroup, by formulating and proving an analogue of the Kudla–Rapoport conjecture for exotic smooth Rapoport–Zink spaces. Second, we lift the restriction on the components at split places of the automorphic representation, by proving a more general vanishing result on certain cohomology of integral models of unitary Shimura varieties with Drinfeld level structures.

In this article, we study a Gysin triangle in the category of motives with modulus (Theorem 1.2). We can understand this Gysin triangle as a motivic lift of the Gysin triangle of log-crystalline cohomology due to Nakkajima and Shiho. After that we compare motives with modulus and Voevodsky motives (Corollary 1.6). The corollary implies that an object in $\operatorname {\mathbf {MDM}^{\operatorname {eff}}}$ decomposes into a p-torsion part and a Voevodsky motive part. We can understand the corollary as a motivic analogue of the relationship between rigid cohomology and log-crystalline cohomology.

In this paper, we prove a decomposition result for the Chow groups of projectivizations of coherent sheaves of homological dimension $\le 1$ . In this process, we establish the decomposition of Chow groups for the cases of the Cayley trick and standard flips. Moreover, we apply these results to study the Chow groups of symmetric powers of curves, nested Hilbert schemes of surfaces, and the varieties resolving Voisin maps for cubic fourfolds.

We give a formula for the cohomological invariants of a root stack, which we apply to compute the cohomological invariants and the Brauer group of the compactification of the stacks of hyperelliptic curves given by admissible double coverings.

This article is about Lehn–Lehn–Sorger–van Straten eightfolds $Z$ and their anti-symplectic involution $\iota$. When $Z$ is birational to the Hilbert scheme of points on a K3 surface, we give an explicit formula for the action of $\iota$ on the Chow group of $0$-cycles of $Z$. The formula is in agreement with the Bloch–Beilinson conjectures and has some non-trivial consequences for the Chow ring of the quotient.

Let Y be a smooth complete intersection of three quadrics, and assume the dimension of Y is even. We show that Y has a multiplicative Chow–Künneth decomposition, in the sense of Shen–Vial. As a consequence, the Chow ring of (powers of) Y displays K3-like behaviour. As a by-product of the argument, we also establish a multiplicative Chow–Künneth decomposition for double planes.

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.