Surface with Ricci scalar equal to two

In summary: E^3, and it can be embedded globally in E^3 if and only if it is flat. For more information, see O'Neill, Elementary Differential Geometry, which is the first book I ever bought from Springer-Verlag, and enjoy!I hope this is the type of summary you were looking for.
  • #1
Giammy85
19
0
A two-dimensional Rienmannian manifold has a metric given by
ds^2=e^f dr^2 + r^2 dTHETA^2
where f=f(r) is a function of the coordinate r

Eventually I calculated that Ricci scalar is R=-1/r* d(e^-f)/dr


if e^-f=1-r^2 what is this surface?


In this case R comes to be equal to 2
I've read on wikipedia that Ricci scalar of a sphere with radius r is equal to 2/r^2

So, is this surface a sphere of radius r=1?
 
Last edited:
Physics news on Phys.org
  • #2
Cartan's method of curvature forms

Doesn't this thread belong in "Tensor Analysis & Differential Geometry"? It seems to involve a question about the mathematical theory Riemannian two-manifolds, not relativistic physics.

[EDIT: thanks to the unsung admin who moved this thread!]

(I corrected the formatting and made a small change in notation.)

Giammy85 said:
A two-dimensional Rienmannian manifold has a metric given by
[tex]
ds^2= \exp(2f) \, dr^2 + r^2 \, d\theta^2
[/tex]
where f is a function of the coordinate r.

Which can be embedded as a surface of revolution in E^3 as you probably know, at least locally (depending on f). To wit:
[tex]
\left[ \begin{array}{c} h(r) \\ r \, \cos(\phi) \\ r \, \sin(\phi) \end{array} \right]
[/tex]
leads to the line element
[tex]
ds^2 = \left(1 + {h^\prime}^2 \right) \, dr^2 + r^2 \, d\phi^2
[/tex]
from which we obtain the ODE [itex] 1 + {h^\prime}^2 = \exp(2f)[/itex] which you can solve to obtain h in terms of f.

Note that the euclidean formula for the circumference of the circle [itex]r=r_0[/itex] holds good, but (for reasons easy to understand from the embedding in case of a typical function h!) the usual formula relating dr to radial distance does not hold true, in general. In higher dimensions, BTW, in the context of gravitation physics, it is customary to refer to a radial coordinate with these properties as a Schwarzschild radial coordinate.

Giammy85 said:
Eventually I calculated that the Ricci scalar is...

This isn't homework, is it? Or even worse, a take-home exam problem? :frown: If so, you should have posted in the Homework Help forum, which has special rules!

The sphere is a space of constant Gaussian curvature (see the component [itex]R_{1212}[/itex] of the Riemann tensor), which is an invariant property. See almost any differential geometry textbook for more information, e.g. Struik, Lectures on Classical Differential Geometry.

Here's the slick way to compute the curvature tensor (especially efficient in higher dimensions): from the line element
[tex]
ds^2 = \exp(2f) \, dr^2 + r^2 \, d\phi^2, \; 0 < r < \infty, \; -\pi < \phi < \pi
[/tex]
(for convenience I made a slight change in notation, and where the ranges of the coordinates are the maximal permissible) we can read off the coframe field
[tex]
\sigma^1 = \exp(f) \, dr, \; \sigma^2 = r \, d\phi
[/tex]
so that the line element is simply
[tex]
ds^2 = \sigma^1 \otimes \sigma^1 + \sigma^2 \otimes \sigma^2
[/tex]
Taking the exterior derivatives of these one forms gives
[tex]
d\sigma^1 = 0, \; d\sigma^2 = dr \wedge \phi
[/tex]
But Cartan's first structural equations tell us that
[tex]
d\sigma^j = -{\omega^j}_k \wedge \sigma^k, \;
{\omega^j}_k = -{\omega^k}_j
[/tex]
(since the exponential of anti-symmetric operator is a rotation). Plugging in the result we just obtained gives
[tex]
-d\phi \wedge dr = dr \wedge d\phi
= -{\omega^2}_1 \wedge \sigma^1
= -{\omega^2}_1} \wedge \exp(f) \, dr
[/tex]
from which the ([itex]so(2)[/itex] valued) connection one-form is
[tex]
{\omega^1}_2 = -\exp(-f) \, d\phi
[/tex]
(As an easy check, the exterior product of this with [itex]\sigma^2 = r \, d\phi[/itex] does indeed vanish, as it should.) Taking the exterior derivative of this one-form gives
[tex]
d{\omega^1}_2
= f^\prime \, \exp(-f) \, dr \wedge d\phi
= \frac{f^\prime}{r} \, \exp(-2f) \, \sigma^1 \wedge \sigma^2
[/tex]
But Cartan's second structural equation tells us that the ([itex]so(2)[/itex] valued) curvature-two form is
[tex]
{\Omega^j}_k = d{\omega^j}_k + {\omega^j}_m \wedge {\omega^m}_k
[/tex]
where the second term drops out in two dimensions. We can now read off the Riemann curvature tensor from
[tex]
{\Omega^j}_k = {R^j}_{kmn} \, d\sigma^m \wedge d\sigma^n
[/tex]
Finally, lowering an index gives
[tex]
R_{1212} = \frac{f^\prime}{r} \, \exp(-2f)
[/tex]
which is the only algebraically independent component in two dimensions. Note that in the coordinate cobasis [itex]dr, \; d\phi[/itex] this becomes [itex]R_{r \phi r \phi} = r \, f^\prime[/itex].

This method is called the "method of Pfaffians" in Struik, and the "method of one-forms" in MTW, and was introduced by Elie Cartan c. 1905, who later championed its use in gravitation physics. In the case of surfaces embedded in E^3, it should always give the same results as the well known theory developed by Gauss c.1820 but not published until 1827-8. See Flanders, Differential Forms with Applications to the Physical Sciences, Dover reprint, for details.

(Hmm... I see that the current version at the time of my post of the WP article on Gauss is incorrect: Gauss presented his famous memoir to the Royal Society of Gottingen in 1827, and it was published in their journal the following year; this paper predates the publications of both Lobachevski and Bolyai and greatly generalizes their work. A English translation with commentary can be found in Karl Friedrich Gauss, General Investigations of Curved Surfaces, Dover reprint. See also the superb comments in Spivak, Comprehensive Introduction to Differential Geometry. Hmm... actually the WP article is pretty damn bad overall IMO, even ignoring factual errors.)

Giammy85 said:
In this case R comes to be equal to 2
I've read on wikipedia that Ricci scalar of a sphere with radius r is equal to 2/r^2

Unless stated otherwise, I always evaluate tensor indices wrt a frame field or coframe field (aka ONB of Pfaffians or one-forms or covectors, in order of increasingly modern terminology).

The sphere of radius a has Gaussian curvature [itex]R_{1212} = 1/a^2[/itex] (units of reciprocal area; components expanded wrt a coframe field). Solving
[tex]
\frac{f^\prime}{r} \, \exp(-2f) = \frac{1}{a^2}
[/tex]
gives
[tex]
\sigma^1 = \frac{a \, dr}{\sqrt{a^2-r^2}}, \; 0 < r < a
[/tex]
which agrees with line element
[tex]
ds^2 = \frac{a^2 dr^2}{a^2-r^2} + r^2 \, d\phi^2, \; 0 < r < a, \; -\pi < \phi < \pi
[/tex]
which we obtain from the obvious embedding in [itex]E^3[/itex]
[tex]
\left[ \begin{array}{c} \sqrt{a-r^2} \\ r \, \cos(\phi) \\ r \, \sin(\phi) \end{array} \right]
[/tex]
of the top half of a round sphere of radius a.

A Riemannian two-manifold of non-constant curvature cannot be any of [itex]S^2, \; E^2, \; H^2[/itex], which have curvatures of form [itex]1/a^2, 0, -1/a^2[/itex] respectively (in any chart), where [itex]a>0[/itex] is the "radius", in the first and third cases.
 
Last edited:
  • #3
mhm... I think it is a sphere of radius r=1
 
  • #4
In the case of Riemannian two-manifold, the Ricci scalar is twice the Gaussian curvature, which makes [itex]2/a^2[/itex] for a sphere of radius a. In my post above, r is a variable, the Schwarzschild radial coordinate on a surface of revolution, whereas a is a positive real constant.

Seriously, this wasn't a take-home problem exam, was it? (A possibility which unfortunately didn't occur to me until after I posted my detailed Post #2.)
 
Last edited:
  • #5
I get a different result for the Ricci scalar, viz

[tex]\frac{\partial rf}{re^{f}}[/tex] where [tex]\partial r[/tex] is differentiation wrt r.
 
  • #6
Hi, Mentz114,

Mentz114 said:
I get a different result for the Ricci scalar, viz
[tex]
\frac{\partial rf}{re^{f}}
[/tex] where [itex]\partial r[/itex] is differentiation wrt r.

The Ricci scalar is [itex]R = \frac{2 f^\prime}{r} \, \exp(-2f)[/itex] in the notation I used above. (The Ricci tensor, with components evaluated wrt the coframe field I gave, is diagonal with both diagonal components equal to the Riemann curvature component I computed.)

The result of Problem 3.4-19 in Struik implies that the Gaussian curvature is
[tex]
K = \frac{R_{r \phi r \phi}}{\exp(2f) \, r^2}
= \frac{r \, f^\prime}{ r^2 \, \exp(2f)}
= \frac{f^\prime}{r} \, \exp(-2f) = R_{1212}
[/tex]
as I claimed.

Exercise: write an orthogonal chart for the general Riemannian two-manifold in the form [itex]ds^2 = A^2 \, du^2 + B^2 \, dv^2[/itex], where A,B can be functions of u,v (although this isn't neccessary; without loss of generality we could impose further restrictions), and adopt the coframe field
[itex]\sigma^1 = A \, du, \; \sigma^2 = B \, dv[/itex]. Using the method of curvature two-forms, show that
[tex]
-R_{1212} = \frac{ \left( \frac{A_u}{B} \right)_u + \left( \frac{B_v}{A} \right)_v }{AB}
[/tex]
This is one of the formulas offered by Gauss for what we call the Gaussian curvature in his October 1827 paper (published in 1828), with the same small change of notation that I made at the beginning of my Post #2.
 
Last edited:
  • #7
Chris, there's lots here I need to absorb, thanks. I might have a look for the factor of 2 ...
I'm using traditional methods but learning the diff. geom ways by osmosis.

M
 
  • #8
OK, I've been writing a bit sloppily about how Cartan's methods related to Gauss's. At least the two books I mentioned (the one by Struik and the one by Flanders) are not only short and clear but also readily available as cheap Dover reprints :smile: Struik is a great book to learn some classical surface theory from, and Flanders is a great book to learn Cartan's method (for Riemannian geometry; for Lorentzian geometry there is one small change which MTW didn't make as clear as they might have done--- I am referring to Minkowskian transpose vs. Euclidean transpose; you can figure this out from comparing standard 3x3 matrix generators for the Lie algebras so(1,2) and so(3) and asking what "skew-transpose" means!)[size=-3]<--more sloppy writing, sorry![/size]
 

1. What is a surface with Ricci scalar equal to two?

A surface with Ricci scalar equal to two is a mathematical concept that refers to a two-dimensional surface with a specific curvature. The Ricci scalar is a measure of the curvature of a surface, and when it is equal to two, it means that the surface has a positive constant curvature.

2. What is the significance of a surface with Ricci scalar equal to two?

The significance of a surface with Ricci scalar equal to two lies in its constant positive curvature. It is a special type of surface that has many applications in mathematics and physics, such as in general relativity and differential geometry.

3. How can one determine if a surface has a Ricci scalar equal to two?

To determine if a surface has a Ricci scalar equal to two, one can use mathematical tools such as the Ricci curvature tensor or the Gaussian curvature. These tools can calculate the curvature of a surface and determine if it is equal to two.

4. Are there any real-world examples of surfaces with Ricci scalar equal to two?

Yes, there are real-world examples of surfaces with Ricci scalar equal to two. One example is the surface of a sphere, which has a constant positive curvature and a Ricci scalar equal to two. Another example is the surface of a saddle, which has a negative constant curvature and a Ricci scalar equal to two in certain regions.

5. How is a surface with Ricci scalar equal to two related to Einstein's theory of general relativity?

A surface with Ricci scalar equal to two is related to Einstein's theory of general relativity through the concept of spacetime curvature. In general relativity, the curvature of spacetime is described by the Ricci scalar, and when it is equal to two, it represents a positive constant curvature. This is important in understanding the behavior of gravity and the structure of the universe.

Similar threads

  • Differential Geometry
Replies
2
Views
534
Replies
3
Views
1K
Replies
1
Views
949
  • Special and General Relativity
Replies
1
Views
552
  • Differential Geometry
Replies
6
Views
2K
  • Differential Geometry
Replies
1
Views
1K
  • Differential Geometry
Replies
10
Views
4K
Replies
4
Views
2K
  • Differential Geometry
Replies
7
Views
4K
  • Differential Geometry
Replies
3
Views
2K
Back
Top