The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and implements a proof strategy which Deligne attributes to Grothendieck. Besides categorical generalities, the proof merely relies on basic properties of exterior powers and the classification of finitely generated modules over a principal ideal domain.
Using related ideas (but less elementary means) we also present an alternative characterization of Tannakian categories among the more general weakly Tannakian categories. As an application of this result we can construct from any right exact symmetric monoidal abelian category with simple unit object a universal Tannakian category associated to it.
We introduce and develop the notion of scalar extension for abelian categories. Given a field extension F'/F, to every F-linear abelian category A satisfying a suitable finiteness condition we associate an F'-linear abelian category A' and an exact F-linear functor t: A --> A'. This functor is universal among F-linear right exact functors with target an F'-linear abelian category. We discuss various basic properties of this concept, among others compatibilities with multilinear endofunctors such as tensor products, and the permanence of favourable properties of the functors and categories invo…
We study fiber functors on Tannakian categories which are equipped with a grading or a filtration. Our goal is to give a comprehensive set of foundational results about such functors. A main result is that each filtration on a fiber functor can be split by a grading fpqc-locally on the base scheme.
Given a rigid tensor-triangulated category and a vector space valued homological functor for which the Künneth isomorphism holds, we construct a universal graded-Tannakian category through which the given homological functor factors. We use this to (unconditionally) construct graded-Tannakian categories of pure motives associated to a fixed Weil cohomology theory, with a fiber functor realizing the given cohomology theory. For $\ell$-adic cohomology and a ground field which is algebraic over a finite field, this category is Tannakian. In this case, we obtain in particular motivic Galois groups…
For a large class of geometric objects, the passage to categories of quasi-coherent sheaves provides an embedding in the 2-category of abelian tensor categories. The notion of weakly Tannakian categories introduced by the author gives a characterization of tensor categories in the image of this embedding. However, this notion requires additional structure to be present, namely a fiber functor. For the case of classical Tannakian categories in characteristic zero, Deligne has found intrinsic properties - expressible entirely within the language of tensor categories - which are necessary and suf…
We establish a duality between flat affine group schemes and rigid tensor categories equipped with a neutral fiber functor (called Tannakian lattice), both defined over a Dedekind ring. We use this duality and the known Tannakian duality due to Saavedra to study morphisms between flat affine group schemes. Next, we apply our new duality to the category of stratified sheaves on a smooth scheme over a Dedekind ring R to define the relative differential fundamental group scheme of the given scheme and compare the fibers of this group scheme with the fundamental group scheme of the fibers. When R …
We explain why every non-trivial exact tensor functor on the triangulated category of mixed motives over a field F has zero kernel, if one assumes "all" motivic conjectures. In other words, every non-zero motive generates the whole category up to the tensor triangulated structure. Under the same assumptions, we also give a complete classification of triangulated étale motives over F with integral coefficients, up to the tensor triangulated structure, in terms of the characteristic and the orderings of F.
We develop a Tannakian framework for group-theoretic analogs of displays, originally introduced by Bültel and Pappas, and further studied by Lau. We use this framework to define Rapoport-Zink functors associated to triples $(G,\{μ\},[b])$, where $G$ is a flat affine group scheme over $\mathbb{Z}_p$ and $μ$ is a cocharacter of $G$ defined over a finite unramified extension of $\mathbb{Z}_p$. We prove these functors give a quotient stack presented by Witt vector loop groups, thereby showing our definition generalizes the group-theoretic definition of Rapoport-Zink spaces given by Bültel and Papp…
In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka duality. As a consequence, we deduce that an algebraic stack satisfying a certain condition can be recovered from the stable infinity-category of quasi-coherent complexes with tensor operation.
Motivated by rational homotopy theory, we study a representable presheaf of groups $\mathbf{\mathfrak{P}}$ on the homotopy category of cocommutative differential graded coalgebras, its Lie algebraic counterpart and its linear representations. We prove a Tannaka type reconstruction theorem that $\mathbf{\mathfrak{P}}$ can be recovered from the dg-category of its linear representations along with the forgetful dg-functor to the underlying dg-category of chain complexes.
This paper is a complement to the paper "On $p$-adic differential equations on semistable varieties" written by V. Di Proietto. Given an open variety over a DVR with semistable reduction, the author constructed in that paper a fully faithful algebraization functor from the category of certain log overconvergent isocrystals on the special fiber to the category of modules with regular integrable connection on the generic fiber. In this paper, we prove that, with convenable hypothesis, this functor is a tensor functor whose essential image is closed under extensions and subquotients. As a consequ…
We develop a basic theory of affine group dg-schemes, their Lie algebraic counterparts and linear representations. We prove Tannaka type reconstruction theorems that an affine group dg-scheme can be recovered from the dg-tensor category of its linear representations as well as from the rigid dg-tensor category of its finite dimensional linear representations along with the forgetful functors to the underlying dg-tensor category of cochain complexes.
This paper proves the Beilinson-Soul{é} vanishing conjecture for motives attached to the moduli spaces of curves of genus 0 with n marked points. As part of the proof, it is also proved that these motives are mixed Tate. As a consequence of Levine's work, one obtains then well defined categories of mixed Tate motives over the moduli spaces of curves . It is shown that morphisms between moduli spaces forgetting marked points and embedding as boundary components induce functors between those categories and how tangential bases points fit in these functorialities. Tannakian formalism attaches gro…
In this article we further the study of noncommutative numerical motives. By exploring the change-of-coefficients mechanism, we start by improving some of our previous main results. Then, making use of the notion of Schur-finiteness, we prove that the category NNum(k)_F of noncommutative numerical motives is (neutral) super-Tannakian. As in the commutative world, NNum(k)_F is not Tannakian. In order to solve this problem we promote periodic cyclic homology to a well-defined symmetric monoidal functor HP on the category of noncommutative Chow motives. This allows us to introduce the correct non…
We lay the foundations for a model theoretic study of proalgebraic groups. Our axiomatization is based on the tannakian philosophy. Through a tensor analog of skeletal categories we are able to consider neutral tannakian categories with a fibre functor as many-sorted first order structures. The class of diagonalizable proalgebraic groups is analyzed in detail. We show that the theory of a diagonalizable proalgebraic group $G$ is determined by the theory of the base field and the theory of the character group of $G$. Some initial steps towards a comprehensive study of types are also made.
We address the uniqueness problem of dg-lifts of exact functors between triangulated categories, and its relationship with the uniqueness problem of Fourier-Mukai kernels. We prove a positive result under a vanishing hypothesis on the functors, employing A_infty-categorical techniques.
We present an elementary proof of the fact that every torsor for an affine group scheme over an algebraically closed field is trivial. This is related to the uniqueness of fibre functors on neutral tannakian categories.
We study the constant term functor for $\mathbb{F}_p$-sheaves on the affine Grassmannian in characteristic $p$ with respect to a Levi subgroup. Our main result is that the constant term functor induces a tensor functor between categories of equivariant perverse $\mathbb{F}_p$-sheaves. We apply this fact to get information about the Tannakian monoids of the corresponding categories of perverse sheaves. As a byproduct we also obtain geometric proofs of several results due to Herzig on the mod $p$ Satake transform and the structure of the space of mod $p$ Satake parameters.
We prove that for any $\mathbb{P}^n$-functor all the convolutions (double cones) of the three-term complex $FHR \xrightarrowψ FR \xrightarrow{tr} Id$ defining its $\mathbb{P}$-twist are isomorphic. We also introduce a new notion of a non-split $\mathbb{P}^n$-functor.
Given a projective family of semi-stable curves over a complete discrete valuation ring of characteristic p with algebraically closed residue field, we construct a specialization functor between the category of continuous representations of the pro-étale fundamental group of the closed fibre and the category of stratified bundles on the geometric generic fibre. By Tannakian duality, this functor induces a morphism between the corresponding affine group schemes. We show that this morphism is a lifting of the specialization map, constructed by Grothendieck, between the étale fundamental groups.
A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine functors are equal to a direct limit of affine schemes and that affine schemes, formal schemes, the completion of affine schemes along a closed subscheme, etc., are affine functors. Endowing an affine functor $\mathbb X$ with a functor of monoids structure is equivalent to endowing $\mathbb A_{\mathbb X}$ with a functor of bialgebras structure. If $\mathbb …
The goal of this paper is to construct a category of motivic "sheaves" on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the categoriesof constructible sheaves for the classical and etale topologies. Moreover, there is a tannakian subcategory of motivic local systems with a realization functor into the category of variations of mixed Hodge structures. Conversely, all basic geometric examples of the latter come from this motivic category.
We prove that the kernels of Fourier-Mukai functors are not unique in general. On the other hand we show that the cohomology sheaves of those kernels are unique. We also discuss several properties of the functor sending an object in the derived category of the product of two smooth projective schemes to the corresponding Fourier-Mukai functor.
We give a Tannakian description for categories of l-adic perverse sheaves on semiabelian varieties which combines a construction of Gabber and Loeser for algebraic tori with a generic vanishing theorem for the cohomology of constructible sheaves on abelian varieties. As an application we explain how the arising Tannaka groups on abelian varieties can be studied in terms of semiabelian degenerations via the functor of nearby cycles.
We prove a uniqueness result of dg-lifts for the derived pushforward and pullback functors of a flat morphism between separated Noetherian schemes, between the unbounded or bounded below derived categories of quasi-coherent sheaves. The technique is purely algebraic-categorical and involves reconstructing dg-lifts uniquely from their restrictions to the subcategories of injective objects.
This paper surveys the recent advances concerning the relations between triangulated (or derived) categories and their dg enhancements. We explain when some interesting triangulated categories arising in algebraic geometry have a unique dg enhancement. This is the case, for example, for the unbounded derived category of quasi-coherent sheaves on an algebraic stack or for its full triangulated subcategory of perfect complexes. Moreover we give an account of the recent results about the possibility to lift exact functors between the bounded derived categories of coherent sheaves on smooth scheme…
The paper contains general results on the uniqueness of a DG enhancement for triangulated categories. As a consequence we obtain such uniqueness for the unbounded categories of quasi-coherent sheaves, for the triangulated categories of perfect complexes, and for the bounded derived categories of coherent sheaves on quasi-projective schemes. If a scheme is projective then we also prove a strong uniqueness for the triangulated category of perfect complexes and for the bounded derived categories of coherent sheaves. These results directly imply that fully faithful functors from the bounded derive…
This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to present several applications of this theory in commutative and noncommutative algebra. The emphasis is on constructions and examples, rather than on axiomatics. Here are the topics covered in the book: - A review of standard facts on abelian categories. - Differential graded algebra (DG rings, DG modules, DG categories and DG functors). - Triangulated categ…
Making use of the theory of noncommutative motives, we characterize the topological Dennis trace map as the unique multiplicative natural transformation from algebraic K-theory to topological Hochschild homology (THH) and the cyclotomic trace map as the unique multiplicative lift through topological cyclic homology (TC). Moreover, we prove that the space of all multiplicative structures on algebraic K-theory is contractible. We also show that the algebraic K-theory functor from small stable infinity categories to spectra is lax symmetric monoidal, which in particular implies that E_n ring spec…
