I am reading the last chapter (Schwarzchild solution and Black Holes) of Sean Caroll's GR notes (http://arxiv.org/abs/gr-qc/9712019).
While talking about spherical symmetry, he says how the Frobenius Theorem can be used to foliate a manifold with spherical symmetry with spheres at each point. This allows us to break down the coordinates of an n dimensional manifold into $u^i$ for the submanifold, and $v^I$ to tell us which submanifold we are on. (If the submanifold being considered in m dimensional, $i$ runs from 1 to m, and $I$ from 1 to n-m) .
I have trouble understanding the claim after this construction i.e.
If the submanifold is maximally symmetric, then it is possible to chose the $u$ co-ordinates such that the metric for the manifold is
$$ds^2=g_{IJ}(v)dv^{I}dv^{J}+f(v)\gamma_{ij}du^i du^j$$
Intuitively how can I see the following:
Why is maximally symmetric a condition? What goes wrong if it is not maximally symmetric?
I understand why $f(v)$ should be just a function of $v$, because if I keep my $v^I$ constant, and traverse on the submanifold associated to that point, the metric should be invariant.
But I don't really understand why $g_{IJ}$ should be only a function of $v$, we are not remaining on the same submanifold while changing $v$.
- Why are there no cross terms $dv^I du^j$? Caroll says it is by 'making sure' $\frac{\partial}{\partial v^I}$ are orthogonal to tangent vectors of the submanifold. Can you elaborate on this? Why is this always possible?
I am not looking for detailed mathematical arguments, hand-waving would suffice. But ofcourse, it would be more than wonderful, if both are provided.
No comments:
Post a Comment