Corpus ID: 119317989

# Strong generators in $D^{perf}(X)$ and $D^b_{coh}(X)$

@article{Neeman2017StrongGI,
title={Strong generators in \$D^\{perf\}(X)\$ and \$D^b\_\{coh\}(X)\$},
author={Amnon Neeman},
journal={arXiv: Algebraic Geometry},
year={2017}
}
• A. Neeman
• Published 2017
• Mathematics
• arXiv: Algebraic Geometry
The only real change is that the statement - not the proof - of Lemma 1.5 has been changed to remove superfluous hypotheses. The old statement is given in the new Remark 1.6. The reason for the change is that, although for the current the generality of Remark 1.6 is ample, Lemma 1.5 is used again in the proof of Lemmas 2.2 and 2.3 of arXiv:1806.05777 and there the superfluous hypotheses of Remark 1.6 don't hold, we need Lemma 1.5 in the generality of its revised statement.
16 Citations
Strong generators in 𝐷_{𝑝𝑒𝑟𝑓}(𝑋) for schemes with a separator
This paper extends the result from Amnon Neeman regarding strong generators in Dperf(X), from X being a quasicompact, separated scheme to X being quasicompact, quasiseparated scheme that admits aExpand
Approximable triangulated categories
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 itExpand
C T ] 8 D ec 2 01 9 TRIANGULATED CATEGORIES WITH A SINGLE COMPACT GENERATOR AND A BROWN REPRESENTABILITY
We generalize a theorem of Bondal and Van den Bergh. A corollary of our main results says the following: Let X be a scheme proper over a noetherian ring R. Then the Yoneda map, taking an object D inExpand
Triangulated categories with a single compact generator and a Brown representability theorem
We generalize a theorem of Bondal and Van den Bergh. A corollary of our main results says the following: Let $X$ be a scheme proper over a noetherian ring $R$. Then the Yoneda map, taking an objectExpand
From weight structures to (orthogonal) $t$-structures and back
A $t$-structure $t=(C_{t\le 0},C_{t\ge 0})$ on a triangulated category $C$ is right adjacent to a weight structure $w=(C_{w\le 0}, C_{w\ge 0})$ if $C_{t\ge 0}=C_{w\ge 0}$; then $t$ can be uniquelyExpand
Morita theory and singularity categories
• Mathematics
• 2017
We propose an analogue of the bounded derived category for an augmented ring spectrum, defined in terms of a notion of Noether normalization. In many cases we show this category is independent of theExpand
Gluing Approximable Triangulated Categories
• Mathematics
• 2018
Given a bounded-above cochain complex of modules over a ring, it is standard to replace it by a projective resolution, and it is classical that doing so can be very useful. Recently, a modifiedExpand
Reflexive modules, self-dual modules and Arf rings
We prove a tight connection between reflexive modules over a one-dimensional ring R and its birational extensions that are self-dual as R-modules. Consequently, we show that a complete local reducedExpand
Completing perfect complexes
This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the boundedExpand
Derived noncommutative schemes, geometric realizations, and finite dimensional algebras
The main purpose of this paper is to describe various phenomena and certain constructions arising in the process of studying derived noncommutative schemes. Derived noncommutative schemes are definedExpand

#### References

SHOWING 1-10 OF 50 REFERENCES
Strong generators in 𝐷_{𝑝𝑒𝑟𝑓}(𝑋) for schemes with a separator
This paper extends the result from Amnon Neeman regarding strong generators in Dperf(X), from X being a quasicompact, separated scheme to X being quasicompact, quasiseparated scheme that admits aExpand
Annihilation of cohomology, generation of modules and finiteness of derived dimension
• Mathematics
• 2015
Let $(R,\m,k)$ be a commutative noetherian local ring of Krull dimension $d$. We prove that the cohomology annihilator $\ca(R)$ of $R$ is $\m$-primary if and only if for some $n\ge0$ the $n$-thExpand
THE DIMENSION OF A SUBCATEGORY OF MODULES
• Mathematics
• Forum of Mathematics, Sigma
• 2015
Let $R$ be a commutative noetherian local ring. As an analog of the notion of the dimension of a triangulated category defined by Rouquier, the notion of the dimension of a subcategory of finitelyExpand
Triangulated categories with a single compact generator and a Brown representability theorem
We generalize a theorem of Bondal and Van den Bergh. A corollary of our main results says the following: Let $X$ be a scheme proper over a noetherian ring $R$. Then the Yoneda map, taking an objectExpand
Higher Algebraic K-Theory of Schemes and of Derived Categories
• Mathematics
• 1990
In this paper we prove a localization theorem for the K-theory of commutative rings and of schemes, Theorem 7.4, relating the K-groups of a scheme, of an open subscheme, and of the category of thoseExpand
Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor
• Mathematics
• 2006
For a map f : X → Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, i.e., the right adjoint f of Rf∗ respects small direct sums. This is equivalent to the existence of aExpand
Strong Generation of Some Derived Categories of Schemes
We survey some recent results on strong generation in $${\mathbf D}^{\mathrm {perf}}(X)$$ and $$\mathbf {D}^b_{\mathrm {coh}}(X)$$.
Compactification for essentially finite-type maps
We show that any separated essentially finite-type map $f$ of noetherian schemes globally factors as $f = hi$ where $i$ is an injective localization map and $h$ a separated finite-type map. InExpand
The spectrum of prime ideals in tensor triangulated categories
Abstract We define the spectrum  of a tensor triangulated category as the set of so-called prime ideals, endowed with a suitable topology. In this very generality, the spectrum is the universal spaceExpand
The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
Grothendieck proved that if f: X ) Y is a proper morphism of nice schemes, then Rf* has a right adjoint, which is given as tensor product with the relative canonical bundle. The original proof was byExpand