{"id":6783,"date":"-0001-11-30T00:00:00","date_gmt":"2017-11-06T11:27:39","guid":{"rendered":"https:\/\/www.vialattea.net\/content\/?page_id=6783"},"modified":"2017-11-06T16:53:57","modified_gmt":"2017-11-06T14:53:57","slug":"the-curvature-from-geometry-to-cosmology","status":"publish","type":"page","link":"https:\/\/www.vialattea.net\/content\/stellenovae\/the-curvature-from-geometry-to-cosmology\/","title":{"rendered":"The curvature: from geometry to cosmology"},"content":{"rendered":"<h4 align=\"center\">\u00a0by <a href=\"mailto:paolo.sirtoli@gmail.com\">Paolo Sirtoli<\/a><\/h4>\n<h3 align=\"center\"><u><span style=\"color: #0066cc;\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/iaurule.gif\" width=\"468\" height=\"22\" \/><\/span><\/u><\/h3>\n<h3 align=\"center\">Notes and (mainly) further readings of lessons held at<br \/>\nLiceo Scientifico Statale &#8220;L. Mascheroni&#8221; in Bergamo &#8211; Italy<\/h3>\n<div align=\"center\">\n<h5>Version 1.0<br \/>\nlast reviewed: september 9th 2000<span style=\"color: #666666; font-family: Verdana, Arial, Helvetica, sans-serif;\"><br \/>\n<\/span><\/h5>\n<\/div>\n<hr width=\"90%\" \/>\n<h2 align=\"center\"><\/h2>\n<h3>1-D: the curvature in a line<\/h3>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/01.jpg\" width=\"250\" height=\"183\" align=\"right\" hspace=\"6\" \/>Let&#8217;s imagine a generic line drawn on a plane. The curvature, as suggested by the intuition, is the measure of its deviation from the straightness. The straightness is defined by the tangent line.<br \/>\nBesides, it is easy to find that curvature is a <strong>local <\/strong>property, not a <strong>global<\/strong> one.<br \/>\nIn other words, it is meaningful to define the curvature for a single point, but it&#8217;s meaningless to talk about &#8220;the curvature of a line&#8221;. The curvature in a point P is calculated as follows<\/p>\n<p align=\"center\"><img decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/eq1.gif\" align=\"absmiddle\" \/> (1)<\/p>\n<p>It is easy to verify that a straight line has curvature zero. Let&#8217;s imagine now the simplest curved line: the circle. Its curvature is the same for all the points and its value is <i>k<\/i>=1\/R. The bigger is the radius, the smaller is the curvature. If we consider the straight line as a circle whose radius is infinite, we find again that its curvature is zero. This is consistent with our previous thought.<\/p>\n<p>&nbsp;<\/p>\n<h3>The osculating circle <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/osc.gif\" width=\"250\" height=\"200\" align=\"right\" \/><\/h3>\n<p>To measure the curvature <i>k<\/i> we should calculate a limit, but we know that often this is a not-so-easy calculation.<br \/>\nHappily, it exists an esplicit formula that can provide the radius of curvature. Let&#8217;s consider three points on a curved line: A, B and the middle point P. A and B can slide symmetrically approaching P between them. The distance between A and B is <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/delta-s.gif\" width=\"20\" height=\"16\" align=\"absmiddle\" \/>.<br \/>\nWe can easily build the circle passing for those three points: it will be a good approximation of the curve as long as <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/delta-s.gif\" width=\"20\" height=\"16\" align=\"absmiddle\" \/> goes to zero. Knowing the circle&#8217;s radius, we immediately get the curvature of the line around P: it&#8217;s again <i>k<\/i>=1\/R.<br \/>\nIt is easy to find that circle: it&#8217;s nothing that the osculating circle. The name derives from <em>Circulum osculans<\/em> because it &#8220;kisses&#8221; the line around the point P (<em>osculum<\/em> = kiss). Its formula requires the first and second derivative of the line in a cartesian coordinate system.<\/p>\n<p align=\"center\"><img decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/eq2.gif\" height=\"70\" align=\"absmiddle\" \/> (2)<\/p>\n<p>It is true that the radius is a geometrical entity, so it is always positive, but we can interpret a negative value for curvature as a concavity directed bottomwise with respect to our cartesian coordinate system.<br \/>\nHerewith we show some examples that the students can verify themselves studying the functions.<\/p>\n<p>Left: plotted in blue the parabola y=x\u00b2, right the hyperbola y=1\/x. In red are shown their curvatures.<br \/>\nIt should be noted that the sign of the curvature in the hyperbola reflects the direction of its concavity.<\/p>\n<p align=\"center\"><img decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/gr1.gif\" width=\"303\" \/> <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/gr2.gif\" width=\"300\" height=\"252\" \/><\/p>\n<h5 align=\"left\"><\/h5>\n<h3><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/03.jpg\" width=\"250\" height=\"187\" align=\"right\" \/>2-D: the curvature of a surface<\/h3>\n<p>Let&#8217;s proceed with our study of the curvature by considering a regular surface. We will talk about the gaussian curvature, so named in honor of the great mathematician Carl Friedrich Gauss, who gave its description.<br \/>\nLet&#8217;s consider the flattened bell shown beside: to find the curvature at the apex, first we have to find the line perpendicular to the surface. Then, we shall consider the set of planes passing for that line. They will cut the bell defining different curves.<br \/>\nThere is a theorem, due to Euler, asserting that the curves with maximum and minimum curvature lie in perpendicular planes. Thus, we have to find those planes and measure the radius of the osculating circles. Gauss defined the (gaussian) curvature as the product of those curvatures.<\/p>\n<p align=\"center\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/eq3.gif\" width=\"100\" height=\"55\" align=\"absmiddle\" \/>(3)<\/p>\n<p>If we consider a point P on a sphere of radius R, it is easy to think that all the planes passing by the perpendicular cuts the sphere defining equal curves (circles of radius R). The gaussian curvature of the sphere is then 1\/R\u00b2 for all the points. The sphere is a surface with constant positive curvature.<\/p>\n<h5>Figure from: &#8220;Le scienze&#8221; n\u00b0282 &#8211; febbraio 1992<\/h5>\n<p>&nbsp;<\/p>\n<h3><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/04.jpg\" width=\"250\" height=\"188\" align=\"right\" \/>The three kinds of curvature<\/h3>\n<p>Recalling the fact that the curvature has a sign, it follows that the product (3) of two curvatures could be positive, negative, or zero. It depends upon the fact that the osculating circles lies in the same side with respect to the surface or in opposite sides.<\/p>\n<blockquote><p><span style=\"color: #ff0000;\">Question: how is the curvature of a cylinder? and that of the cone?<\/span><br \/>\nThe intuition in this case doesn&#8217;t help us! Those surfaces are not curved! In fact for every point of the cylinder or the cone we can find a plane that cuts the figures finding a minimum curvature line: a straight line.<br \/>\nSince the gaussian curvature is a product and one of the factors is zero, the result too will be zero. Cylinder and cone are flat figures: indeed they can be unrolled and flattened perfectly on the plane.<\/p><\/blockquote>\n<p>Gauss found that the surfaces with an intrinsecal curvature are just three: the plane (<i>k<\/i>=0), the sphere (<i>k<\/i>=1) and the pseudosphere<sup><a href=\"https:\/\/www.vialattea.net\/curvatura\/eng\/index.html#1\">(1)<\/a><\/sup> (<i>k<\/i>=-1). Intrinsecal curvature means that all the points of those surfaces are equivalent: they have the same curvature. The hypotetical inhabitants of those &#8220;worlds&#8221; would be able to discover geometric laws, becaus their space is homogeneous. On the contrary, the inhabitants of worlds with non-homogeneous space would experiment strange effects: the geometric figures would change by changing their position.<br \/>\nIn 1854 Riemann established the relationship between the kind of geometry and curvature: it is euclidean if the curvature is zero, it is spherical if the curvature is positive and hyperbolic if the curvature is negative.<\/p>\n<blockquote><p><span style=\"color: #ff0000;\">Question: do the surfaces with curvature \u00b12 or \u00b13 have an intrinsic geometry, as long as those of curvature \u00b11?<br \/>\n<\/span>Yes, they have, the true distinction don&#8217;t lie in the absolute value of the curvature. The really important thing is the fact that the curvature is the same for all the points.<\/p>\n<p><span style=\"color: #ff0000;\">Question: do the constant curvature have a relationship with the space&#8217;s homogeneity? and with isotropy too?<\/span><br \/>\nYes, as we said earlier, if the curvature wasn&#8217;t the same for all the points, the geometric figures would experiment deformations following simple translations. That means that the points of the space would be not equivalent each other: the space would not be homogeneous.<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/pseudosphere.gif\" width=\"200\" height=\"138\" align=\"right\" hspace=\"6\" \/>The isotropy is a consequence of the fact that the principal curvatures are equal in absolute value. A curved space whose curvature is 1 because the principal curvatures are 1\/2 and 2 is not an isotropic space. The pseudosphere shown at right is a homogeneous space but is not isotropic: for all the points the principal curvatures are variable, holding their product equal to -1.<\/p><\/blockquote>\n<p>From a physical point of view, in astronomy the cosmological principle has a happy consequence: the space is homogeneous and isotropic. This greatly simplifies cosmology because we can consider just three possibilities for the geometry of the universe as a whole: flat, spherical and hyperbolical.<\/p>\n<h5>First figure from: &#8220;A Journey into Gravity and Spacetime&#8221;, J. Wheeler, Freeman.<br \/>\nSecond figure from: &#8220;La matematica del Novecento&#8221; di P. Odifreddi, Einaudi.<\/h5>\n<h2><\/h2>\n<h3>The spherical geometry<\/h3>\n<p>On surfaces having constant and positive curvature is defined a spherical geometry, whose main properties are:<br \/>\n&#8211; straight lines are great circles<br \/>\n&#8211; is not possible to find a parallel straight line passing for a point P external to another straight line: they always intersect<br \/>\n&#8211; the sum of internal angles of a triangle is greater than <span style=\"font-family: Symbol;\">p<\/span> radians<br \/>\n&#8211; given a circle, the ratio between its circumference and radius is smaller than 2<span style=\"font-family: Symbol;\">p<br \/>\n<\/span>&#8211; the surface&#8217;s extension is finite<\/p>\n<blockquote><p><span style=\"color: #ff0000;\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/parall.gif\" width=\"80\" height=\"80\" align=\"right\" \/>Question: the Earth&#8217;s curvature is positive, so on its surface we can define a spherical geometry. I know that parallels never meet, so one of the above mentioned properties is false. Isn&#8217;t it?<br \/>\n<\/span>No, because you have to recall the first property. Under the perspective of the spherical geometry, parallels on the Earth&#8217;s surface are not straight lines! Straight lines are great circles, that means circles whose center coincides with the sphere&#8217;s center. Of course, great circles always intersect (in two opposite points).<\/p>\n<p>&nbsp;<\/p><\/blockquote>\n<h3><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/05.jpg\" width=\"250\" height=\"188\" align=\"right\" \/>The hyperbolic geometry<\/h3>\n<p>On surfaces with constant negative curvature can be defined an hyperbolic geometry, whose main properties are:<br \/>\n&#8211; for a point P external to a straight line it is possible to draw infinite parallel straight lines<br \/>\n&#8211; the sum of internal angles of a triangle is smaller than <span style=\"font-family: Symbol;\">p<\/span> radians<br \/>\n&#8211; given a circle, the ratio between its circumference and radius is larger than 2<span style=\"font-family: Symbol;\">p<br \/>\n<\/span><span class=\"Stile1\"><span style=\"font-family: Verdana;\">&#8211; the surface&#8217;s extension is infinite<\/span><\/span><\/p>\n<p>It seems impossible to represent the pseudosphere in a portion of a plane, because of its infiniteness. Actually there exists more than one representation. The most interesting is the <a href=\"http:\/\/mathworld.wolfram.com\/PoincareHyperbolicDisk.html\" target=\"_blank\" rel=\"noopener\">Poincar\u00e9 hyperbolic disk<\/a> because is conformal, so that retains angles and geometrical figures&#8217; shape.<br \/>\nThe famous artist M. C. Escher made four works using the Poincar\u00e9&#8217;s representation of the hyperbolical space. We can see above <em>Circle limit IV<\/em> (1960), better known as <em>Heaven and hell<\/em>. In the hyperbolical geometry all the figures have the same extension but projecting them in the ordinary flat plane they collect at the circle&#8217;s limit.<\/p>\n<p>To study the properties of hyperbolic geometry, the Mathematics department of Rice University made a beautiful Java applet called <a href=\"http:\/\/math.rice.edu\/~joel\/NonEuclid\/\" target=\"_blank\" rel=\"noopener\">NonEuclid<\/a>. We recommend it greatly.<\/p>\n<h5>Figure from: &#8220;Il grande, il piccolo e la mente umana&#8221; di R. Penrose, Raffaello Cortina editore<\/h5>\n<p>&nbsp;<\/p>\n<h3><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/06.jpg\" width=\"250\" height=\"187\" align=\"right\" \/>Intermezzo: the famous VW beetle<\/h3>\n<p>As a nice example, we show here a graphical elaboration of the chassis of the old loved Volkswagen Beetle. The colors represents the surface&#8217;s curvature. One should recall that where the curvature is negative (blue) the osculating circles lie in opposite sides with respect to the surface.<br \/>\nIt should be noted also that the top is not curved, is just bended: its geometry indeed is flat.<br \/>\nFor sake of completeness, we say that a point where the curvature is positive is called <em>elliptic<\/em>, where the curvature is negative is <em>hyperbolic<\/em>, if the curvature is zero but one of the two principal curvature is not zero we are dealing with <em>parabolic <\/em>points, if all the two curvatures are zero the points are <em>planar<\/em>.<\/p>\n<h5>Figure from: &#8230; I don&#8217;t recall!<\/h5>\n<p>&nbsp;<\/p>\n<h3><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/07.jpg\" width=\"250\" height=\"187\" align=\"right\" \/> Gauss&#8217; <i>theorema egregium<\/i><\/h3>\n<p>So far, we considered only lines and surfaces immersed respectively in the plane and in the space.<br \/>\nIt&#8217;s important to point out that to be able to measure their curvature we had to add one dimension!<br \/>\nGauss discovered that <strong>curvature is an intrinsic property<\/strong>, that means it can be measured &#8220;remaining inside&#8221;, without calling for further dimensions.<br \/>\nGauss was a very exhigent mathematician: he discovered also the hyperbolic geometry but he did not publish this discovery, to avoid the kantian philosophers&#8217; objections<sup><a href=\"https:\/\/www.vialattea.net\/curvatura\/eng\/index.html#2\">(2)<\/a><\/sup>. This time the result was so important that himself called it <i>theorema egregium<\/i> (eminent theorem).<\/p>\n<p>Let&#8217;s see three ways to measure the surface&#8217;s curvature &#8220;from inside&#8221;:<br \/>\n1 &#8211; <strong>the flowerbed<\/strong><br \/>\nThe inhabitants of a sphere (as we are, after all!) could use a string to trace a circle on the ground (as gardeners do), measure the length of the circumference and the radius. For instance, staying at a nort pole holding a string 10.000 km long, we could trace a circle that coincides with the equator (40.000 km long). The problem is that for this circle, the ratio between circumference and radius is not 2<span style=\"font-family: Symbol;\">p<\/span>, is 4!<br \/>\nThe conclusion is that we deal with a spherical geometry: thus we live on a positively curved surface.<br \/>\n2 &#8211; <strong>the parallel transport<\/strong><br \/>\nA man at the north pole has the task to walk towards the equator with a mandatory instruction: he must hold a javelin pointing in the same direction. The man has to move the javelin always parallel to himself. At the equator the man walks again but perpendicularly with respect to the previous direction, then he returns to the north pole closing its path. Surprisingly: he finds that with respect to the javelin&#8217;s direction at the start, now the javelin has rotated. How it could be, since the man never rotated it? Because the surface enclosed by the path is curved!<br \/>\n<a href=\"https:\/\/www.vialattea.net\/curvatura\/img\/gauss_triangle.gif\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/gauss_triangle-th.gif\" width=\"100\" height=\"120\" align=\"left\" border=\"0\" hspace=\"8\" vspace=\"4\" \/><\/a>3 &#8211; <b>Gauss&#8217; mountains<\/b><br \/>\nThree men are at the top of three distant mountains. They can see each other and they can measure the angle between the other two. When they met, they find that the sum of the three angles is not <span style=\"font-family: Symbol;\">p<\/span>, is bigger!<br \/>\nHistorically Gauss is said to have really made this measurement because he was charged to compile the geodetic net for the region around Gottingen, but it is false (see the <a href=\"http:\/\/www.amazon.com\/exec\/obidos\/ASIN\/0387106626\/104-3780577-3789244\" target=\"_blank\" rel=\"noopener\">Gauss&#8217; biography<\/a> of W.K. Buhler, Springer-Verlag, 1981). Gauss was aware that the experimental errors were too big: they would have masked the small systematic deviation from <span style=\"font-family: Symbol;\">p<\/span>.<\/p>\n<h5>Figures from: &#8220;A Journey into Gravity and Spacetime&#8221;, J. Wheeler, Freeman.<\/h5>\n<p>&nbsp;<\/p>\n<h3><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/08.jpg\" width=\"250\" height=\"187\" align=\"right\" \/>4-D*: the Minkowski&#8217;s spacetime<\/h3>\n<p>After having dealt with lines and surfaces, now we should talk about the curvature of the space, but we will directly jump to something farther: the spacetime.<br \/>\nWith the fundamental article of 1905, Einstein showed that space and time should not be considered anymore absolute quantities. The picture was still confused, when in 1908 the mathematician Hermann Minkowski found the right way to represent the natural scenery for relativity.<br \/>\nThe space and the time should not be considered separately, they have to be blended in a single entity called spacetime, whose properties are astounding.<br \/>\nDespite its name, in relativity there are two absolute quantities:<br \/>\n&#8211; in every reference system the speed of light is a constant, whose value is 299.792,458 km\/s<br \/>\n&#8211; in every reference system the spacetime separation between two events (called <em>metric<\/em>) is constant and it is calculated as ds\u00b2 = d(ct)\u00b2 &#8211; dx\u00b2 &#8211; dy\u00b2 &#8211; dz\u00b2.<sup><a href=\"https:\/\/www.vialattea.net\/curvatura\/eng\/index.html#3\">(3)<\/a><\/sup><br \/>\nAs a consequence, it&#8217;s silly to espress the relativity theory with the phrase &#8220;everything is relative&#8221; !<br \/>\nFrom the two principles just shown, it can be demonstrated that two observers in relative motion do measure lenghts and time intervals in a different way. For instance they can measure a length shortening and a time dilation.<\/p>\n<blockquote><p><span style=\"color: #ff0000;\">Question: do the minus sign in the spacetime metric mean that its curvature is negative? <\/span><br \/>\nNo, don&#8217;t confuse the curvature sign with the signs in the metric definition. The picture is quite complicated.<br \/>\nIf the signature was (+ + + +) it would just imply that the spacetime would be a riemannian manifold. Its curvature could be either positive, zero or negative. The signature (+ &#8211; &#8211; -), also called <em>hyperbolic normal<\/em>, is a property of semi-riemannian manifolds. It has nothing to do with curvature. Instead, the main consequence is that does not exist a minimal length for a line joining two events.<br \/>\nIt just exists a line of <em>maximal <\/em>length, that corresponds to a maximum proper time. In effect, the essence of the inertia&#8217;s principle in relativity is that bodies move in a way that makes maximum their aging!<\/p>\n<p><span style=\"color: #ff0000;\">Question<\/span><span style=\"color: #ff0000;\">: couldn&#8217;t we consider the time as an imaginary quantity? This way t\u00b2 would be equal to -|t\u00b2| and the signature of spacetime would be the ordinary (+ + + +)<\/span><br \/>\nIn effect some calculations in quantum field theory require the analytical prolongation of time from a real coordinate to imaginary (Wick&#8217;s rotation). Thus the spacetime becomes a riemannian manifold. For instance, the Hartle and Hawking&#8217;s theory on non-singular origin of the Universe relies on the imaginary time. When the size of the Universe is smaller than 10<sup><span style=\"font-size: small;\">-43<\/span><\/sup> it is mandatory to use the quantum physics. But things are not so simple: we have to say that there are big difficulties: it is impossible to establish a relationship between the time as a imaginary coordinate with the differential geometry of general relativity. Besides, the Wick&#8217;s rotation is mathematically well grounded just in flat space. What does it mean in a curved space is still under study.<br \/>\nHawking is perhaps too unscrupolous when he speaks of the Wick&#8217;s rotation in the intense gravitational field of black holes.<br \/>\nLast but not least, it should be noted that just the hyperbolic normal metric (+ &#8211; &#8211; -) allows to distinguish <sup><a href=\"https:\/\/www.vialattea.net\/curvatura\/eng\/index.html#4\">(4)<\/a><\/sup>, through the ds\u00b2 sign, events that are in a causal relationship and those causally separated.<\/p>\n<p>&nbsp;<\/p>\n<p><span style=\"color: #ff0000;\"><b>Beware:<\/b><\/span> the following three slides are useful to introduce the relationship between curvature and gravity, following a conceptual path developed by Einstein itself. This way to deal the problem can be also found in many textbooks, but it is mathematically ill-grounded! In fact, there not exists a space in rest with the disk, so it&#8217;s meaningless to ask what kind of geometry exhibits the disk.<br \/>\nModern textbooks are right to avoid this example. Thanks to <a href=\"http:\/\/www.science.unitn.it\/~moretti\/home.html\">dr. Valter Moretti<\/a> for pointing out that.<\/p>\n<p>Fortunately, this does not falsify the important conclusion that <strong>a gravitational field is equivalent to a curved spacetime<\/strong>.<\/p><\/blockquote>\n<table border=\"1\" width=\"80%\" cellpadding=\"7\" align=\"center\">\n<tbody>\n<tr>\n<td>\n<h2><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/09.jpg\" width=\"250\" height=\"187\" align=\"right\" \/>The rotating disk<\/h2>\n<p>Let&#8217;s do this <em>gedankenexperiment <\/em>(conceptual experiment): a man on a steady disk measures the circumference&#8217;s length and its radius. Without surprise, their ratio is 2<span style=\"font-family: Symbol;\">p<\/span>. Now he stitch rulers ad various distances of the disk to act as a visual reference for the next step.<br \/>\nNow the man puts himself at the centre and the disk is put in rotation, a very high speed rotation! For instance, let the border of the disk moves at 0,8c. The length of the ruler fixed to the border appears to the man at the centre shortened by a factor 0,6. The man must conclude that the circumference is shorter than before.<br \/>\nInstead, the radius remains the same because the relativistic shortening affects just the motion&#8217;s direction. As we have seen before, the ratio between circumference and radius now is less than 2<span style=\"font-family: Symbol;\">p<\/span>: the relativistic rotating disk appears to the mas as a curved surface!<\/p>\n<p>&nbsp;<\/p>\n<h2><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/10.jpg\" width=\"250\" height=\"187\" align=\"right\" \/>The equivalence principle<\/h2>\n<p>Let&#8217;s show another pillar of the relativity theory, apparently unrelated with the curvature. Two astronauts in a capsule without windows make some experiments: one let a body fall, the other measures his own weight.<br \/>\nThe crucial point is that do not exist an experiment that can distinguish between an accelerated capsule and a steady capsule in a gravitational uniform field. If it is right, we have to conclude that a gravitational field is perfectly equivalent to an accelerated reference system.<\/p>\n<h5>Figures from: &#8220;Invito alla Fisica vol.3&#8221; di P. Tipler, Zanichelli<\/h5>\n<p>&nbsp;<\/p>\n<h2><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/11.jpg\" width=\"250\" height=\"186\" align=\"right\" \/>The synthesis<\/h2>\n<p>The main idea behind the marvelous work of Einstein is the following. We have seen that a flat rotating disk is equivalent to a steady curved one.<br \/>\nNow, let&#8217;s consider the points of the disk: they feel an acceleration even if the angular velocity <span style=\"font-family: Symbol;\">w<\/span> is constant: the acceleration&#8217;s magnitude is <span style=\"font-family: Symbol;\">w<\/span>\u00b2R.<br \/>\nWe have just seen that an acceleration is indistinguishable from a gravitational field, so all the points are like immersed in a gravitational field whose intensity grows with the distance from the center.<\/p>\n<p>For the transitive property of the equivalence, we must conclude that <strong>a gravitational field is equivalent to a curved space<\/strong> (or to say better, <strong>a curved spacetime<\/strong>).<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>&nbsp;<\/p>\n<h3><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/12.jpg\" width=\"250\" height=\"188\" align=\"right\" \/>The curvature of the spacetime<\/h3>\n<p>The general theory of relativity has shown that the source of the spacetime curvature is the mass-energy. Also in this latter case we have to unify what we previously thought as separate things: the mass and the energy.<br \/>\nWe could measure this effect by digging a tunnel through the Sun, if it was a perfect homogeneous sphere and &#8230; colder. From the measure of the surface, we could calculate the solar radius, knowng that S=4<span style=\"font-family: Symbol;\">p<\/span>R\u00b2. By measuring the diameter through the tunnel we could see that there would be a lack of 500 metres! The spacetime curvature has made the euclidean geometry formulas no more valid. For the Earth, whose mass is a fraction of the Sun, this difference would be just about 1,5 millimetres.<\/p>\n<p>So far we discussed about lengths, but the same holds also for time intervals. This effect has been experimentally demonstrated by Pound and Rebka in 1959. They put two identical atomic clocks at the top and at bottom of a 22 m high tower: the time flowed slowly at bottom, because it is immersed in a stronger gravitational field! The curvature is manifesting itself as a slowing of time.<\/p>\n<h5>Figures from: &#8220;A Journey into Gravity and Spacetime&#8221;, J. Wheeler, Freeman.<\/h5>\n<h5><\/h5>\n<h3><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/13.jpg\" width=\"250\" height=\"188\" align=\"right\" \/>The geometrodynamics<\/h3>\n<p>The Einstein&#8217;s theory could be called <em>geometrodynamics<\/em> because it relates the geometry (of the spacetime) and the dynamics, the study of motion and forces. Gravity, thought by Newton as a force vector, now is regarded as the effect of the spacetime curvature.<br \/>\nThe fundamental equation of geometrodynamics, shown beside for mystic&#8217;s sake, seems very simple. At contrary, it resumes 10 nonlinear tensorial equations!<br \/>\nEinstein himself when he proposed those hard equations did not believe that a solution could be ever found. Surprisingly just one year later, in 1916, the astronomer Karl Schwartzschild showed the unique exact solution of Eistein&#8217;s equations: the gravitational field outside a non rotating, uncharged body.<\/p>\n<p>The Einstein&#8217;s masterwork made possible to study black holes, the Universe as a whole and gravitational waves.<\/p>\n<p>&nbsp;<\/p>\n<h3><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/14.jpg\" width=\"250\" height=\"188\" align=\"right\" \/>The Einstein cross<\/h3>\n<p>It&#8217;s a magnificent demonstration of the bending of light due to a very intense gravitational field. The image seems to show five different objects, actually they are just two!<br \/>\nThe object near the field centre is a massive galaxy whose gravitational field distorts the spacetime. The light has no mass: how it should be attracted by a mass? The gravitational field act in a more subtle way: it bends the space(time) thus also the light follows a curved path.<br \/>\nTo be simple, also a train cannot steer: it go always straight. But since the railway is bended, the train path is bended too.<br \/>\nThe light rays coming from a distant quasar are deflected and made converging towards the Earth, where we see four distant replicas of the quasar.<br \/>\nAgain, this curvature affects not only the space but also the time. A detailed study of the signals coming from the space probes when the Sun is between the Earth and the probe, shows that also time is distorted.<\/p>\n<h5>Figure from: Le Scienze, quaderni n\u00b071<\/h5>\n<p>&nbsp;<\/p>\n<h3>The geometry of the Universe<\/h3>\n<p>The first attempt to directly measure the curvature of the Universe was made by Edwin Hubble in the thirties of past century. By counting the number of galaxies in spheres of increasing volume, he wanted to test the euclidean nature of the Universe&#8217;s geometry.<br \/>\nIn fact, if we assume that galaxies are uniformally spread througout the Universe, the ratio between counts and 4\/3<span style=\"font-family: Symbol;\">p<\/span>R\u00b3 must be a linear relationship. If it would have been a growing relationship, recalling what we saw in the 2-D case, it would have demonstrated the hyperbolic geometry of cosmos. The opposite for the diminishing counts.<br \/>\nIts conclusions were heavily affected by errors, so he mildly suggested that galaxies grows less than predicted, so the geometry of The Universe could have been positive, with a radius of curvature of about 100 millions of light-years.<br \/>\nNowadays this method has been abandoned for many reasons: mainly because galaxies that can be easily seen in &#8220;small&#8221; telescopes are not uniformly spread.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/15.jpg\" width=\"250\" height=\"187\" align=\"right\" \/>To measure the Universe&#8217;s curvature today the astronomers use the theory of relativity. According to Einstein, the curvature of the Universe is completely a consequence of its matter-energy content. This also influences the evolution and the fate of the Universe, as shown in the table.<br \/>\nThe main problem is to measure the content of the Universe. If we consider just what is visible, we are forced to say that the Universe contains only the 1% of the amount needed to close the Universe: it will expand forever. Also iIncluding the elusive dark matter we can reach up to 30%.<\/p>\n<p>But there is another method that is giving <a href=\"http:\/\/www-supernova.lbl.gov\/public\/\">many surprises<\/a>: remote supernovas observing.<br \/>\nSupernovas are a class of stars that violently explodes making themselves visible at great distances. We can see supernova even in galaxies distant billions of light-years. Strangely: they appear as 25% dimmer than expected<sup><a href=\"https:\/\/www.vialattea.net\/curvatura\/eng\/index.html#5\">(5)<\/a><\/sup>.<br \/>\nThis can be explained in two ways:<br \/>\n1 &#8211; the Universe has a negative curvature. In fact, as for the saddle-shaped surface shown before, the circumference is larger that 2<span style=\"font-family: Symbol;\">p<\/span>R, in 3-D the light emitted by the star is spread on a volume larger than 4<span style=\"font-family: Symbol;\">p<\/span>R\u00b2: this explains why their luminosity is lower than expected.<br \/>\n2 &#8211; the Universe is flat but its expansion is accelerating. The distance of the supernovas can be measured through their redshift, but if the Universe is accelerating, the redshift is no longer a trustable indicator. The supernova&#8217;s distance is then larger, this explains the lower luminosity.<\/p>\n<p>It&#8217;s a rather complicated situation. After 2003, with the fantastic performance of the <a href=\"http:\/\/map.gsfc.nasa.gov\/\">WMAP<\/a> space probe, we know that the geometry of the Universe is flat. This mean that the second explanation is true, but then we are dealing with a mysterious repulsive force that physics cannot explain yet. The scenario is still open: stay tuned for next decades discoveries!<\/p>\n<p>&nbsp;<\/p>\n<h3><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/16.jpg\" width=\"250\" height=\"187\" align=\"right\" \/>Finale: a &#8220;simple&#8221; time machine<\/h3>\n<p>So far we described the curvature of spacetime as the proper explanation of the gravity, without practical applications. However, a strong spacetime curvature could behave as a time machine. The first scientist who published on a trustable physics journal a description of how to build a time machine was Frank Tipler, in 1974 (Rotating cylinders and the possibility of a global causality violation, <i>Physical Review D<\/i>, 9, pp. 2203-2206). In the paper<sup><a href=\"https:\/\/www.vialattea.net\/curvatura\/eng\/index.html#6\">(6)<\/a><\/sup> he showed that a cylinder of infinite length (but also a finite length could also works) whose surface rotates at <em>c<\/em>\/2 deformates the spacetime near the cylinder in a way that the time becomes a purely geometric dimension. That means that moving an object in space imply instead a time travel. This way, a right number of turns around the cylinder could bring the time traveller in the past. The maximum reachable is the time in wich the cylinder has been built.<br \/>\nThis is of course well over our possibilities, but it&#8217;s allowed by physics, and this is always the first step.<\/p>\n<h5>Figure from: &#8220;Tempo&#8221; di C. Pickover, Raffaello Cortina editore<\/h5>\n<h5><\/h5>\n<hr width=\"90%\" \/>\n<p><strong>Notes:<\/strong><\/p>\n<p>(<a name=\"1\"><\/a>1) &#8211; Usually is called <em>pseudosphere <\/em>the model of hyperbolic geometry, as long as the <em>sphere <\/em>is the model of spherical geometry. However, there are some subtilties: a theorem due to Hilbert says that cannot exist models of hyperbolic geometry that can be embedded in the euclidean space and upon wich we can measure distances and angles in the ordinary euclidean way.<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/pseudosphere.gif\" width=\"200\" height=\"138\" align=\"right\" \/>The theorem leaves just four possibilities: the euclidean models of hyperbolic geometry must either<br \/>\n&#8211; not to be embeddable in the euclidean space<br \/>\n&#8211; to be a partial model<br \/>\n&#8211; to change the measure of distances<br \/>\n&#8211; to change the measure of angles.<br \/>\nThe real pseudosphere (right) is a partial model: it has a hole, but the hyperbolic surface have not.<br \/>\nThe <a href=\"http:\/\/mathworld.wolfram.com\/Klein-BeltramiModel.html\" target=\"_blank\" rel=\"noopener\">Klein-Beltrami model<\/a> measures angles in a different way with respect to the euclidean one.<br \/>\nThe Poincar\u00e9 model measures distances in a different way.<br \/>\nThe most natural model, from wich we can derive all the others with appropriate projections, is the Weierstrass model. It is a hyperboloid of two sheets upon wich we measure distances with the Minkowski&#8217;s metric.<br \/>\nFor instance, the Klein-Beltrami model is obtained by projecting stereographically the hyperboloid onto the point (0,0,0); the Poincar\u00e9 model is obtained by projecting stereographically the hyperboloid onto the point (0,0,-1);<\/p>\n<p>(<a id=\"2\" name=\"2\"><\/a>2) &#8211; The beautiful edification of the euclidean geometry, with the powerful deduction system starting from the five postulates and explains all the properties of geometric figures, inclined Kant and its followers to think that it was <strong>logically necessary<\/strong>.<br \/>\nThe first person to think that instead the geometry had to receive a confirmation from experience was Gauss. In the book <em>the meaning of relativity <\/em>Einstein says &#8220;I have always been convinced that philosophers have had a negative influence on the development of scientific knowledge because they have subtracted many fundamental concepts from the domain of empirism, in wich they are under our verification, and they have brought them to the unreachable heights of the <em>a priori<\/em>&#8220;.<br \/>\nHe was referring to the ideas of space and time, but this citation appears adequate to the relationship between geometry and physical reality.<\/p>\n<p>(<a id=\"3\" name=\"3\"><\/a>3) &#8211; The distance, in the ordinary euclidean geometry, is expressed throug the Pythagoras&#8217; theorem applied to the coordinated. Thus the separation between two points in space is<br \/>\nds\u00b2 = dx\u00b2 + dy\u00b2 + dz\u00b2.<br \/>\nWe define <b>signature<\/b> the set of signs of squared coordinates, in this case it is (+ + +).<br \/>\nIn the Minkowski spacetime, the separation between two events is expressed as<br \/>\nds\u00b2 = d(ct)\u00b2 &#8211; dx\u00b2 &#8211; dy\u00b2 &#8211; dz\u00b2<br \/>\nwhose signature is (+ &#8211; &#8211; -) or also as<br \/>\nds\u00b2 = dx\u00b2 + dy\u00b2 + dz\u00b2 &#8211; d(ct)\u00b2<br \/>\nwith signature (+ + + -).<br \/>\nThe two possibilities are perfectly equivalent, the chois between the one or another is purely a matter of convenience. In the first case the ds\u00b2 is always positive inside the light cone. Some textbooks written by particles physicists do prefer the first choice. Of course all the interactions happens in the lightcone and the ds\u00b2 is appreciately positive. At contrary, the relativists generally prefer the second choice, more elegant because it is a generalization of the ordinary metrics.<br \/>\nIt should be noted that the quantity <i>ds<\/i>\/<i>c<\/i> has a precise physical meaning: it&#8217;s the <b>proper time<\/b>, experimented by the moving particle. Under that light, that means considered as a objective property, it is perfectly logical that <i>ds<\/i> is the same for every reference system.<\/p>\n<p>(<a id=\"4\" name=\"4\"><\/a>4) &#8211; Let&#8217;s consider two pairs of events. The first is causally connected, the second is not. Their coordinates are invented but in the first case B is in the lightcone of A, in the second case, is outside.<\/p>\n<table border=\"0\" cellpadding=\"4\" align=\"center\">\n<tbody>\n<tr>\n<td><\/td>\n<td><\/td>\n<td>\n<div align=\"center\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/causale.gif\" width=\"120\" height=\"120\" \/><\/div>\n<\/td>\n<td>\n<div align=\"center\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.vialattea.net\/curvatura\/img\/noncausale.gif\" width=\"120\" height=\"120\" \/><\/div>\n<\/td>\n<\/tr>\n<tr bgcolor=\"#f0ffff\">\n<td rowspan=\"2\" bgcolor=\"#82e0ff\">\n<p align=\"center\">real time<\/p>\n<\/td>\n<td>\n<p align=\"center\">convention<br \/>\nct-x<\/p>\n<\/td>\n<td>\n<p align=\"center\">ds\u00b2 = (ct)\u00b2 &#8211; x\u00b2<br \/>\n= 9-1 = 8<\/p>\n<\/td>\n<td>\n<p align=\"center\">ds\u00b2 = (ct)\u00b2 &#8211; x\u00b2<br \/>\n= 1-4 = -3<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td bgcolor=\"#f0ffff\">\n<p align=\"center\">convention<br \/>\nx-ct<\/p>\n<\/td>\n<td bgcolor=\"#f0ffff\">\n<p align=\"center\">ds\u00b2 = x\u00b2 &#8211; (ct)\u00b2<br \/>\n= 1-9 = -8<\/p>\n<\/td>\n<td bgcolor=\"#f0ffff\">\n<p align=\"center\">ds\u00b2 = x\u00b2 &#8211; (ct)\u00b2<br \/>\n= 4-1 = 3<\/p>\n<\/td>\n<\/tr>\n<tr bgcolor=\"#fffae8\">\n<td rowspan=\"2\" bgcolor=\"#ffe697\">\n<p align=\"center\">imaginary time<\/p>\n<\/td>\n<td>\n<p align=\"center\">convention<br \/>\nct-x<\/p>\n<\/td>\n<td>\n<p align=\"center\">ds\u00b2 = (ct)\u00b2 &#8211; x\u00b2<br \/>\n= -9-1 = -10<\/p>\n<\/td>\n<td>\n<p align=\"center\">ds\u00b2 = (ct)\u00b2 &#8211; x\u00b2<br \/>\n= -1-4 = -5<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td bgcolor=\"#fffae8\">\n<p align=\"center\">convention<br \/>\nx-ct<\/p>\n<\/td>\n<td bgcolor=\"#fffae8\">\n<p align=\"center\">ds\u00b2 = x\u00b2 &#8211; (ct)\u00b2<br \/>\n= 1+9 = 10<\/h3>\n<\/td>\n<td bgcolor=\"#fffae8\">\n<p align=\"center\">ds\u00b2 = x\u00b2 &#8211; (ct)\u00b2<br \/>\n= 4+1 = 5<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<div align=\"left\">\n<p>As we can see, regardless the convention for ds\u00b2, just the metric with the real time, with the signature (+ &#8211; &#8211; -) give a meaning to the casuality by distinguishing, through the sign, events causally connected from those not connected.<\/p>\n<p>(<a id=\"5\" name=\"5\"><\/a>5) &#8211; We can measure just the redshift and the apparent luminosity of distant supernovas. The former property is fundamental because the Hubble&#8217;s law states a proportion between redshift and distance. Thus, by accurately measuring the redshift, we can derive the distance of the supernova. The problem that arise with distant supernovas is that we measure an apparent luminosity lower that expected for a supernova at a distance indicated according to the Hubble&#8217;s law.<\/p>\n<\/div>\n<p>(<a id=\"6\" name=\"6\"><\/a>6) &#8211; The digitized Frank Tipler&#8217;s paper:<\/p>\n<blockquote><p>page 1 (<a href=\"https:\/\/www.vialattea.net\/curvatura\/articoli\/t1.gif\" target=\"_blank\" rel=\"noopener\">GIF<\/a>, 210 kb)<\/p>\n<p>page 2 (<a href=\"https:\/\/www.vialattea.net\/curvatura\/articoli\/t2.gif\" target=\"_blank\" rel=\"noopener\">GIF<\/a>, 210 kb)<\/p>\n<p>page 3 (<a href=\"https:\/\/www.vialattea.net\/curvatura\/articoli\/t3.gif\" target=\"_blank\" rel=\"noopener\">GIF<\/a>, 210 kb)<\/p>\n<p>page 4 (<a href=\"https:\/\/www.vialattea.net\/curvatura\/articoli\/t4.gif\" target=\"_blank\" rel=\"noopener\">GIF<\/a>, 210 kb)<\/p>\n<p>&nbsp;<\/p><\/blockquote>\n<hr width=\"90%\" \/>\n<p>I want to thank John Baez, Alessandro Duci, Nicola Fusco, Valter Moretti and Piergiorgio Odifreddi for the interesting discussions; Mario Vitali and Pietro Rota to have sponsored the lessons.<\/p>\n<p>To-do list:<br \/>\n&#8211; the concept of characteristic length in curved spaces<br \/>\n&#8211; the concept od geodetics<br \/>\n&#8211; the Lobacevskij experiment to measure the curvature of the Universe<br \/>\n&#8211; examples of curvature of tridimensional space<\/p>\n<p align=\"center\">For feedback, comments or critics, please write to: <a href=\"paolo.sirtoli@gmail.com\">paolo.sirtoli@gmail.com<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>[&#8230;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":3723,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-6783","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/pages\/6783","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/comments?post=6783"}],"version-history":[{"count":0,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/pages\/6783\/revisions"}],"up":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/pages\/3723"}],"wp:attachment":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/media?parent=6783"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}