विभेदक श्रेणीबद्ध बीजगणित

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

परिभाषा
एक विभेदक श्रेणीबद्ध बीजगणित (या संक्षेप में डीजी-बीजगणित) ए मानचित्र से सुसज्जित $$d\colon A \to A$$ श्रेणीबद्ध बीजगणित है जिसमें या तो डिग्री 1 (कोचेन जटिल कन्वेंशन) या डिग्री −1 (चेन जटिल कन्वेंशन) है जो दो नियमो को पूरा करती है:

1. $d \circ d=0$. यह कहता है कि डी ए को एक चेन जटिल या कोचेन जटिल की संरचना देता है (तदनुसार अंतर डिग्री को कम या बढ़ाता है)।

2. $d(a \cdot b)=(da) \cdot b + (-1)^{\deg(a)}a \cdot (db)$, जहाँ $\operatorname{deg}$ सजातीय तत्वों की डिग्री है. यह कहता है कि डिफरेंशियल डी वर्गीकृत लीबनिज नियम' का सम्मान करता है।

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

डीजी-बीजगणित के बीच डीजी रूपवाद श्रेणीबद्ध बीजगणित समरूपता है जो अंतर डी का सम्मान करता है।

एक 'विभेदक श्रेणीबद्ध संवर्धित बीजगणित' (जिसे 'डीजीए-बीजगणित' भी कहा जाता है, एक संवर्धित डीजी-बीजगणित या बस 'डीजीए') डीजी-बीजगणित है जो ग्राउंड रिंग (गणित) के लिए डीजी आकारिकी से सुसज्जित है (शब्दावली हेनरी कर्तन के कारण है)। चेतावनी: कुछ स्रोत डीजी-बीजगणित के लिए डीजीए शब्द का उपयोग करते हैं।

टेंसर बीजगणित
टेंसर बीजगणित डीजी-बीजगणित है जिसमें जटिल शर्ट के समान अंतर होता है। सदिश समष्टि के लिए $$V$$ क्षेत्र पर (गणित) $$K$$ श्रेणीबद्ध सदिश $$T(V)$$ स्पेस है
 * $$T(V) = \bigoplus_{i\geq 0} T^i(V) = \bigoplus_{i \geq 0} V^{\otimes i}$$

जहाँ $$V^{\otimes 0} = K$$.

यदि $$e_1, \ldots, e_n$$ के लिए आधार (रैखिक बीजगणित) $$V$$ अंतर है टेंसर बीजगणित $$d$$ पर घटक-वार परिभाषित किया जाता है
 * $$d:T^k(V) \to T^{k-1}(V)$$

आधार तत्वों को भेजना
 * $$d(e_{i_1}\otimes \cdots \otimes e_{i_k}) = \sum_{1 \leq j \leq k} e_{i_1}

\otimes \cdots \otimes d(e_{i_j}) \otimes \cdots \otimes e_{i_k}$$ विशेष रूप से $$d(e_i) = (-1)^i$$ हमारे पास है इसलिए
 * $$d(e_{i_1}\otimes \cdots \otimes e_{i_k}) = \sum_{1 \leq j \leq k} (-1)^{i_j}e_{i_1}

\otimes \cdots \otimes e_{i_{j-1}} \otimes e_{i_{j+1}} \otimes \cdots \otimes e_{i_k}$$

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

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

एकवचन सहसंगति
== डीजी-बीजगणित के बारे में अन्य तथ्य                                                                                                                                                                                           ==
 * गुणांकों के साथ टोपोलॉजिकल स्पेस की एकवचन सहसंरचना $$\Z/p\Z$$ डीजी-बीजगणित है: अंतर संक्षिप्त सटीक अनुक्रम से जुड़े बॉकस्टीन समरूपता $$0 \to \Z/p\Z \to \Z/p^2\Z \to \Z/p\Z \to 0$$ द्वारा दिया गया है, और उत्पाद कप उत्पाद द्वारा दिया जाता है। इस विभेदक श्रेणीबद्ध बीजगणित का उपयोग कार्टन सेमिनार में ईलेनबर्ग-मैकलेन रिक्त स्पेस की कोहोलॉजी की गणना करने में सहायता के लिए किया गया था।
 * होमोलॉजी (गणित) $$H_*(A) = \ker(d) / \operatorname{im}(d)$$ डीजी-बीजगणित का $$(A,d)$$ श्रेणीबद्ध बीजगणित है. डीजीए-बीजगणित की समरूपता संवर्धित बीजगणित है।

== यह भी देखें                                                                                                                                                                                                                                      ==


 * होमोटोपी साहचर्य बीजगणित
 * विभेदक श्रेणीबद्ध श्रेणी
 * विभेदक श्रेणीबद्ध लाई बीजगणित
 * विभेदक श्रेणीबद्ध योजना
 * विभेदक श्रेणीबद्ध मॉड्यूल

== संदर्भ                                                                                                                                                                                                                                                 ==


 * , see sections V.3 and V.5.6