Lie group | Arithmetic variety

A question I always had when learning linear algebra is, “what does the trace of a matrix mean conceptually?” For example, the determinant of a matrix is, roughly speaking, the factor by which the matrix expands the volume. The conceptual meaning of trace is not as straightforward, but one way to think about it is

trace is the derivative of determinant at the identity.

Roughly you can think of this in the following way. If you start at the identity matrix and move a tiny step in the direction of $M$ , say $M\epsilon$ where $\epsilon$ is a tiny number, then the determinant changes approximately by $\text{tr}(M)$ times $\epsilon$ . In other words, $\det(1 + M\epsilon) \approx 1 + \text{tr}(M)\epsilon$ . Here $1$ stands for the identity matrix.

One can be very precise about what it means to take the “derivative” of the determinant, so let me do some setup. Let $K$ be either $\mathbb{R}$ or $\mathbb{C}$ (so we are working with real or complex Lie groups; but of course, everything makes sense for algebraic groups over arbitrary fields). Then there is a morphism of Lie groups called the determinant $\det: \text{GL}_n(K) \to K^\cross$ , given by sending a matrix to its determinant. Since we are restricting to invertible matrices, the determinants are nonzero. To check that this is really a morphism of Lie groups (i.e. both a smooth map and a homomorphism of groups), note that the determinant map is a polynomial map in the entries of the matrix (and therefore smooth) and is a group homomorphism by the property that $\det(AB)=\det(A)\det(B)$ .

Now, given any smooth map of manifolds $f$ which maps point $p \mapsto f(p)$ , there is an induced linear map on from the tangent space of $p$ to the tangent space of $f(p)$ called the derivative of $f$ at $p$ . In particular, if $f$ is a Lie group homomorphism, then it maps the identity point to the identity point, and the derivative at the identity is furthermore a homomorphism of Lie algebras. What this means is that, in addition to being a linear map, it preserves the bracket pairing.

In the case of $\text{GL}_n$ , the Lie algebra at the identity matrix is called $\mathfrak{gl}_n$ . We can think of it as consisting of all $n \cross n$ matrices, and the bracket operation is defined by $[A, B] = AB - BA$ . The Lie algebra of $K^\cross$ at $1$ consists of the elements of $K$ ; since $K^\cross$ is abelian, the bracket is trivial.

The main claim, which I will prove subsequently, is that this map $\mathfrak{gl}_n(K) \to K$ , the derivative of the determinant at the identity, is actually the trace. That is, it sends a matrix to its trace, the sum of the entries on the diagonal. Note that since it is a homomorphism of Lie algebras, it preserves the bracket, and we recover the familiar property of trace $\text{tr}(AB - BA) = 0$ , so $\text{tr}(AB)=\text{tr}(BA)$ .

We can find the derivative of a smooth map on $\text{GL}_n(K)$ directly, since it is an open subset of a vector space. Let $\phi$ be a matrix; then the derivative at the identity evaluated at $\phi$ is

$\lim_{t \to 0} \frac{\det(1+t\phi) - 1}{t}.$

$\det(1+t\phi)$ is a polynomial in $t$ , and the number we’re looking for is the coefficient of the $t$ term.

We have

$\det(1 + t\phi) (e_1 \wedge \cdots \wedge e_n) = (e_1+\phi(e_1)t)\wedge(e_2+\phi(e_2)t)\wedge \cdots \wedge (e_n+\phi(e_n)t).$

Just to get a concrete idea of what this expands to, let’s look when $n=2$ . Then

$(e_1+\phi(e_1)t)\wedge(e_2+\phi(e_2)t)=e_1\wedge e_2 + (\phi(e_1)\wedge e_2 + e_1 \wedge \phi(e_2))t + (\phi(e_1)\wedge \phi(e_2)) t^2.$

When $n=3$ ,

$(e_1+\phi(e_1)t)\wedge(e_2+\phi(e_2)t)\wedge(e_3+\phi(e_3)t)$

$=e_1\wedge e_2\wedge e_3$

$+ (\phi(e_1)\wedge e_2 \wedge e_3 + e_1 \wedge \phi(e_2) \wedge e_3 + e_1 \wedge e_2 \wedge \phi(e_3))t$

$+ (\phi(e_1)\wedge \phi(e_2) \wedge e_3 + \phi(e_1)\wedge e_2) \wedge \phi(e_3) + e_1\wedge \phi(e_2) \wedge \phi(e_3)) t^2$

$+ (\phi(e_1)\wedge \phi(e_2) \wedge \phi(e_3)) t^3.$

In particular, the coefficient of $t$ is $\text{tr}(\phi)$ . (In fact, see if you can convince yourself that the coefficient of $t^i$ is $\text{tr}(\wedge^i \phi)$ .)

See some discussion of the meaning of trace.

Acknowledgements: Thanks to Ben Wormleighton for originally telling me the slogan “trace is the derivative of determinant”, and for teaching me about Lie groups and Lie algebras.

To add: discussion of Jacobi’s formula, exponential map

Arithmetic variety

Tag Archives: Lie group

Trace is the derivative of determinant