13.13.1 Tensor Contraction Pair Covariant Slot

Tensor Contraction Pair Covariant Slot is the specific lower-index position designated, during the process of selecting a contraction pair, as the covariant half of that pair, identifying exactly which subscript-bearing slot on a tensor is to be summed against a corresponding contravariant slot. It denotes the act and outcome of choosing this one particular covariant position out of possibly several available, as a distinct step within the broader process of pair selection that precedes the contraction itself.

Conceptual Basis

One Half of a Two-Sided Selection

Selecting a contraction pair requires identifying both a contravariant slot and a covariant slot to be joined together. The covariant slot is one of these two designated positions, specifically the one carrying lower-index variance, and its selection must be made explicitly whenever more than one covariant index is available on the tensor or tensors involved.

Necessity of Selection Among Multiple Candidates

A tensor with several covariant indices offers multiple candidate positions from which the covariant slot of a contraction pair might be drawn, and identifying the covariant slot means specifying precisely which of these candidates has been chosen for this particular contraction, as opposed to leaving the choice ambiguous.

Role Prior to Summation

Designating the covariant slot is a step that occurs before the actual summation implied by the contraction is carried out: it fixes which position will participate, while the summation itself, governed by the covariant contravariant summation rule, is the subsequent operation performed once both slots of the pair have been identified.

Formal Description

Identifying the Covariant Slot Among Several Candidates

For a tensor $$T_{kl}^i$$ possessing two covariant indices $$k$$ and $$l$$, selecting $$k$$ as the covariant slot for contraction against the contravariant index $$i$$ gives:

while designating $$l$$ instead as the covariant slot would produce a distinct result contracting over the other position.

Requirement of Dimensional Compatibility

Whichever covariant slot is designated, it must range over a dimension matching that of the contravariant slot with which it is to be paired, since this compatibility is required before the summation defining the contraction can proceed.

Notation for Explicit Designation

When ambiguity is possible, the designated covariant slot may be marked explicitly, for instance by underlining or otherwise flagging the chosen index among several candidates of the same variance, to communicate unambiguously which position has been selected as the covariant slot of the intended contraction pair.

Properties

Independence From the Contravariant Slot Choice

The designation of the covariant slot is made independently of, though jointly with, the designation of the contravariant slot, meaning a tensor with multiple covariant and multiple contravariant indices allows the covariant slot to be fixed first and then paired with any dimensionally compatible contravariant slot, or vice versa.

Distinctness of Results Across Different Choices

Selecting a different covariant slot from among the available candidates on the same tensor generally yields a different resulting tensor once contraction is carried out, since each covariant slot carries potentially distinct directional information relative to the others.

Compatibility With Symmetric Indices

When a tensor possesses symmetry among its covariant indices, designating one covariant slot rather than another as part of the contraction pair may nonetheless produce equivalent results, reflecting the underlying symmetry rather than an accidental coincidence between otherwise distinct choices.

Practical Considerations

Necessity in Higher-Rank Tensors

For tensors with only one covariant index, no explicit selection is needed since only one candidate exists, but for any tensor with two or more covariant indices, explicitly identifying the covariant slot becomes a necessary part of describing the intended contraction unambiguously.

Use in Symbolic and Computational Systems

In symbolic tensor manipulation or computational tensor libraries, the covariant slot designated for a contraction must be tracked explicitly as part of the internal representation of the operation, ensuring that the correct index position is summed when the contraction is executed.

Relationship to the Full Pair Selection Process

Designating the covariant slot constitutes one half of the complete pair selection process, with the corresponding designation of a contravariant slot forming the other half; only once both halves have been specified is the contraction pair fully determined and ready for summation.