Results 1  10
of
123
Generators and representability of functors in commutative and noncommutative geometry
 MOSC MATH. J
, 2002
"... We give a sufficient condition for an Extfinite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence of a strong generator. We prove that the bounded derived ca ..."
Abstract

Cited by 83 (2 self)
 Add to MetaCart
We give a sufficient condition for an Extfinite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence of a strong generator. We prove that the bounded derived categories of coherent sheaves on smooth proper commutative and noncommutative varieties have strong generators, hence saturated. In contrast the similar category for a smooth compact analytic surface with no curves is not saturated.
Stable model categories are categories of modules
 TOPOLOGY
, 2003
"... A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for ..."
Abstract

Cited by 76 (16 self)
 Add to MetaCart
A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard’s work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the EilenbergMac Lane spectrum HR and (unbounded) chain complexes of Rmodules for a ring R.
The stable derived category of a Noetherian scheme
 Compos. Math
"... Dedicated to Claus Michael Ringel on the occasion of his sixtieth birthday. Abstract. For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the s ..."
Abstract

Cited by 34 (5 self)
 Add to MetaCart
Dedicated to Claus Michael Ringel on the occasion of his sixtieth birthday. Abstract. For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect complexes. Some applications are included, for instance an analogue of maximal CohenMacaulay approximations, a construction of Tate cohomology, and an extension of the classical Grothendieck duality. In addition, the relevance of the stable derived category in modular representation theory is indicated.
Mukai implies McKay: the McKay correspondence as an equivalence of derived categories
, 2000
"... ..."
Open problems in the motivic stable homotopy theory, I
 In Motives, Polylogarithms and Hodge Theory, Part I
, 2002
"... ..."
Smashing Subcategories And The Telescope Conjecture  An Algebraic Approach
 Invent. Math
, 1998
"... . We prove a modified version of Ravenel's telescope conjecture. It is shown that every smashing subcategory of the stable homotopy category is generated by a set of maps between finite spectra. This result is based on a new characterization of smashing subcategories, which leads in addition to ..."
Abstract

Cited by 26 (6 self)
 Add to MetaCart
. We prove a modified version of Ravenel's telescope conjecture. It is shown that every smashing subcategory of the stable homotopy category is generated by a set of maps between finite spectra. This result is based on a new characterization of smashing subcategories, which leads in addition to a classification of these subcategories in terms of the category of finite spectra. The approach presented here is purely algebraic; it is based on an analysis of pureinjective objects in a compactly generated triangulated category, and covers therefore also situations arising in algebraic geometry and representation theory. Introduction Smashing subcategories naturally arise in the stable homotopy category S from localization functors l : S ! S which induce for every spectrum X a natural isomorphism l(X) ' X l(S) between the localization of X and the smash product of X with the localization of the sphere spectrum S. In fact, a localization functor has this property if and only if it preserv...
Local homology and cohomology on schemes
, 1997
"... Abstract. We prove a sheaftheoretic derivedcategory generalization of GreenleesMay duality (a farreaching generalization of Grothendieck’s local duality theorem): for a quasicompact separated scheme X and a “proregular ” subscheme Z—for example, any separated noetherian scheme and any closed su ..."
Abstract

Cited by 25 (3 self)
 Add to MetaCart
Abstract. We prove a sheaftheoretic derivedcategory generalization of GreenleesMay duality (a farreaching generalization of Grothendieck’s local duality theorem): for a quasicompact separated scheme X and a “proregular ” subscheme Z—for example, any separated noetherian scheme and any closed subscheme—there is a sort of sheafified adjointness between local cohomology supported in Z and leftderived completion along Z. In particular, leftderived completion can be identified with local homology, i.e., the homology of RHom • (RΓ Z OX, −). Sheafified generalizations of a number of duality theorems scattered about the literature result: the PeskineSzpiro duality sequence (generalizing local duality), the Warwick Duality theorem of Greenlees, the Affine Duality theorem of Hartshorne. Using Grothendieck Duality, we also get a generalization of a Formal Duality theorem of Hartshorne, and of a related localglobal duality theorem. In a sequel we will develop the latter results further, to study Grothendieck duality
Integral transforms and Drinfeld centers in derived algebraic geometry
"... Compact objects are as necessary to this subject as air to breathe. R.W. Thomason to A. Neeman, [N3] Abstract. We study natural algebraic operations on categories arising in algebraic geometry and its homotopytheoretic generalization, derived algebraic geometry. We work with a broad class of derive ..."
Abstract

Cited by 20 (4 self)
 Add to MetaCart
Compact objects are as necessary to this subject as air to breathe. R.W. Thomason to A. Neeman, [N3] Abstract. We study natural algebraic operations on categories arising in algebraic geometry and its homotopytheoretic generalization, derived algebraic geometry. We work with a broad class of derived stacks which we call stacks with air. The class of stacks with air includes in particular all quasicompact, separated derived schemes and (in characteristic zero) all quotients of quasiprojective or smooth derived schemes by affine algebraic groups, and is closed under derived fiber products. We show that the (enriched) derived categories of quasicoherent sheaves on stacks with air behave well under algebraic and geometric operations. Namely, we identify the derived category of a fiber product with the tensor product of the derived categories of the factors. We also identify functors between derived categories of sheaves with integral transforms (providing a generalization of a theorem of Toën [To1] for ordinary schemes over a ring). As a first application, for a stack Y with air, we calculate the Drinfeld center (or synonymously,