I What is the difference between Gaussian and sectional curvature?

PhysicsRock
Messages
121
Reaction score
19
TL;DR
See title
In a homework problem, I had to derive the relationship ##R_{\mu\nu} = \pm K g_{\mu\nu}## on a surface, i.e. a ##2##-dimensional submanifold of ##\mathbb{R}^3##. Here, ##K## is the Gaussian curvature. I think I managed to do that, but from my derivation I don't see why this result is restricted to the mentioned special case. I believe it has to do with the fact that I used Gaussian curvature explicitly, not sectional curvature as one would in the general case. However, I don't really understand the difference between the two. I can imagine that Gaussian curvature is a global property, which would allow for us to say that ##R_{\mu\nu} = K g_{\mu\nu}## is true everywhere on a such a manifold, whereas in the general case this might not be true in every chart, we still might find some where this holds.

Thank you in advance for any help.

A quick disclaimer at the end. Although this question arose from a homework problem, it's about my understanding in general and not about said problem specifically. Therefore, I thought it would be asked here best, not in the homework forums.
 
Physics news on Phys.org
I think that for a 2D manifold M, the sectional curvature (SC) at a point P will always equal the Gaussian curvature (GC) at P, because the SC is the GC at P of the submanifold S covered by applying the exponential map to the vectors in the tangent plane TPM radiating away from P.

Except perhaps in pathological cases, the submanifold S will include an open neighbourhood of P in M, so the GC at P in S (which is the sectional curvature) will be the same as the GC at P in M.

Where M has dimension m > 2, that result will no longer apply, as S will be a proper submanifold of M on any neighbourhood of P. The relationship of SC to GC will depend on the choice of two tangent vectors to define the tangent plane at P: the vectors u and v in this article about sectional curvature.

In general neither SC nor GC would be a global property.
 
I'm a bit confused by the conditions on the existence of coordinate basis given by Frobenius's theorem. Namely, let's take a n-dimensional smooth manifold and a set of n smooth vector fields defined on it. Suppose they are pointwise linearly independent and do commute each other (i.e. zero commutator/Lie bracket). That means they span the entire tangent space at any point and since commute, they define a local coordinate basis. What does this mean? Well, starting from any point on the...

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 4 ·
Replies
4
Views
6K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
Replies
12
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
Replies
2
Views
4K