1.0SOUL OF MATHEMATICShttps://soulofmathematics.comRajarshi Deyhttps://soulofmathematics.com/index.php/author/rajarshidey1729gmail-com/rich600338<blockquote class="wp-embedded-content" data-secret="sMCzI4C36D"><a href="https://soulofmathematics.com/index.php/the-soul-theorem/">THE SOUL THEOREM</a></blockquote><iframe sandbox="allow-scripts" security="restricted" src="https://soulofmathematics.com/index.php/the-soul-theorem/embed/#?secret=sMCzI4C36D" width="600" height="338" title="“THE SOUL THEOREM” — SOUL OF MATHEMATICS" data-secret="sMCzI4C36D" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" class="wp-embedded-content"></iframe><script type="text/javascript"> /* <![CDATA[ */ /*! This file is auto-generated */ !function(d,l){"use strict";l.querySelector&&d.addEventListener&&"undefined"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!/[^a-zA-Z0-9]/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret="'+t.secret+'"]'),o=l.querySelectorAll('blockquote[data-secret="'+t.secret+'"]'),c=new RegExp("^https?:$","i"),i=0;i<o.length;i++)o[i].style.display="none";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute("style"),"height"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):"link"===t.message&&(r=new URL(s.getAttribute("src")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener("message",d.wp.receiveEmbedMessage,!1),l.addEventListener("DOMContentLoaded",function(){for(var e,t,s=l.querySelectorAll("iframe.wp-embedded-content"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute("data-secret"))||(t=Math.random().toString(36).substring(2,12),e.src+="#?secret="+t,e.setAttribute("data-secret",t)),e.contentWindow.postMessage({message:"ready",secret:t},"*")},!1)))}(window,document); /* ]]> */ </script> https://i1.wp.com/soulofmathematics.com/wp-content/uploads/2020/08/unnamed.gif?fit=500%2C500&ssl=1500500We think mathematics to be a subject too coarse to have a connection to any spirit, let alone to have its own. But Mathematicians are probably the only people to have named a theorem ‘THE SOUL THEOREM’. The soul theorem is a theorem of Riemannian geometry that largely reduces the study of complete manifolds of non-negative sectional curvature to that of the compact case. Every compact manifold is its own soul. In 1972, Cheeger and Gromoll proved the theorem by the generalization of a 1969 result of Gromoll and Wolfgang Meyer. The related soul conjecture was formulated by Gromoll and Cheeger in 1972 and proved by Grigori Perelman in 1994 with an astonishingly concise proof. The theorem states, If (M, g) is a complete connected Riemannian manifold with sectional curvature K ≥ 0, then there exists a compact totally convex, totally geodesic submanifold S whose normal bundle is diffeomorphic to M. (Note that the sectional curvature must be non-negative everywhere, but it does not have to be constant.) Such a submanifold S is called a soul of (M, g). SOUL CONJECTURE The Cheeger and Gromoll’s soul conjecture states, Suppose (M, g) is complete, connected and non-compact with sectional curvature K ≥ 0, and there exists a point in M where the sectional curvature (in all sectional directions) is strictly positive. Then the soul of M is a point; equivalently M is diffeomorphic to Rn. Grigori Perelman  established that in the general case K ≥ 0, Sharafutdinov’s retraction P : M → S is a submersion and hence proved the soul conjecture. In this note we consider complete noncompact Riemannian manifolds M of nonnegative sectional curvature. The structure of such manifolds was discovered by Cheeger and Gromoll : M contains a (not necessarily unique) totally convex and totally geodesic submanifold S without boundary, 0 < dimS < dimM, such that M is diffeomorphic to the total space of the normal bundle of S in M . (S is called a soul of M.) In particular, if S is a single point, then M is diffeomorphic to a Euclidean space. This is the case if all sectional curvatures of M are positive, according to an earlier result of Gromoll and Meyer. Cheeger and Gromoll conjectured that the same conclusion can be obtained under the weaker assumption that M contains a point where all sectional curvatures are positive. A contrapositive version of this conjecture expresses certain rigidity of manifolds with souls of positive dimension. It was verified in the cases dim S = 1 and codimS = 1, and by Marenich, Walschap, and Strake in the case codimS = 2. EXAMPLE, As a very simple example, take M to be Euclidean space Rn. The sectional curvature is 0 everywhere, and any point of M can serve as a soul of M. Now take the paraboloid M = {(x, y, z) : z = x2 + y2}, with the metric g being the ordinary Euclidean distance coming from the embedding of the paraboloid in Euclidean space R3. Here the sectional curvature is positive everywhere, though not constant. The origin (0, 0, 0) is a soul of M. Not every point x of M is a soul of M, since there may be geodesic loops based at x, in which case  wouldn’t be totally convex. Citation Perelman, G. Proof of the soul conjecture of Cheeger and Gromoll. J. Differential Geom. 40 (1994), no. 1, 209–212. doi:10.4310/jdg/1214455292.