11.1.1 Tensor Covariant Behavior Scope

Tensor Covariant Behavior Scope describes how tensors transform under coordinate changes, maintaining their geometric meaning across different frames.

Tensor Covariant Behavior Scope is the precise delineation of which objects and index slots are governed by the covariant transformation rule, marking the boundary between quantities that genuinely scale in the same direction as the basis under a change of basis and quantities that resemble covariant objects without satisfying the rule exactly.

Objects Governed by Covariant Behavior

Lower-Indexed Tensor Slots

Any index slot written as a subscript on a genuine tensor is, by definition, subject to covariant transformation, meaning it is contracted with the inverse Jacobian factor when the coordinate system changes.

W_{i^{'}} = \frac{\partial x^{i}}{\partial x^{i^{'}}} W_{i}

Gradients of Scalar Fields

The partial derivatives of a scalar function with respect to the coordinates form the prototypical covariant object, since applying the chain rule to differentiate the scalar with respect to a new coordinate directly produces the inverse Jacobian factor multiplying the old covariant components.

\frac{\partial φ}{\partial x^{i^{'}}} = \frac{\partial x^{i}}{\partial x^{i^{'}}} \frac{\partial φ}{\partial x^{i}}

Coordinate Basis Vectors

The natural basis vectors of a coordinate system, built from partial derivatives of position with respect to the coordinates, transform covariantly, since they change in exactly the way needed to compensate for how the contravariant coefficients used alongside them must change, keeping the represented geometric object fixed.

Boundary of the Scope

Coordinate Differentials Are Excluded

Although coordinate differentials carry a subscript in some derived expressions, such as when they appear inside a line element, an ordinary coordinate differential itself transforms contravariantly, not covariantly, since it is built directly from a change in coordinate value rather than from a measurement against the basis. This distinction must not be blurred merely because of superficial notation choices in a particular formula.

Christoffel Symbols Are Excluded

Christoffel symbols carry subscript indices among their several indices, yet the object as a whole does not transform by the pure covariant tensor rule, acquiring an extra inhomogeneous term involving second derivatives of the coordinate transformation. This extra term places connection coefficients outside the strict scope of covariant tensor behavior despite their partial resemblance in index placement.

Covariant Tensor Densities Without Weight Accounted For

A covariant tensor density transforms like a covariant tensor only once the correct power of the Jacobian determinant is included as an additional multiplier. Without this weight factor, the bare component array does not satisfy the pure covariant rule, and only the fully weighted expression belongs to the broader density framework rather than the plain covariant scope.

Behavior Under Composition

Covariant Indices Combine Multiplicatively

When a tensor has several covariant indices, each index slot contributes its own inverse Jacobian factor, and these factors multiply together, one per covariant slot, before being contracted with the original components, extending the single-covector rule consistently to higher rank.

T_{i^{'} j^{'}} = \frac{\partial x^{i}}{\partial x^{i^{'}}} \frac{\partial x^{j}}{\partial x^{j^{'}}} T_{i j}

Cancellation Only Against Contravariant Partners

A covariant index, once contracted with a contravariant index of matching name in a summation, produces a scalar outside the scope of variance behavior entirely, since the inverse and direct Jacobian factors cancel exactly. A covariant index can never cancel against another covariant index in this way, which is a defining structural limit of the covariant scope.

Practical Identification

Testing an Object for True Covariant Behavior

To confirm a given quantity genuinely lies within covariant behavior scope, one substitutes it into the inverse transformation formula and checks whether the transformed expression matches the original definition exactly, with no leftover additive term; the presence of any such extra term places the quantity outside the strict covariant scope regardless of how its indices happen to be written.