4.23.3 Tensor Slot Index Notation

Tensor Slot Index Notation is the practice of labeling each argument slot of a multilinear map or tensor with a distinct symbol, an abstract letter rather than a numerical position, so that operations referring to a specific slot, contraction, symmetrization, raising or lowering, can be written unambiguously without depending on the order in which the slots happen to be listed.

Abstract Versus Numerical Slot Labels

Numerical Position Labels

The most basic slot-labeling scheme simply numbers the slots in order, f(v₁,...,vₙ), with the i-th slot referred to as "slot i"; this is adequate for stating general facts about multilinearity but becomes cumbersome once slots need to be tracked through operations, such as a contraction, that might otherwise be described as acting on "slot 2 and slot 5" without further context.

Abstract Index Labels

Abstract index notation instead assigns a fixed letter to each slot, T_{ab}, T_{abc}, and so on, with the letters a, b, c, ... serving as permanent labels for specific slots rather than as summation variables ranging over numerical values; in this scheme T_{ab} and T_{ba} denote different arrangements of the same underlying tensor's two slots, and the notation T_{ab} = T_{ba} is a genuine statement about symmetry, not merely a renaming.

Distinguishing Abstract Slot Labels From Numerical Component Indices

Two Layers of Indexing

Once a basis is chosen, each abstract slot label a is further associated with a numerical index i ranging over the dimension of the corresponding space, giving the numerical component T_{ij} relative to that basis; the abstract label a names the slot itself, independent of any basis, while the numerical index i names a specific basis vector filling that slot in a specific coordinate computation. Conflating the two, writing i where a is meant, obscures whether a statement is about the tensor's structure or about one specific numerical entry of its component array.

Consistency of Slot Labels Across an Equation

A well-formed equation in abstract index notation uses the same slot label on both sides for each variance type: an equation like T_{ab} = S_{ab} asserts that two tensors agree slot by slot, whereas an equation with mismatched labels, T_{ab} = S_{ba}, asserts instead that one tensor equals the other with its two slots exchanged, a meaningfully different statement that the notation makes visually explicit.

Slot Labels and Contraction

Repeated Labels Signal Contraction

When the same abstract label appears once as an upper (contravariant) slot and once as a lower (covariant) slot within a single expression, such as T^a_{\ a b}, the repeated label signals that those two slots are to be contracted, summed against each other using the natural pairing between a space and its dual; this is the abstract-index counterpart of the Einstein summation convention, but applied to permanently named slots rather than to numerical indices ranging over a basis.

Distinguishing Free Slots From Contracted Slots

In an expression with several labels, those appearing exactly once are "free" slots, remaining as genuine arguments of the resulting tensor, while those appearing twice (once up, once down) are contracted and disappear from the result; correctly identifying which labels are free and which are contracted is essential to determining the type (p,q) of the tensor produced by a given expression in slot index notation.

Slot Labels for Symmetrization and Antisymmetrization

Grouping Labels Under Brackets

Symmetrization over a specified group of slots is denoted by enclosing their labels in parentheses, T_{(ab)}, and antisymmetrization by enclosing them in square brackets, T_{[ab]}, with labels outside the brackets left untouched by the operation; this notation makes clear exactly which slots participate in the symmetrization or antisymmetrization when a tensor has more slots than are being acted upon, such as T_{a(bc)}, symmetrizing only the second and third of three slots while leaving the first fixed.

Slot Labels Persisting Through the Operation

The same abstract labels are retained before and after a symmetrization or antisymmetrization operation, since the operation acts on the values associated with the slots, not on the slots' names; this persistence of labeling is what allows a symmetrized tensor to be compared directly, slot by slot, against the original.

Slot Index Notation and Type (p,q) Classification

Labels Reflecting Variance

Slot labels are conventionally written as superscripts for contravariant (vector-accepting-dual, or output-vector) slots and as subscripts for covariant (vector-accepting) slots, so that a type (p,q) tensor is written with p superscript labels and q subscript labels, T^{a₁...aₚ}_{b₁...b_q}, directly displaying the tensor's type through the placement, not merely the number, of its slot labels.

Raising and Lowering Reflected in Label Position

Using a metric g_{ab} to raise or lower an index moves a label from subscript to superscript position or vice versa, written T^a{}_b = g^{ac}T_{cb}, with the label a migrating position while remaining the same named slot; the notation makes visible that raising or lowering does not create a new slot but reinterprets the variance of an existing one.

Practical Advantages of Slot Index Notation

Order-Independence of Meaning

Because slots are named rather than merely positioned, a tensor's slots can be listed in any order in prose or in intermediate steps of a derivation without changing which slot is which, provided the same abstract labels are used consistently; this avoids the ambiguity that would arise from a purely positional convention if the order of slots were rearranged partway through an argument.

Clarity in Multi-Step Tensor Manipulations

When a derivation involves several intermediate tensors built from contractions, symmetrizations, and raised or lowered indices of an original tensor, abstract slot labels allow each intermediate object's relationship to the original slots to be tracked precisely through every step, a clarity that purely numerical or purely positional indexing schemes do not provide once several such operations are composed.