Curvature, curvature
Hi all,
kmarinas86 said:
Is the Schwarzschild coordinate a radius of curvature in the geodesic?
As pervect already noted, the
Schwarzschild radial coordinate r is a certain monotonic function on a spherically symmetric (four-dimensional) Lorentzian spacetime, i.e. one featuring a family of nested two-spheres inside members of an appropriate family of three-dimensional spatial hyperslices. This function is constant on the spheres and has the property that the surface area of the sphere labeled by r=r_0 is A = 4 \pi \, r_0^2.
You mentioned "geodesic": note that in differential geometry
geodesic curvature has a technical meaning closely related to
path curvature of a curve, i.e. if \vec{X} is the unit tangent vector to a curve, then \nabla_{\vec{X}} \vec{X} is the acceleration vector, which is orthogonal to \vec{X} and whose magnitude is the path curvature (the reciprocal of the
radius of curvature).
On the other hand, the Gaussian curvature of the sphere with surface area 4 \pi \, r^2 is K=1/r^2. The intrinsic and extrinsic curvature of submanifolds (of larger dimension than a curve) are "measured" in units of
reciprocal area, i.e.
sectional curvature. On the other hand, the path curvature of a curve is "measured" in units of
reciprocal length. The path curvature of a great circle on a two-sphere embedded as an ordinary round sphere in E^3 would be 1/r.
kmarinas86 said:
And also, in physics, what do I make of a negative radius of curvature?
Assuming you are asking about something like negative Gaussian curvature in a two-dimensional manifold, or negative sectional curvatures in a spatial hyperslice in a spacetime, this is associated, via the
Jacobi geodesic deviation formula, with
divergence of nearby and initially parallel geodesics. A positive Gaussian curvature is associated with
convergence of nearby and initially parallel geodesics.
For example, in on ordinary sphere (two dimensional Riemannian manifold with constant positive Gaussian curvature), longitude circles are geodesics, and two nearby longitudes are initially parallel at the equator. As you move North, they converge (positive curvature). In the hyperbolic plane (two dimensional Riemannian manifold with constant negative Gaussian curvature), two intially parallel geodesics diverge (look for pictures of the Poincare disk model in good textbooks). In the Schwarzschild vacuum solution, the sectional curvature associated with components R_{trtr} is also negative, which means that initially parallel and radially outgoing null geodesics (in particular) will diverge; this leads to the phenomenon called "gravitational red shift".
pervect said:
The 2-d surface of a sphere is an example of a surface with a positive (intrinsic) curvature, while the 2-d surface of a sadle-sheet is an example of a surface with a negative curvature.
To avoid confusion, a saddle surface or hyperboloid of one sheet is a two-dimensional Riemannian manifold embedded in E^3 which has nonconstant negative Gaussian curvature.
MeJennifer said:
Hmm, interesting definition, extrinsic and intrinsic curvature are defined here as mutually exclusive.
No, no, not at all. For example, a three-dimensional spatial hyperslice in a Lorentzian manifold has both
extrinsic curvature, which is measured by a symmetric rank two tensor field (this tensor field is essentially the negative of the
expansion tensor of a timelike unit vector field which agrees with the normals to the slice on the slice itself), and
intrinsic curvature, which is measured by a rank four tensor field, the three-dimensional Riemann curvature tensor of the hyperslice.
The extrinsic curvature measures how the normal vectors are changing as we move around the slice, i.e. how the slice is "bending" in the bigger manifold. The intrinsic curvature doesn't depend upon the embedding, only on the metric tensor induced in the hyperslice by restricting the metric tensor of the bigger manifold.
MeJennifer, you should probably look at a good textbook on surface theory, since it would be difficult to imagine a more fundamental distinction in "metric geometry" than that between extrinsic and intrinsic curvature.
Consider a two dimensional Riemannian manifold embedded in E^3. There are many ways of embedding a two-manifold so that it has a given intrinsic geometry (determined from the induced metric tensor) but dramatically different extrinsic geometry. For example, the Dover reprint of the classic text by Struik shows some nice pictures of two embedded surfaces which both have vanishing Gaussian curvature, but which have very different extrinsic curvature and which look very different.
MeJennifer said:
So intrinsic curvature is not recognized as an extrinsic curvature as well?
They are completely distinct concepts, as should apparent from the fact that one is measured by a fourth rank tensor and the other by a second rank tensor!
MeJennifer said:
I understand that. However the quote claimed that extrinsic curvature cannot be detected on the surface, so that implies that extrinsic curvature does not include intrinsic curvature.
It depends upon what you mean by "detected". For example, the normal vectors for a spatial hyperslice are not part of the intrinsic geometry of that hyperslice. But if this hyperslice arises as one of the slices orthogonal to an irrotational timelike congruence, then we consider this congruence as the world lines of a certain family of observers, and then the expansion tensor of this congruence can in principle be measured by these observers.