{"entities":{"Q2027518":{"pageid":2038260,"ns":120,"title":"Item:Q2027518","lastrevid":57694023,"modified":"2026-03-31T22:45:45Z","type":"item","id":"Q2027518","labels":{"en":{"language":"en","value":"A note on Lie algebra cohomology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7351565"}},"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":"Q2027518$FE531C02-5AFC-49C4-BF04-44C7877A902A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87d032a2cd620fc48dc618aac5dd08fd71f8f0b9","datavalue":{"value":{"text":"A note on Lie algebra cohomology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2027518$65EC7C2E-F42B-4E32-98C2-C448A4907708","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f00cbe64180f0b414347380670a23973624dfef","datavalue":{"value":"1469.17018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027518$14F9D0AF-F0EA-478D-ABEF-41CF36B7A717","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87332c0b4228ea6a32730d36b1b88a32c73c04ba","datavalue":{"value":{"entity-type":"item","numeric-id":1849279,"id":"Q1849279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$94284636-8460-412F-9948-3BC378596859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd85f2804d180a078ea2c264ac9fd5d1237737a","datavalue":{"value":{"entity-type":"item","numeric-id":222663,"id":"Q222663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$B453DD7A-01D3-4F6B-8059-9C3E4F57882B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$989C75B2-73B0-4017-98F0-D3CDB75316EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2818695c69534e3670b82674cfea0e4cd6e5271","datavalue":{"value":{"time":"+2021-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2027518$05DD4855-94C4-4AC1-8DB1-B13AB51CF76E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e4b0c223cb1f27040a2a78c3055e5a28d3f5836","datavalue":{"value":"https://arxiv.org/abs/2002.01967","type":"string"},"datatype":"url"},"type":"statement","id":"Q2027518$63CC4069-27C5-4B75-8FDF-84CED633BEA8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ffb6ef3101b8219ba7d8b4d88df1698a3b788307","datavalue":{"value":"Let \\(L\\) be a finite dimensional Lie algebra over a field \\(k\\) with universal enveloping algebra \\(U(L)\\). Denote the augmentation ideal of \\(U(L)\\) by \\(I\\). A (left) \\(U(L)\\)-module \\(M\\) is said to be \\(I\\)-torsion if for each \\(m \\in M\\), there is \\(n > 0\\) with \\(I^nm = 0\\). Consider the category \\(U(L)\\)-mod of finitely generated \\(U(L)\\)-modules and the Serre subcategory (\\(U(L)\\)-mod)\\(_I\\) of \\(I\\)-torsion modules. The fundamental question of interest is whether the Ext-groups \\(\\operatorname{Ext}^j(k,k)\\) (for the trivial module \\(k\\)) are the same in these two categories. The authors approach the problem by considering a functor on bounded derived categories: \\[ \\Phi_{L} : D^b((U(L)\\text{-mod})_I) \\to D_I^b(U(L)\\text{-mod}), \\] where the latter category is the full triangulated subcategory consisting of complexes with \\(I\\)-torsion cohomology. The question is to determine when \\(\\Phi_L\\) is an equivalence.  The authors observe that this holds if the graded Rees algebra \\(\\displaystyle U(L)^* := \\bigoplus_{n \\geq 0}I^n\\) is graded left Noetherian. This latter condition is known to hold if \\(L\\) is nilpotent [\\textit{J. T. Stafford} and \\textit{N. R Wallach}, Trans. Am. Math. Soc. 272, 333--350 (1982; Zbl 0493.17004)], and the authors show the converse, that it is Noetherian only if the Lie algebra is nilpotent. More significantly, they show that \\(\\Phi_L\\) is a categorical equivalence for other (i.e., non-nilpotent) Lie algebras, determining precise conditions on such \\(L\\). Set \\(L_1 = L\\) and, for \\(n > 1\\), \\(L_n = [L, L_{n-1}]\\). Further, set \\(L_{\\infty} := \\cap_nL_n\\) and \\(L_{\\text{nil}} := L/L_{\\infty}\\). The quotient map \\(L \\to L_{\\text{nil}}\\) induces a map in cohomology \\(H^*(L_{\\text{nil}},k) \\to H^*(L,k)\\), and the authors show that \\(\\Phi_L\\) is an equivalence if and only if this latter map is an isomorphism. It is further shown that this is equivalent to \\(H^{> 0}(L_{\\infty},k)^{L_{\\text{nil}}}\\) being zero. The authors provide some small examples and related observations. For example, it is observed that in characteristic zero \\(\\Phi_L\\) being an equivalence implies \\(L\\) is solvable.  \\par Lastly, assume that \\(k\\) is algebraically closed of characteristic zero, and let \\(V\\) be a unipotent linear algebraic group over \\(k\\). As an application of the main result, the authors show that the cohomology of a \\(V\\)-module may be identified with a cohomology group over the Lie algebra \\(\\operatorname{Lie} V\\) of \\(V\\). This allows one to translate the computation of the cohomology of a quasicoherent equivariant sheaf over \\(V\\) to a cohomology computation over \\(\\operatorname{Lie} V\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027518$3C617BC3-3380-48BB-9A50-E3E66862B063","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"027d76d8bbd9c58e93864c012471474b318d2663","datavalue":{"value":{"entity-type":"item","numeric-id":210536,"id":"Q210536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$5C0536CA-00F6-47BA-A399-1A0E9BEE366E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c6bf4b949280ef7d54773ff374559f669592bcf","datavalue":{"value":"17B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027518$A42EAC57-7F9A-4903-BCCA-B650E1380D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d96bfa95acc69db6e8c24abfeefe4c20e099af6c","datavalue":{"value":"17B56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027518$7B6B4338-1DA6-46AF-AEEA-569A0CDAF449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027518$AE251D8F-BF9C-48FB-BCA6-8848855162BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e68d04a89325695dbc65b91bde88f1846070d8db","datavalue":{"value":"7351565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027518$E3D0F35C-932F-45ED-804A-902A57508822","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81595921e88e237ca3116acf33362129a96a0826","datavalue":{"value":"Lie algebra cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027518$BFC99E5F-DA6D-4F34-97D5-449F315F9C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53993182b264e0222cfd81bd218547835c44bb42","datavalue":{"value":"torsion module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027518$2636A23F-3063-49B2-9879-824A08EB6A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2941a48a3ac2569ff39ac58751d614227d1ff39","datavalue":{"value":"cohomology of equivariant sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027518$49020DDC-98AA-4CEF-BEFD-C0FB3149DA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f9063cd71549e745bb9ebff5ba38db95aee935","datavalue":{"value":"unipotent algebraic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027518$1476B6CC-9439-4583-B268-F0488DD5C8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9e3c8952df2857157ee92fe7c3cfda9271f730","datavalue":{"value":"bounded derived category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027518$8FE8F433-41B9-4BCD-A222-55203D0D6515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99bf76088f7c0d86f8ad372720af624a007f759","datavalue":{"value":"Rees algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027518$F8093945-B586-4000-B335-41D05C1560C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108bcb120bd1e95dd6eade7bbcc212bef6c53850","datavalue":{"value":"nilpotent Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027518$673137FC-6CE6-45B1-827E-7291465F2294","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":"Q2027518$B32EFEE6-D718-4C21-A43F-9169AD9012D4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dd589a06967bc4fdd298d9294dae9d7aeb831960","datavalue":{"value":"Q115231073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027518$7AADD3A5-F49D-418B-B842-162B5335320C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4f1bf771eafb408143cb3be7232cd4744938cd8","datavalue":{"value":"W3162667247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027518$5B6FDC4F-7BE7-4B8C-B1A9-FFDCBE2AD846","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f085c24b270695dea735c71424d628da2dff6d69","datavalue":{"value":{"entity-type":"item","numeric-id":2529818,"id":"Q2529818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$6BD8BC47-67D3-4766-BFC4-F1542C7614DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc03b69e44740387c17bfd1d4a9485c2b6672e94","datavalue":{"value":{"entity-type":"item","numeric-id":5655596,"id":"Q5655596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$03A3675E-D3CC-40FB-A8A6-153BEDB0D090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093c07cdc94bdbeae35c5e2041038410301e9ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5828049,"id":"Q5828049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$A26FB133-69FD-4763-8FA6-AC9161D7DDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a1ee0fa055a6d0f377c908c86e8ea831cf613b","datavalue":{"value":{"entity-type":"item","numeric-id":2651352,"id":"Q2651352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$DA8A279B-A80D-4126-B5A3-93967D3F0D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac31f73c73cdf36ada29c0374b224d51c74d02e","datavalue":{"value":{"entity-type":"item","numeric-id":3955543,"id":"Q3955543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$2AE33408-DA6F-4B4F-ADB4-E4237B558610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b6d303f64ec385ebd3e74d372662395905103a","datavalue":{"value":{"entity-type":"item","numeric-id":1589982,"id":"Q1589982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$9E3A0125-AD07-4381-8947-3A6B83558C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f37cd9548887a37b613ea8b9fba37642a33800c","datavalue":{"value":{"entity-type":"item","numeric-id":2646373,"id":"Q2646373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027518$9AE8BC39-8EAF-4F0A-B55E-20FF2F25CCA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c19c41177c98c72b293a653e97225aa1e9b8423b","datavalue":{"value":"10.2140/ANT.2021.15.773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027518$3176C7A6-E6BD-49AB-80F7-312B77AE2660","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e5b2cf1f24c8cde85a67034565f0a6b6969f48","datavalue":{"value":{"entity-type":"item","numeric-id":4149869,"id":"Q4149869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc087a1b3e84e3ffa230a51d0efa8212eb9186e","datavalue":{"value":{"amount":"+0.7634637355804443","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":"Q2027518$D47FAACC-02D9-4474-BC05-CBE6937C9039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8207fdf49bd1047b4c34a2e44b6cd7cc6b295a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4696679,"id":"Q4696679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281d2abbd9801461cd6d4d73447de7d3e8de8afa","datavalue":{"value":{"amount":"+0.7599360942840576","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":"Q2027518$970C9D0A-895A-4275-9D04-048636A46993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218d73990ecb39c61936937b8e04cc1316fd626e","datavalue":{"value":{"entity-type":"item","numeric-id":803256,"id":"Q803256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281d2abbd9801461cd6d4d73447de7d3e8de8afa","datavalue":{"value":{"amount":"+0.7599360942840576","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":"Q2027518$FD390E3E-F46D-4B78-B3E1-D808D2B0C260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48282c0b6f51b14ac6c058fafa98ca911ed55d3e","datavalue":{"value":{"entity-type":"item","numeric-id":3614613,"id":"Q3614613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63571ae12ec92d2a21bc59c89d085f13df2e78fb","datavalue":{"value":{"amount":"+0.7375422120094299","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":"Q2027518$C2E3957D-C099-4521-AC00-E9128654A2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3189e5aad0cc10cb932224570fb41a144bdc686a","datavalue":{"value":{"entity-type":"item","numeric-id":1847920,"id":"Q1847920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c043338b4f038050ffca26e623fb1d2db84eafa7","datavalue":{"value":{"amount":"+0.7339450716972351","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":"Q2027518$0994AB2A-0F1C-4860-85B7-8C768975B253","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2027518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2027518"}}}}}