क्रमविनिमेय बीजगणित पर विभेदक कलन

गणित में क्रमविनिमेय बीजगणित पर विभेदक कलन क्रमविनिमेय बीजगणित का एक हिस्सा है जो इस अवलोकन पर आधारित है कि शास्त्रीय अंतर कलन से ज्ञात अधिकांश अवधारणाओं को विशुद्ध रूप से बीजगणितीय शब्दों में तैयार किया जा सकता है। इसके उदाहरण हैं: $$\left[f_k \left[f_{k-1} \left[\cdots\left[f_0, \Delta\right] \cdots \right]\right]\right] = 0$$ जहां ब्रैकेट $$[f, \Delta] : \Gamma(E)\to \Gamma(F)$$ कम्यूटेटर के रूप में परिभाषित किया गया है $$[f,\Delta](s) = \Delta(f \cdot s) - f \cdot \Delta(s).$$ के समुच्चय को निरूपित करना $$k$$वेंए से रैखिक अंतर ऑपरेटरों को ऑर्डर करें $$A$$-मापांक $$P$$ अगर $$A$$-मापांक $$Q$$ साथ $$\mathrm{Diff}_k(P, Q)$$ हम श्रेणी (गणित) में मानों के साथ एक द्वि-फ़ंक्टर प्राप्त करते हैं $$A$$-मॉड्यूल. कैलकुलस की अन्य प्राकृतिक अवधारणाएँ जैसे कि जेट स्पेस, विभेदक रूप  फिर फंक्शनलर्स के प्रतिनिधित्व योग्य फंक्शनलर्स के रूप में प्राप्त किए जाते हैं $$\mathrm{Diff}_k$$ और संबंधित फ़ैक्टर।
 * 1)  चिकनी कई गुना  की संपूर्ण टोपोलॉजिकल जानकारी $$M$$ इसके बीजगणितीय गुणों में एन्कोड किया गया है $$\R$$-सुचारु कार्यों का बीजगणित (रिंग सिद्धांत)। $$A = C^\infty (M),$$ जैसा कि बानाच-स्टोन प्रमेय में है।
 * 2) वेक्टर बंडल खत्म $$M$$ प्रोजेक्टिव अंतिम रूप से उत्पन्न मॉड्यूल (गणित) के अनुरूप $$A,$$ ऑपरेटर के माध्यम से $$\Gamma$$ जो एक वेक्टर से उसके अनुभागों के मॉड्यूल को बंडल करता है।
 * 3) वेक्टर फ़ील्ड चालू $$M$$ स्वाभाविक रूप से बीजगणित की व्युत्पत्ति (अमूर्त बीजगणित) से पहचाने जाते हैं $$A$$.
 * 4) अधिक आम तौर पर, ऑर्डर k का एक रैखिक अंतर ऑपरेटर, एक वेक्टर बंडल के अनुभाग भेजता है $$E\rightarrow M$$ दूसरे बंडल के अनुभागों के लिए $$F \rightarrow M$$ एक होना देखा जाता है $$\R$$-रेखीय मानचित्र $$\Delta : \Gamma (E) \to \Gamma (F)$$ संबंधित मॉड्यूल के बीच, जैसे कि किसी के लिए $$k + 1$$ तत्वों $$f_0, \ldots, f_k \in A$$:

इस दृष्टिकोण से देखने पर कैलकुलस को वास्तव में इन फ़ैक्टरों और उनकी प्रतिनिधित्व करने वाली वस्तुओं के सिद्धांत के रूप में समझा जा सकता है।

वास्तविक संख्याओं को प्रतिस्थापित करना $$\R$$ किसी भी क्रमविनिमेय वलय और बीजगणित के साथ $$C^\infty(M)$$ किसी भी क्रमविनिमेय बीजगणित के साथ उपर्युक्त अर्थपूर्ण रहता है, इसलिए मनमाने ढंग से क्रमविनिमेय बीजगणित के लिए विभेदक कलन विकसित किया जा सकता है। इनमें से कई अवधारणाएँ बीजगणितीय ज्यामिति, विभेदक ज्यामिति और माध्यमिक कैलकुलस और कोहोमोलॉजिकल भौतिकी में व्यापक रूप से उपयोग की जाती हैं। इसके अलावा, सिद्धांत सुपरकम्यूटेटिव बीजगणित की सेटिंग को स्वाभाविक रूप से सामान्यीकृत करता है, जिससे सुपरमैनिफोल्ड्स, वर्गीकृत अनेक गुना ्स और  बेरेज़िन अभिन्न  जैसी संबंधित अवधारणाओं पर कैलकुलस की प्राकृतिक नींव की अनुमति मिलती है।

संदर्भ

 * J. Nestruev, Smooth Manifolds and Observables, Graduate Texts in Mathematics 220, Springer, 2002.
 * I. S. Krasil'shchik, "Lectures on Linear Differential Operators over Commutative Algebras". Eprint DIPS-01/99.
 * I. S. Krasil'shchik, A. M. Vinogradov (eds) "Algebraic Aspects of Differential Calculus", Acta Appl. Math. 49 (1997), Eprints: DIPS-01/96, DIPS-02/96, DIPS-03/96, DIPS-04/96, DIPS-05/96, DIPS-06/96, DIPS-07/96, DIPS-08/96.
 * I. S. Krasil'shchik, A. M. Verbovetsky, "Homological Methods in Equations of Mathematical Physics", Open Ed. and Sciences, Opava (Czech Rep.), 1998; Eprint arXiv:math/9808130v2.
 * G. Sardanashvily, Lectures on Differential Geometry of Modules and Rings, Lambert Academic Publishing, 2012; Eprint arXiv:0910.1515 [math-ph] 137 pages.
 * A. M. Vinogradov, "The Logic Algebra for the Theory of Linear Differential Operators", Dokl. Akad. Nauk SSSR, 295(5) (1972) 1025-1028; English transl. in Soviet Math. Dokl. 13(4) (1972), 1058-1062.
 * A. M. Vinogradov, "Cohomological Analysis of Partial Differential Equations and Secondary Calculus", AMS, series: Translations of Mathematical Monograph, 204, 2001.
 * A. M. Vinogradov, "Some new homological systems associated with differential calculus over commutative algebras" (Russian), Uspechi Mat.Nauk, 1979, 34 (6), 145-150;English transl. in Russian Math. Surveys, 34(6) (1979), 250-255.
 * A. M. Vinogradov, "Some new homological systems associated with differential calculus over commutative algebras" (Russian), Uspechi Mat.Nauk, 1979, 34 (6), 145-150;English transl. in Russian Math. Surveys, 34(6) (1979), 250-255.