{"entities":{"Q1821187":{"pageid":1831929,"ns":120,"title":"Item:Q1821187","lastrevid":49050418,"modified":"2026-01-06T12:52:37Z","type":"item","id":"Q1821187","labels":{"en":{"language":"en","value":"A finiteness theorem for affine Lie algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3998053"}},"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":"Q1821187$E48707A7-F98D-463B-A54C-57931CEC42F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7acde51bc2870f4342c083c5d0ffaaf407c5812","datavalue":{"value":{"text":"A finiteness theorem for affine Lie algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821187$5D9E9860-D926-44BA-B9DC-6831C4A28C47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dade00667be0fddba086d9b8e5b75e7c51964b4","datavalue":{"value":"0616.17009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821187$7C877A30-4366-4D54-8A5F-D7044329A6A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f10b02ad6b9a5bb1d36a36dbd5d80f32bb496d42","datavalue":{"value":"10.1016/0021-8693(86)90143-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821187$4C2D2518-A8CD-4A3A-9A28-15E0104C04F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77822ef684c945453b2288e5b28412f285133d26","datavalue":{"value":{"entity-type":"item","numeric-id":752829,"id":"Q752829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821187$2F93EFD1-5FDA-42EE-9C9C-6BD3F1BF4E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3884361f1727107bea71276b47579d1c8bbc7b0","datavalue":{"value":{"entity-type":"item","numeric-id":595033,"id":"Q595033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821187$B3F683A8-7A77-47DD-AF38-EF7E034A2BB2","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":"Q1821187$70A8D9AE-4FA4-4CEB-9C0B-749C7617CFFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1821187$CF21A4E8-763C-4348-8E42-95A3D340245C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d45563989d36ef005c33bd247e101b62714f3468","datavalue":{"value":"Let \\(G(A)\\) be the Kac-Moody Lie algebra associated to a symmetrizable generalized Cartan matrix A, H be a Cartan subalgebra, \\(\\Phi\\) be the root system with basis \\(\\Pi\\), \\(\\Gamma =\\sum_{\\alpha \\in \\Phi}{\\mathbb{Z}}\\alpha\\) be the root lattice, (.,.) be the bilinear form and \\(\\rho \\in H^*\\) be such that \\(2(\\rho,\\alpha) = (\\alpha,\\alpha)\\) for all \\(\\alpha\\in \\Pi\\). For \\(\\lambda \\in H^*\\) define the following important set:  \\[  X_{\\lambda} = \\{\\mu\\in \\lambda +\\Gamma; \\quad (\\mu+\\rho,\\mu+\\rho) = (\\lambda+\\rho,\\lambda+\\rho)\\}.  \\]  By using the fact that the Casimir operator \\(\\Omega\\) acts as a scalar \\((\\lambda+\\rho, \\lambda+\\rho)\\) on a highest weight module M(\\(\\lambda)\\), Kac proved that the highest weights of all irreducible subquotients of M(\\(\\lambda)\\) belong to \\(X_{\\lambda}\\). The action of \\(\\Omega\\) is no longer a scalar on a module M in the category \\({\\mathcal O}\\) of Bernstein-Gelfand-Gelfand, instead one has the decomposition \\(M= \\oplus_{c\\in C}M_ c\\) where \\(M_ c=\\{m\\in M\\); \\((\\Omega -cI)^ r_ m=0\\) for some \\(r\\}\\). In order to decompose \\(M_ c\\), an equivalence \\(\\sim\\) was introduced on \\(H^*\\) in [\\textit{V. V. Deodhar}, \\textit{O. Gabber} and \\textit{V. Kac}, Adv. Math. 45, 92-116 (1982; Zbl 0491.17008)] and one gets \\(M_ c=\\oplus_{\\Theta \\subset X_{\\lambda}}M_{\\Theta}\\) if \\(c=(\\lambda +\\rho, \\lambda +\\rho)\\), where \\(M_{\\Theta}\\) is the submodule associated to an equivalence class \\(\\Theta\\).    The main result of this article is to prove that in the case of an affine Kac-Moody Lie algebra, \\(X_{\\lambda}\\) contains only finitely many equivalence classes (up to the action of the Weyl group W). The authors announce that the hyperbolic case has been settled by Deodhar and Moody.    Let us look at some technical parts of the paper. A complicated condition called (*) was introduced in Deodhar-Gabber-Kac's paper and they proved that \\(\\{\\lambda,\\mu\\}\\) satisfies (*) iff the irreducible module \\(L(\\mu)\\) occurs as a subquotient of \\(M(\\lambda)\\); then \\(\\lambda \\sim \\mu\\) iff there exists a sequence \\(\\lambda =\\lambda_ 0,\\lambda_ 1,...,\\lambda_ m=\\mu\\) in \\(H^*\\) such that for every \\(i=0,...,m-1\\), one of the ordered pairs \\(\\{\\lambda_ i,\\lambda_{i+1}\\}\\) and \\(\\{\\lambda_{i+1},\\lambda_ i\\}\\) satisfies (*). Let \\({\\mathcal S}_{\\lambda}\\) be the set of equivalence classes contained in \\(X_{\\lambda}\\) and \\(\\tilde W(\\lambda) = \\{w\\in W\\); \\(w\\lambda-\\lambda\\in \\Gamma\\}\\), denote by \\(W(\\lambda)\\) the subgroup of \\(\\tilde W(\\lambda)\\) generated by the reflections it contains. The main theorem asserts that if \\(G(A)\\) is an affine Kac-Moody Lie algebra then    (i) the number of \\(\\tilde W(\\lambda)\\)-orbits in \\({\\mathcal S}_{\\lambda}\\) is finite for all \\(\\lambda \\in H^*;\\)    (ii) if \\((\\lambda+\\rho,\\xi)=0\\) then each orbit is a singleton.    (iii) if \\((\\lambda+\\rho,\\xi)\\neq 0\\) then each orbit is isomorphic to \\(\\tilde W(\\lambda)/W(\\lambda)\\) (here \\(\\xi\\) is the null root and the action of \\(w\\in \\tilde W(\\lambda)\\) is \\(w.\\nu =w(\\nu +\\rho)-\\rho)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821187$034F52B1-CE1D-4749-B25D-9891CF23E86B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e50ac497b39c0884724632c11d2ac20ae9ae239","datavalue":{"value":"17B67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821187$08782F0B-F003-4F2A-A6A6-A95428E0FE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d93d985b16b5eaf5ed267eccbb01733531593e7d","datavalue":{"value":"17B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821187$E11FB790-93D2-44FC-A395-70AE07AF0429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f163593e5c6aad535c85bcdcfda88a86cd8cf9e","datavalue":{"value":"17B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821187$17E1E3B2-D507-4971-8C1F-B4A02C03BA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ba521b58bfbedda1bfb786f9a40dafbfa7fed44","datavalue":{"value":"17B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821187$05A9CFDA-12CB-4718-A264-0C9C62E3D8A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b4af802ea8af728270ca2c80a47c6c382cccf60","datavalue":{"value":"3998053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821187$DB46268F-AEBE-493D-AB3B-FFAE1557C3DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7c6999e72bead207243965cc659813b5b070f7","datavalue":{"value":"Weyl group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821187$F8F29ED6-D451-45F1-9F69-29DB8CFA82AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80b5bb8e13b9f7551a1cc07c52002807875aaa8","datavalue":{"value":"Casimir operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821187$3F2B8DF4-654B-4055-9720-B639716EB09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1878c431222f3f10fa14d9625cd34cb5f1018e6","datavalue":{"value":"highest weight module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821187$40C713EF-86C8-4160-AB3E-B988FB0B16B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5eac3a01bb927d0384704220f608e7a7475945","datavalue":{"value":"affine Kac-Moody Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821187$A51D9B03-2CD1-46FE-8EBD-CC673E59339F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1413856faefc21fbe403cafe86436fc7cc4906","datavalue":{"value":"equivalence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821187$0DB879F4-8179-414F-A401-71136E208BB8","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":"Q1821187$1978BBDC-A188-45EB-A42F-096C9E0EFF8B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b4dbaff4f883073d7e9f84a97ad5ab53e3679712","datavalue":{"value":"Q115366824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821187$5FF8619C-1804-4109-B108-725B9392E671","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dca6071a87e45ec78a7cc775aa32c719483c67c","datavalue":{"value":"https://doi.org/10.1016/0021-8693(86)90143-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1821187$696357E0-2CFF-4DD9-B9A6-55B4428EA133","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"649d04282bda90ccd3f3851ddece9bc3b81b1141","datavalue":{"value":"W2006106738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821187$AB195043-97E1-423F-9719-C2208E602804","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":"Q1821187$7D3146B5-2826-4829-A885-633AAC54AA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0511ab2f72524f12994afc011434137fdeb58d15","datavalue":{"value":{"entity-type":"item","numeric-id":797669,"id":"Q797669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821187$4105EBFB-A892-40B8-8395-F93872260C3D","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":"Q1821187$230424F4-BE34-4C61-809D-F575A95888DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c4634f323b92f02378ac13b769056678487956","datavalue":{"value":{"entity-type":"item","numeric-id":1239243,"id":"Q1239243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821187$D5553DE0-188B-422F-80F5-04F99443AB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0676cd586aa4204793f03463b3836aff63145c4c","datavalue":{"value":{"entity-type":"item","numeric-id":5626900,"id":"Q5626900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821187$F8DB5EB2-BEFD-4B51-9E80-93635579F492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a08a5e5f836196bef1b6f76bda1c21794f12bf","datavalue":{"value":{"entity-type":"item","numeric-id":1214982,"id":"Q1214982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821187$2743E373-B9EE-467A-86AF-3DDAF171B9BB","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":"Q1821187$A6FDFB3D-7384-4C8D-B6C8-FE48D33334E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810b2d6c35539bcfc21847196c77f21a8b6bb48c","datavalue":{"value":{"entity-type":"item","numeric-id":2554757,"id":"Q2554757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821187$17F2800F-3C74-406E-A33C-F272E6BB8E8C","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":"Q1821187$E94FA214-57E9-4D96-AF60-458BD67CD77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b5cf2b674ae0e2974c3b5bfb4d97eeb55ad508","datavalue":{"value":{"entity-type":"item","numeric-id":5590116,"id":"Q5590116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821187$B0501CC5-9282-41FC-A14D-0A7E6E55C9DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b597a83e03bef067e021ae61cd5b1f822a80ff6b","datavalue":{"value":{"entity-type":"item","numeric-id":1082422,"id":"Q1082422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6a2e9391d3881f659fd0ba31d49df12203ed3b","datavalue":{"value":{"amount":"+0.7864406108856201","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":"Q1821187$E0F2538D-EB42-4651-BBBB-E2F137B545E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8abc8d7e9f400668f7b67c97c251c65f82f8efc","datavalue":{"value":{"entity-type":"item","numeric-id":4501467,"id":"Q4501467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3207702852dcd9b6f3fe1f2c447541e39ad5d828","datavalue":{"value":{"amount":"+0.7799725532531738","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":"Q1821187$2064F346-1F66-433C-8ED2-114BF1A0D9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6349554de746d344351af191a6bd4d4fadca0b3","datavalue":{"value":{"entity-type":"item","numeric-id":932858,"id":"Q932858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2732baf2c2bdfe185af6045b73d1e3c73050d70","datavalue":{"value":{"amount":"+0.779543936252594","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":"Q1821187$9C400FB8-3903-491D-BE52-0A28A794F3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984913e5fb1820181ca8c87bea4a772e7fc1571b","datavalue":{"value":{"entity-type":"item","numeric-id":3202276,"id":"Q3202276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547b8cf2f7edd274cd75210d6114d3c04b896b47","datavalue":{"value":{"amount":"+0.7734226584434509","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":"Q1821187$0DCA0A95-4844-4122-9D23-EC9D0859DC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788dd3a113a6b676d31f8763962f90a8679bbb13","datavalue":{"value":{"entity-type":"item","numeric-id":802735,"id":"Q802735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46962b6eb718314cbac577b096d0c12834ccda44","datavalue":{"value":{"amount":"+0.7611334919929504","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":"Q1821187$1915E905-39D4-41F2-882D-7C7153364298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1821187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1821187"}}}}}