In this paper we present the notion of ``Deligne localized functors'', an avatar of the derived functors, whose definition is inspired by Deligne in [SGA 4,XVII]. Their definition involves the notions of Ind and Pro categories, they always exist and are characterized in terms of universal properties. The classical localized functor, in the sense of Grothendieck and Verdier, exists if suitable conditions are verified for the Deligne localized functors. We apply these notions to triangulated and derived categories.
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…
Under some assumptions we prove that the Deligne tensor product of categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X\times Y. The Deligne external tensor product functor is identified with the geometrical external tensor product.
Gluing of two pseudo functors has been studied by Deligne, Ayoub, and others in the construction of extraordinary direct image functors in étale cohomology, stable homotopy, and mixed motives of schemes. In this article, we study more generally the gluing of finitely many pseudo functors. Given pseudo functors $F_i\colon \mathcal{A}_i\to \mathcal{D}$ defined on sub-$2$-categories $\mathcal{A}_i$ of a $2$-category $\mathcal{C}$, we are concerned with the problem of finding pseudo functors $\mathcal{C}\to \mathcal{D}$ extending $F_i$ up to pseudo natural equivalences. With the help of $n$-fold c…
We define a faithful linear monoidal functor from the partition category, and hence from Deligne's category $\mathrm{\underline{Re}p}(S_t)$, to the Heisenberg category. We show that the induced map on Grothendieck rings is injective and corresponds to the Kronecker coproduct on symmetric functions.
In this note, we discuss the derived functors of infinite products and homotopy limits. $QC(X)$, the category of quasi-coherent sheaves on a Deligne-Mumford stack $X$, usually has the property that the derived functors of product vanish after a finite stage. We use this fact to study the convergence of certain homotopy limits and apply it compare the derived category of $QC(X)$ with certain other closely related triangulated categories.
We show that in the Deligne categories $\mathrm{Rep}(S_t)$ for $t$ a transcendental number, the only simple algebra objects are images of simple algebras in the category of representations of a symmetric group under a canonical induction functor. They come in families which interpolate the families of algebras of functions on the cosets of $H\times S_{n-k}$ in $S_n$, for a fixed subgroup $H$ of $S_k$.
We obtain Morita invariant versions of Eilenberg-Watts type theorems, relating Deligne products of finite linear categories to categories of left exact as well as of right exact functors. This makes it possible to switch between different functor categories as well as Deligne products, which is often very convenient. For instance, we can show that applying the equivalence from left exact to right exact functors to the identity functor, regarded as a left exact functor, gives a Nakayama functor. The equivalences of categories we exhibit are compatible with the structure of module categories ove…
We establish a connection between two settings of representation stability for the symmetric groups $S_n$ over $\mathbb{C}$. One is the symmetric monoidal category ${\rm Rep}(S_{\infty})$ of algebraic representations of the infinite symmetric group $S_{\infty} = \bigcup_n S_n$, related to the theory of ${\bf FI}$-modules. The other is the family of rigid symmetric monoidal Deligne categories $\underline{\rm Rep}(S_t)$, $t \in \mathbb{C}$, together with their abelian versions $\underline{\rm Rep}^{ab}(S_t)$, constructed by Comes and Ostrik. We show that for any $t \in \mathbb{C}$ the natural fu…
In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair (LF,RG). In particular, canonicity of this passage becomes obvious. 2nd version: added comparison to Deligne's definition (SGA4) and a discussion of diagrams of derived functors. Introduction rewritten and references added. 3rd version: description of Kan extensions in terms of correspondences more detailed. 4th version: the final version accepted to HHA.
We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical description of which stacks arise as the functor of points of such objects. We choose to model higher orbifolds and Deligne-Mumford stacks as infinity-topoi equipped with a structure sheaf, thus naturally generalizing the work of Lurie, but our approach applies not only to different settings of algebraic geometry such as classical algebraic geometry, derived al…
We prove a version of the Deligne conjecture for $n$-fold monoidal abelian categories $A$ over a field $k$ of characteristic 0, assuming some compatibility and non-degeneracy conditions for $A$. The output of our construction is a weak Leinster $(n,1)$-algebra over $k$, a relaxed version of the concept of Leinster $n$-algebra in $Alg(k)$. The difference between the Leinster original definition and our relaxed one is apparent when $n>1$, for $n=1$ both concepts coincide. We believe that there exists a functor from weak Leinster $(n,1)$-algebras over $k$ to $C(E_{n+1},k)$-algebras, well-defined …
We propose a conjectural extension to positive characteristic case of a well known Deligne's theorem on the existence of super fiber functors. We prove our conjecture in the special case of semisimple categories with finitely many isomorphism classes of simple objects.
In our recent paper [Sh1] a version of the "generalized Deligne conjecture" for abelian $n$-fold monoidal categories is proven. For $n=1$ this result says that, given an abelian monoidal $k$-linear category $\mathscr{A}$ with unit $e$, $k$ a field of characteristic 0, the dg vector space $\mathrm{RHom}_{\mathscr{A}}(e,e)$ is the first component of a Leinster 1-monoid in $\mathscr{A}lg(k)$ (provided a rather mild condition on the monoidal and the abelian structures in $\mathscr{A}$, called homotopy compatibility, is fulfilled). In the present paper, we introduce a new concept of a ${\it graded}…
The categorical formulation of the Eilenberg-Watts calculus relates, for any pair of finite categories M and N, the finite categories Fun^{le}(N,M) and Fun^{re}(N,M) of linear left or right exact functors and the Deligne product \bar N \boxtimes M by adjoint equivalences. We establish a variant of this calculus for the case that the finite categories M and N are module categories over a finite tensor category. This provides in particular canonical and explicitly computable equivalences between categories of left or right exact module functors (or, more generally, balanced functors) and certain…
In this paper we study the question of how to transfer homotopic structure from the category sD of simplicial objects in a fixed category D to D. To this end we use a sort of homotopy colimit s : sD --> D, which we call simple functor. For instance, the Bousfield-Kan homotopy colimit in a Quillen simplicial model category is an example of simple functor. As a remarkable example outside the setting of Quillen models we include Deligne simple of mixed Hodge complexes. We prove here that the simple functor induces an equivalence on the corresponding localized categories. We also describe a natura…
Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper we study the more complicated setup where we have two pushforwards (an "additive" and a "multiplicative" one), satisfying a distributivity relation. Such structures can be described in terms of bispans (or polynomial diagrams). We show that there exist $(\infty,2)$-categories of bispans, characterized by a universal property: they corepresent functors out of $\infty$-cat…
In this paper we introduce a new approach to determinant functors which allows us to extend Deligne's determinant functors for exact categories to Waldhausen categories, (strongly) triangulated categories, and derivators. We construct universal determinant functors in all cases by original methods which are interesting even for the known cases. Moreover, we show that the target of each universal determinant functor computes the corresponding $K$-theory in dimensions 0 and 1. As applications, we answer open questions by Maltsiniotis and Neeman on the $K$-theory of (strongly) triangulated catego…
Much of the homotopical and homological structure of the categories of chain complexes and topological spaces can be deduced from the existence and properties of the 'simple' functors Tot : {double chain complexes} -> {chain complexes} and geometric realization : {sSets} -> {Top}, or similarly, Tot : {simplicial chain complexes} -> {chain complexes} and | | : {sTop} -> {Top}. The purpose of this thesis is to abstract this situation, and to this end we introduce the notion of '(co)simplicial descent category'. It is inspired by Guillen-Navarros's '(cubical) descent categories'. The key ingredie…
We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors, idempotent completion and weak idempotent completeness. We then show that it is possible to construct the derived category of an exact category without any embedding into abelian categories and we sketch Deligne's approach to derived functors. The construction of classical derived functors with values in an abelian category painlessly translates to exact ca…
