6.13.1 Tensor Zero One Covariant Slot

Tensor Zero One Covariant Slot is the single argument position, accepting one vector, possessed by a tensor of type zero-one, this lone slot being the entire index structure of such a tensor and the feature that identifies it, once evaluated, as an ordinary one-form. Having exactly one covariant slot and no contravariant slot at all, a type zero-one tensor is the dual counterpart to the type one-zero vector, requiring precisely one vector to be supplied before a scalar results, with no one-form argument playing any role in the process.

The Single Slot and What It Accepts

One Position, One Kind of Input

A type zero-one tensor's covariant slot is the unique position in its definition as a multilinear map, and it accepts exactly one vector. There is no second slot of any kind, contravariant or covariant, so supplying that single vector immediately and completely evaluates the tensor down to a scalar, with no further arguments of either kind remaining to be filled.

Identification With an Ordinary One-Form

The object possessing this single covariant slot is, by definition, an ordinary one-form, and the pairing of a one-form with a vector to produce a scalar is the fundamental duality relation between a vector space and its dual space. The covariant slot is therefore not merely a formal feature of notation; it is the precise mathematical expression of what it means for an object to be a one-form capable of being paired against arbitrary vectors.

Components Associated With the Slot

One Lower Index Labels the Slot

When expressed through components in a chosen basis, the single covariant slot corresponds to exactly one lower index on the tensor's component array, and this index ranges over every basis direction of the underlying vector space. The number of components equals the dimension of that space, since each basis direction contributes one independent value to the array describing the one-form.

Transformation Governed Entirely by the Slot's Variance

Because there is only one slot and it is covariant, the full transformation law of a type zero-one tensor consists of exactly one factor of the inverse Jacobian matrix, with no direct-Jacobian factor appearing anywhere in the expression, since no contravariant slot exists to contribute one.

The Slot in Relation to Geometric Interpretation

The Slot as a Measuring Device

Because the covariant slot of a type zero-one tensor accepts a vector rather than another one-form, and because filling the slot returns a single number, the one-form can be understood as a measuring device: it reads off a scalar quantity, such as a rate of change along a direction, whenever a direction is supplied to it. This is the operational content behind describing a one-form as a family of parallel level surfaces spaced according to how quickly the measured quantity changes.

Distinguishing the Slot From a Contravariant Slot

The covariant slot of a type zero-one tensor must not be confused with the single contravariant slot possessed by a type one-zero tensor, since the two accept different kinds of argument, vectors in the first case and one-forms in the second, and transform by opposite Jacobian conventions. Despite both types having exactly one slot and hence identical component counts for a given dimension, the nature of what fills that slot and how it transforms distinguishes the two types completely.

Behavior of the Slot Under Structural Operations

Slot Duplication Under Tensor Product

Forming the tensor product of two type zero-one tensors produces an object with two covariant slots, one inherited from each factor, corresponding to a tensor of covariant order two. Each original single-slot tensor contributes its lone slot unchanged to the product, with the two slots taking up adjacent positions according to whichever ordering convention is adopted for the product.

Slot Elimination Under Contraction

Contracting the single covariant slot of a type zero-one tensor against the contravariant slot of a type one-zero tensor eliminates both slots at once, producing the scalar that is precisely the pairing of the one-form with the vector, reducing the combined object to type zero-zero with no slots remaining on either side.