{"entities":{"Q6924769":{"pageid":21051610,"ns":120,"title":"Item:Q6924769","lastrevid":84133319,"modified":"2026-05-10T22:58:48Z","type":"item","id":"Q6924769","labels":{"en":{"language":"en","value":"Closedness of the singular locus and generation for derived categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8098410"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$A07013C2-FF16-4CF6-A3A4-6BBC0C95A76D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cffa58bc3e9981d1bc1a218693493de9b366694a","datavalue":{"value":{"text":"Closedness of the singular locus and generation for derived categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6924769$39D67B28-3302-48C2-9EBD-A3112DFB5EE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0bc0c7689168a4a69b6f5649e9d6dafc0609c68","datavalue":{"value":"1573.13032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924769$29AAB607-1307-4C73-9F49-C72CF5EC63E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fc8bb182bd9d1ee2c5ffa7a435a06f13f07bfaa","datavalue":{"value":"10.1016/J.JALGEBRA.2025.07.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924769$ACA71615-3969-47D3-AFD1-6CD38AD8AE74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d7aa713b98b949db1e9e874125c8b0e06407b03","datavalue":{"value":{"entity-type":"item","numeric-id":6100869,"id":"Q6100869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$347E3E5E-61CE-4923-8EAF-736C1D2250DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf28180e863d0a8fc45587224bd9f54c74c9b845","datavalue":{"value":{"entity-type":"item","numeric-id":6431610,"id":"Q6431610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$63282540-B399-4269-8A81-0F3D091E58D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$54EE487D-9F18-486F-A0BD-8EF2F01C2404","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90beebb466f28eebb7f4e1c0cb9852da692c02cc","datavalue":{"value":{"time":"+2025-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6924769$C8AE73C5-63C0-433E-BC35-3D335B53C725","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9587bc05c07e6c2c734cc641cda6f18c385208fc","datavalue":{"value":"Given a smooth and projective variety \\(X\\), its bounded derived category of coherent sheaves \\(\\mathcal{D}^b(X)\\) is an important object of study in modern algebraic geometry. Its objects are chain complexes of coherent sheaves and its morphisms are roughly morphisms of chain complexes with quasi-isomorphisms formally inverted. For more on this, see [\\textit{D. Huybrechts}, Fourier-Mukai transforms in algebraic geometry. Oxford: Clarendon Press (2006; Zbl 1095.14002)].\\N\\NFrom \\(\\mathcal{D}^b(X)\\), one can extract various classical invariants including algebraic K-theory, topological K-theory when \\(X\\) is defined over the complex numbers, and sums of hodge numbers. One of the important properties of a smooth and projective variety is the classical \\textit{Hilbert syzygy theorem}, which states that every coherent sheaf has a resolution by locally free sheaves of length bounded by \\(\\dim X\\). Consequently, objects \\(\\mathcal{D}^b(X)\\) can be equivalently represented by chain complexes of locally free sheaves.\\N\\NWhen \\(X\\) is a possibly-singular Noetherian scheme, \\(\\mathcal{D}^b(X)\\) can be defined analogously, but it lacks some of the properties of the non-singular case. For example, not all objects are isomorphic to complexes of locally free sheaves. Thus, in this context one often studies \\(\\mathrm{Perf}(X)\\), the full subcategory of \\(\\mathcal{D}^b(X)\\) consisting of objects locally quasi-isomorphic to a complex of locally free sheaves. \\(\\mathrm{Perf}(X)\\) can be regarded as the ``nonsingular part'' of \\(\\mathcal{D}^b(X)\\), a viewpoint supported by the well-known result that a Noetherian scheme \\(X\\) is regular if and only if \\(\\mathrm{Perf}(X) = \\mathcal{D}^b(X)\\). Thus, one defines the category of singularities of \\(X\\) to be the Verdier-Drinfeld quotient \\(\\mathcal{D}_{\\mathrm{sg}}(X) = \\mathcal{D}^b(X)/\\mathrm{Perf}(X)\\).\\N\\NOn the other hand, it is often of interest to study generation of derived categories. A \\emph{(classical) generator} of \\(\\mathcal{D}^b(X)\\) is an object \\(G\\) such that the smallest full triangulated subcategory of \\(\\mathcal{D}^b(X)\\) containing \\(G\\) is \\(\\mathcal{D}^b(X)\\). Classical generators and their strong counterparts were notably studied by Rouquier to introduce a notion of dimension for triangulated categories [\\textit{R. Rouquier}, Journal of K-theory 1, No. 2, 193--256 (2008; Zbl 1165.18008)].\\N\\NIn the present work, the authors consider the problem of identifying when \\(\\mathcal{D}^b(X)\\) admits a classical generator when \\(X\\) is a Noetherian scheme. \\(X\\) is called \\(J_0\\) if its regular locus contains a non-empty open set \\(U\\) and it is called \\(J_1\\) if its regular locus is a non-empty open set.\\N\\NThe main result of the paper is restated here for convenience. The following are equivalent for a Noetherian scheme \\(X\\):\\N\\begin{itemize}\\N\\item[1.] Every closed integral subscheme of \\(X\\) is \\(J_0\\).\\N\\item[2.] Every closed integral subscheme of \\(X\\) is \\(J_1\\).\\N\\item[3.] \\(\\mathcal{D}^b(Z)\\) admits a classical generator for every closed integral subscheme \\(Z\\) of \\(X\\).\\N\\item[4.] \\(\\mathcal{D}_{\\mathrm{sg}}(Z)\\) admits a classical generator for every closed integral subscheme \\(Z\\) of \\(X\\).\\N\\item[5.] \\(\\mathrm{coh}\\:Z\\) admits a classical generator for every closed integral subscheme \\(Z\\) of \\(X\\).\\N\\end{itemize}\\NFurthermore, subject to any of these equivalent conditions, for \\textit{any} closed subscheme \\(Y\\) of \\(X\\) both \\(\\mathcal{D}^b(Y)\\) and \\(\\mathcal{D}_{\\mathrm{sg}}(Y)\\) admit classical generators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924769$B42E97F1-DFAD-4EDD-A742-A54A05E401DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"601d75a5b25dde669cb070e4473b8216891809be","datavalue":{"value":{"entity-type":"item","numeric-id":6171180,"id":"Q6171180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$F3D382EB-22B9-4496-AD83-CD63FF72EF5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f4de713576a89342331559a5371327a71f669f1","datavalue":{"value":"13D09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924769$49B20C47-7C5B-4D42-AFA3-B3BCF933CD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49b1956cb93d2aa1c7f5f71657b9977797724a17","datavalue":{"value":"14F08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924769$B72301D2-38CF-4594-A9E6-8FB7A828399F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bee2219fe30255f9156dce33d9cc4f518c0cf995","datavalue":{"value":"14B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924769$52174CB5-CA66-4085-856D-EE366CF11C47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"459473e09ff643d80c9408418d638020c4ffcef7","datavalue":{"value":"8098410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924769$20C5AAE4-A919-4F71-8653-230A908BD3DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca4823ffa2b531230e71d83b5961e22f302c7f32","datavalue":{"value":"derived categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924769$78D89B70-39D4-4361-92E9-42B39770FB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42615547ea2cb63c0a7a26f2a0371dd474ea2e7e","datavalue":{"value":"singularities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924769$96361225-646E-4701-8BE3-3D668A8F5065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924769$77846B59-FBF1-463B-AA9C-83B42A509293","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$FB198996-FDB6-4096-9669-307FCAE42C5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"861e3a783856be1b0152821d4b3d18c1b97da7ce","datavalue":{"value":{"entity-type":"item","numeric-id":2054206,"id":"Q2054206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$C0E17CED-6EA7-4293-873A-A53BD1CFA7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e8a5c1a876d03acaa1bea4b06cbdb07e89af5","datavalue":{"value":{"entity-type":"item","numeric-id":6963849,"id":"Q6963849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$231CE9A5-761D-472B-8E28-F198CFB05EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e24d2063ffcc054fd3ecc0898090867a60f9f5a","datavalue":{"value":{"entity-type":"item","numeric-id":6430803,"id":"Q6430803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$2F253699-FD1C-46F3-A3E2-A6E480C6A011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1550b804043495fa001a6b14c03000da5c750168","datavalue":{"value":{"entity-type":"item","numeric-id":6863094,"id":"Q6863094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$63737975-34D1-4252-ADFD-18E1EF43D8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b69534679f31bcb9eeca19dd21e5323995c783b","datavalue":{"value":{"entity-type":"item","numeric-id":3391017,"id":"Q3391017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$2728B0BB-432F-45D3-994D-AA4294B5B0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef61a02a8faba866f90eacbf769df5688b59d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4463616,"id":"Q4463616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$6E7ECA42-46DD-459D-8766-8A6A8D57BC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ad05b7e909306cb9242cc2d54fa3e931f37702","datavalue":{"value":{"entity-type":"item","numeric-id":1357372,"id":"Q1357372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$52B50261-8A1A-4C71-ACD7-22E68E9614F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94c7721dbad05dcb21705addbc8e4ff31e9ff1b","datavalue":{"value":{"entity-type":"item","numeric-id":2509395,"id":"Q2509395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$4FA02A8E-95B9-4FE3-BED4-7EC04336FD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1130204a22883fd137e74e7fdd4b6a71e5ab57","datavalue":{"value":{"entity-type":"item","numeric-id":5112512,"id":"Q5112512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$18D008CD-05A2-46CC-965D-8498BD4A9934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fbd3e5a8b69b9885270fb6a6c2388123385487","datavalue":{"value":{"entity-type":"item","numeric-id":6055052,"id":"Q6055052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$D257F994-C4DF-4F9D-A080-EEF9F0903748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ab2bab14c28b9e49d4543ad7d033ef5afe7c08","datavalue":{"value":{"entity-type":"item","numeric-id":5599221,"id":"Q5599221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$787D2DFB-0D4F-4201-A60B-5F3210935BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ff2e7ea38bdf794eaca2320649609fbec8051f","datavalue":{"value":{"entity-type":"item","numeric-id":6658199,"id":"Q6658199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$665859AA-8540-406B-B7E3-E4F1A5E4B032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed01d0c35ddb3f5801d1dd8fec66f433946fb0a3","datavalue":{"value":{"entity-type":"item","numeric-id":6653742,"id":"Q6653742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$B85E80E8-1CA2-4F37-91D3-729BAEE8DFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668df94263473505009523e4edf484f9e218b378","datavalue":{"value":{"entity-type":"item","numeric-id":2797800,"id":"Q2797800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$5C691645-88B0-4C6D-BE5C-3F7EFFACED88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479ec4632ba98d5910d99909464540df433456ed","datavalue":{"value":{"entity-type":"item","numeric-id":2000804,"id":"Q2000804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$4E7B6428-6113-4B23-889A-C2865E00D271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f057470196b79a9801c9aad15282f3720e40b95","datavalue":{"value":{"entity-type":"item","numeric-id":5856952,"id":"Q5856952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$18C0FEC3-E799-4243-B0D1-B06B3D9E4D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b45ea209156406f2c4930a03aa5bc0886c3477","datavalue":{"value":{"entity-type":"item","numeric-id":6496516,"id":"Q6496516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$58286ADE-42BE-4616-9676-DCCD90E02D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2765ce4110d9ed661561deef5392f01143ee7ae3","datavalue":{"value":{"entity-type":"item","numeric-id":2240610,"id":"Q2240610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$DE1BFCDA-3138-4BDD-98F8-14A4837F66C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99173eec49584b57007bfd0924dc880d1d99911c","datavalue":{"value":{"entity-type":"item","numeric-id":3882554,"id":"Q3882554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$2EB54651-B7E3-42DD-817A-EF30A9E86C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5cf4cf05c8740423aa9878e315a64a222381387","datavalue":{"value":{"entity-type":"item","numeric-id":2541729,"id":"Q2541729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$48581F65-7E44-405D-AADE-51D3A5A12C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a5f55e1f1c6ba745f16cb458f8af06a17ea2dc","datavalue":{"value":{"entity-type":"item","numeric-id":2028501,"id":"Q2028501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$2466B6BE-4480-4BF3-B28A-C008E2785AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db52b86c06c7705623c6467077c8c2f657b975e4","datavalue":{"value":{"entity-type":"item","numeric-id":6112911,"id":"Q6112911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$0AD565DC-545D-4881-A318-C8A8C7275830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768c4c02b0d5859937bbd3a56cc6a34bd3cf0a35","datavalue":{"value":{"entity-type":"item","numeric-id":3409132,"id":"Q3409132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$D825DD4F-A0B7-4F36-A3ED-A125A138DB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c2e5ce15256ca76dd88507296e61a337da9ecc","datavalue":{"value":{"entity-type":"item","numeric-id":3649461,"id":"Q3649461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$B83227E5-044C-41C5-841C-722735346D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d1e5d8ea895a473130dc0b4a826a486c9595b2","datavalue":{"value":{"entity-type":"item","numeric-id":6111150,"id":"Q6111150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$9BE8DF93-7C4C-4146-8FAA-CC0A4866AE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc107464f60277bb9d97288cc83a5ae530dec5db","datavalue":{"value":{"entity-type":"item","numeric-id":3527580,"id":"Q3527580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924769$A8FE4375-DDD4-450D-88CC-C938AAB27112","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closedness of the singular locus and generation for derived categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Closedness_of_the_singular_locus_and_generation_for_derived_categories"}}}}}