Curvature and locally flat spaces

  • Thread starter espen180
  • Start date
  • #1
834
1
A curved space and be flattened out locally, giving a flat "subspace" while increasing the curvature around that "subspace", right? If so, wouldn't it be possible to make any curved space flat everywhere and concentrate all the curvature at a single point and move that point infinately far away, creating a space which, for all intents and uses, it flat?

If not, why not?
 

Answers and Replies

  • #2
94
0
A curved space and be flattened out locally, giving a flat "subspace" while increasing the curvature around that "subspace", right? If so, wouldn't it be possible to make any curved space flat everywhere and concentrate all the curvature at a single point and move that point infinately far away, creating a space which, for all intents and uses, it flat?

If not, why not?
Indeed, I think you can, why not?
You can transform a semisphere into a cone by concentrating all the curvature into it's vertex, and then the surface will look locally flat, that is, the gaussian curvature of the cone is zero, equal to the plane.
Is that what you asked? If the surface is not compact you can make the vertex go infinitely far, so in the limit, the surface will look all flat.
 
  • #3
834
1
What about an entire sphere? Is it possible then?

EDIT: More generally, does it work in ANY space?
 
Last edited:
  • #4
709
0
A curved space and be flattened out locally, giving a flat "subspace" while increasing the curvature around that "subspace", right? If so, wouldn't it be possible to make any curved space flat everywhere and concentrate all the curvature at a single point and move that point infinitely far away, creating a space which, for all intents and uses, it flat?

If not, why not?
One can push curvature onto a set of measure zero - but not a single point in general.
Using the exponential map one gets a diffeomorphism onto an open ball with boundary the conjugate locus. One can splice a flat metric in any smaller ball around the point of exponentiation with the given metric outside of this ball using a partition of unity. Enlarging this ball pushes the region of flatness towards the conjugate locus. i am not sure what happens to the curvature in the limit but it feels like a delta function on the conjugate locus.
 
  • #5
Ben Niehoff
Science Advisor
Gold Member
1,879
162
So a sphere can be changed into, say, a tetrahedron, where all the curvature is concentrated in the corners.
 
  • #6
709
0
So a sphere can be changed into, say, a tetrahedron, where all the curvature is concentrated in the corners.
and the edges. I think
 
  • #7
834
1
and the edges. I think
Well, if we think of curvature as [tex]\delta\theta=R\delta a[/tex], where [tex]\delta\theta[/tex] is the angular deflection a vector experiences in being parallel transported around a closed loop with area [tex]\delta a[/tex] and [tex]R[/tex] is the integrated curvature inside the loop, the edges should not have any net curvature as parallel transporting a vector over and edge and back over the same edge again should return it to its initial direction, right? Meanwhile the vertexes will have infinate curvature, as any path around them will give the same deflection of the vector direction.
 
  • #8
Ben Niehoff
Science Advisor
Gold Member
1,879
162
The edges will have zero curvature. The vertices will have infinite curvature, but finite angular deflection (i.e., the integral of curvature over a region containing the corner). Therefore, the curvature at the vertices will be delta functions.
 
  • #9
709
0
The edges will have zero curvature. The vertices will have infinite curvature, but finite angular deflection (i.e., the integral of curvature over a region containing the corner). Therefore, the curvature at the vertices will be delta functions.
can you show me a proof?
 
  • #10
834
1
This is not a proof, but more of a thought experiment.

Here is a map of the surface of the tetrahedron:
240px-Tetrahedron_flat.svg.png

Image courtesy of Wikipedia. http://en.wikipedia.org/wiki/Tetrahedron

Let's use the curvature definition [tex]R=\frac{\delta \theta}{\delta a}[/tex] described above.

We parallel transport a vector around a closed curve on this map, which is plane. Parallel transporting means moving it around a curve keeping it parallel to itself.

we can start in the darkest region and cross over the border into the middle region. Now the vector has gained an angular displacement of [tex]\arctan(2\sqrt{2})\approx 71^\circ[/tex].

For the curve to be closed, we need to cross the same border on the way back to the starting point in the darkest region. Doing this cancels the angular displacement the vector gained in going the other way, so it ends up with no angular displacement.

From our definition, [tex]R=\frac{\delta \theta}{\delta a}=\frac{0}{\delta a}=0[/tex]. So the edges of the tetrahedron has no curvature.
 
  • #11
709
0
This is not a proof, but more of a thought experiment.

Here is a map of the surface of the tetrahedron:
240px-Tetrahedron_flat.svg.png

Image courtesy of Wikipedia. http://en.wikipedia.org/wiki/Tetrahedron

Let's use the curvature definition [tex]R=\frac{\delta \theta}{\delta a}[/tex] described above.

We parallel transport a vector around a closed curve on this map, which is plane. Parallel transporting means moving it around a curve keeping it parallel to itself.

we can start in the darkest region and cross over the border into the middle region. Now the vector has gained an angular displacement of [tex]\arctan(2\sqrt{2})\approx 71^\circ[/tex].

For the curve to be closed, we need to cross the same border on the way back to the starting point in the darkest region. Doing this cancels the angular displacement the vector gained in going the other way, so it ends up with no angular displacement.

From our definition, [tex]R=\frac{\delta \theta}{\delta a}=\frac{0}{\delta a}=0[/tex]. So the edges of the tetrahedron has no curvature.
right I guessed that is what you meant. what about parallel translating around the corner of a cube? I get pi/4 which seems to be wrong - it should be pi/2 shouldn't it?
 
  • #12
Ben Niehoff
Science Advisor
Gold Member
1,879
162
Going around the corner of a cube gives pi/2 (i.e., 1/4 of a full circle). Not sure where you got pi/4.

The sum of all the angle defects in the cube should give you 4pi, the surface area of a sphere. Same should hold for any polyhedron topologically equivalent to a sphere (if the polyhedron is not convex, you must count the concave corners negatively).
 

Related Threads on Curvature and locally flat spaces

Replies
0
Views
2K
Replies
31
Views
4K
  • Last Post
Replies
5
Views
8K
  • Last Post
Replies
14
Views
2K
  • Last Post
Replies
2
Views
4K
  • Last Post
Replies
5
Views
4K
Replies
5
Views
3K
Replies
3
Views
4K
  • Last Post
Replies
9
Views
2K
Replies
13
Views
5K
Top