Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
In geometric algebra we have the derivative by a vector of a vector field $$\nabla V=\nabla \cdot V+\nabla \wedge V$$ While in tensor analysis we have $$\nabla V=\frac{1}{n}I(n)\nabla \cdot V +\nabla \wedge V+\sigma (V)$$ where I(n) is the n-dimensional identity matrix and $\sigma (V)$ is the symmetric traceless part of the matrix associated with volume-preserving shear.
Where do we find the missing shear term in GA?
It helps to write the tensor notion of the derivative in the GA/GC language. The tensor idea of the derivative is more like this:
$$\underline V(a) = (a \cdot \nabla) V$$
where $\underline V$ is a linear operator on the space.
Since a linear operator can be decomposed into a traceless symmetric part, an antisymmetric part, and a traceful part, we can write $\underline V$ as
$$\underline V(a) = \frac{1}{n} T \underline I(a) + \underline A(a) + \underline S(a)$$
where $T$ is the trace, $\underline I$ is the identity, $\underline A$ is antisymmetric, and $\underline S$ is symmetric and tracefree.
In GA/GC, operations like the trace of a linear operator are performed not by summing through bases but with the machinery of geometric calculus and differentiation. The trace is
$$\partial_a \cdot \underline V(a) = T$$
where $\partial_a$ is vector differentiation with respect to $a$ (so that $\nabla = \partial_x$ when $x$ is the position vector).
Just as the trace is a scalar invariant, there is a bivector invariant:
$$\partial_a \wedge \underline V(a) = \partial_a \wedge\underline A(a) \equiv A$$
(This curl produces zero on the identity and the symmetric-tracefree part. In fact, this is one way to define what it means for an operator to be symmetric.)
The geometric calculus vector derivative is then defined as the geometric product of $\partial_a$ with $a \cdot \nabla V$:
$$\nabla V = \partial_a ([a \cdot \nabla] V) = T + A$$
So we identify the trace with the divergence and $A$ with the curl.
But, as you astutely noted, the symmetric tracefree part $\underline S$ appears in neither of these expressions. It is still absolutely there in the definition of $\underline V(a)$, and perhaps you can say geometrically that these terms produce bivectors of equal magnitude but opposite orientation, so they cancel. To tell the truth, the geometric significance of the symmetric tracefree part is still somewhat mysterious to me; I know Alan MacDonald has said similar things (that GA/GC does not handle symmetric tracefree tensors with a useful geometric interpretation as yet).
Nevertheless, the GA/GC viewpoint on linear algebra is a fascinating one. It's still one of my personal holy grails to understand the GA/GC version of the Cayley-Hamilton theorem for trying to find eigenblades of linear operators. I think this is particularly important when maps are not operators, too, for instance with the moment of inertia tensor, which naturally maps bivectors to bivectors and thus is resistant to the usual approach of finding a characteristic polynomial (or it should be).
