Differential Geometry – What Is the Significance of the Trace of a Tensor?

differential-geometrylinear algebrametric-tensortensor-calculustrace

On a Riemannian manifold, the trace $X$ of a tensor $X_{\mu\nu}$ is defined as
$$X=g^{\mu\nu}X_{\mu\nu}.$$
In linear algebra, the trace is the sum of the diagonal elements, so a traceless matrix has the diagonal elements sum to zero. For a traceless tensor $X_{\mu\nu}$, the sum of the diagonal elements in the matrix $[X_{\mu\nu}]$ will in general not be zero.

Why then do we use the concept of 'trace' for tensors if the diagonal elements don't sum to zero? Is there some sort of connection between the concept of trace for linear algebra & tensors?

Best Answer

The definition of a trace when written in the form $X=g^{\mu\nu}X_{\mu\nu}$ looks unnatural but if we write it as $$X=X^{\mu}_{\mu}$$ then it looks more natural. That is, trace is the sum of diagonal elements of $X^{\nu}_{\mu}$. Where $X^{\nu}_{\mu}=g^{\rho\nu}X_{\mu\rho}$.

Another reason is that the sum of diagonal elements of $X^{\nu}_{\mu}$ can be simply expressed in Einstein summation convention as $X^{\mu}_{\mu}$, but the sum of diagonal elements of $X_{\mu\nu}$ is $\displaystyle\sum_{\mu=0}^3 X_{\mu\mu}$ and it can't be expressed simply in Einstein summation convention.

Related Question