कज़्दान-लुज़्तिग बहुपद

प्रतिनिधित्व सिद्धांत के गणितीय क्षेत्र में, काज़दान लुज़्ज़टिग बहुपद $P_{y,w}(q)$ डेविड काज़दान और जॉर्ज लुज़टिग द्वारा (1979) में शुरू किए गए और इस प्रकार अभिन्न बहुपदों के समूह का सदस्य है। वे कॉक्सेटर समूह W के तत्वों y, w के जोड़े द्वारा अनुक्रमित होते हैं, जो विशेष रूप से एक लाइ समूह के वेइल समूह के रूप में होते हैं।

प्रेरणा और इतिहास

1978 के स्प्रिंग में कज़दान और लस्ज़टिग बीजगणितीय समूह के वेइल समूह के स्प्रिंगर निरूपण का अध्ययन करते है और ℓ संयुग्मन वर्गों से संबंधित कोटि सह समरूपता समूह का एक रूप हैं और इस प्रकार उन्होंने जटिल संख्याओं काज़दान और लुज़टिग 1980a पर इन अभ्यावेदन का एक नया निर्माण पाया। प्रतिनिधित्व के दो प्राकृतिक आधार थे और इन दो आधारों के बीच संक्रमण आव्यूह अनिवार्य रूप से कज़्दान लुस्ज़टिग बहुपदों द्वारा दिया गया है। उनके बहुपदों का वास्तविक काज़दान लुसटिग निर्माण अधिक प्रारंभिक रूप में है। कज़दान और लुज़्ज़टिग ने इसका उपयोग कॉक्सेटर समूह के हेके बीजगणित और उसके प्रतिनिधित्व में एक बहुपद आधार बनाने के लिए किया हैं।

अपने पहले पेपर में कज़दान और लुज़्ज़टिग ने उल्लेख किया कि उनके बहुपद शूबर्ट प्रकार के लिए स्थानीय पोइनकेयर डुअलिटी की विफलता से संबंधित थे। और इस प्रकार काज़दान & लुज़्ज़टिग (1980b) उन्होंने मार्क गोर्स्की और रॉबर्ट मैकफ़र्सन (गणितज्ञ) के प्रतिच्छेदन सह समरूपता के संदर्भ में इसकी पुनर्व्याख्या की और कुछ प्रतिच्छेदन सह समरूपता समूहों के आयामों के संदर्भ में इस तरह के आधार की एक और परिभाषा दी थी।

स्प्रिंगर प्रतिनिधित्व के लिए दो आधारों ने वर्मा मॉड्यूल और सरल मॉड्यूल द्वारा दिए गए सेमीसिंपल लाई बीजगणित के कुछ अनंत आयामी प्रतिनिधित्व के ग्रोथेंडिक समूह के लिए दो आधारों के कज़दान और लुसटिग को याद दिलाया। यह सादृश्य और जेन्स कार्स्टन जैंटजेन और एंथोनी जोसेफ (गणितज्ञ) का काम यूनिवर्सल लिफ़ाफ़े वाले बीजगणित के प्राचीन आदर्शों को वेइल समूहों के प्रतिनिधित्व को सम्बद्ध करता है, जिससे कज़दान लुसटिग अनुमानों का नेतृत्व होता है।

परिभाषा

जनरेटिंग समुच्चय S के साथ एक कॉक्सेटर समूह W को ठीक करते है और लिखें $\ell (w)$ एक तत्व w की लंबाई के लिए S के तत्वों के उत्पाद के रूप में डब्ल्यू के लिए अभिव्यक्ति की सबसे छोटी लंबाई के रूप में होते है। W के कॉक्सेटर समूह के हेके बीजगणित में में रिंग $\mathbb {Z} [q^{1/2},q^{-1/2}]$ पर $w\in W$ तत्वों के लिए $T_{w}$ का आधार है, जिसे गुणन द्वारा परिभाषित किया गया है

${\begin{aligned}T_{y}T_{w}&=T_{yw},&&{\mbox{if }}\ell (yw)=\ell (y)+\ell (w)\\(T_{s}+1)(T_{s}-q)&=0,&&{\mbox{if }}s\in S.\end{aligned}}$

द्विघात द्वितीय संबंध का तात्पर्य है कि प्रत्येक जनरेटर T_s व्युत्क्रम के साथ, हेके बीजगणित में व्युत्क्रमणीय रूप में इस प्रकार होता है T_s⁻¹ = q⁻¹T_s + q⁻¹ − 1. ये व्युत्क्रम T_s के लिए द्विघात संबंध को −T_s⁻²q⁻¹ से गुणा करके प्राप्त संबंध (T_s⁻¹ + 1)(T_s⁻¹ − q⁻¹) = 0 को संतुष्ट करते हैं और ब्रैड संबंध बनाते हैं। इससे यह पता चलता है कि हेके बीजगणित में एक ऑटोमोर्फिज्म D के रूप में है, जो q^1/2 को q^−1/2 और प्रत्येक T_s को T_s⁻¹ को भेजता है और इस प्रकार किसी के पास $D(T_{w})=T_{w^{-1}}^{-1}$; होता है और D को भी एक जुड़ाव के रूप में देखा जा सकता है।

हेके बीजगणित के इनवोल्यूशन D के अनुसार अपरिवर्तनीय रूप में होता है। तत्व C_w, हेके बीजगणित का एक Z[q1/2,q-1/2] मॉड्यूल के रूप में एक आधार बनाते हैं, जिसे काज़दान लुज़्ज़िग आधार कहा जाता है।

• वे 0 हैं जब तक कि y ≤ w W के ब्रुहट क्रम में और 1 यदि y = w, और y <w के लिए उनकी घात अधिकतम (ℓ(w) − ℓ(y) − 1)/2 के रूप में होती है ।
• अवयव को इस प्रकार दिखाते है,

$C'_{w}=q^{-{\frac {\ell (w)}{2}}}\sum _{y\leq w}P_{y,w}T_{y}$

हेके बीजगणित के इनवोल्यूशन डी के अनुसार अपरिवर्तनीय हैं। अवयव $C'_{w}$ एक के रूप में हेके बीजगणित का आधार बनाएं $\mathbb {Z} [q^{1/2},q^{-1/2}]$-मॉड्यूल, जिसे कज़्दान-लुज़्तिग आधार कहा जाता है।

कज़दान-लुज़टिग बहुपदों के अस्तित्व को स्थापित करने के लिए कज़दान और लुज़टिग ने बहुपद P_yw(q) की गणना के लिए एक सरल पुनरावर्ती प्रक्रिया दी और इस प्रकार अधिक प्रारंभिक बहुपद के संदर्भ में R_yw(q) को निरूपित किया। इसे इस प्रकार परिभाषित किया गया है,

$T_{y^{-1}}^{-1}=\sum _{x}D(R_{x,y})q^{-\ell (x)}T_{x}.$

रिकर्सन संबंधों का उपयोग करके उनकी गणना की जा सकती है

$R_{x,y}={\begin{cases}0,&{\mbox{if }}x\not \leq y\\1,&{\mbox{if }}x=y\\R_{sx,sy},&{\mbox{if }}sx<x{\mbox{ and }}sy<y\\R_{xs,ys},&{\mbox{if }}xs<x{\mbox{ and }}ys<y\\(q-1)R_{sx,y}+qR_{sx,sy},&{\mbox{if }}sx>x{\mbox{ and }}sy<y\end{cases}}$

कज़दान-लुज़्ज़टिग बहुपदों के संबंध का उपयोग करके पुनरावर्ती रूप से गणना की जा सकती है

$q^{{\frac {1}{2}}(\ell (w)-\ell (x))}D(P_{x,w})-q^{{\frac {1}{2}}(\ell (x)-\ell (w))}P_{x,w}=\sum _{x<y\leq w}(-1)^{\ell (x)+\ell (y)}q^{{\frac {1}{2}}(-\ell (x)+2\ell (y)-\ell (w))}D(R_{x,y})P_{y,w}$

इस तथ्य का उपयोग करते हुए कि बाईं ओर के दो पद q^1/2 और q^−1/2 में स्थिर पदों के बिना बहुपद हैं। ये सूत्र लगभग 3 से अधिक रैंक के लिए हाथ से उपयोग करने के लिए थकाऊ कार्य हैं, लेकिन कंप्यूटर के लिए अच्छी तरह से अनुकूलित रूप में हैं और उनके साथ कज़्दान-लुज़्ज़टिग बहुपदों की गणना करने की एकमात्र सीमा यह है कि बड़े रैंक के लिए ऐसे बहुपदों की संख्या कंप्यूटर की भंडारण क्षमता से अधिक होती है

उदाहरण

• यदि y ≤ w तो P_y,w स्थिर स्थिरांक 1 के रूप में है।
• यदि y ≤ w और ℓ(w) − ℓ(y) ∈ {0, 1, 2} फिर P_y,w = 1।
• यदि w = w₀ कॉक्सेटर समूह का सबसे लंबा तत्व है तो P_y,w = 1 सभी y रूप में होते है।
• यदि W कॉक्सेटर समूह A₁ और A₂ के रूप में रैंक के किसी भी कॉक्सेटर समूह में अधिकतम 2 है, तो P_y,w 1 है और इस प्रकार यदि y≤w और 0 अन्यथा इस प्रकार है।
• यदि W कॉक्सेटर समूह A₃ है समुच्चय S = {a, b, c} उत्पन्न करने के साथ a और c के साथ P_b,bacb = 1 + q और P_ac,acbca = 1 + q, गैर-निरंतर बहुपदों के उदाहरण के रूप में है।
• निम्न रैंक समूहों के लिए कज़दान-लुज़्ज़टिग बहुपदों के साधारण मूल्य उच्च रैंक समूहों के लिए विशिष्ट रूप में नहीं हैं। उदाहरण के लिए E₈ के विभाजित रूप के लिए सबसे जटिल Lusztig–Vogan बहुपद काज़्दान–Lusztig बहुपदों का एक प्रकार नीचे दिखाया गया है,

${\begin{aligned}152q^{22}&+3,472q^{21}+38,791q^{20}+293,021q^{19}+1,370,892q^{18}+4,067,059q^{17}+7,964,012q^{16}\\&+11,159,003q^{15}+11,808,808q^{14}+9,859,915q^{13}+6,778,956q^{12}+3,964,369q^{11}+2,015,441q^{10}\\&+906,567q^{9}+363,611q^{8}+129,820q^{7}+41,239q^{6}+11,426q^{5}+2,677q^{4}+492q^{3}+61q^{2}+3q\end{aligned}}$

• Polo (1999) ने दिखाया कि स्थिर शब्द 1 और गैर-ऋणात्मक पूर्णांक गुणांक वाला कोई भी बहुपद कुछ सममित समूह के तत्वों की जोड़ी के लिए कज़्दान-लुज़्ज़िग बहुपद के रूप में होता है।

कज़्दान-लुज़्ज़टिग अनुमान

कज़्दान-लुज़्ज़टिग बहुपद उनके विहित आधार और हेके बीजगणित के प्राकृतिक आधार के बीच संक्रमण गुणांक के रूप में उत्पन्न होते हैं। इन्वेन्शन्स पेपर में दो समतुल्य अनुमान भी प्रस्तुत किए गए, जिन्हें अब कज़दान-लुज़्ज़्टिग अनुमान के रूप में जाना जाता है, जो जटिल अर्ध-सरल झूठ समूहों और अर्ध-सरल झूठ बीजगणित के प्रतिनिधित्व के साथ 1 पर उनके बहुपदों के मूल्यों से संबंधित हैं, जो प्रतिनिधित्व सिद्धांत में एक लंबे समय से चली आ रही समस्या को संबोधित करते हैं।

W को एक परिमित वेइल समूह होने दें। प्रत्येक के लिए w ∈ W द्वारा निरूपित करता है M_w उच्चतम भार का वर्मा मॉड्यूल हो −w(ρ) − ρ जहां ρ सकारात्मक जड़ों (या वेइल वेक्टर) का आधा योग है, और चलो L_w इसका अप्रासंगिक भागफल हो, उच्चतम भार का सरल उच्चतम भार मॉड्यूल −w(ρ) − ρ. दोनों M_w और L_w Weyl समूह W के साथ जटिल अर्धसरल लाई बीजगणित g पर स्थानीय रूप से परिमित वजन मॉड्यूल हैं, और इसलिए एक बीजगणितीय चरित्र को स्वीकार करते हैं। जी-मॉड्यूल एक्स के चरित्र के लिए हम सीएच (एक्स) लिखते हैं। कज़दान-लुज़्ज़टिग अनुमान राज्य:

$\operatorname {ch} (L_{w})=\sum _{y\leq w}(-1)^{\ell (w)-\ell (y)}P_{y,w}(1)\operatorname {ch} (M_{y})$

$\operatorname {ch} (M_{w})=\sum _{y\leq w}P_{w_{0}w,w_{0}y}(1)\operatorname {ch} (L_{y})$

कहाँ w₀ वेइल समूह की अधिकतम लंबाई का तत्व है।

इन अनुमानों को विशेषता 0 बीजगणितीय रूप से बंद क्षेत्रों द्वारा स्वतंत्र रूप से सिद्ध किया गया था Alexander Beilinson and Joseph Bernstein (1981) और तक Jean-Luc Brylinski and Masaki Kashiwara (1981). प्रमाण के दौरान प्रारंभ की गई विधियों ने 1980 और 1990 के दशक में ज्यामितीय प्रतिनिधित्व सिद्धांत नाम के अनुसार प्रतिनिधित्व सिद्धांत के विकास को निर्देशित किया है।

टिप्पणी

1. दो अनुमानों को समतुल्य माना जाता है। इसके अलावा, बोरो-जैंटजेन के अनुवाद सिद्धांत का अर्थ है कि w(ρ) − ρ द्वारा प्रतिस्थापित किया जा सकता है w(λ + ρ) − ρ किसी भी प्रमुख अभिन्न भार के लिए λ. इस प्रकार, काज़दान-लुज़्ज़टिग अनुमान बर्नस्टीन-गेलफैंड-गेलफैंड श्रेणी ओ के किसी भी नियमित अभिन्न ब्लॉक में वर्मा मॉड्यूल के जॉर्डन-होल्डर बहुलताओं का वर्णन करते हैं।

2. कज़्दान-लुज़्ज़टिग बहुपदों के सभी गुणांकों की एक समान व्याख्या जांटज़ेन अनुमान से होती है, जो मोटे तौर पर कहती है कि व्यक्तिगत गुणांक P_y,w की बहुलता हैं L_y एक कैनोनिकल फिल्ट्रेशन द्वारा निर्धारित वर्मा मॉड्यूल के कुछ उपभाग में, जैंटजेन फिल्ट्रेशन। रेगुलर इंटेग्रल केस में जैंटजेन का अनुमान बाद के एक पेपर में सिद्ध हुआ था Beilinson and Bernstein (1993).

3. डेविड वोगन ने अनुमानों के परिणाम के रूप में दिखाया कि

$P_{y,w}(q)=\sum _{i}q^{i}\dim(\operatorname {Ext} ^{\ell (w)-\ell (y)-2i}(M_{y},L_{w}))$

ओर वो Ext^j(M_y, L_w) गायब हो जाता है यदि j + ℓ(w) + ℓ(y) विषम है, इसलिए श्रेणी O में ऐसे सभी बाहरी समूहों के आयाम काज़दान-लुज़्ज़टिग बहुपदों के गुणांकों के संदर्भ में निर्धारित किए जाते हैं। यह परिणाम दर्शाता है कि एक परिमित वेइल समूह के कज़्दान-लुज़्ज़टिग बहुपदों के सभी गुणांक गैर-ऋणात्मक पूर्णांक हैं।चूँकि , एक परिमित वेइल समूह डब्ल्यू के स्थिति े के लिए सकारात्मकता पहले से ही कज़्दान-लुज़्ज़िग बहुपदों के गुणांकों की व्याख्या से ज्ञात थी, जो अनुमानों के बावजूद, प्रतिच्छेदन सह समरूपता समूहों के आयामों के रूप में थी। इसके विपरीत, कज़्दान-लुज़्तिग बहुपदों और एक्सट समूहों के बीच के संबंध को सैद्धांतिक रूप से अनुमानों को सिद्ध करने के लिए उपयोग किया जा सकता है,चूँकि उन्हें सिद्ध करने के लिए यह दृष्टिकोण बाहर ले जाने के लिए और अधिक कठिन हो गया।

4. काज़दान-लुज़टिग अनुमानों के कुछ विशेष स्थितियों को सत्यापित करना आसान है। उदाहरण के लिए, एम₁ प्रतिप्रधान वर्मा माड्यूल है, जिसे सरल माना जाता है। इसका मतलब है कि एम₁ = एल₁, w = 1 के लिए दूसरा अनुमान स्थापित करना, क्योंकि योग एक शब्द तक कम हो जाता है। दूसरी ओर, w = w के लिए पहला अनुमान₀ वेइल वर्ण सूत्र और बीजगणितीय वर्ण के सूत्र से अनुसरण करता है, साथ ही इस तथ्य के साथ कि सभी कज़्दान-लुज़्ज़िग बहुपद $P_{y,w_{0}}$ 1 के बराबर हैं।

5. काशीवारा (1990) ने सममित काक-मूडी बीजगणित के लिए कज़दान-लुज़टिग अनुमानों का एक सामान्यीकरण सिद्ध किया।

शुबर्ट किस्मों के प्रतिच्छेदन सह समरूपता से संबंध

ब्रुहाट अपघटन द्वारा बीजगणितीय समूह जी के अंतरिक्ष जी / बी वीइल ग्रुप डब्ल्यू के साथ एफिन रिक्त स्थान एक्स का एक अलग संघ है_w डब्ल्यू के तत्वों डब्ल्यू द्वारा पैरामिट्रीकृत। इन रिक्त स्थान के बंद होने X_w को शूबर्ट किस्में कहा जाता है, और डेलिग्ने के एक सुझाव के बाद, काज़दान और लुज़्ज़टिग ने दिखाया कि शूबर्ट किस्मों के प्रतिच्छेदन सह समरूपता समूहों के संदर्भ में कज़दान-लुज़्ज़टिग बहुपदों को कैसे व्यक्त किया जाए।

अधिक यथार्थ रूप से, कज़्दान-लुज़्ज़टिग बहुपद पी_y,w(क्यू) के बराबर है

$P_{y,w}(q)=\sum _{i}q^{i}\dim IH_{X_{y}}^{2i}({\overline {X_{w}}})$

जहां दाहिनी ओर प्रत्येक शब्द का अर्थ है: ढेरों का जटिल आईसी लें जिसका हाइपरहोमोलॉजी शुबर्ट किस्म के w का प्रतिच्छेदन समरूपता है (कोशिका का बंद होना) X_w), इसकी सह समरूपता ऑफ़ घात लें 2i, और फिर सेल के किसी भी बिंदु पर इस पूले के डंठल का आयाम लें X_y जिसका बंद होना y की शुबर्ट किस्म है। विषम-आयामी सह समरूपता समूह योग में प्रकट नहीं होते हैं क्योंकि वे सभी शून्य हैं।

इसने पहला प्रमाण दिया कि परिमित वेइल समूहों के लिए कज़्दान-लुज़्ज़टिग बहुपदों के सभी गुणांक गैर-ऋणात्मक पूर्णांक हैं।

वास्तविक समूहों के लिए सामान्यीकरण

लुज़टिग-वोगन बहुपद (जिसे कज़दान-लुज़टिग बहुपद या कज़दान-लुज़टिग-वोगन बहुपद भी कहा जाता है) को प्रस्तुत किया गया था Lusztig & Vogan (1983). वे कज़्दान-लुज़्ज़टिग बहुपदों के अनुरूप हैं, लेकिन वास्तविक अर्धसूत्रीय झूठ समूहों के प्रतिनिधित्व के अनुरूप हैं, और उनके एकात्मक दोहरे के अनुमानित विवरण में प्रमुख भूमिका निभाते हैं। जटिल समूहों की तुलना में वास्तविक समूहों के प्रतिनिधित्व की सापेक्ष जटिलता को दर्शाते हुए उनकी परिभाषा अधिक जटिल है।

भेद, सीधे तौर पर प्रतिनिधित्व सिद्धांत से जुड़े स्थितियों में, दोहरे कोसमुच्चय के स्तर पर समझाया गया है; या जटिल झंडा कई गुना ्स G/B के एनालॉग्स पर कार्रवाई के अन्य शब्दों में जहां G एक जटिल लाइ समूह है और B एक बोरेल उपसमूह है। मूल (के-एल) स्थिति तब अपघटन के विवरण के बारे में है

$B\backslash G/B$,

Bruhat अपघटन का एक मौलिक विषय, और एक Grassmannian में Schubert कोशिकाओं से पहले। एल-वी स्थिति एक वास्तविक रूप लेता है {{mvar|G_R}जी का }, एक अधिकतम कॉम्पैक्ट उपसमूह K_R उस अर्धसरल समूह में G_R, और जटिलता K बनाता है K_R. फिर अध्ययन की प्रासंगिक वस्तु है

$K\backslash G/B$.

मार्च 2007 में, इसकी घोषणा की गई थी कि E8 (गणित)#External Links|L-V बहुपदों की गणना E के विभाजित रूप के लिए की गई थी₈.

प्रतिनिधित्व सिद्धांत में अन्य वस्तुओं के लिए सामान्यीकरण

काज़दान और लुज़्ज़टिग के दूसरे पेपर ने कज़दान-लुज़्ज़टिग बहुपदों की परिभाषा के लिए एक ज्यामितीय सेटिंग की स्थापना की थी, अर्थात् ध्वज विविधता में शुबर्ट किस्मों की विलक्षणताओं की बीजगणितीय ज्यामिति के रूप में है। लुज़टिग के बाद के अधिकांश कार्यों ने प्रतिनिधित्व सिद्धांत में उत्पन्न होने वाली अन्य प्राकृतिक एकवचन बीजगणितीय किस्मों के संदर्भ में होती है और इस प्रकार विशेष रूप से, निलपोटेंट कक्षा और क्विवर किस्मों के बंद होने के संदर्भ में कज़दान-लुज़टिग बहुपदों के एनालॉग्स की खोज की और इससे यह पता चला है कि क्वांटम समूहों के प्रतिनिधित्व सिद्धांत, मॉड्यूलर लाई बीजगणित और एफ़िन हेके बीजगणित सभी कज़दान-लुज़्ज़िग बहुपदों के उचित अनुरूपों द्वारा नियंत्रित होते हैं। वे एक प्रारंभिक विवरण को स्वीकार करते हैं, लेकिन प्रतिनिधित्व सिद्धांत के लिए आवश्यक इन बहुपदों के गुण आधुनिक बीजगणितीय ज्यामिति और समरूप बीजगणित की परिष्कृत प्रोद्योगिकीय का पालन करते हैं, जैसे कि इंटरसेक्शन कोहोलॉजी, विकृत शीव्स और बीलिन्सन-बर्नस्टीन-डेलिग्ने अपघटन का उपयोग करके किया जाता है।

कज़्दान-लुज़्ज़टिग बहुपदों के गुणांकों को सोर्जेल की बिमॉड्यूल श्रेणी में कुछ समरूपता रिक्त स्थान के आयामों के रूप में अनुमान लगाया जाता है और इस प्रकार याट्टीच्छक कॉक्सेटर समूहों के लिए इन गुणांकों की यह एकमात्र ज्ञात सकारात्मक व्याख्या के रूप में है।

मिश्रित सिद्धांत

कज़्दान-लुज़्ज़टिग बहुपदों के संयुक्त गुणों और उनके सामान्यीकरण सक्रिय वर्तमान शोध का विषय हैं। प्रतिनिधित्व सिद्धांत और बीजगणितीय ज्यामिति में उनके महत्व को देखते हुए, ज्यामिति पर कुछ सीमा तक निर्भर करते हैं, लेकिन प्रतिच्छेदन सह समरूपता और अन्य उन्नत प्रोद्योगिकीय के संदर्भ के बिना पूरी तरह से दहनशील फैशन में कज़दान-लुज़टिग बहुपदों के सिद्धांत को विकसित करने का प्रयास किया गया है। इससे बीजगणितीय कॉम्बिनेटरिक्स में रोमांचक विकास हुआ है, जैसे पैटर्न-परिहार घटना के रूप में जाना जाता है और इस प्रकार की पाठ्यपुस्तक में कुछ संदर्भ दिए गए हैं Björner & Brenti (2005). जो इसके विषय पर एक शोध मोनोग्राफ के रूप में है Billey & Lakshmibai (2000).

2005 तक, सममित समूहों के लिए भी कुछ प्राकृतिक समुच्चयों की गणनांक के रूप में कज़्दान लुज़्ज़टिग बहुपदों के सभी गुणांकों की कोई संयुक्त व्याख्या नहीं है, चूँकि कई विशेष स्थितियों में स्पष्ट सूत्र के रूप में उपस्थित हैं।

असमानता

कोबायाशी (2013) ने साबित किया कि क्रिस्टलोग्राफिक कॉक्सेटर समूहों के लिए $q=1$ पर कज़दान-लुज़टिग बहुपद के मूल्य कुछ सख्त असमानता को संतुष्ट करते हैं और इस प्रकार $(W,S)$ एक क्रिस्टलोग्राफिक कॉक्सेटर प्रणाली के रूप में होता है और ${P_{uw}(q)}$ इसके कज़्दान-लुज़्तिग बहुपद के रूप में है और यदि $u<w$ और $P_{uw}(1)>1$, वहाँ एक प्रतिबिम्ब $t$ के रूप में होता है जैसे कि $P_{uw}(1)>P_{tu,w}(1)>0$ के रूप में दिखाया गया है।

संदर्भ

• Beilinson, Alexandre; Bernstein, Joseph (1981), Localisation de g-modules, Sér. I Math., vol. 292, Paris: C. R. Acad. Sci., pp. 15–18.
• Beilinson, Alexandre; Bernstein, Joseph (1993), A proof of the Jantzen conjectures, Advances in Soviet Mathematics, vol. 16, pp. 1–50.
• Billey, Sara; Lakshmibai, V. (2000), Singular loci of Schubert varieties, Progress in Mathematics, vol. 182, Boston, MA: Birkhäuser, ISBN 0-8176-4092-4.
• Björner, Anders; Brenti, Francesco (2005), "Ch. 5: Kazhdan–Lusztig and R-polynomials", Combinatorics of Coxeter Groups, Graduate Texts in Mathematics, vol. 231, Springer, ISBN 978-3-540-44238-7.
• Brenti, Francesco (2003), "Kazhdan–Lusztig Polynomials: History, Problems, and Combinatorial Invariance", Séminaire Lotharingien de Combinatoire, Ellwangen: Haus Schönenberg, 49: Research article B49b.
• Brylinski, Jean-Luc; Kashiwara, Masaki (October 1981), "Kazhdan–Lusztig conjecture and holonomic systems", Inventiones Mathematicae, Springer-Verlag, 64 (3): 387–410, Bibcode:1981InMat..64..387B, doi:10.1007/BF01389272, ISSN 0020-9910, S2CID 18403883.
• Kashiwara, Masaki (1990), "The Kazhdan–Lusztig conjecture for symmetrizable KacMoody algebras", The Grothendieck Festschrift, II, Progress in Mathematics, vol. 87, Boston: Birkhauser, pp. 407–433, MR 1106905.
• Kazhdan, David; Lusztig, George (June 1979), "Representations of Coxeter groups and Hecke algebras", Inventiones Mathematicae, Springer-Verlag, 53 (2): 165–184, Bibcode:1979InMat..53..165K, doi:10.1007/BF01390031, ISSN 0020-9910, S2CID 120098142.
• Kazhdan, David; Lusztig, George (1980a), "A topological approach to Springer's representations", Advances in Mathematics, 38 (2): 222–228, doi:10.1016/0001-8708(80)90005-5.
• Kazhdan, David; Lusztig, George (1980b), Schubert varieties and Poincaré duality, Proceedings of Symposia in Pure Mathematics, vol. XXXVI, American Mathematical Society, pp. 185–203, doi:10.1090/pspum/036/573434, ISBN 9780821814390.
• Lusztig, George; Vogan, David (1983), "Singularities of closures of K-orbits on flag manifolds.", Inventiones Mathematicae, Springer-Verlag, 71 (2): 365–379, Bibcode:1983InMat..71..365L, doi:10.1007/BF01389103, ISSN 0020-9910, S2CID 120917588.
• Polo, Patrick (1999), "Construction of arbitrary Kazhdan–Lusztig polynomials in symmetric groups", Representation Theory, 3 (4): 90–104, doi:10.1090/S1088-4165-99-00074-6, ISSN 1088-4165, MR 1698201.
• Soergel, Wolfgang (2006), "Kazhdan–Lusztig polynomials and indecomposable bimodules over polynomial rings", Journal of the Institute of Mathematics of Jussieu, 6 (3): 501–525, arXiv:math/0403496, doi:10.1017/S1474748007000023, S2CID 120459494.
• Kobayashi, Masato (2013), "Inequalities on Bruhat graphs, R- and Kazhdan-Lusztig polynomials", Journal of Combinatorial Theory, Series A, 120 (2): 470–482, doi:10.1016/j.jcta.2012.10.001, S2CID 205929043.

बाहरी संबंध

• Readings from Spring 2005 course on Kazhdan–Lusztig Theory at U.C. Davis by Monica Vazirani
• Goresky, Mark. "Tables of Kazhdan–Lusztig polynomials".
• The GAP programs for computing Kazhdan–Lusztig polynomials.
• Fokko du Cloux's Coxeter software for computing Kazhdan–Lusztig polynomials for any Coxeter group
• Atlas software for computing Kazhdan–Lusztig-Vogan polynomials.