6.20.1 Tensor Covector Single Covariant Slot

Tensor Covector Single Covariant Slot is the single lower index position that a type (0,1) covector carries, functioning as the sole input channel through which the covector accepts a vector from V and returns a scalar, and simultaneously serving as the label attached to each of the covector's numerical components once a dual basis has been fixed. This single slot is the minimal nontrivial instance of the general notion of a covariant index, mirroring the single contravariant slot of a vector but with the opposite transformation behavior, and examining it in isolation clarifies precisely what a covariant slot does at the most basic level.

The Slot as a Functional Input Channel

Direct Consumption of a Vector

The single covariant slot of a covector φ is realized directly through the pairing:

Unlike the vector's contravariant slot, which requires the double-duality identification (V*)* ≅ V to describe its functional role, the covector's covariant slot acts on vectors directly and immediately, since a covector is, by its very definition, a linear functional on V.

One Slot, One Argument

Because there is only a single covariant slot and no contravariant slot, a covector accepts exactly one vector as its sole argument and returns a scalar; it cannot supply an output vector, since there is no contravariant slot available to hold one, a limitation that distinguishes the covector's single covariant slot from the mixed slot structure of a type (1,1) operator.

The Slot as a Component Label

Range and Count

Once a dual basis {e^i} is fixed, corresponding to a basis {e_i} of V, the single covariant slot ranges over the n values 1 through n, producing exactly n components, φ_1 through φ_n. As with the vector's single slot, this produces only n components rather than n², since there is only one slot present.

No Symmetry Considerations Apply

With only one covariant slot, there is no partner slot of the same variance to compare it against, so questions of symmetry or antisymmetry do not arise for a covector, exactly as they do not arise for a vector's single contravariant slot.

Transformation Behavior of the Single Slot

The Forward Transition Matrix Rule

Under a change of basis with transition matrix A, the single covariant slot transforms according to:

This single application of A is the entire content of the transformation law for a covector, with no additional factors needed since there is exactly one slot to transform. Every more elaborate covariant transformation law for higher-order tensors is built by repeating this same single-slot rule once for each additional covariant slot present.

Diagram of the Single Slot

The Single Slot as the Atomic Unit of Covariance

Building Higher Covariant Counts by Repetition

Every type (0, q) tensor with q greater than one can be understood as built from q copies of the single covariant slot placed side by side, each transforming independently with its own factor of A; the single covariant slot of a plain covector is therefore the atomic unit from which the entire notion of covariant index counting, discussed generally under the covariant count q, is constructed.

Contrast with the Single Contravariant Slot of a Vector

The single covariant slot of a covector transforms with A, while the single contravariant slot of a vector transforms with B; setting these two atomic cases directly side by side is the clearest way to internalize the distinction between covariance and contravariance before encountering tensors with multiple slots of mixed or repeated variance.