{"entities":{"Q496564":{"pageid":498331,"ns":120,"title":"Item:Q496564","lastrevid":57035118,"modified":"2026-03-26T09:31:49Z","type":"item","id":"Q496564","labels":{"en":{"language":"en","value":"Compact generation of the category of D-modules on the stack of \\(G\\)-bundles on a curve"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484141"}},"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":"Q496564$B5201547-6FA5-4763-AC57-4C4A227B7587","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92ecbe0fb72587b81548728178fa65143f9a8849","datavalue":{"value":{"text":"Compact generation of the category of D-modules on the stack of \\(G\\)-bundles on a curve","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q496564$49D144F5-D7AF-4830-8CBC-7D46C2387A65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"987f0c1ced609d5a5c280139690f4edf4dc4809d","datavalue":{"value":"1342.14041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496564$DB65BA65-C261-46D6-8004-A81D1DF5C871","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbaeeeeb05df3292ca2b6269c11130ad34892674","datavalue":{"value":{"entity-type":"item","numeric-id":352125,"id":"Q352125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496564$A4EFA376-587E-4651-BB90-75CEA65B996C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c289a3e0cf9274b9a2678e126bcba5b4df3f437","datavalue":{"value":{"entity-type":"item","numeric-id":411333,"id":"Q411333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496564$3F99F831-B6D3-4D46-8307-33698AB12CF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ddf6d8abd004f571f5a99439418a0bbecc4db1c9","datavalue":{"value":{"entity-type":"item","numeric-id":281746,"id":"Q281746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496564$222D57E6-A907-418F-B18C-201DBC8B3502","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28857d5b8ce74b0fd649738f47e9ad422078bca3","datavalue":{"value":{"time":"+2015-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q496564$169A0FEA-02A1-40F9-87A3-2E67B79A139F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36b885b322e1039b666e9fd081748fcf672bfb5f","datavalue":{"value":"https://arxiv.org/abs/1112.2402","type":"string"},"datatype":"url"},"type":"statement","id":"Q496564$89BF09CA-41C0-409D-8F2C-68AAE83C78AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76a43d4ecdaaa13d4f451b67f6f312377a714d6c","datavalue":{"value":"Let \\(k\\) be a ground field of characteristic zero, \\(X\\) be a smooth proper curve, and \\(G\\) be a connected reductive group. The authors prove that the differential-graded category \\(C=\\text{D-mod}(\\mathcal{Y})\\) of D-modules on the Artin stack \\(\\mathcal{Y}=\\text{Bun}_G\\) of principal \\(G\\)-bundles \\(P\\rightarrow X\\) is compactly generated. In other words, there is a generating system of compact objects \\(c_\\alpha\\in C\\), which means that the Hom functors \\(\\text{Hom}(c_\\alpha,-)\\) commutes with arbitrary sums, and that \\(\\text{Hom}(c_\\alpha,c)=0\\) for all \\(c_\\alpha\\) only if \\(c\\) is the zero-object.  This property is easily seen for quotient stacks \\(\\mathcal{Y}=[Z/H]\\), where \\(Z\\) is a quasicompact scheme and \\(H\\) is an algebraic group. More generally, it is valid for quasicompact Artin stacks \\(\\mathcal{Y}\\) whose field-valued points have affine automorphism groups, according to []. However, the property usually fails if \\(\\mathcal{Y}\\) is not quasicompact, even for schemes. An example given in this paper is the smooth locally algebraic surface \\(X=\\bigcup U_i\\) with \\(U_i=X_i\\smallsetminus\\left\\{x_i\\right\\}\\), where \\(\\ldots\\rightarrow X_2\\rightarrow X_1 \\rightarrow X_0\\) is a suitable sequence of blowing ups with centers \\(x_i\\in X_i\\): Here the DG-category of D-modules is not compactly generated. So for \\(\\mathcal{Y}=\\text{Bun}_G\\), the result is rather surprising.  The authors introduce an abstract sufficient criterion, called truncatability, for \\(\\text{D-Mod}(\\mathcal{Y})\\) to be compactly generated. The relevant terminology is as follows: A closed substack \\(i:\\mathcal{Z}\\subset\\mathcal{Y}\\) is called truncative if the functor \\(i^! \\) sends compact objects in the category of D-modules on \\(\\mathcal{Y}\\) to compact objects in the category of D-modules on \\(\\mathcal{Z}\\). There are several other characterizations, in terms of related functors \\(i_{\\text{dR},*}\\), as well as \\(j^*\\) and \\(j_*\\), where \\(j:U\\rightarrow\\mathcal{Y}\\) is the complementary open substack. One equivalent condition is that \\(j_*\\) admits a continuous right adjoint. In this situation, one also says that \\(U\\) is co-truncative. The concept also extends to locally closed substacks. An Artin stack \\(\\mathcal{Y}\\) is called QCA if it is quasicompact, and its field-valued points have affine automorphism groups. Without the former condition, on says that \\(\\mathcal{Y}\\) is locally QCA. In this situation, the authors call \\(\\mathcal{Y}\\) truncatable if it is covered by open quasicompact substacks that are co-truncative in the above sense, and then show that the ensuing category of D-modules is compactly generated.  In the case \\(G=\\text{SL}_2\\), it is then established that the open substacks \\(\\text{Bun}_G^{(n)}\\) of vector bundles that do not admit line subbundles of degree \\(>n\\) form open co-truncative substacks that cover \\(\\mathcal{Y}=\\text{Bun}_G\\). This is generalized to arbitrary connected reductive \\(G\\), by considering the rational cone \\(\\Lambda_G^{+,\\mathbb{Q}}\\) generated by the dominant coweights, with respect to a fixed choice of Borel subgroup. For each \\(\\theta\\) in this cone, the authors consider the open substack \\(\\text{Bun}_G^{\\leq \\theta}\\) of all bundles \\(\\mathcal{P}_G\\) so that for each reduction \\(\\mathcal{P}_P\\) so some standard parabolic \\(P\\subset G\\) of degree \\(\\mu\\) (defined in a suitable way), one has \\(\\mu\\leq \\theta\\) (for some natural order relation coming from the positive coroots). The authors are then able to show that this gives the desired co-trucative open substacks, provided that \\(\\theta\\) is large enough, measured in terms of the simple roots of the reductive group \\(G\\) and the genus of the smooth curve \\(X\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q496564$7868B185-8203-4013-BB78-1B0E147703EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c47011fa0b70783e55fb2c1ac696adab515637d3","datavalue":{"value":{"entity-type":"item","numeric-id":177352,"id":"Q177352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496564$333E9C24-8F08-4E29-8F7D-EBD8F846BB0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7879e42e20b29db9c334897fbdfacb3091816904","datavalue":{"value":"14F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496564$6674569D-728E-4157-8E2E-4517329EA71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3d79f49f65b23d8f77b14c11b083ba7ba2726d","datavalue":{"value":"14D23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496564$220355A2-9EC5-40D9-9E01-5C88862E4CA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1197686906ccc2d2984277bdbb10292bcd8ad47f","datavalue":{"value":"6484141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496564$EBF4AA07-E1C9-4F01-9A2A-4D4724F1A754","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed7fb22071ec59983462c4fa651644af4d96b0a","datavalue":{"value":"D-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q496564$F8CF6C6E-2FF5-4645-9831-8B5549095B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4d43406f33adabdaf38357331e4dfc9b0f813e","datavalue":{"value":"DG-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q496564$93E14A11-65F5-498C-BE91-08A0D3766670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd01807ed71a04aca29222565dd61871623200c9","datavalue":{"value":"algebraic stacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q496564$948A5068-41F9-4387-92B7-CFAC981F1663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0715e212e6b6025896eec248b337444f2920a3","datavalue":{"value":"principal bundles","type":"string"},"datatype":"string"},"type":"statement","id":"Q496564$4C0CA34C-CF5D-4812-9436-639CE637E42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503024e0f714aa69749f0684bd73eb3cfe944dda","datavalue":{"value":"compact objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q496564$2063526C-2D41-48AE-9B4C-39A4BA01DD06","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":"Q496564$D2E82A14-1D60-443F-81E7-0EB3910FD39A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c85867baddda82b49f9c53361a2f4b99a01ddc40","datavalue":{"value":"W2963669275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496564$F93BEBFE-9E27-426A-A812-763C122013EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a82ef92f041be938c1c8c5a479cda37be7d91289","datavalue":{"value":"10.4310/CJM.2015.V3.N1.A2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496564$D8EF4502-D701-488D-A912-9107285CBFDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a965c3ffc87902fce0280b02437d1d0e4ef08e3c","datavalue":{"value":{"entity-type":"item","numeric-id":3062216,"id":"Q3062216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f62f245b74938284f1fd67933b60146835e6f18","datavalue":{"value":{"amount":"+0.90492153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q496564$4712EA35-ED7E-4F32-B7E7-389A1780FAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ffcf71a9dc740932f5cdc9c889447120f3cadb","datavalue":{"value":{"entity-type":"item","numeric-id":1676419,"id":"Q1676419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452571640de6addf5b90ce7d17bc188948517660","datavalue":{"value":{"amount":"+0.89640355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q496564$28FB5C4C-ABE7-45C3-9765-1F776B0F5614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08bb6c0bec67993280a5056c6e0095ccec812ef","datavalue":{"value":{"entity-type":"item","numeric-id":3582245,"id":"Q3582245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0824ba4fe823802b2490d90f0dca69ba94a214","datavalue":{"value":{"amount":"+0.8950881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q496564$39F1BB81-D5F2-4C38-8AB1-3B2BCF8F0F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1b6c89d65883fe6fa59650661526da80280ff5","datavalue":{"value":{"entity-type":"item","numeric-id":5963041,"id":"Q5963041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3974951f58e74c9af813821a531a1e1f0904765","datavalue":{"value":{"amount":"+0.8875911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q496564$4A68FE3E-E719-41A1-A815-EFC19E40A76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6ff99e5b2ed53f20bac234bf9400680243c05a","datavalue":{"value":{"entity-type":"item","numeric-id":2906507,"id":"Q2906507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22b9ce936131403d0437634f8e0c0d38defb9d9","datavalue":{"value":{"amount":"+0.88682127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q496564$8E927AA1-FE5E-4388-B910-AA32ED3D1399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516a32a932875344b19ba8245d3c90c9853e58e2","datavalue":{"value":{"entity-type":"item","numeric-id":5014831,"id":"Q5014831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8cc06f0f688af7b9c04e95423c8f43a9413da2","datavalue":{"value":{"amount":"+0.88504153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q496564$9BE56C55-F36D-4862-B2E7-253B088D3445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"423f39c17e4a416bb4af78b74f7b60a85b9d2f80","datavalue":{"value":{"entity-type":"item","numeric-id":6175761,"id":"Q6175761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b42fcece087b837b8e3a91e0fb6eea32752cd83","datavalue":{"value":{"amount":"+0.8834048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q496564$9F647D3B-D6A6-4712-AEAA-544B58AF97C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513872ea98803ddeaeea89ca07b8fdde60cf7e9b","datavalue":{"value":{"entity-type":"item","numeric-id":2630619,"id":"Q2630619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57685682c3567f941caa40c1eeb7404859842092","datavalue":{"value":{"amount":"+0.8832756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q496564$AC8008B9-4D6F-4B3C-B5ED-1D7DAA9530AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ab873a20452d3669f45bf41b14e3110c52d09e","datavalue":{"value":{"entity-type":"item","numeric-id":2787620,"id":"Q2787620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e4e25e227b54c3548bb56e7a8407822d2d4f84","datavalue":{"value":{"amount":"+0.87962705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q496564$57561BD9-198D-40E4-A24D-822E5852CD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651c61af895c925f47b1a1c2f8d581182fb64b99","datavalue":{"value":{"entity-type":"item","numeric-id":5703057,"id":"Q5703057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4763f3d81c700740540dabb4e30138148949cf3","datavalue":{"value":{"amount":"+0.8784861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q496564$82036B92-5E71-4D44-9A14-274ECEF6FDFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:496564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:496564"}}}}}