{"entities":{"Q1941149":{"pageid":1951891,"ns":120,"title":"Item:Q1941149","lastrevid":57610896,"modified":"2026-03-31T14:58:00Z","type":"item","id":"Q1941149","labels":{"en":{"language":"en","value":"Formality for the nilpotent cone and a derived Springer correspondence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6143269"}},"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":"Q1941149$06C11C38-5170-4E4B-BF9C-4EA1AB9DB697","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db91c7c6572f495b1584bcc9f617a98e4597b03e","datavalue":{"value":{"text":"Formality for the nilpotent cone and a derived Springer correspondence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941149$A74E148D-93F6-4B40-A50C-77ECF5A70ED8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e603ad04e9f1ddb518be796d278c3f6ddeae0348","datavalue":{"value":"1278.17004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941149$EE0E5A2A-DB93-496B-809A-55C7235217BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fa76a24ebed3be282966d5ecfc99251ba784cd7","datavalue":{"value":{"entity-type":"item","numeric-id":265869,"id":"Q265869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941149$794AC7CE-5BCD-4E11-9117-7255F481FF91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941149$B9C75424-E64C-4FD5-AACF-3A7AF8B5780B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc68ba37c56ec9469d578116ba5ddbf1e9c7f0bc","datavalue":{"value":{"time":"+2013-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941149$CB6C5C29-C6F2-41B3-ADF4-50523EFF2A06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f80e55052a6a0cba36593655430e05aff93e62f2","datavalue":{"value":"https://arxiv.org/abs/1206.4343","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941149$2EA7F20C-A752-4091-84D0-A02FFA0E019F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e6618b49015dceca36fb38299a6b5b80ddb6e298","datavalue":{"value":"The Springer correspondence relates simple perverse sheaves on the nilpotent cone of a reductive group to representations of the Weyl group. The main result of this paper extends the Springer correspondence to an equivalence of derived categories.  Let \\(\\mathbb{F}\\) be the algebraic closure of a finite field \\(\\mathbb{F}_q\\) of characteristic \\(p\\), \\(\\ell\\) a prime not equal to \\(p\\). Let \\(G_0\\) be a split connected reductive group over \\(\\mathbb{F}_q\\) and \\(G\\) be its extension to \\(\\mathbb{F}\\). Let \\(\\mathcal{N}\\) (resp. \\(\\mathcal{N}_0\\)) be the nilpotent cone of \\(G\\) (resp. \\(G_0\\)), \\(W\\) the Weyl group and \\(\\mathcal{B}\\) the flag variety of \\(G\\).  Let \\(D^b_{G,Spr}(\\mathcal{N}) \\subset D^b_{G,c}(\\mathcal{N})\\) denote the triangulated subcategory of the \\(\\ell\\)-adic \\(G\\)-equivariant constructible derived category generated by the summands of the Springer sheaf \\(A\\). Assuming that \\(p\\) and \\(q\\) are large enough, the main result, Theorem 7.9, states that \\(D^b_{G,Spr}(\\mathcal{N})\\) is governed by the algebra \\(\\mathrm{Ext}^\\bullet_{D^b_G(\\mathcal{N})}(A,A) \\cong \\overline{\\mathbb{Q}}_\\ell[W] \\# H^\\bullet_G(\\mathcal{B})\\). More precisely, it says that  \\[ D^b_{G,Spr}(\\mathcal{N}) \\cong \\mathcal{D}_f^{dg}(\\overline{\\mathbb{Q}}_\\ell[W] \\# H^\\bullet_G(\\mathcal{B})), \\]  where \\(\\mathcal{D}_f^{dg}(Q)\\) denotes the derived category of finitely generated differential graded modules over a graded algebra \\(Q\\).  The proof is built around the construction of a dg ring \\(\\mathcal{R}\\) and a functor \\(D^b_{G,Spr}(\\mathcal{N}) \\to \\mathcal{D}^{dg}(\\mathcal{R})\\) such \\(\\mathcal{R}\\) is formal with cohomology ring \\(H^\\bullet (\\mathcal{R}) = \\overline{\\mathbb{Q}}_\\ell[W] \\# H^\\bullet_G(\\mathcal{B})\\).  The paper is structured as follows. Sections 2-4 consider the general setting of a variety \\(X_0\\) over \\(\\mathbb{F}_q\\). In Section 2, the author considers a full subcategory \\(\\mathcal{P}\\mathrm{ure}_{\\mathcal{S}}(X_0)\\) of \\(D^b_m(X_0)\\) associated to a collection \\(\\mathcal{S}\\) of simple perverse sheaves of weight 0 on \\(X_0\\) and introduces a notion of Frobenius invariance for such subcategories. In Section 3, a realization functor \\(K^b(\\mathcal{P}\\mathrm{ure}_{\\mathcal{S}}(X_0)) \\to D^b_m(X_0)\\) is constructed when \\(\\mathcal{P}\\mathrm{ure}_{\\mathcal{S}}(X_0)\\) is Frobenius invariant. In Section 4 the author shows that the functor  \\[ K^b(\\mathcal{P}\\mathrm{ure}_{\\mathcal{S}}(X_0)) \\to D^b_m(X_0) \\to D^b_c(X) \\]  makes \\(K^b(\\mathcal{P}\\mathrm{ure}_{\\mathcal{S}}(X_0))\\) into a mixed version of \\(D^b_c(X)\\). The section concludes the definition of a second, nonstandard t-structure on \\(K^b(\\mathcal{P}\\mathrm{ure}_{\\mathcal{S}}(X_0))\\) with heart \\(\\mathrm{Perv}_{KD}(X_0)\\).  In Section 5, the above machinery is applied to \\(X_0= \\mathcal{N}_0\\) and \\(\\mathcal{S}\\) the set of summands of the Springer sheaf, in which case \\(\\mathcal{P}\\mathrm{ure}_{G}(\\mathcal{N}_0):=\\mathcal{P}\\mathrm{ure}_{\\mathcal{S}}(X_0)\\). Section 6 proves an equivalence  \\(K^b(\\mathcal{P}\\mathrm{ure}_{G}(\\mathcal{N}_0)) \\cong D^b(\\mathrm{gMod}(\\overline{\\mathbb{Q}}_\\ell[W] \\# H^\\bullet_G(\\mathcal{B}))).\\)  The algebra on the right hand side is known to be Koszul with Koszul dual \\(\\overline{\\mathbb{Q}}_\\ell[W] \\# \\bigwedge \\mathfrak h\\). Hence  \\(K^b(\\mathcal{P}\\mathrm{ure}_{G}(\\mathcal{N}_0)) \\cong D^b(\\mathrm{gMod}(\\overline{\\mathbb{Q}}_\\ell[W] \\# \\bigwedge \\mathfrak h)).\\)  Theorem 7.1 shows that this equivalence takes the standard t-structure on the right hand side to the nonstandard t-structure constructed at the end of section 4. The category \\(\\mathrm{gMod}(\\overline{\\mathbb{Q}}_\\ell[W] \\# \\bigwedge \\mathfrak h)\\) is known to have enough injectives and projectives and thus the same is true of \\(\\mathrm{Perv}_{KD}(X_0)\\). The author then uses this fact to construct a resolution \\(\\tilde{P}^\\bullet\\) of the Springer sheaf \\(A\\) by projective objects in \\(\\mathrm{Perv}_{KD}(X_0)\\). Applying the functor from Sections 4 and 5 to \\(\\tilde{P}^\\bullet\\) gives a chain complex \\(P^\\bullet \\in C^-D^b_{G,Spr}(\\mathcal{N})\\). The dg ring \\(\\mathcal{R}\\) is defined as an Ext algebra of \\(P^\\bullet\\). The functor \\(D^b_{G,Spr}(\\mathcal{N}) \\to \\mathcal{D}^{dg}(\\mathcal{R})\\) is defined by \\(\\mathcal{H}\\mathrm{om}(P^\\bullet,-)\\). The proof concludes by showing that \\(\\mathcal{R}\\) is formal and that the functor \\(\\mathcal{H}\\mathrm{om}(P^\\bullet,-)\\) is full and faithful with essential image \\(\\mathcal{D}_f^{dg}(\\overline{\\mathbb{Q}}_\\ell[W] \\# H^\\bullet_G(\\mathcal{B}))\\).  As \\(P^\\bullet\\) is not an object in a triangulated category, some care is needed to show, for example, that \\(\\mathcal{H}\\mathrm{om}(P^\\bullet,-)\\) is a triangulated functor. This is done in the Appendix.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941149$3E5CB60C-F8D1-4E46-B030-ED0469A8EA8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"090be31d3190700deb5ef48d8e3e5e7a40772735","datavalue":{"value":{"entity-type":"item","numeric-id":478547,"id":"Q478547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941149$32875CAA-59CA-46FC-9934-00ECDC268307","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b7615a5f910c74ac39d1263bfe03831d836a8ef","datavalue":{"value":"17B08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941149$4EA1AB0B-A5E1-42B7-ACB5-992B632CAAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941149$7C111070-9DE6-42E7-9A74-215C7ED7C07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47cd99bf5ad5e999dbd0daa01b9d03e4b2cc43d4","datavalue":{"value":"16E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941149$5D2EABC1-DBB1-492A-BA5A-EF9462623A16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b2cf775928d776d37b7b1a6164fc50492607d09","datavalue":{"value":"6143269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941149$F1EFC0F2-71A1-4D85-B4D0-03564B6CB22E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"528101206a63fa4d76452dd5e794fbe4c36d17ed","datavalue":{"value":"Springer correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941149$2F0F3572-23A0-4418-80AA-4C627C062A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51db249ebf976cd95b2c86d1435379fff448ffd6","datavalue":{"value":"differential graded (dg) modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941149$B86B381F-F278-48C3-9249-934A24082B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0ba6f3b7c7ccfd844a2f6775eedde33b0ab9b5","datavalue":{"value":"perverse sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941149$945B6810-E275-40C8-AA16-07A8C3C2C114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a403ca744d37b0a7d4d5c6e47db55d48a4643bb6","datavalue":{"value":"nilpotent cone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941149$06A9E369-F43C-483A-B66E-37A0B60821EE","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":"Q1941149$F16E6C63-BA3B-4EE6-8579-1D918E8E0BB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1727c1174983b227a6515059c0cdd59bdf6e6f12","datavalue":{"value":"W2010308981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941149$317E4874-49FE-4FE5-B526-6DBE0D9EBC1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e06d57873db4edf3084f17a38359f2b088e296b","datavalue":{"value":"10.1016/J.AIM.2012.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941149$95375486-4725-43B1-BC4E-A7C8AD1D9090","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb0409e15c5c3e5329c12f834453c491a31afad","datavalue":{"value":{"entity-type":"item","numeric-id":2041928,"id":"Q2041928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1554ef6ca7658cc3b76537963d240cd3d90e9b25","datavalue":{"value":{"amount":"+0.8725176453590393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1941149$B866F370-1905-430E-96F6-4E01D8268353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9375c1209807f6ed267c35210d7925c08b56ac","datavalue":{"value":{"entity-type":"item","numeric-id":3178837,"id":"Q3178837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabdb865b521dcddbe2ebb2cde8023a6aae8e7ff","datavalue":{"value":{"amount":"+0.7972926497459412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1941149$83C4F312-4A78-441D-AD1D-E37272ABF76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a32fd6a0ea672809b09625989d6c76a2cd8d7f","datavalue":{"value":{"entity-type":"item","numeric-id":6046208,"id":"Q6046208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694ed2264a285d2ad140df764770f41d341652e9","datavalue":{"value":{"amount":"+0.7910718321800232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1941149$8D349F37-E9E1-477F-8965-B0112779A6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3c7a4e3dc421ebf417902cad366c8bf612fee8","datavalue":{"value":{"entity-type":"item","numeric-id":5881037,"id":"Q5881037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa45edfa97ebcacc1ae39275f69fcfb34963503","datavalue":{"value":{"amount":"+0.7861025929450989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1941149$4B38994E-6E11-4BD1-A96B-C41EEC6C7A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"759b8df120fd6c4633a44f8b27d5cccc3bcaf9b3","datavalue":{"value":{"entity-type":"item","numeric-id":2801885,"id":"Q2801885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d07d3e9387001320ff7f18bd2c682247aa4f28a","datavalue":{"value":{"amount":"+0.7852586507797241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1941149$730599BF-2329-4046-9880-174B5C72F843","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941149"}}}}}