2000 character limit reached
Dévissage for generation in derived categories (2401.13661v4)
Published 24 Jan 2024 in math.AG and math.AC
Abstract: This note is concerned with generation in the derived category of bounded complexes with coherent cohomology over a Noetherian scheme. We demonstrate a flavor of `d\'{e}vissage' by identifying two explicit collections of structure sheaves for closed subschemes that classically generate the bounded derived category. Amongst the two, one consists of those supported on the singular locus of the scheme. Moreover, building from the work of Aoki, we show the essential image of the derived pushforward along a proper surjective morphism of Noetherian schemes strongly generates the targets bounded derived category.
- Homology of perfect complexes. Adv. Math., 223(5):1731–1781, 2010.
- Ko Aoki. Quasiexcellence implies strong generation. J. Reine Angew. Math., 780:133–138, 2021.
- A note on generation and descent for derived categories of noncommutative schemes. arXiv preprint arXiv:2312.02840, 2023.
- High frobenius pushforwards generate the bounded derived category. arXiv preprint arXiv:2303.18085, 2023.
- Ragnar-Olaf Buchweitz. Maximal Cohen-Macaulay modules and Tate cohomology. With appendices by Luchezar L. Avramov, Benjamin Briggs, Srikanth B. Iyengar and Janina C. Letz, volume 262 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2021.
- A. Bondal and M. van den Bergh. Generators and representability of functors in commutative and noncommutative geometry. Mosc. Math. J., 3(1):1–36, 2003.
- A. J. de Jong. Smoothness, semi-stability and alterations. Publ. Math., Inst. Hautes Étud. Sci., 83:51–93, 1996.
- Strong generation and (co)ghost index for module categories. arXiv preprint arXiv:2307.13675, 2023.
- Smoothness of derived categories of algebras. Mosc. Math. J., 20(2):277–309, 2020.
- Dennis Gaitsgory. Ind-coherent sheaves. Mosc. Math. J., 13(3):399–528, 2013.
- A. Grothendieck. Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie). Publ. Math., Inst. Hautes Étud. Sci., 24:1–231, 1965.
- Mapping stacks and categorical notions of properness. Compos. Math., 159(3):530–589, 2023.
- Annihilation of cohomology and strong generation of module categories. Int. Math. Res. Not., 2016(2):499–535, 2016.
- Openness of the regular locus and generators for module categories. Acta Math. Vietnam., 44(1):207–212, 2019.
- V. B. Jatoba. Strong generators in Dperf(X)subscript𝐷perf𝑋D_{\mathrm{perf}}(X)italic_D start_POSTSUBSCRIPT roman_perf end_POSTSUBSCRIPT ( italic_X ) for schemes with a separator. Proc. Am. Math. Soc., 149(5):1957–1971, 2021.
- On two examples by Iyama and Yoshino. Compos. Math., 147(2):591–612, 2011.
- Pat Lank. Descent conditions for generation in derived categories. arXiv preprint arXiv:2308.08080, 2023.
- Janina C. Letz. Local to global principles for generation time over commutative Noetherian rings. Homology Homotopy Appl., 23(2):165–182, 2021.
- Approximation by perfect complexes detects rouquier dimension. arXiv preprint arXiv:2401.10146, 2024.
- Amnon Neeman. Strong generators in 𝐃perf(X)superscript𝐃perf𝑋\mathbf{D}^{\mathrm{perf}}(X)bold_D start_POSTSUPERSCRIPT roman_perf end_POSTSUPERSCRIPT ( italic_X ) and 𝐃cohb(X)subscriptsuperscript𝐃𝑏coh𝑋\mathbf{D}^{b}_{\mathrm{coh}}(X)bold_D start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_coh end_POSTSUBSCRIPT ( italic_X ). Ann. Math. (2), 193(3):689–732, 2021.
- Noah Olander. Ample line bundles and generation time. J. Reine Angew. Math., 800:299–304, 2023.
- D. O. Orlov. Triangulated categories of singularities and D-branes in Landau-Ginzburg models. In Algebraic geometry. Methods, relations, and applications. Collected papers. Dedicated to the memory of Andrei Nikolaevich Tyurin., pages 227–248. Moscow: Maik Nauka/Interperiodica, 2004.
- Dmitri Orlov. Remarks on generators and dimensions of triangulated categories. Mosc. Math. J., 9(1):143–149, 2009.
- Anatoly Preygel. Thom-sebastiani & duality for matrix factorizations, 2011.
- Raphaël Rouquier. Dimensions of triangulated categories. J. K𝐾Kitalic_K-Theory, 1(2):193–256, 2008.
- The Stacks Project Authors. Stacks Project. https://stacks.math.columbia.edu, 2023.
- Ryo Takahashi. Reconstruction from Koszul homology and applications to module and derived categories. Pac. J. Math., 268(1):231–248, 2014.