The Determinant, Tensors, and Orientation

244 Views Asked by At

I am a bit confused about orientation and tensors as exemplified by the determinant.

If we have an inner product or a metric and transform a vector from one coordinate system to another the magnitude of that vector is unchanged as the coordinate representation of the metric also changes. Therefore it is natural to think of a vector as a tensor and it's length doesn't change under orientation reversing transformations.

In contrast, we can consider the determinant as an alternating tensor from the exterior algebra, for instance in $\mathbb{R}^3$, $$det(v_1, v_2, v_3) = e^1\wedge e^2 \wedge e^3(v_1, v_2, v_3)$$

But if we perform a reflection, $A$ then we get, $$det(Av_1, Av_2, Av_3) = det(A)det(v_1, v_2, v_3) = -det(v_1, v_2, v_3) $$ Does that mean that the 3-covector $e^1\wedge e^2 \wedge e^3$ when contracted with 3 vectors is not invariant, which would seem to violate the idea of contracting tensors to a scalar produces an invariant under transformations.

Or do we instead by transforming our 3-covector and the input vectors get an invariant oriented volume measure? $$e'^1\wedge e'^2 \wedge e'^3(Av_1, Av_2, Av_3) = e^1\wedge e^2 \wedge e^3(v_1, v_2, v_3)?$$

That would seem to mean that the determinant includes an arbitrary sign convention and that the definition of the determinant is different in left and right handed oriented coordinate systems.

1

There are 1 best solutions below

0
On

Tu's book, Differential Geometry, answers this question in it's discussion of the Volume Form on a Riemannian Manifold.

If we an $A \in GL(n, \mathbb{R})$ is a transformation between coordinate systems with: $$ \mathbf{v}' = A\mathbf{v} $$ in the new basis. Then we similarly have a relation on the dual bases. $$\mathbf{\omega}' = A^{-1}\mathbf{\omega}$$

So then the volume form transforms as, $$det(A^{-1})e^1 \wedge e^2 \wedge e^3 = e'^1 \wedge e'^2 \wedge e'^3$$

And then if we transform both the volume form and the vectors we are measuring we get the following. $$\begin{equation*} \begin{split} e^1 \wedge e^2 \wedge e^3(u, v, w) &= det(A^{-1})det(A)e^1 \wedge e^2 \wedge e^3(u, v, w) \\ &= det(A^{-1})e^1 \wedge e^2 \wedge e^3(Au, Av, Aw) \\ &= e'^1 \wedge e'^2 \wedge e'^3(Au, Av, Aw) \\ &= e'^1 \wedge e'^2 \wedge e'^3(u', v', w') \end{split} \end{equation*}$$

So the volume form or top form is an invariant volume measure.