{"entities":{"Q1179176":{"pageid":1189925,"ns":120,"title":"Item:Q1179176","lastrevid":46217389,"modified":"2025-12-24T08:19:30Z","type":"item","id":"Q1179176","labels":{"en":{"language":"en","value":"On crystal bases of the \\(q\\)-analogue of universal enveloping algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 24068"}},"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":"Q1179176$CA2680D1-6F8C-4368-84AC-F95709A118A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0d486b6d9853bdc1dc2552700041bd43d02a5ec","datavalue":{"value":{"text":"On crystal bases of the \\(q\\)-analogue of universal enveloping algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179176$E1C47B70-917E-46C6-B263-43EF7C9E46B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d5510ec1e38e4eaa9511ce8b3346aaeb0758944","datavalue":{"value":"0739.17005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179176$5B8AE559-E303-43E4-8199-1E7B0D4A7A9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c6490f00834c7824bc0afc272ea7a86acf7f9a3","datavalue":{"value":"10.1215/S0012-7094-91-06321-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179176$90B4030E-5F5A-4016-A101-AE8394E1DCE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$C8361F8F-E28A-4A92-8289-F6A8CD33B14E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1179176$2F0AE22D-435C-4B2A-9476-3155EC7D7662","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56d01c1bd593be7a8cd21e9e1a9e6ecaf0ce3b34","datavalue":{"value":"The aim of this paper is to give a proof of the existence and uniqueness theorem of crystal bases for an arbitrary symmetrizable Kac-Moody Lie algebra.   Let \\({\\mathfrak g}\\) be a symmetrizable Kac-Moody Lie algebra and \\(U_ q({\\mathfrak g})\\) be the \\(q\\)-analogue of the universal enveloping algebra \\(U({\\mathfrak g})\\). For an integrable \\(U_ q({\\mathfrak g})\\)-module \\(M\\), the endomorphisms \\(\\tilde e_ i\\) and \\(\\tilde f_ i\\) of \\(M\\) are introduced. Let \\(A\\) be the subring of \\(\\mathbb{Q}(q)\\) consisting of rational functions regular at \\(q=0\\). A pair \\((L,B)\\) is called a (lower) crystal base of \\(M\\) if it satisfies the conditions: (1) \\(L\\) is a free sub-A-module of \\(M\\) such that \\(M\\simeq\\mathbb{Q}(q)\\otimes_ AL\\); (2) \\(B\\) is a base of the \\(\\mathbb{Q}\\)-vector space \\(L/qL\\); (3) \\(\\tilde e_ iL\\subset L\\) and \\(\\tilde f_ iL\\subset L\\) for any \\(i\\); (4) \\(\\tilde e_ iB\\subset B\\cup\\{0\\}\\) and \\(\\tilde f_ iB\\subset B\\cup\\{0\\}\\); (5) \\(L=\\bigoplus_{\\lambda\\in P}L_ \\lambda\\) and \\(B=\\bigcup_{\\lambda\\in P}B_ \\lambda\\), where \\(P\\) is the weight lattice and \\(L_ \\lambda=L\\cap M_ \\lambda\\), \\(B_ \\lambda=B\\cap(L_ \\lambda/qL_ \\lambda)\\); (6) For \\(b,b'\\in B\\), \\(b'=\\tilde f_ ib\\) if and only if \\(b=\\tilde e_ ib'\\). For a dominant integral weight \\(\\lambda\\), let \\(V(\\lambda)\\) denote the irreducible \\(U_ q({\\mathfrak g})\\)-module with highest weight \\(\\lambda\\). Let \\(u_ \\lambda\\) be the highest weight vector of \\(V(\\lambda)\\). Let \\(L(\\lambda)\\) be the smallest sub-\\(A\\)-module of \\(V(\\lambda)\\) that contains \\(u_ \\lambda\\) and that is stable by the actions of \\(\\tilde f_ i\\). Let \\(B(\\lambda)\\) be the subset of \\(L(\\lambda)/qL(\\lambda)\\) consisting of the nonzero vectors of the form \\(\\tilde f_{i_ 1}\\dots\\tilde f_{i_ k}u_ \\lambda\\mod qL(\\lambda)\\). Then \\((L(\\lambda),B(\\lambda))\\) is a crystal base of \\(V(\\lambda)\\) (Theorem 2). Let \\(M\\) be an integrable \\(U_ q({\\mathfrak g})\\)- module such that \\(M=\\bigoplus_{\\lambda\\in F-Q_ +}M_ \\lambda\\) for a finite subset \\(F\\) of \\(P\\), where \\(Q_ +=\\oplus\\mathbb{N}\\alpha_ i\\), and let \\((L,B)\\) be a crystal base of \\(M\\). Then there exists an isomorphism \\(M\\simeq\\bigoplus_ j V(\\lambda_ j)\\) by which \\((L,B)\\) is isomorphic to \\(\\bigoplus_ j (L(\\lambda_ j),B(\\lambda_ j))\\) (Theorem 3). Theorem 2 is proved by the induction on height of weights. The good behavior of crystal bases under the tensor product plays a crucial role in the course of the proof.   In the second part of the paper the author constructs a base named global crystal base of any highest weight irreducible integrable \\(U_ q({\\mathfrak g})\\)-module. In the case of \\(A_ n\\), \\(D_ n\\) and \\(E_ n\\), this coincides with the canonical base introduced by \\textit{G. Lusztig} [J. Algebra 131, 466-475 (1990; Zbl 0698.16007)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179176$786ED546-1374-44F3-8618-EAC342DA4F5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2feab095e571d74f47af02f2cae691340e37e0c","datavalue":{"value":"17B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179176$8AC05908-8F08-4E45-B428-8D5280B2C20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e50ac497b39c0884724632c11d2ac20ae9ae239","datavalue":{"value":"17B67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179176$80712AF7-DFB1-4628-A0B3-A927DCF6A739","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"841674f9641c6a62ff86a7fe903aa13c37b02dfa","datavalue":{"value":"24068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179176$AE8F4A22-03A7-4D93-A92E-A3C2185BAE10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d751d11af9a62a45f895f68c07ecb5a621e46c2c","datavalue":{"value":"irreducible module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179176$78F29925-A67D-4EBC-AABB-1D781A2CC080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d873851ea95e44bbd6b2546ba655447ae358a61","datavalue":{"value":"integrable module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179176$F8267C01-9A67-4664-88E9-489143A33A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2a69137098850450d1a17ddf83d6c1a1704d1f","datavalue":{"value":"existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179176$5EA25C45-380B-48BD-8BE1-0A1841F8376A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b139f7228e51306717a3522bed5c3c725026e9","datavalue":{"value":"uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179176$DAD69E97-89AF-41B8-94DB-DDA5E0959096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b4d6c60cffde4a81455438c02bae59113d48f72","datavalue":{"value":"crystal bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179176$1A413A2B-C568-4F85-93B0-A8C5C776AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e7df15f3f0194128d3b2440d347a2631d90ad2","datavalue":{"value":"Kac-Moody Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179176$6253D3C5-5410-4D31-89F2-3B458278E895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a04293bb1f288d26f4e5c36b0d78602f17abc0f8","datavalue":{"value":"\\(q\\)-analogue of the universal enveloping algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179176$B19A04EC-EB64-4A1B-B7E5-5015BD335538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc5ea6c50ac087c5d7fd88800e97b5ce1338139f","datavalue":{"value":"highest weight","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179176$E397676F-E6CB-46F7-A350-3BEBC63D87B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ecd6913185fa16095a76e8a723383d8bfcf95d","datavalue":{"value":"global crystal base","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179176$A994AAF8-8518-4473-9906-DFE9DA9A3E52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae6ab2100644ffc87d390a7112ab04895e56c732","datavalue":{"value":{"entity-type":"item","numeric-id":182027,"id":"Q182027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$2B1F86D4-260F-494A-B5DE-16FE0211B73F","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":"Q1179176$B31C4906-B66B-434B-B0E3-FCB269A8BAD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af610cb9712f792a50bfe7cf87e5c3fca789b88","datavalue":{"value":{"entity-type":"item","numeric-id":4146776,"id":"Q4146776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$1F2081C7-E959-4619-9E0A-1795C349B95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65cf82c0ef8a74190ccc93b3fc0a6f36d3e1eccf","datavalue":{"value":{"entity-type":"item","numeric-id":3715293,"id":"Q3715293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$1454562C-422E-4F4C-9E96-2BBF6825F48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44dc1e9f9b6ab0878e4a328bf0fc5fbb50061255","datavalue":{"value":{"entity-type":"item","numeric-id":1072627,"id":"Q1072627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$A101D198-D51E-4168-B28D-3D6942187817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3434569ac1dd1d9c8cc0aa1ccf75d46c130ebafc","datavalue":{"value":{"entity-type":"item","numeric-id":2644743,"id":"Q2644743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$16106B4A-F050-4C11-BC2D-D987742CFCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bf51f649b3bbda9b24a4e947e9a48ac35d6a8ee","datavalue":{"value":{"entity-type":"item","numeric-id":5758357,"id":"Q5758357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$9110C718-0A55-4C0C-B169-45C80DC4155D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934f936fbf35d7466eb4db1e0a09bd3fd6c9f604","datavalue":{"value":{"entity-type":"item","numeric-id":912188,"id":"Q912188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$2E30B27F-3811-40AE-A34F-62E771BE790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b4a8b725bd26ebbf5a962ae7c423afec04c126f","datavalue":{"value":{"entity-type":"item","numeric-id":3481906,"id":"Q3481906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$4CBE05CD-7E6F-4B13-995E-0BE6FF9D6C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43badcad8f093b75929607eed6776304e9040bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2644744,"id":"Q2644744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$40004ED1-F58B-4705-8677-D7579767C52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee7ded1e865579d587a84874a956911e50307eb","datavalue":{"value":{"entity-type":"item","numeric-id":5752724,"id":"Q5752724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179176$60F11821-3910-4156-935C-693D41B87B3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdcdf3696ceaeeb80ad469648f705c089394eb48","datavalue":{"value":"https://doi.org/10.1215/s0012-7094-91-06321-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1179176$3C9D5685-2ABD-438C-82FD-62477F9A513B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"576607fb87f28cd9eeeb1d804a31682310a8548c","datavalue":{"value":"W1988032111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179176$3EF57B76-8C8F-431A-BAA6-03BDB3B22ED7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cab8417b131918ef7c06a2cef74e04b808e09f","datavalue":{"value":{"entity-type":"item","numeric-id":2644743,"id":"Q2644743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d52120bf99e53875e4a3aad77743f37b27be110","datavalue":{"value":{"amount":"+0.91936856508255","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":"Q1179176$97ED172F-9626-4674-AD34-9613E762C763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a19269bbd62496d383d03558caa32767981da9","datavalue":{"value":{"entity-type":"item","numeric-id":4865651,"id":"Q4865651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ffd9fc9d1a8b1af06c41a29ff1d2c3d290f0f7","datavalue":{"value":{"amount":"+0.8770325779914856","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":"Q1179176$89343F81-FEEB-4CEF-96DE-DFA0642FFD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b01f9711a15b3e24aad6b5bc52d90c11e3bec47","datavalue":{"value":{"entity-type":"item","numeric-id":1327038,"id":"Q1327038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6ea13f4be0b4988d58dd8df8817193913a2c41","datavalue":{"value":{"amount":"+0.8721891045570374","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":"Q1179176$ED6883FE-FCC7-4C77-93BF-8099FAAAD2D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1179176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1179176"}}}}}