11.17.2 Tensor Lower Index Variance Signal

Tensor Lower Index Variance Signal describes how signal variation is encoded through tensor index changes, affecting algebraic transformations and mathematical structure.

Tensor Lower Index Variance Signal is the notational marker carried by a subscript position on a tensor symbol that indicates the associated component follows the covariant transformation law, transforming directly with the same matrix that relates old basis vectors to new basis vectors rather than with its inverse.

Foundational Setting

The Subscript as a Behavioral Marker

When a tensor component is written with an index in the lower position, such as $ω_{i}$ , that placement is not a matter of typographic convenience but a declaration: whenever the basis changes, this component must be recomputed using the direct basis-change matrix, not its inverse. This declaration is the lower index variance signal.

Distinguishing from the Upper Index Signal

The lower index signal stands in direct opposition to the upper index signal, which marks contravariant behavior using the inverse matrix. Recognizing which signal is present on an index is what allows an expression to be interpreted correctly without additional explanation of how each symbol behaves.

The Transformation Law Attached to the Signal

Formal Statement

If a new basis ${\tilde{e}}_{i}$ relates to an old basis through matrix $A$ , so that:

{\tilde{e}}_{i} = \sum_{j} A_{i}^{j} e_{j}

then any component carrying the lower index variance signal transforms identically:

{\tilde{ω}}_{i} = \sum_{j} A_{i}^{j} ω_{j}

Why This Coupling to the Basis Makes Sense

A quantity such as a directional derivative measures change per unit of basis vector. If the basis vectors are lengthened, the same physical rate of change corresponds to a larger numerical derivative, so the component must scale in the same direction as the basis, which is exactly what the lower index variance signal encodes.

Where the Signal Naturally Appears

Gradients and Differential Forms

The components of the gradient of a scalar function, and more generally the components of any differential one-form, are the paradigmatic bearers of the lower index variance signal, since the chain rule directly produces the covariant transformation pattern for these objects.

\frac{\partial f}{\partial {\tilde{x}}^{i}} = \sum_{j} \frac{\partial x^{j}}{\partial {\tilde{x}}^{i}} \frac{\partial f}{\partial x^{j}}

Basis Vectors Themselves

The basis vectors of the underlying vector space carry the lower index variance signal in a structural sense, since they are, by definition, what defines the direct transformation matrix that all other lower-indexed quantities follow.

Interaction with the Upper Index Signal

Cancellation Under Contraction

When a component bearing the lower index signal is contracted, through the summation convention, against a component bearing the upper index signal, the opposing transformation matrices cancel, producing an invariant scalar:

\sum_{i} {\tilde{ω}}_{i} {\tilde{v}}^{i} = \sum_{i} ω_{i} v^{i}

Rank and Multiplicity of the Signal

Multiple Lower Indices

A tensor may carry several lower indices simultaneously, each independently bearing the variance signal and contributing one factor of the basis-change matrix per index:

{\tilde{T}}_{i j} = \sum_{k, l} A_{i}^{k} A_{j}^{l} T_{k l}

Coexistence with Upper Indices

In a mixed tensor, lower index positions carry this signal independently of any upper index positions present in the same object, so a single tensor symbol can display both variance signals simultaneously without conflict.

Summary of Key Traits

Defining Characteristics

A lower index position marks covariant transformation behavior.
Components bearing this signal transform using the direct basis-change matrix, matching how the basis vectors themselves transform.
Gradients and differential forms are canonical examples of quantities bearing this signal.
Contracting a lower-indexed component against a matching upper-indexed component cancels the transformation factors and yields an invariant.