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$.

Inspired by symplectic geometry and a microlocal characterizations of perverse (constructible) sheaves we consider an alternative definition of perverse coherent sheaves. We show that a coherent sheaf is perverse if and only if $R{\rm\Gamma}_{Z}{\mathcal{F}}$ is concentrated in degree $0$ for special subvarieties $Z$ of $X$. These subvarieties $Z$ are analogs of Lagrangians in the symplectic case.

We prove that the group of normalized cohomological invariants of degree $3$ modulo the subgroup of semidecomposable invariants of a semisimple split linear algebraic group $G$ is isomorphic to the torsion part of the Chow group of codimension-$2$ cycles of the respective versal $G$-flag. In particular, if $G$ is simple, we show that this factor group is isomorphic to the group of indecomposable invariants of $G$. As an application, we construct nontrivial cohomological invariants for indecomposable central simple algebras.

In this paper we consider Grassmannians in arbitrary characteristic. Generalizing Kapranov’s well-known characteristic-zero results, we construct dual exceptional collections on them (which are, however, not strong) as well as a tilting bundle. We show that this tilting bundle has a quasi-hereditary endomorphism ring and we identify the standard, costandard, projective and simple modules of the latter.

To study infinitesimal deformation problems with cohomology constraints, we introduce and study cohomology jump functors for differential graded Lie algebra (DGLA) pairs. We apply this to local systems, vector bundles, Higgs bundles, and representations of fundamental groups. The results obtained describe the analytic germs of the cohomology jump loci inside the corresponding moduli space, extending previous results of Goldman–Millson, Green–Lazarsfeld, Nadel, Simpson, Dimca–Papadima, and of the second author.

Let $K$ be a number field. For any system of semisimple mod $\ell$ Galois representations $\{{\it\phi}_{\ell }:\text{Gal}(\bar{\mathbb{Q}}/K)\rightarrow \text{GL}_{N}(\mathbb{F}_{\ell })\}_{\ell }$ arising from étale cohomology (Definition 1), there exists a finite normal extension $L$ of $K$ such that if we denote ${\it\phi}_{\ell }(\text{Gal}(\bar{\mathbb{Q}}/K))$ and ${\it\phi}_{\ell }(\text{Gal}(\bar{\mathbb{Q}}/L))$ by $\bar{{\rm\Gamma}}_{\ell }$ and $\bar{{\it\gamma}}_{\ell }$, respectively, for all $\ell$ and let $\bar{\mathbf{S}}_{\ell }$ be the $\mathbb{F}_{\ell }$-semisimple subgroup of $\text{GL}_{N,\mathbb{F}_{\ell }}$ associated to $\bar{{\it\gamma}}_{\ell }$ (or $\bar{{\rm\Gamma}}_{\ell }$) by Nori’s theory [On subgroups of$\text{GL}_{n}(\mathbb{F}_{p})$, Invent. Math. 88 (1987), 257–275] for sufficiently large $\ell$, then the following statements hold for all sufficiently large $\ell$.

A(i) The formal character of $\bar{\mathbf{S}}_{\ell }{\hookrightarrow}\text{GL}_{N,\mathbb{F}_{\ell }}$ (Definition 1) is independent of $\ell$ and equal to the formal character of $(\mathbf{G}_{\ell }^{\circ })^{\text{der}}{\hookrightarrow}\text{GL}_{N,\mathbb{Q}_{\ell }}$, where $(\mathbf{G}_{\ell }^{\circ })^{\text{der}}$ is the derived group of the identity component of $\mathbf{G}_{\ell }$, the monodromy group of the corresponding semi-simplified $\ell$-adic Galois representation ${\rm\Phi}_{\ell }^{\text{ss}}$.

A(ii) The non-cyclic composition factors of $\bar{{\it\gamma}}_{\ell }$ and $\bar{\mathbf{S}}_{\ell }(\mathbb{F}_{\ell })$ are identical. Therefore, the composition factors of $\bar{{\it\gamma}}_{\ell }$ are finite simple groups of Lie type of characteristic $\ell$ and are cyclic groups.

B(i) The total $\ell$-rank $\text{rk}_{\ell }\bar{{\rm\Gamma}}_{\ell }$ of $\bar{{\rm\Gamma}}_{\ell }$ (Definition 14) is equal to the rank of $\bar{\mathbf{S}}_{\ell }$ and is therefore independent of $\ell$.

B(ii) The $A_{n}$-type $\ell$-rank $\text{rk}_{\ell }^{A_{n}}\bar{{\rm\Gamma}}_{\ell }$ of $\bar{{\rm\Gamma}}_{\ell }$ (Definition 14) for $n\in \mathbb{N}\setminus \{1,2,3,4,5,7,8\}$ and the parity of $(\text{rk}_{\ell }^{A_{4}}\bar{{\rm\Gamma}}_{\ell })/4$ are independent of $\ell$.

Assuming the Tate conjecture and the computability of étale cohomology with finite coefficients, we give an algorithm that computes the Néron–Severi group of any smooth projective geometrically integral variety, and also the rank of the group of numerical equivalence classes of codimension $p$ cycles for any $p$.