{"entities":{"Q2741027":{"pageid":2751766,"ns":120,"title":"Item:Q2741027","lastrevid":58002018,"modified":"2026-04-03T10:04:44Z","type":"item","id":"Q2741027","labels":{"en":{"language":"en","value":"Robinson-Schensted correspondence and left cells"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642280"}},"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":"Q2741027$2CF904BC-D7C2-4BEC-B4A6-E45318D384DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a004d19a27c975f5f2659b9985b94b79510f11c","datavalue":{"value":"0986.05097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741027$4897A62E-BC92-46C1-91E4-BDF6CC13993C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c49d8238fafe8da4d6185b8f70f9f44655dfc0c","datavalue":{"value":{"entity-type":"item","numeric-id":230843,"id":"Q230843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741027$A06ADFE0-121B-4A99-98F9-4626D2B6105E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89979698039692d8b30dd476805176a82a96347c","datavalue":{"value":{"time":"+2002-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2741027$A7D307A6-69F7-484A-9092-B8949C55A10E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac8395e80926902e630f8fdfde3e6936dc89cf5e","datavalue":{"value":"https://arxiv.org/abs/math/9910117","type":"string"},"datatype":"url"},"type":"statement","id":"Q2741027$04B0B0D9-7D6D-476D-94A4-174B62BE7D38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cf2f692eb0d5c2fc2ce5b2154318999029c1c1b","datavalue":{"value":"05E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741027$7FC8730D-8CF8-42D1-970B-2097D63E4A6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de6409ef3790a4fd30f497d7d5f32a4074a6620e","datavalue":{"value":"1642280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741027$872B055F-49B0-4D3B-B016-AEC6672E44ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d3eb6c8c8084c4d0cbc1f1ee8cef9a80ac9368","datavalue":{"value":"Robinson-Schensted correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741027$E0EE71DC-44F8-4F1B-89C0-EF9CAD6D9744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbda45c7325ad8694c2ffec3ca39386ed9e66e42","datavalue":{"value":"Kazhdan-Lusztig theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741027$72F98066-A79E-48B3-8671-4254EA899A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741027$C1F9F652-1458-4B0D-B0DA-ABF1A30AF1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2eb569491a16dc5b6d3fb4a41b85823bfe5d896","datavalue":{"value":"Bruhat order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741027$9F9731A4-5E86-4F19-8448-DF6240440512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741027$E1C77A51-C9FF-481C-81CC-E3141AFA4E16","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":"Q2741027$177EB77A-0D7D-47B5-B0EE-99ACD9E4E741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081fb5378733c8be871bec1629d85015ecc8c271","datavalue":{"value":{"entity-type":"item","numeric-id":1765608,"id":"Q1765608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47615263248e8d414bd311b56e490b58737c66bf","datavalue":{"value":{"amount":"+0.76189005","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":"Q2741027$227A5C47-E037-43E0-8D3A-0D1B34E05597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59ff824756d8880c778e7bc0dae6a4fa12fe4ef","datavalue":{"value":{"entity-type":"item","numeric-id":4252966,"id":"Q4252966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5e87238427173ed6257c145b0c2beba91734ca","datavalue":{"value":{"amount":"+0.7413131","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":"Q2741027$43B80368-9CEA-4B12-8ABA-D3CA94340798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1a4a6d895508b9c5ab4fa90b4cb0ed70c25b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1110653,"id":"Q1110653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d465a2446b6a500e33bbef820ece8eea96b4d248","datavalue":{"value":{"amount":"+0.74002033","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":"Q2741027$8A839BDD-62B1-4B7B-BD77-0572AA65AFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da27abfd0858726a75dc80560c7f1bb22eabeb4b","datavalue":{"value":{"entity-type":"item","numeric-id":1426825,"id":"Q1426825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3061d10abb8d6a4d722d94f0eede9dcc16a0740f","datavalue":{"value":{"amount":"+0.7390375","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":"Q2741027$3129C645-C6E9-4FC6-817A-2B0D95C5FFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b05390ab69da31bb87eeff98de648919620ea57","datavalue":{"value":{"entity-type":"item","numeric-id":2576838,"id":"Q2576838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6215a394cb8b44df08f577aa70fac7900adb56b6","datavalue":{"value":{"amount":"+0.7227673","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":"Q2741027$9124DBA4-5618-4A54-BE5B-04556DCB9458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f733011e5591b3cbf11f40b7471ec1e6326bc0a5","datavalue":{"value":{"entity-type":"item","numeric-id":1421334,"id":"Q1421334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f266ee091f150dee6ca61c895c7602b355afe8","datavalue":{"value":{"amount":"+0.7210775","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":"Q2741027$09532A61-258F-47F2-ADEC-216726BE5F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb4b8183420fc5a0e1766152f3cbfa5eae11dd1","datavalue":{"value":{"entity-type":"item","numeric-id":4236843,"id":"Q4236843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702b7cb8e33f425a35062e0de4bd447d2d2f9e9a","datavalue":{"value":{"amount":"+0.7198301","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":"Q2741027$92991BF4-2DE5-41AE-AF38-AF5A62CCE710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83323df91088cee6597b4195ee7e4987df58e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":752830,"id":"Q752830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8720c4c3f20739031d95a6ce6fd3515dd955de6d","datavalue":{"value":{"amount":"+0.71755683","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":"Q2741027$B3A5A84B-0668-4335-A1EC-9A6D82DFD52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44bf0209627f62daf99f865c4bc8153a9ccc97d","datavalue":{"value":{"entity-type":"item","numeric-id":1770469,"id":"Q1770469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b22fe8cacd8a1f61db0aa9178141620accc331d","datavalue":{"value":{"amount":"+0.71702623","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":"Q2741027$EFE80A01-53BE-436D-BCE3-770E34221D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d503aa00ec67f6fc1833cb2e603a23e556a62852","datavalue":{"value":{"entity-type":"item","numeric-id":5102304,"id":"Q5102304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e028855f4535fcb295236ef7e91cbe60ade6f0","datavalue":{"value":{"amount":"+0.7165585","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":"Q2741027$D08133BD-120F-48F8-9FB4-DE6B7EEEF153","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f9218173a7b52ab6aa218c987bf448717a65fef","datavalue":{"value":{"text":"Robinson-Schensted correspondence and left cells","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741027$05EE7EB5-1B1E-4BE9-811E-BE18AA8C9B16","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e5736c0247656f836fea8505a02b86203fa60da5","datavalue":{"value":"The Robinson-Schensted correspondence associates with any permutation \\(w\\) of the symmetric group \\(S_n\\) a pair of standard tableaux \\((P(w),Q(w))\\) called, respectively, the P-symbol and Q-symbol of \\(w\\). The Kazhdan-Lusztig polynomials \\(P_{y,w}(q)\\in{\\mathbb Z}[q]\\), where \\(y\\leq w\\) with respect to the Bruhat order in \\(S_n\\), are defined by the equations NEWLINE\\[NEWLINEC_w=\\sum_{y\\leq w}(-1)^{l(w)-l(y)}q^{l(w)/2-l(y)}P_{y,w}(q^{-1})T_y =\\sum_{y\\leq w}(-1)^{l(w)-l(y)}q^{l(w)/2+l(y)}P_{y,w}(q)T^{-1}_{y^{-1}},NEWLINE\\]NEWLINE \\(P_{w,w}(q)=1\\) and \\(\\text{deg}P_{y,w}(q)\\leq (l(w)-l(y)-1)/2\\) for \\(y<w\\). Here \\(l(w)\\) is the length of a reduced expression of \\(w\\) with respect to the transpositions \\(s_i=(i,i+1)\\) and \\(T_y\\) is the element of the Hecke algebra of \\(S_n\\) related with \\(y\\). Let \\(\\mu(y|w)\\not=0\\) mean that either \\(y<w\\) and the coefficient \\(\\mu(y,w)\\) of \\(q^{(l(w)-l(y)-1)/2}\\) in \\(P_{y,w}(q)\\) is nonzero or \\(\\mu(w,y)\\not=0\\) and \\(y>w\\), and let \\({\\mathcal L}(w)=\\{s_j\\mid s_jw<w\\}\\). One defines \\(y\\leq_L w\\) if there exists a sequence \\(y=x_1,x_2,\\ldots,x_r=w\\) such that \\({\\mathcal L}(x_i)\\not\\subset {\\mathcal L}(x_{i+1})\\) and \\(\\mu(x_i|x_{i+1})\\not=0\\) for all \\(i=1,2,\\ldots,r-1\\). The permutations \\(y\\) and \\(w\\) belong to the same left cell of \\(S_n\\) if both \\(y\\leq_L w\\) and \\(w\\leq_L y\\) hold. The theorem of Kazhdan-Lusztig states that two permutations \\(y\\) and \\(w\\) belong to the same left cell of \\(S_n\\) if and only if they share a common Q-symbol. This theorem is not explicitly stated in the text of \\textit{D. Kazhdan} and \\textit{G. Lusztig} [Invent. Math. 53, 165-184 (1979; Zbl 0499.20035)] but follows from there with some additional arguments from \\textit{A. Joseph} [Lect. Notes Math. 587, 102-118 (1977; Zbl 0374.17004)]. The original proof of Kazhdan and Lusztig is quite complicated. There are other proofs; see \\textit{A. M. Garsia} and \\textit{T. J. McLarnan} [Adv. Math. 69, No. 1, 32-92 (1988; Zbl 0657.20014)] and \\textit{D. Barbasch} and \\textit{D. Vogan} [Math. Ann. 259, 153-199 (1982; Zbl 0489.22010)]. The first uses a lot of combinatorics of tableaux and the second is based on wave front sets. NEWLINENEWLINENEWLINEThe main purpose of the paper under review is to present a direct proof of the theorem of Kazhdan and Lusztig. It combines ideas of the proof of Garsia and McLarnan with arguments of Jantzen for the Joseph theorem; see \\textit{J. C. Jantzen} [Einh\u00fcllende Algebren halbeinfacher Lie-Algebren (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, Bd. 3, Berlin etc.: Springer-Verlag) (1983; Zbl 0541.17001)]. The exposition is based on an earlier paper written in Japanese by \\textit{S. Ariki} [Robinson-Schensted correspondence and left cells (RIMS kokyuroku 705, 1-27 (1989); English version in Tokyo: Kinokuniya Company Ltd. Adv. Stud. Pure Math. 28, 1-20 (2000; Zbl 0986.05097)] but the author adds some new arguments which allow to understand the result in the crystal base theory context. He also gives some bibliographical comments on non-direct proofs.NEWLINENEWLINEFor the entire collection see [Zbl 0963.00024].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741027$FAAC3122-8BE8-471F-9DE2-A84ECCADC8EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"08212ce4707e37d420e92ca5e5c9b907cc6ec418","datavalue":{"value":{"entity-type":"item","numeric-id":375678,"id":"Q375678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741027$9DA156DC-1CE0-4FE0-AF95-0C421F796DE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2741027","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2741027"}}}}}