आवरण समूह

गणित में, टोपोलॉजिकल समूह H का कवरिंग ग्रुप H का अंतरिक्ष को कवर करना G है जैसे कि G टोपोलॉजिकल ग्रुप है और कवरिंग मैप p : G → H सतत (टोपोलॉजी) समूह समरूपता है। मानचित्र p को 'आवरण समाकारिता' कहा जाता है। बार होने वाली स्थति 'डबल कवरिंग ग्रुप' है, डबल कवर (टोपोलॉजी) जिसमें H में G में उपसमूह 2 का सूचकांक है; उदाहरणों में स् पिन समूह, पिन समूह और मेटाप्लेक्टिक समूह सम्मलित हैं।

सामान्यतः यह कहते हुए समझाया गया है कि उदाहरण के लिए मेटाप्लेक्टिक समूह Mp2n सहानुभूतिपूर्ण समूह Sp2n का दोहरा आवरण है इसका तात्पर्य है कि सहानुभूति समूह में तत्व का प्रतिनिधित्व करने वाले मेटाप्लेक्टिक समूह में हमेशा दो तत्व होते हैं।

गुण
मान लीजिए कि G, H का आवरण समूह है। आवरण समरूपता का कर्नेल (समूह सिद्धांत) K, H में पहचान के ऊपर का तंतु है और G का असतत समूह सामान्य उपसमूह है। कर्नेल K को G में सेट किया गया है यदि और केवल यदि G हॉसडॉर्फ स्थान है (और यदि और केवल यदि H हौसडॉर्फ है)। दूसरी दिशा में जाने पर, यदि G कोई टोपोलॉजिकल समूह है और K, G का असतत सामान्य उपसमूह है, तो भागफल मानचित्र p: G → G/K एक आच्छादन समाकारिता है।

यदि G जुड़ा हुआ स्थान है तो K, एक असतत सामान्य उपसमूह होने के नाते, आवश्यक रूप से G के केंद्र (समूह सिद्धांत) में स्थित है और इसलिए एबेलियन समूह है। इस स्थिति में, H = G/K का केंद्र दिया जाता है
 * $$Z(H) \cong Z(G)/K.$$

सभी कवरिंग स्पेस के साथ, G का मूलभूत समूह H के मूलभूत समूह में इंजेक्ट होता है। चूँकि टोपोलॉजिकल समूह का मूलभूत समूह हमेशा एबेलियन होता है, इसलिए प्रत्येक कवरिंग समूह सामान्य कवरिंग स्पेस होता है। विशेष रूप से, यदि G पथ से जुड़ा है तो भागफल समूह $$\pi_1(H)/\pi_1(G)$$ K के लिए आइसोमॉर्फिक है। समूह K समूह क्रिया (गणित) केवल सही गुणन द्वारा तंतुओं (जो कि केवल बाएं सह समुच्चय हैं) पर सकर्मक रूप से होती है। समूह जी तब प्रमुख बंडल है | एच पर प्रमुख के-बंडल।

यदि G, H का आवरण समूह है तो समूह G और H स्थानीय रूप से आइसोमोर्फिक हैं। इसके अतिरिक्त, किसी भी दो स्थानीय रूप से जुड़े हुए आइसोमॉर्फिक समूहों H1 और H2 को देखते हुए, असतत सामान्य उपसमूह K1 और K2 के साथ सांस्थितिक समूह G सम्मलित है, जैसे कि H1 , G/K1 के लिए आइसोमॉर्फिक है और H2 , G/K2 के लिए आइसोमॉर्फिक है।

एक कवरिंग स्पेस पर समूह संरचना
H को टोपोलॉजिकल समूह होने दें और G को H के कवरिंग स्पेस होने दें। यदि G और H दोनों पथ से जुड़े हुए हैं और स्थानीय रूप से पथ से जुड़े हुए हैं, तो ∈ H से अधिक फाइबर में तत्व e* के किसी भी विकल्प के लिए सम्मलित है पहचान के रूप में e* के साथ G पर अद्वितीय टोपोलॉजिकल समूह संरचना, जिसके लिए कवरिंग मैप p : G → H समरूपता है।

निर्माण इस प्रकार है। a और b को G के तत्व होने दें और f और g को क्रमशः e* पर शुरू होने और a और b पर समाप्त होने वाले G में पथ (टोपोलॉजी) दें। पथ h : I → H को h(t) = p(f(t))p(g(t)) द्वारा परिभाषित करें। रिक्त स्थान को कवर करने की पथ-उठाने वाली संपत्ति से प्रारंभिक बिंदु e* के साथ h से G की अनूठी लिफ्ट है। उत्पाद ab को इस पथ के समापन बिंदु के रूप में परिभाषित किया गया है। रचना से हमारे पास p(ab) = p(a)p(b) है। किसी को यह दिखाना चाहिए कि यह परिभाषा पथ f और g के चुनाव से स्वतंत्र है, और यह भी कि समूह संचालन निरंतर हैं।

वैकल्पिक रूप से, G पर समूह कानून का निर्माण समूह कानून H × H → H से G तक उठाकर किया जा सकता है, कवरिंग मैप G × G → H × H की लिफ्टिंग संपत्ति का उपयोग करके।

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

यूनिवर्सल कवरिंग ग्रुप
यदि H पथ से जुड़ा हुआ है, स्थानीय रूप से पथ से जुड़ा हुआ है, और अर्ध-स्थानीय रूप से जुड़ा हुआ समूह है तो इसमें एक कवरिंग स्पेस#यूनिवर्सल कवरिंग है। पिछले निर्माण के द्वारा सार्वभौमिक कवर को एक टोपोलॉजिकल समूह में कवर किया जा सकता है जिसमें कवरिंग मानचित्र एक सतत समरूपता है। इस समूह को H का 'सार्वभौमिक आवरण समूह' कहा जाता है। एक अधिक प्रत्यक्ष निर्माण भी है जो हम नीचे देते हैं।

PH को H का पथ समूह होने दें। अर्थात, PH कॉम्पैक्ट-ओपन टोपोलॉजी के साथ पहचान के आधार पर H में पथ (टोपोलॉजी) का स्थान है। पथों का गुणनफल बिंदुवार गुणन द्वारा दिया जाता है, अर्थात (fg)(t) = f(t)g(t)। यह पीएच को एक सामयिक समूह की संरचना देता है। एक प्राकृतिक समूह समरूपता PH → H है जो प्रत्येक पथ को उसके अंतिम बिंदु तक भेजता है। H के सार्वभौमिक कवर को अशक्त होमोटोपिक लूप (टोपोलॉजी) के सामान्य उपसमूह द्वारा PH के भागफल के रूप में दिया जाता है। प्रक्षेपण PH → H कवरिंग मैप देते हुए भागफल में उतरता है। कोई दिखा सकता है कि सार्वभौमिक आवरण बस जुड़ा हुआ है और कर्नेल एच का मूल समूह है। अर्थात, हमारे पास एक छोटा सटीक अनुक्रम है


 * $$1\to \pi_1(H) \to \tilde H \to H \to 1$$

कहां $$\tilde H$$ H का सार्वभौमिक आवरण है। ठोस रूप से, H का सार्वभौमिक आवरण समूह पथों के बिंदुवार गुणन के साथ H में पथों के होमोटॉपी वर्गों का स्थान है। कवरिंग मैप प्रत्येक पथ वर्ग को उसके समापन बिंदु पर भेजता है।

आच्छादित समूहों का जाल
जैसा कि ऊपर सुझाव दिया गया है, यदि एक समूह में एक सार्वभौमिक आवरण समूह है (यदि यह पथ से जुड़ा हुआ है, स्थानीय रूप से पथ से जुड़ा हुआ है, और अर्ध-स्थानीय रूप से जुड़ा हुआ है), असतत केंद्र के साथ, तो सभी टोपोलॉजिकल समूहों का सेट जो सार्वभौमिक आवरण द्वारा कवर किया गया है समूह एक जाली बनाता है, जो सार्वभौमिक आवरण समूह के केंद्र के उपसमूहों की जाली के अनुरूप होता है: उपसमूहों का समावेश भागफल समूहों के आवरण से मेल खाता है। अधिकतम तत्व सार्वभौमिक आवरण समूह है $$\tilde H,$$ जबकि न्यूनतम तत्व यूनिवर्सल कवरिंग ग्रुप मोड है, इसका केंद्र है, $$\tilde H/Z(\tilde H)$$.

यह अधिकतम तत्व के रूप में सार्वभौमिक पूर्ण केंद्रीय विस्तार (सादृश्य द्वारा कवरिंग समूह कहा जाता है) के बीजगणितीय रूप से मेल खाता है, और एक समूह अपने केंद्र को न्यूनतम तत्व के रूप में संशोधित करता है।

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

एक प्रमुख उदाहरण SL2(R)| से उत्पन्न होता है जिसका केंद्र {±1} और मौलिक समूह Z है। यह केंद्र रहित प्रक्षेपी विशेष रैखिक समूह PSL2(R) का दोहरा आवरण है, जो केंद्र द्वारा भागफल लेने पर प्राप्त होता है। इवासावा अपघटन द्वारा, दोनों समूह जटिल ऊपरी आधे विमान और उनके सार्वभौमिक आवरण पर सर्कल बंडल हैं $${\mathrm{S}\widetilde{\mathrm{L}_2(}\mathbf{R})}$$ अर्ध-तल पर एक वास्तविक रेखा बंडल है जो ज्यामितिकरण अनुमानों में से एक बनाता है | थर्स्टन की आठ ज्यामिति। चूंकि अर्ध-तल सिकुड़ा जा सकता है, सभी बंडल संरचनाएं तुच्छ हैं। SL2(Z) की प्राथमिकता यूनिवर्सल कवर में तीन स्ट्रैंड्स पर ब्रैड समूह के लिए आइसोमॉर्फिक है।

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

दो लाइ समूह स्थानीय रूप से आइसोमोर्फिक हैं यदि और केवल अगर उनके ले बीजगणित आइसोमोर्फिक हैं। इसका तात्पर्य है कि एक समरूपता φ : G → H झूठ समूहों का एक आच्छादित समरूपता है यदि और केवल अगर झूठे बीजगणित पर प्रेरित मानचित्र


 * $$\phi_* : \mathfrak g \to \mathfrak h$$

एक समरूपता है।

चूंकि प्रत्येक झूठ बीजगणित के लिए $$\mathfrak g$$ लाई बीजगणित के साथ एक अद्वितीय सरलता से जुड़ा लाई समूह G है $$\mathfrak g$$, इससे यह पता चलता है कि कनेक्टेड लाई ग्रुप H का यूनिवर्सल कवरिंग ग्रुप (अद्वितीय) बस जुड़ा हुआ लाई ग्रुप G है, जिसमें H के समान लाई बीजगणित है।

उदाहरण

 * सर्कल समूह T का सार्वभौमिक कवरिंग समूह वास्तविक संख्या R का योगात्मक समूह है जिसमें घातांक प्रकार्य ऍक्स्प: R → T द्वारा दिए गए कवरिंग होमोमोर्फिज्म के साथ है। एक्सपोनेंशियल मैप का कर्नेल Z के लिए आइसोमोर्फिक है।
 * किसी भी पूर्णांक n के लिए हमारे पास सर्कल का एक कवरिंग ग्रुप है T → T जो z को z भेजता हैn. इस समरूपता का मूल चक्रीय समूह है जिसमें एकता की nवीं जड़ें सम्मलित हैं।
 * घूर्णन समूह SO(3) में समूह SU(2) का सार्वभौम आवरण होता है जो चतुष्कोणों में छंदों के समूह के लिए समरूपी होता है। यह एक दोहरा आवरण है क्योंकि कर्नेल का क्रम 2 है। (cf tangloids ।)
 * एकात्मक समूह U(n) कॉम्पैक्ट समूह 'T ' × SU(n) द्वारा p(z, A) = zA द्वारा दिए गए कवरिंग होमोमोर्फिज्म के साथ कवर किया गया है। यूनिवर्सल कवर 'R' × SU(n) है।
 * विशेष ऑर्थोगोनल समूह SO(n) में एक दोहरा आवरण होता है जिसे स्पिन समूह स्पिन(n) कहा जाता है। n ≥ 3 के लिए, स्पिन समूह SO(n) का सार्वभौमिक आवरण है।
 * n ≥ 2 के लिए, विशेष रैखिक समूह SL(n, 'R') का सार्वभौमिक आवरण एक मैट्रिक्स समूह नहीं है (अर्थात इसमें कोई विश्वसनीय परिमित-आयामी समूह प्रतिनिधित्व नहीं है)।