शीफ (गणित): Difference between revisions

From Vigyanwiki
No edit summary
m (12 revisions imported from alpha:शीफ_(गणित))
 
(3 intermediate revisions by 2 users not shown)
Line 2: Line 2:
{{About|[[टोपोलॉजिकल स्पेस]] पर शेफ|एक साइट पर शेफ|ग्रोथेंडिक टोपोलॉजी|और|टोपोस}}
{{About|[[टोपोलॉजिकल स्पेस]] पर शेफ|एक साइट पर शेफ|ग्रोथेंडिक टोपोलॉजी|और|टोपोस}}
{{wikt | sheaf}}
{{wikt | sheaf}}
गणित में, एक शीफ व्यवस्थित रूप से डेटा को ट्रैक (जैसे समुच्चय (गणित), [[एबेलियन समूह]], वलय (गणित)) करने के लिए एक उपकरण है जो एक [[टोपोलॉजिकल स्पेस]] के खुले समुच्चय से जुड़ा हुआ है और उनके संबंध में स्थानीय रूप से परिभाषित किया गया है। उदाहरण के लिए, प्रत्येक खुले समुच्चय के लिए, डेटा उस खुले समुच्चय पर परिभाषित निरंतर फलनों (गणित) की वलय हो सकती है। इस प्रकार के डेटा को अच्छी प्रकार से व्यवहार किया जाता है कि इसे छोटे खुले समुच्चयों तक सीमित किया जा सकता है, और एक खुले समुच्चय को सौंपा गया डेटा मूल खुले समुच्चय को कवर करने वाले छोटे खुले समुच्चयों के संग्रह को सौंपे गए संगत डेटा के सभी संग्रहों के बराबर है (सहजता से, प्रत्येक भाग) डेटा इसके भागों का योग है)।
गणित में, शीफ व्यवस्थित रूप से डेटा को ट्रैक (जैसे समुच्चय (गणित), [[एबेलियन समूह]], वलय (गणित)) करने के लिए उपकरण है जो [[टोपोलॉजिकल स्पेस]] के खुले समुच्चय से जुड़ा हुआ है और उनके संबंध में स्थानीय रूप से परिभाषित किया गया है। उदाहरण के लिए, प्रत्येक खुले समुच्चय के लिए, डेटा उस खुले समुच्चय पर परिभाषित निरंतर फलनों (गणित) की वलय हो सकती है। इस प्रकार के डेटा को अच्छी प्रकार से व्यवहार किया जाता है कि इसे छोटे खुले समुच्चयों तक सीमित किया जा सकता है, और खुले समुच्चय को सौंपा गया डेटा मूल खुले समुच्चय को कवर करने वाले छोटे खुले समुच्चयों के संग्रह को सौंपे गए संगत डेटा के सभी संग्रहों के बराबर है (सहजता से, प्रत्येक भाग) डेटा इसके भागों का योग है)।


गणित का वह क्षेत्र जिसमें शेवों का अध्ययन किया जाता है, शीफ सिद्धांत कहलाती है।
गणित का वह क्षेत्र जिसमें शेवों का अध्ययन किया जाता है, शीफ सिद्धांत कहलाती है।
Line 8: Line 8:
शीशों को अवधारणात्मक रूप से सामान्य और अमूर्त वस्तुओं के रूप में समझा जाता है। उनकी सही परिभाषा बल्कि तकनीकी है। उन्हें विशेष रूप से समुच्चय के ढेर या वलय के ढेर के रूप में परिभाषित किया जाता है, उदाहरण के लिए खुले समुच्चय को सौंपे गए डेटा के प्रकार पर निर्भर करता है।
शीशों को अवधारणात्मक रूप से सामान्य और अमूर्त वस्तुओं के रूप में समझा जाता है। उनकी सही परिभाषा बल्कि तकनीकी है। उन्हें विशेष रूप से समुच्चय के ढेर या वलय के ढेर के रूप में परिभाषित किया जाता है, उदाहरण के लिए खुले समुच्चय को सौंपे गए डेटा के प्रकार पर निर्भर करता है।


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


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


== परिभाषाएं और उदाहरण ==
== परिभाषाएं और उदाहरण ==


कई गणितीय शाखाओं में, एक स्थलीय <math>X</math> स्थान पर परिभाषित कई संरचनाएं (उदाहरण के लिए, एक अलग-अलग कई गुना) स्वाभाविक रूप से स्थानीयकृत या खुले समुच्चय [[सबसेट|सबसमुच्चय]] <math>U \subset X</math> तक सीमित हो सकते हैं: विशिष्ट उदाहरणों में निरंतर कार्य [[वास्तविक संख्या]]-मूल्यवान या [[जटिल संख्या]]-मूल्यवान कार्य शामिल हैं, <math>n</math>-टाइम्स [[अलग करने योग्य समारोह|अलग करने योग्य फलन]] (रियल-वैल्यू या कॉम्प्लेक्स-वैल्यू) फंक्शन, [[परिबद्ध समारोह|परिबद्ध फलन]] रियल-वैल्यू फंक्शन, [[वेक्टर क्षेत्र]] और स्पेस पर किसी भी [[वेक्टर बंडल]] का [[अनुभाग (फाइबर बंडल)]]। डेटा को छोटे खुले सबसमुच्चय तक सीमित करने की क्षमता प्रीशेव्स की अवधारणा को जन्म देती है। मोटे तौर पर कहा जाए तो, शीव वे प्रीशेव होते हैं, जहां स्थानीय डेटा को वैश्विक डेटा से चिपकाया जा सकता है।
कई गणितीय शाखाओं में, स्थलीय <math>X</math> स्थान पर परिभाषित कई संरचनाएं (उदाहरण के लिए, अलग-अलग कई गुना) स्वाभाविक रूप से स्थानीयकृत या खुले समुच्चय [[सबसेट|सबसमुच्चय]] <math>U \subset X</math> तक सीमित हो सकते हैं: विशिष्ट उदाहरणों में निरंतर कार्य [[वास्तविक संख्या]]-मूल्यवान या [[जटिल संख्या]]-मूल्यवान कार्य शामिल हैं, <math>n</math>-टाइम्स [[अलग करने योग्य समारोह|अलग करने योग्य फलन]] (रियल-वैल्यू या कॉम्प्लेक्स-वैल्यू) फंक्शन, [[परिबद्ध समारोह|परिबद्ध फलन]] रियल-वैल्यू फंक्शन, [[वेक्टर क्षेत्र]] और स्पेस पर किसी भी [[वेक्टर बंडल]] का [[अनुभाग (फाइबर बंडल)]]। डेटा को छोटे खुले सबसमुच्चय तक सीमित करने की क्षमता प्रीशेव्स की अवधारणा को जन्म देती है। मोटे तौर पर कहा जाए तो, शीव वे प्रीशेव होते हैं, जहां स्थानीय डेटा को वैश्विक डेटा से चिपकाया जा सकता है।


=== प्रीशेव्स ===
=== प्रीशेव्स ===
{{See also|प्रेसीफ (श्रेणी सिद्धांत)}}
{{See also|प्रेसीफ (श्रेणी सिद्धांत)}}
मान ले <math>X</math> एक टोपोलॉजिकल स्पेस हो। समुच्चय का एक प्रीशेफ <math>F</math> पर <math>X</math> निम्नलिखित डेटा के होते हैं:
मान ले <math>X</math> टोपोलॉजिकल स्पेस हो। समुच्चय का प्रीशेफ <math>F</math> पर <math>X</math> निम्नलिखित डेटा के होते हैं:
* प्रत्येक खुले समुच्चय के लिए <math>U</math> का <math>X</math>, एक समुच्चय <math>F(U)</math>. इस समुच्चय को भी <math>\Gamma(U, F)</math> द्वारा दर्शाया गया है. इस समुच्चय के तत्वों को खंड <math>F</math> ऊपर <math>U</math> कहा जाता है. <math>F</math> के खंड <math>F</math> ऊपर <math>X</math> के वैश्विक खंड कसमाधानाते हैं.
* प्रत्येक खुले समुच्चय के लिए <math>U</math> का <math>X</math>, समुच्चय <math>F(U)</math>. इस समुच्चय को भी <math>\Gamma(U, F)</math> द्वारा दर्शाया गया है. इस समुच्चय के तत्वों को खंड <math>F</math> ऊपर <math>U</math> कहा जाता है. <math>F</math> के खंड <math>F</math> ऊपर <math>X</math> के वैश्विक खंड कसमाधानाते हैं.
* खुले समुच्चय <math>V \subseteq U</math> के प्रत्येक समावेशन के लिए, एक फलन <math>\operatorname{res}_{V, U} \colon F(U) \rightarrow F(V)</math> दिया गया हैं. नीचे दिए गए कई उदाहरणों को ध्यान में रखते हुए, रूपवाद <math>\text{res}_{V,U}</math> प्रतिबंध रूपवाद कहा जाता है। यदि <math>s \in F(U)</math>, फिर इसका प्रतिबंध <math>\text{res}_{V,U}(s)</math> अधिकांश <math>s|_V</math> कार्यों के प्रतिबंध के अनुरूप द्वारा निरूपित किया जाता है।
* खुले समुच्चय <math>V \subseteq U</math> के प्रत्येक समावेशन के लिए, फलन <math>\operatorname{res}_{V, U} \colon F(U) \rightarrow F(V)</math> दिया गया हैं. नीचे दिए गए कई उदाहरणों को ध्यान में रखते हुए, रूपवाद <math>\text{res}_{V,U}</math> प्रतिबंध रूपवाद कहा जाता है। यदि <math>s \in F(U)</math>, फिर इसका प्रतिबंध <math>\text{res}_{V,U}(s)</math> अधिकांश <math>s|_V</math> कार्यों के प्रतिबंध के अनुरूप द्वारा निरूपित किया जाता है।
दो अतिरिक्त (फंक्शनल) गुणों को पूरा करने के लिए प्रतिबंध आकारिकी की आवश्यकता होती है:
दो अतिरिक्त (फंक्शनल) गुणों को पूरा करने के लिए प्रतिबंध आकारिकी की आवश्यकता होती है:
* प्रत्येक खुले समुच्चय के लिए <math>U</math> का <math>X</math>, प्रतिबंध आकारिकी <math>\operatorname{res}_{U, U} \colon F(U) \rightarrow F(U)</math> पहचान रूपवाद चालू <math>F(U)</math> है.
* प्रत्येक खुले समुच्चय के लिए <math>U</math> का <math>X</math>, प्रतिबंध आकारिकी <math>\operatorname{res}_{U, U} \colon F(U) \rightarrow F(U)</math> पहचान रूपवाद चालू <math>F(U)</math> है.
*यदि हमारे पास तीन खुले समुच्चय <math>W \subseteq V \subseteq U</math> हैं, फिर फलन संरचना <math>\text{res}_{W,V}\circ\text{res}_{V,U}=\text{res}_{W,U}</math>हैं.  
*यदि हमारे पास तीन खुले समुच्चय <math>W \subseteq V \subseteq U</math> हैं, फिर फलन संरचना <math>\text{res}_{W,V}\circ\text{res}_{V,U}=\text{res}_{W,U}</math>हैं.  
अनौपचारिक रूप से, दूसरा स्वयंसिद्ध कहता है कि इससे कोई फर्क नहीं पड़ता कि हम एक चरण में डब्ल्यू तक सीमित हैं या पसमाधाने वी तक सीमित हैं, फिर डब्ल्यू तक। इस परिभाषा का एक संक्षिप्त कार्यात्मक सुधार आगे नीचे दिया गया है।
अनौपचारिक रूप से, दूसरा स्वयंसिद्ध कहता है कि इससे कोई फर्क नहीं पड़ता कि हम चरण में डब्ल्यू तक सीमित हैं या पसमाधाने वी तक सीमित हैं, फिर डब्ल्यू तक। इस परिभाषा का संक्षिप्त कार्यात्मक सुधार आगे नीचे दिया गया है।


प्रीशेव के कई उदाहरण विभिन्न प्रकार के कार्यों से आते हैं: किसी भी <math>U</math> के लिये, कोई निरंतर वास्तविक-मूल्यवान कार्यों पर <math>U</math> समुच्चय <math>C^0(U)</math> असाइन कर सकता है. प्रतिबंध मानचित्र तब केवल एक सतत कार्य <math>U</math> को प्रतिबंधित करके दिया जाता है एक छोटे खुले उपसमुच्चय <math>V</math> के लिए, जो फिर से एक सतत कार्य है। दो प्रीशेफ स्वयंसिद्धों की तुरंत जांच की जाती है, जिससे एक प्रीशेफ का उदाहरण मिलता है। इसे होलोमोर्फिक कार्यों <math>\mathcal{H}(-)</math> के समूह और चिकने कार्यों <math>C^\infty(-)</math> का एक समूह तक बढ़ाया जा सकता है.
प्रीशेव के कई उदाहरण विभिन्न प्रकार के कार्यों से आते हैं: किसी भी <math>U</math> के लिये, कोई निरंतर वास्तविक-मूल्यवान कार्यों पर <math>U</math> समुच्चय <math>C^0(U)</math> असाइन कर सकता है. प्रतिबंध मानचित्र तब केवल सतत कार्य <math>U</math> को प्रतिबंधित करके दिया जाता है छोटे खुले उपसमुच्चय <math>V</math> के लिए, जो फिर से सतत कार्य है। दो प्रीशेफ स्वयंसिद्धों की तुरंत जांच की जाती है, जिससे प्रीशेफ का उदाहरण मिलता है। इसे होलोमोर्फिक कार्यों <math>\mathcal{H}(-)</math> के समूह और चिकने कार्यों <math>C^\infty(-)</math> का समूह तक बढ़ाया जा सकता है.


उदाहरणों <math>U</math> का एक अन्य सामान्य वर्ग असाइन कर रहा है निरंतर वास्तविक-मूल्यवान कार्यों का समुच्चय <math>U</math>. इस प्रीशेफ को कॉन्स्टेंटस प्रीशेफ <math>\mathbb{R}</math> कहा जाता है और इसे <math>\underline{\mathbb{R}}^{psh}</math>द्वारा निरूपित किया जाता है.
उदाहरणों <math>U</math> का अन्य सामान्य वर्ग असाइन कर रहा है निरंतर वास्तविक-मूल्यवान कार्यों का समुच्चय <math>U</math>. इस प्रीशेफ को कॉन्स्टेंटस प्रीशेफ <math>\mathbb{R}</math> कहा जाता है और इसे <math>\underline{\mathbb{R}}^{psh}</math>द्वारा निरूपित किया जाता है.


=== ढेर ===
=== ढेर ===
एक प्रीशेफ को देखते हुए, एक स्वाभाविक सवाल यह है कि एक खुले समुच्चय <math>U</math> पर इसके खंड किस सीमा तक हैं छोटे खुले समुच्चयों <math>U_i</math> के लिए उनके प्रतिबंधों द्वारा निर्दिष्ट किया गया है  <math>U</math> एक खुले आवरण  <math>\mathcal{U} = \{U_i\}_{i \in I}</math> के छोटे खुले समुच्चयों के लिए उनके प्रतिबंधों द्वारा निर्दिष्ट हैं जो निम्नलिखित दो अतिरिक्त स्वयंसिद्धों को संतुष्ट करता है:
प्रीशेफ को देखते हुए, स्वाभाविक सवाल यह है कि खुले समुच्चय <math>U</math> पर इसके खंड किस सीमा तक हैं छोटे खुले समुच्चयों <math>U_i</math> के लिए उनके प्रतिबंधों द्वारा निर्दिष्ट किया गया है  <math>U</math> खुले आवरण  <math>\mathcal{U} = \{U_i\}_{i \in I}</math> के छोटे खुले समुच्चयों के लिए उनके प्रतिबंधों द्वारा निर्दिष्ट हैं जो निम्नलिखित दो अतिरिक्त स्वयंसिद्धों को संतुष्ट करता है:
# (इलाका) मान लीजिए <math>U</math> एक खुला समुच्चय है, <math>\{ U_i \}_{i \in I}</math> का खुला आवरण <math>U</math> है, और <math>s, t \in F(U)</math> खंड हैं। यदि <math>s|_{ U_i} = t|_{ U_i}</math> सभी के लिए <math>i \in I</math>, तब <math>s = t</math>.
# (इलाका) मान लीजिए <math>U</math> खुला समुच्चय है, <math>\{ U_i \}_{i \in I}</math> का खुला आवरण <math>U</math> है, और <math>s, t \in F(U)</math> खंड हैं। यदि <math>s|_{ U_i} = t|_{ U_i}</math> सभी के लिए <math>i \in I</math>, तब <math>s = t</math>.
# (ग्लूइंग स्वयंसिद्ध) मान लीजिए <math>U</math> एक खुला समुच्चय है, <math>\{ U_i \}_{i \in I}</math> का खुला आवरण <math>U</math> है , और <math>\{ s_i \in F(U_i) \}_{i \in I}</math> वर्गों का परिवार है। यदि सेक्शन के सभी जोड़े अपने डोमेन के ओवरलैप पर सहमत हैं, अर्थात् यदि <math>s_i|_{U_i\cap U_j} = s_j|_{U_i \cap U_j}</math> सभी के लिए <math>i, j \in I</math>, तो एक खंड उपस्थित है <math>s \in F(U)</math> ऐसा है कि <math>s|_{U_i} = s_i</math> सभी के लिए <math>i \in I</math>.
# (ग्लूइंग स्वयंसिद्ध) मान लीजिए <math>U</math> खुला समुच्चय है, <math>\{ U_i \}_{i \in I}</math> का खुला आवरण <math>U</math> है , और <math>\{ s_i \in F(U_i) \}_{i \in I}</math> वर्गों का परिवार है। यदि सेक्शन के सभी जोड़े अपने डोमेन के ओवरलैप पर सहमत हैं, अर्थात् यदि <math>s_i|_{U_i\cap U_j} = s_j|_{U_i \cap U_j}</math> सभी के लिए <math>i, j \in I</math>, तो खंड उपस्थित है <math>s \in F(U)</math> ऐसा है कि <math>s|_{U_i} = s_i</math> सभी के लिए <math>i \in I</math>.


अनुभाग<math>s</math>जिनके अस्तित्व की गारंटी स्वयंसिद्ध 2 द्वारा दी जाती है, उन्हें अनुभागों का ग्लूइंग, संघटन या संयोजन कहा जाता है<sub>''i''</sub>. अभिगृहीत 1 के अनुसार यह अद्वितीय है। धारा<math>s_i</math>और<math>s_j</math>स्वयंसिद्ध 2 के समझौते की पूर्व शर्त को पूरा करना अधिकांश संगत कहा जाता है; इस प्रकार स्वयंसिद्ध 1 और 2 एक साथ बताते हैं कि जोड़ीदार संगत वर्गों के किसी भी संग्रह को एक साथ विशिष्ट रूप से चिपकाया जा सकता है। एक अलग प्रीशेफ, या मोनोप्रेसीफ, एक प्रीशेफ संतोषजनक स्वयंसिद्ध 1 है।<ref>{{Citation | last1=Tennison | first1=B. R. | title=Sheaf theory | publisher=[[Cambridge University Press]] | mr=0404390  | year=1975}}</ref>
अनुभाग<math>s</math>जिनके अस्तित्व की गारंटी स्वयंसिद्ध 2 द्वारा दी जाती है, उन्हें अनुभागों का ग्लूइंग, संघटन या संयोजन कहा जाता है<sub>''i''</sub>. अभिगृहीत 1 के अनुसार यह अद्वितीय है। धारा<math>s_i</math>और<math>s_j</math>स्वयंसिद्ध 2 के समझौते की पूर्व शर्त को पूरा करना अधिकांश संगत कहा जाता है; इस प्रकार स्वयंसिद्ध 1 और 2 साथ बताते हैं कि जोड़ीदार संगत वर्गों के किसी भी संग्रह को साथ विशिष्ट रूप से चिपकाया जा सकता है। अलग प्रीशेफ, या मोनोप्रेसीफ, प्रीशेफ संतोषजनक स्वयंसिद्ध 1 है।<ref>{{Citation | last1=Tennison | first1=B. R. | title=Sheaf theory | publisher=[[Cambridge University Press]] | mr=0404390  | year=1975}}</ref>


ऊपर उल्लिखित निरंतर कार्यों से युक्त प्रेसीफ एक शीफ है। निरंतर कार्यों को देखते हुए, यह प्रमाणित जांच करने के लिए कम हो जाता है <math>f_i : U_i \to \R</math> जो प्रतिच्छेद <math>U_i \cap U_j</math> पर सहमत हैं, एक अनूठा निरंतर कार्य है <math>f: U \to \R</math> जिसका प्रतिबंध बराबर है <math>f_i</math>. इसके विपरीत, स्थिर प्रीशेफ सामान्यतः शीफ नहीं होता है क्योंकि यह खाली समुच्चय पर स्थानीयता स्वयंसिद्ध को संतुष्ट करने में विफल रहता है (इसे [[निरंतर शीफ]] में अधिक विस्तार से समझाया गया है)।
ऊपर उल्लिखित निरंतर कार्यों से युक्त प्रेसीफ शीफ है। निरंतर कार्यों को देखते हुए, यह प्रमाणित जांच करने के लिए कम हो जाता है <math>f_i : U_i \to \R</math> जो प्रतिच्छेद <math>U_i \cap U_j</math> पर सहमत हैं, अनूठा निरंतर कार्य है <math>f: U \to \R</math> जिसका प्रतिबंध बराबर है <math>f_i</math>. इसके विपरीत, स्थिर प्रीशेफ सामान्यतः शीफ नहीं होता है क्योंकि यह खाली समुच्चय पर स्थानीयता स्वयंसिद्ध को संतुष्ट करने में विफल रहता है (इसे [[निरंतर शीफ]] में अधिक विस्तार से समझाया गया है)।


प्रीशेव्स और शेव्स को सामान्यतः बड़े अक्षरों से दर्शाया जाता है, <math>F</math> विशेष रूप से आम होने के नाते, संभवतः फ्रांसीसी भाषा के शब्द के लिए शीफ, फैसियो। सुलेख पत्रों का उपयोग जैसे <math>\mathcal{F}</math> भी आम है।
प्रीशेव्स और शेव्स को सामान्यतः बड़े अक्षरों से दर्शाया जाता है, <math>F</math> विशेष रूप से आम होने के नाते, संभवतः फ्रांसीसी भाषा के शब्द के लिए शीफ, फैसियो। सुलेख पत्रों का उपयोग जैसे <math>\mathcal{F}</math> भी आम है।


यह दिखाया जा सकता है कि एक शीफ निर्दिष्ट करने के लिए, अंतर्निहित स्थान के टोपोलॉजी के लिए [[आधार (टोपोलॉजी)]] के खुले समुच्चयों के लिए अपने प्रतिबंध को निर्दिष्ट करने के लिए पर्याप्त है। इसके अतिरिक्त, यह भी दिखाया जा सकता है कि कववलय के खुले समुच्चय के सापेक्ष उपरोक्त शीफ सिद्धांतों को सत्यापित करने के लिए पर्याप्त है। इस अवलोकन का उपयोग एक और उदाहरण बनाने के लिए किया जाता है जो बीजगणितीय ज्यामिति में महत्वपूर्ण है, अर्थात् [[अर्ध-सुसंगत शीफ]]। यहाँ विचाराधीन टोपोलॉजिकल स्पेस एक वलय का स्पेक्ट्रम है। एक कम्यूटेटिव वलय का स्पेक्ट्रम <math>R</math>, जिनके बिंदु प्रमुख आदर्श हैं <math>p</math> में <math>R</math>. खुला समुच्चय <math>D_f := \{ p \subset R, f \notin p\}</math> इस स्थान पर [[जरिस्की टोपोलॉजी]] के लिए एक आधार तैयार करें। एक दिया <math>R</math>-मापांक <math>M</math>, एक शीफ है, जिसे निरूपित किया जाता है <math>\tilde M</math> युक्ति पर <math>R</math>, जो संतुष्ट करता है
यह दिखाया जा सकता है कि शीफ निर्दिष्ट करने के लिए, अंतर्निहित स्थान के टोपोलॉजी के लिए [[आधार (टोपोलॉजी)]] के खुले समुच्चयों के लिए अपने प्रतिबंध को निर्दिष्ट करने के लिए पर्याप्त है। इसके अतिरिक्त, यह भी दिखाया जा सकता है कि कववलय के खुले समुच्चय के सापेक्ष उपरोक्त शीफ सिद्धांतों को सत्यापित करने के लिए पर्याप्त है। इस अवलोकन का उपयोग और उदाहरण बनाने के लिए किया जाता है जो बीजगणितीय ज्यामिति में महत्वपूर्ण है, अर्थात् [[अर्ध-सुसंगत शीफ]]। यहाँ विचाराधीन टोपोलॉजिकल स्पेस वलय का स्पेक्ट्रम है। कम्यूटेटिव वलय का स्पेक्ट्रम <math>R</math>, जिनके बिंदु प्रमुख आदर्श हैं <math>p</math> में <math>R</math>. खुला समुच्चय <math>D_f := \{ p \subset R, f \notin p\}</math> इस स्थान पर [[जरिस्की टोपोलॉजी]] के लिए आधार तैयार करें। दिया <math>R</math>-मापांक <math>M</math>, शीफ है, जिसे निरूपित किया जाता है <math>\tilde M</math> युक्ति पर <math>R</math>, जो संतुष्ट करता है
:<math>\tilde M(D_f) := M[1/f],</math> [[स्थानीयकरण (कम्यूटेटिव बीजगणित)]]। <math>M</math> पर <math>f</math>.
:<math>\tilde M(D_f) := M[1/f],</math> [[स्थानीयकरण (कम्यूटेटिव बीजगणित)]]। <math>M</math> पर <math>f</math>.






ढेरों का एक और लक्षण वर्णन है जो पसमाधाने चर्चा के समतुल्य है।
ढेरों का और लक्षण वर्णन है जो पसमाधाने चर्चा के समतुल्य है।


एक प्रेसीफ <math>\mathcal{F}</math> एक पूला है यदि और केवल यदि किसी खुले के लिए <math>U</math> और कोई भी खुला कवर <math>(U_a)</math> का <math>U</math>, <math>\mathcal{F}(U)</math> फाइबर उत्पाद <math>\mathcal{F}(U)\cong\mathcal{F}(U_a)\times_{\mathcal{F}(U_a\cap U_b)}\mathcal{F}(U_b)</math> है. यह लक्षण वर्णन ढेरों के निर्माण में उपयोगी है, उदाहरण के लिए, यदि <math>\mathcal{F},\mathcal{G}</math> एबेलियन शेव हैं, फिर शेव्स मोर्फिज्म की गिरी <math>\mathcal{F}\to\mathcal{G}</math> एक शीफ है, क्योंकि प्रोजेक्टिव लिमिट्स प्रोजेक्टिव लिमिट्स के साथ चलती हैं। दूसरी ओर, किसी भी उदाहरण पर विचार किए बिना, कोकर्नेल हमेशा एक शीफ नहीं होता है क्योंकि आगमनात्मक सीमा आवश्यक रूप से प्रोजेक्टिव सीमा के साथ नहीं चलती है। इसे ठीक करने का एक तरीका नोथेरियन टोपोलॉजिकल स्पेस पर विचार करना है; प्रत्येक खुले समुच्चय सघन होते हैं जिससे कॉकरेल एक शीफ हो, क्योंकि परिमित प्रक्षेपी सीमाएं आगमनात्मक सीमाओं के साथ चलती हैं।
प्रेसीफ <math>\mathcal{F}</math> पूला है यदि और केवल यदि किसी खुले के लिए <math>U</math> और कोई भी खुला कवर <math>(U_a)</math> का <math>U</math>, <math>\mathcal{F}(U)</math> फाइबर उत्पाद <math>\mathcal{F}(U)\cong\mathcal{F}(U_a)\times_{\mathcal{F}(U_a\cap U_b)}\mathcal{F}(U_b)</math> है. यह लक्षण वर्णन ढेरों के निर्माण में उपयोगी है, उदाहरण के लिए, यदि <math>\mathcal{F},\mathcal{G}</math> एबेलियन शेव हैं, फिर शेव्स मोर्फिज्म की गिरी <math>\mathcal{F}\to\mathcal{G}</math> शीफ है, क्योंकि प्रोजेक्टिव लिमिट्स प्रोजेक्टिव लिमिट्स के साथ चलती हैं। दूसरी ओर, किसी भी उदाहरण पर विचार किए बिना, कोकर्नेल हमेशा शीफ नहीं होता है क्योंकि आगमनात्मक सीमा आवश्यक रूप से प्रोजेक्टिव सीमा के साथ नहीं चलती है। इसे ठीक करने का तरीका नोथेरियन टोपोलॉजिकल स्पेस पर विचार करना है; प्रत्येक खुले समुच्चय सघन होते हैं जिससे कॉकरेल शीफ हो, क्योंकि परिमित प्रक्षेपी सीमाएं आगमनात्मक सीमाओं के साथ चलती हैं।


=== आगे के उदाहरण ===
=== आगे के उदाहरण ===


==== एक सतत मानचित्र के अनुभागों का शीफ ​​====
==== सतत मानचित्र के अनुभागों का शीफ ​​====
कोई भी निरंतर नक्शा <math>f:Y\to X</math> टोपोलॉजिकल रिक्त स्थान एक शीफ निर्धारित करता है <math>\Gamma(Y/X)</math> पर <math>X</math> व्यवस्थित करके
कोई भी निरंतर नक्शा <math>f:Y\to X</math> टोपोलॉजिकल रिक्त स्थान शीफ निर्धारित करता है <math>\Gamma(Y/X)</math> पर <math>X</math> व्यवस्थित करके
:<math>\Gamma(Y/X)(U) = \{s: U \to Y, f \circ s = \operatorname{id}_U\}.</math>
:<math>\Gamma(Y/X)(U) = \{s: U \to Y, f \circ s = \operatorname{id}_U\}.</math>
ऐसे किसी भी <math>s</math> का एक खंड (श्रेणी सिद्धांत) <math>f</math> कहा जाता है, और यह उदाहरण ही कारण है कि तत्वों में <math>F(U)</math> सामान्यत: खंड कसमाधानाते हैं। यह निर्माण विशेष रूप से महत्वपूर्ण है जब <math>f</math> आधार स्थान पर एक [[फाइबर बंडल]] का प्रक्षेपण है। उदाहरण के लिए, चिकने कार्यों के ढेर [[तुच्छ बंडल]] के वर्गों के ढेर हैं। एक अन्य उदाहरण: वर्गों का शेफ़
ऐसे किसी भी <math>s</math> का खंड (श्रेणी सिद्धांत) <math>f</math> कहा जाता है, और यह उदाहरण ही कारण है कि तत्वों में <math>F(U)</math> सामान्यत: खंड कसमाधानाते हैं। यह निर्माण विशेष रूप से महत्वपूर्ण है जब <math>f</math> आधार स्थान पर [[फाइबर बंडल]] का प्रक्षेपण है। उदाहरण के लिए, चिकने कार्यों के ढेर [[तुच्छ बंडल]] के वर्गों के ढेर हैं। अन्य उदाहरण: वर्गों का शेफ़
:<math>\C \stackrel{\exp} \to \C\setminus \{0\}</math>
:<math>\C \stackrel{\exp} \to \C\setminus \{0\}</math>
वह पूला है जो किसी को भी सौंपा जाता है<math>U</math>पर [[जटिल लघुगणक]] की शाखाओं का समुच्चय<math>U</math>.
वह पूला है जो किसी को भी सौंपा जाता है<math>U</math>पर [[जटिल लघुगणक]] की शाखाओं का समुच्चय<math>U</math>.


एक बिंदु दिया <math>x</math> और एक एबेलियन समूह <math>S</math>, गगनचुंबी इमारत का शेफ़ <math>S_x</math> निम्नानुसार परिभाषित किया गया है: यदि <math>U</math> युक्त एक खुला समुच्चय है <math>x</math>, तब <math>S_x(U)=S</math>. यदि <math>U</math> शामिल नहीं है <math>x</math>, तब <math>S_x(U)=0</math>, [[तुच्छ समूह]]। प्रतिबंध मानचित्र या तो पहचान पर हैं <math>S</math>, यदि दोनों खुले समुच्चय <math>x</math> में शामिल हैं, या शून्य नक्शा अन्यथा।
बिंदु दिया <math>x</math> और एबेलियन समूह <math>S</math>, गगनचुंबी इमारत का शेफ़ <math>S_x</math> निम्नानुसार परिभाषित किया गया है: यदि <math>U</math> युक्त खुला समुच्चय है <math>x</math>, तब <math>S_x(U)=S</math>. यदि <math>U</math> शामिल नहीं है <math>x</math>, तब <math>S_x(U)=0</math>, [[तुच्छ समूह]]। प्रतिबंध मानचित्र या तो पहचान पर हैं <math>S</math>, यदि दोनों खुले समुच्चय <math>x</math> में शामिल हैं, या शून्य नक्शा अन्यथा।


==== कई गुना पर ढेर ====
==== कई गुना पर ढेर ====
एक पर <math>n</math>आयामी <math>C^k</math>-कई गुना <math>M</math>, कई महत्वपूर्ण शीशे हैं, जैसे कि का पुलिया <math>j</math>-समय लगातार अलग-अलग कार्यों <math>\mathcal{O}^j_M</math> (साथ <math>j \leq k</math>). कुछ पर इसके सेक्शन खुले हैं <math>U</math> हैं <math>C^j</math>-कार्य <math>U \to \R</math>. के लिए <math>j = k</math>, इस शीफ को स्ट्रक्चर शीफ कहा जाता है और इसे निरूपित किया जाता है <math>\mathcal{O}_M</math>. अशून्य <math>C^k</math> कार्य भी एक शीफ बनाते हैं, जिसे निरूपित किया जाता है <math>\mathcal{O}_X^\times</math>. [[विभेदक रूप]] (डिग्री का <math>p</math>) भी एक शीफ बनाते हैं <math>\Omega^p_M</math>. इन सभी उदाहरणों में, प्रतिबंध रूपात्मक कार्यों या रूपों को प्रतिबंधित करके दिया जाता है।
पर <math>n</math>आयामी <math>C^k</math>-कई गुना <math>M</math>, कई महत्वपूर्ण शीशे हैं, जैसे कि का पुलिया <math>j</math>-समय लगातार अलग-अलग कार्यों <math>\mathcal{O}^j_M</math> (साथ <math>j \leq k</math>). कुछ पर इसके सेक्शन खुले हैं <math>U</math> हैं <math>C^j</math>-कार्य <math>U \to \R</math>. के लिए <math>j = k</math>, इस शीफ को स्ट्रक्चर शीफ कहा जाता है और इसे निरूपित किया जाता है <math>\mathcal{O}_M</math>. अशून्य <math>C^k</math> कार्य भी शीफ बनाते हैं, जिसे निरूपित किया जाता है <math>\mathcal{O}_X^\times</math>. [[विभेदक रूप]] (डिग्री का <math>p</math>) भी शीफ बनाते हैं <math>\Omega^p_M</math>. इन सभी उदाहरणों में, प्रतिबंध रूपात्मक कार्यों या रूपों को प्रतिबंधित करके दिया जाता है।


असाइनमेंट भेज रहा है <math>U</math> सघन रूप से समर्थित कार्यों के लिए <math>U</math> एक शीफ नहीं है, क्योंकि सामान्यतः, छोटे खुले उपसमुच्चय को पास करके इस गुण को संरक्षित करने का कोई तरीका नहीं है। इसके अतिरिक्त, यह एक [[cosheaf]], एक द्वैत (गणित) अवधारणा बनाता है जहां प्रतिबंध मानचित्र शीशों की तुलना में विपरीत दिशा में जाते हैं।<ref>{{harvtxt|Bredon|1997|loc=Chapter V, §1}}</ref> चूँकि, इन सदिश स्थानों की दोहरी सदिश समष्टि लेने से एक शीफ मिलता है, वितरण का शीफ ​​(गणित)।
असाइनमेंट भेज रहा है <math>U</math> सघन रूप से समर्थित कार्यों के लिए <math>U</math> शीफ नहीं है, क्योंकि सामान्यतः, छोटे खुले उपसमुच्चय को पास करके इस गुण को संरक्षित करने का कोई तरीका नहीं है। इसके अतिरिक्त, यह [[cosheaf]], द्वैत (गणित) अवधारणा बनाता है जहां प्रतिबंध मानचित्र शीशों की तुलना में विपरीत दिशा में जाते हैं।<ref>{{harvtxt|Bredon|1997|loc=Chapter V, §1}}</ref> चूँकि, इन सदिश स्थानों की दोहरी सदिश समष्टि लेने से शीफ मिलता है, वितरण का शीफ ​​(गणित)।


==== प्रीशेव जो शेव नहीं हैं ====
==== प्रीशेव जो शेव नहीं हैं ====
ऊपर वर्णित निरंतर प्रीशेफ के अतिरिक्त, जो सामान्यतः एक शीफ नहीं होता है, ऐसे प्रीशेव के और उदाहरण हैं जो शेव नहीं हैं:
ऊपर वर्णित निरंतर प्रीशेफ के अतिरिक्त, जो सामान्यतः शीफ नहीं होता है, ऐसे प्रीशेव के और उदाहरण हैं जो शेव नहीं हैं:
* मान ले <math>X</math> [[असतत दो-बिंदु स्थान]] बनें | दो-बिंदु स्थलीय स्थान <math>\{x,y\}</math> असतत टोपोलॉजी के साथ। प्रीशेफ को परिभाषित कीजिए <math>F</math> निम्नलिखित नुसार: <math display="block">F(\varnothing) = \{\varnothing\},\ F(\{x\}) = \R,\ F(\{y\}) = \R,\ F(\{x, y\}) = \R\times\R\times\R</math>प्रतिबंध मानचित्र <math>F(\{x, y\}) \to F(\{x\})</math> का प्रक्षेपण है <math>\R \times\R\times\R</math> इसके पसमाधाने निर्देशांक और प्रतिबंध मानचित्र पर <math>F(\{x, y\}) \to F(\{y\}) </math> का प्रक्षेपण है <math>\R \times\R\times\R</math> इसके दूसरे निर्देशांक पर। <math>F</math> एक प्रीशेफ है जो अलग नहीं किया गया है: एक वैश्विक खंड तीन संख्याओं द्वारा निर्धारित किया जाता है, किन्तु उस खंड के मान अधिक होते हैं <math>\{x\}</math> और <math>\{y\}</math> उन संख्याओं में से केवल दो का निर्धारण करें। तो चूँकि हम किन्हीं भी दो वर्गों को गोंद कर सकते हैं <math>\{x\}</math> और <math>\{y\}</math>, हम उन्हें विशिष्ट रूप से चिपका नहीं सकते।
* मान ले <math>X</math> [[असतत दो-बिंदु स्थान]] बनें | दो-बिंदु स्थलीय स्थान <math>\{x,y\}</math> असतत टोपोलॉजी के साथ। प्रीशेफ को परिभाषित कीजिए <math>F</math> निम्नलिखित नुसार: <math display="block">F(\varnothing) = \{\varnothing\},\ F(\{x\}) = \R,\ F(\{y\}) = \R,\ F(\{x, y\}) = \R\times\R\times\R</math>प्रतिबंध मानचित्र <math>F(\{x, y\}) \to F(\{x\})</math> का प्रक्षेपण है <math>\R \times\R\times\R</math> इसके पसमाधाने निर्देशांक और प्रतिबंध मानचित्र पर <math>F(\{x, y\}) \to F(\{y\}) </math> का प्रक्षेपण है <math>\R \times\R\times\R</math> इसके दूसरे निर्देशांक पर। <math>F</math> प्रीशेफ है जो अलग नहीं किया गया है: वैश्विक खंड तीन संख्याओं द्वारा निर्धारित किया जाता है, किन्तु उस खंड के मान अधिक होते हैं <math>\{x\}</math> और <math>\{y\}</math> उन संख्याओं में से केवल दो का निर्धारण करें। तो चूँकि हम किन्हीं भी दो वर्गों को गोंद कर सकते हैं <math>\{x\}</math> और <math>\{y\}</math>, हम उन्हें विशिष्ट रूप से चिपका नहीं सकते।
* मान ले <math>X = \R</math> [[वास्तविक रेखा]] बनो, और चलो <math>F(U)</math> परिबद्ध फलन सतत फलन का समुच्चय हो <math>U</math>. यह शीफ नहीं है क्योंकि इसे चिपकाना हमेशा संभव नहीं होता है। उदाहरण के लिए, चलो <math>U_i</math> सभी का समुच्चय हो <math>x</math> ऐसा है कि <math>|x|<i</math>. पहचान फलन <math>f(x)=x</math> प्रत्येक पर बंधा हुआ है <math>U_i</math>. परिणामस्वरूप हमें एक खंड मिलता है <math>s_i</math> पर <math>U_i</math>. चूँकि, ये खंड गोंद नहीं करते हैं, क्योंकि फलन <math>f</math> वास्तविक रेखा से बंधा नहीं है। फलस्वरूप <math>F</math> पूर्वशेफ है, परन्तु पूला नहीं। वास्तव में, <math>F</math> अलग किया जाता है क्योंकि यह निरंतर कार्यों के पूले का एक उप-प्रीशेफ है।
* मान ले <math>X = \R</math> [[वास्तविक रेखा]] बनो, और चलो <math>F(U)</math> परिबद्ध फलन सतत फलन का समुच्चय हो <math>U</math>. यह शीफ नहीं है क्योंकि इसे चिपकाना हमेशा संभव नहीं होता है। उदाहरण के लिए, चलो <math>U_i</math> सभी का समुच्चय हो <math>x</math> ऐसा है कि <math>|x|<i</math>. पहचान फलन <math>f(x)=x</math> प्रत्येक पर बंधा हुआ है <math>U_i</math>. परिणामस्वरूप हमें खंड मिलता है <math>s_i</math> पर <math>U_i</math>. चूँकि, ये खंड गोंद नहीं करते हैं, क्योंकि फलन <math>f</math> वास्तविक रेखा से बंधा नहीं है। फलस्वरूप <math>F</math> पूर्वशेफ है, परन्तु पूला नहीं। वास्तव में, <math>F</math> अलग किया जाता है क्योंकि यह निरंतर कार्यों के पूले का उप-प्रीशेफ है।


'''जटिल विश्लेषणात्मक रिक्त स्थान और बीजगणितीय ज्यामिति से ढेरों को प्रेरित करना'''
'''जटिल विश्लेषणात्मक रिक्त स्थान और बीजगणितीय ज्यामिति से ढेरों को प्रेरित करना'''


ढेरों के लिए ऐतिहासिक प्रेरणाओं में से एक जटिल कई गुना अध्ययन से आया है,<ref>{{cite web|last=Demailly|first=Jean-Pierre|title=Complex Analytic and Differential Geometry|url=https://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf|url-status=live|archive-url=https://web.archive.org/web/20200828212129/https://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf|archive-date=4 Sep 2020}}</ref> [[जटिल विश्लेषणात्मक ज्यामिति]],<ref>{{cite web|last=Cartan|first=Henri|title=Variétés analytiques complexes et cohomologie|url=http://www.inp.nsk.su/~silagadz/Cartan.pdf|url-status=live|archive-url=https://web.archive.org/web/20201008164857/http://www.inp.nsk.su/~silagadz/Cartan.pdf|archive-date=8 Oct 2020}}</ref> और [[योजना (गणित)]] बीजगणितीय ज्यामिति से। ऐसा इसलिए है क्योंकि पिछले सभी स्थितियां में, हम एक टोपोलॉजिकल स्पेस <math>X</math> पर विचार करते हैं  एक साथ एक संरचना शीफ ​​के साथ <math>\mathcal{O}</math> इसे एक जटिल मैनिफोल्ड, जटिल विश्लेषणात्मक स्थान या योजना की संरचना देना। एक टोपोलॉजिकल स्पेस को शीफ से लैस करने का यह परिप्रेक्ष्य स्थानीय रूप से वलय्ड स्पेस के सिद्धांत के लिए आवश्यक है (नीचे देखें)।
ढेरों के लिए ऐतिहासिक प्रेरणाओं में से जटिल कई गुना अध्ययन से आया है,<ref>{{cite web|last=Demailly|first=Jean-Pierre|title=Complex Analytic and Differential Geometry|url=https://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf|url-status=live|archive-url=https://web.archive.org/web/20200828212129/https://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf|archive-date=4 Sep 2020}}</ref> [[जटिल विश्लेषणात्मक ज्यामिति]],<ref>{{cite web|last=Cartan|first=Henri|title=Variétés analytiques complexes et cohomologie|url=http://www.inp.nsk.su/~silagadz/Cartan.pdf|url-status=live|archive-url=https://web.archive.org/web/20201008164857/http://www.inp.nsk.su/~silagadz/Cartan.pdf|archive-date=8 Oct 2020}}</ref> और [[योजना (गणित)]] बीजगणितीय ज्यामिति से। ऐसा इसलिए है क्योंकि पिछले सभी स्थितियां में, हम टोपोलॉजिकल स्पेस <math>X</math> पर विचार करते हैं  साथ संरचना शीफ ​​के साथ <math>\mathcal{O}</math> इसे जटिल मैनिफोल्ड, जटिल विश्लेषणात्मक स्थान या योजना की संरचना देना। टोपोलॉजिकल स्पेस को शीफ से लैस करने का यह परिप्रेक्ष्य स्थानीय रूप से वलय्ड स्पेस के सिद्धांत के लिए आवश्यक है (नीचे देखें)।


==== जटिल कई गुना के साथ तकनीकी चुनौतियां ====
==== जटिल कई गुना के साथ तकनीकी चुनौतियां ====
शीशों को प्रस्तुत करने के लिए मुख्य ऐतिहासिक प्रेरणाओं में से एक उपकरण का निर्माण करना था जो जटिल मैनिफोल्ड्स पर [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक फलन]] का ट्रैक रखता है। उदाहरण के लिए, एक [[कॉम्पैक्ट जगह|सघन जगह]] कॉम्प्लेक्स मैनिफोल्ड पर <math>X</math> ([[जटिल प्रक्षेप्य स्थान]] या एक [[सजातीय बहुपद]] के गायब होने वाले स्थान की प्रकार), एकमात्र होलोमोर्फिक फलन <ब्लॉककोट><math>f:X \to \C</math>स्थिर कार्य हैं।<ref name="stackexchange1">{{cite web|title=differential geometry - Holomorphic functions on a complex compact manifold are only constants|url=https://math.stackexchange.com/questions/881742/holomorphic-functions-on-a-complex-compact-manifold-are-only-constants|access-date=2020-10-07|website=Mathematics Stack Exchange}}</ref> इसका अर्थ है कि दो सघन कॉम्प्लेक्स मैनिफोल्ड <math>X,X'</math> उपस्थित हो सकते हैं  जो आइसोमॉर्फिक नहीं हैं, किन्तु फिर भी वैश्विक होलोमोर्फिक कार्यों की उनकी वलय को निरूपित किया गया है <math>\mathcal{H}(X), \mathcal{H}(X')</math>, आइसोमॉर्फिक हैं। इसकी तुलना चिकने मैनिफोल्ड से करें जहां प्रत्येक मैनिफोल्ड है <math>M</math> कुछ के अंदर एम्बेड किया जा सकता है <math>\R^n</math>, इसलिए इसके सुचारू कार्यों की वलय <math>C^\infty(M)</math> से सुचारू कार्यों <math>C^\infty(\R^n)</math> को प्रतिबंधित करने से आता है. जटिल कई गुना पर होलोमोर्फिक कार्यों की वलय पर विचार करते समय एक और जटिलता <math>X</math> अधिक छोटा खुला समुच्चय दिया जाता है <math>U \subset X</math>, होलोमोर्फिक फ़ंक्शंस आइसोमोर्फिक <math>\mathcal{H}(U) \cong \mathcal{H}(\C^n)</math> होंगे. शेव इस जटिलता से निपटने के लिए एक प्रत्यक्ष उपकरण हैं क्योंकि वे अंतर्निहित टोपोलॉजिकल स्पेस पर होलोमोर्फिक संरचना का ट्रैक रखना संभव बनाते हैं। <math>X</math> मनमाने ढंग से खुले उपसमुच्चय पर <math>U \subset X</math>. इसका अर्थ है जैसा <math>U</math> स्थैतिक रूप से अधिक जटिल हो जाता है, वलय <math>\mathcal{H}(U)</math> चिपकाने <math>\mathcal{H}(U_i)</math> से व्यक्त किया जा सकता है. ध्यान दें कि कभी-कभी इस शीफ को निरूपित किया जाता है <math>\mathcal{O}(-)</math> या केवल <math>\mathcal{O}</math>, या और भी <math>\mathcal{O}_X</math> जब हम उस स्थान पर जोर देना चाहते हैं जो संरचना शीफ ​​से जुड़ा है।
शीशों को प्रस्तुत करने के लिए मुख्य ऐतिहासिक प्रेरणाओं में से उपकरण का निर्माण करना था जो जटिल मैनिफोल्ड्स पर [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक फलन]] का ट्रैक रखता है। उदाहरण के लिए, [[कॉम्पैक्ट जगह|सघन जगह]] कॉम्प्लेक्स मैनिफोल्ड पर <math>X</math> ([[जटिल प्रक्षेप्य स्थान]] या [[सजातीय बहुपद]] के गायब होने वाले स्थान की प्रकार), एकमात्र होलोमोर्फिक फलन <ब्लॉककोट><math>f:X \to \C</math>स्थिर कार्य हैं।<ref name="stackexchange1">{{cite web|title=differential geometry - Holomorphic functions on a complex compact manifold are only constants|url=https://math.stackexchange.com/questions/881742/holomorphic-functions-on-a-complex-compact-manifold-are-only-constants|access-date=2020-10-07|website=Mathematics Stack Exchange}}</ref> इसका अर्थ है कि दो सघन कॉम्प्लेक्स मैनिफोल्ड <math>X,X'</math> उपस्थित हो सकते हैं  जो आइसोमॉर्फिक नहीं हैं, किन्तु फिर भी वैश्विक होलोमोर्फिक कार्यों की उनकी वलय को निरूपित किया गया है <math>\mathcal{H}(X), \mathcal{H}(X')</math>, आइसोमॉर्फिक हैं। इसकी तुलना चिकने मैनिफोल्ड से करें जहां प्रत्येक मैनिफोल्ड है <math>M</math> कुछ के अंदर एम्बेड किया जा सकता है <math>\R^n</math>, इसलिए इसके सुचारू कार्यों की वलय <math>C^\infty(M)</math> से सुचारू कार्यों <math>C^\infty(\R^n)</math> को प्रतिबंधित करने से आता है. जटिल कई गुना पर होलोमोर्फिक कार्यों की वलय पर विचार करते समय और जटिलता <math>X</math> अधिक छोटा खुला समुच्चय दिया जाता है <math>U \subset X</math>, होलोमोर्फिक फ़ंक्शंस आइसोमोर्फिक <math>\mathcal{H}(U) \cong \mathcal{H}(\C^n)</math> होंगे. शेव इस जटिलता से निपटने के लिए प्रत्यक्ष उपकरण हैं क्योंकि वे अंतर्निहित टोपोलॉजिकल स्पेस पर होलोमोर्फिक संरचना का ट्रैक रखना संभव बनाते हैं। <math>X</math> मनमाने ढंग से खुले उपसमुच्चय पर <math>U \subset X</math>. इसका अर्थ है जैसा <math>U</math> स्थैतिक रूप से अधिक जटिल हो जाता है, वलय <math>\mathcal{H}(U)</math> चिपकाने <math>\mathcal{H}(U_i)</math> से व्यक्त किया जा सकता है. ध्यान दें कि कभी-कभी इस शीफ को निरूपित किया जाता है <math>\mathcal{O}(-)</math> या केवल <math>\mathcal{O}</math>, या और भी <math>\mathcal{O}_X</math> जब हम उस स्थान पर जोर देना चाहते हैं जो संरचना शीफ ​​से जुड़ा है।


==== ढेरों के साथ सबमनीफोल्ड्स को ट्रैक करना ====
==== ढेरों के साथ सबमनीफोल्ड्स को ट्रैक करना ====
एक जटिल सबमनीफोल्ड <math>Y \hookrightarrow X</math> पर विचार करके ढेरों का एक और सामान्य उदाहरण बनाया जा सकता ह . एक संबद्ध शीफ <math>\mathcal{O}_Y</math> है, जो एक खुला उपसमुच्चय <math>U \subset X</math> लेता है और होलोमोर्फिक कार्यों <math>U \cap Y</math> की वलय देता है . इस प्रकार की औपचारिकता बेसीमा शक्तिशाली पाई गई और बहुत सारे होमोलॉजिकल बीजगणित को प्रेरित करती है जैसे कि शीफ सह समरूपता एक [[प्रतिच्छेदन सिद्धांत]] के बाद सेरे प्रतिच्छेद सूत्र से [[चौराहा संख्या]]।
जटिल सबमनीफोल्ड <math>Y \hookrightarrow X</math> पर विचार करके ढेरों का और सामान्य उदाहरण बनाया जा सकता ह . संबद्ध शीफ <math>\mathcal{O}_Y</math> है, जो खुला उपसमुच्चय <math>U \subset X</math> लेता है और होलोमोर्फिक कार्यों <math>U \cap Y</math> की वलय देता है . इस प्रकार की औपचारिकता बेसीमा शक्तिशाली पाई गई और बहुत सारे होमोलॉजिकल बीजगणित को प्रेरित करती है जैसे कि शीफ सह समरूपता [[प्रतिच्छेदन सिद्धांत]] के बाद सेरे प्रतिच्छेद सूत्र से [[चौराहा संख्या]]।


== ढेरों के साथ संचालन ==
== ढेरों के साथ संचालन ==


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


मान ले <math>F</math> और <math>G</math> दो पूलों पर रहो <math>X</math>. एक रूपवाद <math>\varphi:G\to F</math> एक रूपवाद से मिलकर बनता है <math>\varphi_U:G(U)\to F(U)</math> प्रत्येक खुले समुच्चय के लिए <math>U</math> का <math>X</math>, इस शर्त के अधीन कि यह रूपवाद प्रतिबंधों के अनुकूल है। दूसरे शब्दों में, प्रत्येक खुले उपसमुच्चय के लिए <math>V</math> एक खुले समुच्चय का <math>U</math>, निम्न आरेख [[क्रमविनिमेय आरेख]] है।
मान ले <math>F</math> और <math>G</math> दो पूलों पर रहो <math>X</math>. रूपवाद <math>\varphi:G\to F</math> रूपवाद से मिलकर बनता है <math>\varphi_U:G(U)\to F(U)</math> प्रत्येक खुले समुच्चय के लिए <math>U</math> का <math>X</math>, इस शर्त के अधीन कि यह रूपवाद प्रतिबंधों के अनुकूल है। दूसरे शब्दों में, प्रत्येक खुले उपसमुच्चय के लिए <math>V</math> खुले समुच्चय का <math>U</math>, निम्न आरेख [[क्रमविनिमेय आरेख]] है।


:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
Line 96: Line 96:
<math>\mathcal O^n_{\R} \to \mathcal O^{n-1}_{\R}.</math> लेने से ढेरों का आकार मिलता है
<math>\mathcal O^n_{\R} \to \mathcal O^{n-1}_{\R}.</math> लेने से ढेरों का आकार मिलता है


वास्तव में, दिया गया (<math>n</math>-समय लगातार अलग-अलग) फलन <math>f : U \to \R</math> (साथ <math>U</math> में <math>\R</math> open), प्रतिबंध (एक छोटे से खुले सबसमुच्चय के लिए <math>V</math>) इसके व्युत्पन्न के व्युत्पन्न के बराबर है <math>f|_V</math>.
वास्तव में, दिया गया (<math>n</math>-समय लगातार अलग-अलग) फलन <math>f : U \to \R</math> (साथ <math>U</math> में <math>\R</math> open), प्रतिबंध (छोटे से खुले सबसमुच्चय के लिए <math>V</math>) इसके व्युत्पन्न के व्युत्पन्न के बराबर है <math>f|_V</math>.


रूपवाद की इस धारणा के साथ, एक निश्चित स्थलीय स्थान पर ढेर हो जाता है <math>X</math> एक [[श्रेणी (गणित)]] बनाएँ। [[एकरूपता]] की सामान्य स्पष्ट धारणाएं  मोनो-, [[अधिरूपता]]  एपी- और [[समाकृतिकता]] इसलिए ढेरों पर प्रायुक्त किए जा सकते हैं। एक शीफ मोर्फिज्म <math>\varphi</math> एक समरूपता है (प्रतिक्रिया मोनोमोर्फिज्म) यदि और केवल यदि प्रत्येक <math>\varphi_U</math> एक आक्षेप (प्रतिक्रिया अंतःक्षेपी नक्शा) है। इसके अतिरिक्त, शीशों का एक रूपवाद <math>\varphi</math> एक समरूपता है यदि और केवल यदि वहाँ एक खुला आवरण उपस्थित है <math>\{U_\alpha\}</math> ऐसा है कि <math>\varphi|_{U_\alpha}</math> सभी के लिए शीशों के समरूपता हैं <math>\alpha</math>. यह कथन, जो मोनोमोर्फिज़्म के लिए भी है, किन्तु प्रीशेव्स के लिए नहीं है, इस विचार का एक और उदाहरण है कि शेव एक स्थानीय प्रकृति के हैं।
रूपवाद की इस धारणा के साथ, निश्चित स्थलीय स्थान पर ढेर हो जाता है <math>X</math> [[श्रेणी (गणित)]] बनाएँ। [[एकरूपता]] की सामान्य स्पष्ट धारणाएं  मोनो-, [[अधिरूपता]]  एपी- और [[समाकृतिकता]] इसलिए ढेरों पर प्रायुक्त किए जा सकते हैं। शीफ मोर्फिज्म <math>\varphi</math> समरूपता है (प्रतिक्रिया मोनोमोर्फिज्म) यदि और केवल यदि प्रत्येक <math>\varphi_U</math> आक्षेप (प्रतिक्रिया अंतःक्षेपी नक्शा) है। इसके अतिरिक्त, शीशों का रूपवाद <math>\varphi</math> समरूपता है यदि और केवल यदि वहाँ खुला आवरण उपस्थित है <math>\{U_\alpha\}</math> ऐसा है कि <math>\varphi|_{U_\alpha}</math> सभी के लिए शीशों के समरूपता हैं <math>\alpha</math>. यह कथन, जो मोनोमोर्फिज़्म के लिए भी है, किन्तु प्रीशेव्स के लिए नहीं है, इस विचार का और उदाहरण है कि शेव स्थानीय प्रकृति के हैं।


संबंधित कथन एपिमोर्फिज्म (शेव के) के लिए नहीं हैं, और उनकी विफलता को शीफ सह समरूपता द्वारा मापा जाता है।
संबंधित कथन एपिमोर्फिज्म (शेव के) के लिए नहीं हैं, और उनकी विफलता को शीफ सह समरूपता द्वारा मापा जाता है।
Line 104: Line 104:
=== पूले का डंठल ===
=== पूले का डंठल ===
{{Main|डंठल (शेफ)}}
{{Main|डंठल (शेफ)}}
डंठल <math>\mathcal{F}_x</math> एक पूले का <math>\mathcal{F}</math> एक बिंदु के चारों ओर एक पूले के गुणों को कैप्चर करता है <math>x\in X</math>, [[रोगाणु (गणित)]] का सामान्यीकरण।
डंठल <math>\mathcal{F}_x</math> पूले का <math>\mathcal{F}</math> बिंदु के चारों ओर पूले के गुणों को कैप्चर करता है <math>x\in X</math>, [[रोगाणु (गणित)]] का सामान्यीकरण।
यहाँ, चारों ओर का अर्थ है कि, वैचारिक रूप से, बिंदु के छोटे और छोटे [[पड़ोस (गणित)]] को देखता है। बेशक, कोई भी पड़ोस अधिक छोटा नहीं होगा, जिसके लिए किसी प्रकार की सीमा पर विचार करने की आवश्यकता होती है। अधिक त्रुटिहीन रूप से, डंठल द्वारा परिभाषित किया गया है
यहाँ, चारों ओर का अर्थ है कि, वैचारिक रूप से, बिंदु के छोटे और छोटे [[पड़ोस (गणित)]] को देखता है। बेशक, कोई भी पड़ोस अधिक छोटा नहीं होगा, जिसके लिए किसी प्रकार की सीमा पर विचार करने की आवश्यकता होती है। अधिक त्रुटिहीन रूप से, डंठल द्वारा परिभाषित किया गया है


:<math>\mathcal{F}_x = \varinjlim_{U\ni x} \mathcal{F}(U),</math>
:<math>\mathcal{F}_x = \varinjlim_{U\ni x} \mathcal{F}(U),</math>
के सभी खुले उपसमुच्चय पर सीधी सीमा <math>X</math> दिए गए बिंदु से युक्त <math>x</math>. दूसरे शब्दों में, डंठल का एक तत्व एक खंड द्वारा कुछ खुले पड़ोस के ऊपर दिया जाता है <math>x</math>, और ऐसे दो वर्गों को समान माना जाता है यदि उनके प्रतिबंध एक छोटे पड़ोस पर सहमत हों।
के सभी खुले उपसमुच्चय पर सीधी सीमा <math>X</math> दिए गए बिंदु से युक्त <math>x</math>. दूसरे शब्दों में, डंठल का तत्व खंड द्वारा कुछ खुले पड़ोस के ऊपर दिया जाता है <math>x</math>, और ऐसे दो वर्गों को समान माना जाता है यदि उनके प्रतिबंध छोटे पड़ोस पर सहमत हों।


प्राकृतिक रूपवाद <math>F(U)\to F_x</math> एक खंड लेता है <math>x</math> में <math>F(U)</math> इसके रोगाणु पर <math>x</math>. यह रोगाणु (गणित) की सामान्य परिभाषा को सामान्य करता है।
प्राकृतिक रूपवाद <math>F(U)\to F_x</math> खंड लेता है <math>x</math> में <math>F(U)</math> इसके रोगाणु पर <math>x</math>. यह रोगाणु (गणित) की सामान्य परिभाषा को सामान्य करता है।


कई स्थितियों में, पूले के डंठल को जानना ही पूले को नियंत्रित करने के लिए पर्याप्त होता है। उदाहरण के लिए, क्या ढेरों का एक रूपवाद एक मोनोमोर्फिज्म है या नहीं, एपिमोर्फिज्म, या आइसोमोर्फिज्म का परीक्षण डंठल पर किया जा सकता है। इस अर्थ में, एक पूला उसके डंठल से निर्धारित होता है, जो एक स्थानीय डेटा है। इसके विपरीत, एक शीफ में उपस्थित वैश्विक जानकारी, अर्थात् वैश्विक खंड, अर्थात् अनुभाग <math>\mathcal F(X)</math> पूरे अंतरिक्ष पर <math>X</math>, सामान्यतः कम जानकारी रखते हैं। उदाहरण के लिए, एक सघन स्पेस कॉम्प्लेक्स मैनिफोल्ड के लिए <math>X</math>, होलोमोर्फिक कार्यों के शीफ के वैश्विक खंड न्यायसंगत हैं <math>\C</math>, किसी भी होलोमोर्फिक फलन के बाद से
कई स्थितियों में, पूले के डंठल को जानना ही पूले को नियंत्रित करने के लिए पर्याप्त होता है। उदाहरण के लिए, क्या ढेरों का रूपवाद मोनोमोर्फिज्म है या नहीं, एपिमोर्फिज्म, या आइसोमोर्फिज्म का परीक्षण डंठल पर किया जा सकता है। इस अर्थ में, पूला उसके डंठल से निर्धारित होता है, जो स्थानीय डेटा है। इसके विपरीत, शीफ में उपस्थित वैश्विक जानकारी, अर्थात् वैश्विक खंड, अर्थात् अनुभाग <math>\mathcal F(X)</math> पूरे अंतरिक्ष पर <math>X</math>, सामान्यतः कम जानकारी रखते हैं। उदाहरण के लिए, सघन स्पेस कॉम्प्लेक्स मैनिफोल्ड के लिए <math>X</math>, होलोमोर्फिक कार्यों के शीफ के वैश्विक खंड न्यायसंगत हैं <math>\C</math>, किसी भी होलोमोर्फिक फलन के बाद से
:<math>X \to \C</math>
:<math>X \to \C</math>
लिउविल के प्रमेय (जटिल विश्लेषण) द्वारा स्थिर है | लिउविल का प्रमेय।<ref name="stackexchange1"/>
लिउविल के प्रमेय (जटिल विश्लेषण) द्वारा स्थिर है | लिउविल का प्रमेय।<ref name="stackexchange1"/>
Line 118: Line 118:


=== प्रीशेफ को शीफ में बदलना ===
=== प्रीशेफ को शीफ में बदलना ===
प्रीशेफ में निहित डेटा को लेना और इसे शीफ के रूप में व्यक्त करना अधिकांश उपयोगी होता है। यह पता चला है कि ऐसा करने का सबसे अच्छा तरीका है। यह एक प्रीशेफ लेता है <math>F</math> और एक नया पूला उत्पन्न करता है <math>aF</math> शीफिफिकेशन या प्रीशेफ से जुड़ा शीफ <math>F</math> ​​कहा जाता है. उदाहरण के लिए, स्थिर प्रीशेफ (ऊपर देखें) के शेफिफिकेशन को निरंतर शीफ कहा जाता है। इसके नाम के अतिरिक्त, इसके खंड स्थानीय रूप से स्थिर कार्य हैं।
प्रीशेफ में निहित डेटा को लेना और इसे शीफ के रूप में व्यक्त करना अधिकांश उपयोगी होता है। यह पता चला है कि ऐसा करने का सबसे अच्छा तरीका है। यह प्रीशेफ लेता है <math>F</math> और नया पूला उत्पन्न करता है <math>aF</math> शीफिफिकेशन या प्रीशेफ से जुड़ा शीफ <math>F</math> ​​कहा जाता है. उदाहरण के लिए, स्थिर प्रीशेफ (ऊपर देखें) के शेफिफिकेशन को निरंतर शीफ कहा जाता है। इसके नाम के अतिरिक्त, इसके खंड स्थानीय रूप से स्थिर कार्य हैं।


पुलिया <math>aF</math> के étalé स्थान <math>F</math> का उपयोग करके बनाया जा सकता है, अर्थात् मानचित्र के अनुभागों के समूह के रूप में
पुलिया <math>aF</math> के étalé स्थान <math>F</math> का उपयोग करके बनाया जा सकता है, अर्थात् मानचित्र के अनुभागों के समूह के रूप में
:<math>\mathrm{Spe}(F) \to X.</math>
:<math>\mathrm{Spe}(F) \to X.</math>
पुली का एक और निर्माण <math>aF</math> एक कारक के माध्यम से आगे बढ़ता है <math>L</math> प्रीशेव से प्रीशेव तक जो प्रीशेफ के गुणों में धीरे-धीरे सुधार करता है: किसी भी प्रीशेफ के लिए <math>F</math>, <math>LF</math> एक अलग किया गया प्रीशेफ़ है, और किसी भी अलग किए गए प्रीशेफ़ के लिए <math>F</math>, <math>LF</math> एक पुलिया है। संबद्ध पुलिया <math>aF</math> द्वारा <math>LLF</math> दिया गया है.<ref>[[Séminaire de Géométrie Algébrique du Bois Marie#SGA 4|SGA 4]] II 3.0.5</ref>
पुली का और निर्माण <math>aF</math> कारक के माध्यम से आगे बढ़ता है <math>L</math> प्रीशेव से प्रीशेव तक जो प्रीशेफ के गुणों में धीरे-धीरे सुधार करता है: किसी भी प्रीशेफ के लिए <math>F</math>, <math>LF</math> अलग किया गया प्रीशेफ़ है, और किसी भी अलग किए गए प्रीशेफ़ के लिए <math>F</math>, <math>LF</math> पुलिया है। संबद्ध पुलिया <math>aF</math> द्वारा <math>LLF</math> दिया गया है.<ref>[[Séminaire de Géométrie Algébrique du Bois Marie#SGA 4|SGA 4]] II 3.0.5</ref>


विचार यह है कि शेफ <math>aF</math> का सर्वोत्तम संभव सन्निकटन है <math>F</math> एक पुली द्वारा निम्नलिखित [[सार्वभौमिक संपत्ति|सार्वभौमिक गुण]] का उपयोग करके त्रुटिहीन बनाया गया है: पूर्वशेव का एक प्राकृतिक रूप है <math>i\colon F\to aF</math> जिससे किसी भी शेफ के लिए <math>G</math> और प्रीशेव्स का कोई भी आकार <math>f\colon F\to G</math>, ढेरों का एक अनूठा आकार है <math>\tilde f \colon aF \rightarrow G</math> जैसे कि <math>f = \tilde f i</math>. वास्तव में <math>a</math> शेव्स की श्रेणी से प्रीशेव्स की श्रेणी में शामिल करने वाले फ़ैक्टर (या भुलक्कड़ फ़ंक्टर) के लिए बाएं आसन्न फ़ैक्टर है, और <math>i</math> आसन्न फलक # इकाई और संयोजन की सह-इकाई है। इस प्रकार, ढेरों की श्रेणी पूर्व-शीवों की [[जिराउड उपश्रेणी]] में बदल जाती है। यह स्पष्ट स्थिति यही कारण है कि शीफ मोर्फिज्म या शेव के टेंसर उत्पादों के कोकर्नेल के निर्माण में शीफिफिकेशन फंक्टर दिखाई देता है, किन्तु गुठली के लिए नहीं, कहते हैं।
विचार यह है कि शेफ <math>aF</math> का सर्वोत्तम संभव सन्निकटन है <math>F</math> पुली द्वारा निम्नलिखित [[सार्वभौमिक संपत्ति|सार्वभौमिक गुण]] का उपयोग करके त्रुटिहीन बनाया गया है: पूर्वशेव का प्राकृतिक रूप है <math>i\colon F\to aF</math> जिससे किसी भी शेफ के लिए <math>G</math> और प्रीशेव्स का कोई भी आकार <math>f\colon F\to G</math>, ढेरों का अनूठा आकार है <math>\tilde f \colon aF \rightarrow G</math> जैसे कि <math>f = \tilde f i</math>. वास्तव में <math>a</math> शेव्स की श्रेणी से प्रीशेव्स की श्रेणी में शामिल करने वाले फ़ैक्टर (या भुलक्कड़ फ़ंक्टर) के लिए बाएं आसन्न फ़ैक्टर है, और <math>i</math> आसन्न फलक # इकाई और संयोजन की सह-इकाई है। इस प्रकार, ढेरों की श्रेणी पूर्व-शीवों की [[जिराउड उपश्रेणी]] में बदल जाती है। यह स्पष्ट स्थिति यही कारण है कि शीफ मोर्फिज्म या शेव के टेंसर उत्पादों के कोकर्नेल के निर्माण में शीफिफिकेशन फंक्टर दिखाई देता है, किन्तु गुठली के लिए नहीं, कहते हैं।


=== उपशेव, भागफल ढेर ===
=== उपशेव, भागफल ढेर ===
यदि <math>K</math> एक शेफ का एक [[सबऑब्जेक्ट]] है <math>F</math> एबेलियन समूहों का, फिर भागफल शीफ <math>Q</math> प्रीशेफ <math>U \mapsto F(U)/K(U)</math> से संबंधित पूला है; दूसरे शब्दों में, भागफल शीफ एबेलियन समूहों के ढेरों के त्रुटिहीन अनुक्रम में फिट बैठता है;
यदि <math>K</math> शेफ का [[सबऑब्जेक्ट]] है <math>F</math> एबेलियन समूहों का, फिर भागफल शीफ <math>Q</math> प्रीशेफ <math>U \mapsto F(U)/K(U)</math> से संबंधित पूला है; दूसरे शब्दों में, भागफल शीफ एबेलियन समूहों के ढेरों के त्रुटिहीन अनुक्रम में फिट बैठता है;
:<math>0 \to K \to F \to Q \to 0.</math>
:<math>0 \to K \to F \to Q \to 0.</math>
(इसे [[शीफ एक्सटेंशन]] भी कहा जाता है।)
(इसे [[शीफ एक्सटेंशन]] भी कहा जाता है।)


मान ले <math>F,G</math> एबेलियन समूहों के ढेर बनो। समुच्चय <math>\operatorname{Hom}(F, G)</math> से ढेरों के रूपवाद की <math>F</math> को <math>G</math> एक एबेलियन समूह बनाता है (एबेलियन समूह संरचना द्वारा <math>G</math>). का पुलिया <math>F</math> और <math>G</math>, द्वारा चिह्नित,
मान ले <math>F,G</math> एबेलियन समूहों के ढेर बनो। समुच्चय <math>\operatorname{Hom}(F, G)</math> से ढेरों के रूपवाद की <math>F</math> को <math>G</math> एबेलियन समूह बनाता है (एबेलियन समूह संरचना द्वारा <math>G</math>). का पुलिया <math>F</math> और <math>G</math>, द्वारा चिह्नित,
:<math>\mathcal{Hom}(F, G)</math>
:<math>\mathcal{Hom}(F, G)</math>
एबेलियन समूहों का पूला है <math>U \mapsto \operatorname{Hom}(F|_U, G|_U)</math> जहाँ <math>F|_U</math> पुलिया चालू है <math>U</math> द्वारा दिए गए <math>(F|_U)(V) = F(V)</math> (ध्यान दें कि यहां शेफिफिकेशन की जरूरत नहीं है)। का प्रत्यक्ष योग <math>F</math> और <math>G</math> द्वारा दिया गया शीफ ​​है <math>U \mapsto F(U) \oplus G(U) </math>, और टेंसर उत्पाद <math>F</math> और <math>G</math> प्रीशेफ से संबंधित पूला है <math>U \mapsto F(U) \otimes G(U)</math>.
एबेलियन समूहों का पूला है <math>U \mapsto \operatorname{Hom}(F|_U, G|_U)</math> जहाँ <math>F|_U</math> पुलिया चालू है <math>U</math> द्वारा दिए गए <math>(F|_U)(V) = F(V)</math> (ध्यान दें कि यहां शेफिफिकेशन की जरूरत नहीं है)। का प्रत्यक्ष योग <math>F</math> और <math>G</math> द्वारा दिया गया शीफ ​​है <math>U \mapsto F(U) \oplus G(U) </math>, और टेंसर उत्पाद <math>F</math> और <math>G</math> प्रीशेफ से संबंधित पूला है <math>U \mapsto F(U) \otimes G(U)</math>.
Line 139: Line 139:
=== मूल कार्यात्मकता ===
=== मूल कार्यात्मकता ===
{{Main|ढेरों के लिए छवि कारक}}
{{Main|ढेरों के लिए छवि कारक}}
चूंकि (पूर्व-) शेफ का डेटा आधार स्थान के खुले उपसमुच्चय पर निर्भर करता है, इसलिए अलग-अलग टोपोलॉजिकल रिक्त स्थान पर ढेर एक-दूसरे से इस अर्थ में असंबंधित हैं कि उनके बीच कोई रूपवाद नहीं है। हालांकि, एक सतत नक्शा दिया <math>f:X\to Y</math> दो टोपोलॉजिकल स्पेस के बीच, पुशफॉरवर्ड और पुलबैक रिलेटेड शेव ऑन <math>X</math> उन लोगों के लिए <math>Y</math> और इसके विपरीत।
चूंकि (पूर्व-) शेफ का डेटा आधार स्थान के खुले उपसमुच्चय पर निर्भर करता है, इसलिए अलग-अलग टोपोलॉजिकल रिक्त स्थान पर ढेर एक-दूसरे से इस अर्थ में असंबंधित हैं कि उनके बीच कोई रूपवाद नहीं है। हालांकि, सतत नक्शा दिया <math>f:X\to Y</math> दो टोपोलॉजिकल स्पेस के बीच, पुशफॉरवर्ड और पुलबैक रिलेटेड शेव ऑन <math>X</math> उन लोगों के लिए <math>Y</math> और इसके विपरीत।


==== प्रत्यक्ष छवि ====
==== प्रत्यक्ष छवि ====
एक शीफ का पुशफॉरवर्ड (प्रत्यक्ष छवि फ़ैक्टर के रूप में भी जाना जाता है)। <math>\mathcal{F}</math> पर <math>X</math> द्वारा परिभाषित शेफ है
शीफ का पुशफॉरवर्ड (प्रत्यक्ष छवि फ़ैक्टर के रूप में भी जाना जाता है)। <math>\mathcal{F}</math> पर <math>X</math> द्वारा परिभाषित शेफ है
:<math>(f_* \mathcal F)(V) = \mathcal F(f^{-1}(V)).</math>
:<math>(f_* \mathcal F)(V) = \mathcal F(f^{-1}(V)).</math>
यहाँ <math>V</math> का खुला उपसमुच्चय है <math>Y</math>, जिससे इसकी प्रीइमेज इन ओपन हो <math>X</math> की निरंतरता से <math>f</math>.
यहाँ <math>V</math> का खुला उपसमुच्चय है <math>Y</math>, जिससे इसकी प्रीइमेज इन ओपन हो <math>X</math> की निरंतरता से <math>f</math>.
यह निर्माण गगनचुंबी इमारत के शीफ को ठीक करता है <math>S_x</math> उपर्युक्त:
यह निर्माण गगनचुंबी इमारत के शीफ को ठीक करता है <math>S_x</math> उपर्युक्त:
:<math>S_x = i_* (S)</math> जहाँ <math>i: \{x\} \to X</math> समावेशन है, और <math>S</math> [[सिंगलटन (गणित)]] पर एक शीफ के रूप में माना जाता है (द्वारा <math>S(\{*\})=S, S(\emptyset) = \emptyset</math>.
:<math>S_x = i_* (S)</math> जहाँ <math>i: \{x\} \to X</math> समावेशन है, और <math>S</math> [[सिंगलटन (गणित)]] पर शीफ के रूप में माना जाता है (द्वारा <math>S(\{*\})=S, S(\emptyset) = \emptyset</math>.


स्थानीय रूप से सघन रिक्त स्थान के बीच एक मानचित्र के लिए, सघन समर्थन वाली प्रत्यक्ष छवि प्रत्यक्ष छवि का उपशेफ है।<ref>{{harvtxt|Iversen|1986|loc=Chapter VII}}</ref> परिभाषा से, <math>(f_! \mathcal F)(V)</math> उन से मिलकर बनता है <math>f \in \mathcal F(f^{-1}(V))</math> जिसका [[समर्थन (गणित)]] उचित मानचित्र पर है <math>V</math>. यदि <math>f</math> उचित है, फिर <math>f_! \mathcal F = f_* \mathcal F</math>, किन्तु सामान्यतः वे असहमत हैं।
स्थानीय रूप से सघन रिक्त स्थान के बीच मानचित्र के लिए, सघन समर्थन वाली प्रत्यक्ष छवि प्रत्यक्ष छवि का उपशेफ है।<ref>{{harvtxt|Iversen|1986|loc=Chapter VII}}</ref> परिभाषा से, <math>(f_! \mathcal F)(V)</math> उन से मिलकर बनता है <math>f \in \mathcal F(f^{-1}(V))</math> जिसका [[समर्थन (गणित)]] उचित मानचित्र पर है <math>V</math>. यदि <math>f</math> उचित है, फिर <math>f_! \mathcal F = f_* \mathcal F</math>, किन्तु सामान्यतः वे असहमत हैं।


==== उलटी छवि ====
==== उलटी छवि ====
पुलबैक या उलटा छवि फ़ैक्टर दूसरे तरीके से जाता है: यह एक शीफ बनाता है <math>X</math>, निरूपित <math>f^{-1} \mathcal G</math> एक पूले से बाहर <math>\mathcal G</math> पर <math>Y</math>. यदि <math>f</math> एक खुले उपसमुच्चय का समावेश है, तो उलटा छवि सिर्फ एक प्रतिबंध है, अर्थात्, यह <math>(f^{-1} \mathcal G)(U) = \mathcal G(U)</math> द्वारा दिया गया है  एक खुले के लिए <math>U</math> में <math>X</math>. एक पुलिया <math>F</math> (किसी जगह पर <math>X</math>) को स्थानीय रूप से स्थिर शीफ कहा जाता है यदि <math>X= \bigcup_{i \in I} U_i</math> कुछ खुले उपसमुच्चय द्वारा <math>U_i</math> ऐसा है कि का प्रतिबंध <math>F</math> इन सभी खुले उपसमुच्चय स्थिर हैं। टोपोलॉजिकल रिक्त स्थान की एक विस्तृत श्रृंखला <math>X</math>, इस प्रकार के ढेर मूल समूह के [[समूह प्रतिनिधित्व]] के लिए [[श्रेणियों की समानता]] हैं <math>\pi_1(X)</math>.
पुलबैक या उलटा छवि फ़ैक्टर दूसरे तरीके से जाता है: यह शीफ बनाता है <math>X</math>, निरूपित <math>f^{-1} \mathcal G</math> पूले से बाहर <math>\mathcal G</math> पर <math>Y</math>. यदि <math>f</math> खुले उपसमुच्चय का समावेश है, तो उलटा छवि सिर्फ प्रतिबंध है, अर्थात्, यह <math>(f^{-1} \mathcal G)(U) = \mathcal G(U)</math> द्वारा दिया गया है  खुले के लिए <math>U</math> में <math>X</math>. पुलिया <math>F</math> (किसी जगह पर <math>X</math>) को स्थानीय रूप से स्थिर शीफ कहा जाता है यदि <math>X= \bigcup_{i \in I} U_i</math> कुछ खुले उपसमुच्चय द्वारा <math>U_i</math> ऐसा है कि का प्रतिबंध <math>F</math> इन सभी खुले उपसमुच्चय स्थिर हैं। टोपोलॉजिकल रिक्त स्थान की विस्तृत श्रृंखला <math>X</math>, इस प्रकार के ढेर मूल समूह के [[समूह प्रतिनिधित्व]] के लिए [[श्रेणियों की समानता]] हैं <math>\pi_1(X)</math>.


सामान्य मानचित्रों के लिए <math>f</math>, की परिभाषा <math>f^{-1} \mathcal G</math> अधिक शामिल है; यह उलटा छवि फ़ैक्टर पर विस्तृत है। डंठल एक प्राकृतिक पहचान के कारण पुलबैक का एक आवश्यक विशेष स्थिति है, जहां <math>i</math> ऊपर जैसा है:
सामान्य मानचित्रों के लिए <math>f</math>, की परिभाषा <math>f^{-1} \mathcal G</math> अधिक शामिल है; यह उलटा छवि फ़ैक्टर पर विस्तृत है। डंठल प्राकृतिक पहचान के कारण पुलबैक का आवश्यक विशेष स्थिति है, जहां <math>i</math> ऊपर जैसा है:
:<math>\mathcal G_x = i^{-1}\mathcal{G}(\{x\}).</math>
:<math>\mathcal G_x = i^{-1}\mathcal{G}(\{x\}).</math>
अधिक सामान्यतः, डंठल <math>(f^{-1} \mathcal G)_x = \mathcal G_{f(x)}</math> संतुष्ट होते हैं.
अधिक सामान्यतः, डंठल <math>(f^{-1} \mathcal G)_x = \mathcal G_{f(x)}</math> संतुष्ट होते हैं.


==== शून्य से विस्तार ====
==== शून्य से विस्तार ====
शामिल करने के लिए <math>j : U \to X</math> एक खुले उपसमुच्चय का, एबेलियन समूहों के एक समूह के [[शून्य से विस्तार]] <math>U</math> परिभाषित किया जाता है
शामिल करने के लिए <math>j : U \to X</math> खुले उपसमुच्चय का, एबेलियन समूहों के समूह के [[शून्य से विस्तार]] <math>U</math> परिभाषित किया जाता है
:<math>(j_! \mathcal F)(V) = \mathcal F(V)</math> यदि <math>V \subset U</math> और <math>(j_! \mathcal F)(V) = 0</math> अन्यथा।
:<math>(j_! \mathcal F)(V) = \mathcal F(V)</math> यदि <math>V \subset U</math> और <math>(j_! \mathcal F)(V) = 0</math> अन्यथा।
एक पुलाव के लिए <math>\mathcal G</math> पर <math>X</math>, यह निर्माण एक अर्थ में पूरक <math>i_*</math> है, जहाँ <math>i</math> के पूरक का समावेश है <math>U</math>:
पुलाव के लिए <math>\mathcal G</math> पर <math>X</math>, यह निर्माण अर्थ में पूरक <math>i_*</math> है, जहाँ <math>i</math> के पूरक का समावेश है <math>U</math>:
:<math>(j_! j^* \mathcal G)_x = \mathcal G_x</math> के लिए <math>x</math> में <math>U</math>, और डंठल शून्य है, चूँकि
:<math>(j_! j^* \mathcal G)_x = \mathcal G_x</math> के लिए <math>x</math> में <math>U</math>, और डंठल शून्य है, चूँकि
:<math>(i_* i^* \mathcal G)_x = 0</math> के लिए <math>x</math> में <math>U</math>, और बराबर <math>\mathcal G_x</math> अन्यथा।
:<math>(i_* i^* \mathcal G)_x = 0</math> के लिए <math>x</math> में <math>U</math>, और बराबर <math>\mathcal G_x</math> अन्यथा।
इसलिए ये कारक शीफ-सैद्धांतिक प्रश्नों को कम करने में उपयोगी होते हैं <math>X</math> एक [[स्तरीकरण (गणित)]] के स्तर पर, अर्थात्, एक अपघटन <math>X</math> छोटे, स्थानीय रूप से बंद उपसमुच्चय में।
इसलिए ये कारक शीफ-सैद्धांतिक प्रश्नों को कम करने में उपयोगी होते हैं <math>X</math> [[स्तरीकरण (गणित)]] के स्तर पर, अर्थात्, अपघटन <math>X</math> छोटे, स्थानीय रूप से बंद उपसमुच्चय में।


== पूरक ==
== पूरक ==


=== अधिक सामान्य श्रेणियों में ढेर ===
=== अधिक सामान्य श्रेणियों में ढेर ===
ऊपर प्रस्तुत किए गए (पूर्व-) ढेरों के अतिरिक्त, जहां <math>\mathcal F(U)</math> केवल एक समुच्चय है, कई स्थितियां में इन वर्गों पर अतिरिक्त संरचना का ट्रैक रखना महत्वपूर्ण है। उदाहरण के लिए, निरंतर कार्यों के शीफ के खंड स्वाभाविक रूप से एक वास्तविक सदिश स्थान बनाते हैं, और प्रतिबंध इन सदिश स्थानों के बीच एक [[रैखिक नक्शा]] है।
ऊपर प्रस्तुत किए गए (पूर्व-) ढेरों के अतिरिक्त, जहां <math>\mathcal F(U)</math> केवल समुच्चय है, कई स्थितियां में इन वर्गों पर अतिरिक्त संरचना का ट्रैक रखना महत्वपूर्ण है। उदाहरण के लिए, निरंतर कार्यों के शीफ के खंड स्वाभाविक रूप से वास्तविक सदिश स्थान बनाते हैं, और प्रतिबंध इन सदिश स्थानों के बीच [[रैखिक नक्शा]] है।


मनमानी श्रेणी में मूल्यों के साथ प्रीशेव करता है <math>C</math> पसमाधाने खुले समुच्चय की श्रेणी पर विचार करके परिभाषित किया गया है <math>X</math> [[पोसेटल श्रेणी|पोसमुच्चयल श्रेणी]] होना <math>O(X)</math> जिनकी वस्तुएं खुले समुच्चय हैं <math>X</math> और जिनके रूपवाद शामिल हैं। फिर एक <math>C</math>-वैल्यूड प्रीशेफ ऑन <math>X</math> से एक प्रतिपरिवर्ती फ़ैक्टर <math>O(X)</math> को <math>C</math> के समान है. फ़ंक्शंस की इस श्रेणी में रूपवाद, जिसे [[प्राकृतिक परिवर्तन|प्राकृतिक परिवर्तनों]] के रूप में भी जाना जाता है, ऊपर परिभाषित रूपवाद के समान हैं, जैसा कि परिभाषाओं को उजागर करके देखा जा सकता है।
मनमानी श्रेणी में मूल्यों के साथ प्रीशेव करता है <math>C</math> पसमाधाने खुले समुच्चय की श्रेणी पर विचार करके परिभाषित किया गया है <math>X</math> [[पोसेटल श्रेणी|पोसमुच्चयल श्रेणी]] होना <math>O(X)</math> जिनकी वस्तुएं खुले समुच्चय हैं <math>X</math> और जिनके रूपवाद शामिल हैं। फिर <math>C</math>-वैल्यूड प्रीशेफ ऑन <math>X</math> से प्रतिपरिवर्ती फ़ैक्टर <math>O(X)</math> को <math>C</math> के समान है. फ़ंक्शंस की इस श्रेणी में रूपवाद, जिसे [[प्राकृतिक परिवर्तन|प्राकृतिक परिवर्तनों]] के रूप में भी जाना जाता है, ऊपर परिभाषित रूपवाद के समान हैं, जैसा कि परिभाषाओं को उजागर करके देखा जा सकता है।


यदि लक्ष्य श्रेणी <math>C</math> सभी [[सीमा (श्रेणी सिद्धांत)]] को स्वीकार करता है, ए <math>C</math>-वैल्यूड प्रीशेफ एक शीफ है यदि निम्न आरेख प्रत्येक खुले कवर के लिए एक [[तुल्यकारक (गणित)]] है
यदि लक्ष्य श्रेणी <math>C</math> सभी [[सीमा (श्रेणी सिद्धांत)]] को स्वीकार करता है, ए <math>C</math>-वैल्यूड प्रीशेफ शीफ है यदि निम्न आरेख प्रत्येक खुले कवर के लिए [[तुल्यकारक (गणित)]] है
<math>\mathcal{U} = \{U_i\}_{i \in I}</math> किसी भी खुले समुच्चय का<math>U</math>:
<math>\mathcal{U} = \{U_i\}_{i \in I}</math> किसी भी खुले समुच्चय का<math>U</math>:


Line 185: Line 185:


:<math>\operatorname{res}_{U_i \cap U_j, U_j} \colon F(U_j) \rightarrow F(U_i \cap U_j).</math>
:<math>\operatorname{res}_{U_i \cap U_j, U_j} \colon F(U_j) \rightarrow F(U_i \cap U_j).</math>
यदि <math>C</math> एक [[एबेलियन श्रेणी]] है, इस स्थिति को एक त्रुटिहीन अनुक्रम की आवश्यकता के द्वारा भी दोहराया जा सकता है
यदि <math>C</math> [[एबेलियन श्रेणी]] है, इस स्थिति को त्रुटिहीन अनुक्रम की आवश्यकता के द्वारा भी दोहराया जा सकता है
:<math>0 \to F(U) \to \prod_i F(U_i) \xrightarrow{\operatorname{res}_{U_i \cap U_j, U_i} - \operatorname{res}_{U_i \cap U_j, U_j}} \prod_{i,j} F(U_i \cap U_j).</math>
:<math>0 \to F(U) \to \prod_i F(U_i) \xrightarrow{\operatorname{res}_{U_i \cap U_j, U_i} - \operatorname{res}_{U_i \cap U_j, U_j}} \prod_{i,j} F(U_i \cap U_j).</math>
इस शीफ स्थिति का एक विशेष स्थिति होता है <math>U</math> खाली समुच्चय और इंडेक्स समुच्चय होना <math>I</math> खाली भी हो रहा है। इस स्थिति में, शेफ की स्थिति की आवश्यकता होती है <math>\mathcal F(\emptyset)</math> में [[टर्मिनल वस्तु]] होना <math>C</math>.
इस शीफ स्थिति का विशेष स्थिति होता है <math>U</math> खाली समुच्चय और इंडेक्स समुच्चय होना <math>I</math> खाली भी हो रहा है। इस स्थिति में, शेफ की स्थिति की आवश्यकता होती है <math>\mathcal F(\emptyset)</math> में [[टर्मिनल वस्तु]] होना <math>C</math>.


=== वलय्ड स्पेस और मॉड्यूल के ढेर ===
=== वलय्ड स्पेस और मॉड्यूल के ढेर ===
{{Main|चक्राकार स्थान|मॉड्यूल का शीफ}}
{{Main|चक्राकार स्थान|मॉड्यूल का शीफ}}
कई ज्यामितीय विषयों में, बीजगणितीय ज्यामिति और अंतर ज्यामिति सहित, रिक्त स्थान छल्ले के एक प्राकृतिक शीफ के साथ आते हैं, जिसे अधिकांश संरचना शीफ ​​कहा जाता है और इसके<math>\mathcal{O}_X</math> द्वारा निरूपित किया जाता है। ऐसी जोड़ी <math>(X, \mathcal O_X)</math> [[चक्राकार स्थान]] कहा जाता है। कई प्रकार के रिक्त स्थान को निश्चित प्रकार के चक्राकार स्थान के रूप में परिभाषित किया जा सकता है। सामान्यतः, सभी डंठल <math>\mathcal O_{X, x}</math> संरचना शीफ ​​स्थानीय छल्ले हैं, इस स्थिति में जोड़ी को स्थानीय रूप से चक्राकार स्थान कहा जाता है।
कई ज्यामितीय विषयों में, बीजगणितीय ज्यामिति और अंतर ज्यामिति सहित, रिक्त स्थान छल्ले के प्राकृतिक शीफ के साथ आते हैं, जिसे अधिकांश संरचना शीफ ​​कहा जाता है और इसके<math>\mathcal{O}_X</math> द्वारा निरूपित किया जाता है। ऐसी जोड़ी <math>(X, \mathcal O_X)</math> [[चक्राकार स्थान]] कहा जाता है। कई प्रकार के रिक्त स्थान को निश्चित प्रकार के चक्राकार स्थान के रूप में परिभाषित किया जा सकता है। सामान्यतः, सभी डंठल <math>\mathcal O_{X, x}</math> संरचना शीफ ​​स्थानीय छल्ले हैं, इस स्थिति में जोड़ी को स्थानीय रूप से चक्राकार स्थान कहा जाता है।
   
   
उदाहरण के लिए, ए <math>n</math>आयामी <math>C^k</math> कई गुना <math>M</math> एक स्थानीय रूप से चक्राकार स्थान है जिसकी संरचना शीफ ​​में होती है <math>C^k</math>-के खुले उपसमुच्चय <math>M</math> पर कार्य करता है. स्थानीय रूप से वलय वाली जगह होने की गुण इस तथ्य में अनुवाद करती है कि ऐसा फलन, जो एक बिंदु <math>x</math> पर गैर-शून्य है, के पर्याप्त रूप से छोटे खुले पड़ोस पर भी गैर-शून्य है <math>x</math>. कुछ लेखक वास्तव में वास्तविक (या जटिल) मैनिफोल्ड को स्थानीय रूप से वलय वाले स्थान के रूप में परिभाषित करते हैं जो कि जोड़ी के लिए स्थानीय रूप से आइसोमॉर्फिक होते हैं जिसमें एक खुला उपसमुच्चय <math>\R^n</math> (प्रति. <math>\C^n</math>) एक साथ के पूले के साथ <math>C^k</math> (प्रतिक्रिया होलोमोर्फिक) कार्य होता है।<ref>{{harvtxt|Ramanan|2005}}</ref> इसी प्रकार, योजना (गणित), बीजगणितीय ज्यामिति में रिक्त स्थान की मूलभूत धारणा, स्थानीय रूप से चक्राकार स्थान हैं जो स्थानीय रूप से एक वलय के स्पेक्ट्रम के लिए आइसोमोर्फिक हैं।
उदाहरण के लिए, ए <math>n</math>आयामी <math>C^k</math> कई गुना <math>M</math> स्थानीय रूप से चक्राकार स्थान है जिसकी संरचना शीफ ​​में होती है <math>C^k</math>-के खुले उपसमुच्चय <math>M</math> पर कार्य करता है. स्थानीय रूप से वलय वाली जगह होने की गुण इस तथ्य में अनुवाद करती है कि ऐसा फलन, जो बिंदु <math>x</math> पर गैर-शून्य है, के पर्याप्त रूप से छोटे खुले पड़ोस पर भी गैर-शून्य है <math>x</math>. कुछ लेखक वास्तव में वास्तविक (या जटिल) मैनिफोल्ड को स्थानीय रूप से वलय वाले स्थान के रूप में परिभाषित करते हैं जो कि जोड़ी के लिए स्थानीय रूप से आइसोमॉर्फिक होते हैं जिसमें खुला उपसमुच्चय <math>\R^n</math> (प्रति. <math>\C^n</math>) साथ के पूले के साथ <math>C^k</math> (प्रतिक्रिया होलोमोर्फिक) कार्य होता है।<ref>{{harvtxt|Ramanan|2005}}</ref> इसी प्रकार, योजना (गणित), बीजगणितीय ज्यामिति में रिक्त स्थान की मूलभूत धारणा, स्थानीय रूप से चक्राकार स्थान हैं जो स्थानीय रूप से वलय के स्पेक्ट्रम के लिए आइसोमोर्फिक हैं।


एक वलय वाली जगह दी गई है, मॉड्यूल का एक शीफ एक <math>\mathcal{M}</math> शीफ है जैसे कि प्रत्येक खुले समुच्चय पर <math>U</math> का <math>X</math>, <math>\mathcal{M}(U)</math> एक <math>\mathcal{O}_X(U)</math>-मॉड्यूल और खुले समुच्चय के प्रत्येक समावेशन के लिए <math>V\subseteq U</math>, प्रतिबंध मानचित्र <math>\mathcal{M}(U) \to \mathcal{M}(V)</math> प्रतिबंध मानचित्र <math>\mathcal{O}(U) \to \mathcal{O}(V)</math> के साथ संगत है: fs का प्रतिबंध किसका प्रतिबंध है <math>f</math> से कई गुना <math>s</math> किसी के लिए <math>f</math> में <math>\mathcal{O}(U)</math> और <math>s</math> में <math>\mathcal{M}(U)</math>.
वलय वाली जगह दी गई है, मॉड्यूल का शीफ <math>\mathcal{M}</math> शीफ है जैसे कि प्रत्येक खुले समुच्चय पर <math>U</math> का <math>X</math>, <math>\mathcal{M}(U)</math> <math>\mathcal{O}_X(U)</math>-मॉड्यूल और खुले समुच्चय के प्रत्येक समावेशन के लिए <math>V\subseteq U</math>, प्रतिबंध मानचित्र <math>\mathcal{M}(U) \to \mathcal{M}(V)</math> प्रतिबंध मानचित्र <math>\mathcal{O}(U) \to \mathcal{O}(V)</math> के साथ संगत है: fs का प्रतिबंध किसका प्रतिबंध है <math>f</math> से कई गुना <math>s</math> किसी के लिए <math>f</math> में <math>\mathcal{O}(U)</math> और <math>s</math> में <math>\mathcal{M}(U)</math>.


सबसे महत्वपूर्ण ज्यामितीय वस्तुएँ मॉड्यूल के ढेर हैं। उदाहरण के लिए, <math>\mathcal{O}_X</math>-मॉड्यूल वेक्टर बंडलों और [[स्थानीय रूप से मुक्त शीफ]] के बीच एक-से-एक पत्राचार होता है। यह प्रतिमान वास्तविक वेक्टर बंडलों, जटिल वेक्टर बंडलों, या बीजगणितीय ज्यामिति में वेक्टर बंडलों पर प्रायुक्त होता है (जहां <math>\mathcal O</math> इसमें सुचारू कार्य, होलोमोर्फिक कार्य या नियमित कार्य शामिल हैं)। विभेदक <math>D</math>-मॉड्यूल समीकरणों के समाधान के ढेर डी-मॉड्यूल है, अर्थात् [[अंतर ऑपरेटर]] के शीफ के ऊपर मॉड्यूल हैं। किसी भी टोपोलॉजिकल स्पेस पर, निरंतर शीफ पर मॉड्यूल <math>\underline{\mathbf{Z}}</math> ऊपर के अर्थ में [[एबेलियन शीफ]] के समान हैं।
सबसे महत्वपूर्ण ज्यामितीय वस्तुएँ मॉड्यूल के ढेर हैं। उदाहरण के लिए, <math>\mathcal{O}_X</math>-मॉड्यूल वेक्टर बंडलों और [[स्थानीय रूप से मुक्त शीफ]] के बीच एक-से-पत्राचार होता है। यह प्रतिमान वास्तविक वेक्टर बंडलों, जटिल वेक्टर बंडलों, या बीजगणितीय ज्यामिति में वेक्टर बंडलों पर प्रायुक्त होता है (जहां <math>\mathcal O</math> इसमें सुचारू कार्य, होलोमोर्फिक कार्य या नियमित कार्य शामिल हैं)। विभेदक <math>D</math>-मॉड्यूल समीकरणों के समाधान के ढेर डी-मॉड्यूल है, अर्थात् [[अंतर ऑपरेटर]] के शीफ के ऊपर मॉड्यूल हैं। किसी भी टोपोलॉजिकल स्पेस पर, निरंतर शीफ पर मॉड्यूल <math>\underline{\mathbf{Z}}</math> ऊपर के अर्थ में [[एबेलियन शीफ]] के समान हैं।


छल्लों के ढेरों पर मॉड्यूल के ढेरों के लिए एक अलग उलटा छवि फ़ैक्टर है। यह फ़ंक्टर सामान्यतः <math>f^*</math> निरूपित किया जाता है और यह <math>f^{-1}</math> से अलग है. रिवर्स इमेज फंक्शन देखें।
छल्लों के ढेरों पर मॉड्यूल के ढेरों के लिए अलग उलटा छवि फ़ैक्टर है। यह फ़ंक्टर सामान्यतः <math>f^*</math> निरूपित किया जाता है और यह <math>f^{-1}</math> से अलग है. रिवर्स इमेज फंक्शन देखें।


==== मॉड्यूल के ढेरों के लिए परिमितता की स्थिति ====
==== मॉड्यूल के ढेरों के लिए परिमितता की स्थिति ====


[[क्रमविनिमेय अंगूठी|क्रमविनिमेय वलय]]ों पर मॉड्यूल के लिए परिमितता की स्थिति मॉड्यूल के शीशों के लिए समान परिमितता की स्थिति को जन्म देती है: <math>\mathcal{M}</math> प्रत्येक बिंदु के लिए, यदि अंतिम रूप से उत्पन्न (प्रतिनिधि रूप से प्रस्तुत किया गया) कहा जाता है <math>x</math> का <math>X</math>, एक खुला पड़ोस उपस्थित है <math>U</math> का <math>x</math>, एक प्राकृतिक संख्या <math>n</math> (संभवतः निर्भर करता है <math>U</math>), और ढेरों का एक विशेषण रूपवाद <math>\mathcal{O}_X^n|_U \to \mathcal{M}|_U</math> (क्रमशः, इसके अतिरिक्त एक प्राकृतिक संख्या <math>m</math>, और एक त्रुटिहीन क्रम <math>\mathcal{O}_X^m|_U \to \mathcal{O}_X^n|_U \to \mathcal{M}|_U \to 0</math>।) एक [[सुसंगत मॉड्यूल]] की धारणा के समानांतर, <math>\mathcal{M}</math> एक [[सुसंगत शीफ]] कहा जाता है यदि यह परिमित प्रकार का है और यदि प्रत्येक खुले समुच्चय के लिए है <math>U</math> और ढेरों का प्रत्येक आकार <math>\phi : \mathcal{O}_X^n \to \mathcal{M}</math> (आवश्यक रूप से विशेषण नहीं), की गिरी <math>\phi</math> परिमित प्रकार का है। <math>\mathcal{O}_X</math> सुसंगत है यदि यह अपने आप में एक मॉड्यूल के रूप में सुसंगत है। मॉड्यूल की प्रकार, सुसंगतता सामान्य रूप से परिमित प्रस्तुति की तुलना में एक सख्त शक्तिशाली स्थिति है। ओका जुटना प्रमेय में कहा गया है कि एक जटिल मैनिफोल्ड पर होलोमोर्फिक कार्यों का पुलिया सुसंगत है।
[[क्रमविनिमेय अंगूठी|क्रमविनिमेय वलय]]ों पर मॉड्यूल के लिए परिमितता की स्थिति मॉड्यूल के शीशों के लिए समान परिमितता की स्थिति को जन्म देती है: <math>\mathcal{M}</math> प्रत्येक बिंदु के लिए, यदि अंतिम रूप से उत्पन्न (प्रतिनिधि रूप से प्रस्तुत किया गया) कहा जाता है <math>x</math> का <math>X</math>, खुला पड़ोस उपस्थित है <math>U</math> का <math>x</math>, प्राकृतिक संख्या <math>n</math> (संभवतः निर्भर करता है <math>U</math>), और ढेरों का विशेषण रूपवाद <math>\mathcal{O}_X^n|_U \to \mathcal{M}|_U</math> (क्रमशः, इसके अतिरिक्त प्राकृतिक संख्या <math>m</math>, और त्रुटिहीन क्रम <math>\mathcal{O}_X^m|_U \to \mathcal{O}_X^n|_U \to \mathcal{M}|_U \to 0</math>।) [[सुसंगत मॉड्यूल]] की धारणा के समानांतर, <math>\mathcal{M}</math> [[सुसंगत शीफ]] कहा जाता है यदि यह परिमित प्रकार का है और यदि प्रत्येक खुले समुच्चय के लिए है <math>U</math> और ढेरों का प्रत्येक आकार <math>\phi : \mathcal{O}_X^n \to \mathcal{M}</math> (आवश्यक रूप से विशेषण नहीं), की गिरी <math>\phi</math> परिमित प्रकार का है। <math>\mathcal{O}_X</math> सुसंगत है यदि यह अपने आप में मॉड्यूल के रूप में सुसंगत है। मॉड्यूल की प्रकार, सुसंगतता सामान्य रूप से परिमित प्रस्तुति की तुलना में सख्त शक्तिशाली स्थिति है। ओका जुटना प्रमेय में कहा गया है कि जटिल मैनिफोल्ड पर होलोमोर्फिक कार्यों का पुलिया सुसंगत है।


=== पूले का फैला हुआ स्थान ===
=== पूले का फैला हुआ स्थान ===
उपरोक्त उदाहरणों में यह नोट किया गया था कि कुछ ढेर स्वाभाविक रूप से खंडों के ढेर के रूप में होते हैं। वास्तव में, समुच्चय के सभी ढेरों को फ्रेंच शब्द étalé से étalé स्पेस नामक एक टोपोलॉजिकल स्पेस के वर्गों के शेवों के रूप में दर्शाया जा सकता है। {{IPA-fr|etale|}}, अर्थ मोटे तौर पर फैला हुआ। यदि <math>F \in \text{Sh}(X)</math> एक पुला खत्म हो गया है <math>X</math>, फिर étalé अंतरिक्ष की <math>F</math> एक टोपोलॉजिकल स्पेस है <math>E</math> एक साथ एक [[स्थानीय होमोमोर्फिज्म]] के साथ <math>\pi: E \to X</math> ऐसा है कि वर्गों <math>F</math> का शेफ़ <math>\Gamma(\pi, -)</math> का <math>\pi</math> है. अंतरिक्ष <math>E</math> सामान्यतः बहुत अजीब है, और चाहे पूला<math>F</math>एक प्राकृतिक सामयिक स्थिति से उत्पन्न होता है,<math>E</math>कोई स्पष्ट सामयिक व्याख्या नहीं हो सकती है। उदाहरण के लिए, यदि <math>F</math> एक सतत कार्य के वर्गों का समूह है <math>f: Y \to X</math>, तब <math>E=Y</math> यदि और केवल यदि <math>f</math> एक स्थानीय होमोमोर्फिज्म है।
उपरोक्त उदाहरणों में यह नोट किया गया था कि कुछ ढेर स्वाभाविक रूप से खंडों के ढेर के रूप में होते हैं। वास्तव में, समुच्चय के सभी ढेरों को फ्रेंच शब्द étalé से étalé स्पेस नामक टोपोलॉजिकल स्पेस के वर्गों के शेवों के रूप में दर्शाया जा सकता है। {{IPA-fr|etale|}}, अर्थ मोटे तौर पर फैला हुआ। यदि <math>F \in \text{Sh}(X)</math> पुला खत्म हो गया है <math>X</math>, फिर étalé अंतरिक्ष की <math>F</math> टोपोलॉजिकल स्पेस है <math>E</math> साथ [[स्थानीय होमोमोर्फिज्म]] के साथ <math>\pi: E \to X</math> ऐसा है कि वर्गों <math>F</math> का शेफ़ <math>\Gamma(\pi, -)</math> का <math>\pi</math> है. अंतरिक्ष <math>E</math> सामान्यतः बहुत अजीब है, और चाहे पूला<math>F</math>प्राकृतिक सामयिक स्थिति से उत्पन्न होता है,<math>E</math>कोई स्पष्ट सामयिक व्याख्या नहीं हो सकती है। उदाहरण के लिए, यदि <math>F</math> सतत कार्य के वर्गों का समूह है <math>f: Y \to X</math>, तब <math>E=Y</math> यदि और केवल यदि <math>f</math> स्थानीय होमोमोर्फिज्म है।


फैली हुई जगह <math>E</math> के डंठल से बनाया गया है<math>F</math>ऊपर<math>X</math>. एक समुच्चय के रूप में, यह उनका असंयुक्त संघ है और<math>\pi</math>स्पष्ट नक्शा है जो मूल्य लेता है <math>x</math> के डंठल पर <math>F</math> ऊपर <math>x \in X</math>. की टोपोलॉजी<math>E</math>निम्नानुसार परिभाषित किया गया है। प्रत्येक तत्व के लिए <math>s \in F(U)</math> और प्रत्येक <math>x \in U</math>, हमें एक रोगाणु मिलता है <math>s</math> पर <math>x</math>, निरूपित <math>[s]_x</math> या <math>s_x</math>. ये कीटाणु बिंदु <math>E</math> निर्धारित करते है. किसी के लिए <math>U</math> और <math>s \in F(U)</math>, इन बिंदुओं का मिलन (सभी के लिए <math>x \in U</math>) में खुला घोषित किया गया है<math>E</math>. ध्यान दें कि प्रत्येक डंठल में [[असतत टोपोलॉजी]] सबस्पेस टोपोलॉजी के रूप में होती है। शीशों के बीच दो रूपवाद संबंधित étélé रिक्त स्थान का एक निरंतर मानचित्र निर्धारित करते हैं जो प्रक्षेपण मानचित्रों के साथ संगत है (इस अर्थ में कि प्रत्येक रोगाणु को एक ही बिंदु पर एक रोगाणु के लिए माप किया जाता है)। यह निर्माण को एक मज़ेदार बनाता है।
फैली हुई जगह <math>E</math> के डंठल से बनाया गया है<math>F</math>ऊपर<math>X</math>. समुच्चय के रूप में, यह उनका असंयुक्त संघ है और<math>\pi</math>स्पष्ट नक्शा है जो मूल्य लेता है <math>x</math> के डंठल पर <math>F</math> ऊपर <math>x \in X</math>. की टोपोलॉजी<math>E</math>निम्नानुसार परिभाषित किया गया है। प्रत्येक तत्व के लिए <math>s \in F(U)</math> और प्रत्येक <math>x \in U</math>, हमें रोगाणु मिलता है <math>s</math> पर <math>x</math>, निरूपित <math>[s]_x</math> या <math>s_x</math>. ये कीटाणु बिंदु <math>E</math> निर्धारित करते है. किसी के लिए <math>U</math> और <math>s \in F(U)</math>, इन बिंदुओं का मिलन (सभी के लिए <math>x \in U</math>) में खुला घोषित किया गया है<math>E</math>. ध्यान दें कि प्रत्येक डंठल में [[असतत टोपोलॉजी]] सबस्पेस टोपोलॉजी के रूप में होती है। शीशों के बीच दो रूपवाद संबंधित étélé रिक्त स्थान का निरंतर मानचित्र निर्धारित करते हैं जो प्रक्षेपण मानचित्रों के साथ संगत है (इस अर्थ में कि प्रत्येक रोगाणु को ही बिंदु पर रोगाणु के लिए माप किया जाता है)। यह निर्माण को मज़ेदार बनाता है।


उपरोक्त निर्माण समुच्चय के ढेरों की श्रेणी के बीच <math>X</math> श्रेणियों की समानता निर्धारित करता है और étalé रिक्त स्थान की श्रेणी <math>X</math>. एक ईटेल स्पेस का निर्माण एक प्रीशेफ पर भी प्रायुक्त किया जा सकता है, इस स्थिति में ईटेल स्पेस के वर्गों का शीफ ​​दिए गए प्रीशेफ से जुड़े शीफ को पुनः प्राप्त करता है।
उपरोक्त निर्माण समुच्चय के ढेरों की श्रेणी के बीच <math>X</math> श्रेणियों की समानता निर्धारित करता है और étalé रिक्त स्थान की श्रेणी <math>X</math>. ईटेल स्पेस का निर्माण प्रीशेफ पर भी प्रायुक्त किया जा सकता है, इस स्थिति में ईटेल स्पेस के वर्गों का शीफ ​​दिए गए प्रीशेफ से जुड़े शीफ को पुनः प्राप्त करता है।


यह निर्माण सभी ढेरों को टोपोलॉजिकल स्पेस की कुछ श्रेणियों पर प्रतिनिधित्व योग्य फ़ंक्टर में बनाता है। ऊपर के रूप में, चलो<math>F</math>एक पुला बनो<math>X</math>, मान ले<math>E</math>इसका फैला हुआ स्थान हो, और रहने दो <math>\pi:E \to X</math> प्राकृतिक प्रक्षेपण हो। अतिश्रेणी पर विचार करें <math>\text{Top}/X</math> टोपोलॉजिकल स्पेस ओवर <math>X</math>, अर्थात्, निश्चित निरंतर मानचित्रों के साथ टोपोलॉजिकल रिक्त स्थान की श्रेणी <math>X</math>. इस श्रेणी की प्रत्येक वस्तु एक सतत मानचित्र है <math>f:Y\to X</math>, और एक रूपवाद से <math>Y\to X</math> को <math>Z\to X</math> एक सतत नक्शा है <math>Y\to Z</math> जो दो मानचित्रों के साथ यात्रा करता है <math>X</math>. एक फंक्‍टर है
यह निर्माण सभी ढेरों को टोपोलॉजिकल स्पेस की कुछ श्रेणियों पर प्रतिनिधित्व योग्य फ़ंक्टर में बनाता है। ऊपर के रूप में, चलो<math>F</math>पुला बनो<math>X</math>, मान ले<math>E</math>इसका फैला हुआ स्थान हो, और रहने दो <math>\pi:E \to X</math> प्राकृतिक प्रक्षेपण हो। अतिश्रेणी पर विचार करें <math>\text{Top}/X</math> टोपोलॉजिकल स्पेस ओवर <math>X</math>, अर्थात्, निश्चित निरंतर मानचित्रों के साथ टोपोलॉजिकल रिक्त स्थान की श्रेणी <math>X</math>. इस श्रेणी की प्रत्येक वस्तु सतत मानचित्र है <math>f:Y\to X</math>, और रूपवाद से <math>Y\to X</math> को <math>Z\to X</math> सतत नक्शा है <math>Y\to Z</math> जो दो मानचित्रों के साथ यात्रा करता है <math>X</math>. फंक्‍टर है


<math>\Gamma:\text{Top}/X \to \text{Sets}</math>
<math>\Gamma:\text{Top}/X \to \text{Sets}</math>


ऑब्जेक्ट भेजना <math>f:Y\to X</math> को <math>f^{-1} F(Y)</math>. उदाहरण के लिए, यदि <math>i: U \hookrightarrow X</math> एक खुले उपसमुच्चय का समावेश है, फिर<blockquote><math>\Gamma(i) = f^{-1} F(U) = F(U) = \Gamma(F, U)</math></blockquote>और एक बिंदु को शामिल करने के लिए <math>i : \{x\}\hookrightarrow X</math>, फिर<blockquote><math>\Gamma(i) = f^{-1} F(\{x\}) = F|_x</math></blockquote>का डंठल है <math>F</math> पर <math>x</math>. एक प्राकृतिक समरूपता <math>(f^{-1}F)(Y) \cong \operatorname{Hom}_{\mathbf{Top}/X}(f, \pi)</math> है,जो यह दर्शाता है <math>\pi: E \to X</math>  (प्रसारित स्थान के लिए) कारक का प्रतिनिधित्व करता है <math>\Gamma</math>.<math>E</math>निर्माण किया जाता है जिससे प्रक्षेपण मानचित्र <math>\pi</math> एक कववलय माप है। बीजगणितीय ज्यामिति में, एक आच्छादन मानचित्र के प्राकृतिक अनुरूप को ईटेल आकारिकी कहा जाता है। étalé से समानता के अतिरिक्त, étale शब्द {{IPA-fr|etal|}} फ्रेंच में एक अलग अर्थ है। मुड़ना संभव है <math>E</math> एक योजना (गणित) में और <math>\pi</math> योजनाओं के एक रूपवाद में इस प्रकार से <math>\pi</math> एक ही सार्वभौमिक गुण को बरकरार रखता है, किन्तु<math>\pi</math>सामान्य रूप से एक ईटेल आकारिकी नहीं है क्योंकि यह अर्ध-परिमित नहीं है। चूँकि, यह औपचारिक रूप से étale है।
ऑब्जेक्ट भेजना <math>f:Y\to X</math> को <math>f^{-1} F(Y)</math>. उदाहरण के लिए, यदि <math>i: U \hookrightarrow X</math> खुले उपसमुच्चय का समावेश है, फिर<blockquote><math>\Gamma(i) = f^{-1} F(U) = F(U) = \Gamma(F, U)</math></blockquote>और बिंदु को शामिल करने के लिए <math>i : \{x\}\hookrightarrow X</math>, फिर<blockquote><math>\Gamma(i) = f^{-1} F(\{x\}) = F|_x</math></blockquote>का डंठल है <math>F</math> पर <math>x</math>. प्राकृतिक समरूपता <math>(f^{-1}F)(Y) \cong \operatorname{Hom}_{\mathbf{Top}/X}(f, \pi)</math> है,जो यह दर्शाता है <math>\pi: E \to X</math>  (प्रसारित स्थान के लिए) कारक का प्रतिनिधित्व करता है <math>\Gamma</math>.<math>E</math>निर्माण किया जाता है जिससे प्रक्षेपण मानचित्र <math>\pi</math> कववलय माप है। बीजगणितीय ज्यामिति में, आच्छादन मानचित्र के प्राकृतिक अनुरूप को ईटेल आकारिकी कहा जाता है। étalé से समानता के अतिरिक्त, étale शब्द {{IPA-fr|etal|}} फ्रेंच में अलग अर्थ है। मुड़ना संभव है <math>E</math> योजना (गणित) में और <math>\pi</math> योजनाओं के रूपवाद में इस प्रकार से <math>\pi</math> ही सार्वभौमिक गुण को बरकरार रखता है, किन्तु<math>\pi</math>सामान्य रूप से ईटेल आकारिकी नहीं है क्योंकि यह अर्ध-परिमित नहीं है। चूँकि, यह औपचारिक रूप से étale है।


एटेल स्पेस द्वारा शेव की परिभाषा लेख में पसमाधाने दी गई परिभाषा से पुरानी है। यह अभी भी गणित के कुछ क्षेत्रों जैसे [[गणितीय विश्लेषण]] में आम है।
एटेल स्पेस द्वारा शेव की परिभाषा लेख में पसमाधाने दी गई परिभाषा से पुरानी है। यह अभी भी गणित के कुछ क्षेत्रों जैसे [[गणितीय विश्लेषण]] में आम है।
Line 222: Line 222:
== शीफ सह समरूपता ==
== शीफ सह समरूपता ==
{{Main|शेफ सह समरूपता}}
{{Main|शेफ सह समरूपता}}
संदर्भों में जहां खुला समुच्चय <math>U</math> निश्चित है, और शीफ को एक चर, समुच्चय के रूप में माना जाता है <math>F(U)</math> भी अधिकांश <math>\Gamma(U, F).</math> दर्शाया जाता है
संदर्भों में जहां खुला समुच्चय <math>U</math> निश्चित है, और शीफ को चर, समुच्चय के रूप में माना जाता है <math>F(U)</math> भी अधिकांश <math>\Gamma(U, F).</math> दर्शाया जाता है


जैसा कि ऊपर उल्लेख किया गया था, यह फ़ैक्टर एपिमोर्फिज्म को संरक्षित नहीं करता है। इसके अतिरिक्त, शीशों का एक एपिमोर्फिज्म <math>\mathcal F \to \mathcal G</math> निम्नलिखित गुण वाला नक्शा है: किसी भी खंड के लिए <math>g \in \mathcal G(U)</math> एक आवरण है <math>\mathcal{U} = \{U_i\}_{i \in I}</math> जहां <ब्लॉककोट><math>U = \bigcup_{i \in I} U_i</math> खुले उपसमुच्चय, जैसे कि प्रतिबंध <math>g|_{U_i}</math> की छवि में हैं <math>\mathcal F(U_i)</math>. चूँकि, <math>g</math> स्वयं की छवि में होने की आवश्यकता नहीं है <math>\mathcal F(U)</math>. इस घटना का एक ठोस उदाहरण घातीय मानचित्र है
जैसा कि ऊपर उल्लेख किया गया था, यह फ़ैक्टर एपिमोर्फिज्म को संरक्षित नहीं करता है। इसके अतिरिक्त, शीशों का एपिमोर्फिज्म <math>\mathcal F \to \mathcal G</math> निम्नलिखित गुण वाला नक्शा है: किसी भी खंड के लिए <math>g \in \mathcal G(U)</math> आवरण है <math>\mathcal{U} = \{U_i\}_{i \in I}</math> जहां <ब्लॉककोट><math>U = \bigcup_{i \in I} U_i</math> खुले उपसमुच्चय, जैसे कि प्रतिबंध <math>g|_{U_i}</math> की छवि में हैं <math>\mathcal F(U_i)</math>. चूँकि, <math>g</math> स्वयं की छवि में होने की आवश्यकता नहीं है <math>\mathcal F(U)</math>. इस घटना का ठोस उदाहरण घातीय मानचित्र है
:<math>\mathcal O \stackrel{\exp} \to \mathcal O^\times</math>
:<math>\mathcal O \stackrel{\exp} \to \mathcal O^\times</math>
होलोमोर्फिक कार्यों और गैर-शून्य होलोमोर्फिक कार्यों के समूह के बीच। यह नक्शा एक एपिमोर्फिज्म है, जो किसी भी गैर-शून्य होलोमोर्फिक फलन को कहने के बराबर है <math>g</math> (कुछ खुले उपसमुच्चय पर <math>\C</math>, कहते हैं), स्थानीय रूप से एक जटिल लघुगणक को स्वीकार करता है, अर्थात, प्रतिबंधित करने के बाद <math>g</math> उपयुक्त खुले उपसमुच्चय के लिए। चूँकि, <math>g</math> विश्व स्तर पर लघुगणक की आवश्यकता नहीं है।
होलोमोर्फिक कार्यों और गैर-शून्य होलोमोर्फिक कार्यों के समूह के बीच। यह नक्शा एपिमोर्फिज्म है, जो किसी भी गैर-शून्य होलोमोर्फिक फलन को कहने के बराबर है <math>g</math> (कुछ खुले उपसमुच्चय पर <math>\C</math>, कहते हैं), स्थानीय रूप से जटिल लघुगणक को स्वीकार करता है, अर्थात, प्रतिबंधित करने के बाद <math>g</math> उपयुक्त खुले उपसमुच्चय के लिए। चूँकि, <math>g</math> विश्व स्तर पर लघुगणक की आवश्यकता नहीं है।


शेफ सह समरूपता इस घटना को पकड़ती है। अधिक त्रुटिहीन रूप से, एबेलियन समूहों के शीशों के त्रुटिहीन अनुक्रम के लिए
शेफ सह समरूपता इस घटना को पकड़ती है। अधिक त्रुटिहीन रूप से, एबेलियन समूहों के शीशों के त्रुटिहीन अनुक्रम के लिए
:<math>0 \to \mathcal F_1 \to \mathcal F_2 \to \mathcal F_3 \to 0,</math>
:<math>0 \to \mathcal F_1 \to \mathcal F_2 \to \mathcal F_3 \to 0,</math>
(एनआई, यदि शिक्षा <math>\mathcal F_2 \to \mathcal F_3</math> कर्नेल किसका है <math>\mathcal F_1</math>), एक लंबा त्रुटिहीन क्रम है<math display="block">0 \to \Gamma(U, \mathcal F_1) \to \Gamma(U, \mathcal F_2) \to \Gamma(U, \mathcal F_3) \to H^1(U, \mathcal F_1) \to H^1(U, \mathcal F_2) \to H^1(U, \mathcal F_3) \to H^2(U, \mathcal F_1) \to \dots</math>इस क्रम के माध्यम से, पसमाधाना सह समरूपता समूह <math>H^1(U, \mathcal F_1)</math> के वर्गों के बीच मानचित्र की गैर-आक्षेपकता के लिए एक उपाय है <math>\mathcal F_2</math> और <math>\mathcal F_3</math>.
(एनआई, यदि शिक्षा <math>\mathcal F_2 \to \mathcal F_3</math> कर्नेल किसका है <math>\mathcal F_1</math>), लंबा त्रुटिहीन क्रम है<math display="block">0 \to \Gamma(U, \mathcal F_1) \to \Gamma(U, \mathcal F_2) \to \Gamma(U, \mathcal F_3) \to H^1(U, \mathcal F_1) \to H^1(U, \mathcal F_2) \to H^1(U, \mathcal F_3) \to H^2(U, \mathcal F_1) \to \dots</math>इस क्रम के माध्यम से, पसमाधाना सह समरूपता समूह <math>H^1(U, \mathcal F_1)</math> के वर्गों के बीच मानचित्र की गैर-आक्षेपकता के लिए उपाय है <math>\mathcal F_2</math> और <math>\mathcal F_3</math>.


शीफ सह समरूपता के निर्माण के कई अलग-अलग तरीके हैं। {{harvtxt|ग्रोथेंडिक|1957}} शेफ सह समरूपता को परिभाषित करने के <math>\Gamma</math> द्वारा उन्हें प्रस्तुत किया गया है. यह विधि सैद्धांतिक रूप से संतोषजनक है, किन्तु, इंजेक्शन के प्रस्तावों पर आधारित होने के कारण, ठोस संगणनाओं में बहुत कम उपयोग होता है। ईश्वरीय समाधान एक अन्य सामान्य, किन्तु व्यावहारिक रूप से दुर्गम दृष्टिकोण है।
शीफ सह समरूपता के निर्माण के कई अलग-अलग तरीके हैं। {{harvtxt|ग्रोथेंडिक|1957}} शेफ सह समरूपता को परिभाषित करने के <math>\Gamma</math> द्वारा उन्हें प्रस्तुत किया गया है. यह विधि सैद्धांतिक रूप से संतोषजनक है, किन्तु, इंजेक्शन के प्रस्तावों पर आधारित होने के कारण, ठोस संगणनाओं में बहुत कम उपयोग होता है। ईश्वरीय समाधान अन्य सामान्य, किन्तु व्यावहारिक रूप से दुर्गम दृष्टिकोण है।


=== कम्प्यूटिंग शीफ सह समरूपता ===
=== कम्प्यूटिंग शीफ सह समरूपता ===
विशेष रूप से मैनिफोल्ड्स पर ढेरों के संदर्भ में, शीफ सह समरूपता की गणना अधिकांश [[मुलायम शीफ]], [[ठीक पुलिया]] और [[पिलपिला पुलिया]] (फ्रेंच ''फ्लैस्क'' अर्थ फ्लैबी से ''फ्लैस्क शेव्स'' के रूप में भी जाना जाता है) द्वारा संकल्पों का उपयोग करके की जा सकती है। उदाहरण के लिए, एकता तर्क के विभाजन से पता चलता है कि कई गुना पर चिकनी कार्यों का शीफ ​​नरम होता है। उच्च सह समरूपता समूह <math>H^i(U, \mathcal F)</math> के लिए <math>i > 0</math> मुलायम शीशों के लिए गायब हो जाते हैं, जो अन्य ढेरों के सह समरूपता की गणना करने का एक तरीका देता है। उदाहरण के लिए, डे रम परिसर निरंतर शीफ का एक संकल्प है <math>\underline{\mathbf{R}}</math> किसी भी चिकने मैनिफोल्ड पर, इसलिए शीफ सह समरूपता <math>\underline{\mathbf{R}}</math> इसके [[डॉ कहलमज गर्भाशय|डॉ कसमाधानमज गर्भाशय]] के बराबर है।
विशेष रूप से मैनिफोल्ड्स पर ढेरों के संदर्भ में, शीफ सह समरूपता की गणना अधिकांश [[मुलायम शीफ]], [[ठीक पुलिया]] और [[पिलपिला पुलिया]] (फ्रेंच ''फ्लैस्क'' अर्थ फ्लैबी से ''फ्लैस्क शेव्स'' के रूप में भी जाना जाता है) द्वारा संकल्पों का उपयोग करके की जा सकती है। उदाहरण के लिए, एकता तर्क के विभाजन से पता चलता है कि कई गुना पर चिकनी कार्यों का शीफ ​​नरम होता है। उच्च सह समरूपता समूह <math>H^i(U, \mathcal F)</math> के लिए <math>i > 0</math> मुलायम शीशों के लिए गायब हो जाते हैं, जो अन्य ढेरों के सह समरूपता की गणना करने का तरीका देता है। उदाहरण के लिए, डे रम परिसर निरंतर शीफ का संकल्प है <math>\underline{\mathbf{R}}</math> किसी भी चिकने मैनिफोल्ड पर, इसलिए शीफ सह समरूपता <math>\underline{\mathbf{R}}</math> इसके [[डॉ कहलमज गर्भाशय|डॉ कसमाधानमज गर्भाशय]] के बराबर है।


चेक सह समरूपता द्वारा एक अलग दृष्टिकोण है। सीच सह समरूपता शेव्स के लिए विकसित पसमाधाना सह समरूपता सिद्धांत था और यह ठोस गणनाओं के लिए उपयुक्त है, जैसे जटिल प्रोजेक्टिव स्पेस के [[सुसंगत शीफ कोहोलॉजी|सुसंगत शीफ सह समरूपता]] की गणना करना <math>\mathbb{P}^n</math>.<ref>Hartshorne (1977), Theorem III.5.1.</ref> यह अंतरिक्ष के खुले उपसमुच्चय पर अनुभागों को अंतरिक्ष पर सह समरूपता कक्षाओं से संबंधित करता है। अधिकांश स्थितियां में, सीच सह समरूपता एक ही सह समरूपता समूह की गणना करता है, जो कि व्युत्पन्न फ़ंक्टर सह समरूपता के रूप में होता है। हालांकि, कुछ पैथोलॉजिकल स्पेस के लिए, चेक सह समरूपता सही देगी <math>H^1</math> किन्तु गलत उच्च सह समरूपता समूह। इसके आसपास पाने के लिए, [[जीन लुइस वेर्डियर]] ने [[hypercover]]िंग विकसित की। हाइपरकववलय्स न केवल सही उच्च सह समरूपता समूह देते हैं किन्तु ऊपर उल्लिखित खुले उपसमुच्चय को किसी अन्य स्थान से कुछ रूपवाद द्वारा प्रतिस्थापित करने की अनुमति भी देते हैं। कुछ अनुप्रयोगों में यह लचीलापन आवश्यक है, जैसे कि पियरे डेलिग्ने की [[मिश्रित हॉज संरचना]]ओं का निर्माण।
चेक सह समरूपता द्वारा अलग दृष्टिकोण है। सीच सह समरूपता शेव्स के लिए विकसित पसमाधाना सह समरूपता सिद्धांत था और यह ठोस गणनाओं के लिए उपयुक्त है, जैसे जटिल प्रोजेक्टिव स्पेस के [[सुसंगत शीफ कोहोलॉजी|सुसंगत शीफ सह समरूपता]] की गणना करना <math>\mathbb{P}^n</math>.<ref>Hartshorne (1977), Theorem III.5.1.</ref> यह अंतरिक्ष के खुले उपसमुच्चय पर अनुभागों को अंतरिक्ष पर सह समरूपता कक्षाओं से संबंधित करता है। अधिकांश स्थितियां में, सीच सह समरूपता ही सह समरूपता समूह की गणना करता है, जो कि व्युत्पन्न फ़ंक्टर सह समरूपता के रूप में होता है। हालांकि, कुछ पैथोलॉजिकल स्पेस के लिए, चेक सह समरूपता सही देगी <math>H^1</math> किन्तु गलत उच्च सह समरूपता समूह। इसके आसपास पाने के लिए, [[जीन लुइस वेर्डियर]] ने [[hypercover]]िंग विकसित की। हाइपरकववलय्स न केवल सही उच्च सह समरूपता समूह देते हैं किन्तु ऊपर उल्लिखित खुले उपसमुच्चय को किसी अन्य स्थान से कुछ रूपवाद द्वारा प्रतिस्थापित करने की अनुमति भी देते हैं। कुछ अनुप्रयोगों में यह लचीलापन आवश्यक है, जैसे कि पियरे डेलिग्ने की [[मिश्रित हॉज संरचना]]ओं का निर्माण।


कई अन्य सुसंगत शीफ सह समरूपता समूह एक एम्बेडिंग का उपयोग करते हुए पाए जाते हैं <math>i:X \hookrightarrow Y</math> एक स्थान का <math>X</math> ज्ञात सह समरूपता के साथ एक अंतरिक्ष में, जैसे <math>\mathbb{P}^n</math>, या कुछ भारित [[भारित प्रक्षेप्य स्थान]] प्रकार, इन परिवेशी स्थानों पर ज्ञात शीफ सह समरूपता समूहों को शेवों से संबंधित किया जा सकता है <math>i_*\mathcal{F}</math>, दे रहा है <math>H^i(Y,i_*\mathcal{F}) \cong H^i(X,\mathcal{F})</math>. उदाहरण के लिए, समतल-वक्रों के सुसंगत शीफ सह समरूपता#शीफ सह समरूपता की गणना आसानी से मिल जाती है। इस स्थान में एक बड़ा प्रमेय [[हॉज संरचना]] है जो एक [[लेरे वर्णक्रमीय अनुक्रम]] का उपयोग करके पाया जाता है, जो डेलिग्ने द्वारा सिद्ध किया गया है।<ref>{{Cite journal|last=Deligne|first=Pierre|date=1971|title=Théorie de Hodge : II|url=http://www.numdam.org/item/?id=PMIHES_1971__40__5_0|journal=Publications Mathématiques de l'IHÉS|language=en|volume=40|pages=5–57|doi=10.1007/BF02684692 |s2cid=118967613 }}</ref><ref>{{Cite journal|last=Deligne|first=Pierre|date=1974|title=Théorie de Hodge : III|url=http://www.numdam.org/item/PMIHES_1974__44__5_0/|journal=Publications Mathématiques de l'IHÉS|language=en|volume=44|pages=5–77|doi=10.1007/BF02685881 |s2cid=189777706 }}</ref> अनिवार्य रूप से, <math>E_1</math>-पृष्ठ शर्तों के साथ <math>E_1^{p,q} = H^p(X,\Omega^q_X)</math>शेफ सह समरूपता ऑफ़ ए [[चिकनी किस्म|चिकनी प्रकार]] [[अनुमानित किस्म|अनुमानित प्रकार]] <math>X</math>पतित, अर्थ <math>E_1 = E_\infty</math>. यह सह समरूपता समूहों पर विहित हॉज संरचना देता है <math>H^k(X,\mathbb{C})</math>. यह बाद में पाया गया कि इन सह समरूपता समूहों को पोंकारे अवशेष का उपयोग करके आसानी से स्पष्ट रूप से गणना की जा सकती है। जैकोबियन आदर्श देखें। इस प्रकार के प्रमेय बीजगणितीय प्रकारों, [[अपघटन प्रमेय]] के सह समरूपता के बारे में सबसे गहरे प्रमेयों में से एक हैं, जो [[मिश्रित हॉज मॉड्यूल]] के लिए मार्ग प्रशस्त करते हैं।
कई अन्य सुसंगत शीफ सह समरूपता समूह एम्बेडिंग का उपयोग करते हुए पाए जाते हैं <math>i:X \hookrightarrow Y</math> स्थान का <math>X</math> ज्ञात सह समरूपता के साथ अंतरिक्ष में, जैसे <math>\mathbb{P}^n</math>, या कुछ भारित [[भारित प्रक्षेप्य स्थान]] प्रकार, इन परिवेशी स्थानों पर ज्ञात शीफ सह समरूपता समूहों को शेवों से संबंधित किया जा सकता है <math>i_*\mathcal{F}</math>, दे रहा है <math>H^i(Y,i_*\mathcal{F}) \cong H^i(X,\mathcal{F})</math>. उदाहरण के लिए, समतल-वक्रों के सुसंगत शीफ सह समरूपता#शीफ सह समरूपता की गणना आसानी से मिल जाती है। इस स्थान में बड़ा प्रमेय [[हॉज संरचना]] है जो [[लेरे वर्णक्रमीय अनुक्रम]] का उपयोग करके पाया जाता है, जो डेलिग्ने द्वारा सिद्ध किया गया है।<ref>{{Cite journal|last=Deligne|first=Pierre|date=1971|title=Théorie de Hodge : II|url=http://www.numdam.org/item/?id=PMIHES_1971__40__5_0|journal=Publications Mathématiques de l'IHÉS|language=en|volume=40|pages=5–57|doi=10.1007/BF02684692 |s2cid=118967613 }}</ref><ref>{{Cite journal|last=Deligne|first=Pierre|date=1974|title=Théorie de Hodge : III|url=http://www.numdam.org/item/PMIHES_1974__44__5_0/|journal=Publications Mathématiques de l'IHÉS|language=en|volume=44|pages=5–77|doi=10.1007/BF02685881 |s2cid=189777706 }}</ref> अनिवार्य रूप से, <math>E_1</math>-पृष्ठ शर्तों के साथ <math>E_1^{p,q} = H^p(X,\Omega^q_X)</math>शेफ सह समरूपता ऑफ़ ए [[चिकनी किस्म|चिकनी प्रकार]] [[अनुमानित किस्म|अनुमानित प्रकार]] <math>X</math>पतित, अर्थ <math>E_1 = E_\infty</math>. यह सह समरूपता समूहों पर विहित हॉज संरचना देता है <math>H^k(X,\mathbb{C})</math>. यह बाद में पाया गया कि इन सह समरूपता समूहों को पोंकारे अवशेष का उपयोग करके आसानी से स्पष्ट रूप से गणना की जा सकती है। जैकोबियन आदर्श देखें। इस प्रकार के प्रमेय बीजगणितीय प्रकारों, [[अपघटन प्रमेय]] के सह समरूपता के बारे में सबसे गहरे प्रमेयों में से हैं, जो [[मिश्रित हॉज मॉड्यूल]] के लिए मार्ग प्रशस्त करते हैं।


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


कई स्थितियां में ढेरों के लिए एक द्वैत सिद्धांत है जो पोंकारे द्वैत को सामान्य करता है। [[सुसंगत द्वैत]] और वर्डीयर द्वैत देखें।
कई स्थितियां में ढेरों के लिए द्वैत सिद्धांत है जो पोंकारे द्वैत को सामान्य करता है। [[सुसंगत द्वैत]] और वर्डीयर द्वैत देखें।


=== ढेरों की व्युत्पन्न श्रेणियां ===
=== ढेरों की व्युत्पन्न श्रेणियां ===
Line 249: Line 249:
कुछ स्थान X पर, एबेलियन समूहों के ढेरों की श्रेणी की [[व्युत्पन्न श्रेणी]], यहाँ के रूप में निरूपित की गई है <math>D(X)</math>निम्नलिखित संबंध के आधार पर, शीफ सह समरूपता के लिए वैचारिक आश्रय है:
कुछ स्थान X पर, एबेलियन समूहों के ढेरों की श्रेणी की [[व्युत्पन्न श्रेणी]], यहाँ के रूप में निरूपित की गई है <math>D(X)</math>निम्नलिखित संबंध के आधार पर, शीफ सह समरूपता के लिए वैचारिक आश्रय है:
:<math>H^n(X, \mathcal F) = \operatorname{Hom}_{D(X)}(\mathbf Z, \mathcal F[n]).</math>
:<math>H^n(X, \mathcal F) = \operatorname{Hom}_{D(X)}(\mathbf Z, \mathcal F[n]).</math>
के बीच का जोड़ <math>f^{-1}</math>, जो का बायाँ सन्निकट <math>f_*</math> है (पसमाधाने से ही एबेलियन समूहों के शीशों के स्तर पर) एक संयोजन को जन्म देता है
के बीच का जोड़ <math>f^{-1}</math>, जो का बायाँ सन्निकट <math>f_*</math> है (पसमाधाने से ही एबेलियन समूहों के शीशों के स्तर पर) संयोजन को जन्म देता है
:<math>f^{-1} : D(Y) \rightleftarrows D(X) : R f_*</math> (के लिए <math>f: X \to Y</math>),
:<math>f^{-1} : D(Y) \rightleftarrows D(X) : R f_*</math> (के लिए <math>f: X \to Y</math>),
जहाँ <math>Rf_*</math> व्युत्पन्न कारक है। यह बाद वाला फंक्‍टर शीफ सह समरूपता की धारणा <math>H^n(X, \mathcal F) = R^n f_* \mathcal F</math> के लिए <math>f: X \to \{*\}</math> को समाहित करता है.
जहाँ <math>Rf_*</math> व्युत्पन्न कारक है। यह बाद वाला फंक्‍टर शीफ सह समरूपता की धारणा <math>H^n(X, \mathcal F) = R^n f_* \mathcal F</math> के लिए <math>f: X \to \{*\}</math> को समाहित करता है.
Line 256: Line 256:
पसंद <math>f_*</math>, सघन समर्थन के साथ प्रत्यक्ष छवि <math>f_!</math> भी निकाला जा सकता है। निम्नलिखित समरूपतावाद के आधार पर <math>R f_! F</math> के [[फाइबर (गणित)]] के सघन समर्थन के साथ सह समरूपता को पैरामीट्रिज <math>f</math> करता है:
पसंद <math>f_*</math>, सघन समर्थन के साथ प्रत्यक्ष छवि <math>f_!</math> भी निकाला जा सकता है। निम्नलिखित समरूपतावाद के आधार पर <math>R f_! F</math> के [[फाइबर (गणित)]] के सघन समर्थन के साथ सह समरूपता को पैरामीट्रिज <math>f</math> करता है:
:<math>(R^i f_! F)_y = H^i_c(f^{-1}(y), F).</math><ref>{{harvtxt|Iversen|1986|loc=Chapter VII, Theorem 1.4}}</ref>
:<math>(R^i f_! F)_y = H^i_c(f^{-1}(y), F).</math><ref>{{harvtxt|Iversen|1986|loc=Chapter VII, Theorem 1.4}}</ref>
यह तुल्याकारिता [[आधार परिवर्तन प्रमेय]] का एक उदाहरण है। एक और संधि है
यह तुल्याकारिता [[आधार परिवर्तन प्रमेय]] का उदाहरण है। और संधि है
:<math>Rf_! : D(X) \rightleftarrows D(Y) : f^!.</math>
:<math>Rf_! : D(X) \rightleftarrows D(Y) : f^!.</math>
ऊपर दिए गए सभी फ़ैक्टरों के विपरीत, मुड़ (या असाधारण) उलटा छवि फ़ैक्टर <math>f^!</math> सामान्य रूप से केवल व्युत्पन्न श्रेणी के स्तर पर परिभाषित किया गया है, अर्थात, फ़ैक्टर को एबेलियन श्रेणियों के बीच कुछ फ़ंक्टर के व्युत्पन्न फ़ंक्टर के रूप में प्राप्त नहीं किया जाता है। यदि <math>f: X \to \{*\}</math> और X आयाम n का एक चिकना [[कुंडा कई गुना]] है, फिर
ऊपर दिए गए सभी फ़ैक्टरों के विपरीत, मुड़ (या असाधारण) उलटा छवि फ़ैक्टर <math>f^!</math> सामान्य रूप से केवल व्युत्पन्न श्रेणी के स्तर पर परिभाषित किया गया है, अर्थात, फ़ैक्टर को एबेलियन श्रेणियों के बीच कुछ फ़ंक्टर के व्युत्पन्न फ़ंक्टर के रूप में प्राप्त नहीं किया जाता है। यदि <math>f: X \to \{*\}</math> और X आयाम n का चिकना [[कुंडा कई गुना]] है, फिर
:<math>f^! \underline \mathbf R \cong \underline \mathbf R [n].</math><ref>{{harvtxt|Kashiwara|Schapira|1994|loc=Chapter III, §3.1}}</ref>
:<math>f^! \underline \mathbf R \cong \underline \mathbf R [n].</math><ref>{{harvtxt|Kashiwara|Schapira|1994|loc=Chapter III, §3.1}}</ref>
यह संगणना, और द्वैत के साथ फ़ैक्टरों की अनुकूलता (वर्डियर द्वैत देखें) का उपयोग पोंकारे द्वैत की उच्च-भौंह स्पष्टीकरण प्राप्त करने के लिए किया जा सकता है। योजनाओं पर अर्ध-सुसंगत ढेरों के संदर्भ में, एक समान द्वैत है जिसे सुसंगत द्वैत के रूप में जाना जाता है।
यह संगणना, और द्वैत के साथ फ़ैक्टरों की अनुकूलता (वर्डियर द्वैत देखें) का उपयोग पोंकारे द्वैत की उच्च-भौंह स्पष्टीकरण प्राप्त करने के लिए किया जा सकता है। योजनाओं पर अर्ध-सुसंगत ढेरों के संदर्भ में, समान द्वैत है जिसे सुसंगत द्वैत के रूप में जाना जाता है।


विकृत शीफ में कुछ वस्तुएं हैं <math>D(X)</math>, अर्थात्, ढेरों के परिसर (किन्तु सामान्य रूप से उचित नहीं)। वे [[विलक्षणता (गणित)]] की ज्यामिति का अध्ययन करने के लिए एक महत्वपूर्ण उपकरण हैं।<ref>{{harvtxt|de Cataldo|Migliorini|2010}}</ref>
विकृत शीफ में कुछ वस्तुएं हैं <math>D(X)</math>, अर्थात्, ढेरों के परिसर (किन्तु सामान्य रूप से उचित नहीं)। वे [[विलक्षणता (गणित)]] की ज्यामिति का अध्ययन करने के लिए महत्वपूर्ण उपकरण हैं।<ref>{{harvtxt|de Cataldo|Migliorini|2010}}</ref>




==== सुसंगत ढेरों और ग्रोथेंडिक समूह की व्युत्पन्न श्रेणियां ====
==== सुसंगत ढेरों और ग्रोथेंडिक समूह की व्युत्पन्न श्रेणियां ====
पुलों की व्युत्पन्न श्रेणियों का एक अन्य महत्वपूर्ण अनुप्रयोग एक योजना पर सुसंगत शेफ की व्युत्पन्न श्रेणी के साथ है <math>X</math> लक्षित <math>D_{Coh}(X)</math>. इसका उपयोग ग्रोथेंडिक ने अपने प्रतिच्छेदन सिद्धांत के विकास में किया था<ref>{{cite web|last=Grothendieck|title=Formalisme des intersections sur les schema algebriques propres|url=http://library.msri.org/books/sga/sga/6/6t_519.html}}</ref> व्युत्पन्न श्रेणियों और के-सिद्धांत का उपयोग करते हुए, कि उप-योजनाओं का प्रतिच्छेदन उत्पाद <math>Y_1, Y_2</math> [[Grothendieck group]] में  
पुलों की व्युत्पन्न श्रेणियों का अन्य महत्वपूर्ण अनुप्रयोग योजना पर सुसंगत शेफ की व्युत्पन्न श्रेणी के साथ है <math>X</math> लक्षित <math>D_{Coh}(X)</math>. इसका उपयोग ग्रोथेंडिक ने अपने प्रतिच्छेदन सिद्धांत के विकास में किया था<ref>{{cite web|last=Grothendieck|title=Formalisme des intersections sur les schema algebriques propres|url=http://library.msri.org/books/sga/sga/6/6t_519.html}}</ref> व्युत्पन्न श्रेणियों और के-सिद्धांत का उपयोग करते हुए, कि उप-योजनाओं का प्रतिच्छेदन उत्पाद <math>Y_1, Y_2</math> [[Grothendieck group]] में  


<math>[Y_1]\cdot[Y_2] = [\mathcal{O}_{Y_1}\otimes_{\mathcal{O}_X}^{\mathbf{L}}\mathcal{O}_{Y_2}] \in K(\text{Coh(X)})</math> के रूप में दर्शाया गया है  
<math>[Y_1]\cdot[Y_2] = [\mathcal{O}_{Y_1}\otimes_{\mathcal{O}_X}^{\mathbf{L}}\mathcal{O}_{Y_2}] \in K(\text{Coh(X)})</math> के रूप में दर्शाया गया है  
Line 274: Line 274:
== साइट्स और टोपोई ==
== साइट्स और टोपोई ==
{{Main|ग्रोथेंडिक टोपोलॉजी|टोपोस}}
{{Main|ग्रोथेंडिक टोपोलॉजी|टोपोस}}
आंद्रे वील के वेइल अनुमानों ने कहा कि [[परिमित क्षेत्र|परिमित क्षेत्रों]] पर बीजगणितीय विविधता के लिए एक [[वेइल कोहोलॉजी सिद्धांत|वेइल सह समरूपता सिद्धांत]] था जो [[रीमैन परिकल्पना]] का एक एनालॉग देगा। एक जटिल मैनिफोल्ड के सह समरूपता को स्थानीय रूप से स्थिर शीफ के शीफ सह समरूपता के रूप में परिभाषित किया जा सकता है <math>\underline{\mathbf{C}}</math> यूक्लिडियन टोपोलॉजी में, जो एक निरंतर शीफ के शीफ सह समरूपता के रूप में सकारात्मक विशेषता में वेल सह समरूपता सिद्धांत को परिभाषित करने का सुझाव देता है। किन्तु इस प्रकार की विविधता पर एकमात्र मौलिक टोपोलॉजी ज़ारिस्की टोपोलॉजी है, और ज़ारिस्की टोपोलॉजी में बहुत कम खुले समुच्चय हैं, इतने कम हैं कि किसी भी ज़ारिस्की-निरंतर शीफ की सह समरूपता एक इरेड्यूसिबल प्रकार पर गायब हो जाती है (डिग्री शून्य को छोड़कर)। [[एलेक्जेंडर ग्रोथेंडिक]] ने ग्रोथेंडिक टोपोलॉजी की प्रारभ करके इस समस्या को समाधान किया, जो कववलय की धारणा को स्वयंसिद्ध करता है। ग्रोथेंडिक की अंतर्दृष्टि यह थी कि शेफ की परिभाषा केवल एक टोपोलॉजिकल स्पेस के खुले समुच्चय पर निर्भर करती है, व्यक्तिगत बिंदुओं पर नहीं। एक बार जब उन्होंने आवरण की धारणा को स्वयंसिद्ध कर लिया, तो खुले समुच्चय को अन्य वस्तुओं द्वारा प्रतिस्थापित किया जा सकता था। एक प्रीशेफ इन वस्तुओं में से प्रत्येक को पसमाधाने की प्रकार डेटा में ले जाता है, और एक शीफ एक प्रीशेफ होता है जो कवर करने की हमारी नई धारणा के संबंध में ग्लूइंग स्वयंसिद्ध को संतुष्ट करता है। इसने ग्रोथेंडिक को ईटेल सह समरूपता और ℓ-एडिक सह समरूपता को परिभाषित करने की अनुमति दी, जो अंततः वील अनुमानों को सिद्ध करने के लिए उपयोग किया गया था।
आंद्रे वील के वेइल अनुमानों ने कहा कि [[परिमित क्षेत्र|परिमित क्षेत्रों]] पर बीजगणितीय विविधता के लिए [[वेइल कोहोलॉजी सिद्धांत|वेइल सह समरूपता सिद्धांत]] था जो [[रीमैन परिकल्पना]] का एनालॉग देगा। जटिल मैनिफोल्ड के सह समरूपता को स्थानीय रूप से स्थिर शीफ के शीफ सह समरूपता के रूप में परिभाषित किया जा सकता है <math>\underline{\mathbf{C}}</math> यूक्लिडियन टोपोलॉजी में, जो निरंतर शीफ के शीफ सह समरूपता के रूप में सकारात्मक विशेषता में वेल सह समरूपता सिद्धांत को परिभाषित करने का सुझाव देता है। किन्तु इस प्रकार की विविधता पर एकमात्र मौलिक टोपोलॉजी ज़ारिस्की टोपोलॉजी है, और ज़ारिस्की टोपोलॉजी में बहुत कम खुले समुच्चय हैं, इतने कम हैं कि किसी भी ज़ारिस्की-निरंतर शीफ की सह समरूपता इरेड्यूसिबल प्रकार पर गायब हो जाती है (डिग्री शून्य को छोड़कर)। [[एलेक्जेंडर ग्रोथेंडिक]] ने ग्रोथेंडिक टोपोलॉजी की प्रारभ करके इस समस्या को समाधान किया, जो कववलय की धारणा को स्वयंसिद्ध करता है। ग्रोथेंडिक की अंतर्दृष्टि यह थी कि शेफ की परिभाषा केवल टोपोलॉजिकल स्पेस के खुले समुच्चय पर निर्भर करती है, व्यक्तिगत बिंदुओं पर नहीं। बार जब उन्होंने आवरण की धारणा को स्वयंसिद्ध कर लिया, तो खुले समुच्चय को अन्य वस्तुओं द्वारा प्रतिस्थापित किया जा सकता था। प्रीशेफ इन वस्तुओं में से प्रत्येक को पसमाधाने की प्रकार डेटा में ले जाता है, और शीफ प्रीशेफ होता है जो कवर करने की हमारी नई धारणा के संबंध में ग्लूइंग स्वयंसिद्ध को संतुष्ट करता है। इसने ग्रोथेंडिक को ईटेल सह समरूपता और ℓ-एडिक सह समरूपता को परिभाषित करने की अनुमति दी, जो अंततः वील अनुमानों को सिद्ध करने के लिए उपयोग किया गया था।


ग्रोथेंडिक टोपोलॉजी वाली श्रेणी को साइट कहा जाता है। किसी साइट पर ढेरों की एक श्रेणी को टोपोस या ग्रोथेंडिक टोपोस कहा जाता है। एक टोपोस की धारणा को बाद में [[विलियम लॉवरे]] और माइल्स टियरनी द्वारा [[प्राथमिक टोपोस]] को परिभाषित करने के लिए अमूर्त किया गया था, जिसका गणितीय तर्क से संबंध है।
ग्रोथेंडिक टोपोलॉजी वाली श्रेणी को साइट कहा जाता है। किसी साइट पर ढेरों की श्रेणी को टोपोस या ग्रोथेंडिक टोपोस कहा जाता है। टोपोस की धारणा को बाद में [[विलियम लॉवरे]] और माइल्स टियरनी द्वारा [[प्राथमिक टोपोस]] को परिभाषित करने के लिए अमूर्त किया गया था, जिसका गणितीय तर्क से संबंध है।


== इतिहास ==
== इतिहास ==
शीफ थ्योरी की पसमाधानी उत्पत्ति को पिन करना कठिन है - वे [[विश्लेषणात्मक निरंतरता]] के विचार के साथ सह-व्यापक हो सकते हैं{{Clarify|date=July 2010}}. [[सह-समरूपता]] पर आधारभूत कार्य से उभरने के लिए एक पहचानने योग्य, मुक्त खड़े सिद्धांत के लिए लगभग 15 साल लग गए।
शीफ थ्योरी की पसमाधानी उत्पत्ति को पिन करना कठिन है - वे [[विश्लेषणात्मक निरंतरता]] के विचार के साथ सह-व्यापक हो सकते हैं{{Clarify|date=July 2010}}. [[सह-समरूपता]] पर आधारभूत कार्य से उभरने के लिए पहचानने योग्य, मुक्त खड़े सिद्धांत के लिए लगभग 15 साल लग गए।
* 1936 एडुअर्ड चेक ने ओपन कववलय कंस्ट्रक्शन के नर्व का परिचय दिया, एक साधारण कॉम्प्लेक्स को ओपन कववलय से जोड़ने के लिए।
* 1936 एडुअर्ड चेक ने ओपन कववलय कंस्ट्रक्शन के नर्व का परिचय दिया, साधारण कॉम्प्लेक्स को ओपन कववलय से जोड़ने के लिए।
* 1938 [[हस्लर व्हिटनी]] ने सह समरूपता की एक 'आधुनिक' परिभाषा दी, जेम्स वैडेल अलेक्जेंडर II|जे. डब्ल्यू अलेक्जेंडर और [[Kolmogorov]] ने सबसे पसमाधाने [[cochain]] को परिभाषित किया।
* 1938 [[हस्लर व्हिटनी]] ने सह समरूपता की 'आधुनिक' परिभाषा दी, जेम्स वैडेल अलेक्जेंडर II|जे. डब्ल्यू अलेक्जेंडर और [[Kolmogorov]] ने सबसे पसमाधाने [[cochain]] को परिभाषित किया।
* 1943 [[नॉर्मन स्टीनरोड]] ने [[स्थानीय गुणांक]]ों के साथ होमोलॉजी पर प्रकाशित किया।
* 1943 [[नॉर्मन स्टीनरोड]] ने [[स्थानीय गुणांक]]ों के साथ होमोलॉजी पर प्रकाशित किया।
* 1945 [[जॉन लेरे]] ने युद्ध के कैदी के रूप में किए गए काम को प्रकाशित किया, जो [[निश्चित बिंदु (गणित)]] को सिद्ध करने से प्रेरित था। आंशिक अंतर समीकरण सिद्धांत के लिए आवेदन के लिए निश्चित बिंदु प्रमेय; यह शीफ थ्योरी और [[वर्णक्रमीय अनुक्रम]] की प्रारभ है।<ref name="Dieudonné123">{{Cite book | last = Dieudonné | first = Jean | author-link = Jean Dieudonné | title = बीजगणितीय और विभेदक टोपोलॉजी का इतिहास 1900-1960| publisher = Birkhäuser | year = 1989 | pages = 123–141 | isbn = 978-0-8176-3388-2}}</रेफरी>
* 1945 [[जॉन लेरे]] ने युद्ध के कैदी के रूप में किए गए काम को प्रकाशित किया, जो [[निश्चित बिंदु (गणित)]] को सिद्ध करने से प्रेरित था। आंशिक अंतर समीकरण सिद्धांत के लिए आवेदन के लिए निश्चित बिंदु प्रमेय; यह शीफ थ्योरी और [[वर्णक्रमीय अनुक्रम]] की प्रारभ है।<ref name="Dieudonné123">{{Cite book | last = Dieudonné | first = Jean | author-link = Jean Dieudonné | title = बीजगणितीय और विभेदक टोपोलॉजी का इतिहास 1900-1960| publisher = Birkhäuser | year = 1989 | pages = 123–141 | isbn = 978-0-8176-3388-2}}</रेफरी>
Line 290: Line 290:
* 1 9 53 विश्लेषणात्मक सिद्धांत में सुसंगत शीफ कोहोलॉजी # परिमित-आयामीता के लिए परिमितता प्रमेय कार्टन और [[जीन पियरे सेरे]] द्वारा सिद्ध किया गया है, जैसा कि सेरे द्वैत है।
* 1 9 53 विश्लेषणात्मक सिद्धांत में सुसंगत शीफ कोहोलॉजी # परिमित-आयामीता के लिए परिमितता प्रमेय कार्टन और [[जीन पियरे सेरे]] द्वारा सिद्ध किया गया है, जैसा कि सेरे द्वैत है।
* 1954 सेरे का पेपर List_of_important_publications_in_mathematics#Faisceaux_Algébriques_Cohérents|Faisceaux algébriques cohérents
* 1954 सेरे का पेपर List_of_important_publications_in_mathematics#Faisceaux_Algébriques_Cohérents|Faisceaux algébriques cohérents
रेफरी>{{Citation | last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Faisceaux algébriques cohérents | url=http://www.mat.uniroma1.it/people/arbarello/FAC.pdf | mr=0068874  | year=1955 | journal=[[Annals of Mathematics]] |series=Second Series | issn=0003-486X | volume=61 | pages=197–278 | doi=10.2307/1969915 | jstor=1969915 | issue=2 }}</ref> (1955 में प्रकाशित) बीजगणितीय ज्यामिति में ढेरों का परिचय देता है। [[फ्रेडरिक हिर्जेब्रुक]] द्वारा इन विचारों का तुरंत उपयोग किया जाता है, जो टोपोलॉजिकल विधियों पर 1956 की एक प्रमुख पुस्तक लिखते हैं।
रेफरी>{{Citation | last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Faisceaux algébriques cohérents | url=http://www.mat.uniroma1.it/people/arbarello/FAC.pdf | mr=0068874  | year=1955 | journal=[[Annals of Mathematics]] |series=Second Series | issn=0003-486X | volume=61 | pages=197–278 | doi=10.2307/1969915 | jstor=1969915 | issue=2 }}</ref> (1955 में प्रकाशित) बीजगणितीय ज्यामिति में ढेरों का परिचय देता है। [[फ्रेडरिक हिर्जेब्रुक]] द्वारा इन विचारों का तुरंत उपयोग किया जाता है, जो टोपोलॉजिकल विधियों पर 1956 की प्रमुख पुस्तक लिखते हैं।
* 1955 [[कान्सास]] में व्याख्यान में [[अलेक्जेंडर ग्रोथेंडिक]] एबेलियन श्रेणी और प्रीशेफ को परिभाषित करता है, और इंजेक्शन के प्रस्तावों का उपयोग करके सभी टोपोलॉजिकल रिक्त स्थान पर शीफ सह समरूपता के सीधे उपयोग की अनुमति देता है, जैसा कि व्युत्पन्न फ़ंक्टर हैं।
* 1955 [[कान्सास]] में व्याख्यान में [[अलेक्जेंडर ग्रोथेंडिक]] एबेलियन श्रेणी और प्रीशेफ को परिभाषित करता है, और इंजेक्शन के प्रस्तावों का उपयोग करके सभी टोपोलॉजिकल रिक्त स्थान पर शीफ सह समरूपता के सीधे उपयोग की अनुमति देता है, जैसा कि व्युत्पन्न फ़ंक्टर हैं।
* 1956 [[ऑस्कर ज़ारिस्की]] की रिपोर्ट बीजगणितीय शीफ सिद्धांत रेफरी>{{Citation | last1=Zariski | first1=Oscar | author1-link=Oscar Zariski | title=Scientific report on the second summer institute, several complex variables. Part III. Algebraic sheaf theory | year=1956 | journal=[[Bulletin of the American Mathematical Society]] | issn=0002-9904 | volume=62 | pages=117-141 | doi=10.1090/S0002-9904-1956-10018-9 | issue=2| doi-access=free }}</रेफरी>
* 1956 [[ऑस्कर ज़ारिस्की]] की रिपोर्ट बीजगणितीय शीफ सिद्धांत रेफरी>{{Citation | last1=Zariski | first1=Oscar | author1-link=Oscar Zariski | title=Scientific report on the second summer institute, several complex variables. Part III. Algebraic sheaf theory | year=1956 | journal=[[Bulletin of the American Mathematical Society]] | issn=0002-9904 | volume=62 | pages=117-141 | doi=10.1090/S0002-9904-1956-10018-9 | issue=2| doi-access=free }}</रेफरी>
Line 298: Line 298:
* 1958 शीफ थ्योरी पर [[रोजर गॉडमेंट]] की किताब प्रकाशित हुई। इस समय के आसपास [[मिकियो सातो]] ने अपने [[hyperfunction]] का प्रस्ताव दिया, जो कि शीफ-सैद्धांतिक प्रकृति का होगा।
* 1958 शीफ थ्योरी पर [[रोजर गॉडमेंट]] की किताब प्रकाशित हुई। इस समय के आसपास [[मिकियो सातो]] ने अपने [[hyperfunction]] का प्रस्ताव दिया, जो कि शीफ-सैद्धांतिक प्रकृति का होगा।


इस बिंदु पर ढेर गणित का एक मुख्य धारा का हिस्सा बन गया था, जिसका उपयोग किसी भी प्रकार से [[बीजगणितीय टोपोलॉजी]] तक सीमित नहीं था। बाद में यह पता चला कि शीशों की श्रेणियों में तर्क [[अंतर्ज्ञानवादी तर्क]] है (इस अवलोकन को अब अधिकांश क्रिपके-जॉयल सिमेंटिक्स के रूप में संदर्भित किया जाता है, किन्तु संभवतः इसे कई लेखकों के लिए जिम्मेदार ठहराया जाना चाहिए)।
इस बिंदु पर ढेर गणित का मुख्य धारा का हिस्सा बन गया था, जिसका उपयोग किसी भी प्रकार से [[बीजगणितीय टोपोलॉजी]] तक सीमित नहीं था। बाद में यह पता चला कि शीशों की श्रेणियों में तर्क [[अंतर्ज्ञानवादी तर्क]] है (इस अवलोकन को अब अधिकांश क्रिपके-जॉयल सिमेंटिक्स के रूप में संदर्भित किया जाता है, किन्तु संभवतः इसे कई लेखकों के लिए जिम्मेदार ठहराया जाना चाहिए)।


== यह भी देखें ==
== यह भी देखें ==
Line 351: Line 351:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 13/02/2023]]
[[Category:Created On 13/02/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 07:10, 8 October 2023

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

गणित का वह क्षेत्र जिसमें शेवों का अध्ययन किया जाता है, शीफ सिद्धांत कहलाती है।

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

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

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

परिभाषाएं और उदाहरण

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

प्रीशेव्स

मान ले टोपोलॉजिकल स्पेस हो। समुच्चय का प्रीशेफ पर निम्नलिखित डेटा के होते हैं:

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

दो अतिरिक्त (फंक्शनल) गुणों को पूरा करने के लिए प्रतिबंध आकारिकी की आवश्यकता होती है:

  • प्रत्येक खुले समुच्चय के लिए का , प्रतिबंध आकारिकी पहचान रूपवाद चालू है.
  • यदि हमारे पास तीन खुले समुच्चय हैं, फिर फलन संरचना हैं.

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

प्रीशेव के कई उदाहरण विभिन्न प्रकार के कार्यों से आते हैं: किसी भी के लिये, कोई निरंतर वास्तविक-मूल्यवान कार्यों पर समुच्चय असाइन कर सकता है. प्रतिबंध मानचित्र तब केवल सतत कार्य को प्रतिबंधित करके दिया जाता है छोटे खुले उपसमुच्चय के लिए, जो फिर से सतत कार्य है। दो प्रीशेफ स्वयंसिद्धों की तुरंत जांच की जाती है, जिससे प्रीशेफ का उदाहरण मिलता है। इसे होलोमोर्फिक कार्यों के समूह और चिकने कार्यों का समूह तक बढ़ाया जा सकता है.

उदाहरणों का अन्य सामान्य वर्ग असाइन कर रहा है निरंतर वास्तविक-मूल्यवान कार्यों का समुच्चय . इस प्रीशेफ को कॉन्स्टेंटस प्रीशेफ कहा जाता है और इसे द्वारा निरूपित किया जाता है.

ढेर

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

  1. (इलाका) मान लीजिए खुला समुच्चय है, का खुला आवरण है, और खंड हैं। यदि सभी के लिए , तब .
  2. (ग्लूइंग स्वयंसिद्ध) मान लीजिए खुला समुच्चय है, का खुला आवरण है , और वर्गों का परिवार है। यदि सेक्शन के सभी जोड़े अपने डोमेन के ओवरलैप पर सहमत हैं, अर्थात् यदि सभी के लिए , तो खंड उपस्थित है ऐसा है कि सभी के लिए .

अनुभागजिनके अस्तित्व की गारंटी स्वयंसिद्ध 2 द्वारा दी जाती है, उन्हें अनुभागों का ग्लूइंग, संघटन या संयोजन कहा जाता हैi. अभिगृहीत 1 के अनुसार यह अद्वितीय है। धाराऔरस्वयंसिद्ध 2 के समझौते की पूर्व शर्त को पूरा करना अधिकांश संगत कहा जाता है; इस प्रकार स्वयंसिद्ध 1 और 2 साथ बताते हैं कि जोड़ीदार संगत वर्गों के किसी भी संग्रह को साथ विशिष्ट रूप से चिपकाया जा सकता है। अलग प्रीशेफ, या मोनोप्रेसीफ, प्रीशेफ संतोषजनक स्वयंसिद्ध 1 है।[1]

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

प्रीशेव्स और शेव्स को सामान्यतः बड़े अक्षरों से दर्शाया जाता है, विशेष रूप से आम होने के नाते, संभवतः फ्रांसीसी भाषा के शब्द के लिए शीफ, फैसियो। सुलेख पत्रों का उपयोग जैसे भी आम है।

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

स्थानीयकरण (कम्यूटेटिव बीजगणित) पर .


ढेरों का और लक्षण वर्णन है जो पसमाधाने चर्चा के समतुल्य है।

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

आगे के उदाहरण

सतत मानचित्र के अनुभागों का शीफ ​​

कोई भी निरंतर नक्शा टोपोलॉजिकल रिक्त स्थान शीफ निर्धारित करता है पर व्यवस्थित करके

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

वह पूला है जो किसी को भी सौंपा जाता हैपर जटिल लघुगणक की शाखाओं का समुच्चय.

बिंदु दिया और एबेलियन समूह , गगनचुंबी इमारत का शेफ़ निम्नानुसार परिभाषित किया गया है: यदि युक्त खुला समुच्चय है , तब . यदि शामिल नहीं है , तब , तुच्छ समूह। प्रतिबंध मानचित्र या तो पहचान पर हैं , यदि दोनों खुले समुच्चय में शामिल हैं, या शून्य नक्शा अन्यथा।

कई गुना पर ढेर

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

असाइनमेंट भेज रहा है सघन रूप से समर्थित कार्यों के लिए शीफ नहीं है, क्योंकि सामान्यतः, छोटे खुले उपसमुच्चय को पास करके इस गुण को संरक्षित करने का कोई तरीका नहीं है। इसके अतिरिक्त, यह cosheaf, द्वैत (गणित) अवधारणा बनाता है जहां प्रतिबंध मानचित्र शीशों की तुलना में विपरीत दिशा में जाते हैं।[2] चूँकि, इन सदिश स्थानों की दोहरी सदिश समष्टि लेने से शीफ मिलता है, वितरण का शीफ ​​(गणित)।

प्रीशेव जो शेव नहीं हैं

ऊपर वर्णित निरंतर प्रीशेफ के अतिरिक्त, जो सामान्यतः शीफ नहीं होता है, ऐसे प्रीशेव के और उदाहरण हैं जो शेव नहीं हैं:

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

जटिल विश्लेषणात्मक रिक्त स्थान और बीजगणितीय ज्यामिति से ढेरों को प्रेरित करना

ढेरों के लिए ऐतिहासिक प्रेरणाओं में से जटिल कई गुना अध्ययन से आया है,[3] जटिल विश्लेषणात्मक ज्यामिति,[4] और योजना (गणित) बीजगणितीय ज्यामिति से। ऐसा इसलिए है क्योंकि पिछले सभी स्थितियां में, हम टोपोलॉजिकल स्पेस पर विचार करते हैं साथ संरचना शीफ ​​के साथ इसे जटिल मैनिफोल्ड, जटिल विश्लेषणात्मक स्थान या योजना की संरचना देना। टोपोलॉजिकल स्पेस को शीफ से लैस करने का यह परिप्रेक्ष्य स्थानीय रूप से वलय्ड स्पेस के सिद्धांत के लिए आवश्यक है (नीचे देखें)।

जटिल कई गुना के साथ तकनीकी चुनौतियां

शीशों को प्रस्तुत करने के लिए मुख्य ऐतिहासिक प्रेरणाओं में से उपकरण का निर्माण करना था जो जटिल मैनिफोल्ड्स पर होलोमॉर्फिक फलन का ट्रैक रखता है। उदाहरण के लिए, सघन जगह कॉम्प्लेक्स मैनिफोल्ड पर (जटिल प्रक्षेप्य स्थान या सजातीय बहुपद के गायब होने वाले स्थान की प्रकार), एकमात्र होलोमोर्फिक फलन <ब्लॉककोट>स्थिर कार्य हैं।[5] इसका अर्थ है कि दो सघन कॉम्प्लेक्स मैनिफोल्ड उपस्थित हो सकते हैं जो आइसोमॉर्फिक नहीं हैं, किन्तु फिर भी वैश्विक होलोमोर्फिक कार्यों की उनकी वलय को निरूपित किया गया है , आइसोमॉर्फिक हैं। इसकी तुलना चिकने मैनिफोल्ड से करें जहां प्रत्येक मैनिफोल्ड है कुछ के अंदर एम्बेड किया जा सकता है , इसलिए इसके सुचारू कार्यों की वलय से सुचारू कार्यों को प्रतिबंधित करने से आता है. जटिल कई गुना पर होलोमोर्फिक कार्यों की वलय पर विचार करते समय और जटिलता अधिक छोटा खुला समुच्चय दिया जाता है , होलोमोर्फिक फ़ंक्शंस आइसोमोर्फिक होंगे. शेव इस जटिलता से निपटने के लिए प्रत्यक्ष उपकरण हैं क्योंकि वे अंतर्निहित टोपोलॉजिकल स्पेस पर होलोमोर्फिक संरचना का ट्रैक रखना संभव बनाते हैं। मनमाने ढंग से खुले उपसमुच्चय पर . इसका अर्थ है जैसा स्थैतिक रूप से अधिक जटिल हो जाता है, वलय चिपकाने से व्यक्त किया जा सकता है. ध्यान दें कि कभी-कभी इस शीफ को निरूपित किया जाता है या केवल , या और भी जब हम उस स्थान पर जोर देना चाहते हैं जो संरचना शीफ ​​से जुड़ा है।

ढेरों के साथ सबमनीफोल्ड्स को ट्रैक करना

जटिल सबमनीफोल्ड पर विचार करके ढेरों का और सामान्य उदाहरण बनाया जा सकता ह . संबद्ध शीफ है, जो खुला उपसमुच्चय लेता है और होलोमोर्फिक कार्यों की वलय देता है . इस प्रकार की औपचारिकता बेसीमा शक्तिशाली पाई गई और बहुत सारे होमोलॉजिकल बीजगणित को प्रेरित करती है जैसे कि शीफ सह समरूपता प्रतिच्छेदन सिद्धांत के बाद सेरे प्रतिच्छेद सूत्र से चौराहा संख्या

ढेरों के साथ संचालन

आकारिकी

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

मान ले और दो पूलों पर रहो . रूपवाद रूपवाद से मिलकर बनता है प्रत्येक खुले समुच्चय के लिए का , इस शर्त के अधीन कि यह रूपवाद प्रतिबंधों के अनुकूल है। दूसरे शब्दों में, प्रत्येक खुले उपसमुच्चय के लिए खुले समुच्चय का , निम्न आरेख क्रमविनिमेय आरेख है।

उदाहरण के लिए, व्युत्पन्न : लेने से ढेरों का आकार मिलता है

वास्तव में, दिया गया (-समय लगातार अलग-अलग) फलन (साथ में open), प्रतिबंध (छोटे से खुले सबसमुच्चय के लिए ) इसके व्युत्पन्न के व्युत्पन्न के बराबर है .

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

संबंधित कथन एपिमोर्फिज्म (शेव के) के लिए नहीं हैं, और उनकी विफलता को शीफ सह समरूपता द्वारा मापा जाता है।

पूले का डंठल

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

के सभी खुले उपसमुच्चय पर सीधी सीमा दिए गए बिंदु से युक्त . दूसरे शब्दों में, डंठल का तत्व खंड द्वारा कुछ खुले पड़ोस के ऊपर दिया जाता है , और ऐसे दो वर्गों को समान माना जाता है यदि उनके प्रतिबंध छोटे पड़ोस पर सहमत हों।

प्राकृतिक रूपवाद खंड लेता है में इसके रोगाणु पर . यह रोगाणु (गणित) की सामान्य परिभाषा को सामान्य करता है।

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

लिउविल के प्रमेय (जटिल विश्लेषण) द्वारा स्थिर है | लिउविल का प्रमेय।[5]


प्रीशेफ को शीफ में बदलना

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

पुलिया के étalé स्थान का उपयोग करके बनाया जा सकता है, अर्थात् मानचित्र के अनुभागों के समूह के रूप में

पुली का और निर्माण कारक के माध्यम से आगे बढ़ता है प्रीशेव से प्रीशेव तक जो प्रीशेफ के गुणों में धीरे-धीरे सुधार करता है: किसी भी प्रीशेफ के लिए , अलग किया गया प्रीशेफ़ है, और किसी भी अलग किए गए प्रीशेफ़ के लिए , पुलिया है। संबद्ध पुलिया द्वारा दिया गया है.[6]

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

उपशेव, भागफल ढेर

यदि शेफ का सबऑब्जेक्ट है एबेलियन समूहों का, फिर भागफल शीफ प्रीशेफ से संबंधित पूला है; दूसरे शब्दों में, भागफल शीफ एबेलियन समूहों के ढेरों के त्रुटिहीन अनुक्रम में फिट बैठता है;

(इसे शीफ एक्सटेंशन भी कहा जाता है।)

मान ले एबेलियन समूहों के ढेर बनो। समुच्चय से ढेरों के रूपवाद की को एबेलियन समूह बनाता है (एबेलियन समूह संरचना द्वारा ). का पुलिया और , द्वारा चिह्नित,

एबेलियन समूहों का पूला है जहाँ पुलिया चालू है द्वारा दिए गए (ध्यान दें कि यहां शेफिफिकेशन की जरूरत नहीं है)। का प्रत्यक्ष योग और द्वारा दिया गया शीफ ​​है , और टेंसर उत्पाद और प्रीशेफ से संबंधित पूला है .

ये सभी ऑपरेशन वलय्स के शीफ के ऊपर मॉड्यूल्स के शीफ तक फैले हुए हैं; उपरोक्त विशेष स्थिति है जब निरंतर शीफ है.

मूल कार्यात्मकता

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

प्रत्यक्ष छवि

शीफ का पुशफॉरवर्ड (प्रत्यक्ष छवि फ़ैक्टर के रूप में भी जाना जाता है)। पर द्वारा परिभाषित शेफ है

यहाँ का खुला उपसमुच्चय है , जिससे इसकी प्रीइमेज इन ओपन हो की निरंतरता से . यह निर्माण गगनचुंबी इमारत के शीफ को ठीक करता है उपर्युक्त:

जहाँ समावेशन है, और सिंगलटन (गणित) पर शीफ के रूप में माना जाता है (द्वारा .

स्थानीय रूप से सघन रिक्त स्थान के बीच मानचित्र के लिए, सघन समर्थन वाली प्रत्यक्ष छवि प्रत्यक्ष छवि का उपशेफ है।[7] परिभाषा से, उन से मिलकर बनता है जिसका समर्थन (गणित) उचित मानचित्र पर है . यदि उचित है, फिर , किन्तु सामान्यतः वे असहमत हैं।

उलटी छवि

पुलबैक या उलटा छवि फ़ैक्टर दूसरे तरीके से जाता है: यह शीफ बनाता है , निरूपित पूले से बाहर पर . यदि खुले उपसमुच्चय का समावेश है, तो उलटा छवि सिर्फ प्रतिबंध है, अर्थात्, यह द्वारा दिया गया है खुले के लिए में . पुलिया (किसी जगह पर ) को स्थानीय रूप से स्थिर शीफ कहा जाता है यदि कुछ खुले उपसमुच्चय द्वारा ऐसा है कि का प्रतिबंध इन सभी खुले उपसमुच्चय स्थिर हैं। टोपोलॉजिकल रिक्त स्थान की विस्तृत श्रृंखला , इस प्रकार के ढेर मूल समूह के समूह प्रतिनिधित्व के लिए श्रेणियों की समानता हैं .

सामान्य मानचित्रों के लिए , की परिभाषा अधिक शामिल है; यह उलटा छवि फ़ैक्टर पर विस्तृत है। डंठल प्राकृतिक पहचान के कारण पुलबैक का आवश्यक विशेष स्थिति है, जहां ऊपर जैसा है:

अधिक सामान्यतः, डंठल संतुष्ट होते हैं.

शून्य से विस्तार

शामिल करने के लिए खुले उपसमुच्चय का, एबेलियन समूहों के समूह के शून्य से विस्तार परिभाषित किया जाता है

यदि और अन्यथा।

पुलाव के लिए पर , यह निर्माण अर्थ में पूरक है, जहाँ के पूरक का समावेश है :

के लिए में , और डंठल शून्य है, चूँकि
के लिए में , और बराबर अन्यथा।

इसलिए ये कारक शीफ-सैद्धांतिक प्रश्नों को कम करने में उपयोगी होते हैं स्तरीकरण (गणित) के स्तर पर, अर्थात्, अपघटन छोटे, स्थानीय रूप से बंद उपसमुच्चय में।

पूरक

अधिक सामान्य श्रेणियों में ढेर

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

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

यदि लक्ष्य श्रेणी सभी सीमा (श्रेणी सिद्धांत) को स्वीकार करता है, ए -वैल्यूड प्रीशेफ शीफ है यदि निम्न आरेख प्रत्येक खुले कवर के लिए तुल्यकारक (गणित) है किसी भी खुले समुच्चय का:

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

और तीरों की जोड़ी प्रतिबंधों के दो समुच्चयों के उत्पाद हैं

और

यदि एबेलियन श्रेणी है, इस स्थिति को त्रुटिहीन अनुक्रम की आवश्यकता के द्वारा भी दोहराया जा सकता है

इस शीफ स्थिति का विशेष स्थिति होता है खाली समुच्चय और इंडेक्स समुच्चय होना खाली भी हो रहा है। इस स्थिति में, शेफ की स्थिति की आवश्यकता होती है में टर्मिनल वस्तु होना .

वलय्ड स्पेस और मॉड्यूल के ढेर

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

उदाहरण के लिए, ए आयामी कई गुना स्थानीय रूप से चक्राकार स्थान है जिसकी संरचना शीफ ​​में होती है -के खुले उपसमुच्चय पर कार्य करता है. स्थानीय रूप से वलय वाली जगह होने की गुण इस तथ्य में अनुवाद करती है कि ऐसा फलन, जो बिंदु पर गैर-शून्य है, के पर्याप्त रूप से छोटे खुले पड़ोस पर भी गैर-शून्य है . कुछ लेखक वास्तव में वास्तविक (या जटिल) मैनिफोल्ड को स्थानीय रूप से वलय वाले स्थान के रूप में परिभाषित करते हैं जो कि जोड़ी के लिए स्थानीय रूप से आइसोमॉर्फिक होते हैं जिसमें खुला उपसमुच्चय (प्रति. ) साथ के पूले के साथ (प्रतिक्रिया होलोमोर्फिक) कार्य होता है।[8] इसी प्रकार, योजना (गणित), बीजगणितीय ज्यामिति में रिक्त स्थान की मूलभूत धारणा, स्थानीय रूप से चक्राकार स्थान हैं जो स्थानीय रूप से वलय के स्पेक्ट्रम के लिए आइसोमोर्फिक हैं।

वलय वाली जगह दी गई है, मॉड्यूल का शीफ शीफ है जैसे कि प्रत्येक खुले समुच्चय पर का , -मॉड्यूल और खुले समुच्चय के प्रत्येक समावेशन के लिए , प्रतिबंध मानचित्र प्रतिबंध मानचित्र के साथ संगत है: fs का प्रतिबंध किसका प्रतिबंध है से कई गुना किसी के लिए में और में .

सबसे महत्वपूर्ण ज्यामितीय वस्तुएँ मॉड्यूल के ढेर हैं। उदाहरण के लिए, -मॉड्यूल वेक्टर बंडलों और स्थानीय रूप से मुक्त शीफ के बीच एक-से-पत्राचार होता है। यह प्रतिमान वास्तविक वेक्टर बंडलों, जटिल वेक्टर बंडलों, या बीजगणितीय ज्यामिति में वेक्टर बंडलों पर प्रायुक्त होता है (जहां इसमें सुचारू कार्य, होलोमोर्फिक कार्य या नियमित कार्य शामिल हैं)। विभेदक -मॉड्यूल समीकरणों के समाधान के ढेर डी-मॉड्यूल है, अर्थात् अंतर ऑपरेटर के शीफ के ऊपर मॉड्यूल हैं। किसी भी टोपोलॉजिकल स्पेस पर, निरंतर शीफ पर मॉड्यूल ऊपर के अर्थ में एबेलियन शीफ के समान हैं।

छल्लों के ढेरों पर मॉड्यूल के ढेरों के लिए अलग उलटा छवि फ़ैक्टर है। यह फ़ंक्टर सामान्यतः निरूपित किया जाता है और यह से अलग है. रिवर्स इमेज फंक्शन देखें।

मॉड्यूल के ढेरों के लिए परिमितता की स्थिति

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

पूले का फैला हुआ स्थान

उपरोक्त उदाहरणों में यह नोट किया गया था कि कुछ ढेर स्वाभाविक रूप से खंडों के ढेर के रूप में होते हैं। वास्तव में, समुच्चय के सभी ढेरों को फ्रेंच शब्द étalé से étalé स्पेस नामक टोपोलॉजिकल स्पेस के वर्गों के शेवों के रूप में दर्शाया जा सकता है। [etale], अर्थ मोटे तौर पर फैला हुआ। यदि पुला खत्म हो गया है , फिर étalé अंतरिक्ष की टोपोलॉजिकल स्पेस है साथ स्थानीय होमोमोर्फिज्म के साथ ऐसा है कि वर्गों का शेफ़ का है. अंतरिक्ष सामान्यतः बहुत अजीब है, और चाहे पूलाप्राकृतिक सामयिक स्थिति से उत्पन्न होता है,कोई स्पष्ट सामयिक व्याख्या नहीं हो सकती है। उदाहरण के लिए, यदि सतत कार्य के वर्गों का समूह है , तब यदि और केवल यदि स्थानीय होमोमोर्फिज्म है।

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

उपरोक्त निर्माण समुच्चय के ढेरों की श्रेणी के बीच श्रेणियों की समानता निर्धारित करता है और étalé रिक्त स्थान की श्रेणी . ईटेल स्पेस का निर्माण प्रीशेफ पर भी प्रायुक्त किया जा सकता है, इस स्थिति में ईटेल स्पेस के वर्गों का शीफ ​​दिए गए प्रीशेफ से जुड़े शीफ को पुनः प्राप्त करता है।

यह निर्माण सभी ढेरों को टोपोलॉजिकल स्पेस की कुछ श्रेणियों पर प्रतिनिधित्व योग्य फ़ंक्टर में बनाता है। ऊपर के रूप में, चलोपुला बनो, मान लेइसका फैला हुआ स्थान हो, और रहने दो प्राकृतिक प्रक्षेपण हो। अतिश्रेणी पर विचार करें टोपोलॉजिकल स्पेस ओवर , अर्थात्, निश्चित निरंतर मानचित्रों के साथ टोपोलॉजिकल रिक्त स्थान की श्रेणी . इस श्रेणी की प्रत्येक वस्तु सतत मानचित्र है , और रूपवाद से को सतत नक्शा है जो दो मानचित्रों के साथ यात्रा करता है . फंक्‍टर है

ऑब्जेक्ट भेजना को . उदाहरण के लिए, यदि खुले उपसमुच्चय का समावेश है, फिर

और बिंदु को शामिल करने के लिए , फिर

का डंठल है पर . प्राकृतिक समरूपता है,जो यह दर्शाता है (प्रसारित स्थान के लिए) कारक का प्रतिनिधित्व करता है .निर्माण किया जाता है जिससे प्रक्षेपण मानचित्र कववलय माप है। बीजगणितीय ज्यामिति में, आच्छादन मानचित्र के प्राकृतिक अनुरूप को ईटेल आकारिकी कहा जाता है। étalé से समानता के अतिरिक्त, étale शब्द [etal] फ्रेंच में अलग अर्थ है। मुड़ना संभव है योजना (गणित) में और योजनाओं के रूपवाद में इस प्रकार से ही सार्वभौमिक गुण को बरकरार रखता है, किन्तुसामान्य रूप से ईटेल आकारिकी नहीं है क्योंकि यह अर्ध-परिमित नहीं है। चूँकि, यह औपचारिक रूप से étale है।

एटेल स्पेस द्वारा शेव की परिभाषा लेख में पसमाधाने दी गई परिभाषा से पुरानी है। यह अभी भी गणित के कुछ क्षेत्रों जैसे गणितीय विश्लेषण में आम है।

शीफ सह समरूपता

संदर्भों में जहां खुला समुच्चय निश्चित है, और शीफ को चर, समुच्चय के रूप में माना जाता है भी अधिकांश दर्शाया जाता है

जैसा कि ऊपर उल्लेख किया गया था, यह फ़ैक्टर एपिमोर्फिज्म को संरक्षित नहीं करता है। इसके अतिरिक्त, शीशों का एपिमोर्फिज्म निम्नलिखित गुण वाला नक्शा है: किसी भी खंड के लिए आवरण है जहां <ब्लॉककोट> खुले उपसमुच्चय, जैसे कि प्रतिबंध की छवि में हैं . चूँकि, स्वयं की छवि में होने की आवश्यकता नहीं है . इस घटना का ठोस उदाहरण घातीय मानचित्र है

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

शेफ सह समरूपता इस घटना को पकड़ती है। अधिक त्रुटिहीन रूप से, एबेलियन समूहों के शीशों के त्रुटिहीन अनुक्रम के लिए

(एनआई, यदि शिक्षा कर्नेल किसका है ), लंबा त्रुटिहीन क्रम है

इस क्रम के माध्यम से, पसमाधाना सह समरूपता समूह के वर्गों के बीच मानचित्र की गैर-आक्षेपकता के लिए उपाय है और .

शीफ सह समरूपता के निर्माण के कई अलग-अलग तरीके हैं। ग्रोथेंडिक (1957) शेफ सह समरूपता को परिभाषित करने के द्वारा उन्हें प्रस्तुत किया गया है. यह विधि सैद्धांतिक रूप से संतोषजनक है, किन्तु, इंजेक्शन के प्रस्तावों पर आधारित होने के कारण, ठोस संगणनाओं में बहुत कम उपयोग होता है। ईश्वरीय समाधान अन्य सामान्य, किन्तु व्यावहारिक रूप से दुर्गम दृष्टिकोण है।

कम्प्यूटिंग शीफ सह समरूपता

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

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

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

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

कई स्थितियां में ढेरों के लिए द्वैत सिद्धांत है जो पोंकारे द्वैत को सामान्य करता है। सुसंगत द्वैत और वर्डीयर द्वैत देखें।

ढेरों की व्युत्पन्न श्रेणियां

कुछ स्थान X पर, एबेलियन समूहों के ढेरों की श्रेणी की व्युत्पन्न श्रेणी, यहाँ के रूप में निरूपित की गई है निम्नलिखित संबंध के आधार पर, शीफ सह समरूपता के लिए वैचारिक आश्रय है:

के बीच का जोड़ , जो का बायाँ सन्निकट है (पसमाधाने से ही एबेलियन समूहों के शीशों के स्तर पर) संयोजन को जन्म देता है

(के लिए ),

जहाँ व्युत्पन्न कारक है। यह बाद वाला फंक्‍टर शीफ सह समरूपता की धारणा के लिए को समाहित करता है.

पसंद , सघन समर्थन के साथ प्रत्यक्ष छवि भी निकाला जा सकता है। निम्नलिखित समरूपतावाद के आधार पर के फाइबर (गणित) के सघन समर्थन के साथ सह समरूपता को पैरामीट्रिज करता है:

[12]

यह तुल्याकारिता आधार परिवर्तन प्रमेय का उदाहरण है। और संधि है

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

[13]

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

विकृत शीफ में कुछ वस्तुएं हैं , अर्थात्, ढेरों के परिसर (किन्तु सामान्य रूप से उचित नहीं)। वे विलक्षणता (गणित) की ज्यामिति का अध्ययन करने के लिए महत्वपूर्ण उपकरण हैं।[14]


सुसंगत ढेरों और ग्रोथेंडिक समूह की व्युत्पन्न श्रेणियां

पुलों की व्युत्पन्न श्रेणियों का अन्य महत्वपूर्ण अनुप्रयोग योजना पर सुसंगत शेफ की व्युत्पन्न श्रेणी के साथ है लक्षित . इसका उपयोग ग्रोथेंडिक ने अपने प्रतिच्छेदन सिद्धांत के विकास में किया था[15] व्युत्पन्न श्रेणियों और के-सिद्धांत का उपयोग करते हुए, कि उप-योजनाओं का प्रतिच्छेदन उत्पाद Grothendieck group में

के रूप में दर्शाया गया है

जहाँ द्वारा परिभाषित सुसंगत ढेर- उनके संरचना शीफ द्वारा दिए गए मॉड्यूल हैं ।

साइट्स और टोपोई

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

ग्रोथेंडिक टोपोलॉजी वाली श्रेणी को साइट कहा जाता है। किसी साइट पर ढेरों की श्रेणी को टोपोस या ग्रोथेंडिक टोपोस कहा जाता है। टोपोस की धारणा को बाद में विलियम लॉवरे और माइल्स टियरनी द्वारा प्राथमिक टोपोस को परिभाषित करने के लिए अमूर्त किया गया था, जिसका गणितीय तर्क से संबंध है।

इतिहास

शीफ थ्योरी की पसमाधानी उत्पत्ति को पिन करना कठिन है - वे विश्लेषणात्मक निरंतरता के विचार के साथ सह-व्यापक हो सकते हैं[clarification needed]. सह-समरूपता पर आधारभूत कार्य से उभरने के लिए पहचानने योग्य, मुक्त खड़े सिद्धांत के लिए लगभग 15 साल लग गए।

  • 1936 एडुअर्ड चेक ने ओपन कववलय कंस्ट्रक्शन के नर्व का परिचय दिया, साधारण कॉम्प्लेक्स को ओपन कववलय से जोड़ने के लिए।
  • 1938 हस्लर व्हिटनी ने सह समरूपता की 'आधुनिक' परिभाषा दी, जेम्स वैडेल अलेक्जेंडर II|जे. डब्ल्यू अलेक्जेंडर और Kolmogorov ने सबसे पसमाधाने cochain को परिभाषित किया।
  • 1943 नॉर्मन स्टीनरोड ने स्थानीय गुणांकों के साथ होमोलॉजी पर प्रकाशित किया।
  • 1945 जॉन लेरे ने युद्ध के कैदी के रूप में किए गए काम को प्रकाशित किया, जो निश्चित बिंदु (गणित) को सिद्ध करने से प्रेरित था। आंशिक अंतर समीकरण सिद्धांत के लिए आवेदन के लिए निश्चित बिंदु प्रमेय; यह शीफ थ्योरी और वर्णक्रमीय अनुक्रम की प्रारभ है।[16] (1955 में प्रकाशित) बीजगणितीय ज्यामिति में ढेरों का परिचय देता है। फ्रेडरिक हिर्जेब्रुक द्वारा इन विचारों का तुरंत उपयोग किया जाता है, जो टोपोलॉजिकल विधियों पर 1956 की प्रमुख पुस्तक लिखते हैं।
  • 1955 कान्सास में व्याख्यान में अलेक्जेंडर ग्रोथेंडिक एबेलियन श्रेणी और प्रीशेफ को परिभाषित करता है, और इंजेक्शन के प्रस्तावों का उपयोग करके सभी टोपोलॉजिकल रिक्त स्थान पर शीफ सह समरूपता के सीधे उपयोग की अनुमति देता है, जैसा कि व्युत्पन्न फ़ंक्टर हैं।
  • 1956 ऑस्कर ज़ारिस्की की रिपोर्ट बीजगणितीय शीफ सिद्धांत रेफरी>Zariski, Oscar (1956), "Scientific report on the second summer institute, several complex variables. Part III. Algebraic sheaf theory", Bulletin of the American Mathematical Society, 62 (2): 117–141, doi:10.1090/S0002-9904-1956-10018-9, ISSN 0002-9904</रेफरी>
  • 1957 ग्रोथेंडिक का ग्रोथेंडिक का तोहोकू पेपर

रेफरी>Grothendieck, Alexander (1957), "Sur quelques points d'algèbre homologique", The Tohoku Mathematical Journal, Second Series, 9 (2): 119–221, doi:10.2748/tmj/1178244839, ISSN 0040-8735, MR 0102537</ref> समजातीय बीजगणित को फिर से लिखता है; वह सुसंगत द्वैत को सिद्ध करता है (अर्थात, संभवतः गणितीय विलक्षणता बीजगणितीय प्रकारों के लिए सेरे द्वैत)।

  • 1957 के बाद: ग्रोथेंडिक बीजगणितीय ज्यामिति की जरूरतों के अनुरूप शीफ सिद्धांत का विस्तार करता है, प्रस्तुत करता है: योजना (गणित) और उन पर सामान्य ढेर, स्थानीय सह समरूपता, व्युत्पन्न श्रेणी (वर्डियर के साथ), और ग्रोथेंडिक टोपोलॉजी। होमोलॉजिकल बीजगणित में 'ग्रोथेंडिक के छह संचालन' के उनके प्रभावशाली योजनाबद्ध विचार भी सामने आते हैं।
  • 1958 शीफ थ्योरी पर रोजर गॉडमेंट की किताब प्रकाशित हुई। इस समय के आसपास मिकियो सातो ने अपने hyperfunction का प्रस्ताव दिया, जो कि शीफ-सैद्धांतिक प्रकृति का होगा।

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

यह भी देखें

टिप्पणियाँ

  1. Tennison, B. R. (1975), Sheaf theory, Cambridge University Press, MR 0404390
  2. Bredon (1997, Chapter V, §1)
  3. Demailly, Jean-Pierre. "Complex Analytic and Differential Geometry" (PDF). Archived (PDF) from the original on 4 Sep 2020. {{cite web}}: |archive-date= / |archive-url= timestamp mismatch (help)
  4. Cartan, Henri. "Variétés analytiques complexes et cohomologie" (PDF). Archived (PDF) from the original on 8 Oct 2020.
  5. 5.0 5.1 "differential geometry - Holomorphic functions on a complex compact manifold are only constants". Mathematics Stack Exchange. Retrieved 2020-10-07.
  6. SGA 4 II 3.0.5
  7. Iversen (1986, Chapter VII)
  8. Ramanan (2005)
  9. Hartshorne (1977), Theorem III.5.1.
  10. Deligne, Pierre (1971). "Théorie de Hodge : II". Publications Mathématiques de l'IHÉS (in English). 40: 5–57. doi:10.1007/BF02684692. S2CID 118967613.
  11. Deligne, Pierre (1974). "Théorie de Hodge : III". Publications Mathématiques de l'IHÉS (in English). 44: 5–77. doi:10.1007/BF02685881. S2CID 189777706.
  12. Iversen (1986, Chapter VII, Theorem 1.4)
  13. Kashiwara & Schapira (1994, Chapter III, §3.1)
  14. de Cataldo & Migliorini (2010)
  15. Grothendieck. "Formalisme des intersections sur les schema algebriques propres".
  16. Dieudonné, Jean (1989). बीजगणितीय और विभेदक टोपोलॉजी का इतिहास 1900-1960. Birkhäuser. pp. 123–141. ISBN 978-0-8176-3388-2.</रेफरी>
    • 1947 हेनरी कर्तन ने डे राम प्रमेय को शीफ विधियों द्वारा, आंद्रे वील के साथ पत्राचार में (डी राम-वेल प्रमेय देखें) पुन: सुधार किया। लेरे अपने पाठ्यक्रमों में बंद सेटों (बाद के कैरपेस) के माध्यम से एक शीफ परिभाषा देता है।
    • 1948 कार्टन संगोष्ठी में पहली बार शीफ सिद्धांत लिखा गया।
    • 1950 कार्टन संगोष्ठी से दूसरा संस्करण शीफ सिद्धांत: शीफ स्पेस (एस्पेस एटले) परिभाषा का उपयोग डंठल की संरचना के साथ किया जाता है। समर्थन (गणित) पेश किए जाते हैं, और सह-विज्ञान समर्थन के साथ। निरंतर मानचित्रण वर्णक्रमीय अनुक्रमों को जन्म देते हैं। उसी समय कियोशी हिल कई जटिल चरों के कार्य में आदर्शों के समूह के एक विचार (उसके निकट) का परिचय देता है।
    • 1951 कार्टन संगोष्ठी ओका के काम के आधार पर प्रमेयों ए और बी को सिद्ध करती है।
    • 1 9 53 विश्लेषणात्मक सिद्धांत में सुसंगत शीफ कोहोलॉजी # परिमित-आयामीता के लिए परिमितता प्रमेय कार्टन और जीन पियरे सेरे द्वारा सिद्ध किया गया है, जैसा कि सेरे द्वैत है।
    • 1954 सेरे का पेपर List_of_important_publications_in_mathematics#Faisceaux_Algébriques_Cohérents|Faisceaux algébriques cohérents
    रेफरी>Serre, Jean-Pierre (1955), "Faisceaux algébriques cohérents" (PDF), Annals of Mathematics, Second Series, 61 (2): 197–278, doi:10.2307/1969915, ISSN 0003-486X, JSTOR 1969915, MR 0068874


संदर्भ