Approximation by perfect complexes detects Rouquier dimension
approximation by perfect complexescoherent sheavesderived categoriesderived splintersRouquier dimensionstrong generatorsétale morphisms
Derived categories and commutative rings (13D09) Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30) Singularities in algebraic geometry (14B05) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Derived categories, triangulated categories (18G80)
The Rouquier dimension of an essentially small triangulated category \(\mathcal{T}\), denoted \(\operatorname{Rdim}(\mathcal{T})\), is the minimal integer n, for which there exists an object \(G\) such that every object in \(\mathcal{T}\) can be generated by \(G\) by using summands, shifts, finite direct sums, and at most n cones. Such an object \(G\) is called a strong generator. Similarly, an object \(H\) in \(\mathcal{T}\) is called a classical generator if every object in \(\mathcal{T}\) can be generated by \(H\) by using summands, shifts, finite direct sums, and finitely many extensions.\N\NOriginally defined in [\textit{R. Rouquier}, J. \(K\)-Theory 1, No. 2, 193--256 (2008; Zbl 1165.18008)], there is a vast literature on computations of Rouquier dimension for various triangulated categories arising from algebraic geometry and representation theory. In algebraic geometry, a major impetus for such computations is a conjecture by Orlov which states that \(\operatorname{Rdim}(D^b_{\operatorname{coh}}(X)) = \operatorname{dim} X\) for any smooth quasi-projective variety X.\N\NThis paper investigates the generation properties of the bounded derived categories of Noetherian schemes. One of the main ideas is to prove certain approximation results. As a first application, it is shown that the generating time of an object \(G\) is equal to the number of steps in which it generates the category of perfect complexes. The authors also prove a few results on how Rouquier dimension behaves along étale morphisms. In particular, they show that for Noetherian affine schemes \(X\) and \(Y\), the Rouquier dimensions agree if \(X\) has a dualizing complex and there exists a surjective étale morphism \(f:Y \to X\).
- A category of kernels for equivariant factorizations. II: Further implications
- A characterization of rational singularities
- Algebraic approximation of structures over complete local rings
- Ample line bundles and generation time
- Derived splinters in positive characteristic
- Descent conditions for generation in derived categories
- Dimensions of triangulated categories.
- Generating the bounded derived category and perfect ghosts
- Hochschild dimensions of tilting objects
- Homological Theory of Representations
- Homology of perfect complexes
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 2069670 (Why is no real title available?)
- scientific article; zbMATH DE number 5028970 (Why is no real title available?)
- scientific article; zbMATH DE number 3236072 (Why is no real title available?)
- Local to global principles for generation time over commutative Noetherian rings
- On the Rouquier dimension of wrapped Fukaya categories and a conjecture of Orlov
- Openness of the regular locus and generators for module categories
- Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor
- Quasiexcellence implies strong generation
- Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
- Rouquier dimension of some blow-ups
- Semi-Orthogonal Decomposition of a Derived Category of a 3-Fold With an Ordinary Double Point
- Singular curves and quasi-hereditary algebras
- Strong generators in \(\mathbf{D}^{\mathrm{perf}}(X)\) and \(\mathbf{D}^b_{\mathrm{coh}}(X)\)
- Strong generators in 𝐷_{𝑝𝑒𝑟𝑓}(𝑋) for schemes with a separator
- The derived category of an étale extension and the separable Neeman-Thomason theorem
- Tilting on non-commutative rational projective curves
- Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
This page was built for publication: Approximation by perfect complexes detects Rouquier dimension
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6982944)
