Reference for hypersurfaces

  • #1
178
17
Hi, I am studying Hypersurfaces and the intrinsic/extrinsic geometry from http://www.blau.itp.unibe.ch/newlecturesGR.pdf with the aim of understanding the Hamiltonian formalism of GR. Although interesting, the notions introduced in these notes lack mathematical rigor.

I am looking for a text which introduces these topics with the full topological structure (written by a mathematician would be better). Thanks.
 

Answers and Replies

  • #2
andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
3,886
1,453
When frustrated by the lack of mathematical rigour in GR texts I turned to John Lee's 'Riemannian Manifolds', which is a mathematical text that is, as expected, rigorous and (in my opinion) reasonably easy to follow. I think it was somebody here on physicsforums that recommended it to me.

There is a prequel by Lee: 'Smooth Manifolds', which may also be useful, depending on what notions you need to use. I have not felt the need to buy it yet but the result is that I am a little undercooked on vector field flows and Lie derivatives.

The downside of Lee's book is that it doesn't specifically address Pseudo-Riemannian manifolds, which is what are used in GR. In many cases the distinction doesn't matter. But sometimes it does and then you have to adapt Lee's proofs to the Pseudo-Riemannian case yourself. Unfortunately I don't know of any mathematical texts (ie not by physicists) that address Pseudo-Riemannian manifolds. Perhaps others can suggest some.
 
  • Like
Likes Ravi Mohan
  • #3
martinbn
Science Advisor
2,105
693
I haven't looked in the notes, what exactly do you fine non-rigorous? Have you looked at O'Neil's book on semi-Riemannian geometry?
 
  • #5
178
17
Thanks andrewkirk, I will look into John Lee's 'Riemannian Manifolds'

I haven't looked in the notes, what exactly do you fine non-rigorous? Have you looked at O'Neil's book on semi-Riemannian geometry?
For instance the author defines an embedding as a map
[tex]
\Phi: \Sigma =\Sigma_n \hookrightarrow M_{n+1}
[/tex]
Now this definition raises questions such as
  • What is the nature of this map (homeomorphism or diffeomorphism)? Wikipedia gives more rigorous definition of [itex]\Phi[/itex] as a homeomorphism onto its image.
  • The author says that this embedding is represented by the parametric equations [itex]\Phi:x^{\alpha}(y^a)[/itex] How are these equations actually composed? I can only think as [itex]y^{\alpha}(\Phi^{-1}(\text{something with }x^a))[/itex] where [itex]y^{\alpha}, x^a[/itex] are charts of [itex]M,\Sigma[/itex] respectively.
I think the author does not care about the structures like topology and even manifold in the notes.

The references mentioned in Wikipedia are https://en.wikipedia.org/wiki/Embedding#References, but I was not sure which one to follow.

I will also look in O'Neill's book on semi-Riemannian geometry. Thanks again.
 
  • #6
martinbn
Science Advisor
2,105
693
For the first one, he actually explains what he means by an embedding, at the end of page 308 and the next page. About the notations it should be clear from the examples that he gives.
 
  • #7
178
17
For the first one, he actually explains what he means by an embedding, at the end of page 308 and the next page. About the notations it should be clear from the examples that he gives.
I understand what he is explaining and I think it should be enough to serve the purpose (which is understanding the canonical GR). But again it would be nice to have a complete formal definition at one's disposal (like the way Carroll does in his notes).

About the map [itex]\Phi[/itex], the author says
Strictly speaking, such a map is called an (injective) immersion, while an embedding has to satisfy a slightly stronger topological condition, but since we are not concerned with global issues, and since I have not even tried to define what a manifold is (beyond the remarks in section 4.11), it would be ridiculous to worry about such things here and this is more than good enough.
So I was wondering what is the stronger topological condition.
 
  • #8
martinbn
Science Advisor
2,105
693
O'Neil might be to your taste, but at times it is about geometry that need not be relevant to relativity. You could perhaps read it selectively.
 
  • Like
Likes Ravi Mohan
  • #9
116
25
So I was wondering what is the stronger topological condition.
The stronger topological condition is that the immersion ## f: M \rightarrow N## is an embedding if ##f ## is a homeomorphism of ##M## with ##f(M)## with the subspace topology. This is the case whenever ##M## is compact for example.
 
Last edited:
  • Like
Likes Ravi Mohan

Related Threads on Reference for hypersurfaces

Replies
20
Views
2K
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
2
Views
541
  • Last Post
Replies
7
Views
2K
Replies
2
Views
846
Replies
6
Views
2K
  • Last Post
Replies
20
Views
7K
Replies
5
Views
2K
Top