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

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

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

मीट्रिक टेंसर की तरह, रिक्की टेंसर मैनिफ़ोल्ड के प्रत्येक स्पर्शरेखा स्थान को एक सममित द्विरेखीय रूप प्रदान करता है (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)$.

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

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

$${\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}}$$

It can be directly checked that

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

so that $R_{ij}$ define a (0,2)-tensor field on $M$. In particular, if $X$ and $Y$ are vector fields on $M$, then relative to any smooth coordinates one has

$${\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}.$ इसे अक्सर अनुबंधित दूसरी बियांची पहचान कहा जाता है।

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

रिक्की वक्रता को कभी-कभी (का एक नकारात्मक गुणज) माना जाता है मीट्रिक टेंसर का लाप्लासियन (Chow & Knopf 2004, Lemma 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)