{"entities":{"Q1059137":{"pageid":1060985,"ns":120,"title":"Item:Q1059137","lastrevid":66054240,"modified":"2026-04-12T07:13:24Z","type":"item","id":"Q1059137","labels":{"en":{"language":"en","value":"Cohomology of bimodules over enveloping algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902868"}},"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":"Q1059137$D53F50FA-318F-4745-A43F-861E60D87A1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae8dbec13919126320fea5f318267b29741eae31","datavalue":{"value":{"text":"Cohomology of bimodules over enveloping algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1059137$91CF4000-FF8B-465E-AF02-C7BD0D63527B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32c1b864c193d617138d69cbde102367d62a145b","datavalue":{"value":"0566.17005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059137$9AE8AFC1-5E04-40C2-9656-68AAB606D083","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8bbe339ecdd5cba33819c07ef0eb99e9ba62fff","datavalue":{"value":"10.1007/BF01164161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059137$244EF358-99A3-41CC-A60B-AD8FE2A83C3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac2df9ced8004c1335c516ec9724c1543db4e9d","datavalue":{"value":{"entity-type":"item","numeric-id":232466,"id":"Q232466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$537B57E1-23A2-48C6-B97D-9B409F03F798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf84b0852653a51f2f43f619e78500d617c30ada","datavalue":{"value":{"entity-type":"item","numeric-id":1059136,"id":"Q1059136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$F57F2F78-2281-462F-BC5F-4AE10544A18D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$2888AE20-3484-4616-A5E4-4B561E33A1B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1059137$5B3A4EF4-64EE-4992-8515-6E2A2FCCF229","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3325944a21a2c088a6971122527f33e915eef39a","datavalue":{"value":"https://eudml.org/doc/173589","type":"string"},"datatype":"url"},"type":"statement","id":"Q1059137$D974FE4F-715E-4868-909A-0BA6EB979E8A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a039dfcc219f3e1606de47a9dd660d5ee09e877f","datavalue":{"value":"Let \\({\\mathfrak g}\\) be a finite-dimensional Lie algebra over C with enveloping algebra U. Let M be a (U-U) bimodule, finitely generated on both sides. For \\(i\\geq 0\\), \\(Ext^ i_ U(M,U)\\), evaluated for the left modules M and U, is a (U-U) bimodule via the right action of U on M and on U. The central result concerns the case when \\(M=U/P\\), where P is a prime ideal of height t of U and \\({\\mathfrak g}\\) is solvable. Under these circumstances, \\(Ext^ i_ U(U/P,U)=0\\) for \\(i<t\\); and \\(Ext^ t_ U(U/P,U)\\) is isomorphic, as a left module, to a nonzero left ideal of U/P, and, as a right module, to a right ideal of \\(U/\\tau_{\\lambda}(P)\\), where \\(\\tau_{\\lambda}\\) is the winding automorphism of U obtained using a certain element \\(\\lambda\\) of (\\({\\mathfrak g}/[{\\mathfrak g},{\\mathfrak g}])^*\\) determined by P (for example if P is co-Artinian then \\(\\lambda =-trace ad {\\mathfrak g}).\\)    To prove this result a partial quotient ring R is constructed with respect to a certain subset S(P) of \\(U\\setminus P\\) [see the first author, Compos. Math. 53, 347-367 (1984; Zbl 0561.16003)]. The ring R has several properties which can be exploited, for example R/PR is the division ring of fractions of U/P, PR has a regular normalizing set of t generators, R has global dimension t and \\(Ext^ i_ U(U/P,U)\\otimes_ U R\\cong Ext^ i_ R(R/PR,R)\\) as bimodules. It then remains to prove that \\(Ext^ i_ U(U/P,U)\\) is left and right S(P)-torsion free and is finitely generated on both sides, the latter being a consequence of an unpublished result of I. N. Bernstein on Harish-Chandra modules M, namely that \\(Ext^ i_ U(M,U)\\) is a Harish-Chandra module. The authors give Bernstein's proof. Various applications and generalizations of the main result are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059137$7BB811FA-C329-49E4-9806-953B2E343FFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ba521b58bfbedda1bfb786f9a40dafbfa7fed44","datavalue":{"value":"17B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059137$1E5A400A-6261-4532-BB67-BFE5EAD5C518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02b7f81904478f2ff25bed8a8c2f4d9c04176fef","datavalue":{"value":"17B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059137$A2939084-020F-4383-8D48-150CAB63DC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c6bf4b949280ef7d54773ff374559f669592bcf","datavalue":{"value":"17B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059137$830E908A-73F0-4280-8B84-CD96E8EF71A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38434fcf3dedb2160b601a243de478e84ac0731d","datavalue":{"value":"16Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059137$359691EA-0225-4B58-A3D1-BEC3E847E211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10d40b28c3d9191a27aa59f47859591f9e84c512","datavalue":{"value":"16P40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059137$77734260-3546-4A3B-BF90-384EBCEC0E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9c4f2e96df33812ed51b71d54c47fd2e7d056bd","datavalue":{"value":"16P50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059137$CD8F353F-F9D1-44B9-AB3D-A17A9139D19E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cd36947d4d5e16314bc0b01a4a0e845a39034f0","datavalue":{"value":"3902868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059137$E26478DA-6542-4B52-BA7B-2B5FC4B90D36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aed41fe35b0d1a7b15d7b32045322a74aaa900e","datavalue":{"value":"solvable Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059137$CE5FEFFB-9889-49E5-9CC8-0DD396EBED00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0930f43941d9d537eed19811658ba3b08bad2b0","datavalue":{"value":"vanishing of Ext","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059137$0F0C0A09-8A05-4350-BE7C-2F0B0587AA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1f056dec8c5fd4da3c0cab1624fcccc3b52df9","datavalue":{"value":"finite-dimensional Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059137$D735E133-C1AC-448A-8697-C7CE28ED8BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"365481a273b7ffe5935bd5ab488f2f9b9a2ef6ef","datavalue":{"value":"winding automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059137$D255957F-D448-4FAE-9BA6-0777127F3B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a501acc665dedccad8432666692269777dd59ab0","datavalue":{"value":"bimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059137$BA5A38B6-E5DC-4A89-8871-F190050F40A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01a08f4d92743e78dcc819d9157963fa36992c3","datavalue":{"value":"Harish-Chandra modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059137$D3AF1280-EFD4-4116-84E1-DC699A470C09","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a042bef296ed2d5dbd0585f99bdc61b8ed655476","datavalue":{"value":{"entity-type":"item","numeric-id":412525,"id":"Q412525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$ED94F7E9-988A-46F7-A5A8-8C0DDB83FFBF","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":"Q1059137$AB0D57EF-7FE6-4F9B-B1F7-8EAF01AAD1D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fa7eaff1dacaa3e5528d597bdad17b3c89f359","datavalue":{"value":{"entity-type":"item","numeric-id":3889239,"id":"Q3889239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$B6643C2B-36C5-4207-8AF0-8FB4B69DBC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d219890caadbd31e86066723bbbc2e9b843a615","datavalue":{"value":{"entity-type":"item","numeric-id":1157381,"id":"Q1157381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$A558700E-84EA-4174-8091-DBCCAB6114DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7155086860d46508f4194c09a1dbfa6377b4ad3","datavalue":{"value":{"entity-type":"item","numeric-id":3037624,"id":"Q3037624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$6926950E-8833-4A7B-AEC2-6CED4D43CEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00edfb9a8e9cf51c72b5c6b1b2444c084081868","datavalue":{"value":{"entity-type":"item","numeric-id":5185036,"id":"Q5185036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$C681E36E-7A8D-4E57-91FC-19E446D6B588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaff3cd983edd31e308bc7c8f5d2ffa125f20df9","datavalue":{"value":{"entity-type":"item","numeric-id":1172138,"id":"Q1172138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$2F1B391C-5EE9-4C2E-BCC8-79CF8906B6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4afe49e65451b0110388066df13362388132409","datavalue":{"value":{"entity-type":"item","numeric-id":2626209,"id":"Q2626209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$147D4B46-102F-43BE-AD5A-BE2C92EB1ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabedea53560efb0ba3bf960e89917b19aac6569","datavalue":{"value":{"entity-type":"item","numeric-id":3933124,"id":"Q3933124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$BCA5B0A7-B1E8-43DA-81AB-C780FBCFF758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41c5d14fd3b298ecbf72d80a5fe11cbbb13a5a1","datavalue":{"value":{"entity-type":"item","numeric-id":5603302,"id":"Q5603302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$B8D138AF-1CC2-4FF0-8E24-E74485524A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1bbdcb4ade4b00a96953d00f76c2158a4b2513","datavalue":{"value":{"entity-type":"item","numeric-id":3934555,"id":"Q3934555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$FA97962E-929F-4705-B047-5765AE6A5032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c26fcd7d765421a7df65bbec33731a83d9138cf","datavalue":{"value":{"entity-type":"item","numeric-id":1839303,"id":"Q1839303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$5C32595C-4D60-4123-A6A9-15A9DA025017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69bb388f3a852e60b226aa35f51e880df671d4e","datavalue":{"value":{"entity-type":"item","numeric-id":3952253,"id":"Q3952253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$91EE98BE-2740-45CB-B5FA-9ED63D1AD1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18383aa0fb35992209892ecc8afc0d8f83ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4049223,"id":"Q4049223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$572C0F56-854C-4CBD-A097-EBBDFF7C8436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a364ccd9fee1f966262e1010f08640c65cb752","datavalue":{"value":{"entity-type":"item","numeric-id":4183443,"id":"Q4183443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059137$B47DD9B3-9497-4C5F-8CE7-DAF03651AF5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b57b215ed0819948611ee6e2b8f995f1417efd9","datavalue":{"value":"W2051261487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059137$C46AE872-FAB7-4792-9B52-94C33749F922","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558f44b18835311e0632416fcf2cc9c8cd5d49bd","datavalue":{"value":{"entity-type":"item","numeric-id":1821186,"id":"Q1821186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba8028189bc252380dc7887979a73698aba31b1","datavalue":{"value":{"amount":"+0.7992050051689148","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":"Q1059137$EE7C3D23-CA82-4A7A-A7FB-4226F2B32EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf07e9830409fba72112fb8dfa5a30f6c41526e","datavalue":{"value":{"entity-type":"item","numeric-id":3691898,"id":"Q3691898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabc2322f1df04b2e924342bf8cbb0403f3bc0c1","datavalue":{"value":{"amount":"+0.785493016242981","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":"Q1059137$0AF1EFC1-ECF2-4603-A7CD-D6DA70D409E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb71debeff86108c92b3eb0f82b66cad2f1533d","datavalue":{"value":{"entity-type":"item","numeric-id":1059140,"id":"Q1059140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8866da6fe306c4af7dd5fc33adb7a3caf89dd99a","datavalue":{"value":{"amount":"+0.7579020857810974","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":"Q1059137$69F23FEC-CBEB-4DE9-A5BC-C74671B12F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fce1816dbba74668acccb83bfd66a716f301cb","datavalue":{"value":{"entity-type":"item","numeric-id":3735905,"id":"Q3735905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73404368685d7b71943ec0b3bf33b758696d0a6e","datavalue":{"value":{"amount":"+0.7460854649543762","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":"Q1059137$443ACAE8-E663-412A-BDE5-EA08D17CC0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27503911b05ed3b6830dd74c15ffe59626de0d63","datavalue":{"value":{"entity-type":"item","numeric-id":1996071,"id":"Q1996071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"296077d5d7060dc20b30930e86eb13cc162d14fb","datavalue":{"value":{"amount":"+0.7429266571998596","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":"Q1059137$C48BE0CB-2266-4349-95CF-C02694AAFB4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cohomology of bimodules over enveloping algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cohomology_of_bimodules_over_enveloping_algebras"}}}}}