डी रम कोहोलॉजी

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

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

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

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

परिभाषा

डी रम कॉम्प्लेक्स कुछ स्मूथ मैनिफोल्ड पर विभेदक रूप का कोचेन कॉम्प्लेक्स M, अंतर के रूप में बाहरी व्युत्पन्न के साथ प्रकट करता हैं जो इस प्रकार हैं:

$0\to \Omega ^{0}(M)\ {\stackrel {d}{\to }}\ \Omega ^{1}(M)\ {\stackrel {d}{\to }}\ \Omega ^{2}(M)\ {\stackrel {d}{\to }}\ \Omega ^{3}(M)\to \cdots ,$

जहाँ Ω⁰(M) स्मूथ का स्थान है तथा इसी के साथ M, Ω¹(M) का स्थान है उदाहरण के लिए इसका पहला रूप उक्त उदाहरण हैं। ऐसे प्रपत्र जो बाहरी डेरिवेटिव के अंतर्गत अन्य रूपों की छवि प्रकट करती हैं, साथ ही Ω⁰(M) स्थिरांक भी 0 में कार्य करता है, यथार्थ और रूप कहलाते हैं जिनकी बाह्य व्युत्पत्ति होती है इसके लिए 0 को बंद प्रारूप कहा जाता है। इस प्रकार बंद और सही अंतर को प्राप्त करने के लिए चित्र में देखें); इसके संबंध में d² = 0 मान के अनुसार इसका सही मान फॉर्म बंद पर निर्भर करता हैं।

इसके विपरीत, बंद रूप आवश्यक रूप से सटीक नहीं होते हैं। इस व्याख्यात्मक विश्लेषम की स्थिति कई गुना होने के रूप में वृत्त को प्रकट करती है, और 1 मुख्यतः इसके केंद्र में एक संदर्भ बिंदु से कोण dθ (बंद और सटीक अंतर रूपों में वर्णित) के व्युत्पन्न के अनुरूप, सामान्यतः लिखा जाता है। इस प्रकार θ को कोई कार्य नहीं है किन्तु पूरे सर्कल पर इसे इस प्रकार परिभाषित किया गया है जिसमें dθ को इसका व्युत्पन्न माना जाता हैं, इस प्रकार वृद्धि 2π धनात्मक दिशा में सर्कल के चारों ओर जाने से एक बहुविकल्पीय कार्य जिसका तात्पर्य θ से होता है, इस प्रकार यह मुख्य रूप से सर्कल के एक बिंदु को हटाने से यह कम हो जाता है, साथ ही कई गुना की टोपोलॉजी को परिवर्तित कर देता हैं।

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

डी राम कोहोलॉजी के पीछे का विचार बंद रूपों के समतुल्य वर्गों को कई गुना परिभाषित करना है। किसी दो बंद रूपों को α, β ∈ Ω^k(M) में वर्गीकृत करता है कोहोमोलॉगस के रूप में यदि वे सही रूप से भिन्न होते हैं, अर्थात इस स्थिति में α − β सही मान प्रकट करते है। इस प्रकार यह वर्गीकरण बंद रूपों के स्थान पर एक तुल्यता संबंध Ω^k(M) को प्रेरित करता है, इस प्रकार इसे k-वाँ दे राम कोहोलॉजी समूह द्वारा परिभाषित किया जाता हैं इस प्रकार $H_{\mathrm {dR} }^{k}(M)$ तुल्यता वर्गों का समुच्चय होने के लिए, अर्थात् बंद इस प्रकार रूपों के समुच्चय Ω^k(M) के प्रारूपों को सही रूपों में प्रकट करता हैं।

ध्यान दें कि, किसी भी कई गुना के लिए M की रचना m डिस्कनेक्ट किए गए घटक, जिनमें से प्रत्येक जुड़ा हुआ स्थान है, हमारे पास उनमें से कुछ हैं जो इस प्रकार हैं।

$H_{\mathrm {dR} }^{0}(M)\cong \mathbb {R} ^{m}.$

यह इस तथ्य से अनुसरण करता है कि कोई भी सुचारू कार्य चालू है, इस प्रकार M शून्य व्युत्पन्न के साथ हर क्षेत्र अलग-अलग जुड़े हुए घटकों जैसे M में से प्रत्येक इस स्थिति में स्थिर रहते है।

डी राम कोहोलॉजी की गणना

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

n}-क्षेत्र

एन-क्षेत्र के लिए या n-वृत्त, $S^{n}$, और साथ ही खुले अंतराल के उत्पाद के साथ मिलकर, हमारे पास निम्नलिखित हैं। इस प्रकार n > 0, m ≥ 0, और I खुले वास्तविक अंतराल को प्रकट करता हैं।

$H_{\mathrm {dR} }^{k}(S^{n}\times I^{m})\simeq {\begin{cases}\mathbb {R} &k=0{\text{ or }}k=n,\\0&k\neq 0{\text{ and }}k\neq n.\end{cases}}$

n}-टोरस

$n$वें टोरस कार्टेशियन उत्पाद $T^{n}=\underbrace {S^{1}\times \cdots \times S^{1}} _{n}$ है: इसी प्रकार $n\geq 1$ का मान होने पर हम यहाँ इस समीकरण से उक्त मान प्राप्त किए जा सकते हैं

$H_{\mathrm {dR} }^{k}(T^{n})\simeq \mathbb {R} ^{n \choose k}.$

हम अलग-अलग रूपों का उपयोग करके सीधे टोरस के डे राम कोहोलॉजी के लिए स्पष्ट जनरेटर भी पा सकते हैं। इस प्रकार भागफल $\pi :X\to X/G$ कई गुना दिया गया है और विभेदक रूप $\omega \in \Omega ^{k}(X)$ के द्वारा हम यह कह सकते हैं कि $\omega$ के लिए $G$-अपर्वतनीय है। इस प्रकार यह यदि किसी भी भिन्नता से प्रेरित होता है तब इस स्थिति में $G$, $\cdot g:X\to X$ अपने पास $(\cdot g)^{*}(\omega )=\omega$. द्वारा प्रकट होता हैं। इस प्रकार विशेष रूप से यहाँ पर किसी भी रूप का पुलबैक $X/G$ है तथा $G$-अपरिवर्तनीय हैं। इसके अतिरिक्त, पुलबैक इंजेक्टिव मोर्फिज्म है। इन स्थितियों में $\mathbb {R} ^{n}/\mathbb {Z} ^{n}$ विभेदक रूप $d{x}_{}$