क्वांटम समूह

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

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

ड्रिंफेल्ड के दृष्टिकोण से, क्वांटम समूह हॉप्फ़ बीजगणित के रूप में उत्पन्न होते हैं जो एक सहायक पैरामीटर q या h पर निर्भर करते हैं, जो q = 1 या h = 0 होने पर एक विशेष प्रकार के ली बीजगणित के सार्वभौमिक आच्छादक बीजगणित बन जाते हैं। ये ली बीजगणितएं प्रायः अर्धसरल या अफाइन होती हैं। इनसे जुड़े कुछ संबंधित दोहरे विषय भी होते हैं, जो भी हॉप्फ़ बीजगणितएं होते हैं और जिन्हें क्वांटम समूह के रूप में जाना जाता है। इन्हें भी हम क्वांटम समूह कहते हैं। ये संबंधित सेमीसिम्पल बीजगणितीय बीजगणित या एक सुसम्बद्ध ली समूह पर फलन के बीजगणित को विकृत करते हैं।

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

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

यदि A = (aij) कार्टन आव्यूह है केएसी-मूडी बीजगणित की, और q ≠ 0, 1 एक जटिल संख्या है, तो क्वांटम समूह Uq(G), जहां G वह ली बीजगणित है जिसकी कार्तन आव्यूह A है, निम्नलिखित रूप में परिभाषित होता है:

यह एक एककीय एसोसिएटिव बीजगणित है जिसमें जनित्र kλ जहां λ भार जाली का एक तत्व है, अर्थात् सभी i के लिए 2(λ, αi)/(αi, αi) एक पूर्णांक है, और सरल मूल αi के लिए ei और fi होते हैं, जो निम्नलिखित संबंधों के अधीन होते हैं:
 * $$\begin{align}

k_0 &= 1 \\ k_\lambda k_\mu &= k_{\lambda+\mu} \\ k_\lambda e_i k_\lambda^{-1} &= q^{(\lambda,\alpha_i)} e_i \\ k_\lambda f_i k_\lambda^{-1} &= q^{- (\lambda,\alpha_i)} f_i \\ \left [e_i, f_j \right ] &= \delta_{ij} \frac{k_i - k_i^{-1}}{q_i - q_i^{-1}} && k_i = k_{\alpha_i}, q_i = q^{\frac{1}{2}(\alpha_i,\alpha_i)} \\ \end{align}$$ और i ≠ j के लिए हमारे पास q-सेरे संबंध हैं, जो जीन पियरे सेरे संबंधों की विकृति हैं:


 * $$\begin{align}

\sum_{n=0}^{1 - a_{ij}} (-1)^n \frac{[1 - a_{ij}]_{q_i}!}{[1 - a_{ij} - n]_{q_i}! [n]_{q_i}!} e_i^n e_j e_i^{1 - a_{ij} - n} &= 0 \\[6pt] \sum_{n=0}^{1 - a_{ij}} (-1)^n \frac{[1 - a_{ij}]_{q_i}!}{[1 - a_{ij} - n]_{q_i}! [n]_{q_i}!} f_i^n f_j f_i^{1 - a_{ij} - n} &= 0 \end{align}$$ जहां q- कारख़ाने का, सामान्य फैक्टोरियल का q-एनालॉग, q-संख्या का उपयोग करके पुनरावर्ती रूप से परिभाषित किया गया है:


 * $$\begin{align}

{[0]}_{q_i}! &= 1 \\ {[n]}_{q_i}! &= \prod_{m=1}^n [m]_{q_i}, && [m]_{q_i} = \frac{q_i^m - q_i^{-m}}{q_i - q_i^{-1}} \end{align}$$ q → 1 जैसी सीमा में, ये संबंध सार्वभौमिक आवरण बीजगणित U(G) के संबंधों तक पहुंचते हैं, जहां


 * $$k_{\lambda} \to 1, \qquad \frac{k_\lambda - k_{-\lambda}}{q - q^{-1}} \to t_\lambda$$

और tλ कार्टन उप-बीजगणित का तत्व है जो कार्टन उप-बीजगणित में सभी h के लिए (tλ, h) = λ(h) को संतुष्ट करता है।

ऐसे विभिन्न सहसंबंधी सहउत्पाद हैं जिनके अंतर्गत ये बीजगणित हॉपफ बीजगणित हैं, उदाहरण के लिए,


 * $$ \begin{array}{lll}

\Delta_1(k_\lambda) = k_\lambda \otimes k_\lambda & \Delta_1(e_i) = 1 \otimes e_i + e_i \otimes k_i & \Delta_1(f_i) = k_i^{-1} \otimes f_i + f_i \otimes 1 \\ \Delta_2(k_\lambda) = k_\lambda \otimes k_\lambda & \Delta_2(e_i) = k_i^{-1} \otimes e_i + e_i \otimes 1 & \Delta_2(f_i) = 1 \otimes f_i + f_i \otimes k_i \\ \Delta_3(k_\lambda) = k_\lambda \otimes k_\lambda & \Delta_3(e_i) = k_i^{-\frac{1}{2}} \otimes e_i + e_i \otimes k_i^{\frac{1}{2}} & \Delta_3(f_i) = k_i^{-\frac{1}{2}} \otimes f_i + f_i \otimes k_i^{\frac{1}{2}} \end{array}$$ जहां आवश्यकता हो, वहां जनित्रो का समुच्चय विस्तारित किया गया है जिससे इसमें kλ भी सम्मिलित हो, जहां λ भार जाली के तत्व और रूट जाली के आधे तत्व के योग से व्यक्त किया जा सकता है।

इसके अतिरिक्त, कोई भी हॉपफ बीजगणित उलटे सहउत्पाद T o Δ के साथ दूसरे की ओर ले जाता है, जहां T को T(x ⊗ y) = y ⊗ x द्वारा दिया जाता है, जिससे तीन और संभावित संस्करण मिलते हैं।

इन सभी सह-उत्पादों के लिए Uq(A) पर गणक समान है: ε(kλ) = 1, ε(ei) = ε(fi) = 0, और उपरोक्त सह-उत्पादों के लिए संबंधित प्रतिध्रुव इस प्रकार दिए गए हैं


 * $$ \begin{array}{lll}

S_1(k_\lambda) = k_{-\lambda} & S_1(e_i) = - e_i k_i^{-1} & S_1(f_i) = - k_i f_i \\ S_2(k_\lambda) = k_{-\lambda} & S_2(e_i) = - k_i e_i & S_2(f_i) = - f_i k_i^{-1} \\ S_3(k_\lambda) = k_{-\lambda} & S_3(e_i) = - q_i e_i & S_3(f_i) = - q_i^{-1} f_i \end{array}$$ वैकल्पिक रूप से, क्वांटम समूह Uq(G) को क्षेत्र C(q) पर एक बीजगणित के रूप में माना जा सकता है, जो C पर एक अनिश्चित q के सभी तर्कसंगत कार्यों का क्षेत्र है।

इसी प्रकार, क्वांटम समूह Uq(G) को क्षेत्र Q(q) पर एक बीजगणित के रूप में माना जा सकता है, जो Q पर एक अनिश्चित q के सभी तर्कसंगत कार्यों का क्षेत्र है। क्वांटम समूह के केंद्र को क्वांटम निर्धारक द्वारा वर्णित किया जा सकता है।

प्रतिनिधित्व सिद्धांत
जिस तरह केएसी-मूडी बीजगणित और उनके सार्वभौमिक आवरण बीजगणित के लिए कई अलग-अलग प्रकार के प्रतिनिधित्व हैं, उसी तरह क्वांटम समूहों के लिए भी कई अलग-अलग प्रकार के प्रतिनिधित्व हैं।

जैसा कि सभी हॉपफ बीजगणित के मामले में है, Uq(G) के पास एक अनुखण्ड  के रूप में स्वयं पर एक सहायक प्रतिनिधित्व है,  जिसके द्वारा अनुयोजन दी जा रही है
 * $$\mathrm{Ad}_x \cdot y = \sum_{(x)} x_{(1)} y S(x_{(2)}),$$

जहाँ
 * $$\Delta(x) = \sum_{(x)} x_{(1)} \otimes x_{(2)}.$$

केस 1: q एकता की जड़ नहीं है
एक महत्वपूर्ण प्रकार की प्रतिनिधि है एक भार प्रतिनिधि, और इससे संबंधित अनुखण्ड को भार अनुखण्ड कहते हैं। भार अनुखण्ड   एक अनुखण्ड   है जिसमें भार सदिशो के आधार से बना होता है। भार सदिश एक गैर-शून्य सदिश v है जिसके लिए सभी भार λ के लिए kλ · v = dλv होता है, जहां dλ सभी भार λ के लिए एक मिश्रित संख्या होता है, जैसा कि dλ के सभी भार λ के लिए होता है।


 * $$d_0 = 1,$$
 * $$d_\lambda d_\mu = d_{\lambda + \mu},$$ सभी भारों के लिए λ और μ।

भार अनुखण्ड को "संयुक्त" कहा जाता है यदि ei और fi के क्रियाएँ स्थानिक शून्य हों अर्थात अनुखण्ड में किसी भी सदिश v के लिए, v पर निर्भर करते हुए एक सकारात्मक पूर्णांक k होता है, जो संभवतः v पर निर्भर करता है, ऐसा कि $$e_i^k.v = f_i^k.v = 0$$ होता है सभी i के लिए। संयुक्त अनुखण्ड के विषय में, भार सदिश के साथ जुड़े जटिल संख्याएँ dλ निम्नलिखित रूप में होती हैं:


 * $$c_0 = 1,$$
 * $$c_\lambda c_\mu = c_{\lambda + \mu},$$ सभी भारों के लिए λ और μ,
 * $$c_{2\alpha_i} = 1$$ सभी के लिए i.

विशेष रूप से उच्चतम-भार प्रतिनिधित्व और उससे संबंधित उच्चतम-भार अनुखंड बहुत महत्वपूर्ण होते हैं। एक उच्चतम-भार अनुखंड   एक अनुखंड होता है जो भार  सदिश v द्वारा उत्पन्न किया गया होता है, जो सभी भार μ के लिए kλ · v = dλv और सभी i के लिए ei · v = 0 को पूरा करता हो। इसी तरह, क्वांटम समूह के पास एक निम्नतम-भार प्रतिनिधित्व और उससे संबंधित निम्नतम-भार अनुखंड हो सकता है, जो एक भार सदिश v द्वारा उत्पन्न किया जाता है, जो सभी भार  λ के लिए kλ · v = dλv और सभी i के लिए fi · v = 0 को पूरा करता है।

एक सदिश v को भार  ν रखा जाता है यदि सभी भार  λ के लिए $$k_\lambda\cdot v = q^{(\lambda,\nu)} v$$ हो। यहां, ν भार  जाली का एक तत्व है और q एक गैर-शून्य जटिल संख्या है।

यदि G एक काक-मूडी बीजगणित है, तो U के किसी भी अघुलनशील उच्चतम भार प्रतिनिधित्व में q(G), उच्चतम भार ν के साथ, भार की बहुलता समान उच्चतम भार के साथ U(G) के अपरिवर्तनीय प्रतिनिधित्व में उनकी बहुलता के बराबर होती है। यदि उच्चतम भार प्रमुख और अभिन्न है एक भार μ प्रमुख और अभिन्न है यदि μ इस शर्त को पूरा करता है कि $$2 (\mu,\alpha_i)/(\alpha_i,\alpha_i)$$ सभी i के लिए एक गैर-नकारात्मक पूर्णांक है, तो G के लिए वेइल समूह के तहत अपरिवर्तनीय प्रतिनिधित्व का भार स्पेक्ट्रम अपरिवर्तनीय है, और प्रतिनिधित्व पूर्णांक है।

इसके विपरीत, यदि उच्चतम भार अनुखण्ड पूर्णांकीय है, तो इसका उच्चतम भार सदिश v संतुष्ट करता है $$k_\lambda\cdot v = c_\lambda q^{(\lambda,\nu)} v$$, जहां cλ · v = dλv ऐसी सम्मिश्रत संख्याएँ हैं


 * $$c_0 = 1,$$
 * $$c_\lambda c_\mu = c_{\lambda + \mu},$$ सभी भारों के लिए λ और μ,
 * $$c_{2\alpha_i} = 1$$ i सभी लिए,

और ν प्रमुख और अभिन्न है।

जैसा कि सभी हॉपफ बीजगणित के स्थिति में है, दो अनुखण्ड का टेंसर उत्पाद एक अन्य अनुखण्ड है। U के एक तत्व x के लिए q(G), और संबंधित अनुखण्ड में वैक्टर v और w  के लिए, x ⋅ (v ⊗ w) = Δ(x) ⋅ (v ⊗ w), जिससे

$$k_\lambda\cdot(v \otimes w) = k_\lambda\cdot v \otimes k_\lambda.w$$, और सहउत्पाद के विषय में Δ1, $$e_i\cdot(v \otimes w) = k_i\cdot v \otimes e_i\cdot w + e_i\cdot v \otimes w$$ और $$f_i\cdot(v \otimes w) = v \otimes f_i\cdot w + f_i\cdot v \otimes k_i^{-1}\cdot w.$$

ऊपर वर्णित संयुक्त उच्चतम-भार अनुखंड एक एक-आयामीअनुखंड का एक टेंसर गुणन है (जिसमें सभी भार λ के लिए kλ = cλ है, और सभी i के लिए ei = fi = 0 है) और एक उच्चतम-भार अनुखंड जो एक गैर शून्य सदिश  v0 द्वारा उत्पन्न किया गया है, जो सभी भार  λ के लिए kλ⋅v0 = q(λ,ν)⋅v0 और सभी i के लिए ei⋅v0 = 0 को पूरा करता है।

विशेष रूप से, जब G एक सीमित-आयामी ली बीजगणित है, तो अधिकतम अवशेष पूर्णांशी उच्चतम-भार के अपूर्णिय रूपांतरण भी सीमित-आयामी होते हैं।

उच्चतम-भार अनुखंण्डो के एक टेंसर गुणन के विषय में, उनके उप-अनुखंण्डो में विभाजन का वही समान होता है जो कैक-मूडी बीजगणित के संबंधितअनुखंण्डों के टेंसर गुणन के विषय में होता है उच्चतम-भार समान होते हैं, उनकी अधिकतमता भी समान होती है।

अर्धत्रिकोणीयता
केस 1: क्यू एकता की जड़ नहीं है

वास्तव में, क्वांटम समूह Uq(G) अर्ध-त्रिकोणीय नहीं है, लेकिन इसे "लगभग अर्ध-त्रिकोणीय" माना जा सकता है क्योंकि इसमें एक अनंत औपचारिक योग उपस्थित है जो आर-आव्यूह की भूमिका निभाता है। यह अनंत औपचारिक योग जेनरेटर ei और fi,और कार्टन जनित्र tλ के संदर्भ में व्यक्त किया जा सकता है, जहां kλ को औपचारिक रूप से qtλ के साथ पहचाना जाता है। अनंत औपचारिक योग दो कारकों का गुणनफल है
 * $$q^{\eta \sum_j t_{\lambda_j} \otimes t_{\mu_j}}$$

उच्चतम-भार अनुखण्ड के एक टेंसर गुणन के उपखण्डो के विभाजन को निम्नलिखित रूप में व्यक्त किया जा सकता है, ' λj कार्तन उपबीजगणित के द्वित्वयुक्त स्थान के लिए एक आधार है, μj द्वित्वयुक्त आधार है और η = ±1है। यह समझाने के लिए निम्नलिखित समरूप है:

औपचारिक अनंत योग जो R-आव्यूह की भूमिका निभाता है, दो अपरिवर्तनीय उच्चतम वजन अनुखण्ड के टेंसर उत्पाद पर और दो सबसे कम भार वाले अनुखण्ड के टेंसर उत्पाद पर एक अच्छी तरह से परिभाषित कार्य करता है। विशेष रूप से, यदि v का भार α है और w का भार β है, तो
 * $$q^{\eta \sum_j t_{\lambda_j} \otimes t_{\mu_j}}\cdot(v \otimes w) = q^{\eta (\alpha,\beta)} v \otimes w,$$

और तथ्य यह है कि अनुखण्ड दोनों उच्चतम भार वाले अनुखण्ड हैं या दोनों सबसे कम भार वाले अनुखण्ड v ⊗ W पर अन्य कारक की कार्य को एक सीमित योग तक कम कर देते हैं।

विशेष रूप से, यदि V एक उच्चतम-वजन अनुखण्ड है, तो औपचारिक अनंत सम R का वेल-परिभाषित और पलटने योग्य क्रिया V ⊗ V पर होता है, और R की इस मान यांग-बैक्सटर समीकरण को पूरा करता है, और इसलिए हमें ब्रेड समूह के एक प्रतिनायक निर्धारित करने और गूठों, लिंक्स और ब्रेड के लिए अधीनियों की परिभाषा करने की अनुमति प्राप्त होती है।

क्वांटम समूह q = 0
पर

मसाकी काशीवारा ने क्यू → 0 के रूप में क्वांटम समूहों के सीमित व्यवहार पर शोध किया है, और एक विशेष रूप से अच्छा व्यवहार वाला आधार पाया है जिसे क्रिस्टल आधार कहा जाता है।

रूट-सिस्टम और डायनकिन आरेख द्वारा विवरण और वर्गीकरण
उपरोक्त यू जैसे क्वांटम समूहों के परिमित भागफल का वर्णन करने में काफी प्रगति हुई हैq('जी') क्यू के लिएn = 1; कोई सामान्यतः 'नुकीले' हॉपफ बीजगणित के वर्ग पर विचार करता है, जिसका अर्थ है कि सभी उप-आकार 1-आयामी हैं और इस प्रकार उनका योग एक समूह बनता है जिसे 'कोरैडिकल' कहा जाता है:


 * 2002 में एच.-जे. श्नाइडर और एन. एंड्रुस्किवित्च एबेलियन सह-कट्टरपंथी समूह (अभाज्य 2, 3, 5, 7 को छोड़कर) के साथ नुकीले हॉपफ बीजगणित के अपने वर्गीकरण को समाप्त किया, विशेष रूप से यू के उपरोक्त परिमित भागफल के रूप मेंq('g') सामान्य सेमीसिम्पल लाई बीजगणित की तरह E′s (बोरेल भाग), दोहरे F′s और K′s (कार्टन बीजगणित) में विघटित होता है:
 * $$\left(\mathfrak{B}(V)\otimes k[\mathbf{Z}^n]\otimes\mathfrak{B}(V^*)\right)^\sigma$$
 * यहां, जैसा कि शास्त्रीय सिद्धांत में V, E's द्वारा फैलाए गए आयाम n का एक ब्रेडेड सदिश स्पेस है, और σ (एक तथाकथित कोसिलस ट्विस्ट) E's और F's के बीच गैर-तुच्छ 'लिंकिंग' बनाता है। ध्यान दें कि शास्त्रीय सिद्धांत के विपरीत, दो से अधिक जुड़े हुए घटक प्रकट हो सकते हैं। 'क्वांटम बोरेल बीजगणित' की भूमिका निकोलस बीजगणित द्वारा ली गई है $$\mathfrak{B}(V)$$ of the braided vectorspace. Dynkin4A3lift.png* सामान्यीकृत डायनकिन आरेखों के संदर्भ में एबेलियन समूहों के लिए आई. हेकेनबर्गर का निकोल्स बीजगणित एक महत्वपूर्ण घटक था। जब छोटे अभाज्य संख्याएँ मौजूद होती हैं, तो कुछ विदेशी उदाहरण, जैसे कि त्रिभुज, घटित होते हैं (रैंक 3 डंकिन आरेख का चित्र भी देखें)।

* इस बीच, श्नाइडर और हेकेनबर्गर आम तौर पर नॉनबेलियन मामले में भी एक अंकगणितीय जड़ प्रणाली के अस्तित्व को साबित किया है, जिससे पोंकारे-बिरखॉफ-विट प्रमेय का निर्माण होता है, जैसा कि एबेलियन मामले में खारचेको द्वारा सिद्ध किया गया है (परिमित आयाम पर धारणा के बिना)। इसका उपयोग किया जा सकता है विशिष्ट मामलों पर यूq('जी') और उदाहरण के लिए समझाता है इन क्वांटम समूहों के कुछ सहबद्ध उपबीजगणित और ली बीजगणित 'जी' के वेइल समूह के क्रम के बीच संख्यात्मक संयोग।

कॉम्पैक्ट आव्यूह क्वांटम समूह
एस. एल. वोरोनोविज़ ने कॉम्पैक्ट आव्यूह क्वांटम समूहों की शुरुआत की। कॉम्पैक्ट आव्यूह क्वांटम समूह अमूर्त संरचनाएं हैं जिन पर संरचना पर निरंतर कार्य C*-बीजगणित के तत्वों द्वारा दिए जाते हैं। एक कॉम्पैक्ट आव्यूह क्वांटम समूह की ज्यामिति एक गैर-अनुवांशिक ज्यामिति का एक विशेष मामला है।

कॉम्पैक्ट हॉसडॉर्फ़ टोपोलॉजिकल स्पेस पर निरंतर जटिल-मूल्यवान फ़ंक्शन एक क्रमविनिमेय C*-बीजगणित बनाते हैं। गेलफैंड प्रतिनिधित्व के अनुसार, एक कम्यूटेटिव सी*-बीजगणित एक कॉम्पैक्ट हॉसडॉर्फ टोपोलॉजिकल स्पेस पर निरंतर जटिल-मूल्य वाले कार्यों के सी*-बीजगणित के लिए आइसोमोर्फिक है, और टोपोलॉजिकल स्पेस को होमियोमोर्फिज्म तक सी*-बीजगणित द्वारा विशिष्ट रूप से निर्धारित किया जाता है।

एक कॉम्पैक्ट टोपोलॉजिकल समूह, जी के लिए, एक सी*-बीजगणित समरूपता मौजूद है Δ: सी(जी) → सी(जी) ⊗ सी(जी) (जहां सी(जी) ⊗ सी(जी) सी*-बीजगणित टेंसर है उत्पाद - C(G) और C(G) के बीजगणितीय टेंसर उत्पाद का पूरा होना, जैसे कि Δ(f)(x, y) = f(xy) सभी f ∈ C(G) के लिए, और सभी x के लिए, y ∈ G (जहां (f ⊗ g)(x, y) = f(x)g(y) सभी f, g ∈ C(G) और सभी x, y ∈ G के लिए)। एक रैखिक गुणात्मक मानचित्रण भी मौजूद है κ: C(G) → C(G), जैसे कि κ(f)(x) = f(x)−1) सभी f ∈ C(G) और सभी x ∈ G के लिए। सख्ती से, यह C(G) को एक हॉपफ बीजगणित नहीं बनाता है, जब तक कि G परिमित न हो। दूसरी ओर, G के एक परिमित-आयामी समूह प्रतिनिधित्व का उपयोग C(G) का *-उप-बीजगणित उत्पन्न करने के लिए किया जा सकता है जो कि एक Hopf *-बीजगणित भी है। विशेष रूप से, यदि $$g \mapsto (u_{ij}(g))_{i,j}$$ G का n-आयामी प्रतिनिधित्व है, तो सभी i, j u के लिएij∈ सी(जी) और


 * $$\Delta(u_{ij}) = \sum_k u_{ik} \otimes u_{kj}.$$

इससे यह पता चलता है कि आपके द्वारा उत्पन्न *-बीजगणितijसभी i, j और κ(u) के लिएij) सभी i के लिए, j एक Hopf *-बीजगणित है: गिनती ε(u) द्वारा निर्धारित की जाती हैij) = डीij सभी के लिए i, j (जहाँ δij क्रोनकर डेल्टा है), एंटीपोड κ है, और इकाई द्वारा दी गई है


 * $$1 = \sum_k u_{1k} \kappa(u_{k1}) = \sum_k \kappa(u_{1k}) u_{k1}.$$

सामान्य परिभाषा
सामान्यीकरण के रूप में, एक कॉम्पैक्ट आव्यूह क्वांटम समूह को एक जोड़ी (सी, यू) के रूप में परिभाषित किया गया है, जहां सी एक सी*-बीजगणित है और $$u = (u_{ij})_{i,j = 1,\dots,n}$$ C में प्रविष्टियों वाला एक आव्यूह है जैसे कि


 * द *-उपबीजगणित, सी0, C का, जो u के आव्यूह तत्वों द्वारा उत्पन्न होता है, C में सघन है;


 * एक C*-बीजगणित समरूपता मौजूद है जिसे सहगुणन Δ कहा जाता है: C → C ⊗ C (जहाँ C ⊗ C, C*-बीजगणित टेंसर उत्पाद है - C और C के बीजगणितीय टेंसर उत्पाद का पूरा होना) जैसे कि सभी के लिए मैं, जे हमारे पास है:
 * $$\Delta(u_{ij}) = \sum_k u_{ik} \otimes u_{kj}$$
 * एक रेखीय प्रतिगुणात्मक मानचित्र मौजूद है κ: C0 → सी0 (संगत विपरीत) इस प्रकार कि κ(κ(v*)*) = v सभी v ∈ C के लिए0 और
 * $$\sum_k \kappa(u_{ik}) u_{kj} = \sum_k u_{ik} \kappa(u_{kj}) = \delta_{ij} I,$$

जहां I, C का पहचान तत्व है। चूँकि κ प्रतिगुणक है, तो C में सभी v, w के लिए κ(vw) = κ(w) κ(v)0.

निरंतरता के परिणामस्वरूप, C पर सहगुणन सहसंबद्ध है।

सामान्य तौर पर, C एक द्विफलगणित नहीं है, और C0 एक हॉपफ*-बीजगणित है।

अनौपचारिक रूप से, C को कॉम्पैक्ट आव्यूह क्वांटम समूह पर निरंतर जटिल-मूल्यवान कार्यों के *-बीजगणित के रूप में माना जा सकता है, और u को कॉम्पैक्ट आव्यूह क्वांटम समूह के एक परिमित-आयामी प्रतिनिधित्व के रूप में माना जा सकता है।

अभ्यावेदन
कॉम्पैक्ट आव्यूह क्वांटम समूह का एक प्रतिनिधित्व हॉपफ *-बीजगणित के एक कोलजेब्रा द्वारा दिया गया है (एक कोइनिटल कोअसोसिएटिव कोलजेब्रा ए का एक मुख्य प्रस्तुतीकरण एक वर्ग आव्यूह है) $$v = (v_{ij})_{i,j = 1,\dots,n}$$ A में प्रविष्टियों के साथ (इसलिए v, M(n, A) से संबंधित है) जैसे कि


 * $$\Delta(v_{ij}) = \sum_{k=1}^n v_{ik} \otimes v_{kj}$$

सभी i, j और ε(v) के लिएij) = डीij सभी के लिए मैं, जे). इसके अलावा, एक प्रतिनिधित्व v को एकात्मक कहा जाता है यदि v के लिए आव्यूह एकात्मक है (या समकक्ष, यदि κ(v)ij) = वी*ijसभी के लिए मैं, जे).

उदाहरण
कॉम्पैक्ट आव्यूह क्वांटम समूह का एक उदाहरण एसयू हैμ(2), जहां पैरामीटर μ एक सकारात्मक वास्तविक संख्या है। तो एसयूμ(2) = (सी(एसयूμ(2)), यू), जहां सी(एसयूμ(2)) α और γ द्वारा उत्पन्न C*-बीजगणित है, जिसके अधीन है


 * $$\gamma \gamma^* = \gamma^* \gamma, $$
 * $$\alpha \gamma = \mu \gamma \alpha, $$
 * $$\alpha \gamma^* = \mu \gamma^* \alpha, $$
 * $$\alpha \alpha^* + \mu \gamma^* \gamma = \alpha^* \alpha + \mu^{-1} \gamma^* \gamma = I,$$

और


 * $$u = \left( \begin{matrix} \alpha & \gamma \\ - \gamma^* & \alpha^* \end{matrix} \right),$$

ताकि सहगुणन ∆(α) = α ⊗ α − γ ⊗ γ*, ∆(γ) = α ⊗ γ + γ ⊗ α* द्वारा निर्धारित हो, और संयोग κ(α) = α*, κ द्वारा निर्धारित हो (सी) = −एम−1γ, κ(γ*) = −μγ*, κ(α*) = α. ध्यान दें कि यू एक प्रतिनिधित्व है, परंतु एकात्मक प्रतिनिधित्व नहीं है। यू एकात्मक प्रतिनिधित्व के बराबर है


 * $$v = \left( \begin{matrix} \alpha & \sqrt{\mu} \gamma \\ - \frac{1}{\sqrt{\mu}} \gamma^* & \alpha^* \end{matrix} \right).$$

समतुल्य, एसयूμ(2) = (सी(एसयूμ(2)), डब्ल्यू), जहां सी(एसयूμ(2)) α और β द्वारा उत्पन्न C*-बीजगणित है, जिसके अधीन है


 * $$\beta \beta^* = \beta^* \beta,$$
 * $$\alpha \beta = \mu \beta \alpha,$$
 * $$\alpha \beta^* = \mu \beta^* \alpha,$$
 * $$\alpha \alpha^* + \mu^2 \beta^* \beta = \alpha^* \alpha + \beta^* \beta = I,$$

और


 * $$w = \left( \begin{matrix} \alpha & \mu \beta \\ - \beta^* & \alpha^* \end{matrix} \right),$$

ताकि सहगुणन ∆(α) = α ⊗ α − μβ ⊗ β*, Δ(β) = α ⊗ β + β ⊗ α* द्वारा निर्धारित किया जाए, और संयोग व्युत्क्रम κ(α) = α*, κ द्वारा निर्धारित किया जाए (बी) = −एम−1β, κ(β*) = −μβ*, κ(α*) = α. ध्यान दें कि w एक एकात्मक निरूपण है। अहसासों को बराबर करके पहचाना जा सकता है $$\gamma = \sqrt{\mu} \beta$$.

जब μ = 1, तो SUμ(2) कंक्रीट कॉम्पैक्ट समूह SU(2) पर कार्यों के बीजगणित C(SU(2)) के बराबर है।

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

सबसे सरल गैर-तुच्छ उदाहरण स्थानीय रूप से एक-दूसरे पर कार्य करने वाली आर की दो प्रतियों से मेल खाता है और जनरेटर पी, के, के के साथ एक क्वांटम समूह (यहां बीजगणितीय रूप में दिया गया) में परिणत होता है।−1, कहते हैं, और सहउत्पाद


 * $$[p, K]=h K(K-1)$$
 * $$\Delta p=p\otimes K+1\otimes p$$
 * $$\Delta K=K\otimes K$$

जहां h विरूपण पैरामीटर है।

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

यह भी देखें

 * हॉपफ बीजगणित
 * बायलजेब्रा झूठ बोलना
 * पॉइसन-लाई समूह
 * क्वांटम एफ़िन बीजगणित

संदर्भ


क्वांटम समूह