रिक्की वक्रता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 3: Line 3:
रिक्की टेंसर को इस माप से पहचाना जा सकता है कि स्पेस में [[जियोडेसिक]] के साथ चलते समय आकृति कैसे विकृत हो जाती है। [[सामान्य सापेक्षता]] में, जिसमें स्यूडो-रिमानियन सेटिंग उपस्थित है, यह रायचौधुरी समीकरण में रिक्की टेंसर की उपस्थिति से परिलक्षित होता है। इसे आंशिक रूप से इसी कारण आइंस्टीन क्षेत्र के समीकरणों के प्रस्ताव पर आधारित किया गया है, क्योंकि स्पेसटाइम को स्यूडो-रीमैनियन मीट्रिक द्वारा वर्णित किया जा सकता है, जिसमें रिक्की टेंसर और ब्रह्मांड की पदार्थ सामग्री के बीच आश्चर्यजनक सरल संबंध है।
रिक्की टेंसर को इस माप से पहचाना जा सकता है कि स्पेस में [[जियोडेसिक]] के साथ चलते समय आकृति कैसे विकृत हो जाती है। [[सामान्य सापेक्षता]] में, जिसमें स्यूडो-रिमानियन सेटिंग उपस्थित है, यह रायचौधुरी समीकरण में रिक्की टेंसर की उपस्थिति से परिलक्षित होता है। इसे आंशिक रूप से इसी कारण आइंस्टीन क्षेत्र के समीकरणों के प्रस्ताव पर आधारित किया गया है, क्योंकि स्पेसटाइम को स्यूडो-रीमैनियन मीट्रिक द्वारा वर्णित किया जा सकता है, जिसमें रिक्की टेंसर और ब्रह्मांड की पदार्थ सामग्री के बीच आश्चर्यजनक सरल संबंध है।


मीट्रिक टेंसर के समान, रिक्की टेंसर मैनिफ़ोल्ड के प्रत्येक [[स्पर्शरेखा स्थान]] को [[सममित द्विरेखीय रूप]]  {{harv|Besse|1987|p=43}} प्रदान करता है।<ref>Here it is assumed that the manifold carries its unique [[Levi-Civita connection]]. For a general [[affine connection]], the Ricci tensor need not be symmetric.</ref> मुख्य रूप से कोई रीमैनियन ज्यामिति में रिक्की वक्रता की भूमिका को कार्यों के विश्लेषण में [[लाप्लास ऑपरेटर]] की भूमिका के अनुरूप बना सकता है, इस सादृश्य में, [[रीमैन वक्रता टेंसर]], जिसमें से रिक्की वक्रता प्राकृतिक उप-उत्पाद है, फ़ंक्शन के दूसरे डेरिवेटिव के पूर्ण आव्यूह के अनुरूप होगा। चूंकि, समान सादृश्य निकालने के लिए लाप्लास-बेल्ट्रामी ऑपरेटर हैं।
मीट्रिक टेंसर के समान, रिक्की टेंसर मैनिफ़ोल्ड के प्रत्येक [[स्पर्शरेखा स्थान]] को [[सममित द्विरेखीय रूप]]  {{harv|Besse|1987|p=43}} प्रदान करता है।<ref>Here it is assumed that the manifold carries its unique [[Levi-Civita connection]]. For a general [[affine connection]], the Ricci tensor need not be symmetric.</ref> मुख्य रूप से कोई रीमैनियन ज्यामिति में रिक्की वक्रता की भूमिका को कार्यों के विश्लेषण में [[लाप्लास ऑपरेटर]] की भूमिका के अनुरूप बना सकता है, इस सादृश्य में, [[रीमैन वक्रता टेंसर]], जिसमें से रिक्की वक्रता प्राकृतिक उप-उत्पाद है, फलन के दूसरे डेरिवेटिव के पूर्ण आव्यूह के अनुरूप होगा। चूंकि, समान सादृश्य निकालने के लिए लाप्लास-बेल्ट्रामी ऑपरेटर हैं।


[[ निम्न-आयामी टोपोलॉजी ]]|थ्री-डायमेंशनल टोपोलॉजी में, रिक्की टेंसर में वह सारी जानकारी होती है जो उच्च आयामों में अधिक जटिल रीमैन वक्रता टेंसर द्वारा एन्कोड की जाती है। कुछ हद तक, यह सादगी कई ज्यामितीय और विश्लेषणात्मक उपकरणों के अनुप्रयोग की अनुमति देती है, जिसके कारण रिचर्ड एस हैमिल्टन और [[ग्रिगोरी पेरेलमैन]] के काम के माध्यम से पोंकारे अनुमान का समाधान हुआ।
[[ निम्न-आयामी टोपोलॉजी |निम्न-आयामी टोपोलॉजी]] या थ्री-डायमेंशनल टोपोलॉजी में, रिक्की टेंसर में वह सारी जानकारी होती है जो उच्च आयामों में अधिक जटिल रीमैन वक्रता टेंसर द्वारा एन्कोड की जाती है। कुछ सीमा तक, यह स्थिति कई ज्यामितीय और विश्लेषणात्मक उपकरणों के अनुप्रयोग की अनुमति देती है, जिसके कारण रिचर्ड एस हैमिल्टन और [[ग्रिगोरी पेरेलमैन]] के काम के माध्यम से पोंकारे अनुमान का समाधान प्राप्त हुआ हैं।


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


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


2007 में, [[जॉन लोट (गणितज्ञ)]], [[कार्ल-थियोडोर स्टर्म]] और [[सेड्रिक विलानी]] ने निर्णायक रूप से प्रदर्शित किया कि रिक्की वक्रता पर निचली सीमा को पूरी तरह से रीमैनियन मैनिफोल्ड की मीट्रिक स्पेस संरचना के साथ-साथ इसके वॉल्यूम फॉर्म के संदर्भ में समझा जा सकता है।<ref>{{cite arXiv|last1=Lott|first1=John|last2=Villani|first2=Cedric|date=2006-06-23|title=इष्टतम परिवहन के माध्यम से मीट्रिक-माप स्थानों के लिए रिक्की वक्रता|eprint=math/0412127}}</ref> इसने रिक्की वक्रता और [[वासेरस्टीन मीट्रिक]] और [[परिवहन सिद्धांत (गणित)]] के बीच गहरा संबंध स्थापित किया, जो वर्तमान में बहुत शोध का विषय है।
2007 में, [[जॉन लोट (गणितज्ञ)]], [[कार्ल-थियोडोर स्टर्म]] और [[सेड्रिक विलानी]] ने निर्णायक रूप से प्रदर्शित किया कि रिक्की वक्रता पर निचली सीमा को पूर्ण रूप से रीमैनियन मैनिफोल्ड की मीट्रिक स्पेस संरचना के साथ-साथ इसके वॉल्यूम फॉर्म के संदर्भ में समझा जा सकता है।<ref>{{cite arXiv|last1=Lott|first1=John|last2=Villani|first2=Cedric|date=2006-06-23|title=इष्टतम परिवहन के माध्यम से मीट्रिक-माप स्थानों के लिए रिक्की वक्रता|eprint=math/0412127}}</ref> इसने रिक्की वक्रता और [[वासेरस्टीन मीट्रिक]] और [[परिवहन सिद्धांत (गणित)]] के बीच गहरा संबंध स्थापित किया, जो वर्तमान में बहुत शोध का विषय है।


==परिभाषा==
==परिभाषा==
लगता है कि <math>\left( M, g \right)</math> <math>n</math>आयामी
इसके कारण लगता है कि <math>\left( M, g \right)</math> <math>n</math>आयामी रीमैनियन मैनिफोल्ड या स्यूडो-रीमैनियन मैनिफोल्ड से सुसज्जित होने के कारण [[लेवी-सिविटा कनेक्शन]] <math>\nabla</math> के साथ [[रीमैनियन वक्रता टेंसर]] <math>M</math> का नक्शा है, जो सहज वेक्टर क्षेत्र <math>X</math>, <math>Y</math>, और <math>Z</math> को उपयोग करता है और वेक्टर क्षेत्र लौटाता है।<math display="block">R(X,Y)Z := \nabla_X\nabla_Y Z - \nabla_Y\nabla_XZ - \nabla_{[X,Y]}Z</math>[[वेक्टर फ़ील्ड|वेक्टर क्षेत्र]] पर <math>X, Y, Z</math>. तब से <math>R</math> के लिए टेंसर क्षेत्र है, जिसे प्रत्येक बिंदु <math>p \in M</math>, यह (बहुरेखीय) मानचित्र को जन्म देता है:<math display="block">\operatorname{R}_p:T_pM\times T_pM\times T_pM\to T_pM.</math>प्रत्येक बिंदु के लिए परिभाषित करें, <math>p \in M</math> वो नक्शा <math>\operatorname{Ric}_p:T_pM\times T_pM\to\mathbb{R}</math> से प्रदर्शित होता हैं।<math display="block">\operatorname{Ric}_p(Y,Z) := \operatorname{tr}\big(X\mapsto \operatorname{R}_p(X,Y)Z\big).</math>अर्ताथ तय कर लिया गया है कि <math>Y</math> और <math>Z</math>, फिर किसी भी आधार के लिए इस प्रकार प्रदर्शित होगा।
रीमैनियन मैनिफोल्ड या स्यूडो-रीमैनियन मैनिफोल्ड, सुसज्जित
  <math>v_1, \ldots, v_n</math> सदिश स्थान का <math>T_p M</math> के लिए इस प्रकार होगा।<math display="block">\operatorname{Ric}_p(Y,Z) = \sum_{i=1} \langle\operatorname{R}_p(v_i, Y) Z, v_i \rangle.</math>
इसके [[लेवी-सिविटा कनेक्शन]] के साथ <math>\nabla</math>.
यह (मल्टी) लीनियर का मानक अभ्यास है, यहाँ पर बीजगणित यह सत्यापित करने के लिए कि इस परिभाषा के आधार के रूप पर निर्भर नहीं करती है
[[रीमैनियन वक्रता टेंसर]] <math>M</math> नक्शा है जो
सहज वेक्टर फ़ील्ड लेता है <math>X</math>, <math>Y</math>, और <math>Z</math>,
और वेक्टर फ़ील्ड लौटाता है<math display="block">R(X,Y)Z := \nabla_X\nabla_Y Z - \nabla_Y\nabla_XZ - \nabla_{[X,Y]}Z</math>[[वेक्टर फ़ील्ड]] पर <math>X, Y, Z</math>. तब से <math>R</math> के लिए टेंसर फ़ील्ड है
प्रत्येक बिंदु <math>p \in M</math>, यह (बहुरेखीय) मानचित्र को जन्म देता है:<math display="block">\operatorname{R}_p:T_pM\times T_pM\times T_pM\to T_pM.</math>प्रत्येक बिंदु के लिए परिभाषित करें <math>p \in M</math> वो नक्शा <math>\operatorname{Ric}_p:T_pM\times T_pM\to\mathbb{R}</math> द्वारा
 
<math display="block">\operatorname{Ric}_p(Y,Z) := \operatorname{tr}\big(X\mapsto \operatorname{R}_p(X,Y)Z\big).</math>
यानी तय कर लिया है <math>Y</math> और <math>Z</math>, फिर किसी भी आधार के लिए
  <math>v_1, \ldots, v_n</math> सदिश स्थान का <math>T_p M</math>, किसी के पास
 
<math display="block">\operatorname{Ric}_p(Y,Z) = \sum_{i=1} \langle\operatorname{R}_p(v_i, Y) Z, v_i \rangle.</math>
यह (मल्टी)लीनियर का मानक अभ्यास है
बीजगणित यह सत्यापित करने के लिए कि यह परिभाषा आधार की पसंद पर निर्भर नहीं करती है
  <math>v_1, \ldots, v_n</math>.
  <math>v_1, \ldots, v_n</math>.


अमूर्त सूचकांक संकेतन में,
स्यूडो सूचकांक संकेतन में,<math display="block">\mathrm{Ric}_{ab} = \mathrm{R}^{c}{}_{bca} = \mathrm{R}^{c}{}_{acb}. </math>


<math display="block">\mathrm{Ric}_{ab} = \mathrm{R}^{c}{}_{bca} = \mathrm{R}^{c}{}_{acb}. </math>
सम्मेलनों पर हस्ताक्षर करें. ध्यान दें कि कुछ स्रोत परिभाषित करते हैं <math>R(X,Y)Z</math> होना
यहां क्या कहा जाएगा <math>-R(X,Y)Z;</math> फिर वे परिभाषित करेंगे
<math>\operatorname{Ric}_p</math> जैसा <math>-\operatorname{tr}(X\mapsto \operatorname{R}_p(X,Y)Z).</math> चूंकि रीमैन टेंसर के बारे में संकेत परंपराएं भिन्न हैं, लेकिन वे इसके बारे में भिन्न नहीं हैं
रिक्की टेंसर।


सम्मेलनों पर हस्ताक्षर करें. ध्यान दें कि कुछ स्रोत <math>R(X,Y)Z</math> द्वारा परिभाषित करते हैं,
यहां क्या कहा जाएगा कि <math>-R(X,Y)Z;</math> फिर वे परिभाषित करेंगे।
<math>\operatorname{Ric}_p</math> जैसा <math>-\operatorname{tr}(X\mapsto \operatorname{R}_p(X,Y)Z).</math> चूंकि रीमैन टेंसर के बारे में संकेत परंपराएं भिन्न हैं, अपितु वे इसके बारे में भिन्न नहीं हैं।
===स्मूथ मैनिफोल्ड पर स्थानीय निर्देशांक के माध्यम से परिभाषा===
===स्मूथ मैनिफोल्ड पर स्थानीय निर्देशांक के माध्यम से परिभाषा===
होने देना <math>\left( M, g \right)</math> चिकनी रीमैनियन मैनिफोल्ड बनें
<math>\left( M, g \right)</math> समतल रीमैनियन मैनिफोल्ड बनें या स्यूडो-रिमानियन मैनिफोल्ड या स्यूडो-रिमानियन <math>n</math>-कई गुना होने के साथ एक सहज चार्ट <math>\left( U, \varphi \right)</math> दिया गया जिसके लिए फलन <math>g_{ij}: \varphi(U) \rightarrow \mathbb{R}</math> हैं।
या स्यूडो-रिमानियन मैनिफोल्ड|स्यूडो-रिमानियन <math>n</math>-कई गुना.
एक सहज चार्ट दिया गया <math>\left( U, \varphi \right)</math> के पास कार्य हैं
<math>g_{ij}: \varphi(U) \rightarrow \mathbb{R}</math> और
  <math>g^{ij}: \varphi(U) \rightarrow \mathbb{R}</math> प्रत्येक के लिए
  <math>g^{ij}: \varphi(U) \rightarrow \mathbb{R}</math> प्रत्येक के लिए
  <math>i, j = 1, \ldots, n</math> जो संतुष्ट करता है
  <math>i, j = 1, \ldots, n</math> जो संतुष्ट करता है
Line 50: Line 33:
\sum_{k=1}^n g^{ik}(x)g_{kj}(x) = \delta^{i}_j = \begin{cases} 1 & i=j \\ 0 & i \neq j \end{cases}
\sum_{k=1}^n g^{ik}(x)g_{kj}(x) = \delta^{i}_j = \begin{cases} 1 & i=j \\ 0 & i \neq j \end{cases}
</math>
</math>
सभी के लिए <math>x \in \varphi(U)</math>. उत्तरार्द्ध दिखाता है कि, के रूप में व्यक्त किया गया
सभी के लिए <math>x \in \varphi(U)</math> उत्तरार्द्ध दिखाता है कि इसे आव्यूह, <math>g^{ij}(x) = (g^{-1})_{ij}(x)</math> के रूप में व्यक्त किया गया हैं। फलन <math>g_{ij}</math> के मूल्यांकन के लिए इसे <math>g</math> पर परिभाषित किया जाता है, सदिश क्षेत्रों का समन्वय करें, जबकि फलन <math>g^{ij}</math> इस प्रकार परिभाषित किया गया है, आव्यूह के इसे मान के लिए फलन के रूप में वे आव्यूह-वैल्यू का व्युत्क्रम प्रदान करते हैं।
आव्यूह, <math>g^{ij}(x) = (g^{-1})_{ij}(x)</math>.
 
कार्य <math>g_{ij}</math> मूल्यांकन करके परिभाषित किया जाता है <math>g</math> पर
फलन <math>x \mapsto g_{ij}(x)</math>
सदिश क्षेत्रों का समन्वय करें, जबकि कार्य <math>g^{ij}</math> इस प्रकार परिभाषित किया गया है
आव्यूह-वैल्यू फ़ंक्शन के रूप में, वे आव्यूह-वैल्यू का व्युत्क्रम प्रदान करते हैं
समारोह <math>x \mapsto g_{ij}(x)</math>.


अब प्रत्येक के लिए परिभाषित करें <math>a</math>, <math>b</math>, <math>c</math>, <math>i</math>,
अब प्रत्येक के लिए परिभाषित करें, <math>a</math>, <math>b</math>, <math>c</math>, <math>i</math> और <math>j</math> 1 और के बीच <math>n</math>, फलन इस प्रकार प्रदर्शित होता हैं।
और <math>j</math> 1 और के बीच <math>n</math>, कार्य


<math display="block">\begin{align}
<math display="block">\begin{align}
Line 66: Line 45:
मानचित्र के रूप में <math>\varphi: U \rightarrow \mathbb{R}</math>.
मानचित्र के रूप में <math>\varphi: U \rightarrow \mathbb{R}</math>.


अब चलो <math>\left( U, \varphi \right)</math> और <math>\left( V, \psi \right)</math> के साथ दो सहज चार्ट बनें <math>U \cap V \neq \emptyset</math>.
अब चलो <math>\left( U, \varphi \right)</math> और <math>\left( V, \psi \right)</math> के साथ दो सहज चार्ट <math>U \cap V \neq \emptyset</math> बनाये जाते हैं, माना कि <math>R_{ij}: \varphi(U) \rightarrow \mathbb{R}</math> चार्ट के माध्यम से उपरोक्त फलन <math>\left( U, \varphi \right)</math> की गणना करें, और <math>r_{ij}: \psi(V) \rightarrow \mathbb{R}</math> चार्ट के माध्यम से उपरोक्त फलन <math>\left( V, \psi \right)</math> की गणना करें। फिर कोई श्रृंखला नियम और उत्पाद नियम के साथ गणना करके जांच कर सकता है।<math display="block">
होने देना <math>R_{ij}: \varphi(U) \rightarrow \mathbb{R}</math> चार्ट के माध्यम से उपरोक्त कार्यों की गणना करें <math>\left( U, \varphi \right)</math> और जाने <math>r_{ij}: \psi(V) \rightarrow \mathbb{R}</math> चार्ट के माध्यम से उपरोक्त कार्यों की गणना करें <math>\left( V, \psi \right)</math>.
फिर कोई श्रृंखला नियम और उत्पाद नियम के साथ गणना करके जांच कर सकता है
 
<math display="block">
R_{ij}(x) = \sum_{k,l=1}^n r_{kl}\left(\psi\circ\varphi^{-1}(x)\right)D_i\Big|_x \left(\psi\circ\varphi^{-1}\right)^kD_j\Big|_x \left(\psi\circ\varphi^{-1}\right)^l.
R_{ij}(x) = \sum_{k,l=1}^n r_{kl}\left(\psi\circ\varphi^{-1}(x)\right)D_i\Big|_x \left(\psi\circ\varphi^{-1}\right)^kD_j\Big|_x \left(\psi\circ\varphi^{-1}\right)^l.
</math>
</math>
कहाँ <math>D_{i}</math> साथ में पहला व्युत्पन्न है <math>i</math>दिशा
 
का <math>\mathbb{R}^n</math>.
 
इससे पता चलता है कि निम्नलिखित परिभाषा की पसंद पर निर्भर नहीं करती है
जहाँ <math>D_{i}</math> साथ में पहला व्युत्पन्न <math>i</math>दिशा है। जिसके कारण <math>\mathbb{R}^n</math>के मान द्वारा पता चलता है कि निम्नलिखित परिभाषा के उपयोग पर निर्भर नहीं करती है
  <math>\left( U, \varphi \right)</math>.
  <math>\left( U, \varphi \right)</math>.
किसी के लिए <math>p \in U</math>, द्विरेखीय मानचित्र को परिभाषित करें
किसी के लिए <math>p \in U</math>, द्विरेखीय मानचित्र को परिभाषित करें
Line 82: Line 57:
<math display="block">
<math display="block">
(X, Y) \in T_p M \times T_p M \mapsto \operatorname{Ric}_p(X,Y) = \sum_{i,j=1}^n R_{ij}(\varphi(x))X^i(p)Y^j(p),
(X, Y) \in T_p M \times T_p M \mapsto \operatorname{Ric}_p(X,Y) = \sum_{i,j=1}^n R_{ij}(\varphi(x))X^i(p)Y^j(p),
</math>
</math>जहाँ <math>X^1, \ldots, X^n</math> और <math>Y^1, \ldots, Y^n</math> हैं, स्पर्शरेखा सदिशों के घटक <math>p</math> में <math>X</math> और <math>Y</math> के सापेक्ष समन्वय वेक्टर क्षेत्र <math>\left( U, \varphi \right)</math> है।
कहाँ <math>X^1, \ldots, X^n</math> और <math>Y^1, \ldots, Y^n</math> हैं
स्पर्शरेखा सदिशों के घटक <math>p</math> में <math>X</math> और <math>Y</math> के सापेक्ष
के समन्वय वेक्टर फ़ील्ड <math>\left( U, \varphi \right)</math>.


उपरोक्त औपचारिक प्रस्तुति को निम्नलिखित शैली में संक्षिप्त करना आम बात है:
उपरोक्त औपचारिक प्रस्तुति को निम्नलिखित शैली में संक्षिप्त करना साधारण बात है:
{{block indent| em = 2 | text =
{{block indent| em = 2 | text =
Let <math>M</math> be a smooth manifold, and let {{mvar|g}} be a Riemannian or pseudo-Riemannian metric. In local smooth coordinates, define the Christoffel symbols  
Let <math>M</math> be a smooth manifold, and let {{mvar|g}} be a Riemannian or pseudo-Riemannian metric. In local smooth coordinates, define the Christoffel symbols  
Line 119: Line 91:


===परिभाषाओं की तुलना===
===परिभाषाओं की तुलना===
उपरोक्त दोनों परिभाषाएँ समान हैं। परिभाषित करने वाले सूत्र <math>\Gamma_{ij}^k</math> और <math>R_{ij}</math> समन्वय दृष्टिकोण में लेवी-सिविटा कनेक्शन और लेवी-सिविटा कनेक्शन के माध्यम से रीमैन वक्रता को परिभाषित करने वाले सूत्रों में सटीक समानता है। तर्कसंगत रूप से, सीधे स्थानीय निर्देशांक का उपयोग करने वाली परिभाषाएँ बेहतर हैं, क्योंकि ऊपर उल्लिखित रीमैन टेंसर की महत्वपूर्ण संपत्ति की आवश्यकता है <math>M</math> धारण करने के लिए हॉसडॉर्फ होना। इसके विपरीत, स्थानीय समन्वय दृष्टिकोण के लिए केवल सहज एटलस की आवश्यकता होती है। स्थानीय दृष्टिकोण में अंतर्निहित अपरिवर्तनवादी दर्शन को [[स्पिनर क्षेत्र]] जैसे अधिक विदेशी ज्यामितीय वस्तुओं के निर्माण के तरीकों से जोड़ना भी कुछ हद तक आसान है।
उपरोक्त दोनों परिभाषाएँ समान हैं। परिभाषित करने वाले सूत्र <math>\Gamma_{ij}^k</math> और <math>R_{ij}</math> समन्वय दृष्टिकोण में लेवी-सिविटा कनेक्शन और लेवी-सिविटा कनेक्शन के माध्यम से रीमैन वक्रता को परिभाषित करने वाले सूत्रों में सटीक समानता है। तर्कसंगत रूप से, सीधे स्थानीय निर्देशांक का उपयोग करने वाली परिभाषाएँ बेहतर हैं, क्योंकि ऊपर उल्लिखित रीमैन टेंसर की महत्वपूर्ण संपत्ति की आवश्यकता है <math>M</math> धारण करने के लिए हॉसडॉर्फ होना। इसके विपरीत, स्थानीय समन्वय दृष्टिकोण के लिए केवल सहज एटलस की आवश्यकता होती है। स्थानीय दृष्टिकोण में अंतर्निहित अपरिवर्तनवादी दर्शन को [[स्पिनर क्षेत्र]] जैसे अधिक विदेशी ज्यामितीय वस्तुओं के निर्माण के तरीकों से जोड़ना भी कुछ सीमा तक आसान है।


परिभाषित करने वाला जटिल सूत्र <math>R_{ij}</math> परिचयात्मक अनुभाग में निम्नलिखित अनुभाग के समान ही है। अंतर केवल इतना है कि शब्दों को समूहीकृत किया गया है ताकि इसे देखना आसान हो <math>R_{ij}=R_{ji}.</math>
परिभाषित करने वाला जटिल सूत्र <math>R_{ij}</math> परिचयात्मक अनुभाग में निम्नलिखित अनुभाग के समान ही है। अंतर केवल इतना है कि शब्दों को समूहीकृत किया गया है ताकि इसे देखना आसान हो <math>R_{ij}=R_{ji}.</math>
Line 130: Line 102:


<math display="block">\operatorname{Ric}(X ,Y) = \operatorname{Ric}(Y,X)</math>
<math display="block">\operatorname{Ric}(X ,Y) = \operatorname{Ric}(Y,X)</math>
सभी के लिए <math>X,Y\in T_pM.</math> इस प्रकार यह रैखिक-बीजगणितीय रूप से अनुसरण करता है कि रिक्की टेंसर पूरी तरह से निर्धारित है
सभी के लिए <math>X,Y\in T_pM.</math> इस प्रकार यह रैखिक-बीजगणितीय रूप से अनुसरण करता है कि रिक्की टेंसर पूर्ण रूप से निर्धारित है
मात्रा जानकर <math>\operatorname{Ric}(X, X)</math> सभी वैक्टर के लिए
मात्रा जानकर <math>\operatorname{Ric}(X, X)</math> सभी वैक्टर के लिए
  <math>X</math> इकाई लंबाई का. इकाई स्पर्शरेखा सदिशों के सेट पर यह फ़ंक्शन
  <math>X</math> इकाई लंबाई का. इकाई स्पर्शरेखा सदिशों के सेट पर यह फलन
इसे अक्सर रिक्की वक्रता भी कहा जाता है, क्योंकि इसे जानना इसके बराबर है
इसे अक्सर रिक्की वक्रता भी कहा जाता है, क्योंकि इसे जानना इसके बराबर है
रिक्की वक्रता टेंसर को जानना।
रिक्की वक्रता टेंसर को जानना।


रिक्की वक्रता रीमैनियन के [[अनुभागीय वक्रता]] द्वारा निर्धारित की जाती है
रिक्की वक्रता रीमैनियन के [[अनुभागीय वक्रता]] द्वारा निर्धारित की जाती है
कई गुना, लेकिन आम तौर पर इसमें कम जानकारी होती है। वास्तव में, यदि <math>\xi</math> है
कई गुना, अपितु आम तौर पर इसमें कम जानकारी होती है। वास्तव में, यदि <math>\xi</math> है
रीमैनियन पर इकाई लंबाई का वेक्टर <math>n</math>-तो फिर कई गुना
रीमैनियन पर इकाई लंबाई का वेक्टर <math>n</math>-तो फिर कई गुना
  <math>\operatorname{Ric}(\xi, \xi)</math> बिल्कुल सही है <math>(n - 1)</math>
  <math>\operatorname{Ric}(\xi, \xi)</math> बिल्कुल सही है <math>(n - 1)</math>
Line 153: Line 125:


<math display="block">\operatorname{div}\operatorname{Ric} = \frac{1}{2}dR,</math>
<math display="block">\operatorname{div}\operatorname{Ric} = \frac{1}{2}dR,</math>
कहाँ <math>R</math> [[अदिश वक्रता]] है, जिसे स्थानीय निर्देशांक में परिभाषित किया गया है <math>g^{ij}R_{ij}.</math> इसे अक्सर अनुबंधित दूसरी बियांची पहचान कहा जाता है।
जहाँ <math>R</math> [[अदिश वक्रता]] है, जिसे स्थानीय निर्देशांक में परिभाषित किया गया है <math>g^{ij}R_{ij}.</math> इसे अक्सर अनुबंधित दूसरी बियांची पहचान कहा जाता है।


===अनौपचारिक गुण===
===अनौपचारिक गुण===
Line 160: Line 132:


<math display="block">R_{ij} = -\frac{1}{2}\Delta \left(g_{ij}\right) + \text{lower-order terms},</math>
<math display="block">R_{ij} = -\frac{1}{2}\Delta \left(g_{ij}\right) + \text{lower-order terms},</math>
कहाँ <math>\Delta = \nabla \cdot \nabla</math> लाप्लास-बेल्ट्रामी ऑपरेटर है,
जहाँ <math>\Delta = \nabla \cdot \nabla</math> लाप्लास-बेल्ट्रामी ऑपरेटर है,
यहां इसे स्थानीय रूप से परिभाषित कार्यों पर कार्य करने वाला माना जाता है <math>g_{ij}</math>.
यहां इसे स्थानीय रूप से परिभाषित कार्यों पर फलन करने वाला माना जाता है <math>g_{ij}</math>.
उदाहरण के लिए, यह तथ्य [[रिक्की प्रवाह]] समीकरण की शुरूआत को प्रेरित करता है
उदाहरण के लिए, यह तथ्य [[रिक्की प्रवाह]] समीकरण की शुरूआत को प्रेरित करता है
मीट्रिक के लिए ऊष्मा समीकरण के प्राकृतिक विस्तार के रूप में। वैकल्पिक रूप से,
मीट्रिक के लिए ऊष्मा समीकरण के प्राकृतिक विस्तार के रूप में। वैकल्पिक रूप से,
Line 222: Line 194:
रिक्की प्रवाह के अनुरूप होने वाली विलक्षणताओं के प्रकार
रिक्की प्रवाह के अनुरूप होने वाली विलक्षणताओं के प्रकार
अभिसरण की विफलता, 3-आयामी टोपोलॉजी के बारे में गहरी जानकारी को एन्कोड करती है।
अभिसरण की विफलता, 3-आयामी टोपोलॉजी के बारे में गहरी जानकारी को एन्कोड करती है।
इस कार्य की परिणति ज्यामितिकरण अनुमान का प्रमाण थी
इस फलन की परिणति ज्यामितिकरण अनुमान का प्रमाण थी
पहली बार 1970 के दशक में [[विलियम थर्स्टन]] द्वारा प्रस्तावित किया गया था, जिसे इस प्रकार माना जा सकता है
पहली बार 1970 के दशक में [[विलियम थर्स्टन]] द्वारा प्रस्तावित किया गया था, जिसे इस प्रकार माना जा सकता है
कॉम्पैक्ट 3-मैनिफोल्ड्स का वर्गीकरण।
कॉम्पैक्ट 3-मैनिफोल्ड्स का वर्गीकरण।
Line 231: Line 203:


==वैश्विक ज्यामिति और टोपोलॉजी==
==वैश्विक ज्यामिति और टोपोलॉजी==
यहां सकारात्मक रिक्की वक्रता वाले मैनिफोल्ड्स से संबंधित वैश्विक परिणामों की छोटी सूची दी गई है, रीमैनियन ज्यामिति#स्थानीय से वैश्विक प्रमेय भी देखें। संक्षेप में, रीमैनियन मैनिफोल्ड के सकारात्मक रिक्की वक्रता के मजबूत टोपोलॉजिकल परिणाम होते हैं, जबकि (कम से कम 3 आयाम के लिए), नकारात्मक रिक्की वक्रता का कोई टोपोलॉजिकल निहितार्थ नहीं होता है। (यदि रिक्की वक्रता कार्य करती है तो रिक्की वक्रता को 'सकारात्मक' कहा जाता है <math>\operatorname{Ric}(\xi, \xi)</math> गैर-शून्य स्पर्शरेखा सदिशों के समुच्चय पर धनात्मक है <math>\xi</math>.) कुछ परिणाम स्यूडो-रीमैनियन मैनिफोल्ड्स के लिए भी जाने जाते हैं।
यहां सकारात्मक रिक्की वक्रता वाले मैनिफोल्ड्स से संबंधित वैश्विक परिणामों की छोटी सूची दी गई है, रीमैनियन ज्यामिति#स्थानीय से वैश्विक प्रमेय भी देखें। संक्षेप में, रीमैनियन मैनिफोल्ड के सकारात्मक रिक्की वक्रता के मजबूत टोपोलॉजिकल परिणाम होते हैं, जबकि (कम से कम 3 आयाम के लिए), नकारात्मक रिक्की वक्रता का कोई टोपोलॉजिकल निहितार्थ नहीं होता है। (यदि रिक्की वक्रता फलन करती है तो रिक्की वक्रता को 'सकारात्मक' कहा जाता है <math>\operatorname{Ric}(\xi, \xi)</math> गैर-शून्य स्पर्शरेखा सदिशों के समुच्चय पर धनात्मक है <math>\xi</math>.) कुछ परिणाम स्यूडो-रीमैनियन मैनिफोल्ड्स के लिए भी जाने जाते हैं।


#मायर्स प्रमेय|मायर्स प्रमेय (1941) में कहा गया है कि यदि रिक्की वक्रता नीचे से पूर्ण रीमैनियन एन-मैनिफोल्ड पर बंधी है <math>(n - 1)k > 0</math>, तो मैनिफोल्ड का व्यास होता है <math>\leq \pi / \sqrt{k}</math>. कवरिंग-स्पेस तर्क से, यह इस प्रकार है कि सकारात्मक रिक्की वक्रता के किसी भी कॉम्पैक्ट मैनिफोल्ड में सीमित [[मौलिक समूह]] होना चाहिए। [[शि यू-वाई यू एन चेंग]] (1975) ने दिखाया कि, इस सेटिंग में, व्यास असमानता में समानता तब होती है जब मैनिफोल्ड निरंतर वक्रता के क्षेत्र में [[आइसोमेट्री]] है <math>k</math>.
#मायर्स प्रमेय|मायर्स प्रमेय (1941) में कहा गया है कि यदि रिक्की वक्रता नीचे से पूर्ण रीमैनियन एन-मैनिफोल्ड पर बंधी है <math>(n - 1)k > 0</math>, तो मैनिफोल्ड का व्यास होता है <math>\leq \pi / \sqrt{k}</math>. कवरिंग-स्पेस तर्क से, यह इस प्रकार है कि सकारात्मक रिक्की वक्रता के किसी भी कॉम्पैक्ट मैनिफोल्ड में सीमित [[मौलिक समूह]] होना चाहिए। [[शि यू-वाई यू एन चेंग]] (1975) ने दिखाया कि, इस सेटिंग में, व्यास असमानता में समानता तब होती है जब मैनिफोल्ड निरंतर वक्रता के क्षेत्र में [[आइसोमेट्री]] है <math>k</math>.
#बिशप-ग्रोमोव असमानता बताती है कि यदि पूर्ण <math>n</math>-आयामी रीमैनियन मैनिफोल्ड में गैर-नकारात्मक रिक्की वक्रता है, तो जियोडेसिक गेंद का आयतन यूक्लिडियन में समान त्रिज्या के जियोडेसिक गेंद के आयतन से कम या बराबर होता है <math>n</math>-स्पेस। इसके अलावा, यदि <math>v_p(R)</math> केंद्र के साथ गेंद के आयतन को दर्शाता है <math>p</math> और त्रिज्या <math>R</math> अनेक गुना में और <math>V(R) = c_n R^n</math> त्रिज्या की गेंद के आयतन को दर्शाता है <math>R</math> यूक्लिडियन में <math>n</math>-स्पेस फिर फ़ंक्शन <math>v_p(R) / V(R)</math> नहीं बढ़ रहा है. इसे रिक्की वक्रता (केवल गैर-नकारात्मकता नहीं) पर किसी भी निचली सीमा के लिए सामान्यीकृत किया जा सकता है, और यह ग्रोमोव की कॉम्पैक्टनेस प्रमेय (ज्यामिति) | ग्रोमोव की कॉम्पैक्टनेस प्रमेय के प्रमाण में मुख्य बिंदु है।)
#बिशप-ग्रोमोव असमानता बताती है कि यदि पूर्ण <math>n</math>-आयामी रीमैनियन मैनिफोल्ड में गैर-नकारात्मक रिक्की वक्रता है, तो जियोडेसिक गेंद का आयतन यूक्लिडियन में समान त्रिज्या के जियोडेसिक गेंद के आयतन से कम या बराबर होता है <math>n</math>-स्पेस। इसके अलावा, यदि <math>v_p(R)</math> केंद्र के साथ गेंद के आयतन को दर्शाता है <math>p</math> और त्रिज्या <math>R</math> अनेक गुना में और <math>V(R) = c_n R^n</math> त्रिज्या की गेंद के आयतन को दर्शाता है <math>R</math> यूक्लिडियन में <math>n</math>-स्पेस फिर फलन <math>v_p(R) / V(R)</math> नहीं बढ़ रहा है. इसे रिक्की वक्रता (केवल गैर-नकारात्मकता नहीं) पर किसी भी निचली सीमा के लिए सामान्यीकृत किया जा सकता है, और यह ग्रोमोव की कॉम्पैक्टनेस प्रमेय (ज्यामिति) | ग्रोमोव की कॉम्पैक्टनेस प्रमेय के प्रमाण में मुख्य बिंदु है।)
#चीगर-ग्रोमोल [[विभाजन प्रमेय]] में कहा गया है कि यदि पूर्ण रीमानियन मैनिफोल्ड है <math>\left( M, g \right)</math> साथ <math>\operatorname{Ric} \geq 0</math> इसमें पंक्ति है, जिसका अर्थ है जियोडेसिक <math>\gamma : \mathbb{R} \to M</math> ऐसा है कि <math>d(\gamma(u), \gamma(v)) = \left| u - v \right|</math> सभी के लिए <math>u, v \in \mathbb{R}</math>, तो यह उत्पाद स्थान के लिए सममितीय है <math>\mathbb{R} \times L</math>. नतीजतन, सकारात्मक रिक्की वक्रता की पूरी विविधता का अधिकतम टोपोलॉजिकल अंत हो सकता है। संपूर्ण [[लोरेंट्ज़ियन मैनिफोल्ड]] (मीट्रिक हस्ताक्षर के) के लिए कुछ अतिरिक्त परिकल्पनाओं के तहत भी प्रमेय सत्य है <math>\left( + - - \ldots \right)</math>) गैर-नकारात्मक रिक्की टेंसर के साथ ({{harvnb|Galloway|2000}}).
#चीगर-ग्रोमोल [[विभाजन प्रमेय]] में कहा गया है कि यदि पूर्ण रीमानियन मैनिफोल्ड है <math>\left( M, g \right)</math> साथ <math>\operatorname{Ric} \geq 0</math> इसमें पंक्ति है, जिसका अर्थ है जियोडेसिक <math>\gamma : \mathbb{R} \to M</math> ऐसा है कि <math>d(\gamma(u), \gamma(v)) = \left| u - v \right|</math> सभी के लिए <math>u, v \in \mathbb{R}</math>, तो यह उत्पाद स्थान के लिए सममितीय है <math>\mathbb{R} \times L</math>. नतीजतन, सकारात्मक रिक्की वक्रता की पूरी विविधता का अधिकतम टोपोलॉजिकल अंत हो सकता है। संपूर्ण [[लोरेंट्ज़ियन मैनिफोल्ड]] (मीट्रिक हस्ताक्षर के) के लिए कुछ अतिरिक्त परिकल्पनाओं के तहत भी प्रमेय सत्य है <math>\left( + - - \ldots \right)</math>) गैर-नकारात्मक रिक्की टेंसर के साथ ({{harvnb|Galloway|2000}}).
रिक्की प्रवाह के लिए #हैमिल्टन के पहले रिक्की प्रवाह का परिणाम यह है कि एकमात्र कॉम्पैक्ट 3-मैनिफोल्ड्स जिसमें सकारात्मक रिक्की वक्रता के रीमैनियन मेट्रिक्स हैं, वे एसओ (4) के अलग-अलग उपसमूहों द्वारा 3-गोले के भागफल हैं जो उचित रूप से असंतत रूप से कार्य करते हैं। बाद में उन्होंने गैर-नकारात्मक रिक्की वक्रता की अनुमति देने के लिए इसे बढ़ाया। विशेष रूप से, एकमात्र सरल रूप से जुड़ी संभावना 3-गोला ही है।
रिक्की प्रवाह के लिए #हैमिल्टन के पहले रिक्की प्रवाह का परिणाम यह है कि एकमात्र कॉम्पैक्ट 3-मैनिफोल्ड्स जिसमें सकारात्मक रिक्की वक्रता के रीमैनियन मेट्रिक्स हैं, वे एसओ (4) के अलग-अलग उपसमूहों द्वारा 3-गोले के भागफल हैं जो उचित रूप से असंतत रूप से फलन करते हैं। बाद में उन्होंने गैर-नकारात्मक रिक्की वक्रता की अनुमति देने के लिए इसे बढ़ाया। विशेष रूप से, एकमात्र सरल रूप से जुड़ी संभावना 3-गोला ही है।
ये परिणाम, विशेष रूप से मायर्स और हैमिल्टन के, दर्शाते हैं कि सकारात्मक रिक्की वक्रता के मजबूत टोपोलॉजिकल परिणाम होते हैं। इसके विपरीत, सतहों के मामले को छोड़कर, नकारात्मक रिक्की वक्रता का अब कोई टोपोलॉजिकल प्रभाव नहीं है, {{harvtxt|Lohkamp|1994}} ने दिखाया है कि दो से अधिक आयाम का कोई भी मैनिफोल्ड नकारात्मक रिक्की वक्रता के पूर्ण रीमैनियन मीट्रिक को स्वीकार करता है। द्वि-आयामी मैनिफ़ोल्ड के मामले में, रिक्की वक्रता की नकारात्मकता गॉसियन वक्रता की नकारात्मकता का पर्याय है, जिसमें बहुत स्पष्ट [[गॉस-बोनट प्रमेय]] है। ऐसे बहुत कम द्वि-आयामी मैनिफोल्ड हैं जो नकारात्मक गाऊसी वक्रता के रीमैनियन मेट्रिक्स को स्वीकार करने में विफल रहते हैं।
ये परिणाम, विशेष रूप से मायर्स और हैमिल्टन के, दर्शाते हैं कि सकारात्मक रिक्की वक्रता के मजबूत टोपोलॉजिकल परिणाम होते हैं। इसके विपरीत, सतहों के मामले को छोड़कर, नकारात्मक रिक्की वक्रता का अब कोई टोपोलॉजिकल प्रभाव नहीं है, {{harvtxt|Lohkamp|1994}} ने दिखाया है कि दो से अधिक आयाम का कोई भी मैनिफोल्ड नकारात्मक रिक्की वक्रता के पूर्ण रीमैनियन मीट्रिक को स्वीकार करता है। द्वि-आयामी मैनिफ़ोल्ड के मामले में, रिक्की वक्रता की नकारात्मकता गॉसियन वक्रता की नकारात्मकता का पर्याय है, जिसमें बहुत स्पष्ट [[गॉस-बोनट प्रमेय]] है। ऐसे बहुत कम द्वि-आयामी मैनिफोल्ड हैं जो नकारात्मक गाऊसी वक्रता के रीमैनियन मेट्रिक्स को स्वीकार करने में विफल रहते हैं।


Line 243: Line 215:
  <math>e^{2f}</math>, नए, अनुरूप-संबंधित मीट्रिक का रिक्की टेंसर
  <math>e^{2f}</math>, नए, अनुरूप-संबंधित मीट्रिक का रिक्की टेंसर
  <math>\tilde{g} = e^{2f} g</math> दिया हुआ है {{harv|Besse|1987|p=59}} द्वारा<math display="block">\widetilde{\operatorname{Ric}}=\operatorname{Ric}+(2-n)\left[ \nabla df-df\otimes df\right]+\left[\Delta f -(n-2)\|df\|^2\right]g ,</math>
  <math>\tilde{g} = e^{2f} g</math> दिया हुआ है {{harv|Besse|1987|p=59}} द्वारा<math display="block">\widetilde{\operatorname{Ric}}=\operatorname{Ric}+(2-n)\left[ \nabla df-df\otimes df\right]+\left[\Delta f -(n-2)\|df\|^2\right]g ,</math>
कहाँ <math>\Delta = *d*d</math> (सकारात्मक स्पेक्ट्रम) हॉज लाप्लासियन है, अर्थात,
जहाँ <math>\Delta = *d*d</math> (सकारात्मक स्पेक्ट्रम) हॉज लाप्लासियन है, अर्थात,
हेस्सियन के सामान्य निशान के विपरीत।
हेस्सियन के सामान्य निशान के विपरीत।


खास तौर पर बात बताई गई है <math>p</math> रीमैनियन मैनिफोल्ड में, यह हमेशा होता है
खास तौर पर बात बताई गई है <math>p</math> रीमैनियन मैनिफोल्ड में, यह सदैव होता है
दिए गए मीट्रिक के अनुरूप मीट्रिक ढूंढना संभव है <math>g</math> जिसके लिए
दिए गए मीट्रिक के अनुरूप मीट्रिक ढूंढना संभव है <math>g</math> जिसके लिए
रिक्की टेंसर गायब हो जाता है <math>p</math>. चूंकि, ध्यान दें कि यह केवल बिंदुवार है
रिक्की टेंसर गायब हो जाता है <math>p</math>. चूंकि, ध्यान दें कि यह केवल बिंदुवार है
Line 253: Line 225:


द्वि-आयामी मैनिफोल्ड के लिए, उपरोक्त सूत्र दर्शाता है कि यदि <math>f</math> है
द्वि-आयामी मैनिफोल्ड के लिए, उपरोक्त सूत्र दर्शाता है कि यदि <math>f</math> है
[[हार्मोनिक फ़ंक्शन]], फिर अनुरूप स्केलिंग <math>g \mapsto e^{2f}g</math> रिक्की टेंसर को नहीं बदलता है (चूंकि यह अभी भी सम्मान के साथ अपना ट्रेस बदलता है
[[हार्मोनिक फ़ंक्शन|हार्मोनिक फलन]], फिर अनुरूप स्केलिंग <math>g \mapsto e^{2f}g</math> रिक्की टेंसर को नहीं बदलता है (चूंकि यह अभी भी सम्मान के साथ अपना ट्रेस बदलता है
मीट्रिक तक जब तक <math>f = 0</math>.
मीट्रिक तक जब तक <math>f = 0</math>.


Line 262: Line 234:


<math display="block">Z = \operatorname{Ric} - \frac{1}{n}Rg ,</math>
<math display="block">Z = \operatorname{Ric} - \frac{1}{n}Rg ,</math>
कहाँ <math>\operatorname{Ric}</math> और <math>R</math> रिक्की वक्रता को निरूपित करें
जहाँ <math>\operatorname{Ric}</math> और <math>R</math> रिक्की वक्रता को निरूपित करें
और अदिश वक्रता <math>g</math>. इस वस्तु का नाम दर्शाता है
और अदिश वक्रता <math>g</math>. इस वस्तु का नाम दर्शाता है
तथ्य यह है कि इसका [[ट्रेस (रैखिक बीजगणित)]] स्वचालित रूप से गायब हो जाता है:
तथ्य यह है कि इसका [[ट्रेस (रैखिक बीजगणित)]] स्वचालित रूप से गायब हो जाता है:
Line 276: Line 248:


<math display="block">\left\langle Z, \frac{1}{n}Rg\right\rangle_g \equiv g^{ab}\left(R_{ab} - \frac{1}{n}Rg_{ab}\right) = 0.</math>
<math display="block">\left\langle Z, \frac{1}{n}Rg\right\rangle_g \equiv g^{ab}\left(R_{ab} - \frac{1}{n}Rg_{ab}\right) = 0.</math>
एक पहचान जो इसके साथ गहराई से जुड़ी हुई है (लेकिन जिसे सीधे साबित किया जा सकता है)
एक पहचान जो इसके साथ गहराई से जुड़ी हुई है (अपितु जिसे सीधे साबित किया जा सकता है)
यह है कि
यह है कि


Line 315: Line 287:


<math display="block">\rho(X,Y) \;\stackrel{\text{def}}{=}\; \operatorname{Ric}(JX,Y)</math>
<math display="block">\rho(X,Y) \;\stackrel{\text{def}}{=}\; \operatorname{Ric}(JX,Y)</math>
कहाँ <math>J</math> पर जटिल मैनिफोल्ड मानचित्र है
जहाँ <math>J</math> पर जटिल मैनिफोल्ड मानचित्र है
काहलर मैनिफोल्ड की संरचना द्वारा निर्धारित स्पर्शरेखा बंडल। रिक्की
काहलर मैनिफोल्ड की संरचना द्वारा निर्धारित स्पर्शरेखा बंडल। रिक्की
फॉर्म बंद और सटीक फॉर्म 2-फॉर्म है। इसका [[कोहोमोलोजी वर्ग]] है,
फॉर्म बंद और सटीक फॉर्म 2-फॉर्म है। इसका [[कोहोमोलोजी वर्ग]] है,
Line 329: Line 301:


<math display="block">\rho = -i\partial\overline{\partial}\log\det\left(g_{\alpha\overline{\beta}}\right)</math>
<math display="block">\rho = -i\partial\overline{\partial}\log\det\left(g_{\alpha\overline{\beta}}\right)</math>
कहाँ {{math|∂}} Dolbeault ऑपरेटर है और
जहाँ {{math|∂}} Dolbeault ऑपरेटर है और


<math display="block">g_{\alpha\overline{\beta}} = g\left(\frac{\partial}{\partial z^\alpha}, \frac{\partial}{\partial\overline{z}^\beta}\right).</math>
<math display="block">g_{\alpha\overline{\beta}} = g\left(\frac{\partial}{\partial z^\alpha}, \frac{\partial}{\partial\overline{z}^\beta}\right).</math>
Line 349: Line 321:


<math display="block">R(X,Y)Z = \nabla_X\nabla_Y Z - \nabla_Y\nabla_XZ - \nabla_{[X,Y]}Z</math>
<math display="block">R(X,Y)Z = \nabla_X\nabla_Y Z - \nabla_Y\nabla_XZ - \nabla_{[X,Y]}Z</math>
किसी भी वेक्टर फ़ील्ड के लिए <math>X, Y, Z</math>. रिक्की टेंसर को ट्रेस के रूप में परिभाषित किया गया है:
किसी भी वेक्टर क्षेत्र के लिए <math>X, Y, Z</math>. रिक्की टेंसर को ट्रेस के रूप में परिभाषित किया गया है:


<math display="block">\operatorname{ric}(X,Y) = \operatorname{tr}\big(Z\mapsto R(Z,X)Y\big).</math>
<math display="block">\operatorname{ric}(X,Y) = \operatorname{tr}\big(Z\mapsto R(Z,X)Y\big).</math>

Revision as of 22:17, 22 November 2023

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

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

मीट्रिक टेंसर के समान, रिक्की टेंसर मैनिफ़ोल्ड के प्रत्येक स्पर्शरेखा स्थान को सममित द्विरेखीय रूप (Besse 1987, p. 43) प्रदान करता है।[1] मुख्य रूप से कोई रीमैनियन ज्यामिति में रिक्की वक्रता की भूमिका को कार्यों के विश्लेषण में लाप्लास ऑपरेटर की भूमिका के अनुरूप बना सकता है, इस सादृश्य में, रीमैन वक्रता टेंसर, जिसमें से रिक्की वक्रता प्राकृतिक उप-उत्पाद है, फलन के दूसरे डेरिवेटिव के पूर्ण आव्यूह के अनुरूप होगा। चूंकि, समान सादृश्य निकालने के लिए लाप्लास-बेल्ट्रामी ऑपरेटर हैं।

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

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

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

2007 में, जॉन लोट (गणितज्ञ), कार्ल-थियोडोर स्टर्म और सेड्रिक विलानी ने निर्णायक रूप से प्रदर्शित किया कि रिक्की वक्रता पर निचली सीमा को पूर्ण रूप से रीमैनियन मैनिफोल्ड की मीट्रिक स्पेस संरचना के साथ-साथ इसके वॉल्यूम फॉर्म के संदर्भ में समझा जा सकता है।[2] इसने रिक्की वक्रता और वासेरस्टीन मीट्रिक और परिवहन सिद्धांत (गणित) के बीच गहरा संबंध स्थापित किया, जो वर्तमान में बहुत शोध का विषय है।

परिभाषा

इसके कारण लगता है कि आयामी रीमैनियन मैनिफोल्ड या स्यूडो-रीमैनियन मैनिफोल्ड से सुसज्जित होने के कारण लेवी-सिविटा कनेक्शन के साथ रीमैनियन वक्रता टेंसर का नक्शा है, जो सहज वेक्टर क्षेत्र , , और को उपयोग करता है और वेक्टर क्षेत्र लौटाता है।

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

 सदिश स्थान का  के लिए इस प्रकार होगा।

यह (मल्टी) लीनियर का मानक अभ्यास है, यहाँ पर बीजगणित यह सत्यापित करने के लिए कि इस परिभाषा के आधार के रूप पर निर्भर नहीं करती है

.

स्यूडो सूचकांक संकेतन में,


सम्मेलनों पर हस्ताक्षर करें. ध्यान दें कि कुछ स्रोत द्वारा परिभाषित करते हैं, यहां क्या कहा जाएगा कि फिर वे परिभाषित करेंगे।

 जैसा  चूंकि रीमैन टेंसर के बारे में संकेत परंपराएं भिन्न हैं, अपितु वे इसके बारे में भिन्न नहीं हैं।

स्मूथ मैनिफोल्ड पर स्थानीय निर्देशांक के माध्यम से परिभाषा

समतल रीमैनियन मैनिफोल्ड बनें या स्यूडो-रिमानियन मैनिफोल्ड या स्यूडो-रिमानियन -कई गुना होने के साथ एक सहज चार्ट दिया गया जिसके लिए फलन हैं।

 प्रत्येक के लिए
 जो संतुष्ट करता है

सभी के लिए उत्तरार्द्ध दिखाता है कि इसे आव्यूह, के रूप में व्यक्त किया गया हैं। फलन के मूल्यांकन के लिए इसे पर परिभाषित किया जाता है, सदिश क्षेत्रों का समन्वय करें, जबकि फलन इस प्रकार परिभाषित किया गया है, आव्यूह के इसे मान के लिए फलन के रूप में वे आव्यूह-वैल्यू का व्युत्क्रम प्रदान करते हैं।

फलन

अब प्रत्येक के लिए परिभाषित करें, , , , और 1 और के बीच , फलन इस प्रकार प्रदर्शित होता हैं।

मानचित्र के रूप में .

अब चलो और के साथ दो सहज चार्ट बनाये जाते हैं, माना कि चार्ट के माध्यम से उपरोक्त फलन की गणना करें, और चार्ट के माध्यम से उपरोक्त फलन की गणना करें। फिर कोई श्रृंखला नियम और उत्पाद नियम के साथ गणना करके जांच कर सकता है।


जहाँ साथ में पहला व्युत्पन्न दिशा है। जिसके कारण के मान द्वारा पता चलता है कि निम्नलिखित परिभाषा के उपयोग पर निर्भर नहीं करती है

.

किसी के लिए , द्विरेखीय मानचित्र को परिभाषित करें

 द्वारा

जहाँ और हैं, स्पर्शरेखा सदिशों के घटक में और के सापेक्ष समन्वय वेक्टर क्षेत्र है।

उपरोक्त औपचारिक प्रस्तुति को निम्नलिखित शैली में संक्षिप्त करना साधारण बात है:

Let be a smooth manifold, and let g be a Riemannian or pseudo-Riemannian metric. In local smooth coordinates, define the Christoffel symbols

It can be directly checked that

so that define a (0,2)-tensor field on . In particular, if and are vector fields on , then relative to any smooth coordinates one has

अंतिम पंक्ति में यह प्रदर्शन उपस्थित है कि द्विरेखीय मानचित्र रिक अच्छी तरह से परिभाषित है, जिसे अनौपचारिक संकेतन के साथ लिखना बहुत आसान है।

परिभाषाओं की तुलना

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

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


गुण

जैसा कि बियांची पहचान से देखा जा सकता है, रीमैनियन का रिक्की टेंसर मैनिफ़ोल्ड सममित टेंसर है, इस अर्थ में

सभी के लिए इस प्रकार यह रैखिक-बीजगणितीय रूप से अनुसरण करता है कि रिक्की टेंसर पूर्ण रूप से निर्धारित है मात्रा जानकर सभी वैक्टर के लिए

 इकाई लंबाई का. इकाई स्पर्शरेखा सदिशों के सेट पर यह फलन

इसे अक्सर रिक्की वक्रता भी कहा जाता है, क्योंकि इसे जानना इसके बराबर है रिक्की वक्रता टेंसर को जानना।

रिक्की वक्रता रीमैनियन के अनुभागीय वक्रता द्वारा निर्धारित की जाती है कई गुना, अपितु आम तौर पर इसमें कम जानकारी होती है। वास्तव में, यदि है रीमैनियन पर इकाई लंबाई का वेक्टर -तो फिर कई गुना

 बिल्कुल सही है 

सभी 2-तलों पर ली गई अनुभागीय वक्रता के औसत मान का गुना युक्त . वहाँ है -आयामी परिवार ऐसे 2-तलों का, और इसलिए केवल आयाम 2 और 3 में रिक्की टेंसर निर्धारित करता है पूर्ण वक्रता टेंसर. उल्लेखनीय अपवाद तब होता है जब मैनिफ़ोल्ड को a दिया जाता है यूक्लिडियन स्पेस की हाइपरसतह के रूप में प्राथमिकता। दूसरा मौलिक रूप, जो गॉस-कोडाज़ी समीकरणों के माध्यम से पूर्ण वक्रता निर्धारित करता है|गॉस-कोडाज़ी समीकरण, स्वयं रिक्की टेंसर और प्रिंसिपल वक्रता द्वारा निर्धारित होता है ऊनविम पृष्ठ की रिक्की टेंसर की ईजेनदिशाएं भी हैं। इसी कारण से रिक्की द्वारा टेंसर की शुरुआत की गई थी।

जैसा कि दूसरी बियांची पहचान से देखा जा सकता है, के पास है

जहाँ अदिश वक्रता है, जिसे स्थानीय निर्देशांक में परिभाषित किया गया है इसे अक्सर अनुबंधित दूसरी बियांची पहचान कहा जाता है।

अनौपचारिक गुण

रिक्की वक्रता को कभी-कभी (का नकारात्मक गुणज) माना जाता है मीट्रिक टेंसर का लाप्लासियन (Chow & Knopf 2004, Lemma 3.32).[3] विशेष रूप से, हार्मोनिक निर्देशांक में स्थानीय निर्देशांक घटक संतुष्ट करते हैं

जहाँ लाप्लास-बेल्ट्रामी ऑपरेटर है, यहां इसे स्थानीय रूप से परिभाषित कार्यों पर फलन करने वाला माना जाता है . उदाहरण के लिए, यह तथ्य रिक्की प्रवाह समीकरण की शुरूआत को प्रेरित करता है मीट्रिक के लिए ऊष्मा समीकरण के प्राकृतिक विस्तार के रूप में। वैकल्पिक रूप से, सामान्य निर्देशांक के आधार पर ,


प्रत्यक्ष ज्यामितीय अर्थ

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

वास्तव में, सामान्य समन्वय प्रणाली में रेडियल जियोडेसिक के साथ जैकोबी क्षेत्र पर लागू मीट्रिक के टेलर विस्तार को लेते हुए, किसी को
इन निर्देशांकों में, मीट्रिक आयतन तत्व का निम्नलिखित विस्तार होता है p:

जो मीट्रिक के निर्धारक के वर्गमूल का विस्तार करके अनुसरण करता है।

इस प्रकार, यदि रिक्की वक्रता सकारात्मक है एक वेक्टर की दिशा में , शंक्वाकार क्षेत्र में लंबाई के जियोडेसिक खंडों के कसकर केंद्रित परिवार द्वारा बह गया

 से निकलना , अंदर प्रारंभिक वेग के साथ

के बारे में छोटा सा शंकु , संगत की तुलना में छोटी मात्रा होगी यूक्लिडियन स्पेस में शंक्वाकार क्षेत्र, कम से कम यह प्रदान किया गया पर्याप्त रूप से छोटा है. इसी प्रकार, यदि रिक्की वक्रता ऋणात्मक है किसी दिए गए वेक्टर की दिशा , अनेक गुना में ऐसा शंक्वाकार क्षेत्र इसके बजाय यूक्लिडियन स्पेस की तुलना में इसका आयतन बड़ा होगा।

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

अनुप्रयोग

रिक्की वक्रता सामान्य सापेक्षता में महत्वपूर्ण भूमिका निभाती है, जहां यह है आइंस्टीन क्षेत्र समीकरणों में प्रमुख शब्द।

रिक्की वक्रता रिक्की प्रवाह समीकरण में भी प्रकट होती है, जहां निश्चित है रीमैनियन मेट्रिक्स के एक-पैरामीटर परिवारों को समाधान के रूप में चुना गया है ज्यामितीय रूप से परिभाषित आंशिक अंतर समीकरण। समीकरणों की यह प्रणाली इसे ताप समीकरण के ज्यामितीय एनालॉग के रूप में सोचा जा सकता है, और यह पहला था 1982 में रिचर्ड एस हैमिल्टन द्वारा पेश किया गया। चूंकि गर्मी फैलती है एक ठोस जब तक शरीर स्थिर तापमान की संतुलन स्थिति तक नहीं पहुंच जाता, यदि किसी को कई गुना दिया गया है, तो रिक्की प्रवाह से 'संतुलन' उत्पन्न होने की उम्मीद की जा सकती है रीमैनियन मीट्रिक जो आइंस्टीन मीट्रिक या स्थिर वक्रता वाली है। चूंकि, इस तरह की स्वच्छ अभिसरण तस्वीर कई गुना से हासिल नहीं की जा सकती है ऐसे मेट्रिक्स का समर्थन नहीं कर सकते. के समाधानों की प्रकृति का विस्तृत अध्ययन रिक्की प्रवाह, मुख्य रूप से हैमिल्टन और त्वरित पेरेलमैन के कारण, दर्शाता है कि रिक्की प्रवाह के अनुरूप होने वाली विलक्षणताओं के प्रकार अभिसरण की विफलता, 3-आयामी टोपोलॉजी के बारे में गहरी जानकारी को एन्कोड करती है। इस फलन की परिणति ज्यामितिकरण अनुमान का प्रमाण थी पहली बार 1970 के दशक में विलियम थर्स्टन द्वारा प्रस्तावित किया गया था, जिसे इस प्रकार माना जा सकता है कॉम्पैक्ट 3-मैनिफोल्ड्स का वर्गीकरण।

काहलर मैनिफोल्ड पर, रिक्की वक्रता प्रथम चेर्न वर्ग को निर्धारित करती है मैनिफोल्ड का (मॉड टोरसन)। चूंकि, रिक्की वक्रता का कोई सादृश्य नहीं है जेनेरिक रीमैनियन मैनिफोल्ड पर टोपोलॉजिकल व्याख्या।

वैश्विक ज्यामिति और टोपोलॉजी

यहां सकारात्मक रिक्की वक्रता वाले मैनिफोल्ड्स से संबंधित वैश्विक परिणामों की छोटी सूची दी गई है, रीमैनियन ज्यामिति#स्थानीय से वैश्विक प्रमेय भी देखें। संक्षेप में, रीमैनियन मैनिफोल्ड के सकारात्मक रिक्की वक्रता के मजबूत टोपोलॉजिकल परिणाम होते हैं, जबकि (कम से कम 3 आयाम के लिए), नकारात्मक रिक्की वक्रता का कोई टोपोलॉजिकल निहितार्थ नहीं होता है। (यदि रिक्की वक्रता फलन करती है तो रिक्की वक्रता को 'सकारात्मक' कहा जाता है गैर-शून्य स्पर्शरेखा सदिशों के समुच्चय पर धनात्मक है .) कुछ परिणाम स्यूडो-रीमैनियन मैनिफोल्ड्स के लिए भी जाने जाते हैं।

  1. मायर्स प्रमेय|मायर्स प्रमेय (1941) में कहा गया है कि यदि रिक्की वक्रता नीचे से पूर्ण रीमैनियन एन-मैनिफोल्ड पर बंधी है , तो मैनिफोल्ड का व्यास होता है . कवरिंग-स्पेस तर्क से, यह इस प्रकार है कि सकारात्मक रिक्की वक्रता के किसी भी कॉम्पैक्ट मैनिफोल्ड में सीमित मौलिक समूह होना चाहिए। शि यू-वाई यू एन चेंग (1975) ने दिखाया कि, इस सेटिंग में, व्यास असमानता में समानता तब होती है जब मैनिफोल्ड निरंतर वक्रता के क्षेत्र में आइसोमेट्री है .
  2. बिशप-ग्रोमोव असमानता बताती है कि यदि पूर्ण -आयामी रीमैनियन मैनिफोल्ड में गैर-नकारात्मक रिक्की वक्रता है, तो जियोडेसिक गेंद का आयतन यूक्लिडियन में समान त्रिज्या के जियोडेसिक गेंद के आयतन से कम या बराबर होता है -स्पेस। इसके अलावा, यदि केंद्र के साथ गेंद के आयतन को दर्शाता है और त्रिज्या अनेक गुना में और त्रिज्या की गेंद के आयतन को दर्शाता है यूक्लिडियन में -स्पेस फिर फलन नहीं बढ़ रहा है. इसे रिक्की वक्रता (केवल गैर-नकारात्मकता नहीं) पर किसी भी निचली सीमा के लिए सामान्यीकृत किया जा सकता है, और यह ग्रोमोव की कॉम्पैक्टनेस प्रमेय (ज्यामिति) | ग्रोमोव की कॉम्पैक्टनेस प्रमेय के प्रमाण में मुख्य बिंदु है।)
  3. चीगर-ग्रोमोल विभाजन प्रमेय में कहा गया है कि यदि पूर्ण रीमानियन मैनिफोल्ड है साथ इसमें पंक्ति है, जिसका अर्थ है जियोडेसिक ऐसा है कि सभी के लिए , तो यह उत्पाद स्थान के लिए सममितीय है . नतीजतन, सकारात्मक रिक्की वक्रता की पूरी विविधता का अधिकतम टोपोलॉजिकल अंत हो सकता है। संपूर्ण लोरेंट्ज़ियन मैनिफोल्ड (मीट्रिक हस्ताक्षर के) के लिए कुछ अतिरिक्त परिकल्पनाओं के तहत भी प्रमेय सत्य है ) गैर-नकारात्मक रिक्की टेंसर के साथ (Galloway 2000).

रिक्की प्रवाह के लिए #हैमिल्टन के पहले रिक्की प्रवाह का परिणाम यह है कि एकमात्र कॉम्पैक्ट 3-मैनिफोल्ड्स जिसमें सकारात्मक रिक्की वक्रता के रीमैनियन मेट्रिक्स हैं, वे एसओ (4) के अलग-अलग उपसमूहों द्वारा 3-गोले के भागफल हैं जो उचित रूप से असंतत रूप से फलन करते हैं। बाद में उन्होंने गैर-नकारात्मक रिक्की वक्रता की अनुमति देने के लिए इसे बढ़ाया। विशेष रूप से, एकमात्र सरल रूप से जुड़ी संभावना 3-गोला ही है। ये परिणाम, विशेष रूप से मायर्स और हैमिल्टन के, दर्शाते हैं कि सकारात्मक रिक्की वक्रता के मजबूत टोपोलॉजिकल परिणाम होते हैं। इसके विपरीत, सतहों के मामले को छोड़कर, नकारात्मक रिक्की वक्रता का अब कोई टोपोलॉजिकल प्रभाव नहीं है, Lohkamp (1994) ने दिखाया है कि दो से अधिक आयाम का कोई भी मैनिफोल्ड नकारात्मक रिक्की वक्रता के पूर्ण रीमैनियन मीट्रिक को स्वीकार करता है। द्वि-आयामी मैनिफ़ोल्ड के मामले में, रिक्की वक्रता की नकारात्मकता गॉसियन वक्रता की नकारात्मकता का पर्याय है, जिसमें बहुत स्पष्ट गॉस-बोनट प्रमेय है। ऐसे बहुत कम द्वि-आयामी मैनिफोल्ड हैं जो नकारात्मक गाऊसी वक्रता के रीमैनियन मेट्रिक्स को स्वीकार करने में विफल रहते हैं।

अनुरूप पुनर्स्केलिंग के तहत व्यवहार

यदि मीट्रिक इसे अनुरूप कारक से गुणा करके बदला जाता है

, नए, अनुरूप-संबंधित मीट्रिक का रिक्की टेंसर
 दिया हुआ है (Besse 1987, p. 59) द्वारा

जहाँ (सकारात्मक स्पेक्ट्रम) हॉज लाप्लासियन है, अर्थात, हेस्सियन के सामान्य निशान के विपरीत।

खास तौर पर बात बताई गई है रीमैनियन मैनिफोल्ड में, यह सदैव होता है दिए गए मीट्रिक के अनुरूप मीट्रिक ढूंढना संभव है जिसके लिए रिक्की टेंसर गायब हो जाता है . चूंकि, ध्यान दें कि यह केवल बिंदुवार है बल देकर कहना, रिक्की वक्रता को समान रूप से गायब करना आमतौर पर असंभव है एक अनुरूप पुनर्स्केलिंग द्वारा संपूर्ण विविधता पर।

द्वि-आयामी मैनिफोल्ड के लिए, उपरोक्त सूत्र दर्शाता है कि यदि है हार्मोनिक फलन, फिर अनुरूप स्केलिंग रिक्की टेंसर को नहीं बदलता है (चूंकि यह अभी भी सम्मान के साथ अपना ट्रेस बदलता है मीट्रिक तक जब तक .

ट्रेस-मुक्त रिक्की टेंसर

रीमानियन ज्यामिति और स्यूडो-रीमानियन ज्यामिति में, ट्रेस-फ्री रिक्की टेंसर (जिसे ट्रेसलेस रिक्की टेंसर भी कहा जाता है)। रीमानियन या स्यूडो-रिमानियन -कई गुना द्वारा परिभाषित टेंसर है

जहाँ और रिक्की वक्रता को निरूपित करें और अदिश वक्रता . इस वस्तु का नाम दर्शाता है तथ्य यह है कि इसका ट्रेस (रैखिक बीजगणित) स्वचालित रूप से गायब हो जाता है:

 चूंकि, यह काफी है

महत्वपूर्ण टेंसर क्योंकि यह रिक्की टेंसर के ऑर्थोगोनल अपघटन को दर्शाता है।

रिक्की टेंसर का ऑर्थोगोनल अपघटन

निम्नलिखित, इतना मामूली नहीं, संपत्ति है

यह तुरंत कम स्पष्ट है कि दाहिनी ओर के दो शब्द ऑर्थोगोनल हैं एक दूसरे से:

एक पहचान जो इसके साथ गहराई से जुड़ी हुई है (अपितु जिसे सीधे साबित किया जा सकता है) यह है कि


ट्रेस-मुक्त रिक्की टेंसर और आइंस्टीन मेट्रिक्स

एक विचलन लेकर, और अनुबंधित बियांची पहचान का उपयोग करके, कोई उसे देख सकता है

 तात्पर्य .

तो, बशर्ते कि n ≥ 3 और जुड़ा हुआ है, लुप्त हो रहा है का तात्पर्य यह है कि अदिश वक्रता स्थिर है। फिर कोई देख सकता है कि निम्नलिखित समतुल्य हैं:

  • कुछ संख्या के लिए

रीमैनियन सेटिंग में, उपरोक्त ऑर्थोगोनल अपघटन यह दर्शाता है

 भी इन शर्तों के बराबर है.

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

काहलर मैनिफोल्ड्स

काहलर मैनिफोल्ड पर , रिक्की वक्रता निर्धारित करती है विहित बंडल का वक्रता रूप

(Moroianu 2007, Chapter 12). कैनोनिकल लाइन बंडल शीर्ष पर है

होलोमोर्फिक काहलर डिफरेंशियल के बंडल की बाहरी शक्ति:

लेवी-सिविटा कनेक्शन मीट्रिक के अनुरूप है देता है पर कनेक्शन के लिए उठो . इस संबंध की वक्रता है द्वारा परिभाषित 2-रूप

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

इसके विपरीत, रिक्की फॉर्म रिक्की टेंसर को निर्धारित करता है

स्थानीय होलोमोर्फिक निर्देशांक में , रिक्की फॉर्म द्वारा दिया गया है

जहाँ Dolbeault ऑपरेटर है और

यदि रिक्की टेंसर गायब हो जाता है, तो विहित बंडल सपाट होता है, इसलिए जी-संरचना को स्थानीय रूप से उपसमूह में घटाया जा सकता है विशेष रैखिक समूह . चूंकि, काहलर कई गुना है में पहले से ही होलोनोमी है , और इसलिए (प्रतिबंधित) रिक्की-फ्लैट काहलर मैनिफोल्ड की होलोनॉमी इसमें निहित है . इसके विपरीत, यदि 2 की (प्रतिबंधित) होलोनॉमी-आयामी रीमैनियन अनेक गुना समाहित है , तो मैनिफोल्ड रिक्की-फ्लैट है काहलर मैनिफोल्ड (Kobayashi & Nomizu 1996, IX, §4).

कनेक्शन जोड़ने का सामान्यीकरण

रिक्की टेंसर को मनमाने एफ़िन कनेक्शन के लिए भी सामान्यीकृत किया जा सकता है, जहां यह अपरिवर्तनीय है जो अध्ययन में विशेष रूप से महत्वपूर्ण भूमिका निभाता है प्रक्षेप्य विभेदक ज्यामिति (ज्यामिति से संबंधित) अमानकीकृत भूगणित) (Nomizu & Sasaki 1994). अगर एफ़िन कनेक्शन को दर्शाता है, फिर वक्रता टेंसर को है (1,3)-टेंसर द्वारा परिभाषित

किसी भी वेक्टर क्षेत्र के लिए . रिक्की टेंसर को ट्रेस के रूप में परिभाषित किया गया है:

इस अधिक सामान्य स्थिति में, रिक्की टेंसर सममित है यदि और केवल यदि वहाँ है कनेक्शन के लिए स्थानीय रूप से समानांतर वॉल्यूम फॉर्म मौजूद है।

असतत रिक्की वक्रता

असतत मैनिफोल्ड्स पर रिक्की वक्रता की धारणाओं को ग्राफ़ और पर परिभाषित किया गया है नेटवर्क, जहां वे किनारों के स्थानीय विचलन गुणों को मापते हैं। ओलिवियर का रिक्की वक्रता को इष्टतम परिवहन सिद्धांत का उपयोग करके परिभाषित किया गया है।[4] अलग (और पहले की) धारणा, फॉर्मन की रिक्की वक्रता पर आधारित है टोपोलॉजिकल तर्क.[5]

यह भी देखें

फ़ुटनोट

  1. Here it is assumed that the manifold carries its unique Levi-Civita connection. For a general affine connection, the Ricci tensor need not be symmetric.
  2. Lott, John; Villani, Cedric (2006-06-23). "इष्टतम परिवहन के माध्यम से मीट्रिक-माप स्थानों के लिए रिक्की वक्रता". arXiv:math/0412127.
  3. Chow, Bennett (2004). The Ricci flow : an introduction. Dan Knopf. Providence, R.I.: American Mathematical Society. ISBN 0-8218-3515-7. OCLC 54692148.
  4. Ollivier, Yann (2009-02-01). "मीट्रिक स्थानों पर मार्कोव श्रृंखलाओं की रिक्की वक्रता". Journal of Functional Analysis (in English). 256 (3): 810–864. doi:10.1016/j.jfa.2008.11.001. ISSN 0022-1236. S2CID 14316364.
  5. Forman (2003-02-01). "सेल कॉम्प्लेक्स और कॉम्बिनेटोरियल रिक्की वक्रता के लिए बोचनर की विधि". Discrete & Computational Geometry (in English). 29 (3): 323–374. doi:10.1007/s00454-002-0743-x. ISSN 1432-0444. S2CID 9584267.

संदर्भ

बाहरी संबंध