{"entities":{"Q1894988":{"pageid":1905730,"ns":120,"title":"Item:Q1894988","lastrevid":74176707,"modified":"2026-04-14T18:47:59Z","type":"item","id":"Q1894988","labels":{"en":{"language":"en","value":"The verification of a conjecture on left cells of certain Coxeter groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780125"}},"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":"Q1894988$65ECDCEB-B6D4-4A0E-B9F8-316C865F9712","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdaa3a82204a5b835af24ca30e0839fe80219fd5","datavalue":{"value":{"text":"The verification of a conjecture on left cells of certain Coxeter groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894988$D59BC178-0BC0-4B44-9672-F743B630E5F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1ee9aaa6402729b6613c8c410af127d0aa5ece6","datavalue":{"value":"0831.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894988$A9151489-C5D7-47D5-AFD7-C4476F38362D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dfd4741abe151695db7580ce8fbe6c265c54bba","datavalue":{"value":{"entity-type":"item","numeric-id":209005,"id":"Q209005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894988$10875F9B-070B-4828-8A0C-F67811DA5459","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff1738183464565e1571c6f5c1efa36ed974056e","datavalue":{"value":{"entity-type":"item","numeric-id":175744,"id":"Q175744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894988$DD751EB4-78CF-4769-84EA-683BFFBCF6DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e64b1b022fc03684ae7f4d8afc725b31bbf5e91e","datavalue":{"value":{"time":"+1996-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894988$F6F04AFE-DBAC-40F7-B051-DF6BAC2B2E57","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b81555e099e403cab0a104805046509a834475d","datavalue":{"value":"Let \\(W = (W,S)\\) be a Coxeter group with \\(S\\) its Coxeter generator set. For \\(w \\in W\\), one denotes by \\(l(w)\\) the length of \\(w\\), and associates a subset \\({\\mathcal R} (w) = \\{s \\in S \\mid ws < w\\}\\) of \\(S\\). For \\(y, w \\in W\\), one writes \\(y\\)---\\(w\\) if either \\(\\text{deg }P_{y,w}\\) or \\(\\text{deg }P_{w,y}\\) reaches \\({1\\over 2}(|l(w) - l(y)|- 1)\\), where \\(P_{y,w}\\) is a Kazhdan-Lusztig polynomial [\\textit{D. Kazhdan} and \\textit{G. Lusztig}, Invent. Math. 53, 165-184 (1979; Zbl 0499.20035)]. The equivalence relations \\(\\sim_L\\), \\(\\sim_R\\), \\(\\sim_{LR}\\) on \\(W\\) are defined in [loc. cit.]. The equivalence classes of \\(W\\) with respect to \\(\\sim_L\\) (resp. \\(\\sim_R\\), \\(\\sim_{LR}\\)) are called left (resp. right, two-sided) cells. \\textit{G. Lusztig} defined a function \\(a : W \\to N \\cup \\{\\infty\\}\\) [in Adv. Stud. Pure Math. 6, 255-287 (1985; Zbl 0569.20032)]. To each element \\(x \\in W\\), one associates a set \\(\\Sigma (x)\\) of all left cells \\(\\Gamma\\) of \\(W\\) satisfying the condition that there exists some element \\(y \\in \\Gamma\\) with \\(y\\)---\\(x\\), \\({\\mathcal R}(y) \\nsubseteq {\\mathcal R}(x)\\) and \\(a(y) = a(x)\\). In [T\u00f4hoku Math. J., II. Ser. 46, 105-124 (1994; Zbl 0798.20040)] the author showed that if \\(x \\sim_L y\\) in \\(W\\) then \\({\\mathcal R} (x) = {\\mathcal R}(y)\\) and \\(\\Sigma(x) = \\Sigma(y)\\), and conjectured that the reverse conclusion should also be true.   In the present paper, the author proves this conjecture in the cases when \\(W\\) is an irreducible Weyl group \\(W'\\) and when \\(W\\) is an irreducible affine Weyl group \\(W_a\\) with the following cases excepted: \\(W_a\\) has type \\(\\widetilde {F}_4\\), the element \\(x\\) in the conjecture satisfies \\({\\mathcal R} (x) \\in \\{\\{s_0, s_1, s_2\\},\\{s_3, s_4\\}\\}\\) and \\(a(x) \\in \\{6, 7, 9, 10, 13, 16\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894988$0889F6CC-E3E3-4A1E-81BF-4256030C8397","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c4dba1dae8fd79ddeb259e5a8caae10ed04002f8","datavalue":{"value":{"entity-type":"item","numeric-id":586114,"id":"Q586114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894988$4A0AE91E-CAF8-4C26-865B-DEC8C9E6DF17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dcc6ef289477f68cffe6414814b60192a325ae7","datavalue":{"value":"20F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894988$CEE44F48-F38E-4CDE-84CA-C302150DBD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894988$74CF509A-F8AA-4D83-81AD-213967BE0841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff02389d3918a330b0fc4c8d97ee0424df96a7","datavalue":{"value":"20C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894988$F42514C7-FCA1-44A8-9F26-225D2392F599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d03248d03059e970bb6bce2ee9e31dfa76e4fd6","datavalue":{"value":"20H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894988$5D6796C1-ACC0-4F23-AB09-423B3635453D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca0b06fb206ef7e2a3724d9361dc736a4cb1b1e3","datavalue":{"value":"51F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894988$2B834B92-0438-4810-8E9A-F94F8BF97252","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db274b2e6d7fe2ce42cd9276889a905419bd5538","datavalue":{"value":"780125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894988$D9761D9D-7C7B-4283-9579-A20AB10B09B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040f0fc4a150fc0d66e7f8c63eeccfabb8fddb9b","datavalue":{"value":"cell decompositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894988$6BD7C741-79F7-49E4-8B09-74F5CCE5A5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb2d7eb1233c0a41ae41e2c2ef416121bc77d3b","datavalue":{"value":"Coxeter groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894988$7BCAD15C-13F4-4D35-A533-C90F82F2FCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa90b1ff0982ab5d5fab48275d3f9dc7c1839ee","datavalue":{"value":"length","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894988$12DBB25E-A01F-40F0-A124-51C23815789B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4cc21015d7ca128ec5c1351418b4bbe4ba33ee","datavalue":{"value":"Kazhdan-Lusztig polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894988$04D4B71F-C87F-47EF-90CC-92DA1C439C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4523fbfbf22a4bffb2588e14c51c10614e36c5dc","datavalue":{"value":"irreducible affine Weyl groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894988$84EF322C-7CD7-469F-BFE8-6B25CB8455BA","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":"Q1894988$D25D2A73-090F-4787-BC76-610C0C7B1D5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78378309941c555f98ba46a5025bda0b28e2e8d6","datavalue":{"value":"https://doi.org/10.32917/hmj/1206127932","type":"string"},"datatype":"url"},"type":"statement","id":"Q1894988$4CCDC8C4-3CA6-4788-BFAC-078DBA53C279","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6791ad63f151048409222430e7a9d2959ba01a4","datavalue":{"value":"W1483614502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894988$67B15EE3-879B-48A6-AA56-65EC2527D9F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"89e5aac1b2ea418c5d5453eb906040617987cd97","datavalue":{"value":"Q122901087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894988$122FD582-E8B1-4734-90A4-5DBD4CA7DCC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5846a0d5d79aa203bd475d0a7b5f9c3b35a28904","datavalue":{"value":"10.32917/HMJ/1206127932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894988$60334C7D-64D5-4D81-95E4-73B8C2942863","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52ccd6238e40b53aa13e23ba076cec629217f2a","datavalue":{"value":{"entity-type":"item","numeric-id":3786640,"id":"Q3786640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d2f6591ded0bb7dc943f418d301d296aa0679df","datavalue":{"value":{"amount":"+0.8161473","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":"Q1894988$CC7350B4-2E4A-4319-9A88-8423F491CDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2078a38edfe7494e17d296036f53d5b8c2fcfbbc","datavalue":{"value":{"entity-type":"item","numeric-id":6101142,"id":"Q6101142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e9eba37656040dcb339b723a2357ae1a72b407","datavalue":{"value":{"amount":"+0.78658533","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":"Q1894988$34A9924F-5566-4314-B929-5FE077016C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1ea09d539c479b23c028e99f02387f319d57df","datavalue":{"value":{"entity-type":"item","numeric-id":1079662,"id":"Q1079662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a01fc852633214b93de2746e49c674f0ba90889","datavalue":{"value":{"amount":"+0.7663363","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":"Q1894988$F77EC04B-5F0F-49D1-B831-77A176CA116A","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":"eb954e2a665fe5df2b4923434be39fb3cc45ac6d","datavalue":{"value":{"amount":"+0.7612964","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":"Q1894988$CA09BB94-5042-4D46-988A-85EF1C85ACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef33660c34534a3c5936d45724a19ce048167e9f","datavalue":{"value":{"entity-type":"item","numeric-id":2406660,"id":"Q2406660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1199d34bf611da917fbc03e618c3594e72d184e4","datavalue":{"value":{"amount":"+0.75685155","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":"Q1894988$7F4AE539-6F8C-4BC1-A96B-61D760BEFA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59629a3b0e3ddfe41b8b4eb99198bf3622b63d73","datavalue":{"value":{"entity-type":"item","numeric-id":835654,"id":"Q835654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51de0ed2d8e54b6e146af4197feba01c675e283","datavalue":{"value":{"amount":"+0.75347584","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":"Q1894988$7E7F39D2-31DF-464B-A58B-43F761D29EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8af31204c20b91c73764a9d5b2d1d299ff9240e","datavalue":{"value":{"entity-type":"item","numeric-id":3564619,"id":"Q3564619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8cdae1ebf4a13c17e561dd1b6c74f970db1c82","datavalue":{"value":{"amount":"+0.7514218","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":"Q1894988$2D28C23A-686A-4517-89CF-5CEC75347C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707c7309c5e021b4a326b2c4ee4a4a3284ab4b22","datavalue":{"value":{"entity-type":"item","numeric-id":1266385,"id":"Q1266385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014be760f73201263f95704558ea67fa19b2cc51","datavalue":{"value":{"amount":"+0.7486277","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":"Q1894988$7B9587AC-4572-49B8-A15F-8C9B5BAB76C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4cde54490bfb387ba6e4f09d8452a4fbc9a48b","datavalue":{"value":{"entity-type":"item","numeric-id":1895648,"id":"Q1895648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8b32f7e5246885793851fe9c8a9e4134f8673e","datavalue":{"value":{"amount":"+0.74485695","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":"Q1894988$275EE53B-4D3C-4D1E-BC03-BF160B6D7B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48aaab98b81981bca5f10af3e761a0cf2fc6c09","datavalue":{"value":{"entity-type":"item","numeric-id":4338604,"id":"Q4338604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c3408a1536017dc410151c80a68d75b4ed814d","datavalue":{"value":{"amount":"+0.74051493","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":"Q1894988$9D1C8080-8372-49B0-9B18-1C58664C54C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The verification of a conjecture on left cells of certain Coxeter groups","badges":[]}}}}}