Presheaves of Triangulated Categories and Reconstruction of Schemes
نویسندگان
چکیده
To any triangulated category with tensor product (K,⊗), we associate a topological space Spc(K,⊗), by means of thick subcategories of K, à la Hopkins-Neeman-Thomason. Moreover, to each open subset U of this space Spc(K,⊗), we associate a triangulated category K(U), producing what could be thought of as a presheaf of triangulated categories. Applying this to the derived category (K,⊗) := (D(X),⊗L) of perfect complexes on a noetherian scheme X, the topological space Spc(K,⊗) turns out to be the underlying topological space of X; moreover, for each open U ⊂ X, the category K(U) is naturally equivalent to D(U). As an application, we give a method to reconstruct any reduced noetherian scheme X from its derived category of perfect complexes D(X), considering the latter as a tensor triangulated category with ⊗.
منابع مشابه
Cancellation Theorem Vladimir
In this paper we give a direct proof of the fact that for any schemes of finite type X , Y over a Noetherian scheme S the natural map of presheaves with transfers Hom(Ztr(X),Ztr(Y )) → Hom(Ztr(X)⊗tr Gm,Ztr(Y )⊗tr Gm) is a (weak) A-homotopy equivalence. As a corollary we deduce that the Tate motive is quasi-invertible in the triangulated categories of motives over perfect fields. 2010 Mathematic...
متن کاملFormal Completions and Idempotent Completions of Triangulated Categories of Singularities
The main goal of this paper is to prove that the idempotent completions of the triangulated categories of singularities of two schemes are equivalent if the formal completions of these schemes along singularities are isomorphic. We also discuss Thomason theorem on dense subcategories and a relation to the negative K-theory.
متن کاملClosed model categories for presheaves of simplicial groupoids and presheaves of 2-groupoids
We prove that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. We also show that the homotopy categories associated to the two categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively.
متن کاملThe comparison of two high-order semi-discrete central schemes for solving hyperbolic conservation laws
This work presents two high-order, semi-discrete, central-upwind schemes for computing approximate solutions of 1D systems of conservation laws. We propose a central weighted essentially non-oscillatory (CWENO) reconstruction, also we apply a fourth-order reconstruction proposed by Peer et al., and afterwards, we combine these reconstructions with a semi-discrete central-upwind numerical flux ...
متن کاملA Type-Theoretical Definition of Weak {\omega}-Categories
We introduce a dependent type theory whose models are weak ω-categories, generalizing Brunerie’s definition of ω-groupoids. Our type theory is based on the definition of ω-categories given by Maltsiniotis, himself inspired by Grothendieck’s approach to the definition of ω-groupoids. In this setup, ω-categories are defined as presheaves preserving globular colimits over a certain category, calle...
متن کامل