ग्लूइंग अभिगृहीत

गणित में, ग्लूइंग स्वयंसिद्ध को परिभाषित करने के लिए प्रस्तुत किया जाता है कि एक एक टोपोलॉजिकल स्पेस $$X$$ पर शीफ (गणित) $$\mathcal F$$ को क्या संतुष्ट होना चाहिए, यह देखते हुए कि यह एक प्रीशेफ है, जो कि परिभाषा के अनुसार एक प्रतिपरिवर्तक फ़ैक्टर है।


 * $${\mathcal F}:{\mathcal O}(X) \rightarrow C$$

एक श्रेणी $$C$$ के लिए जो शुरू में सेट की श्रेणी के रूप में लेता है। यहाँ $${\mathcal O}(X)$$ समावेशन चित्रों द्वारा आदेशित $$X$$ के खुले सेट का आंशिक क्रम है; और एक अद्वितीय रूपवाद के साथ मानक तरीके से एक श्रेणी के रूप में माना जाता है।


 * $$U \rightarrow V$$

अगर $$U$$ $$V$$ का उपसमुच्चय है, और कोई न हो।

जैसा कि शीफ (गणित) लेख में कहा गया है, एक निश्चित स्वयंसिद्ध है कि $$F$$ के खुले सेट $$X$$ के किसी भी खुले कवर के लिए संतुष्ट होना चाहिए। उदाहरण के लिए, यूनियन (सेट सिद्धांत) $$X$$ और प्रतिच्छेद (सेट सिद्धांत) $$W$$ के साथ खुले सेट $$U$$ और $$V$$ दिए गए, आवश्यक शर्त यह है कि


 * $${\mathcal F}(X)$$ $${\mathcal F}(W)$$ में समान छवि के साथ $${\mathcal F}(U) \times {\mathcal F}(V)$$ का उपसमुच्चय है।

कम औपचारिक भाषा में, एक खंड (श्रेणी सिद्धांत) $$s$$ का $$F$$ ऊपर $$X$$ वर्गों की एक जोड़ी द्वारा समान रूप से अच्छी तरह से दिया गया है:$$(s', s)$$ पर $$U$$ और $$V$$ क्रमशः, जो इस अर्थ में 'सहमत' हैं कि $$s'$$ और $$s$$ में एक सामान्य छवि है $${\mathcal F}(W)$$ संबंधित प्रतिबंध चित्रों के तहत


 * $${\mathcal F}(U) \rightarrow {\mathcal F}(W)$$

और


 * $${\mathcal F}(V) \rightarrow {\mathcal F}(W)$$.

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

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

सी पर प्रतिबंध हटा रहा है

इस परिभाषा को इस तरह से बदलना जो किसी भी श्रेणी में काम करे $$C$$ इसकी पर्याप्त संरचना है, हम ध्यान दें कि हम उपरोक्त परिभाषा में शामिल वस्तुओं और आकारिकी को एक आरेख में लिख सकते हैं जिसे हम ग्लूइंग के लिए (जी) कहेंगे:


 * $${\mathcal F}(U)\rightarrow\prod_i{\mathcal F}(U_i){{{} \atop \longrightarrow}\atop{\longrightarrow \atop {}}}\prod_{i,j}{\mathcal F}(U_i\cap U_j)$$

यहां पहला नक्शा प्रतिबंध चित्रों का उत्पाद है


 * $${res}_{U,U_{i}}:{\mathcal F}(U)\rightarrow{\mathcal F}(U_{i})$$

और तीरों की प्रत्येक जोड़ी दो प्रतिबंधों का प्रतिनिधित्व करती है


 * $$res_{U_i,U_i\cap U_j}:{\mathcal F}(U_i)\rightarrow{\mathcal F}(U_i\cap U_j)$$

और


 * $$res_{U_j,U_i\cap U_j}:{\mathcal F}(U_j)\rightarrow{\mathcal F}(U_i\cap U_j)$$.

यह ध्यान देने योग्य है कि ये मानचित्र सभी संभावित प्रतिबंध चित्रों $$U$$, $$U_i$$, और यह $$U_i\cap U_j$$ को समाप्त कर देते है।

$$U$$ के लिए शर्त $$\mathcal F$$ एक पूला होना किसी भी खुले सेट के लिए है और खुले सेट $$\{U_i\}_{i\in I}$$ का कोई भी संग्रह जिसका $$U$$ मिलन है, उपरोक्त आरेख (G) एक तुल्यकारक_(गणित) है।

ग्लूइंग स्वयंसिद्ध को समझने का एक तरीका यह है कि इस पर ध्यान दिया जाए $$U$$ निम्नलिखित आरेख का कोलिमिट है:


 * $$\coprod_{i,j}U_i\cap U_j{{{} \atop \longrightarrow}\atop{\longrightarrow \atop {}}}\coprod_iU_i$$

ग्लूइंग स्वयंसिद्ध कहता है $$\mathcal F$$ ऐसे रेखाचित्रों की कोलिमिट को लिमिट में बदल देता है।

खुले सेट के आधार पर समूह
कुछ श्रेणियों में, इसके केवल कुछ वर्गों को निर्दिष्ट करके एक पूला बनाना संभव है। विशेष रूप से, मान ले $$X$$ टोपोलॉजिकल स्पेस के आधार $$\{ B_i \}_{i \in I}$$ पर एक टोपोलॉजिकल स्पेस हो. हम एक वर्ग को परिभाषित कर सकते हैं,  $${\mathcal O}(X)$$ की पूर्ण उपश्रेणी होना, जिनकी वस्तुएँ $$\{ B_i \}$$ हैं. एक बी-शेफ ऑन $$X$$ मूल्यों के साथ $$C$$ यह एक प्रतिपरिवर्ती संकारक है


 * $${\mathcal F}:{\mathcal O}'(X) \rightarrow C$$

जो $${\mathcal O}'(X)$$ सेट के लिए ग्लूइंग स्वयंसिद्ध को संतुष्ट करता है। यानी के खुले सेट के चयन पर $$X$$, $$\mathcal F$$ एक पूले के सभी वर्गों को निर्दिष्ट करता है, और अन्य खुले सेटों पर, यह अनिर्धारित है।

बी-शेव्स शेव्स के बराबर हैं (यानी, शेव्स की श्रेणी बी-शेव्स की श्रेणी के बराबर है)। स्पष्ट रूप से एक पुलिया पर $$X$$ बी-शेफ तक सीमित किया जा सकता है। दूसरी दिशा में बी-शेफ $$\mathcal F$$ दिया हमें $$\mathcal F$$ के वर्गों का निर्धारण करना चाहिए  की अन्य वस्तुओं पर $${\mathcal O}(X)$$. ऐसा करने के लिए, ध्यान दें कि प्रत्येक खुले सेट $$U$$ के लिए, हम $$\{ B_j \}_{j \in J}$$ एक संग्रह पा सकते हैं जिसका मिलन $$U$$ है. स्पष्ट रूप से बोलना, यह चुनाव करता है $$U$$ की पूर्ण उपश्रेणी की कोलिमिट $${\mathcal O}'(X)$$ जिनकी वस्तुएं $$\{ B_j \}_{j \in J}$$ हैं. तब से $$\mathcal F$$ विरोधाभासी है, हम परिभाषित करते हैं $${\mathcal F}'(U)$$ की अनुमानित सीमा होना $$\{ {\mathcal F}(B) \}_{j \in J}$$ प्रतिबंध मानचित्र के संबंध में। (यहां हमें यह मान लेना चाहिए कि $$C$$ यह सीमा में मौजूद है।) अगर $$U$$ एक बुनियादी खुला सेट है, फिर $$U$$ की उपश्रेणी का टर्मिनल ऑब्जेक्ट है $${\mathcal O}'(X)$$, और इसलिए $${\mathcal F}'(U) = {\mathcal F}(U)$$. इसलिए, $${\mathcal F}'$$ का विस्तार $$\mathcal F$$ पर एक $$X$$ presheaf के लिए इसे $${\mathcal F}'$$ सत्यापित किया जा सकता है एक शीफ है, अनिवार्य रूप से क्योंकि हर खुले कवर का हर तत्व $$X$$ आधार तत्वों का एक संघ है (एक आधार की परिभाषा के अनुसार), और तत्वों के प्रत्येक जोड़ीदार चौराहे के एक खुले आवरण में $$X$$ आधार तत्वों का एक संघ है (फिर से आधार की परिभाषा द्वारा)।

सी का तर्क

शीफ सिद्धांत की पहली जरूरत एबेलियन समूहों के पूलों के लिए थी; इसलिए श्रेणी $$C$$ ले रहा है क्योंकि एबेलियन समूहों की श्रेणी केवल प्राकृतिक थी। ज्यामिति के अनुप्रयोगों में, उदाहरण के लिए जटिल कई गुना और बीजगणितीय ज्यामिति, स्थानीय रिंगों के एक समूह का विचार केंद्रीय है। हालाँकि, यह बिल्कुल समान बात नहीं है; एक स्थानीय रूप से बजने वाले स्थान के अतिरिक्त बोलता है, क्योंकि यह सच नहीं है, केवल सामान्य मामलों को छोड़कर, कि इस तरह का एक पूला स्थानीय छल्लों की श्रेणी में एक मज़ेदार है। यह शीफ के डंठल हैं जो स्थानीय रिंग हैं, न कि वर्गों का संग्रह (स्थानीय वलय (गणित) हैं, लेकिन सामान्य रूप से स्थानीय होने के करीब नहीं हैं)। हम स्थानीय रूप से चक्राकार स्थान $$X$$ के बारे में सोच सकते हैं स्थानीय छल्लों के एक पैरामीट्रिज्ड परिवार  $$x$$ में $$X$$ के रूप में, पर निर्भर करता है.

एक अधिक सावधानीपूर्वक चर्चा यहाँ किसी भी रहस्य को दूर करती है। एबेलियन समूहों, या अंगूठियों के समूह के बारे में कोई स्वतंत्र रूप से बात कर सकता है, क्योंकि वे बीजगणितीय संरचनाएं हैं (परिभाषित, यदि कोई एक स्पष्ट हस्ताक्षर (तर्क) द्वारा जोर देता है)। कोई भी श्रेणी $$C$$ उत्पाद (श्रेणी सिद्धांत) होने से समूह वस्तु के विचार का समर्थन होता है, जिसे कुछ लोग $$C$$ समूह को कॉल करना पसंद करते हैं. इस तरह की विशुद्ध रूप से बीजगणितीय संरचना के मामले में, हम या तो एबेलियन समूहों की श्रेणी में मान रखने वाले पूले की बात कर सकते हैं, या समुच्चय के समूहों की श्रेणी में एबेलियन समूह की बात कर सकते हैं; यह वास्तव में मायने नहीं रखता।

स्थानीय रिंग मामले में, यह मायने रखता है। एक मूलभूत स्तर पर हमें परिभाषा की दूसरी शैली का उपयोग करना चाहिए, यह वर्णन करने के लिए कि किसी श्रेणी में स्थानीय रिंग का क्या अर्थ है। यह एक तार्किक मामला है: एक स्थानीय वलय के लिए स्वयंसिद्धों को अस्तित्वगत परिमाणीकरण के उपयोग की आवश्यकता होती है, इस रूप में कि किसी के लिए $$r$$ रिंग में, एक $$r$$ और $$1-r$$ उलटा है। यह किसी को यह निर्दिष्ट करने की अनुमति देता है कि श्रेणी में पर्याप्त संरचना का समर्थन करने वाले मामले में 'श्रेणी में स्थानीय वलय' क्या होनी चाहिए।

शेफिफिकेशन
दिए गए प्रीशेफ को चालू करने के लिए $$\mathcal P$$ एक पूले में $$\mathcal F$$, शेफिफिकेशन या शेविंग नामक एक मानक उपकरण है। किसी को क्या करना चाहिए, इसका मोटा अंतर्ज्ञान, कम से कम सेट के प्रीशेफ के लिए, एक समानता संबंध प्रस्तुत करना है, जो कवर को परिष्कृत करके ओवरलैप पर अलग-अलग कवर द्वारा दिए गए समकक्ष डेटा बनाता है। इसलिए एक तरीका यह है कि एक पूले के डंठल # एक पूले के डंठल पर जाएं और 'सर्वश्रेष्ठ संभव' पूले की जगह $$\mathcal F$$ से उत्पादित $$\mathcal P$$ को पुनः प्राप्त करें.

भाषा के इस प्रयोग से दृढ़ता से पता चलता है कि हम यहां आसन्न फ़ैक्टरों के साथ काम कर रहे हैं। इसलिए, यह देखने के लिए समझ में आता है कि शीशों पर $$X$$ प्रीशेव ऑन $$X$$ की पूरी उपश्रेणी बनाएं. इसमें निहित यह कथन है कि शीशों का एक रूपवाद, मज़दूरों के रूप में माने जाने वाले शीशों के प्राकृतिक परिवर्तन से अधिक कुछ नहीं है। इसलिए, हमें समावेशन के बगल में बाईं ओर शेफिफिकेशन का एक अमूर्त लक्षण वर्णन मिलता है। कुछ अनुप्रयोगों में, स्वाभाविक रूप से, किसी को विवरण की आवश्यकता होती है।

अधिक सारगर्भित भाषा में, समूहों पर $$X$$ प्रीशेव्स की एक चिंतनशील उपश्रेणी बनाते हैं (मैक लेन-आईके मोरडिज्क शीव्स इन ज्योमेट्री एंड लॉजिक पी. 86)। टोपोस सिद्धांत में, एक लॉवरे-टिएर्नी टोपोलॉजी और उसके समूहों के लिए, एक अनुरूप परिणाम होता है (ibid. पृ. 227)।

अन्य ग्लूइंग स्वयंसिद्ध
शीफ थ्योरी का ग्लूइंग स्वयंसिद्ध सामान्य है। कोई यह नोट कर सकता है कि होमोटॉपी सिद्धांत का मेयर-विएटोरिस स्वयंसिद्ध, उदाहरण के लिए, एक विशेष मामला है।

यह भी देखें

 * ग्लूइंग स्कीम