व्युत्पन्न श्रेणी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(4 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Homological construction}}
{{Short description|Homological construction}}
गणित में, [[एबेलियन श्रेणी]] A की व्युत्पन्न श्रेणी D(A) समरूपी बीजगणित का निर्माण है जिसे परिशोधित करने के लिए और एक निश्चित अर्थ में A ''पर परिभाषित व्युत्पन्न प्रकार्यक के सिद्धांत को सरल बनाने के लिए'' प्रस्तुत किया गया है। निर्माण इस आधार पर आगे बढ़ता है कि D(A) की वस्तुएं (श्रेणी सिद्धांत) A में [[चेन कॉम्प्लेक्स|मिश्रित श्रेणी]] होनी चाहिए, ऐसे दो मिश्रित श्रेणी को [[ समाकृतिकता |समाकृतिकता]] माना जाता है जब एक श्रृंखला प्रतिचित्र होता है जो मिश्रित श्रेणी के [[समरूपता (गणित)]] के स्तर पर एक समरूपता को प्रेरित करता है। [[हाइपरहोमोलॉजी|अति सह-समरूपता]] की अवधारणा को परिष्कृत करते हुए व्युत्पन्न प्रकार्यकों को श्रृंखला सम्मिश्रों के लिए परिभाषित किया जा सकता है। परिभाषाएँ सम्मिश्र वर्णक्रमीय अनुक्रमों द्वारा अन्यथा वर्णित सूत्रों के एक महत्वपूर्ण सरलीकरण की ओर ले जाती हैं (पूर्ण रूप से विश्वासपूर्वक नहीं)।
गणित में, [[एबेलियन श्रेणी]] A की व्युत्पन्न श्रेणी D (A) समरूपी बीजगणित का निर्माण है जिसे परिशोधित करने के लिए और एक निश्चित अर्थ में A ''पर परिभाषित व्युत्पन्न प्रकार्यक के सिद्धांत को सरल बनाने के लिए'' प्रस्तुत किया गया है। निर्माण इस आधार पर आगे बढ़ते है कि D (A) की वस्तुएं (श्रेणी सिद्धांत) A में [[चेन कॉम्प्लेक्स|मिश्रित श्रेणी]] होनी चाहिए, ऐसे दो मिश्रित श्रेणी को [[ समाकृतिकता |समाकृतिकता]] माना जाता है जब एक श्रृंखला प्रतिचित्र होता है जो मिश्रित श्रेणी के [[समरूपता (गणित)|समरूपता (गणित]]) के स्तर पर एक समरूपता को प्रेरित करते है। [[हाइपरहोमोलॉजी|अति सह-समरूपता]] की अवधारणा को परिष्कृत करते हुए व्युत्पन्न प्रकार्यकों को श्रृंखला सम्मिश्रों के लिए परिभाषित किया जा सकता है। परिभाषाएँ सम्मिश्र वर्णक्रमीय अनुक्रमों द्वारा अन्यथा वर्णित सूत्रों के महत्वपूर्ण सरलीकरण की ओर ले जाती हैं (पूर्ण रूप से विश्वासपूर्वक नहीं)।


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


== प्रेरणा ==
== प्रेरणा ==


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


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


[[होमोटॉपी सिद्धांत|समस्थेयता सिद्धांत]] में एक समानांतर विकास [[स्पेक्ट्रम (होमोटोपी सिद्धांत)|वर्णक्रम (समस्थेयता सिद्धांत)]] की श्रेणी थी। वर्णक्रम की समस्थेयता श्रेणी और वलय की व्युत्पन्न श्रेणी दोनों त्रिकोणीय श्रेणी के उदाहरण हैं।
[[होमोटॉपी सिद्धांत|समस्थेयता सिद्धांत]] में एक समानांतर विकास [[स्पेक्ट्रम (होमोटोपी सिद्धांत)|वर्णक्रम (समस्थेयता सिद्धांत]]) की श्रेणी थी। वर्णक्रम की समस्थेयता श्रेणी और वलय की व्युत्पन्न श्रेणी दोनों त्रिकोणीय श्रेणी के उदाहरण हैं।


== परिभाषा ==
== परिभाषा ==
बता दें कि <math>\mathcal{A}</math> एक एबेलियन श्रेणी है। (उदाहरणों में एक वलय (गणित) पर [[मॉड्यूल (गणित)]] की श्रेणी और एक स्थलीय स्थान पर एबेलियन समूहों के शेफ (गणित) की श्रेणी सम्मिलित है।) व्युत्पन्न श्रेणी <math>D(\mathcal{A})</math> मिश्रित शृंखला की श्रेणी <math>\operatorname{Kom}(\mathcal{A})</math> के संदर्भ में <math>\mathcal{A}</math> में प्रतिबन्धों के साथ एक सार्वभौमिक गुण द्वारा परिभाषित किया गया है। <math>\operatorname{Kom}(\mathcal{A})</math> की वस्तुएं
बता दें कि <math>\mathcal{A}</math> एक एबेलियन श्रेणी है। (उदाहरणों में एक वलय (गणित) पर [[मॉड्यूल (गणित)|मॉड्यूल (गणित]]) की श्रेणी और एक स्थलीय स्थान पर एबेलियन समूहों के शेफ (गणित) की श्रेणी सम्मिलित है।) व्युत्पन्न श्रेणी <math>D(\mathcal{A})</math> मिश्रित शृंखला की श्रेणी <math>\operatorname{Kom}(\mathcal{A})</math> के संदर्भ में <math>\mathcal{A}</math> में प्रतिबन्धों के साथ एक सार्वभौमिक गुण द्वारा परिभाषित किया गया है। <math>\operatorname{Kom}(\mathcal{A})</math> की वस्तुएं
:<math>\cdots \to  
:<math>\cdots \to  
X^{-1} \xrightarrow{d^{-1}}
X^{-1} \xrightarrow{d^{-1}}
Line 19: Line 19:
X^1 \xrightarrow{d^1}
X^1 \xrightarrow{d^1}
X^2 \to \cdots,</math>
X^2 \to \cdots,</math>
के रूप में हैं, जहाँ प्रत्येक X<sup>i</sup>, <math>\mathcal{A}</math> की वस्तु है और प्रत्येक सम्मिश्र <math>d^{i+1} \circ d^i</math> शून्य है। सम्मिश्र का iवां सह समरूपता समूह <math>H^i(X^\bullet) = \operatorname{ker} d^i / \operatorname{im} d^{i-1}</math> है। यदि इस श्रेणी में <math>(X^\bullet, d_X^\bullet)</math> और <math>(Y^\bullet, d_Y^\bullet)</math> दो वस्तुएँ हैं,तो एक आकारिता <math>f^\bullet \colon (X^\bullet, d_X^\bullet) \to (Y^\bullet, d_Y^\bullet)</math> को आकारिता <math>f_i \colon X^i \to Y^i</math> के एक वर्ग के रूप में परिभाषित किया जाता है जैसे कि <math>f_{i+1} \circ d_X^i = d_Y^i \circ f_i</math>। इस प्रकार की आकारिता सह समरूपता समूहों <math>H^i(f^\bullet) \colon H^i(X^\bullet) \to H^i(Y^\bullet)</math> पर आकारिकी को प्रेरित करता है , और <math>f^\bullet</math> को अर्ध-समरूपता कहा जाता है यदि इनमें से प्रत्येक आकारिता <math>\mathcal{A}</math> में एक तुल्याकारिता है।
के रूप में हैं, जहाँ प्रत्येक X<sup>i</sup>, <math>\mathcal{A}</math> की वस्तु है और प्रत्येक सम्मिश्र <math>d^{i+1} \circ d^i</math> शून्य है। सम्मिश्र का iवां सह समरूपता समूह <math>H^i(X^\bullet) = \operatorname{ker} d^i / \operatorname{im} d^{i-1}</math> है। यदि इस श्रेणी में <math>(X^\bullet, d_X^\bullet)</math> और <math>(Y^\bullet, d_Y^\bullet)</math> दो वस्तुएँ हैं,तो एक आकारिता <math>f^\bullet \colon (X^\bullet, d_X^\bullet) \to (Y^\bullet, d_Y^\bullet)</math> को आकारिता <math>f_i \colon X^i \to Y^i</math> के एक वर्ग के रूप में परिभाषित किया जाता है जैसे कि <math>f_{i+1} \circ d_X^i = d_Y^i \circ f_i</math>। इस प्रकार की आकारिता सह समरूपता समूहों <math>H^i(f^\bullet) \colon H^i(X^\bullet) \to H^i(Y^\bullet)</math> पर आकारिकी को प्रेरित करते है , और <math>f^\bullet</math> को अर्ध-समरूपता कहा जाता है यदि इनमें से प्रत्येक आकारिता <math>\mathcal{A}</math> में एक तुल्याकारिता है।


व्युत्पन्न श्रेणी की सार्वभौमिक गुण यह है कि यह अर्ध-समरूपता के संबंध में सम्मिश्रों की श्रेणी की श्रेणी का स्थानीयकरण है। विशेष रूप से, व्युत्पन्न श्रेणी <math>D(\mathcal{A})</math> एक वर्ग है, साथ में एक प्रकार्यक <math>Q \colon \operatorname{Kom}(\mathcal{A}) \to D(\mathcal{A})</math> के साथ, निम्नलिखित सार्वभौमिक गुण है: मान लीजिए कि <math>\mathcal{C}</math> एक और श्रेणी है ( आवश्यक नहीं कि एबेलियन) और <math>F \colon \operatorname{Kom}(\mathcal{A}) \to \mathcal{C}</math> एक ऐसा कारक है, जब भी <math>f^\bullet</math>, <math>\operatorname{Kom}(\mathcal{A})</math> में अर्ध-समरूपता है , इसका प्रतिरूप <math>F(f^\bullet)</math> <math>\mathcal{C}</math> में एक समरूपता है ; तब <math>F</math> के माध्यम से कारक <math>Q</math>। इस सार्वभौमिक गुण वाली कोई भी दो श्रेणियां समकक्ष हैं।
व्युत्पन्न श्रेणी की सार्वभौमिक गुण यह है कि यह अर्ध-समरूपता के संबंध में सम्मिश्रों की श्रेणी की श्रेणी का स्थानीयकरण है। विशेष रूप से, व्युत्पन्न श्रेणी <math>D(\mathcal{A})</math> एक वर्ग है, साथ में प्रकार्यक <math>Q \colon \operatorname{Kom}(\mathcal{A}) \to D(\mathcal{A})</math> के साथ, निम्नलिखित सार्वभौमिक गुण है: मान लीजिए कि <math>\mathcal{C}</math> एक और श्रेणी है (आवश्यक नहीं कि एबेलियन) और <math>F \colon \operatorname{Kom}(\mathcal{A}) \to \mathcal{C}</math> एक ऐसा कारक है, जब भी <math>f^\bullet</math>, <math>\operatorname{Kom}(\mathcal{A})</math> में अर्ध-समरूपता है , इसका प्रतिरूप <math>F(f^\bullet)</math> <math>\mathcal{C}</math> में समरूपता है ; तब <math>F</math> के माध्यम से कारक <math>Q</math>। इस सार्वभौमिक गुण वाली कोई भी दो श्रेणियां समकक्ष हैं।


=== समस्थेयता श्रेणी से संबंध ===
=== समस्थेयता श्रेणी से संबंध ===
यदि <math>f</math> और <math>g</math> , <math>X^\bullet \to Y^\bullet</math> में दो आकारिता <math>\operatorname{Kom}(\mathcal{A})</math> हैं, तो एक श्रृंखला समस्थेयता या मात्र समस्थेयता <math>h \colon f \to g</math> आकारिकी <math>h^i \colon X^i \to Y^{i-1}</math> का एक संग्रह है जैसे कि प्रत्येक i के लिए <math>f^i - g^i = d_Y^{i-1} \circ h^i + h^{i+1} \circ d_X^i</math> । यह दिखाना स्पष्ट है कि दो समस्थानी आकारिता सह समरूपता समूहों पर समान आकारिकी को प्रेरित करते हैं। हम कहते हैं <math>f \colon X^\bullet \to Y^\bullet</math> एक श्रृंखला समस्थेयता तुल्यता है यदि वहाँ <math>g \colon Y^\bullet \to X^\bullet</math> स्थित है जैसे कि <math>g \circ f</math> और <math>f \circ g</math> क्रमशः <math>X^\bullet</math> और <math>Y^\bullet</math>पर पहचान आकारिकी के लिए श्रृंखला समस्थानी हैं। [[श्रृंखला परिसरों की होमोटॉपी श्रेणी|श्रृंखला सम्मिश्रों <math>K(\mathcal{A})</math> की समस्थेयता श्रेणी]] ,<math>\operatorname{Kom}(\mathcal{A})</math> के समान वस्तुओं वाली श्रेणी है, परन्तु श्रृंखला समस्थेयता के संबंध के संबंध में जिनके आकारिकी सम्मिश्रों के आकारिकी के समतुल्य वर्ग हैं। एक प्राकृतिक कारक <math>\operatorname{Kom}(\mathcal{A}) \to K(\mathcal{A})</math> है जो वस्तुओं पर पहचान है और जो प्रत्येक आकारिता को उसकी श्रृंखला समस्थेयता तुल्यता वर्ग में भेजती है। चूँकि प्रत्येक श्रृंखला समस्थेयता तुल्यता अर्ध-समरूपता है, <math>Q</math> इस कारक के माध्यम से कारक है। फलस्वरूप <math>D(\mathcal{A})</math> को समस्थेयता श्रेणी के स्थानीयकरण के रूप में समान रूप से देखा जा सकता है।
यदि <math>f</math> और <math>g</math> , <math>X^\bullet \to Y^\bullet</math> में दो आकारिता <math>\operatorname{Kom}(\mathcal{A})</math> हैं, तो श्रृंखला समस्थेयता या मात्र समस्थेयता <math>h \colon f \to g</math> आकारिकी <math>h^i \colon X^i \to Y^{i-1}</math> का एक संग्रह है जैसे कि प्रत्येक i के लिए <math>f^i - g^i = d_Y^{i-1} \circ h^i + h^{i+1} \circ d_X^i</math>। यह दिखाना स्पष्ट है कि दो समस्थानी आकारिता सह समरूपता समूहों पर समान आकारिकी को प्रेरित करते हैं। हम कहते हैं <math>f \colon X^\bullet \to Y^\bullet</math> श्रृंखला समस्थेयता तुल्यता है यदि वहाँ <math>g \colon Y^\bullet \to X^\bullet</math> स्थित है जैसे कि <math>g \circ f</math> और <math>f \circ g</math> क्रमशः <math>X^\bullet</math> और <math>Y^\bullet</math>पर पहचान आकारिकी के लिए श्रृंखला समस्थानी हैं। [[श्रृंखला परिसरों की होमोटॉपी श्रेणी|श्रृंखला सम्मिश्रों <math>K(\mathcal{A})</math> की समस्थेयता श्रेणी]] ,<math>\operatorname{Kom}(\mathcal{A})</math> के समान वस्तुओं वाली श्रेणी है, परन्तु श्रृंखला समस्थेयता के संबंध के संबंध में जिनके आकारिकी सम्मिश्रों के आकारिकी के समतुल्य वर्ग हैं। प्राकृतिक कारक <math>\operatorname{Kom}(\mathcal{A}) \to K(\mathcal{A})</math> है जो वस्तुओं पर पहचान है और जो प्रत्येक आकारिता को उसकी श्रृंखला समस्थेयता तुल्यता वर्ग में भेजती है। चूँकि प्रत्येक श्रृंखला समस्थेयता तुल्यता अर्ध-समरूपता है, <math>Q</math> इस कारक के माध्यम से कारक है। फलस्वरूप <math>D(\mathcal{A})</math> को समस्थेयता श्रेणी के स्थानीयकरण के रूप में समान रूप से देखा जा सकता है।


[[मॉडल श्रेणी]] के दृष्टिकोण से, व्युत्पन्न श्रेणी D (A) सम्मिश्रों की श्रेणी की सत्य 'समस्थेयता श्रेणी' है, जबकि के (ए) को 'सरल समस्थेयता श्रेणी' कहा जा सकता है।
[[मॉडल श्रेणी]] के दृष्टिकोण से, व्युत्पन्न श्रेणी D (A) सम्मिश्रों की श्रेणी की उचित 'समस्थेयता श्रेणी' है, जबकि के (ए) को 'सरल समस्थेयता श्रेणी' कहा जा सकता है।


=== व्युत्पन्न श्रेणी का निर्माण ===
=== व्युत्पन्न श्रेणी का निर्माण ===
व्युत्पन्न श्रेणी के कई संभावित निर्माण हैं। जब <math>\mathcal{A}</math> एक छोटी श्रेणी है, तो अर्ध-समरूपता के औपचारिक रूप से आसन्न व्युत्क्रमों द्वारा व्युत्पन्न श्रेणी का प्रत्यक्ष निर्माण होता है। यह उत्पादक और संबंधों द्वारा श्रेणी के सामान्य निर्माण का एक उदाहरण है।<ref>Mac Lane, ''[[Categories for the Working Mathematician]].''</ref>
व्युत्पन्न श्रेणी के कई संभावित निर्माण हैं। जब <math>\mathcal{A}</math> छोटी श्रेणी है, तो अर्ध-समरूपता के औपचारिक रूप से आसन्न व्युत्क्रमों द्वारा व्युत्पन्न श्रेणी का प्रत्यक्ष निर्माण होता है। यह उत्पादक और संबंधों द्वारा श्रेणी के सामान्य निर्माण का एक उदाहरण है।<ref>Mac Lane, ''[[Categories for the Working Mathematician]].''</ref>


जब <math>\mathcal{A}</math> एक बड़ी श्रेणी है, यह निर्माण निर्धारित सैद्धांतिक कारणों से काम नहीं करता है। यह निर्माण रूपों को पथों के समतुल्य वर्गों के रूप में बनाता है। यदि <math>\mathcal{A}</math> वस्तुओं का एक उचित वर्ग है, जो सभी समरूप हैं, तो इनमें से किन्हीं दो वस्तुओं के बीच पथों का एक उचित वर्ग है। उत्पादक और संबंध निर्माण इसलिए मात्र गारंटी देता है कि दो वस्तुओं के बीच आकारिता एक उचित वर्ग बनाते हैं। यद्यपि, एक श्रेणी में दो वस्तुओं के बीच आकारिता सामान्यतः समुच्चय होने की आवश्यकता होती है, और इसलिए यह निर्माण वास्तविक श्रेणी का उत्पादन करने में विफल रहता है।
जब <math>\mathcal{A}</math> बड़ी श्रेणी है, यह निर्माण निर्धारित सैद्धांतिक कारणों से काम नहीं करता है। यह निर्माण रूपों को पथों के समतुल्य वर्गों के रूप में बनाते है। यदि <math>\mathcal{A}</math> वस्तुओं का एक उचित वर्ग है, जो सभी समरूप हैं, तो इनमें से किन्हीं दो वस्तुओं के बीच पथों का एक उचित वर्ग है। उत्पादक और संबंध निर्माण इसलिए मात्र गारंटी देता है कि दो वस्तुओं के बीच आकारिता उचित वर्ग बनाते हैं। यद्यपि, श्रेणी में दो वस्तुओं के बीच आकारिता सामान्यतः समुच्चय होने की आवश्यकता होती है, और इसलिए यह निर्माण वास्तविक श्रेणी का उत्पादन करने में विफल रहते है।


यहां तक ​​कि जब <math>\mathcal{A}</math> छोटा है, यद्यपि, उत्पादक और संबंधों द्वारा निर्माण सामान्यतः एक ऐसी श्रेणी में होता है जिसकी संरचना अपारदर्शी होती है, जहां एक गूढ़ समानता संबंध के अधीन आकारिकी स्वेच्पटलः लंबे पथ होते हैं। इस कारण से, व्युत्पन्न श्रेणी का निर्माण अधिक ठोस रूप से तब भी किया जाता है जब समुच्चय सिद्धांत समस्या में न हो।
यहां तक ​​कि जब <math>\mathcal{A}</math> छोटा होता है,यद्यपि, उत्पादक और संबंधों द्वारा निर्माण सामान्यतः एक ऐसी श्रेणी में होता है जिसकी संरचना अपारदर्शी होती है, जहां एक गूढ़ समानता संबंध के अधीन आकारिकी स्वेच्छतः लंबे पथ होते हैं। इस कारण से, व्युत्पन्न श्रेणी का निर्माण अधिक ठोस रूप से तब भी किया जाता है जब समुच्चय सिद्धांत समस्या में न हो।


ये अन्य निर्माण समस्थेयता श्रेणी से गुजरते हैं। <math>K(\mathcal{A})</math> में अर्ध-समरूपता का संग्रह गुणक प्रणाली बनाता है। यह प्रतिबन्धों का एक संग्रह है जो सम्मिश्र पथों को सरल पथों के रूप में फिर से लिखने की अनुमति देता है। गेब्रियल-ज़िस्मान प्रमेय का तात्पर्य है कि गुणक प्रणाली में स्थानीयकरण का पटलों के संदर्भ में एक सरल विवरण है।<ref>{{cite book |first1=Peter |last1=Gabriel  |first2=M. |last2=Zisman |title=फ्रैक्शंस और होमोटॉपी थ्योरी की गणना|chapter=1.2 The Calculus of Fractions: Proposition 2.4 |page=14 |isbn=978-3-642-85844-4 |publisher=Springer |url={{GBurl|ySvqCAAAQBAJ|pg=PR9}}}}</ref> एक आकारिता <math>X^\bullet \to Y^\bullet</math> में <math>D(\mathcal{A})</math> जोड़ी <math>(s, f)</math> के रूप में वर्णित किया जा सकता है , जहां कुछ <math>Z^\bullet</math> सम्मिश्र के लिए , <math>s \colon Z^\bullet \to X^\bullet</math> एक अर्ध-समरूपता है और <math>f \colon Z^\bullet \to Y^\bullet</math> आकारिकी की एक श्रृंखला समस्थेयता तुल्यता वर्ग है। विभेदननात्मक रूप से, यह <math>f \circ s^{-1}</math> का प्रतिनिधित्व करता है। दो पटलें समान होती हैं यदि उनके निकट एक सामान्य पटल के ऊपर हो।
ये अन्य निर्माण समस्थेयता श्रेणी से गुजरते हैं। <math>K(\mathcal{A})</math> में अर्ध-समरूपता का संग्रह गुणक प्रणाली बनाता है। यह प्रतिबन्धों का एक संग्रह है जो सम्मिश्र पथों को सरल पथों के रूप में फिर से लिखने की अनुमति देता है। गेब्रियल-ज़िस्मान प्रमेय का तात्पर्य है कि गुणक प्रणाली में स्थानीयकरण का पटलों के संदर्भ में सरल विवरण है।<ref>{{cite book |first1=Peter |last1=Gabriel  |first2=M. |last2=Zisman |title=फ्रैक्शंस और होमोटॉपी थ्योरी की गणना|chapter=1.2 The Calculus of Fractions: Proposition 2.4 |page=14 |isbn=978-3-642-85844-4 |publisher=Springer |url={{GBurl|ySvqCAAAQBAJ|pg=PR9}}}}</ref> आकारिता <math>X^\bullet \to Y^\bullet</math> में <math>D(\mathcal{A})</math> युग्म <math>(s, f)</math> के रूप में वर्णित किया जा सकता है , जहां कुछ <math>Z^\bullet</math> सम्मिश्र के लिए , <math>s \colon Z^\bullet \to X^\bullet</math> एक अर्ध-समरूपता है और <math>f \colon Z^\bullet \to Y^\bullet</math> आकारिकी की एक श्रृंखला समस्थेयता तुल्यता वर्ग है। विभेदननात्मक रूप से, यह <math>f \circ s^{-1}</math> का प्रतिनिधित्व करता है। दो पटलें समान होती हैं यदि उनके निकट सामान्य पटल के ऊपर हो।


पटलों के साथ आकारिता की श्रृंखलाओं को बदलने से बड़ी श्रेणियों की व्युत्पन्न श्रेणियों में सम्मिलित समुच्चय-सैद्धांतिक समस्याओं के हल को भी सक्षम बनाता है। सम्मिश्र <math>X^\bullet</math> को ठीक करें और श्रेणी <math>I_{X^\bullet}</math> पर विचार करें, जिनकी वस्तुएं सह प्रांत <math>X^\bullet</math> के साथ <math>K(\mathcal{A})</math> में अर्ध-समरूपता हैं और जिनकी आकृतियां क्रमविनिमेय आरेख हैं। समान रूप से, यह <math>X^\bullet</math> पर वस्तुओं की श्रेणी है जिनके संरचना मानचित्र अर्ध-समरूपता हैं। तब गुणक प्रणाली की स्थिति का अर्थ है कि <math>X^\bullet</math> से <math>Y^\bullet</math> तक <math>D(\mathcal{A})</math> में आकारिता
पटलों के साथ आकारिता की श्रृंखलाओं को बदलने से बड़ी श्रेणियों की व्युत्पन्न श्रेणियों में सम्मिलित समुच्चय-सैद्धांतिक समस्याओं के हल को भी सक्षम बनाते है। सम्मिश्र <math>X^\bullet</math> को ठीक करें और श्रेणी <math>I_{X^\bullet}</math> पर विचार करें, जिनकी वस्तुएं सह प्रांत <math>X^\bullet</math> के साथ <math>K(\mathcal{A})</math> में अर्ध-समरूपता हैं और जिनकी आकृतियां क्रमविनिमेय आरेख हैं। समान रूप से, यह <math>X^\bullet</math> पर वस्तुओं की श्रेणी है जिनके संरचना मानचित्र अर्ध-समरूपता हैं। तब गुणक प्रणाली की स्थिति का अर्थ है कि <math>X^\bullet</math> से <math>Y^\bullet</math> तक <math>D(\mathcal{A})</math> में आकारिता
:<math>\varinjlim_{I_{X^\bullet}} \operatorname{Hom}_{K(\mathcal{A})}((X')^\bullet, Y^\bullet)</math>
:<math>\varinjlim_{I_{X^\bullet}} \operatorname{Hom}_{K(\mathcal{A})}((X')^\bullet, Y^\bullet)</math>
हैं, यह मानते हुए कि यह सह सीमा वस्तुतः एक समुच्चय है। जबकि <math>I_{X^\bullet}</math> संभावित रूप से एक बड़ी श्रेणी है, कुछ स्थितियों में इसे एक छोटी श्रेणी द्वारा नियंत्रित किया जाता है। यह स्थिति है, उदाहरण के लिए, यदि <math>\mathcal{A}</math> एक ग्रोथेंडिक एबेलियन श्रेणी है (जिसका अर्थ है कि यह AB5 को संतुष्ट करता है और उत्पादक का एक समुच्चय है), आवश्यक बिंदु के साथ कि मात्र परिबद्ध गणनांक की वस्तुएं प्रासंगिक हैं।<ref>{{harvnb|Weibel|1994|loc=remark 10.4.5 and errata}}</ref> इन स्थितियों में, सीमा की गणना एक छोटी उपश्रेणी पर की जा सकती है, और यह सुनिश्चित करता है कि परिणाम एक समुच्चय है। तब <math>D(\mathcal{A})</math> को इन समुच्चयों को इसके <math>\operatorname{Hom}</math> समुच्चय रूप में परिभाषित किया जा सकता है।
हैं, यह मानते हुए कि यह सह सीमा वस्तुतः समुच्चय है। जबकि <math>I_{X^\bullet}</math> संभावित रूप से बड़ी श्रेणी है, कुछ स्थितियों में इसे छोटी श्रेणी द्वारा नियंत्रित किया जाता है। यह स्थिति है, उदाहरण के लिए, यदि <math>\mathcal{A}</math> एक ग्रोथेंडिक एबेलियन श्रेणी है (जिसका अर्थ है कि यह AB5 को संतुष्ट करते है और उत्पादक का समुच्चय है), आवश्यक बिंदु के साथ कि मात्र परिबद्ध गणनांक की वस्तुएं प्रासंगिक हैं।<ref>{{harvnb|Weibel|1994|loc=remark 10.4.5 and errata}}</ref> इन स्थितियों में, सीमा की गणना छोटी उपश्रेणी पर की जा सकती है, और यह सुनिश्चित करता है कि परिणाम एक समुच्चय है। तब <math>D(\mathcal{A})</math> को इन समुच्चयों को इसके <math>\operatorname{Hom}</math> समुच्चय रूप में परिभाषित किया जा सकता है।


समस्थेयता श्रेणी में आकारिकी द्वारा व्युत्पन्न श्रेणी में आकारिता को बदलने के आधार पर एक अलग दृष्टिकोण है। सह प्रांत के साथ व्युत्पन्न श्रेणी में एक आकारिता अंतःक्षेपी वस्तुओं के सम्मिश्र से नीचे बंधा हुआ है, समस्थेयता श्रेणी में इस सम्मिश्र के आकारिकी के समान है; यह अवधिवार अंतःक्षेप से होता है। अवधिवार अंतःक्षेप को एक दृढ स्थिति से बदलकर, एक समान गुण प्राप्त होती है जो असीमित सम्मिश्रों पर भी लागू होती है। एक सम्मिश्र <math>I^\bullet</math> ''K''-अंतःक्षेप है यदि, प्रत्येक अचक्रीय सम्मिश्र <math>X^\bullet</math> के लिए , हमारे निकट <math>\operatorname{Hom}_{K(\mathcal{A})}(X^\bullet, I^\bullet) = 0</math> है। इसका स्पष्ट परिणाम यह है कि, प्रत्येक सम्मिश्र <math>X^\bullet</math> के लिए , <math>K(\mathcal{A})</math> में आकारिकी <math>X^\bullet \to I^\bullet</math>, <math>D(\mathcal{A})</math> में ऐसे आकारिता के समान हैं। सर्पे की एक प्रमेय, ग्रोथेंडिक और स्पाल्टेंस्टीन के सामान्यीकरण का काम, यह निश्चय करता है कि ग्रोथेंडिक एबेलियन श्रेणी में, प्रत्येक सम्मिश्र अंतःक्षेप की प्रतिबन्धों के साथ K-अंतःक्षेप सम्मिश्र के लिए अर्ध- समरूपी है, और इसके अतिरिक्त, यह क्रियात्मक है।<ref>Stacks Project, tag 079P.</ref> विशेष रूप से, हम समस्थेयता श्रेणी में के-अंतःक्षेप विभेदन और संगणना आकारिता को निकट करके व्युत्पन्न श्रेणी में आकारिकी को परिभाषित कर सकते हैं। सर्पेे के निर्माण की कार्यात्मकता यह सुनिश्चित करती है कि आकारिता की संरचना ठीक रूप से परिभाषित है। पटलों का उपयोग कर निर्माण के जैसे, यह निर्माण भी व्युत्पन्न श्रेणी के लिए उपयुक्त समुच्चय सैद्धांतिक गुणों को सुनिश्चित करता है, क्योंकि ये गुण पहले से ही समस्थेयता श्रेणी से संतुष्ट हैं।
समस्थेयता श्रेणी में आकारिकी द्वारा व्युत्पन्न श्रेणी में आकारिता को बदलने के आधार पर अलग दृष्टिकोण है। सह प्रांत के साथ व्युत्पन्न श्रेणी में आकारिता अंतःक्षेपी वस्तुओं के सम्मिश्र से नीचे बंधा हुआ है, समस्थेयता श्रेणी में इस सम्मिश्र के आकारिकी के समान है; यह अवधिवार अंतःक्षेप से होता है। अवधिवार अंतःक्षेप को एक दृढ स्थिति से बदलकर, एक समान गुण प्राप्त होती है जो असीमित सम्मिश्रों पर भी लागू होती है। सम्मिश्र <math>I^\bullet</math> ''K''-अंतःक्षेप है यदि, प्रत्येक अचक्रीय सम्मिश्र <math>X^\bullet</math> के लिए , हमारे निकट <math>\operatorname{Hom}_{K(\mathcal{A})}(X^\bullet, I^\bullet) = 0</math> है। इसका स्पष्ट परिणाम यह है कि, प्रत्येक सम्मिश्र <math>X^\bullet</math> के लिए , <math>K(\mathcal{A})</math> में आकारिकी <math>X^\bullet \to I^\bullet</math>, <math>D(\mathcal{A})</math> में ऐसे आकारिता के समान हैं। सर्पे की एक प्रमेय, ग्रोथेंडिक और स्पाल्टेंस्टीन के सामान्यीकरण का काम, यह निश्चय करता है कि ग्रोथेंडिक एबेलियन श्रेणी में, प्रत्येक सम्मिश्र अंतःक्षेप की प्रतिबन्धों के साथ K-अंतःक्षेप सम्मिश्र के लिए अर्ध- समरूपी है, और इसके अतिरिक्त, यह क्रियात्मक है।<ref>Stacks Project, tag 079P.</ref> विशेष रूप से, हम समस्थेयता श्रेणी में के-अंतःक्षेप विभेदन और संगणना आकारिता को निकट करके व्युत्पन्न श्रेणी में आकारिकी को परिभाषित कर सकते हैं। सर्पेे के निर्माण की कार्यात्मकता यह सुनिश्चित करती है कि आकारिता की संरचना ठीक रूप से परिभाषित है। पटलों का उपयोग कर निर्माण के जैसे, यह निर्माण भी व्युत्पन्न श्रेणी के लिए उपयुक्त समुच्चय सैद्धांतिक गुणों को सुनिश्चित करता है, क्योंकि ये गुण पहले से ही समस्थेयता श्रेणी से संतुष्ट हैं।


== व्युत्पन्न होम-समुच्चय ==
== व्युत्पन्न होम-समुच्चय ==
जैसा कि पहले उल्लेख किया गया है, व्युत्पन्न श्रेणी में होम समुच्चय पटलों, या घाटियों <math>X \rightarrow Y' \leftarrow Y</math> के माध्यम से व्यक्त किए जाते हैं , जहां <math>Y \to Y'</math> एक अर्ध-समरूपता है। अवयव किस प्रकार दिखते हैं, इसकी ठीक प्रतिरूप पाने के लिए, एक यथार्थ अनुक्रम
जैसा कि पहले उल्लेख किया गया है, व्युत्पन्न श्रेणी में होम समुच्चय पटलों, या घाटियों <math>X \rightarrow Y' \leftarrow Y</math> के माध्यम से व्यक्त किए जाते हैं , जहां <math>Y \to Y'</math> अर्ध-समरूपता है। अवयव किस प्रकार दिखते हैं, इसकी ठीक प्रतिरूप पाने के लिए, एक यथार्थ अनुक्रम
:<math>
:<math>
0 \to \mathcal{E}_n \overset{\phi_{n,n-1}}{\rightarrow} \mathcal{E}_{n-1} \overset{\phi_{n-1,n-2}}{\rightarrow} \cdots \overset{\phi_{1,0}}{\rightarrow} \mathcal{E}_0 \to 0
0 \to \mathcal{E}_n \overset{\phi_{n,n-1}}{\rightarrow} \mathcal{E}_{n-1} \overset{\phi_{n-1,n-2}}{\rightarrow} \cdots \overset{\phi_{1,0}}{\rightarrow} \mathcal{E}_0 \to 0
Line 62: Line 62:
\phi \in \mathbf{RHom}(\mathcal{E}_0, \mathcal{E}_n[+(n-1)])
\phi \in \mathbf{RHom}(\mathcal{E}_0, \mathcal{E}_n[+(n-1)])
</math>
</math>
को परिभाषित करता है। इस अवलोकन का एक अनुप्रयोग अतियाह-श्रेणी का निर्माण है।<ref>{{cite journal |last1=Markarian |first1=Nikita |title=अतियाह वर्ग, होशचाइल्ड कोहोलॉजी और रीमैन-रोच प्रमेय|journal=Journal of the London Mathematical Society |year=2009 |volume=79 |pages=129–143 |doi=10.1112/jlms/jdn064 |arxiv=math/0610553 |s2cid=16236000 }}</ref>
को परिभाषित करता है। इस अवलोकन का अनुप्रयोग अतियाह-श्रेणी का निर्माण है।<ref>{{cite journal |last1=Markarian |first1=Nikita |title=अतियाह वर्ग, होशचाइल्ड कोहोलॉजी और रीमैन-रोच प्रमेय|journal=Journal of the London Mathematical Society |year=2009 |volume=79 |pages=129–143 |doi=10.1112/jlms/jdn064 |arxiv=math/0610553 |s2cid=16236000 }}</ref>




== टिप्पणियाँ ==
== टिप्पणियाँ ==
कुछ उद्देश्यों के लिए (नीचे देखें) असीमित लोगों के अतिरिक्त कोई परिबद्ध-नीचे (<math>X^n = 0</math> के लिए <math>n \ll 0</math>), सीमाबद्ध-ऊपर (<math>X^n = 0</math> के लिए <math>n \gg 0</math>) या परिबद्ध (<math>X^n = 0</math> के लिए <math>|n| \gg 0</math>) सम्मिश्रों का उपयोग करता है । संबंधित व्युत्पन्न श्रेणियों को सामान्यतः क्रमशः डी<sup>+</sup>(), डी<sup>−</sup>() और डी<sup>बी</sup>() द्वारा निरूपित किया जाता है।
कुछ उद्देश्यों के लिए (नीचे देखें) असीमित लोगों के अतिरिक्त कोई परिबद्ध-नीचे (<math>X^n = 0</math> के लिए <math>n \ll 0</math>), सीमाबद्ध-ऊपर (<math>X^n = 0</math> के लिए <math>n \gg 0</math>) या परिबद्ध (<math>X^n = 0</math> के लिए <math>|n| \gg 0</math>) सम्मिश्रों का उपयोग करते है। संबंधित व्युत्पन्न श्रेणियों को सामान्यतः क्रमशः D<sup>+</sup> (A), डी<sup>−</sup> (A) और D<sup>b</sup> (A) द्वारा निरूपित किया जाता है।


यदि कोई श्रेणियों पर शास्त्रीय दृष्टिकोण अपनाता है, कि एक वस्तु से दूसरी वस्तु में आकारिकी का एक [[सेट (गणित)|समुच्चय (गणित)]] होता है (मात्र एक [[वर्ग (सेट सिद्धांत)|वर्ग (समुच्चय सिद्धांत)]] नहीं), तो उसे इसे सिद्ध करने के लिए एक अतिरिक्त तर्क देना होगा। यदि, उदाहरण के लिए, एबेलियन श्रेणी A छोटा है, अर्थात मात्र वस्तुओं का एक समुच्चय है, तो यह समस्या कोई समस्या नहीं होगी। इसके अतिरिक्त, यदि A एक [[ग्रोथेंडिक श्रेणी]] है, तो व्युत्पन्न श्रेणी D(A) समस्थेयता श्रेणी K(A) की पूर्ण उपश्रेणी के बराबर है, और इसलिए एक वस्तु से दूसरी वस्तु में मात्र आकारिकी का एक समुच्चय है।<ref>{{harvnb|Kashiwara|Schapira|2006|loc=Theorem 14.3.1}}</ref> ग्रोथेंडिक एबेलियन श्रेणियों में एक वलय के ऊपर मॉड्यूल की श्रेणी, एक सांस्थितिक समष्टि पर एबेलियन समूहों के चक्रिका की श्रेणी और कई अन्य उदाहरण सम्मिलित हैं।
यदि कोई श्रेणियों पर शास्त्रीय दृष्टिकोण अपनाता है, कि एक वस्तु से दूसरी वस्तु में आकारिकी का [[सेट (गणित)|समुच्चय (गणित]]) होता है (मात्र एक [[वर्ग (सेट सिद्धांत)|वर्ग (समुच्चय सिद्धांत]]) नहीं), तो उसे इसे सिद्ध करने के लिए एक अतिरिक्त तर्क देना होगा। यदि, उदाहरण के लिए, एबेलियन श्रेणी A छोटा है, अर्थात मात्र वस्तुओं का समुच्चय है, तो यह समस्या कोई समस्या नहीं होगी। इसके अतिरिक्त, यदि A [[ग्रोथेंडिक श्रेणी]] है, तो व्युत्पन्न श्रेणी D (A) समस्थेयता श्रेणी K (A) की पूर्ण उपश्रेणी के बराबर है, और इसलिए एक वस्तु से दूसरी वस्तु में मात्र आकारिकी का समुच्चय है।<ref>{{harvnb|Kashiwara|Schapira|2006|loc=Theorem 14.3.1}}</ref> ग्रोथेंडिक एबेलियन श्रेणियों में एक वलय के ऊपर मॉड्यूल की श्रेणी, सांस्थितिक समष्टि पर एबेलियन समूहों के चक्रिका की श्रेणी और कई अन्य उदाहरण सम्मिलित हैं।


व्युत्पन्न श्रेणी में आकारिकी, अर्थात पटलों की संरचना दो पटलों के शीर्ष पर तीसरी पटल खोजने के द्वारा पूरी की जाती है। यह जाँचा जा सकता है कि यह संभव है और एक ठीक रूप से परिभाषित, साहचर्य रचना देता है।
व्युत्पन्न श्रेणी में आकारिकी, अर्थात पटलों की संरचना दो पटलों के शीर्ष पर तीसरी पटल खोजने के द्वारा पूरी की जाती है। यह जाँचा जा सकता है कि यह संभव है और एक ठीक रूप से परिभाषित, साहचर्य रचना देता है।


चूँकि K(A) एक त्रिकोणीय श्रेणी है, इसका स्थानीयकरण D(A) भी त्रिभुजित है। पूर्णांक n और सम्मिश्र X के लिए,<ref>{{harvnb|Gelfand|Manin|2003|loc=III.3.2}}</ref> सम्मिश्र X [n] X को n द्वारा नीचे स्थानांतरित करने के लिए परिभाषित करें, ताकि
चूँकि K (A) त्रिकोणीय श्रेणी है, इसका स्थानीयकरण D (A) भी त्रिभुजित है। पूर्णांक n और सम्मिश्र X के लिए,<ref>{{harvnb|Gelfand|Manin|2003|loc=III.3.2}}</ref> सम्मिश्र X [n] X को n द्वारा नीचे स्थानांतरित करने के लिए परिभाषित करें, ताकि
:<math>X[n]^{i} = X^{n+i},</math>
:<math>X[n]^{i} = X^{n+i},</math>
अंतर
अंतर
:<math>d_{X[n]} = (-1)^n d_X</math>के साथ।
:<math>d_{X[n]} = (-1)^n d_X</math>के साथ।
परिभाषा के अनुसार, D (A) में एक विशिष्ट त्रिभुज एक त्रिकोण है जो D (A) में त्रिभुज X → Y → शंकु (f) → X [1] में सम्मिश्रों के कुछ प्रतिचित्र के लिए f: X → Y है। यहां शंकु (f) f के [[मानचित्रण शंकु (होमोलॉजिकल बीजगणित)|प्रतिचित्रण शंकु (अनुरूप बीजगणित)]] को दर्शाता है। विशेष रूप से, संक्षिप्त यथार्थ अनुक्रम के लिए
परिभाषा के अनुसार, D (A) में विशिष्ट त्रिभुज एक त्रिकोण है जो D (A) में त्रिभुज X → Y → शंकु (f) → X [1] में सम्मिश्रों के कुछ प्रतिचित्र के लिए f: X → Y है। यहां शंकु (f) f के [[मानचित्रण शंकु (होमोलॉजिकल बीजगणित)|प्रतिचित्रण शंकु (अनुरूप बीजगणित]]) को दर्शाता है। विशेष रूप से, संक्षिप्त यथार्थ अनुक्रम के लिए
:<math>0 \rightarrow X \rightarrow Y \rightarrow Z \rightarrow 0</math>
:<math>0 \rightarrow X \rightarrow Y \rightarrow Z \rightarrow 0</math>
A में, त्रिकोण X → Y → Z → X [1] D (A) में प्रतिष्ठित है। वेर्डियर ने समझाया कि परिवर्तन X [1] की परिभाषा को X [1] को आकारिकी X → 0 के शंकु होने की आवश्यकता के कारण प्रणोदित किया गया है।<ref>{{harvnb|Verdier|1996|loc=Appendice to Ch. 1}}</ref>
A में, त्रिकोण X → Y → Z → X [1] D (A) में प्रतिष्ठित है। वेर्डियर ने समझाया कि परिवर्तन X [1] की परिभाषा को X [1] को आकारिकी X → 0 के शंकु होने की आवश्यकता के कारण प्रणोदित किया गया है।<ref>{{harvnb|Verdier|1996|loc=Appendice to Ch. 1}}</ref>


A की वस्तु को परिमाण शून्य में केंद्रित एक सम्मिश्र के रूप में देखकर, व्युत्पन्न श्रेणी D (A) में [[उपश्रेणी]] के रूप में A होता है। व्युत्पन्न श्रेणी में आकारिता में सभी [[एक्सट ऑपरेटर|Ext प्रचालक]] के विषय में सूचना सम्मिलित है: A में किसी वस्तु X और Y के लिए और कोई पूर्णांक j,
A की वस्तु को परिमाण शून्य में केंद्रित सम्मिश्र के रूप में देखकर, व्युत्पन्न श्रेणी D (A) में [[उपश्रेणी]] के रूप में A होते है। व्युत्पन्न श्रेणी में आकारिता में सभी [[एक्सट ऑपरेटर|Ext प्रचालक]] के विषय में सूचना सम्मिलित है: A में किसी वस्तु X और Y के लिए और कोई पूर्णांक j,


:<math>\text{Hom}_{D(\mathcal{A})}(X,Y[j]) = \text{Ext}^j_{\mathcal{A}}(X,Y).</math>
:<math>\text{Hom}_{D(\mathcal{A})}(X,Y[j]) = \text{Ext}^j_{\mathcal{A}}(X,Y).</math>
Line 88: Line 88:
कोई भी सरलता से दिखा सकता है कि समस्थेयता तुल्यता [[अर्ध-समरूपता]] है, इसलिए उपरोक्त निर्माण में दूसरा चरण छोड़ा जा सकता है। परिभाषा सामान्यतः इस प्रकार से दी जाती है क्योंकि यह एक विहित प्रकार्यक
कोई भी सरलता से दिखा सकता है कि समस्थेयता तुल्यता [[अर्ध-समरूपता]] है, इसलिए उपरोक्त निर्माण में दूसरा चरण छोड़ा जा सकता है। परिभाषा सामान्यतः इस प्रकार से दी जाती है क्योंकि यह एक विहित प्रकार्यक
:<math>K(\mathcal A) \rightarrow D(\mathcal A)</math> के अस्तित्व को प्रकट करती है।
:<math>K(\mathcal A) \rightarrow D(\mathcal A)</math> के अस्तित्व को प्रकट करती है।
ठोस स्थितियों में, सीधे व्युत्पन्न श्रेणी में आकारिता को संभालना बहुत कठिन या असंभव है। इसलिए, एक अधिक प्रबंधनीय श्रेणी की खोज करता है जो व्युत्पन्न श्रेणी के बराबर है। शास्त्रीय रूप से, इसके दो (दोहरे) दृष्टिकोण हैं: प्रक्षेपी और अंतःक्षेपी विभेदन। दोनों ही स्थितियों में, उपयुक्त उपश्रेणी के लिए उपरोक्त विहित प्रकार्यक का प्रतिबंध [[श्रेणियों की समानता]] होगी।
ठोस स्थितियों में, सीधे व्युत्पन्न श्रेणी में आकारिता को संभालना बहुत कठिन या असंभव है। इसलिए, अधिक प्रबंधनीय श्रेणी की खोज करता है जो व्युत्पन्न श्रेणी के बराबर है। शास्त्रीय रूप से, इसके दो (दोहरे) दृष्टिकोण हैं: प्रक्षेपी और अंतःक्षेपी विभेदन। दोनों ही स्थितियों में, उपयुक्त उपश्रेणी के लिए उपरोक्त विहित प्रकार्यक का प्रतिबंध [[श्रेणियों की समानता]] होगी।


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


इस तकनीक को लागू करने के लिए, किसी को यह मान लेना होगा कि प्रश्न में एबेलियन श्रेणी में पर्याप्त अंतःक्षेप हैं, जिसका अर्थ है कि श्रेणी की प्रत्येक वस्तु X एक [[इंजेक्शन वस्तु|अंतःक्षेप वस्तु]] I के लिए [[एकरूपता]] स्वीकार करती है। (न तो प्रतिचित्र और न ही अंतःक्षेप वाली वस्तु को होना चाहिए विशिष्ट रूप से निर्दिष्ट।) उदाहरण के लिए, प्रत्येक ग्रोथेंडिक श्रेणी में पर्याप्त अंतःक्षेप हैं। X को कुछ अंतःक्षेपक वस्तु I<sup>0</sup> में अंत: स्थापन करना, इस प्रतिचित्र के [[cokernel|सह कर्नेल]] को कुछ अंतःक्षेपी I<sup>1</sup> आदि में, एक X के एक अंतःक्षेप विभेदन का निर्माण करता है, अर्थात एक यथार्थ अनुक्रम (सामान्य अनंत में) अनुक्रम
इस तकनीक को लागू करने के लिए, किसी को यह मान लेना होगा कि प्रश्न में एबेलियन श्रेणी में पर्याप्त अंतःक्षेप हैं, जिसका अर्थ है कि श्रेणी की प्रत्येक वस्तु X एक [[इंजेक्शन वस्तु|अंतःक्षेप वस्तु]] I के लिए [[एकरूपता]] स्वीकार करती है। (न तो प्रतिचित्र और न ही अंतःक्षेप वाली वस्तु को होना चाहिए विशिष्ट रूप से निर्दिष्ट।) उदाहरण के लिए, प्रत्येक ग्रोथेंडिक श्रेणी में पर्याप्त अंतःक्षेप हैं। X को कुछ अंतःक्षेपक वस्तु I<sup>0</sup> में अंत: स्थापन करना, इस प्रतिचित्र के [[cokernel|सह कर्नेल]] को कुछ अंतःक्षेपी I<sup>1</sup> आदि में, एक X के एक अंतःक्षेप विभेदन का निर्माण करते है, अर्थात यथार्थ अनुक्रम (सामान्य अनंत में) अनुक्रम


:<math>0 \rightarrow X \rightarrow I^0 \rightarrow I^1 \rightarrow \cdots, \, </math>
:<math>0 \rightarrow X \rightarrow I^0 \rightarrow I^1 \rightarrow \cdots, \, </math>
जहाँ I * अंतःक्षेप वाली वस्तुएँ हैं। यह विचार पर्याप्त रूप से छोटे n के लिए परिबद्ध -नीचे सम्मिश्रों X, अर्थात X<sup>n</sup> = 0 के विभेदनों के लिए सामान्यीकृत करता है। जैसा कि ऊपर उल्लेख किया गया है, अंतःक्षेपी विभेदन अद्वितीय रूप से परिभाषित नहीं हैं, परन्तु यह एक तथ्य है कि कोई भी दो विभेदन एक दूसरे के समतुल्य समस्थेयता हैं, अर्थात समस्थेयता श्रेणी में समरूपी। इसके अतिरिक्त, सम्मिश्रों के आकारिता विशिष्ट रूप से दो दिए गए अंतःक्षेप विभेदनों के आकारिता तक विस्तारित होते हैं।
जहाँ I * अंतःक्षेप वाली वस्तुएँ हैं। यह विचार पर्याप्त रूप से छोटे n के लिए परिबद्ध -नीचे सम्मिश्रों X, अर्थात X<sup>n</sup> = 0 के विभेदनों के लिए सामान्यीकृत करते है। जैसा कि ऊपर उल्लेख किया गया है, अंतःक्षेपी विभेदन अद्वितीय रूप से परिभाषित नहीं हैं, परन्तु यह एक तथ्य है कि कोई भी दो विभेदन एक दूसरे के समतुल्य समस्थेयता हैं, अर्थात समस्थेयता श्रेणी में समरूपी। इसके अतिरिक्त, सम्मिश्रों के आकारिता विशिष्ट रूप से दो दिए गए अंतःक्षेप विभेदनों के आकारिता तक विस्तारित होते हैं।


यह वह बिंदु है जहां समस्थेयता श्रेणी फिर से चलन में आती है: A की वस्तु X को (किसी भी) अंतःक्षेपक विभेदन I * को A से प्रतिचित्रित करना नीचे व्युत्पन्न श्रेणी से एक [[ऑपरेटर|प्रकार्यक]]
यह वह बिंदु है जहां समस्थेयता श्रेणी फिर से चलन में आती है: A की वस्तु X को (किसी भी) अंतःक्षेपक विभेदन I* को A से प्रतिचित्रित करना नीचे व्युत्पन्न श्रेणी से एक [[ऑपरेटर|प्रकार्यक]]
:<math>D^+(\mathcal A) \rightarrow K^+(\mathrm{Inj}(\mathcal A))</math>
:<math>D^+(\mathcal A) \rightarrow K^+(\mathrm{Inj}(\mathcal A))</math>
तक फैला हुआ है, जो समस्थेयता श्रेणी के सम्मिश्र से नीचे की ओर है, जिसके पद A में अंतःक्षेपक वाली वस्तुएं हैं।
तक फैला हुआ है, जो समस्थेयता श्रेणी के सम्मिश्र से नीचे की ओर है, जिसके पद A में अंतःक्षेपक वाली वस्तुएं हैं।


यह देखना जटिल नहीं है कि यह प्रकार्यक वस्तुतः प्रारम्भ में उल्लिखित विहित स्थानीयकरण प्रकार्यक के प्रतिबंध के विपरीत है। दूसरे पदों में, व्युत्पन्न श्रेणी में आकारिता Hom (X, Y) की गणना X और Y दोनों को हल करके और समस्थेयता श्रेणी में आकारिता की गणना करके की जा सकती है, जो कम से कम सैद्धांतिक रूप से सरल है। वस्तुतः, यह Y को हल करने के लिए पर्याप्त है: किसी भी सम्मिश्र X के लिए और अंतःक्षेप,
यह देखना जटिल नहीं है कि यह प्रकार्यक वस्तुतः प्रारम्भ में उल्लिखित विहित स्थानीयकरण प्रकार्यक के प्रतिबंध के विपरीत है। दूसरे पदों में, व्युत्पन्न श्रेणी में आकारिता Hom (X,Y) की गणना X और Y दोनों को हल करके और समस्थेयता श्रेणी में आकारिता की गणना करके की जा सकती है, जो कम से कम सैद्धांतिक रूप से सरल है। वस्तुतः, यह Y को हल करने के लिए पर्याप्त है: किसी भी सम्मिश्र X के लिए और अंतःक्षेप,
:<math>\mathrm{Hom}_{D(A)}(X, Y) = \mathrm{Hom}_{K(A)}(X, Y)</math> के सम्मिश्र Y के नीचे परिबद्ध किसी भी के लिए।
:<math>\mathrm{Hom}_{D(A)}(X, Y) = \mathrm{Hom}_{K(A)}(X, Y)</math> के सम्मिश्र Y के नीचे परिबद्ध किसी भी के लिए।
दोहरी रूप से, यह मानते हुए कि A के निकट पर्याप्त प्रक्षेप्य वस्तु है, अर्थात प्रत्येक वस्तु X के लिए एक प्रक्षेपी वस्तु P से X तक एक [[अधिरूपता]] है, व्यक्ति अंतःक्षेप वाले के अतिरिक्त प्रक्षेपी विभेदनों का उपयोग कर सकता है।
दोहरी रूप से, यह मानते हुए कि A के निकट पर्याप्त प्रक्षेप्य वस्तु है, अर्थात प्रत्येक वस्तु X के लिए प्रक्षेपी वस्तु P से X तक [[अधिरूपता]] है, व्यक्ति अंतःक्षेप वाले के अतिरिक्त प्रक्षेपी विभेदनों का उपयोग कर सकता है।


इन विभेदन तकनीकों के अतिरिक्त ऐसे भी हैं जो विशेष स्थितियों पर लागू होते हैं, और जो सीमाबद्ध-उपरोक्त या -नीचे प्रतिबंधों के साथ समस्या से बचते हैं: {{harvtxt|स्पाल्टेंस्टीन|1988}} तथाकथित K-अंतःक्षेप और K- प्रक्षेपी विभेदन का उपयोग करता है, {{harvtxt|मे|2006}} और (थोड़ी अलग भाषा में) {{harvtxt|केलर|1994}} क्रमशः तथाकथित सेल-मॉड्यूल और अर्ध-मुक्त मॉड्यूल प्रस्तुत किए।
इन विभेदन तकनीकों के अतिरिक्त ऐसे भी हैं जो विशेष स्थितियों पर लागू होते हैं, और जो सीमाबद्ध-उपरोक्त या -नीचे प्रतिबंधों के साथ समस्या से बचते हैं: {{harvtxt|स्पाल्टेंस्टीन|1988}} तथाकथित K-अंतःक्षेप और K- प्रक्षेपी विभेदन का उपयोग करता है, {{harvtxt|मे|2006}} और (थोड़ी अलग भाषा में) {{harvtxt|केलर|1994}} क्रमशः तथाकथित सेल-मॉड्यूल और अर्ध-मुक्त मॉड्यूल प्रस्तुत किए।
Line 110: Line 110:


== व्युत्पन्न प्रकार्यक से संबंध ==
== व्युत्पन्न प्रकार्यक से संबंध ==
व्युत्पन्न श्रेणी व्युत्पन्न प्रकार्यकों को परिभाषित करने और अध्ययन करने के लिए एक प्राकृतिक ढांचा है। निम्नलिखित में, F: A → B को एबेलियन श्रेणियों का एक प्रकार्यक होने दें। दो दोहरी अवधारणाएँ हैं:
व्युत्पन्न श्रेणी व्युत्पन्न प्रकार्यकों को परिभाषित करने और अध्ययन करने के लिए एक प्राकृतिक भाग है। निम्नलिखित में, F: A → B को एबेलियन श्रेणियों का एक प्रकार्यक होने दें। दो दोहरी अवधारणाएँ हैं:
* दाएं व्युत्पन्न प्रकार्यक बाएं यथार्थ प्रकार्यक से आते हैं और अंतःक्षेप विभेदन के माध्यम से गणना की जाती है
* दाएं व्युत्पन्न प्रकार्यक बाएं यथार्थ प्रकार्यक से आते हैं और अंतःक्षेप विभेदन के माध्यम से गणना की जाती है
* बाएं व्युत्पन्न प्रकार्यक सत्य यथार्थ प्रकार्यक से आते हैं और प्रक्षेपी विभेदन के माध्यम से गणना की जाती है
* बाएं व्युत्पन्न प्रकार्यक उचित यथार्थ प्रकार्यक से आते हैं और प्रक्षेपी विभेदन के माध्यम से गणना की जाती है


निम्नलिखित में हम सत्य व्युत्पन्न प्रकार्यक का वर्णन करेंगे। तो, मान लें कि f यथार्थ छोड़ दिया गया है। विशिष्ट उदाहरण हैं F: A → Ab, जो X ↦ होम (X, A) या X ↦ होम (A, X) द्वारा कुछ निश्चित वस्तु A के लिए दिया गया है, या शेफ (गणित) या [[प्रत्यक्ष छवि ऑपरेटर|प्रत्यक्ष प्रतिरूप प्रचालक]] पर [[वैश्विक खंड functor|वैश्विक खंड प्रकार्यक]] हैं। उनके सत्य व्युत्पन्न प्रकार्यक Ext प्रकार्यक|Ext हैं<sup>n</sup>(–,A), Xटेंशन<sup>n</sup>(,–), शीफ सह समरूपता|एच<sup>n</sup>(X, F) या उच्चतर प्रत्यक्ष प्रतिरूप प्रकार्यक|R<sup>n</sup>f<sub>&lowast;</sub> (f), क्रमशः।
निम्नलिखित में हम उचित व्युत्पन्न प्रकार्यक का वर्णन करेंगे। तो, मान लें कि f यथार्थ छोड़ दिया गया है। विशिष्ट उदाहरण हैं F: A → Ab, जो X ↦ होम (X, A) या X ↦ होम (A, X) द्वारा कुछ निश्चित वस्तु A के लिए दिया गया है, या शेफ (गणित) या [[प्रत्यक्ष छवि ऑपरेटर|प्रत्यक्ष प्रतिरूप प्रचालक]] पर [[वैश्विक खंड functor|वैश्विक खंड प्रकार्यक]] हैं। उनके उचित व्युत्पन्न प्रकार्यक क्रमशः Ext<sup>n</sup> (–,A), Ext<sup>n</sup> (A,–), H<sup>n</sup> (X,F) या R<sup>n</sup>f<sub>&lowast;</sub>(F) हैं।


व्युत्पन्न श्रेणी हमें सभी व्युत्पन्न प्रकार्यक आर को nकैप्सुलेट करने की अनुमति देती है<sup>n</sup>F एक प्रकार्यक में, अर्थात् तथाकथित टोटल डिराइव्ड प्रकार्यक RF: D<sup>+</sup>() → डी<sup>+</sup>(बी)। यह निम्नलिखित रचना है: डी<sup>+</sup>() ≅ के<sup>+</sup>(इंज ()) → के<sup>+</sup>(बी) → डी<sup>+</sup>(बी), जहां श्रेणियों की पहली समानता ऊपर वर्णित है। शास्त्रीय व्युत्पन्न फंक्शंस आर के माध्यम से कुल एक से संबंधित हैं<sup>n</sup>f(X) = एच<sup>n</sup>(आरf (X))कोई कह सकता है कि आर<sup>n</sup>F मिश्रित श्रेणी को भूल जाता है और मात्र कोहोमोलॉजी रखता है, जबकि RF सम्मिश्र का ट्रैक रखता है।
व्युत्पन्न श्रेणी हमें सभी व्युत्पन्न प्रकार्यक R<sup>n</sup>F को एक प्रकार्यक में समाहित करने की अनुमति देती है, अर्थात् तथाकथित कुल व्युत्पन्न प्रकार्यक RF: D<sup>+</sup> (A) → D<sup>+</sup> (B)। यह निम्नलिखित रचना है: D<sup>+</sup> (A) ≅ K<sup>+</sup> (इंज (A)) → K<sup>+</sup> (B) → D<sup>+</sup> (B), जहां श्रेणियों की पहली समानता ऊपर वर्णित है। शास्त्रीय व्युत्पन्न फलन कुल एक से R<sup>n</sup>f (X) = H<sup>n</sup> (RF(X)) के माध्यम से संबंधित हैं। कोई कह सकता है कि R<sup>n</sup>F मिश्रित श्रेणी को भूल जाता है और मात्र सह समरूपता रखता है, जबकि RF सम्मिश्र का पद चिन्ह रखता है।


व्युत्पन्न श्रेणियां, एक अर्थ में, इन प्रकार्यकों का अध्ययन करने के लिए सत्य स्थान हैं। उदाहरण के लिए, दो कारकों की संरचना का ग्रोथेंडिक वर्णक्रमीय अनुक्रम
व्युत्पन्न श्रेणियां, एक अर्थ में, इन प्रकार्यकों का अध्ययन करने के लिए उचित स्थान हैं। उदाहरण के लिए, दो कारकों


:<math>\mathcal A \stackrel{F}{\rightarrow} \mathcal B \stackrel{G}{\rightarrow} \mathcal C, \,</math>
:<math>\mathcal A \stackrel{F}{\rightarrow} \mathcal B \stackrel{G}{\rightarrow} \mathcal C \,</math>
ऐसा है कि f A से जी-अचक्रीय (अर्थात आर में अंतःक्षेपक वस्तु्स को प्रतिचित्रित करता है<sup>i</sup>G(F(I)) = 0 सभी i > 0 और अंतःक्षेप I के लिए), कुल व्युत्पन्न प्रकार्यक की निम्नलिखित पहचान की अभिव्यक्ति है
की संरचना का ग्रोथेंडिक वर्णक्रमीय अनुक्रम, जैसे कि F से G-अचक्रीय (अर्थात सभी i > 0 और अंतःक्षेप I के लिए R<sup>i</sup>G (F(I)) = 0 में अंतःक्षेपक वस्तु को प्रतिचित्रित करता है), एक है कुल व्युत्पन्न प्रकार्यक  
: आर (जी∘f) ≅ आरजी∘आरf।
: R (G∘F) ≅ RG∘RF की निम्नलिखित पहचान की अभिव्यक्ति है।


j।-एल। वेर्डियर ने दिखाया कि एबेलियन श्रेणी A से जुड़े व्युत्पन्न फंक्शंस को A के अंत: स्थापनिंग के साथ उपयुक्त व्युत्पन्न श्रेणियों [मैक लेन] में [[ विस्तार कर सकता है |विस्तार कर सकता है]] के रूप में देखा जा सकता है।
j.-L. वेर्डियर ने दिखाया कि एबेलियन श्रेणी A से जुड़े व्युत्पन्न फलन को A के अंत: स्थापन के साथ उपयुक्त व्युत्पन्न श्रेणियों मैक लेन में [[ विस्तार कर सकता है |कान विस्तार]] के रूप में देखा जा सकता है।


== व्युत्पन्न तुल्यता ==
== व्युत्पन्न तुल्यता ==
ऐसा हो सकता है कि दो एबेलियन श्रेणियां A और बी समकक्ष नहीं हैं, परन्तु उनकी व्युत्पन्न श्रेणियां D (A) और D (B) हैं। अक्सर यह A और बी के बीच एक दिलचस्प संबंध है। इस प्रकार की समानता त्रिकोणीय श्रेणी में टी-संरचनाओं के सिद्धांत से संबंधित हैं। यहां कुछ उदाहरण दिए गए हैं।<ref>{{cite web|first = Bernhard| last=Keller| title= व्युत्पन्न श्रेणियां और झुकाव| year = 2003 | url=https://webusers.imj-prg.fr/~bernhard.keller/ictp2006/lecturenotes/keller.pdf}}</ref>
ऐसा हो सकता है कि दो एबेलियन श्रेणियां A और B समकक्ष नहीं हैं, परन्तु उनकी व्युत्पन्न श्रेणियां D(A) और D(B) हैं। प्रायः यह A और B के बीच एक रुचिपूर्ण संबंध है। इस प्रकार की समानता त्रिकोणीय श्रेणी में t-संरचनाओं के सिद्धांत से संबंधित हैं। यहां कुछ उदाहरण दिए गए हैं।<ref>{{cite web|first = Bernhard| last=Keller| title= व्युत्पन्न श्रेणियां और झुकाव| year = 2003 | url=https://webusers.imj-prg.fr/~bernhard.keller/ictp2006/lecturenotes/keller.pdf}}</ref>
* होने देना <math>\mathrm{Coh}(\mathbb{P}^1)</math> एक [[क्षेत्र (गणित)]] पर [[ प्रक्षेपण रेखा |प्रक्षेपण रेखा]] पर सुसंगत शीफ की एबेलियन श्रेणी हो। चलो के<sub>2</sub>-रेप दो शीर्षों के साथ [[क्रोनकर तरकश]] के निरूपण की एक एबेलियन श्रेणी है। वे बहुत अलग एबेलियन श्रेणियां हैं, परन्तु उनकी (सीमित) व्युत्पन्न श्रेणियां समकक्ष हैं।
* बता दें कि <math>\mathrm{Coh}(\mathbb{P}^1)</math> [[क्षेत्र (गणित)|क्षेत्र (गणित]]) k पर [[ प्रक्षेपण रेखा |प्रक्षेपण रेखा]] पर सुसंगत शीफ की एबेलियन श्रेणी है। K<sub>2</sub>-Rep को दो शीर्षों के साथ [[क्रोनकर तरकश]] के निरूपण की एबेलियन श्रेणी है। वे बहुत अलग एबेलियन श्रेणियां हैं, परन्तु उनकी (सीमित) व्युत्पन्न श्रेणियां समकक्ष हैं।
* मान लीजिए Q कोई [[तरकश (गणित)]] है और P कुछ तीरों को उलट कर Q से प्राप्त तरकश है। सामान्य तौर पर, क्यू और पी के प्रतिनिधित्व की श्रेणियां अलग-अलग होती हैं, परन्तु डी<sup>b</sup>(Q-Rep) सदैव D के समतुल्य होता है<sup>बी</sup>(पी-रेप)
* मान लीजिए Q कोई [[तरकश (गणित)|तरकश (गणित]]) है और P कुछ तीरों को व्युत्क्रमित कर Q से प्राप्त तरकश है। सामान्यतः, Q और P के प्रतिनिधित्व की श्रेणियां अलग-अलग होती हैं, परन्तु D<sup>b</sup> (Q-Rep) सदैव D<sup>b</sup> (P-Rep) के समतुल्य होते है।
* बता दें कि X एक [[एबेलियन किस्म]] है, Y इसकी [[दोहरी एबेलियन किस्म]] है। तब डी<sup>b</sup>(कोह(X)) D<sup>b</sup> के बराबर है (कोह (Y)) फूरियर-मुकाई के सिद्धांत द्वारा रूपांतरित होता है। सुसंगत चक्रिका की समतुल्य व्युत्पन्न श्रेणियों वाली किस्मों को कभी-कभी 'फूरियर-मुकाई पार्टनर्स' कहा जाता है।
* बता दें कि X एक [[एबेलियन किस्म|एबेलियन प्रकार]] है, Y इसकी [[दोहरी एबेलियन किस्म|दोहरी एबेलियन प्रकार]] है। तब D<sup>b</sup> (Coh(X)) D<sup>b</sup> फूरियर-मुकाई के सिद्धांत द्वारा (Coh(Y)) के बराबर है। सुसंगत चक्रिका की समतुल्य व्युत्पन्न श्रेणियों वाली प्रकारों को कभी-कभी 'फूरियर-मुकाई सहयोग' कहा जाता है।


== यह भी देखें ==
== यह भी देखें ==
Line 180: Line 180:
| volume=183
| volume=183
}}
}}
[[Category: समरूप बीजगणित]] [[Category: श्रेणी सिद्धांत में श्रेणियाँ]]


 
[[Category:CS1 français-language sources (fr)]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 08/05/2023]]
[[Category:Created On 08/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:श्रेणी सिद्धांत में श्रेणियाँ]]
[[Category:समरूप बीजगणित]]

Latest revision as of 17:42, 18 May 2023

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

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

प्रेरणा

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

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

समस्थेयता सिद्धांत में एक समानांतर विकास वर्णक्रम (समस्थेयता सिद्धांत) की श्रेणी थी। वर्णक्रम की समस्थेयता श्रेणी और वलय की व्युत्पन्न श्रेणी दोनों त्रिकोणीय श्रेणी के उदाहरण हैं।

परिभाषा

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

के रूप में हैं, जहाँ प्रत्येक Xi, की वस्तु है और प्रत्येक सम्मिश्र शून्य है। सम्मिश्र का iवां सह समरूपता समूह है। यदि इस श्रेणी में और दो वस्तुएँ हैं,तो एक आकारिता को आकारिता के एक वर्ग के रूप में परिभाषित किया जाता है जैसे कि । इस प्रकार की आकारिता सह समरूपता समूहों पर आकारिकी को प्रेरित करते है , और को अर्ध-समरूपता कहा जाता है यदि इनमें से प्रत्येक आकारिता में एक तुल्याकारिता है।

व्युत्पन्न श्रेणी की सार्वभौमिक गुण यह है कि यह अर्ध-समरूपता के संबंध में सम्मिश्रों की श्रेणी की श्रेणी का स्थानीयकरण है। विशेष रूप से, व्युत्पन्न श्रेणी एक वर्ग है, साथ में प्रकार्यक के साथ, निम्नलिखित सार्वभौमिक गुण है: मान लीजिए कि एक और श्रेणी है (आवश्यक नहीं कि एबेलियन) और एक ऐसा कारक है, जब भी , में अर्ध-समरूपता है , इसका प्रतिरूप में समरूपता है ; तब के माध्यम से कारक । इस सार्वभौमिक गुण वाली कोई भी दो श्रेणियां समकक्ष हैं।

समस्थेयता श्रेणी से संबंध

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

मॉडल श्रेणी के दृष्टिकोण से, व्युत्पन्न श्रेणी D (A) सम्मिश्रों की श्रेणी की उचित 'समस्थेयता श्रेणी' है, जबकि के (ए) को 'सरल समस्थेयता श्रेणी' कहा जा सकता है।

व्युत्पन्न श्रेणी का निर्माण

व्युत्पन्न श्रेणी के कई संभावित निर्माण हैं। जब छोटी श्रेणी है, तो अर्ध-समरूपता के औपचारिक रूप से आसन्न व्युत्क्रमों द्वारा व्युत्पन्न श्रेणी का प्रत्यक्ष निर्माण होता है। यह उत्पादक और संबंधों द्वारा श्रेणी के सामान्य निर्माण का एक उदाहरण है।[1]

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

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

ये अन्य निर्माण समस्थेयता श्रेणी से गुजरते हैं। में अर्ध-समरूपता का संग्रह गुणक प्रणाली बनाता है। यह प्रतिबन्धों का एक संग्रह है जो सम्मिश्र पथों को सरल पथों के रूप में फिर से लिखने की अनुमति देता है। गेब्रियल-ज़िस्मान प्रमेय का तात्पर्य है कि गुणक प्रणाली में स्थानीयकरण का पटलों के संदर्भ में सरल विवरण है।[2] आकारिता में युग्म के रूप में वर्णित किया जा सकता है , जहां कुछ सम्मिश्र के लिए , एक अर्ध-समरूपता है और आकारिकी की एक श्रृंखला समस्थेयता तुल्यता वर्ग है। विभेदननात्मक रूप से, यह का प्रतिनिधित्व करता है। दो पटलें समान होती हैं यदि उनके निकट सामान्य पटल के ऊपर हो।

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

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

समस्थेयता श्रेणी में आकारिकी द्वारा व्युत्पन्न श्रेणी में आकारिता को बदलने के आधार पर अलग दृष्टिकोण है। सह प्रांत के साथ व्युत्पन्न श्रेणी में आकारिता अंतःक्षेपी वस्तुओं के सम्मिश्र से नीचे बंधा हुआ है, समस्थेयता श्रेणी में इस सम्मिश्र के आकारिकी के समान है; यह अवधिवार अंतःक्षेप से होता है। अवधिवार अंतःक्षेप को एक दृढ स्थिति से बदलकर, एक समान गुण प्राप्त होती है जो असीमित सम्मिश्रों पर भी लागू होती है। सम्मिश्र K-अंतःक्षेप है यदि, प्रत्येक अचक्रीय सम्मिश्र के लिए , हमारे निकट है। इसका स्पष्ट परिणाम यह है कि, प्रत्येक सम्मिश्र के लिए , में आकारिकी , में ऐसे आकारिता के समान हैं। सर्पे की एक प्रमेय, ग्रोथेंडिक और स्पाल्टेंस्टीन के सामान्यीकरण का काम, यह निश्चय करता है कि ग्रोथेंडिक एबेलियन श्रेणी में, प्रत्येक सम्मिश्र अंतःक्षेप की प्रतिबन्धों के साथ K-अंतःक्षेप सम्मिश्र के लिए अर्ध- समरूपी है, और इसके अतिरिक्त, यह क्रियात्मक है।[4] विशेष रूप से, हम समस्थेयता श्रेणी में के-अंतःक्षेप विभेदन और संगणना आकारिता को निकट करके व्युत्पन्न श्रेणी में आकारिकी को परिभाषित कर सकते हैं। सर्पेे के निर्माण की कार्यात्मकता यह सुनिश्चित करती है कि आकारिता की संरचना ठीक रूप से परिभाषित है। पटलों का उपयोग कर निर्माण के जैसे, यह निर्माण भी व्युत्पन्न श्रेणी के लिए उपयुक्त समुच्चय सैद्धांतिक गुणों को सुनिश्चित करता है, क्योंकि ये गुण पहले से ही समस्थेयता श्रेणी से संतुष्ट हैं।

व्युत्पन्न होम-समुच्चय

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

पर विचार करें

हम इसका उपयोग उपरोक्त सम्मिश्र को छोटा करके, इसे स्थानांतरित करके, और उपरोक्त स्पष्ट आकारिकी का उपयोग करके आकारिता बनाने के लिए कर सकते हैं। विशेष रूप से, हमारे निकट चित्र

है जहां निचला सम्मिश्र है परिमाण में केंद्रित है, एकमात्र असतहीय ऊपर की ओर तीर समानता आकारिकी है, और एकमात्र असतहीय नीचे की ओर तीर है। सम्मिश्रों का यह चित्र व्युत्पन्न श्रेणी में आकारिकी

को परिभाषित करता है। इस अवलोकन का अनुप्रयोग अतियाह-श्रेणी का निर्माण है।[5]


टिप्पणियाँ

कुछ उद्देश्यों के लिए (नीचे देखें) असीमित लोगों के अतिरिक्त कोई परिबद्ध-नीचे ( के लिए ), सीमाबद्ध-ऊपर ( के लिए ) या परिबद्ध ( के लिए ) सम्मिश्रों का उपयोग करते है। संबंधित व्युत्पन्न श्रेणियों को सामान्यतः क्रमशः D+ (A), डी (A) और Db (A) द्वारा निरूपित किया जाता है।

यदि कोई श्रेणियों पर शास्त्रीय दृष्टिकोण अपनाता है, कि एक वस्तु से दूसरी वस्तु में आकारिकी का समुच्चय (गणित) होता है (मात्र एक वर्ग (समुच्चय सिद्धांत) नहीं), तो उसे इसे सिद्ध करने के लिए एक अतिरिक्त तर्क देना होगा। यदि, उदाहरण के लिए, एबेलियन श्रेणी A छोटा है, अर्थात मात्र वस्तुओं का समुच्चय है, तो यह समस्या कोई समस्या नहीं होगी। इसके अतिरिक्त, यदि A ग्रोथेंडिक श्रेणी है, तो व्युत्पन्न श्रेणी D (A) समस्थेयता श्रेणी K (A) की पूर्ण उपश्रेणी के बराबर है, और इसलिए एक वस्तु से दूसरी वस्तु में मात्र आकारिकी का समुच्चय है।[6] ग्रोथेंडिक एबेलियन श्रेणियों में एक वलय के ऊपर मॉड्यूल की श्रेणी, सांस्थितिक समष्टि पर एबेलियन समूहों के चक्रिका की श्रेणी और कई अन्य उदाहरण सम्मिलित हैं।

व्युत्पन्न श्रेणी में आकारिकी, अर्थात पटलों की संरचना दो पटलों के शीर्ष पर तीसरी पटल खोजने के द्वारा पूरी की जाती है। यह जाँचा जा सकता है कि यह संभव है और एक ठीक रूप से परिभाषित, साहचर्य रचना देता है।

चूँकि K (A) त्रिकोणीय श्रेणी है, इसका स्थानीयकरण D (A) भी त्रिभुजित है। पूर्णांक n और सम्मिश्र X के लिए,[7] सम्मिश्र X [n] X को n द्वारा नीचे स्थानांतरित करने के लिए परिभाषित करें, ताकि

अंतर

के साथ।

परिभाषा के अनुसार, D (A) में विशिष्ट त्रिभुज एक त्रिकोण है जो D (A) में त्रिभुज X → Y → शंकु (f) → X [1] में सम्मिश्रों के कुछ प्रतिचित्र के लिए f: X → Y है। यहां शंकु (f) f के प्रतिचित्रण शंकु (अनुरूप बीजगणित) को दर्शाता है। विशेष रूप से, संक्षिप्त यथार्थ अनुक्रम के लिए

A में, त्रिकोण X → Y → Z → X [1] D (A) में प्रतिष्ठित है। वेर्डियर ने समझाया कि परिवर्तन X [1] की परिभाषा को X [1] को आकारिकी X → 0 के शंकु होने की आवश्यकता के कारण प्रणोदित किया गया है।[8]

A की वस्तु को परिमाण शून्य में केंद्रित सम्मिश्र के रूप में देखकर, व्युत्पन्न श्रेणी D (A) में उपश्रेणी के रूप में A होते है। व्युत्पन्न श्रेणी में आकारिता में सभी Ext प्रचालक के विषय में सूचना सम्मिलित है: A में किसी वस्तु X और Y के लिए और कोई पूर्णांक j,


प्रक्षेपी और अंतःक्षेप विभेदन

कोई भी सरलता से दिखा सकता है कि समस्थेयता तुल्यता अर्ध-समरूपता है, इसलिए उपरोक्त निर्माण में दूसरा चरण छोड़ा जा सकता है। परिभाषा सामान्यतः इस प्रकार से दी जाती है क्योंकि यह एक विहित प्रकार्यक

के अस्तित्व को प्रकट करती है।

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

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

इस तकनीक को लागू करने के लिए, किसी को यह मान लेना होगा कि प्रश्न में एबेलियन श्रेणी में पर्याप्त अंतःक्षेप हैं, जिसका अर्थ है कि श्रेणी की प्रत्येक वस्तु X एक अंतःक्षेप वस्तु I के लिए एकरूपता स्वीकार करती है। (न तो प्रतिचित्र और न ही अंतःक्षेप वाली वस्तु को होना चाहिए विशिष्ट रूप से निर्दिष्ट।) उदाहरण के लिए, प्रत्येक ग्रोथेंडिक श्रेणी में पर्याप्त अंतःक्षेप हैं। X को कुछ अंतःक्षेपक वस्तु I0 में अंत: स्थापन करना, इस प्रतिचित्र के सह कर्नेल को कुछ अंतःक्षेपी I1 आदि में, एक X के एक अंतःक्षेप विभेदन का निर्माण करते है, अर्थात यथार्थ अनुक्रम (सामान्य अनंत में) अनुक्रम

जहाँ I * अंतःक्षेप वाली वस्तुएँ हैं। यह विचार पर्याप्त रूप से छोटे n के लिए परिबद्ध -नीचे सम्मिश्रों X, अर्थात Xn = 0 के विभेदनों के लिए सामान्यीकृत करते है। जैसा कि ऊपर उल्लेख किया गया है, अंतःक्षेपी विभेदन अद्वितीय रूप से परिभाषित नहीं हैं, परन्तु यह एक तथ्य है कि कोई भी दो विभेदन एक दूसरे के समतुल्य समस्थेयता हैं, अर्थात समस्थेयता श्रेणी में समरूपी। इसके अतिरिक्त, सम्मिश्रों के आकारिता विशिष्ट रूप से दो दिए गए अंतःक्षेप विभेदनों के आकारिता तक विस्तारित होते हैं।

यह वह बिंदु है जहां समस्थेयता श्रेणी फिर से चलन में आती है: A की वस्तु X को (किसी भी) अंतःक्षेपक विभेदन I* को A से प्रतिचित्रित करना नीचे व्युत्पन्न श्रेणी से एक प्रकार्यक

तक फैला हुआ है, जो समस्थेयता श्रेणी के सम्मिश्र से नीचे की ओर है, जिसके पद A में अंतःक्षेपक वाली वस्तुएं हैं।

यह देखना जटिल नहीं है कि यह प्रकार्यक वस्तुतः प्रारम्भ में उल्लिखित विहित स्थानीयकरण प्रकार्यक के प्रतिबंध के विपरीत है। दूसरे पदों में, व्युत्पन्न श्रेणी में आकारिता Hom (X,Y) की गणना X और Y दोनों को हल करके और समस्थेयता श्रेणी में आकारिता की गणना करके की जा सकती है, जो कम से कम सैद्धांतिक रूप से सरल है। वस्तुतः, यह Y को हल करने के लिए पर्याप्त है: किसी भी सम्मिश्र X के लिए और अंतःक्षेप,

के सम्मिश्र Y के नीचे परिबद्ध किसी भी के लिए।

दोहरी रूप से, यह मानते हुए कि A के निकट पर्याप्त प्रक्षेप्य वस्तु है, अर्थात प्रत्येक वस्तु X के लिए प्रक्षेपी वस्तु P से X तक अधिरूपता है, व्यक्ति अंतःक्षेप वाले के अतिरिक्त प्रक्षेपी विभेदनों का उपयोग कर सकता है।

इन विभेदन तकनीकों के अतिरिक्त ऐसे भी हैं जो विशेष स्थितियों पर लागू होते हैं, और जो सीमाबद्ध-उपरोक्त या -नीचे प्रतिबंधों के साथ समस्या से बचते हैं: स्पाल्टेंस्टीन (1988) तथाकथित K-अंतःक्षेप और K- प्रक्षेपी विभेदन का उपयोग करता है, मे (2006) और (थोड़ी अलग भाषा में) केलर (1994) क्रमशः तथाकथित सेल-मॉड्यूल और अर्ध-मुक्त मॉड्यूल प्रस्तुत किए।

अधिक सामान्यतः, परिभाषाओं को ध्यान से अपनाते हुए, एक यथार्थ श्रेणी की व्युत्पन्न श्रेणी (केलर 1996) को परिभाषित करना संभव है।

व्युत्पन्न प्रकार्यक से संबंध

व्युत्पन्न श्रेणी व्युत्पन्न प्रकार्यकों को परिभाषित करने और अध्ययन करने के लिए एक प्राकृतिक भाग है। निम्नलिखित में, F: A → B को एबेलियन श्रेणियों का एक प्रकार्यक होने दें। दो दोहरी अवधारणाएँ हैं:

  • दाएं व्युत्पन्न प्रकार्यक बाएं यथार्थ प्रकार्यक से आते हैं और अंतःक्षेप विभेदन के माध्यम से गणना की जाती है
  • बाएं व्युत्पन्न प्रकार्यक उचित यथार्थ प्रकार्यक से आते हैं और प्रक्षेपी विभेदन के माध्यम से गणना की जाती है

निम्नलिखित में हम उचित व्युत्पन्न प्रकार्यक का वर्णन करेंगे। तो, मान लें कि f यथार्थ छोड़ दिया गया है। विशिष्ट उदाहरण हैं F: A → Ab, जो X ↦ होम (X, A) या X ↦ होम (A, X) द्वारा कुछ निश्चित वस्तु A के लिए दिया गया है, या शेफ (गणित) या प्रत्यक्ष प्रतिरूप प्रचालक पर वैश्विक खंड प्रकार्यक हैं। उनके उचित व्युत्पन्न प्रकार्यक क्रमशः Extn (–,A), Extn (A,–), Hn (X,F) या Rnf(F) हैं।

व्युत्पन्न श्रेणी हमें सभी व्युत्पन्न प्रकार्यक RnF को एक प्रकार्यक में समाहित करने की अनुमति देती है, अर्थात् तथाकथित कुल व्युत्पन्न प्रकार्यक RF: D+ (A) → D+ (B)। यह निम्नलिखित रचना है: D+ (A) ≅ K+ (इंज (A)) → K+ (B) → D+ (B), जहां श्रेणियों की पहली समानता ऊपर वर्णित है। शास्त्रीय व्युत्पन्न फलन कुल एक से Rnf (X) = Hn (RF(X)) के माध्यम से संबंधित हैं। कोई कह सकता है कि RnF मिश्रित श्रेणी को भूल जाता है और मात्र सह समरूपता रखता है, जबकि RF सम्मिश्र का पद चिन्ह रखता है।

व्युत्पन्न श्रेणियां, एक अर्थ में, इन प्रकार्यकों का अध्ययन करने के लिए उचित स्थान हैं। उदाहरण के लिए, दो कारकों

की संरचना का ग्रोथेंडिक वर्णक्रमीय अनुक्रम, जैसे कि F से G-अचक्रीय (अर्थात सभी i > 0 और अंतःक्षेप I के लिए RiG (F(I)) = 0 में अंतःक्षेपक वस्तु को प्रतिचित्रित करता है), एक है कुल व्युत्पन्न प्रकार्यक

R (G∘F) ≅ RG∘RF की निम्नलिखित पहचान की अभिव्यक्ति है।

j.-L. वेर्डियर ने दिखाया कि एबेलियन श्रेणी A से जुड़े व्युत्पन्न फलन को A के अंत: स्थापन के साथ उपयुक्त व्युत्पन्न श्रेणियों मैक लेन में कान विस्तार के रूप में देखा जा सकता है।

व्युत्पन्न तुल्यता

ऐसा हो सकता है कि दो एबेलियन श्रेणियां A और B समकक्ष नहीं हैं, परन्तु उनकी व्युत्पन्न श्रेणियां D(A) और D(B) हैं। प्रायः यह A और B के बीच एक रुचिपूर्ण संबंध है। इस प्रकार की समानता त्रिकोणीय श्रेणी में t-संरचनाओं के सिद्धांत से संबंधित हैं। यहां कुछ उदाहरण दिए गए हैं।[9]

  • बता दें कि क्षेत्र (गणित) k पर प्रक्षेपण रेखा पर सुसंगत शीफ की एबेलियन श्रेणी है। K2-Rep को दो शीर्षों के साथ क्रोनकर तरकश के निरूपण की एबेलियन श्रेणी है। वे बहुत अलग एबेलियन श्रेणियां हैं, परन्तु उनकी (सीमित) व्युत्पन्न श्रेणियां समकक्ष हैं।
  • मान लीजिए Q कोई तरकश (गणित) है और P कुछ तीरों को व्युत्क्रमित कर Q से प्राप्त तरकश है। सामान्यतः, Q और P के प्रतिनिधित्व की श्रेणियां अलग-अलग होती हैं, परन्तु Db (Q-Rep) सदैव Db (P-Rep) के समतुल्य होते है।
  • बता दें कि X एक एबेलियन प्रकार है, Y इसकी दोहरी एबेलियन प्रकार है। तब Db (Coh(X)) Db फूरियर-मुकाई के सिद्धांत द्वारा (Coh(Y)) के बराबर है। सुसंगत चक्रिका की समतुल्य व्युत्पन्न श्रेणियों वाली प्रकारों को कभी-कभी 'फूरियर-मुकाई सहयोग' कहा जाता है।

यह भी देखें

टिप्पणियाँ

  1. Mac Lane, Categories for the Working Mathematician.
  2. Gabriel, Peter; Zisman, M. "1.2 The Calculus of Fractions: Proposition 2.4". फ्रैक्शंस और होमोटॉपी थ्योरी की गणना. Springer. p. 14. ISBN 978-3-642-85844-4.
  3. Weibel 1994, remark 10.4.5 and errata
  4. Stacks Project, tag 079P.
  5. Markarian, Nikita (2009). "अतियाह वर्ग, होशचाइल्ड कोहोलॉजी और रीमैन-रोच प्रमेय". Journal of the London Mathematical Society. 79: 129–143. arXiv:math/0610553. doi:10.1112/jlms/jdn064. S2CID 16236000.
  6. Kashiwara & Schapira 2006, Theorem 14.3.1
  7. Gelfand & Manin 2003, III.3.2
  8. Verdier 1996, Appendice to Ch. 1
  9. Keller, Bernhard (2003). "व्युत्पन्न श्रेणियां और झुकाव" (PDF).


संदर्भ

Four textbooks that discuss derived categories are: