The unit vector normal to the curvature of spacetime

[dimension10]

Let us say there is a curved region of spacetime whose curvature is \kappa(s). How does one find the coordinates of the unit vector normal to a certain point on the region of spacetime? I tried searching Hamilton's principle and the general theory of relativity but I could not find any equation which describes the coordinates of the normal vector to the curved region of spacetime.

Thanks.

 

[George Jones]

In classical general relativity, there no normal to spacetime curavture. Since spacetime is all there is, how could something be normal to it.

Perhaps you mean the normal to a "curved" hypersurface. For example, if a 3-dimensional hypersurface is picked out by the level set \Phi \left( x^\mu \right) = 0, then \partial \Phi / \partial x^\mu is normal to the hypersurface.

Perhaps you're thinking of spacetime as a brane in a higher-dimensional bulk, in which case there is a normal to spacetime sticking out into the bulk.

 

[dimension10]

Perhaps you're thinking of spacetime as a brane in a higher-dimensional bulk, in which case there is a normal to spacetime sticking out into the bulk.

Yes. That is what I am asking.

 

[Bill_K]

There's a considerable body of work relating to the differential geometry of a surface embedded in a manifold. I can only summarize.

You need to use two sets of coordinates: u^α in the surface and xⁱ in the manifold. You need the relationship between the two: xⁱ_α ≡ ∂xⁱ/∂u^α. You need metric tensors a^αβ in the surface and g^ij in the manifold. You need a covariant derivative that includes both sets of Christoffel symbols: one for the x's and one for the u's.

Then you show that xⁱ_α;β = b_αβ nⁱ, where nⁱ is the unit normal vector and b_αβ is a symmetric surface tensor, the "second fundamental form". One can then derive the Weingarten formulas, nⁱ_;α = - a^βγb_βαxⁱ_γ and solve for n.

 

[dimension10]

There's a considerable body of work relating to the differential geometry of a surface embedded in a manifold. I can only summarize.

You need to use two sets of coordinates: u^α in the surface and xⁱ in the manifold. You need the relationship between the two: xⁱ_α ≡ ∂xⁱ/∂u^α. You need metric tensors a^αβ in the surface and g^ij in the manifold. You need a covariant derivative that includes both sets of Christoffel symbols: one for the x's and one for the u's.

Then you show that xⁱ_α;β = b_αβ nⁱ, where nⁱ is the unit normal vector and b_αβ is a symmetric surface tensor, the "second fundamental form". One can then derive the Weingarten formulas, nⁱ_;α = - a^βγb_βαxⁱ_γ and solve for n.

Thanks.

 

[Phrak]

There's a considerable body of work relating to the differential geometry of a surface embedded in a manifold. I can only summarize.

You need to use two sets of coordinates: u^α in the surface and xⁱ in the manifold. You need the relationship between the two: xⁱ_α ≡ ∂xⁱ/∂u^α. You need metric tensors a^αβ in the surface and g^ij in the manifold. You need a covariant derivative that includes both sets of Christoffel symbols: one for the x's and one for the u's.

Then you show that xⁱ_α;β = b_αβ nⁱ, where nⁱ is the unit normal vector and b_αβ is a symmetric surface tensor, the "second fundamental form". One can then derive the Weingarten formulas, nⁱ_;α = - a^βγb_βαxⁱ_γ and solve for n.

How can there be a unique vector, unless the (locally isometric) product space is R^5?

 

[Bill_K]

Phrak, You're right, this assumes we're dealing with an n-dimensional surface embedded in an n+1-dimensional space. In the general case one has a set of equations generalizing the Serret-Frenet formulas for a curve, namely there will be a principal normal, second normal, etc.

 

[Phrak]

Phrak, You're right, this assumes we're dealing with an n-dimensional surface embedded in an n+1-dimensional space. In the general case one has a set of equations generalizing the Serret-Frenet formulas for a curve, namely there will be a principal normal, second normal, etc.

Ok, assuming we have a embedded 4 surface in 5 dimenions-

I don't follow your math, but I would not start with contravariant vectors but densities.

A_a = {\epsilon_a}^{bcde} \sqrt{-g} B_{bcde}

It seems that the dual of A is a normal vector to the surface at any point where B=B(w,x,y,z,t) is any 4-form. I couldn't say if this is equivalent to your formulation.

Edit: I should have specificed that B is a 4-form at a point lying in the 4-surface.

 

[Bill_K]

The problem is we don't have the embedding. We start given only the intrinsic geometry of the surface and try to construct an embedding. It may not exist, and if it does exist it may not be unique. For instance a flat 4-space immersed in 5-space could be rolled up like a piece of paper.

In the internal coordinate system we have only ε_abcd to deal with, and a 4-form is equivalent to a scalar. Constructing the normal vector requires 5-dimensional coordinates, and we aren't given the relationship between them, xⁱ_α ≡ ∂xⁱ/∂u^α.