{"entities":{"Q579392":{"pageid":581159,"ns":120,"title":"Item:Q579392","lastrevid":49088524,"modified":"2026-01-06T14:10:45Z","type":"item","id":"Q579392","labels":{"en":{"language":"en","value":"Extension of the category \\({\\mathcal O}^ g\\) and a vanishing theorem for the Ext functor for Kac-Moody algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014955"}},"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":"Q579392$7E1172C5-8B2B-4AAA-B6A2-3541623D905C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c99448e5b481a6c2d9fa1448e9ddb2de9bd8871","datavalue":{"value":{"text":"Extension of the category \\({\\mathcal O}^ g\\) and a vanishing theorem for the Ext functor for Kac-Moody algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579392$202DEBAC-D6DB-49B2-A771-DCDB51B78EB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e26ad3a8e39246527138fcd9c96dc7cb83c04355","datavalue":{"value":"0625.17009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579392$54573DB1-D4F1-4D95-ACCA-46E4D544E699","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"030e7c069d29ff391f8013f6a58122f795e5dc0a","datavalue":{"value":"10.1016/0021-8693(87)90111-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579392$8DCE844A-EF71-4FC3-86D0-31AB91172849","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d93fdd19eb1e4ff0c57cd0518c32ed7a1a07913c","datavalue":{"value":{"entity-type":"item","numeric-id":211802,"id":"Q211802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579392$1C369682-C41D-48CE-89FD-0EC83A33CE8E","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":"Q579392$C5ADC473-D77B-40E4-ACE2-DEF98BD546EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q579392$D73D80A6-E65D-4404-8FAA-4AB6C23FA4EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c3fa36f45134afc6efe432a78bf28452d858d19","datavalue":{"value":"Let \\(\\mathfrak g\\) be a symmetrizable Kac-Moody Lie algebra, \\(\\mathfrak h\\) be its Cartan subalgebra, \\(W\\) be its Weyl group and \\(w*\\lambda =w(\\lambda +\\rho)-\\rho\\) be the usual shifted action of \\(W\\) on \\(\\mathfrak h^*\\). The author defines an extended Tits cone \\(K^{\\text{w.g.}}\\) inside \\(\\mathfrak h^*\\) (w.g. stands for ``weakly-good''). Say that \\(\\lambda\\) is related to \\(\\mu\\) if the irreducible module \\(L(\\lambda)\\) is a subquotient of the Verma module \\(M(\\mu)\\) and let \\(\\approx_0\\) be the corresponding equivalence relation generated in \\(K^{\\text{w.g.}}\\). Let \\(\\mathcal O^{\\text{w.g.}}\\) be the subcategory of the category \\(\\mathcal O\\) whose objects have all their irreducible subquotients \\(L(\\lambda)\\) such that \\(\\lambda \\in K^{\\text{w.g.}}\\). If \\(\\Lambda^{\\text{w.g.}}\\) is an equivalence class in \\(K^{\\text{w.g.}}\\) for \\(\\approx_0\\), say that an object \\(M\\) of \\(\\mathcal O^{\\text{w.g.}}\\) is of type \\(\\Lambda^{\\text{w.g.}}\\) if \\(\\lambda \\in \\Lambda^{\\text{w.g.}}\\) for all irreducible subquotients \\(L(\\lambda)\\) of \\(M\\).    The author proves three main results:   (1) for \\(\\lambda,\\mu \\in K^{\\text{w.g.}}\\), \\(\\lambda\\approx_0 \\mu\\) iff there exists \\(w\\in W(\\mu)\\) such that \\(w*\\lambda =\\mu\\) where \\(W(\\mu)\\) is a certain subgroup of \\(W\\).   (2) \\(\\text{Ext}^ n_ g(M,N)=(0)\\) for all \\(n\\geq 0\\) and all objects \\(M, N\\) of \\(\\mathcal O^{\\text{w.g.}}\\) of different types.   (3) For an object \\(M\\) of \\(\\mathcal O^{\\text{w.g.}}\\) there exists a unique set \\(\\{M_{\\Lambda^{\\text{w.g.}}}\\}_{\\Lambda^{\\text{w.g.}}}\\) of submodules of \\(M\\) such that (i) \\(M=\\oplus_{\\Lambda^{\\text{w.g.}}} M_{\\Lambda^{\\text{w.g.}}}\\); (ii) \\(M_{\\Lambda^{\\text{w.g.}}}\\) is of type \\(\\Lambda^{\\text{w.g.}}\\).    These three results were proved by \\textit{V. V. Deodhar}, \\textit{O. Gabber} and \\textit{V. Kac} [Adv. Math. 45, 92--116 (1982; Zbl 0491.17008)] when everywhere ``w.g.'' is replaced by ``g.'' and \\(n=1\\), \\(K^ g\\) being the Tits cone (contained in \\(K^{\\text{w.g.}})\\) and \\(\\mathcal O^ g\\) being defined from \\(K^ g\\) exactly as \\(\\mathcal O^{\\text{w.g.}}.\\)    The proof of (1) follows very closely the article of \\textit{V. G. Kac} and \\textit{D. A. Kazhdan} [Adv. Math. 34, 97---108 (1979; Zbl 0427.17011)] and (3) follows from (2). Another implication of (3) is the vanishing of \\(H_*(\\mathfrak g,M)\\) for \\(M\\) in the category \\(\\mathcal O\\) which was obtained by the author in a previous paper [J. Algebra 102, 444--462 (1986; Zbl 0633.17012)]. The case of a symmetric hyperbolic \\(2\\times 2\\) generalized Cartan matrix is studied in detail in order to give counterexamples.    The reader could also consult the articles of \\textit{V. V. Deodhar} and \\textit{S. Kumaresan} [J. Algebra 103, 403--426 (1986; Zbl 0616.17009)] where the equivalence \\(\\approx \\circ\\) is studied in a special case and where related topics are investigated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579392$E712839C-08C2-4F00-BC8D-7CDC2EA42B6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e50ac497b39c0884724632c11d2ac20ae9ae239","datavalue":{"value":"17B67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579392$FB87DFE7-5BC9-44A3-968D-5977664CE926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d93d985b16b5eaf5ed267eccbb01733531593e7d","datavalue":{"value":"17B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579392$00A20B44-00D2-4AFF-A8C0-796F5A484C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c6bf4b949280ef7d54773ff374559f669592bcf","datavalue":{"value":"17B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579392$9A367402-43FB-4BA2-BF82-FFB4F630054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d96bfa95acc69db6e8c24abfeefe4c20e099af6c","datavalue":{"value":"17B56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579392$9579803A-3BBF-4DF1-B851-D7C65937F31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f163593e5c6aad535c85bcdcfda88a86cd8cf9e","datavalue":{"value":"17B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579392$10468079-5AB9-40E3-9AB4-239401D1AA90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae1eaebae1addf9df254ac48c1188c786e04c5fb","datavalue":{"value":"4014955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579392$A4B286F7-9449-49EC-B019-853EB96E98C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0869cc2d7a9c65dca06320255528cefcbd4ce8c","datavalue":{"value":"Bernstein-Gelfand-Gelfand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q579392$FA56D817-330B-4DC7-83EC-22476B5CE653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5220201d97ae3fa5217dddd09ce41e501c97752d","datavalue":{"value":"Tor functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q579392$1E60EB78-0BDF-4E79-81F2-2CD3CF9A3E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e4c536c8b8576592f6bda8dbe5c24c71da7644f","datavalue":{"value":"complete decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q579392$769FC449-D3FF-4B36-98E4-4BF493B27121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"176f8e9bdf26f7913070c37123400fa7e1846203","datavalue":{"value":"vanishing theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q579392$07F2CA36-5186-48D1-A778-93059822E8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0228b04032ceee0d8527194398aa2430c2f9108","datavalue":{"value":"Ext functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q579392$D839C83B-B350-4AD9-B1B5-34A08BA46F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e7df15f3f0194128d3b2440d347a2631d90ad2","datavalue":{"value":"Kac-Moody Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q579392$AFB4459A-7EF6-444F-8E2C-00E21AC3282C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84b49f0afa13c477a12e53085950eb6630c88b45","datavalue":{"value":"Tits cone","type":"string"},"datatype":"string"},"type":"statement","id":"Q579392$2542754A-7E8D-4A47-A43D-6D5E8E54C327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0f3412ecf8fa9069be13284803367430bc6c8e","datavalue":{"value":"category O","type":"string"},"datatype":"string"},"type":"statement","id":"Q579392$024346AD-B075-406F-BEF5-E6536D14C00B","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":"Q579392$87726787-04DF-4ADC-B220-24CB2C210BE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9cd6439a3f96a769a732f3c4b426a8d35c3866c","datavalue":{"value":"https://doi.org/10.1016/0021-8693(87)90111-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q579392$64BBB8B4-3633-4125-952E-5FF29F000EF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"502887d608a56916b8e19ff232f6735154ce7d37","datavalue":{"value":"W2139160163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579392$B35826D3-C169-4021-9883-880FA97DD86F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a48efeb33347652e99d8440945757f5bde7e43","datavalue":{"value":{"entity-type":"item","numeric-id":770072,"id":"Q770072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579392$2F79BB07-69E4-4981-89A6-F9505F0EBB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fd34bc9eba412499aa4f99593f41d466e60141","datavalue":{"value":{"entity-type":"item","numeric-id":2555554,"id":"Q2555554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579392$B349285E-E745-431B-898B-32BB6D16260A","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":"Q579392$D55CF39F-D8B2-4ADF-BEF6-E1ED7BD03329","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":"Q579392$52EC5DAA-8A6D-4EA8-9F49-BEB03F230E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8610f183ff70bc92d4b36376aabfa9ec0526f4d","datavalue":{"value":{"entity-type":"item","numeric-id":3232344,"id":"Q3232344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579392$9CD1589B-7BFC-4C0D-AC5A-D598607AC01E","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":"Q579392$77292262-9972-4444-91D7-95145604A7B5","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":"Q579392$2C5FAFAE-DCE9-4092-ABD2-93E845A40B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f159b9b100b06a9680a86e220be004e8757ede6","datavalue":{"value":{"entity-type":"item","numeric-id":3693664,"id":"Q3693664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579392$1ED677F9-92D3-4E99-9144-2B40804F901A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9669796c42edcc463a0798def81ca44f5509e2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1096002,"id":"Q1096002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579392$49EDD460-D2DB-411D-A3FF-3014379B4137","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":"Q579392$56E080BF-7569-48ED-BFAD-3D328CBE65AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338429af6ecf7289e3c5942f8779d6bed2346ec5","datavalue":{"value":{"entity-type":"item","numeric-id":1135350,"id":"Q1135350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579392$1F84BEF3-8420-436D-9FC3-4C4D50652995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383c9284b50fff01975221338b41a41079dc2065","datavalue":{"value":{"entity-type":"item","numeric-id":1155709,"id":"Q1155709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579392$A73000F4-D5FC-4518-89AD-FAC8E653A8DD","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":"Q579392$7E719FB3-00A3-4EA9-BE4F-088CA2CE9883","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f68ab6bf20526d45bdfaf6354e68acddf800490","datavalue":{"value":{"entity-type":"item","numeric-id":1283762,"id":"Q1283762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef71a7df46b7a4ce64f649896f559341ab17455","datavalue":{"value":{"amount":"+0.8153454065322876","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":"Q579392$436392C4-D528-42AF-AF09-75905727FBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706c6b57af238c945ba95923171a9d6dc233c278","datavalue":{"value":{"entity-type":"item","numeric-id":4939383,"id":"Q4939383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c04cadc141bcb894c03aca64a18b232673f7d3","datavalue":{"value":{"amount":"+0.7792845368385315","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":"Q579392$937C5A6F-D2AE-46E7-8AFB-AB3471096E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112829164eb7c36ff55960e722dd45c59dc7a571","datavalue":{"value":{"entity-type":"item","numeric-id":1096002,"id":"Q1096002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c04cadc141bcb894c03aca64a18b232673f7d3","datavalue":{"value":{"amount":"+0.7792845368385315","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":"Q579392$D3EC24F5-80E0-4A8A-8BDB-5632AAA5275A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a40552c70c30043fe14a43b1423894fdccbe6114","datavalue":{"value":{"entity-type":"item","numeric-id":4384897,"id":"Q4384897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2740ca634c973949afce54412b803ccd16ba8f","datavalue":{"value":{"amount":"+0.7675503492355347","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":"Q579392$F29ED67B-E36B-4833-B2FF-F78A97EB54A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75084acdca12aafa04f4b6803ae49d08cd0af73f","datavalue":{"value":{"entity-type":"item","numeric-id":1821187,"id":"Q1821187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2740ca634c973949afce54412b803ccd16ba8f","datavalue":{"value":{"amount":"+0.7675503492355347","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":"Q579392$21FA21F7-C9B1-43BE-B54A-92E35EAAADC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:579392","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:579392"}}}}}