We present an alternate proof of Giraud's Theorem based on the fact that given the conditions on a category E for being a topos, its objects are sheaves by construction. Generalizing sets to R-modules for R a commutative ring, we prove that a category with small hom-sets and finite limits is equivalent to a category of sheaves of R-modules on a site if and only if it satisfies Giraud's axioms and in addition is enriched in a certain symmetric monoidal category parametrized by an R-module.
Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely convenient global atlas, i.e. the path space, which permits an immediate importation of the familiar definitions of homotopy groups and covering spaces as encountered in elementary text books. In the second place, it provides the adjoint to Giraud's co-homology, i.e. the homotopy 2-group $Π_2$, by way of the 2-Galois theory of covering champs. In the suffic…
After recalling basic definitions and constructions for a finite group $G$ action on a $k$-linear category we give a concise proof of the following theorem of Elagin: if $\mathcal{C} = \langle \mathcal{A}, \mathcal{B} \rangle$ is a semiorthogonal decomposition of a triangulated category which is preserved by the action of $G$, and $\mathcal{C}^G$ is triangulated, then there is a semiorthogonal decomposition $\mathcal{C}^G = \langle \mathcal{A}^G, \mathcal{B}^G \rangle$. We also prove that any $G$-action on $\mathcal{C}$ is weakly equivalent to a strict $G$-action which is the analog of the Coh…
We study cocoverings of triangulated categories, in the sense of Rouquier, and prove that for any regular cardinal $α$ the condition of $α$-compactness, in the sense of Neeman, is local with respect to such cocoverings. This was established for ordinary compactness by Rouquier. Our result yields a new technique for proving that a given triangulated category is well-generated. As an application we describe the $α$-compact objects in the unbounded derived category of a quasi-compact semi-separated scheme.
We use an idea of Rosenberg to prove a reconstruction theorem for abelian categories of alpha-twisted quasi-coherent sheaves on quasi-compact and quasi-separated schemes X when alpha is in the Brauer group of X. By applying the work of Toën on derived Azumaya algebras, we give a proof of Căldăraru's conjecture.
We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the theorem to (quasi-compact and separated) algebraic spaces. Using more advanced technology (and assuming flatness) we also give a proof of the folklore result that the group of autoequivalences of the category of quasi-coherent sheaves consists of automorphisms of the underlying space and twists by line bundles. We apply our strategy to prove analogous statement…
This is the first article in an upcoming series of papers. They have arisen through an attempt to answer open questions of Deligne proposed in "Le determinant de la cohomologie", Contemp. Mathematics 67 (1987). It amounts to functorial and metrized versions of the Grothendieck-Riemann-Roch theorem, as well as a Lefschetz-Riemann-Roch formula in the sense of Thomason, cf. "Lefschetz-Riemann-Roch theorem and coherent trace formula" Ann. Sci. Ec. Norm. Sup. 18 (1985), Theorem 3.5. In this article we treat various preliminary results on virtual categories which are the categories where the Deligne…
We define and study the functorial spectrum for every triangulated tensor category. A reconstruction result for topologically noetherian schemes similar to (and based on) a theorem by Balmer is proved. An alternative proof of the reconstruction theorem by Bondal-Orlov for smooth projective varieties with ample (anti-)canonical bundles is given.
Smooth and proper dg-algebras have an Euler class valued in the Hochschild homology of the algebra. This Euler class is worthy of this name since it satisfies many familiar properties including compatibility with the familiar pairing on the Hochschild homology of the algebra and that of its opposite. This compatibility is the Riemann-Roch theorems of Shklyarov and Petit. In this paper we prove a broad generalization of these Riemann-Roch theorems. We generalize from the bicategory of dg-algebras and their bimodules to monoidal bicategories and from Euler class to traces of non identity maps. O…
We prove a Kn"orrer periodicity type equivalence between derived factorization categories of gauged LG models, which is an analogy of a theorem proved by Shipman and Isik independently. As an application, we obtain a gauged LG version of Orlov's theorem describing a relationship between categories of graded matrix factorizations and derived categories of hypersurfaces in projective spaces, by combining the above Kn"orrer periodicity type equivalence and the theory of variations of GIT quotients due to Ballard, Favero and Katzarkov.
This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient stack which admits a stratification of the kind arising in geometric invariant theory. The use of derived algebraic geometry leads to results with pleasingly few hypotheses, even when the stack is not smooth. Using the same methods, we establish a "virtual non-abelian localization theorem" which is a K-theoretic analog of the virtual localization theorem in…
We prove two theorems on the derived categories of toric varieties, the existence of an exceptional collection consisting of sheaves for a divisorial extraction and the finiteness of Fourier-Mukai partners.
The main theorem in this paper is that the base change functor from a noetherian abelian category to its noetherian polynomial category induces an isomorphism on K-theory. The main theorem implies the well-known fact that A^1-homotopy invariance of K'-theory for noetherian schemes.
We give criteria for the existence of a Serre functor on the derived category of a gauged Landau-Ginzburg model. This is used to provide a general theorem on the existence of an admissible (fractional) Calabi-Yau subcategory of a gauged Landau-Ginzburg model and a geometric context for crepant categorical resolutions. We explicitly describe our framework in the toric setting. As a consequence, we generalize several theorems and examples of Orlov and Kuznetsov, ending with new examples of semi-orthogonal decompositions containing (fractional) Calabi-Yau categories.
The purpose of this short note is to present two existence results concerning symplectic and lagrangian structures in the derived setting, in situations where the constructions of [Ca] and [PTVV] do not apply. For this we show that symplectic structures can be constructed out of Calabi-Yau structures on sheaves of dg-categories, or out of \emph{orientations} on sheaves of rigid dg-categories. These results follow from two main theorems: the HKR theorem and the cyclotomic aspect of traces in rigid infty-categories.
We give an exposition of the formal aspects of deformation theory in the language of fibered categories, instead of the more traditional one of functors. The main concepts are that of tangent space to a deformation problem, obstruction theory, versal and universal formal deformations. We include proofs of two key results: a versione of Schlessinger's Theorem in this context, and the Ran--Kawamata vanishing theorem for obstructions. We accompany this with a detailed analysis of three important cases: smooth varieties, local complete intersection subschemes and coherent sheaves.
In this survey we present the relatively new concept of \emph{approximable triangulated categories.} We will show that the definition is natural, that it leads to powerful new results, and that it throws new light on old, familiar objects. In particular: a recent theorem says that the category $D_{\text{qc}}(X)$ is approximable whenever $X$ is a quasicompact separated scheme. As corollaries of this (seemingly technical) statement one can prove striking improvements on old theorems by Bondal, Rickard, Rouquier and Van den Bergh, about the (much smaller) categories $D^{\text{perf}}(X)$ and $D^b_…
Let $k$ be an algebraically closed field of exponential characteristic $p$. Given any prime $\ell\neq p$, we construct a stable étale realization functor $$\underline{\text{Ét}}_{\ell}:\text{Spt}(k)\rightarrow \text{Pro}(\text{Spt})^{H\mathbb{Z}/\ell}$$ from the stable $\infty$-category of motivic $\mathbb{P}^1$-spectra over $k$ to the stable $\infty$-category of $(H\mathbb{Z}/\ell)^*$-local pro-spectra (see section 3 for definition). This is induced by the étale topological realization functor á la Friedlander. The constant presheaf functor naturally induces the functor \[\text{SH}[1/p]\right…
We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the construction of quotient abelian categories by Serre subcategories. We prove that the equivariantization of the graded module category over a graded ring is equivalent to the graded module category over the same ring but with a different grading. We deduce from these results two equivalences between the category of (equivariant) coherent sheaves on a weighte…
