{"entities":{"Q584375":{"pageid":586142,"ns":120,"title":"Item:Q584375","lastrevid":62950053,"modified":"2026-04-11T09:11:39Z","type":"item","id":"Q584375","labels":{"en":{"language":"en","value":"Structure of the Verma module \\(M(-\\rho)\\) over Euclidean Lie algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134275"}},"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":"Q584375$871202FD-9A5E-414C-9CD8-2C40A65EE546","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b18fb974391202dd57d731065cf2dc3934ecb71","datavalue":{"value":{"text":"Structure of the Verma module \\(M(-\\rho)\\) over Euclidean Lie algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q584375$C8A89929-D420-4946-833D-7F74B116D847","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bee01d58a8b36a8a7e7e16777b1ddd59c7fb546f","datavalue":{"value":"0693.17013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584375$EF5D3EA5-44FF-4129-B93E-D528345AF9EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"578fe3189a3a4bcd4480705ea0689c7195f6d17d","datavalue":{"value":"10.1016/0021-8693(89)90138-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584375$CEFEDA07-922E-4E17-B038-6B8ACC65EF3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c6390e70a7c704bd7fe54b125b8887feee04b13","datavalue":{"value":{"entity-type":"item","numeric-id":584374,"id":"Q584374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584375$D8070AB8-F96E-421D-B8AA-D991C3A51139","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":"Q584375$055063AF-DF10-4BB8-8542-3E7289A950A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q584375$CEE86AB3-4370-46BE-B175-E2FEBEA54938","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5317a01ac7ae7a9a46cbbbcc0d98751e88d00d9f","datavalue":{"value":"Let \\(G\\) be a symmetrizable Kac-Moody Lie algebra and \\(L(-\\rho)\\) be the irreducible quotient of the Verma module \\(M(-\\rho)\\). \\textit{V. G. Kac} and \\textit{D. A. Kazhdan} [Adv. Math. 34, 97--108 (1979; Zbl 0427.17011)] gave the conjecture on the character formula:  \\[ \\operatorname{ch} L(-\\rho)=e^{- \\rho}\\prod_{\\substack{\\alpha \\in \\Delta \\\\ (\\alpha,\\alpha)\\ne 0}}(1-e^{- \\alpha})^{-\\dim G_{\\alpha}}. \\]    In this paper the author gives a proof for the conjecture when \\(G\\) is a Euclidean Lie algebra. In addition, he also determines the Jantzen filtration of \\(M(-\\rho)\\) in this case. Further, he shows that the conjecture fails in general and states a new conjecture for the general case at the end.    If \\(G\\) is a Euclidean Lie algebra, the conjecture can be rewritten as  \\[ \\operatorname{ch} M(-\\rho)=\\sum^{\\infty}_{k=0}m_k \\operatorname{ch} L(-\\rho -k\\zeta), \\]   where \\(\\zeta\\) is the smallest positive imaginary root of \\(G\\) and   \\[ \\sum^{\\infty}_{k=0}m_ke^{-k\\zeta}=\\prod^{\\infty}_{k=0}(1- e^{-k\\zeta})^{-\\dim G_{\\alpha}}. \\]   Let \\(I_-\\) be the Lie subalgebra of \\(G\\) generated by the set of negative imaginary root vectors of \\(G\\) and let \\(U(I_-)\\) be its universal enveloping algebra. Then \\(m_k=\\dim U(I_- )_{-k\\zeta}\\) for all \\(k\\). The author shows that each negative imaginary root vector gives rise to a highest weight vector of an embedding of \\(M(- \\rho)\\) and these highest weight vectors behave in many ways exactly like the corresponding imaginary root vectors. He shows that the multiplicity of \\(L(-\\rho -k\\zeta)\\) in \\(M(-\\rho)\\) is \\(m_k\\) for all \\(k\\). This enables us to compute an upper bound for \\(\\dim L(-\\rho -\\eta)\\) for all \\(\\eta\\) which leads to the conclusion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q584375$47AAA978-9132-495A-BB59-1A4897A1EB8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e50ac497b39c0884724632c11d2ac20ae9ae239","datavalue":{"value":"17B67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584375$F1E324E7-2222-4E0E-A2D0-8BE37642404C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d93d985b16b5eaf5ed267eccbb01733531593e7d","datavalue":{"value":"17B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584375$B8B71D8E-05FD-42DC-8B2E-32491411FE72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce2670fa5639030735af206cda5cf37a430a4689","datavalue":{"value":"4134275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584375$B24BB21F-B027-4889-A93A-500ED7FFA509","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b94bb0d05cbbc7896fa3f8ed68609ea4f95cb18","datavalue":{"value":"symmetrizable Kac-Moody Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q584375$328E7B15-3620-42D7-B5E1-725C79A27AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679a0e0ef65bb59fc8bdb78aa3fdfc6d5e142135","datavalue":{"value":"Verma module","type":"string"},"datatype":"string"},"type":"statement","id":"Q584375$0AA83393-D07B-4EE2-ACA2-14F59A02308E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac7c2720ea2fef6180cfdc03fd8b552fd5bc519","datavalue":{"value":"Euclidean Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q584375$3633D51E-4CC1-4D38-8476-D90119BE7E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"321de6233517800f075dfab9d4a2a84d5c1fb909","datavalue":{"value":"Jantzen filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q584375$6E10E178-C488-4F03-B7C5-DDFB2445022D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fac3967bb4e167ed8d093f9259d5d95c2a0029","datavalue":{"value":"highest weight vector","type":"string"},"datatype":"string"},"type":"statement","id":"Q584375$91B47FB5-A10E-48D3-8A1C-CC2B02528031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b74859f165af89b8ee88732ebcef0c8389df0c37","datavalue":{"value":"imaginary root vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q584375$4A42A482-1420-4565-958E-29AB8636EB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a0db09a63aeb1f72747bd60b79d4765e8a3932","datavalue":{"value":"multiplicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q584375$B082DD3F-5596-48FD-92DA-F111A83F41C8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9137809e9a71954fdf0ab987e9abe8de73f56be6","datavalue":{"value":{"entity-type":"item","numeric-id":770400,"id":"Q770400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584375$AB9E89BA-D4E1-4AD5-B36B-E2991A2A8B68","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":"Q584375$88319AA3-AF8F-4D3E-A521-4058E144A605","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb565910d1c6c3c292c6f32277e0b199797de0e9","datavalue":{"value":"https://doi.org/10.1016/0021-8693(89)90138-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q584375$9971FA6E-D821-4221-AB0A-E88CBBC1762F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f722da00a1f4cac4856042c46d30d7acc829bcc6","datavalue":{"value":"W1999671010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584375$C32AB2A7-83E0-4AA1-9FF9-E9453882FC38","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"45c47da1865bed8be3a077fcd5b2c04a6e4e1ae0","datavalue":{"value":"Q115366172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584375$AE47D39D-72C9-405A-8A63-3148808536A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f90ef4258b6ff673085fd818e971aaf07abd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5580319,"id":"Q5580319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584375$8D903D19-2212-4F37-8A1B-2EC64B70CD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17862d63e1801264c344ddd10079d075b0d7d235","datavalue":{"value":{"entity-type":"item","numeric-id":1167264,"id":"Q1167264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584375$E1226A5C-C1EB-4910-8FAD-31F76F280B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909cb4048536d46808f3470b4e1fa07d5abe1352","datavalue":{"value":{"entity-type":"item","numeric-id":4888783,"id":"Q4888783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584375$8BD17FAB-B730-4E35-807A-2E30245C9D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56c584500a96bcdaf93975df30e52db6bfd32d9","datavalue":{"value":{"entity-type":"item","numeric-id":1135918,"id":"Q1135918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584375$D66EF62D-2347-4C78-9B85-DFAA4CEDA3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7a5ee28e692664bb785021374a77a762b627d5","datavalue":{"value":{"entity-type":"item","numeric-id":1136839,"id":"Q1136839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584375$DB1335BA-D8DC-4D27-B49B-6FAE1CE34EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f97d731016d9f3ec93dee488b2bd93c3fd0742","datavalue":{"value":{"entity-type":"item","numeric-id":1160268,"id":"Q1160268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584375$6021A828-9882-4AE6-9197-4B5100236C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a902c4e6742994519785fce22a219f54e5a43c","datavalue":{"value":{"entity-type":"item","numeric-id":2537793,"id":"Q2537793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584375$04A64C0E-7BF7-41C2-A9CD-E890088006C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6027e255f7d71e134a8e47626049d801073310c1","datavalue":{"value":{"entity-type":"item","numeric-id":1844293,"id":"Q1844293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584375$148B815A-F055-4484-B408-88AD64FB34E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2660e080ef02bd2ea90564cc8343b91c5c1cec7a","datavalue":{"value":{"entity-type":"item","numeric-id":4954638,"id":"Q4954638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d7278cfb42beff0579e721d482d3e193ed3e3b","datavalue":{"value":{"amount":"+0.797367513179779","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":"Q584375$68A1FDA5-D4B9-421C-80B0-D4FDA0A57D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620c1f9ec06763f911e1d7ed63ec332fd68f73ba","datavalue":{"value":{"entity-type":"item","numeric-id":1101536,"id":"Q1101536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa80c064239dd91312ec214b454efe328ea582e","datavalue":{"value":{"amount":"+0.7970781326293945","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":"Q584375$B812162B-651C-46CC-8CE1-74D9F8D66F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfae90e664606dcf18ea65ccb972de1c85c4c520","datavalue":{"value":{"entity-type":"item","numeric-id":1098925,"id":"Q1098925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ecf280aaa2a8965634f6995e2e2b740fc0c249","datavalue":{"value":{"amount":"+0.794620931148529","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":"Q584375$034A7A33-35C0-47F6-9AA8-28491B403738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc2649b962a0ee00b2233d5581321226c174f4a","datavalue":{"value":{"entity-type":"item","numeric-id":1915396,"id":"Q1915396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b003caeff238d6647504b2e0c9df0a6f371b73","datavalue":{"value":{"amount":"+0.7730974555015564","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":"Q584375$75F8DD79-5CE8-40A0-BF7D-635DB750FF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c576319d68f2a41ff71b44d7048ec0724aa7b3c1","datavalue":{"value":{"entity-type":"item","numeric-id":1804678,"id":"Q1804678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b003caeff238d6647504b2e0c9df0a6f371b73","datavalue":{"value":{"amount":"+0.7730974555015564","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":"Q584375$8DA8F297-C36F-475D-8E8F-59BD89428CBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structure of the Verma module \\(M(-\\rho)\\) over Euclidean Lie algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structure_of_the_Verma_module_%5C(M(-%5Crho)%5C)_over_Euclidean_Lie_algebras"}}}}}