{"entities":{"Q373866":{"pageid":375633,"ns":120,"title":"Item:Q373866","lastrevid":61396266,"modified":"2026-04-10T23:06:07Z","type":"item","id":"Q373866","labels":{"en":{"language":"en","value":"PBW for an inclusion of Lie algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220113"}},"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":"Q373866$18BADA45-A507-4CFE-B7E3-CE8B9620B60D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af189059ea5df8f1b9431d9ffe32f22ec6ee41c7","datavalue":{"value":{"text":"PBW for an inclusion of Lie algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q373866$4E97F6FD-1CCF-45D6-9158-914CBB2D877F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd5983ea22df398d34f769d8b290034cc803932b","datavalue":{"value":"1316.17008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373866$049A2C15-4032-40A5-9537-0F440E856DD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e22abf891a599a5f8e9fed0346f84720366373f3","datavalue":{"value":{"entity-type":"item","numeric-id":373863,"id":"Q373863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373866$BB02B96B-5436-4CAE-B41D-FFD8A5EE9EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"792bb20c33169814b645d98f4571fa186bd5eb29","datavalue":{"value":{"entity-type":"item","numeric-id":373864,"id":"Q373864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373866$2AC39B59-3A08-4A1B-A8F9-19A6C29974E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd3ba098d5865b4566d6be6b9d97f1c921787ae","datavalue":{"value":{"entity-type":"item","numeric-id":373865,"id":"Q373865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373866$39CD2921-62B4-45CF-93B2-225C70D6FAE9","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":"Q373866$863726B5-90A7-4E24-A058-BACAAA1C1F27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bcfbb5ee16d2a7ab6c44dcb73548f4d40646813","datavalue":{"value":{"time":"+2013-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q373866$288D8F9E-483F-4845-947C-1D9B57C77E02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3741d6f8da2711e00a7d5967ee8b04f31975cf9d","datavalue":{"value":"https://arxiv.org/abs/1010.0985","type":"string"},"datatype":"url"},"type":"statement","id":"Q373866$E0DEA98D-2ADC-4FEE-A1EE-3846A47B014F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8005dab851f5393fbce688e2f3a1c47d163c7679","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0021869312006278","type":"string"},"datatype":"url"},"type":"statement","id":"Q373866$5D223448-2D92-4E18-A351-EDD3BA748F8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"602f35203f44161584f740ea356b11bfc310f04e","datavalue":{"value":"Let \\(\\mathfrak h\\subset\\mathfrak g\\) be an inclusion of Lie algebras with quotient \\(\\mathfrak h\\)-module \\(\\mathfrak{n}\\). The paper answers the question of when is \\(U(\\mathfrak g)/U(\\mathfrak g)\\mathfrak h\\) isomorphic to \\(S(\\mathfrak{n})\\) as \\(\\mathfrak h\\)-representations, by giving two equivalent conditions. First, the authors define a class \\(\\alpha\\in \\mathrm{Ext}^1_{\\mathfrak h}(\\mathfrak{n}^{\\otimes 2},\\mathfrak{n})\\) by composing the class of the short exact sequence \\(0\\rightarrow\\mathfrak h\\rightarrow\\mathfrak g\\rightarrow\\mathfrak{n}\\rightarrow 0\\) with the \\(\\mathfrak h\\)-action. The first equivalence states that there is a natural filtration on \\(U(\\mathfrak g)/U(\\mathfrak g)\\mathfrak h\\) which splits to give the aforementioned isomorphism if and only if \\(\\alpha\\) is trivial. This is also equivalent to the \\(\\mathfrak h\\)-representation \\(\\mathfrak{n}\\) admitting an extension to \\(\\mathfrak h^{(1)}\\), where the latter Lie algebra is defined as the quotient of the free Lie algebra generated be the vector space \\(\\mathfrak g\\) by the ideal generated by the elements \\(\\{[h,g]-[h,g]_{\\mathfrak g},\\;h\\in\\mathfrak h,\\;g\\in\\mathfrak g\\}\\). The main idea is to use a dictionary between Lie theory and algebraic geometry, translating in the representation theoretic setting a corresponding result of the second author and \\textit{D. Arinkin} [Adv. Math. 231, No. 2, 815--842 (2012; Zbl 1250.14006)]. With this dictionary, \\(U(\\mathfrak g)/U(\\mathfrak g)\\mathfrak h\\) arises as \\(i^\\ast i!\\mathcal{O}_X\\), and \\(S(\\mathfrak{n})\\) arises as \\(S(N[-1])\\), where \\(i: X\\hookrightarrow Y\\) is a closed embedding of smooth algebraic varieties, \\(N\\) is the normal bundle of \\(X\\) in \\(Y\\) and \\(\\mathcal{O}_X\\) is the structure sheaf, playing the role of the trivial representation of the shifted tangent sheaf \\(T_X[-1]\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q373866$52FBDD36-92FE-4A8F-ABB5-805E38F32F2C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35de490053902a9f7428b70659ff5ae1d047ec0c","datavalue":{"value":{"entity-type":"item","numeric-id":591297,"id":"Q591297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373866$FE6352FE-8CD0-47ED-9DF8-E0ACE4E2191F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ba521b58bfbedda1bfb786f9a40dafbfa7fed44","datavalue":{"value":"17B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373866$3FA655F6-9D81-4BF9-8CD8-FD2A1D5B356D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ec43d61f125343ca3d0a4688eeb8d9ec85118d7","datavalue":{"value":"6220113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373866$832BB053-7CC3-4B42-A0A0-245B625817F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5237301a90f2a064f3ee1272fdf5221480cc8304","datavalue":{"value":"Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q373866$C9932A34-AF42-4C3D-9AAA-313B91018768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49d1361c3f54d031785763fd90fbefaf45ee4c9a","datavalue":{"value":"universal enveloping algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q373866$6FD04A5C-A8C1-4E5E-B05D-87F5DD17F65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b2b905f803441c0be439c47d52afc7d748873e","datavalue":{"value":"quantization","type":"string"},"datatype":"string"},"type":"statement","id":"Q373866$84C3C6A0-412A-415B-866A-33E6CBD9CDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5e94cf4b86b971898e925b99d3ee5383d2955d","datavalue":{"value":"PBW isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q373866$89B7ABA9-9B4C-463C-8831-3940BE3C132A","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":"Q373866$8294FF38-B2FF-46D3-8090-A316A115EE59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23b975a207766dd1d2dfc78394cce8b816dcf9ed","datavalue":{"value":"W1490467190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373866$B37507FB-14E6-42AD-A3F4-082F9E219662","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7ceedb7ef9d277591b5e92a0f5c89dfe60c36fc4","datavalue":{"value":"Q115351054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373866$6BF29DCD-47B0-489F-8969-CEC47CF4EAC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4edcb4a57d10faaeb316557843ba38fd9adeb3a","datavalue":{"value":"10.1016/J.JALGEBRA.2012.12.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373866$F8A3E9CA-2CCC-4725-98B0-2588660B1D85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34530fc0b0c1321514a6ec6f8508a3aa3f933b84","datavalue":{"value":{"entity-type":"item","numeric-id":396481,"id":"Q396481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c537e82e8d7f488fc44c44fee1cfeccc6fd1a48","datavalue":{"value":{"amount":"+0.9297364","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":"Q373866$5B5FB0E8-ABD5-460C-AC93-9900E9086F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e246af085a46c9c802d8f5088a003d86b663c39","datavalue":{"value":{"entity-type":"item","numeric-id":4658039,"id":"Q4658039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57995d08b19888564c9a68103814bf3b421e6b69","datavalue":{"value":{"amount":"+0.8919812","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":"Q373866$9A9BCD0C-6E2F-4867-8F0C-0C83ADCCDEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cf7e0e29965c5f89fc0ffeecf51b3c0d81b54ed","datavalue":{"value":{"entity-type":"item","numeric-id":5107039,"id":"Q5107039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f39dfb1749158e73dbaef7a4eb25ffe90a56f5","datavalue":{"value":{"amount":"+0.8894942","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":"Q373866$471272E4-6C51-473C-BEC8-266F0B72DB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c64f5201a918b4c361509eeb9f24b5d33d3ef51","datavalue":{"value":{"entity-type":"item","numeric-id":5001440,"id":"Q5001440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5e83e21c45b994b025455dd341470d5767d600","datavalue":{"value":{"amount":"+0.88219744","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":"Q373866$0CDE1652-CF9A-4BEB-83D0-0471993E9F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eabaf613bd754f4bfa66cb1cd95dc8c48f44c87","datavalue":{"value":{"entity-type":"item","numeric-id":2240455,"id":"Q2240455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e928655087ee51a14673b9369e1c28627d217b5f","datavalue":{"value":{"amount":"+0.88070655","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":"Q373866$64F0D3B8-E30B-439D-B6D0-149738099CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b6c63f1f67eeec84ff51146c7f27327e87bfc8","datavalue":{"value":{"entity-type":"item","numeric-id":5409809,"id":"Q5409809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fede72e2872c6640fab31bff6e89599384351ec","datavalue":{"value":{"amount":"+0.8806715","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":"Q373866$85C98CB5-0A7B-459E-A0EA-6668EC129EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7264df019212bc4f2831ab52e36acd7b34905f","datavalue":{"value":{"entity-type":"item","numeric-id":3108563,"id":"Q3108563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccd625df0aa1d4dfee6dd66953130507fcf1322","datavalue":{"value":{"amount":"+0.88033533","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":"Q373866$C57B6539-1206-4BDF-85EE-E8325C069B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a54032184bb2434668dd210e65c3ecbfee4fa4f","datavalue":{"value":{"entity-type":"item","numeric-id":3615337,"id":"Q3615337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ececdb08c24a005787e44229c0fcadf06436fcdc","datavalue":{"value":{"amount":"+0.88026077","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":"Q373866$0EA65CB5-D24C-45D2-9E27-8C7CB5BC8680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d4a2e98236b43e2095a2de93a9475a32313368","datavalue":{"value":{"entity-type":"item","numeric-id":3654970,"id":"Q3654970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2b7f90a7783ccf806ba283ba90220944ba9a21","datavalue":{"value":{"amount":"+0.87797993","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":"Q373866$81BC65CF-46B1-4729-8D4D-13F04313AE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862e1f3b781b7039a2eaa0f672e37e23b590b3da","datavalue":{"value":{"entity-type":"item","numeric-id":2065950,"id":"Q2065950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14d24112c65347600cb36c8ae4273a377569607","datavalue":{"value":{"amount":"+0.87721014","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":"Q373866$377B044B-3CA0-47F3-B8AC-9A3FE0D7235C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PBW for an inclusion of Lie algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PBW_for_an_inclusion_of_Lie_algebras"}}}}}