संबद्ध बंडल

गणित में, संरचना समूह $G$ (एक सामयिक समूह) के साथ फाइबर समूहों का सिद्धांत एक संबद्ध समूह बनाने के संचालन की अनुमति देता है, जिसमें समूह के विशिष्ट फाइबर से परिवर्तन होता है $F_{1}$ को $F_{2}$ में बदलता है , जो दोनों सामयिक रिक्त स्थान हैं $G$. की एक समूह क्रिया। संरचना समूह G के साथ एक फाइबर समूह F के लिए, दो समन्वय प्रणाली U_α और U_β के अतिव्यापन में फाइबर के संक्रमण कार्य ( जिससे , कोसायकल (बीजगणितीय टोपोलॉजी)) U_α∩U_β पर G-मूल्यवान कार्य g_αβ के रूप में दिया जाता है तब एक फाइबर समूह F' का निर्माण एक नए फाइबर समूह के रूप में किया जा सकता है जिसमें समान संक्रमण कार्य होते हैं, किंतु संभवतः एक अलग फाइबर होता है।।

एक उदाहरण

मोबियस पट्टी के साथ एक साधारण स्थितिया आता है, जिसके लिए $G$ क्रम 2 का चक्रीय समूह है, $\mathbb {Z} _{2}$. हम $F$ के रूप में ले सकते हैं इनमें से कोई भी ले सकते हैं: वास्तविक संख्या रेखा $\mathbb {R}$, अंतराल $[-1,\ 1]$, वास्तविक संख्या रेखा कम बिंदु 0, या दो-बिंदु समूह $\{-1,\ 1\}$. इन पर $G$ की क्रिया (प्रत्येक स्थितियों में$x\ \rightarrow \ -x$ के रूप में कार्य करने वाला गैर-पहचान तत्व) एक सहज अर्थ में तुलनीय है। हम कह सकते हैं कि अधिक औपचारिक रूप से दो आयतों को चिपकाने के संदर्भ में $[-1,\ 1]\times I$ और $[-1,\ 1]\times J$ की पहचान करने के लिए हमें वास्तव में जिस चीज की जरूरत है, वह है पहचान करने के लिए डेटा $[-1,\ 1]$ सीधे एक छोर पर, और दूसरे छोर पर मोड़ के साथ। इस डेटा को एक पैचिंग कार्य के रूप में नीचे लिखा जा सकता है, G में मान के साथ। 'संबंधित समूह ' निर्माण केवल अवलोकन है कि यह डेटा $\{-1,\ 1\}$ के लिए उतना ही अच्छा करता है जितना कि $[-1,\ 1]$.के लिए है|

निर्माण

सामान्यतः यह फाइबर $F$ के समूह से संक्रमण की व्याख्या करने के लिए पर्याप्त है , जिस पर $G$ संबंधित प्रमुख समूह के लिए कार्य करता है (अर्थात् वह समूह जहां फाइबर होता है $G$, स्वयं पर अनुवाद द्वारा कार्य करने के लिए माना जाता है)। इसके लिए हम मुख्य समूह के माध्यम से $F_{1}$ को $F_{2}$, तक जा सकते हैं एक खुले आवरण के लिए डेटा के संदर्भ में विवरण वंश (श्रेणी सिद्धांत) के स्थितियों के रूप में दिए गए हैं।

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

सामान्य रूप से संबद्ध समूह

होने देना ${\textstyle \pi :E\to X}$ संरचना समूह G और विशिष्ट फाइबर F के साथ एक सामयिक स्पेस X पर एक फाइबर समूह हो। परिभाषा के अनुसार, फाइबर F पर G (एक परिवर्तन समूह के रूप में) की एक समूह क्रिया (गणित) है। इसके अतिरिक्त मान लीजिए कि यह क्रिया समूह क्रिया है (गणित) या क्रियाओं के प्रकार। समूह E का एक स्थानीय रूप से तुच्छ है जिसमें एक खुला कवर U_i of X, होता है और समूह मानचित्र का संग्रह सम्मिलित है

$$\varphi _{i}:\pi ^{-1}(U_{i})\to U_{i}\times F$$

जैसे कि संक्रमण मानचित्र G के तत्वों द्वारा दिए गए हैं। अधिक स्पष्ट रूप से, निरंतर कार्य g_ij : (Ui ∩ Uj) → G ऐसा हैं कि

$$\psi _{ij}(u,f):=\varphi _{i}\circ \varphi _{j}^{-1}(u,f)={\big (}u,g_{ij}(u)f{\big )},\quad {\text{for each }}(u,f)\in (U_{i}\cap U_{j})\times F\,.$$

अब F' को एक निर्दिष्ट सामयिक स्पेस होने दें, जो G की निरंतर बाईं क्रिया से सुसज्जित है। फिर फाइबर F' के साथ E से जुड़ा समूह 'एक समूह E' है, जो कवर U_i के अधीन एक स्थानीय तुच्छीकरण के साथ है। जिसका संक्रमण कार्य द्वारा दिया गया है

$$\psi '_{ij}(u,f')={\big (}u,g_{ij}(u)f'{\big )},\quad {\text{for each }}(u,f')\in (U_{i}\cap U_{j})\times F'\,,$$

जहां G-मूल्यवान कार्य g_ij(u) वही हैं जो मूल समूह E के स्थानीय तुच्छीकरण से प्राप्त हुए हैं।यह परिभाषा संक्रमण कार्यों पर चक्रीय स्थिति का स्पष्ट रूप से सम्मान करती है, क्योंकि प्रत्येक स्थितियों में वे G-मूल्यवान कार्यों की एक ही प्रणाली द्वारा दी जाती हैं। (एक अन्य स्थानीय तुच्छीकरण का उपयोग करना, और यदि आवश्यक हो तो एक सामान्य परिशोधन के लिए जाना, g_ij उसी कोबाउंड्री के माध्यम से रूपांतरित करें।) इसलिए, फाइबर समूह निर्माण प्रमेय द्वारा, यह फाइबर F' के साथ एक फाइबर समूह E' का उत्पादन करता है। जैसा कि दावा किया गया है।

फाइबर समूह से जुड़ा प्रिंसिपल समूह

पहले की तरह, मान लें कि E संरचना समूह G के साथ एक फाइबर समूह है। विशेष स्थितियों में जब G में एक समूह क्रिया (गणित) है या क्रियाओं के प्रकार F' पर कार्रवाई छोड़ दी जाती है, जिससे F' बाईं ओर एक प्रमुख सजातीय स्थान हो G की क्रिय�