Quote by Ben Niehoff
I can't figure out what George is getting at, sorry. The induced metric on should only be 3x3.
Generically what you're doing is you have some global time function [itex]t[/itex] with gradient [itex]dt[/itex]. You want to find the induced metric on the level sets of [itex]dt[/itex]. The level sets of [itex]dt[/itex] are generated by a triplet of linearlyindependent vector fields X, Y, Z such that
[tex]dt(X) = dt(Y) = dt(Z) = 0.[/tex]
In order that each level set be a surface, this set of vector fields needs to be integrable; that is, the set should be closed under the Lie bracket. This should hold automatically, given that [itex]t[/itex] is a global time function, and X, Y, Z are everywhere perpendicular to [itex]dt[/itex].
Then the induced metric [itex]h[/itex] can be given by (where X and Y are some vectors within the level surface)
[tex]\begin{align}h(X,Y) &= g(X,Y) = g_{tt} dt(X) dt(Y) + g_{ti} \Big( dt(X) dx^i(Y) + dt(Y) dx^i(X) \Big) + g_{ij} dx^i(X) dx^j(Y) \\ &= 0 + 0 + g_{ij} X^i Y^j. \end{align}[/tex]
So perhaps this is what George means by "think of [itex]h[/itex] as 4x4". Note that I'm assuming the vectors X and Y are already tangent to the level surfaces of [itex]dt[/itex]. One can imagine instead a 4x4 metric on general vectors that includes some extra terms to project those vectors onto the level surfaces of [itex]dt[/itex]. I think that is what George wrote down. But I wouldn't call that the "induced metric", since it acts on a vector space of the wrong dimension.
I also see that I haven't used the covariant derivative [itex]\nabla_\mu t[/itex] anywhere; I'm not sure exactly why this is needed. Probably the method I am outlining above is a different route to the same result, rather than the method Wald (?) is using.

I would understand an equation like h(x,y)=g(x,y) for x, y on the hypersurface. And I would also understand an equation like [itex]h_{ij} x^i y^j=g_{ij} x^i y^j[/itex] since i and j explicitly only run from 1 to 3 on both sides of the equation. What I don't seem to get is an equation like [itex]h_{ab}=g_{ab} + n_a n_b[/itex] where now it seems like a and b, if I take them to be indices, would run from 03, and now h is a 4x4 matrix.