For a prime number $p$ , we show that differentials $d_{n}$ in the motivic cohomology spectral sequence with $p$ -local coefficients vanish unless $p-1$ divides $n-1$ . We obtain an explicit formula for the first non-trivial differential $d_{p}$ , expressing it in terms of motivic Steenrod $p$ -power operations and Bockstein maps. To this end, we compute the algebra of operations of weight $p-1$ with $p$ -local coefficients. Finally, we construct examples of varieties having non-trivial differentials $d_{p}$ in their motivic cohomology spectral sequences.

In this paper we demonstrate that non-commutative localizations of arbitrary additive categories (generalizing those defined by Cohn in the setting of rings) are closely (and naturally) related to weight structures. Localizing an arbitrary triangulated category $\text{}\underline{C}$ by a set $S$ of morphisms in the heart $\text{}\underline{Hw}$ of a weight structure $w$ on it one obtains a triangulated category endowed with a weight structure $w^{\prime }$. The heart of $w^{\prime }$ is a certain version of the Karoubi envelope of the non-commutative localization $\text{}\underline{Hw}[S^{-1}]_{\mathit{add}}$ (of $\text{}\underline{Hw}$ by $S$). The functor $\text{}\underline{Hw}\rightarrow \text{}\underline{Hw}[S^{-1}]_{\mathit{add}}$ is the natural categorical version of Cohn’s localization of a ring, i.e., it is universal among additive functors that make all elements of $S$ invertible. For any additive category $\text{}\underline{A}$, taking $\text{}\underline{C}=K^{b}(\text{}\underline{A})$ we obtain a very efficient tool for computing $\text{}\underline{A}[S^{-1}]_{\mathit{add}}$; using it, we generalize the calculations of Gerasimov and Malcolmson (made for rings only). We also prove that $\text{}\underline{A}[S^{-1}]_{\mathit{add}}$ coincides with the ‘abstract’ localization $\text{}\underline{A}[S^{-1}]$ (as constructed by Gabriel and Zisman) if $S$ contains all identity morphisms of $\text{}\underline{A}$ and is closed with respect to direct sums. We apply our results to certain categories of birational motives $DM_{gm}^{o}(U)$ (generalizing those defined by Kahn and Sujatha). We define $DM_{gm}^{o}(U)$ for an arbitrary $U$ as a certain localization of $K^{b}(Cor(U))$ and obtain a weight structure for it. When $U$ is the spectrum of a perfect field, the weight structure obtained this way is compatible with the corresponding Chow and Gersten weight structures defined by the first author in previous papers. For a general $U$ the result is completely new. The existence of the corresponding adjacent$t$-structure is also a new result over a general base scheme; its heart is a certain category of birational sheaves with transfers over $U$.

We clarify the relationship between Grothendieck duality à la Neeman and the Wirthmüller isomorphism à la Fausk–Hu–May. We exhibit an interesting pattern of symmetry in the existence of adjoint functors between compactly generated tensor-triangulated categories, which leads to a surprising trichotomy: there exist either exactly three adjoints, exactly five, or infinitely many. We highlight the importance of so-called relative dualizing objects and explain how they give rise to dualities on canonical subcategories. This yields a duality theory rich enough to capture the main features of Grothendieck duality in algebraic geometry, of generalized Pontryagin–Matlis duality à la Dwyer–Greenless–Iyengar in the theory of ring spectra, and of Brown–Comenetz duality à la Neeman in stable homotopy theory.

Given a family of varieties $X\rightarrow \mathbb{P}^{n}$ over a number field, we determine conditions under which there is a Brauer–Manin obstruction to weak approximation for 100% of the fibres which are everywhere locally soluble.

We consider the distribution of the polygonal paths joining partial sums of classical Kloosterman sums $\text{Kl}_{p}(a)$, as $a$ varies over $\mathbf{F}_{p}^{\times }$ and as $p$ tends to infinity. Using independence of Kloosterman sheaves, we prove convergence in the sense of finite distributions to a specific random Fourier series. We also consider Birch sums, for which we can establish convergence in law in the space of continuous functions. We then derive some applications.

We define truncated displays over rings in which a prime $p$ is nilpotent, we associate crystals to truncated displays, and we define functors from truncated displays to truncated Barsotti–Tate groups.

We show that the subcategory of mixed Tate motives in Voevodsky’s derived category of motives is not closed under infinite products. In fact, the infinite product $\prod _{n=1}^{\infty }\mathbf{Q}(0)$ is not mixed Tate. More generally, the inclusions of several subcategories of motives do not have left or right adjoints. The proofs use the failure of finite generation for Chow groups in various contexts. In the positive direction, we show that for any scheme of finite type over a field whose motive is mixed Tate, the Chow groups are finitely generated.

Let $k=\mathbb{C}$ be the field of complex numbers. In this article we construct Hodge realization functors defined on the triangulated categories of étale motives with rational coefficients. Our construction extends to every smooth quasi-projective $k$-scheme, the construction done by Nori over a field, and relies on the original version of the basic lemma proved by Beĭlinson. As in the case considered by Nori, the realization functor factors through the bounded derived category of a perverse version of the Abelian category of Nori motives.

We show that the torsion in the group of indecomposable $(2,1)$-cycles on a smooth projective variety over an algebraically closed field is isomorphic to a twist of its Brauer group, away from the characteristic. In particular, this group is infinite as soon as $b_{2}-{\it\rho}>0$. We derive a new insight into Roǐtman’s theorem on torsion $0$-cycles over a surface.

We consider the rigid monoidal category of character sheaves on a smooth commutative group scheme $G$ over a finite field $k$, and expand the scope of the function-sheaf dictionary from connected commutative algebraic groups to this setting. We find the group of isomorphism classes of character sheaves on $G$, and show that it is an extension of the group of characters of $G(k)$ by a cohomology group determined by the component group scheme of $G$. We also classify all morphisms in the category character sheaves on $G$. As an application, we study character sheaves on Greenberg transforms of locally finite type Néron models of algebraic tori over local fields. This provides a geometrization of quasicharacters of $p$-adic tori.

We show that there are no non-trivial stratified bundles over a smooth simply connected quasi-projective variety over an algebraic closure of a finite field if the variety admits a normal projective compactification with boundary locus of codimension greater than or equal to $2$.

We define a theory of étale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of these categories coincides with the triangulated categories of Beilinson motives (and is thus strongly related to algebraic $K$-theory). We extend the rigidity theorem of Suslin and Voevodsky over a general base scheme. This can be reformulated by saying that torsion étale motives essentially coincide with the usual complexes of torsion étale sheaves (at least if we restrict ourselves to torsion prime to the residue characteristics). As a consequence, we obtain the expected results of absolute purity, of finiteness, and of Grothendieck duality for étale motives with integral coefficients, by putting together their counterparts for Beilinson motives and for torsion étale sheaves. Following Thomason’s insights, this also provides a conceptual and convenient construction of the $\ell$-adic realization of motives, as the homotopy $\ell$-completion functor.

Consider an elliptic curve defined over an imaginary quadratic field K with good reduction at the primes above p ≥ 5 and with complex multiplication by the full ring of integers of K. In this paper, we construct p-adic analogues of the Eisenstein-Kronecker series for such an elliptic curve as Coleman functions on the elliptic curve. We then prove p-adic analogues of the first and second Kronecker limit formulas by using the distribution relation of the Kronecker theta function.

We find two natural spherical functors associated to the Kummer surface and analyze how their induced twists fit with Bridgeland's conjecture on the derived autoequivalence group of a complex algebraic K3 surface.

We prove that the coherent cohomology of a proper morphism of noetherian schemes can be made arbitrarily $p$-divisible by passage to proper covers (for a fixed prime $p$). Under some extra conditions, we also show that $p$-torsion can be killed by passage to proper covers. These results are motivated by the desire to understand rational singularities in mixed characteristic, and have applications in $p$-adic Hodge theory.

In this paper we introduce and motivate the concept of orientation data, as it appears in the framework for motivic Donaldson–Thomas theory built by Kontsevich and Soibelman. By concentrating on a single simple example we explain the role of orientation data in defining the integration map, a central component of the wall crossing formula.

We prove that the higher direct images of the structure sheaf under a birational and projective morphism between excellent and regular schemes vanish.

We give a complete classification of globally generated vector bundles of rank 3 on a smooth quadric threefold with c1 ≤ 2 and extend the result to arbitrary higher rank case. We also investigate the existence of globally generated indecomposable vector bundles, and give the sufficient and necessary conditions on numeric data of vector bundles for indecomposability.

A technical ingredient in Faltings’ original approach to $p$-adic comparison theorems involves the construction of $K({\it\pi},1)$-neighborhoods for a smooth scheme $X$ over a mixed characteristic discrete valuation ring with a perfect residue field: every point $x\in X$ has an open neighborhood $U$ whose generic fiber is a $K({\it\pi},1)$ scheme (a notion analogous to having a contractible universal cover). We show how to extend this result to the logarithmically smooth case, which might help to simplify some proofs in $p$-adic Hodge theory. The main ingredient of the proof is a variant of a trick of Nagata used in his proof of the Noether normalization lemma.

Given a mixed Hodge module $\mathcal{N}$ and a meromorphic function $f$ on a complex manifold, we associate to these data a filtration (the irregular Hodge filtration) on the exponentially twisted holonomic module $\mathcal{N}\otimes \mathcal{E}^{f}$, which extends the construction of Esnault et al. ($E_{1}$-degeneration of the irregular Hodge filtration (with an appendix by Saito), J. reine angew. Math. (2015),doi:10.1515/crelle-2014-0118). We show the strictness of the push-forward filtered ${\mathcal{D}}$-module through any projective morphism ${\it\pi}:X\rightarrow Y$, by using the theory of mixed twistor ${\mathcal{D}}$-modules of Mochizuki. We consider the example of the rescaling of a regular function $f$, which leads to an expression of the irregular Hodge filtration of the Laplace transform of the Gauss–Manin systems of $f$ in terms of the Harder–Narasimhan filtration of the Kontsevich bundles associated with $f$.