Derived categories of sheaves on singular schemes with an application to reconstruction

We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We introduce the notions of pseudo-adjoints and Rouquier functors and study them. As an application of these ideas and results, we extend the reconstruction result of Bondal and Orlov to Gorenstein projective varieties.     

A note on semiorthogonal indecomposability of some Cohen-Macaulay varieties

In this short note, we observe that the criterion proven in [12] for semiorthogonal indecomposability of the derived category of smooth DM stacks based on the canonical bundle can be extended to the case of projective varieties with Cohen-Macaulay singularities. As a consequence, all projective curves of positive arithmetic genus have weakly indecomposable bounded derived categories and indecomposable categories of perfect complexes.     

Lefschetz fixed point theorems for Fourier–Mukai functors and DG algebras

We propose some variants of Lefschetz fixed point theorem for Fourier–Mukai functors on a smooth projective algebraic variety. Independently we also suggest a similar theorem for endo-functors on the category of perfect modules over a smooth and proper DG algebra.     

Differential graded versus simplicial categories

We establish a connection between differential graded and simplicial categories by constructing a three-step zig-zag of Quillen adjunctions relating the homotopy theories of the two. In an intermediate step, we extend the Dold-Kan correspondence to a Quillen equivalence between categories enriched over non-negatively graded complexes and categories enriched over simplicial modules. As an application, we obtain a simple calculation of Simpson's homotopy fiber, which is known to be a key step in the construction of a moduli stack of perfect complexes on a smooth projective variety.     

Hereditary noetherian categories of positive Euler characteristic

We develop the fundamentals of hereditary noetherian categories with Serre duality over an arbitrary field k, where the category of coherent sheaves over a smooth projective curve over k serves as the prime example and others are coming from the representation theory of finite dimensional algebras. The proper way to view such a category is to think of coherent sheaves on a possibly non-commutative smooth projective curve. We define for each such category notions like function field and Euler characteristic, determine its Auslander-Reiten components and study stable and semistable bundles for an appropriate notion of degree. We provide a complete classification of hereditary noetherian categories for the case of positive Euler characteristic by relating these to finite dimensional representations of (locally bounded) hereditary k-algebras whose underlying valued quiver admits a positive additive function. Dedicated to Otto Kerner on the occasion of his 60th birthday     

Constructibilité de de Rham p-adique

We use the theory of special modules to define the category of de Rham p-adic complexes on a smooth scheme over a perfect field and we prove a constructibility criterion implying the first finiteness properties.     

Deformation-obstruction theory for complexes via Atiyah and Kodaira–Spencer classes

We give a universal approach to the deformation-obstruction theory of objects of the derived category of coherent sheaves over a smooth projective family. We recover and generalise the obstruction class of Lowen and Lieblich, and prove that it is a product of Atiyah and Kodaira–Spencer classes. This allows us to obtain deformation-invariant virtual cycles on moduli spaces of objects of the derived category on threefolds.     

The homotopy category of complexes of projective modules

The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite derived category of right-modules.     

Semi-orthogonal decomposability of the derived category of a curve

We show that the bounded derived category of coherent sheaves on a smooth projective curve except the projective line admits no non-trivial semi-orthogonal decompositions.     

Sur la catégorie Db,G(X) pour G réductif fini

In this Note, we are interested in the G-equivariant derived category of a smooth projective scheme over an algebraically closed field k, on which a reductive finite group G is acting. We compare the G-equivariant derived category of X with the derived category of the quotient by giving a descent criterion. The result generalizes a theorem of Lønsted in G-equivariant K-theory on curves (K. Lønsted, J. Math. Kyoto Univ. 23 (4) (1983) 775–793). We also give an equivariant version of Be??linson's equivalence of categories (Funct. Anal. Appl. 12 (1979) 214–216) and treat the exemple of the projective line. To cite this article: S. Térouanne, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Locally projective monoidal model structure for complexes of quasi-coherent sheaves on P1(k)

We will generalize the projective model structure in the categoryof unbounded complexes of modules over a commutative ring tothe category of unbounded complexes of quasi-coherent sheavesover the projective line. Concretely we will define a locallyprojective model structure in the category of complexes of quasi-coherentsheaves on the projective line. In this model structure thecofibrant objects are the dg-locally projective complexes. Wealso describe the fibrations of this model structure and showthat the model structure is monoidal. We point out that thismodel structure is necessarily different from other known modelstructures such as the injective model structure and the locallyfree model structure.     

Tannaka duality for proper Lie groupoids

By replacing the category of smooth vector bundles of finite rank over a manifold with the category of what we call smooth Euclidean fields, which is a proper enlargement of the former, and by considering smooth actions of Lie groupoids on smooth Euclidean fields, we are able to prove a Tannaka duality theorem for proper Lie groupoids. The notion of smooth Euclidean field we introduce here is the smooth, finite dimensional analogue of the usual notion of continuous Hilbert field.     

On the Kernel of the Reciprocity Map of Normal Surfaces over Finite Fields

The reciprocity map of a smooth proper variety over a finite field is known to have a trivial kernel and dense image. In this paper, we investigate the reciprocity map of a normal surface proper over a finite field and give two examples of normal projective surfaces whose reciprocity maps are not injective.     

Higher Intersection Theory on Algebraic Stacks: II

This is the second part of our work on the intersection theory of algebraic stacks. The main results here are the following. We provide an intersection pairing for all smooth Artin stacks (locally of finite type over a field) which we show reduces to the known intersection pairing on the Chow groups of smooth Deligne–Mumford stacks of finite type over a field as well as on the Chow groups of quotient stacks associated to actions of linear algebraic groups on smooth quasi-projective schemes modulo torsion. The former involves also showing the existence of Adams operations on the rational étale K-theory of all smooth Deligne–Mumford stacks of finite type over a field. In addition, we show that our definition of the higher Chow groups is intrinsic to the stack for all smooth stacks and also stacks of finite type over the given field. Next we establish the existence of Chern classes and Chern character for Artin stacks with values in our Chow groups and extend these to higher Chern classes and a higher Chern character for perfect complexes on an algebraic stack, taking values in cohomology theories of algebraic stacks that are defined with respect to complexes of sheaves on a big smooth site. As a by-product of our techniques we also provide an extension of higher intersection theory to all schemes locally of finite type over a field. As the higher cycle complex, by itself, is a bit difficult to handle, the stronger results like contravariance for arbitrary maps between smooth stacks and the intersection pairing for smooth stacks are established by comparison with motivic cohomology.     

Generators and Dimensions of Derived Categories of Modules

Several years ago, Bondal, Rouquier, and Van den Bergh introduced the notion of the dimension of a triangulated category, and Rouquier proved that the bounded derived category of coherent sheaves on a separated scheme of finite type over a perfect field has finite dimension. In this article, we study the dimension of the bounded derived category of finitely generated modules over a commutative Noetherian ring. The main result of this article asserts that it is finite over a complete local ring containing a field with perfect residue field. Our methods also give a ring-theoretic proof of the affine case of Rouquier's theorem.     

Perfect Category-Graded Algebras

In a perfect category, every object has a minimal projective resolution. We give a criterion for the category of modules over a category-graded algebra to be perfect.     

Scalar Extensions of Triangulated Categories

Given a triangulated category ${{\mathcal T}}$ over a field K and a field extension L/K, we investigate how one can construct a triangulated category ${{\mathcal T}}_L$ over L. Our approach produces the derived category of the base change scheme X _L if ${{\mathcal T}}$ is the bounded derived category of a smooth projective variety over K and the field extension is finite and Galois. We also investigate how the dimension of a triangulated category behaves under scalar extensions.     

Vector fields on smooth threefolds vanishing on complete intersections

A result of J. Wahl shows that the existence of a vector field vanishing on an ample divisor of a projective normal variety X implies that X is a cone over this divisor. If X is smooth, X will be isomorphic to the n-dimensional projective space. This paper is a first attempt to generalize Wahl's theorem to higher codimensions: Given a complex smooth projective threefold X and a vector field on X vanishing on an irreducible and reduced curve which is the scheme theoretic intersection of two ample divisors, X is isomorphic to the 3-dimensional projective space or the 3-dimensional quadric. Received: 24 April 2001