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

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

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

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

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

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

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

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

परिभाषा

इसके कारण लगता है कि $\left(M,g\right)$ $n$आयामी रीमैनियन मैनिफोल्ड या स्यूडो-रीमैनियन मैनिफोल्ड से सुसज्जित होने के कारण लेवी-सिविटा कनेक्शन $\nabla$ के साथ रीमैनियन वक्रता टेंसर $M$ का नक्शा है, जो सहज वेक्टर क्षेत्र $X$, $Y$, और $Z$ को उपयोग करता है और वेक्टर क्षेत्र लौटाता है।

$$R(X,Y)Z:=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z$$

वेक्टर क्षेत्र पर $X,Y,Z$. तब से $R$ के लिए टेंसर क्षेत्र है, जिसे प्रत्येक बिंदु $p\in M$, यह (बहुरेखीय) मानचित्र को जन्म देता है:

$$\operatorname {R} _{p}:T_{p}M\times T_{p}M\times T_{p}M\to T_{p}M.$$

प्रत्येक बिंदु के लिए परिभाषित करें, $p\in M$ वो नक्शा $\operatorname {Ric} _{p}:T_{p}M\times T_{p}M\to \mathbb {R}$ से प्रदर्शित होता हैं।

$$\operatorname {Ric} _{p}(Y,Z):=\operatorname {tr} {\big (}X\mapsto \operatorname {R} _{p}(X,Y)Z{\big )}.$$

अर्ताथ तय कर लिया गया है कि $Y$ और $Z$, फिर किसी भी आधार के लिए इस प्रकार प्रदर्शित होगा।

$v_{1},\ldots ,v_{n}$ सदिश स्थान का $T_{p}M$ के लिए इस प्रकार होगा।
$$\operatorname {Ric} _{p}(Y,Z)=\sum _{i=1}\langle \operatorname {R} _{p}(v_{i},Y)Z,v_{i}\rangle .$$

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

$v_{1},\ldots ,v_{n}$.

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

$$\mathrm {Ric} _{ab}=\mathrm {R} ^{c}{}_{bca}=\mathrm {R} ^{c}{}_{acb}.$$

सम्मेलनों पर हस्ताक्षर करें. ध्यान दें कि कुछ स्रोत $R(X,Y)Z$ द्वारा परिभाषित करते हैं, यहां क्या कहा जाएगा कि $-R(X,Y)Z;$ फिर वे परिभाषित करेंगे।

$\operatorname {Ric} _{p}$ जैसा $-\operatorname {tr} (X\mapsto \operatorname {R} _{p}(X,Y)Z).$ चूंकि रीमैन टेंसर के बारे में संकेत परंपराएं भिन्न हैं, अपितु वे इसके बारे में भिन्न नहीं हैं।

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

$\left(M,g\right)$ समतल रीमैनियन मैनिफोल्ड बनें या स्यूडो-रिमानियन मैनिफोल्ड या स्यूडो-रिमानियन $n$-कई गुना होने के साथ एक सहज चार्ट $\left(U,\varphi \right)$ दिया गया जिसके लिए फलन $g_{ij}:\varphi (U)\rightarrow \mathbb {R}$ हैं।

$g^{ij}:\varphi (U)\rightarrow \mathbb {R}$ प्रत्येक के लिए
$i,j=1,\ldots ,n$ जो संतुष्ट करता है

$$\sum _{k=1}^{n}g^{ik}(x)g_{kj}(x)=\delta _{j}^{i}={\begin{cases}1&i=j\\0&i\neq j\end{cases}}$$

सभी के लिए $x\in \varphi (U)$ उत्तरार्द्ध दिखाता है कि इसे आव्यूह, $g^{ij}(x)=(g^{-1})_{ij}(x)$ के रूप में व्यक्त किया गया हैं। फलन $g_{ij}$ के मूल्यांकन के लिए इसे $g$ पर परिभाषित किया जाता है, सदिश क्षेत्रों का समन्वय करें, जबकि फलन $g^{ij}$ इस प्रकार परिभाषित किया गया है, आव्यूह के इसे मान के लिए फलन के रूप में वे आव्यूह-वैल्यू का व्युत्क्रम प्रदान करते हैं।

फलन $x\mapsto g_{ij}(x)$

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

$${\begin{aligned}\Gamma _{ab}^{c}&:={\frac {1}{2}}\sum _{d=1}^{n}\left({\frac {\partial g_{bd}}{\partial x^{a}}}+{\frac {\partial g_{ad}}{\partial x^{b}}}-{\frac {\partial g_{ab}}{\partial x^{d}}}\right)g^{cd}\\R_{ij}&:=\sum _{a=1}^{n}{\frac {\partial \Gamma _{ij}^{a}}{\partial x^{a}}}-\sum _{a=1}^{n}{\frac {\partial \Gamma _{ai}^{a}}{\partial x^{j}}}+\sum _{a=1}^{n}\sum _{b=1}^{n}\left(\Gamma _{ab}^{a}\Gamma _{ij}^{b}-\Gamma _{ib}^{a}\Gamma _{aj}^{b}\right)\end{aligned}}$$

मानचित्र के रूप में $\varphi :U\rightarrow \mathbb {R}$.

अब चलो $\left(U,\varphi \right)$ और $\left(V,\psi \right)$ के साथ दो सहज चार्ट $U\cap V\neq \emptyset$ बनाये जाते हैं, माना कि $R_{ij}:\varphi (U)\rightarrow \mathbb {R}$ चार्ट के माध्यम से उपरोक्त फलन $\left(U,\varphi \right)$ की गणना करें, और $r_{ij}:\psi (V)\rightarrow \mathbb {R}$ चार्ट के माध्यम से उपरोक्त फलन $\left(V,\psi \right)$ की गणना करें। फिर कोई श्रृंखला नियम और उत्पाद नियम के साथ गणना करके जांच कर सकता है।

$$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)^{k}D_{j}{\Big |}_{x}\left(\psi \circ \varphi ^{-1}\right)^{l}.$$

जहाँ $D_{i}$ साथ में पहला व्युत्पन्न $i$दिशा है। जिसके कारण $\mathbb {R} ^{n}$के मान द्वारा पता चलता है कि निम्नलिखित परिभाषा के उपयोग पर निर्भर नहीं करती है

$\left(U,\varphi \right)$.

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

$\operatorname {Ric} _{p}:T_{p}M\times T_{p}M\rightarrow \mathbb {R}$ द्वारा

$$(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^{1},\ldots ,X^{n}$ और $Y^{1},\ldots ,Y^{n}$ हैं, स्पर्शरेखा सदिशों के घटक $p$ में $X$ और $Y$ के सापेक्ष समन्वय वेक्टर क्षेत्र $\left(U,\varphi \right)$ है।

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

मान लीजिए कि $M$ एक सहज विविधता के प्रदर्शित करता हैं, और इसी प्रकार मान लाजिए g एक रीमानियन या छद्म-रीमानियन मीट्रिक बनाता हैं। इस कारण स्थानीय सहज निर्देशांक में, क्रिस्टोफ़ेल प्रतीकों को परिभाषित करता हैं।

$${\begin{aligned}\Gamma _{ij}^{k}&:={\frac {1}{2}}g^{kl}\left(\partial _{i}g_{jl}+\partial _{j}g_{il}-\partial _{l}g_{ij}\right)\\R_{jk}&:=\partial _{i}\Gamma _{jk}^{i}-\partial _{j}\Gamma _{ki}^{i}+\Gamma _{ip}^{i}\Gamma _{jk}^{p}-\Gamma _{jp}^{i}\Gamma _{ik}^{p}.\end{aligned}}$$

इसे सीधे तौर पर चेक किया जा सकता है।

$$R_{jk}={\widetilde {R}}_{ab}{\frac {\partial {\widetilde {x}}^{a}}{\partial x^{j}}}{\frac {\partial {\widetilde {x}}^{b}}{\partial x^{k}}},$$

जिसे इस प्रकार $R_{ij}$ पर (0,2)-टेंसर फ़ील्ड को $M$ परिभाषित करता हैं। विशेष रूप से, यदि$X$ और $Y$ वेक्टर $M$ पर सदिश क्षेत्र हैं, फिर किसी भी सहज निर्देशांक के सापेक्ष

$${\begin{aligned}R_{jk}X^{j}Y^{k}&=\left({\widetilde {R}}_{ab}{\frac {\partial {\widetilde {x}}^{a}}{\partial x^{j}}}{\frac {\partial {\widetilde {x}}^{b}}{\partial x^{k}}}\right)\left({\widetilde {X}}^{c}{\frac {\partial x^{j}}{\partial {\widetilde {x}}^{c}}}\right)\left({\widetilde {Y}}^{d}{\frac {\partial x^{k}}{\partial {\widetilde {x}}^{d}}}\right)\\&={\widetilde {R}}_{ab}{\widetilde {X}}^{c}{\widetilde {Y}}^{d}\left({\frac {\partial {\widetilde {x}}^{a}}{\partial x^{j}}}{\frac {\partial x^{j}}{\partial {\widetilde {x}}^{c}}}\right)\left({\frac {\partial {\widetilde {x}}^{b}}{\partial x^{k}}}{\frac {\partial x^{k}}{\partial {\widetilde {x}}^{d}}}\right)\\&={\widetilde {R}}_{ab}{\widetilde {X}}^{c}{\widetilde {Y}}^{d}\delta _{c}^{a}\delta _{d}^{b}\\&={\widetilde {R}}_{ab}{\widetilde {X}}^{a}{\widetilde {Y}}^{b}.\end{aligned}}$$

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

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

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

परिभाषित करने वाला जटिल सूत्र $R_{ij}$ परिचयात्मक अनुभाग में निम्नलिखित अनुभाग के समान ही है। इस प्रकार इसका अंतर केवल इतना है कि शब्दों को समूहीकृत किया गया है, जिससे कि $R_{ij}=R_{ji}.$ से इसे देखना साधारण हो सके।

गुण

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

$$\operatorname {Ric} (X,Y)=\operatorname {Ric} (Y,X)$$

सभी के लिए $X,Y\in T_{p}M.$ इस प्रकार यह रैखिक-बीजगणितीय रूप से अनुसरण करता है कि रिक्की टेंसर पूर्ण रूप से निर्धारित है, यह मात्रा जानकर $\operatorname {Ric} (X,X)$ सभी वैक्टर के लिए इस प्रकार हैं।

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

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

रिक्की वक्रता रीमैनियन के अनुभागीय वक्रता द्वारा निर्धारित की जाती है, इसके लिए कई गुना होने के साथ अपितु सामान्य रूप से इसमें कम जानकारी होती है। वास्तव में, यदि $\xi$ है। रीमैनियन पर इकाई लंबाई का वेक्टर $n$-तो फिर कई गुना

$\operatorname {Ric} (\xi ,\xi )$ बिल्कुल सही है $(n-1)$

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

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

$$\operatorname {div} \operatorname {Ric} ={\frac {1}{2}}dR,$$

जहाँ $R$ अदिश वक्रता है, जिसे स्थानीय निर्देशांक $g^{ij}R_{ij}.$ में परिभाषित किया गया है इसे अधिकांशतः अनुबंधित दूसरी बियांची पहचान कहा जाता है।

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

रिक्की वक्रता को कभी-कभी (का नकारात्मक गुणज) माना जाता है, इसके आधार पर मीट्रिक टेंसर का लाप्लासियन (चाऊ & नाॅफ 2004, लेमा 3.32) हैं। जिसे विशेष रूप से, हार्मोनिक निर्देशांक में स्थानीय निर्देशांक घटक संतुष्ट करते हैं।

$$R_{ij}=-{\frac {1}{2}}\Delta \left(g_{ij}\right)+{\text{lower-order terms}},$$

जहाँ $\Delta =\nabla \cdot \nabla$ लाप्लास-बेल्ट्रामी ऑपरेटर है, यहां इसे स्थानीय रूप से परिभाषित कार्यों पर $g_{ij}$ फलन करने वाला माना जाता है, उदाहरण के लिए यह तथ्य रिक्की प्रवाह समीकरण की प्रारंभिक स्थिति को प्रेरित करता है, इसके लिए मीट्रिक मान के लिए ऊष्मा समीकरण के प्राकृतिक विस्तार के रूप में वैकल्पिक रूप से,सामान्य निर्देशांक के आधार पर $p$ द्वारा प्रदर्शित करते हैं।

$$R_{ij}=-{\frac {2}{3}}\Delta \left(g_{ij}\right).$$

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

किसी भी बिंदु के निकट $p$ रीमैनियन मैनिफोल्ड में $\left(M,g\right)$, जिसके लिए इसका उपयोगी मान स्थानीय निर्देशांक परिभाषित कर सकता है, जिसे जियोडेसिक सामान्य निर्देशांक कहा जाता है।

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

$$g_{ij}=\delta _{ij}+O\left(|x|^{2}\right).$$

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

$$g_{ij}=\delta _{ij}-{\frac {1}{3}}R_{ikjl}x^{k}x^{l}+O\left(|x|^{3}\right).$$

इन निर्देशांकों में, मीट्रिक आयतन तत्व का निम्नलिखित विस्तार p होता है:

$$d\mu _{g}=\left[1-{\frac {1}{6}}R_{jk}x^{j}x^{k}+O\left(|x|^{3}\right)\right]d\mu _{\text{Euclidean}},$$

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

इस प्रकार, यदि रिक्की वक्रता $\operatorname {Ric} (\xi ,\xi )$ धनात्मक है।

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

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

जिसके बारे में छोटा सा $\xi$ शंकु हैं, जिसके संगत की तुलना में छोटी मात्रा होगी।

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

रिक्की वक्रता अनिवार्य रूप से विमानों में वक्रता का औसत $\xi$ है, इस प्रकार यदि शंकु प्रारंभ में गोलाकार (या गोलाकार) से उत्सर्जित होता है, क्रॉस-सेक्शन दीर्घवृत्त (दीर्घवृत्त) में विकृत हो जाता है, यह संभव है कि यदि विकृतियाँ साथ में हों तो वॉल्यूम विरूपण विलुप्त हो जाए।

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

अनुप्रयोग

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

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

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

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

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

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

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

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

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

$e^{2f}$, नए, अनुरूप-संबंधित मीट्रिक का रिक्की टेंसर
${\tilde {g}}=e^{2f}g$ दिया हुआ है (Besse 1987, p. 59) द्वारा
$${\widetilde {\operatorname {Ric} }}=\operatorname {Ric} +(2-n)\left[\nabla df-df\otimes df\right]+\left[\Delta f-(n-2)\|df\|^{2}\right]g,$$

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

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

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

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

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

$$Z=\operatorname {Ric} -{\frac {1}{n}}Rg,$$

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

$\operatorname {tr} _{g}Z\equiv g^{ab}Z_{ab}=0.$ चूंकि, यह काफी है

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

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

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

$$\operatorname {Ric} =Z+{\frac {1}{n}}Rg.$$

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

$$\left\langle Z,{\frac {1}{n}}Rg\right\rangle _{g}\equiv g^{ab}\left(R_{ab}-{\frac {1}{n}}Rg_{ab}\right)=0.$$

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

$$\left|\operatorname {Ric} \right|_{g}^{2}=|Z|_{g}^{2}+{\frac {1}{n}}R^{2}.$$

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

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

$Z=0$ तात्पर्य ${\textstyle {\frac {1}{2}}dR-{\frac {1}{n}}dR=0}$.

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

• $Z=0$
• $\operatorname {Ric} =\lambda g$ कुछ संख्या के लिए $\lambda$
• $\operatorname {Ric} ={\frac {1}{n}}Rg$

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

$R^{2}=n|\operatorname {Ric} |^{2}$ भी इन शर्तों के बराबर है.

इसके विपरीत, स्यूडो-रीमैनियन सेटिंग में, स्थिति $|Z|_{g}^{2}=0$ आवश्यक रूप से इसका तात्पर्य नहीं है $Z=0,$ अत: अधिकतम यही कहा जा सकता है ये स्थितियाँ निहित हैं $R^{2}=n\left|\operatorname {Ric} \right|_{g}^{2}.$ विशेष रूप से, ट्रेस-मुक्त रिक्की टेंसर का लुप्त होना इसकी विशेषता है आइंस्टीन कई गुना है, जैसा कि स्थिति द्वारा परिभाषित किया गया है $\operatorname {Ric} =\lambda g$ संख्या के लिए $\lambda .$ सामान्य सापेक्षता में, यह समीकरण बताता है वह $\left(M,g\right)$ आइंस्टीन के निर्वात क्षेत्र का समाधान है ब्रह्माण्ड संबंधी स्थिरांक के साथ समीकरण।

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

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

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

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

$$\kappa ={\textstyle \bigwedge }^{n}~\Omega _{X}.$$

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

$$\rho (X,Y)\;{\stackrel {\text{def}}{=}}\;\operatorname {Ric} (JX,Y)$$

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

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

$$\operatorname {Ric} (X,Y)=\rho (X,JY).$$

स्थानीय होलोमोर्फिक निर्देशांक में $z^{\alpha }$, रिक्की फॉर्म द्वारा दिया गया है

$$\rho =-i\partial {\overline {\partial }}\log \det \left(g_{\alpha {\overline {\beta }}}\right)$$

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

$$g_{\alpha {\overline {\beta }}}=g\left({\frac {\partial }{\partial z^{\alpha }}},{\frac {\partial }{\partial {\overline {z}}^{\beta }}}\right).$$

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

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

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

$$R(X,Y)Z=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z$$

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

$$\operatorname {ric} (X,Y)=\operatorname {tr} {\big (}Z\mapsto R(Z,X)Y{\big )}.$$

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

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

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

यह भी देखें

• रिमानियन मैनिफोल्ड्स की वक्रता
• अदिश वक्रता
• घुंघराले कलन
• रिक्की अपघटन
• रिक्की-फ्लैट मैनिफोल्ड
• क्रिस्टोफ़ेल प्रतीक
• सामान्य सापेक्षता के गणित का परिचय

संदर्भ

• Besse, A.L. (1987), Einstein manifolds, Springer, ISBN 978-3-540-15279-8.
• Chow, Bennet & Knopf, Dan (2004), The Ricci Flow: an introduction, American Mathematical Society, ISBN 0-8218-3515-7.
• Eisenhart, L.P. (1949), Riemannian geometry, Princeton Univ. Press.
• Forman (2003), "Bochner's Method for Cell Complexes and Combinatorial Ricci Curvature", Discrete & Computational Geometry, 29 (3): 323–374. doi:10.1007/s00454-002-0743-x. ISSN 1432-0444
• Galloway, Gregory (2000), "Maximum Principles for Null Hypersurfaces and Null Splitting Theorems", Annales de l'Institut Henri Poincaré A, 1 (3): 543–567, arXiv:math/9909158, Bibcode:2000AnHP....1..543G, doi:10.1007/s000230050006, S2CID 9619157.
• Kobayashi, S.; Nomizu, K. (1963), Foundations of Differential Geometry, Volume 1, Interscience.
• Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, Vol. 2, Wiley-Interscience, ISBN 978-0-471-15732-8.
• Lohkamp, Joachim (1994), "Metrics of negative Ricci curvature", Annals of Mathematics, Second Series, Annals of Mathematics, 140 (3): 655–683, doi:10.2307/2118620, ISSN 0003-486X, JSTOR 2118620, MR 1307899.
• Moroianu, Andrei (2007), Lectures on Kähler geometry, London Mathematical Society Student Texts, vol. 69, Cambridge University Press, arXiv:math/0402223, doi:10.1017/CBO9780511618666, ISBN 978-0-521-68897-0, MR 2325093
• Nomizu, Katsumi; Sasaki, Takeshi (1994), Affine differential geometry, Cambridge University Press, ISBN 978-0-521-44177-3.
• Ollivier, Yann (2009), "Ricci curvature of Markov chains on metric spaces", Journal of Functional Analysis 256 (3): 810–864. doi:10.1016/j.jfa.2008.11.001. ISSN 0022-1236
• Ricci, G. (1903–1904), "Direzioni e invarianti principali in una varietà qualunque", Atti R. Inst. Veneto, 63 (2): 1233–1239.
• L.A. Sidorov (2001) [1994], "Ricci tensor", Encyclopedia of Mathematics, EMS Press
• L.A. Sidorov (2001) [1994], "Ricci curvature", Encyclopedia of Mathematics, EMS Press
• Najman, Laurent and Romon, Pascal (2017): Modern approaches to discrete curvature, Springer (Cham), Lecture notes in mathematics

बाहरी संबंध

• Z. Shen, C. Sormani "The Topology of Open Manifolds with Nonnegative Ricci Curvature" (a survey)
• G. Wei, "Manifolds with A Lower Ricci Curvature Bound" (a survey)