डॉ कहलमज गर्भाशय

For Grothendieck's de Rham cohomology of varieties, see algebraic de Rham cohomology.

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

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

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

The integration on forms concept is of fundamental importance in differential topology, geometry, and physics, and also yields one of the most important examples of cohomology, namely de Rham cohomology, which (roughly speaking) measures precisely the extent to which the fundamental theorem of calculus fails in higher dimensions and on general manifolds.
— Terence Tao, Differential Forms and Integration

परिभाषा

डी रम कॉम्प्लेक्स कुछ चिकने मैनिफोल्ड पर डिफरेंशियल फॉर्म्स का कोचेन कॉम्प्लेक्स है 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) का स्थान है 1-रूप आदि। ऐसे प्रपत्र जो बाहरी डेरिवेटिव के अंतर्गत अन्य रूपों की छवि हैं, साथ ही स्थिरांक भी 0 में कार्य करता है Ω⁰(M), यथार्थ और रूप कहलाते हैं जिनकी बाह्य व्युत्पत्ति होती है 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$-invariant अगर किसी भी भिन्नता से प्रेरित है $G$, $\cdot g:X\to X$ अपने पास $(\cdot g)^{*}(\omega )=\omega$. विशेष रूप से, पर किसी भी रूप का पुलबैक $X/G$ है $G$-अपरिवर्तनीय। इसके अलावा, पुलबैक एक इंजेक्टिव मोर्फिज्म है। हमारे मामले में $\mathbb {R} ^{n}/\mathbb {Z} ^{n}$ विभेदक रूप $dx_{i}$ हैं $\mathbb {Z} ^{n}$-अपरिवर्तनीय के बाद से $d(x_{i}+k)=dx_{i}$. लेकिन, ध्यान दें $x_{i}+\alpha$ के लिए $\alpha \in \mathbb {R}$ एक अपरिवर्तनीय नहीं है $0$-प्रपत्र। इंजेक्शन के साथ इसका तात्पर्य है

$[dx_{i}]\in H_{dR}^{1}(T^{n})$

चूंकि एक टोरस की कोहोलॉजी रिंग किसके द्वारा उत्पन्न होती है $H^{1}$, इन रूपों के बाहरी उत्पादों को लेने से एक टोरस के डे रम कोहोलॉजी के लिए सभी स्पष्ट प्रतिनिधि (गणित) मिलते हैं।

पंचर यूक्लिडियन स्पेस

छिद्रित यूक्लिडियन स्थान सरल है $\mathbb {R} ^{n}$ मूल के साथ हटा दिया गया।

$H_{\text{dR}}^{k}(\mathbb {R} ^{n}\setminus \{0\})\cong {\begin{cases}\mathbb {R} ^{2}&n=1,k=0\\\mathbb {R} &n>1,k=0,n-1\\0&{\text{otherwise}}\end{cases}}.$

मोबियस पट्टी

हम इस तथ्य से निष्कर्ष निकाल सकते हैं कि मोबियस पट्टी, M, विरूपण को वापस ले लिया जा सकता है 1-क्षेत्र (अर्थात वास्तविक इकाई वृत्त), कि:

$H_{\mathrm {dR} }^{k}(M)\simeq H_{\mathrm {dR} }^{k}(S^{1}).$

दे राम की प्रमेय

सामान्यीकृत स्टोक्स प्रमेय | स्टोक्स प्रमेय डी रम कोहोलॉजी और चेन (बीजगणितीय टोपोलॉजी) के समरूपता (गणित) के बीच द्वंद्व (गणित) की अभिव्यक्ति है। इसमें कहा गया है कि अंतर रूपों और जंजीरों की जोड़ी, एकीकरण के माध्यम से, डी रम कोहोलॉजी से एक समूह समरूपता प्रदान करती है $H_{\mathrm {dR} }^{k}(M)$ एकवचन कोहोलॉजी के लिए $H^{k}(M;\mathbb {R} ).$ 1931 में जार्ज डी राम द्वारा सिद्ध किया गया डी राम का प्रमेय बताता है कि एक सहज कई गुना के लिए M, यह मानचित्र वास्तव में एक तुल्याकारिता है।

अधिक सटीक रूप से, मानचित्र पर विचार करें

$I:H_{\mathrm {dR} }^{p}(M)\to H^{p}(M;\mathbb {R} ),$

निम्नानुसार परिभाषित किया गया है: किसी के लिए $[\omega ]\in H_{\mathrm {dR} }^{p}(M)$, होने देना I(ω) का तत्व हो ${\text{Hom}}(H_{p}(M),\mathbb {R} )\simeq H^{p}(M;\mathbb {R} )$ जो निम्नानुसार कार्य करता है:

$H_{p}(M)\ni [c]\longmapsto \int _{c}\omega .$

डी राम के प्रमेय का दावा है कि यह डी रम कोहोमोलॉजी और एकवचन कोहोलॉजी के बीच एक समरूपता है।

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

शीफ-सैद्धांतिक डी राम समरूपता

किसी भी चिकने मैनिफोल्ड एम के लिए, मान लीजिए ${\textstyle {\underline {\mathbb {R} }}}$ एबेलियन समूह से जुड़े एम पर निरंतर शीफ बनें ${\textstyle \mathbb {R} }$; दूसरे शब्दों में, ${\textstyle {\underline {\mathbb {R} }}}$ एम पर स्थानीय रूप से निरंतर वास्तविक-मूल्यवान कार्यों का समूह है। फिर हमारे पास एक प्राकृतिक समरूपता है

$H_{\mathrm {dR} }^{*}(M)\cong H^{*}(M,{\underline {\mathbb {R} }})$

डी रम कोहोलॉजी और शेफ कोहोलॉजी के बीच ${\textstyle {\underline {\mathbb {R} }}}$. (ध्यान दें कि इससे पता चलता है कि डे रम कोहोलॉजी की गणना सीच कोहोलॉजी के संदर्भ में भी की जा सकती है; वास्तव में, चूंकि हर स्मूथ मैनिफोल्ड पैराकॉम्पैक्ट हौसडॉर्फ है, हमारे पास यह है कि शीफ कोहोलॉजी सीच कोहोलॉजी के लिए आइसोमोर्फिक है ${\textstyle {\check {H}}^{*}({\mathcal {U}},{\underline {\mathbb {R} }})}$ किसी भी अच्छे कवर के लिए (बीजगणितीय टोपोलॉजी) ${\textstyle {\mathcal {U}}}$ एम.)

प्रमाण

मानक प्रमाण यह दिखाते हुए आगे बढ़ता है कि डे रहम परिसर, जब शीशों के एक परिसर के रूप में देखा जाता है, का एक चक्रीय संकल्प है ${\textstyle {\underline {\mathbb {R} }}}$. अधिक विस्तार से, मान लीजिए m, M का आयाम है और मान लीजिए ${\textstyle \Omega ^{k}}$ के शीफ (गणित) को निरूपित करें $k$एम पर फॉर्म (के साथ ${\textstyle \Omega ^{0}}$ का पुलिया ${\textstyle C^{\infty }}$ एम पर कार्य करता है)। पॉइंकेयर लेम्मा द्वारा, ढेरों का निम्नलिखित क्रम सटीक है (शेवों की एबेलियन श्रेणी में):

$0\to {\underline {\mathbb {R} }}\to \Omega ^{0}\,\xrightarrow {d_{0}} \,\Omega ^{1}\,\xrightarrow {d_{1}} \,\Omega ^{2}\,\xrightarrow {d_{2}} \dots \xrightarrow {d_{m-1}} \,\Omega ^{m}\to 0.$

यह लंबा सटीक क्रम अब ढेरों के छोटे सटीक अनुक्रमों में टूट जाता है

$0\to \mathrm {im} \,d_{k-1}\,\xrightarrow {\subset } \,\Omega ^{k}\,\xrightarrow {d_{k}} \,\mathrm {im} \,d_{k}\to 0,$

जहाँ सटीकता से हमारे पास समरूपताएँ हैं ${\textstyle \mathrm {im} \,d_{k-1}\cong \mathrm {ker} \,d_{k}}$ सबके लिए कश्मीर इनमें से प्रत्येक कोहोलॉजी में एक लंबे सटीक अनुक्रम को प्रेरित करता है। पुलिया के बाद से ${\textstyle \Omega ^{0}}$ का ${\textstyle C^{\infty }}$ एम पर कार्य एकता के विभाजन को स्वीकार करते हैं, कोई भी ${\textstyle \Omega ^{0}}$-मॉड्यूल एक महीन शीफ है; विशेष रूप से, ढेरी ${\textstyle \Omega ^{k}}$ सब ठीक हैं। इसलिए, शीफ कोहोलॉजी समूह ${\textstyle H^{i}(M,\Omega ^{k})}$ के लिए गायब हो जाना ${\textstyle i>0}$ चूँकि पैराकॉम्पैक्ट स्थानों पर सभी महीन ढेर एसाइक्लिक होते हैं। तो लंबी सटीक कोहोलॉजी खुद को अंततः आइसोमोर्फिज्म की एक श्रृंखला में अलग करती है। श्रृंखला के एक छोर पर शीफ कोहोलॉजी है ${\textstyle {\underline {\mathbb {R} }}}$ और दूसरी तरफ डी रम कोहोलॉजी है।

संबंधित विचार

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

हार्मोनिक रूप

See also: Harmonic differential

अगर M एक कॉम्पैक्ट जगह रीमैनियन कई गुना है, फिर प्रत्येक समकक्ष वर्ग $H_{\mathrm {dR} }^{k}(M)$ बिल्कुल एक हार्मोनिक रूप होता है। यानी हर सदस्य $\omega$ किसी दिए गए तुल्यता वर्ग के बंद रूपों को इस रूप में लिखा जा सकता है

$\omega =\alpha +\gamma$

कहाँ $\alpha$ सटीक है और $\gamma$ हार्मोनिक है: $\Delta \gamma =0$.

कॉम्पैक्ट कनेक्टेड रीमैनियन मैनिफोल्ड पर कोई भी हार्मोनिक फ़ंक्शन स्थिर है। इस प्रकार, इस विशेष प्रतिनिधि तत्व को कई गुना पर समतुल्य रूप से समतुल्य रूपों का एक चरम (न्यूनतम) समझा जा सकता है। उदाहरण के लिए, ए पर 2-टोरस्र्स , कोई स्थिरांक की कल्पना कर सकता है 1-एक रूप जहां सभी बालों को एक ही दिशा में बड़े करीने से कंघी की जाती है (और सभी बालों की लंबाई समान होती है)। इस मामले में, दो कोहोलॉजिकल रूप से अलग-अलग कंघी हैं; अन्य सभी रैखिक संयोजन हैं। विशेष रूप से, इसका अर्थ है कि a की पहली बेट्टी संख्या 2-टोरस दो होते हैं। अधिक आम तौर पर, एक पर $n$-आयामी टोरस $T^{n}$, के विभिन्न संयोजनों पर विचार कर सकते हैं $k$- टोरस पर बनता है। वहाँ हैं $n$ चुनना $k$ ऐसे संयोजन जिनका उपयोग आधार वैक्टर बनाने के लिए किया जा सकता है $H_{\text{dR}}^{k}(T^{n})$; $k$डी राम कोहोलॉजी समूह के लिए -थ बेट्टी संख्या $n$-टोरस इस प्रकार है $n$ चुनना $k$.

अधिक सटीक, एक अंतर कई गुना के लिए M, कोई इसे कुछ सहायक रिमेंनियन मीट्रिक से लैस कर सकता है। फिर लाप्लासियन $\Delta$ द्वारा परिभाषित किया गया है

$\Delta =d\delta +\delta d$

साथ $d$ बाहरी व्युत्पन्न और $\delta$ सहविभेदक। लाप्लासियन एक सजातीय (श्रेणीबद्ध बीजगणित में) रेखीय अंतर ऑपरेटर है जो अंतर रूपों के बाहरी बीजगणित पर कार्य करता है: हम डिग्री के प्रत्येक घटक पर इसकी क्रिया को देख सकते हैं $k$ अलग से।

अगर $M$ कॉम्पैक्ट स्पेस और उन्मुखी है, डिफरेंशियल फॉर्म के स्पेस पर अभिनय करने वाले लाप्लासियन के कर्नेल (बीजगणित) का आयाम |k-रूप तब बराबर (हॉज सिद्धांत द्वारा) डी रम कोहोलॉजी समूह की डिग्री के बराबर है $k$: लाप्लासियन बंद रूप (कैलकुलस) के प्रत्येक कोहोलॉजी वर्ग में एक अद्वितीय हार्मोनिक रूप चुनता है। विशेष रूप से, सभी हार्मोनिक का स्थान $k$-फॉर्म चालू है $M$ के लिए आइसोमोर्फिक है $H^{k}(M;\mathbb {R} ).$ ऐसे प्रत्येक स्थान का आयाम परिमित है, और इसके द्वारा दिया गया है $k$-वीं बेट्टी संख्या।

हॉज अपघटन

होने देना $M$ एक कॉम्पैक्ट स्पेस उन्मुख कई गुना रीमैनियन मैनिफोल्ड हो। हॉज अपघटन बताता है कि कोई भी $k$-फॉर्म ऑन $M$ विशिष्ट रूप से तीन के योग में विभाजित होता है L² अवयव:

$\omega =\alpha +\beta +\gamma ,$

कहाँ $\alpha$ सटीक है, $\beta$ सह-सटीक है, और $\gamma$ हार्मोनिक है।

एक कहता है कि एक रूप $\beta$ सह-बंद है अगर $\delta \beta =0$ और सह-सटीक अगर $\beta =\delta \eta$ किसी रूप के लिए $\eta$, ओर वो $\gamma$ हार्मोनिक है अगर लाप्लासियन शून्य है, $\Delta \gamma =0$. यह इस बात पर ध्यान देने के बाद होता है कि सटीक और सह-सटीक रूप ऑर्थोगोनल हैं; ऑर्थोगोनल पूरक में ऐसे रूप होते हैं जो बंद और सह-बंद दोनों होते हैं: यानी हार्मोनिक रूपों का। यहाँ, रूढ़िवादिता को इसके संबंध में परिभाषित किया गया है L² आंतरिक उत्पाद चालू $\Omega ^{k}(M)$:

$(\alpha ,\beta )=\int _{M}\alpha \wedge {\star \beta }.$

सोबोलेव रिक्त स्थान या वितरण (गणित) के उपयोग से, अपघटन को उदाहरण के लिए एक पूर्ण (उन्मुख या नहीं) रीमैनियन मैनिफोल्ड तक बढ़ाया जा सकता है।

यह भी देखें

• हॉज सिद्धांत
• तंतुओं के साथ एकीकरण (डे रम कोहोलॉजी के लिए, पुशफॉरवर्ड (कोहोलॉजी) एकीकरण (गणित) द्वारा दिया जाता है)
• शेफ़ (गणित)
• डीडीबार लेम्मा|$\partial {\bar {\partial }}$कॉम्पैक्ट काहलर मैनिफोल्ड्स के मामले में सटीक अंतर रूपों के शोधन के लिए लेम्मा।

संदर्भ

• Lee, John M. (2013). Introduction to Smooth Manifolds. Springer-Verlag. ISBN 978-1-4419-9981-8.
• Bott, Raoul; Tu, Loring W. (1982), Differential Forms in Algebraic Topology, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90613-3
• Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library, New York: John Wiley & Sons, ISBN 978-0-471-05059-9, MR 1288523
• Warner, Frank (1983), Foundations of Differentiable Manifolds and Lie Groups, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90894-6

बाहरी संबंध

• Idea of the De Rham Cohomology in Mathifold Project
• "De Rham cohomology", Encyclopedia of Mathematics, EMS Press, 2001 [1994]