• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

124 submissions , 105 unreviewed
3,647 questions , 1,242 unanswered
4,637 answers , 19,674 comments
1,470 users with positive rep
434 active unimported users
More ...

Mathematically-oriented Treatment of General Relativity

+ 8 like - 0 dislike

Can someone suggest a textbook that treats general relativity from a rigorous mathematical perspective? Ideally, such a book would

  1. Prove all theorems used
  2. Use modern "mathematical notation" as opposed to "physics notation", especially with respect to linear algebra and differential geometry
  3. Have examples that illustrate both computational and theoretical aspects
  4. Have a range of exercises with varying degrees of difficulty, with answers

An ideal text would read a lot more like a math book than a physics book and would demand few prerequisites in physics. Bottom line is that I would like a book that provides an axiomatic development of general relativity clearly and with mathematical precision works out the details of the theory.

Thank you.

Addendum (1): I did not intend to start a war over notation. As I said in one of the comments below, I think indicial notation together with the summation convention is very useful. The coordinate-free approach has its uses as well and I see no reason why the two can't peacefully coexist. What I meant by "mathematics notation" vs. "physics notation" is the following: Consider, as an example, one of the leading texts on smooth manifolds, John Lee's Introduction to Smooth Manifolds. I am very accustomed to this notation and it very similar to the notation used by Tu's Introduction to Manifolds, for instance, and other popular texts on differential geometry. On the other hand, take Frankel's Geometry of Physics. Now, this is a nice book but it is very difficult for me to follow it because 1) Lack of proofs and 2)the notation does not agree with other math texts that I'm accustomed to. Of course, there are commonalities but enough is different that I find it really annoying to try to translate between the two...

Addendum (2): For the benefit of future readers, In addition to suggestions below, I have found another text that also closely-aligns with the criteria I stated above. It is, Spacetime: Foundations of General Relativity and Differential Geometry by Marcus Kriele. The author begins by discussing affine geometry, analysis on manifolds, multilinear algebra and other underpinnings and leads into general relativity at roughly the midpoint of the text. The notation is also fairly consistent with the books on differential geometry I mentioned above.

This post imported from StackExchange Physics at 2014-03-22 18:08 (UCT), posted by SE-user 3Sphere

asked Sep 23, 2011 in Theoretical Physics by 3Sphere (40 points) [ revision history ]
retagged Mar 25, 2014 by dimension10

5 Answers

+ 6 like - 0 dislike

The Physiccs work in this field is rigorous enough. Hawking and Ellis is a standard reference, and it is perfectly fine in terms of rigor.

Digression on notation

If you have a tensor contraction of some sort of moderate complexity, for example:

$$ K_{rq} = F_{ij}^{kj} G_{prs}^i H^{sp}_{kq}$$

and you try to express it in an index-free notation, usually that means that you make some parenthesized expression which makes

$$ K = G(F,H)$$

Or maybe

$$ K = F(G,H) $$

Or something else. It is very easy to prove (rigorously) that there is no parentheses notation which reproduces tensor index contractions, because parentheses are parsed by a stack-language (context free grammar in Chomsky's classification) while indices cannot be parsed this way, because they include general graphs. The parentheses generate parse trees, and you always have exponentially many maximal trees inside any graph, so there is exponential redundancy in the notation.

This means that any attempt at an index free notation which uses parentheses, like mathematicians do, is bound to fail miserably: it will have exponentially many different expressions for the same tensor expression. In the mathematics literature, you often see tensor spaces defined in terms of maps, with many "natural isomorphisms" between different classes of maps. This reflects the awful match between functional notation and index notation.

Diagrammatic Formalisms fix Exponential Growth

Because the parenthesized notation fails for tensors, and index contraction matches objects in pairs, there are many useful diagrammatic formalisms for tensorial objects. Diagrams represent contractions in a way that does not require a name for each index, because the diagram lines match up sockets to plugs with a line, without using a name.

For the Lorentz group and general relativity, Penrose introduced a diagrammatic index notation which is very useful. For the high spin representations of SU(2), and their Clebsch-Gordon and Wigner 6-j symbols, Penrose type diagrams are absolutely essential. Much of the recent literature on quantum groups and Jones polynomial, for example, is entirely dependent on Penrose notation for SU(2) indices, and sometimes SU(3).

Feynman diagrams are the most famous diagrammatic formalism, and these are also useful because the contraction structure of indices/propagators in a quantum field theory expression leads to exponential growth and non-obvious symmetries. Feynman diagrams took over from Schwinger style algebraic expressions because the algebraic expressions have the same exponential redundancy compared to the diagrams.

Within the field of theoretical biology, the same problem of exponential notation blow-up occurs. Protein interaction diagrams are exponentially redundant in Petri-net notation, or in terms of algebraic expressions. The diagrammatic notations introduced there solve the problem completely, and give a good match between the diagrammatic expression and the protein function in a model.

Within the field of semantics within philosophy (if there is anything left of it), the ideas of Frege also lead to an exponential growth of the same type. Frege considered a sentence as a composition of subject and predicate, and considered the predicate a function from the subject to meaning. The function is defined by attaching the predicate to the subject. So that "John is running" is thought of as the function "Is running"("John").

Then an adverb is a function from predicates to predicates, so "John is running quickly" means ("quickly"("Is running"))("John"), where the quickly acts on "is running" to make a new predicate, and this is applied to "John".

But now, what about adverb modifiers, like "very", as in "John is running very quickly"? You can represent these are functions from adverbs to adverbs, or as functions from predicates to predicates, depending on how you parenthesize:

(("very"("quickly"))("Is running"))("John")


(("very")(("quickly")("Is running"))("John")

Which of these two parenthetization is correct define two schools of semantic philosophy. There is endless debate on the proper Fregian representation of different parts of speech. The resolution, as always, is to identify the proper diagrammatic form, which removes the exponential ambiguity of parenthesized functional representation. The fact that philosophers have not done this in 100 years of this type of debate on Fregian semantics shows that the field is not healthy.

This post imported from StackExchange Physics at 2014-03-22 18:08 (UCT), posted by SE-user Ron Maimon
answered Sep 23, 2011 by Ron Maimon (7,435 points) [ no revision ]
+ 6 like - 0 dislike

I agree with Ron Maimon that Large scale structure of space-time by Hawking and Ellis is actually fairly rigorous mathematically already. If you insist on somehow supplementing that:

  • For the purely differential/pseudo-Riemannian geometric aspects, I recommend Semi-Riemannian geometry by B. O'Neill.
  • For the analytic aspects, especially the initial value problem in general relativity, you can also consult The Cauchy problem in general relativity by Hans Ringström.
  • For a focus on singularities, I've heard some good things about Analysis of space-time singularities by C.J.S. Clarke, but I have not yet read that book in much detail myself.
  • For issues involved in the no-hair theorem, Markus Heusler's Black hole uniqueness theorems is fairly comprehensive and self-contained.
  • One other option is to look at Mme. Choquet-Bruhat's General relativity and Einstein's equations. The book is not really suitable as a textbook to learn from. But as a supplementary source book it is quite good.

If you are interested in learning about the mathematical tools used in modern classical GR and less on the actual theorems, the first dozen or so chapters of Exact solutions of Einstein's field equations (by Stephani et al) does a pretty good job.

This post imported from StackExchange Physics at 2014-03-22 18:08 (UCT), posted by SE-user Willie Wong
answered Sep 23, 2011 by Willie Wong (570 points) [ no revision ]
Thanks for the suggestions. The O'Neil book looks really good and is very close to what I'm looking for

This post imported from StackExchange Physics at 2014-03-22 18:08 (UCT), posted by SE-user 3Sphere
@3Sphere: the O'Neil book is good, but be warned that it only works through the most basic applications of GR: the Schwarzschild and Robertson-Walker solutions. It is a very rigorous and formal grounding in GR, though.

This post imported from StackExchange Physics at 2014-03-22 18:08 (UCT), posted by SE-user Jerry Schirmer
I got the impression the OP wanted something on foundations, and was willing to go to all the most modern applications later, from a second textbook, after understanding the foundations clearly.

This post imported from StackExchange Physics at 2014-03-22 18:08 (UCT), posted by SE-user joseph f. johnson
+ 5 like - 0 dislike

I recommend Yvonne Chocquet-Bruhat, Géométrie différentielle et systèmes extérieurs because it is so short and has exercises and is in the notation you want. I recommend it most highly (even if you can't get it with her inscribed autograph.)

I also recommend very strongly her much longer (but try to get the first edition, which is still plenty long) Analysis, Manifolds and Physics by Yvonne Choquet-Bruhat, Cecile Dewitt-Morette, and Margaret Dillard-Bleick which has many exercises and much more Physics...but is too long. Goodness, it even includes Brownian Motion and path integrals....

That said, Dirac and Schroedinger have good and very short Physics books on the subject, I recommend those too even though they are not quite what you asked for.

Bob Geroch's book is valuable too.

This post imported from StackExchange Physics at 2014-03-22 18:08 (UCT), posted by SE-user joseph f. johnson
answered Jan 14, 2012 by joseph f. johnson (420 points) [ no revision ]
+ 1 like - 0 dislike

Sach and Wu has a yellow springer book called General Relativity for mathematician.

This post imported from StackExchange Physics at 2014-03-22 18:08 (UCT), posted by SE-user Demian Cho
answered Sep 23, 2011 by Demian Cho (265 points) [ no revision ]
+ 0 like - 0 dislike

I don't know if it's formal enough for you, but a book I've always liked is Lilley: "Discovering Relativity for Yourself".

It covers both special and general relativity.

It is designed for evening-division teaching. It starts with very intuitive explanations, then gradually brings in the math, until it is, in my opinion, quite rigorous.

This post imported from StackExchange Physics at 2014-03-22 18:08 (UCT), posted by SE-user Mike Dunlavey
answered Sep 24, 2011 by Mike Dunlavey (20 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights