2.18.4 Tensor Complex Tensor Component Context

Tensor Complex Tensor Component Context is the framework describing how the numerical components of a tensor are indexed, labeled, and manipulated when the underlying vector space is a complex vector space rather than a real one. It specifies the conventions needed for component notation to remain meaningful once complex conjugation becomes available as an operation: whether an index refers to a holomorphic (unconjugated) slot or an antiholomorphic (conjugated) slot, how a chosen basis of the complex space and its conjugate basis interact, and how the ordinary transformation law for tensor components under change of basis must be supplemented by a separate transformation law for any conjugated indices. This context is what allows component expressions such as T^{i}_{\bar{j}} to carry unambiguous meaning, distinguishing them from the purely real-valued component arrays used in ordinary tensor algebra.

Why Complex Components Require Additional Context

The Limitation of Ordinary Component Notation

In a real vector space, a tensor's components are indexed by upper and lower indices that record contravariant and covariant behavior, and a single transformation rule, built from a change-of-basis matrix and its inverse, governs every index uniformly. Over the complex numbers, this notation alone becomes insufficient once complex conjugation is introduced, because two vectors related by conjugation, v and \bar{v}, generally do not transform identically under a complex-linear change of basis; conjugation interacts with the basis change matrix by conjugating its entries as well.

The Role of the Conjugate Space

To keep track of this, tensor component context over C introduces the conjugate vector space \bar{V}, whose elements are the same underlying set as V but whose scalar multiplication is composed with complex conjugation. A general complex tensor component is then indexed not merely by how many times V and V* appear, but by how many times \bar{V} and \bar{V}^* appear as well, giving a four-part type (p, q, r, s) recording unconjugated contravariant indices, unconjugated covariant indices, conjugated contravariant indices, and conjugated covariant indices respectively.

Index Notation Conventions

Barred and Unbarred Indices

Within this context, an unbarred index such as i in T^i denotes a component associated with V or V* directly, while a barred index such as \bar{j} in T_{\bar{j}} denotes a component associated with the conjugate space \bar{V} or \bar{V}^*. A component T^{i}_{\bar{j}} therefore names a specific entry of a tensor of mixed conjugation type, distinct in kind from a component T^{i}_{j} with no conjugated index at all.

Transformation of Barred Versus Unbarred Indices

Under a complex-linear change of basis represented by a matrix A, unbarred upper indices transform using A, and unbarred lower indices transform using A^{-1}, exactly as in the real case. Barred indices transform using the complex conjugates of these matrices instead:

where the bar over A_k denotes entrywise complex conjugation of the transformation matrix, so that barred and unbarred versions of the same abstract index position obey conjugate, rather than identical, transformation rules.

Relation to Real and Imaginary Parts

Splitting a Complex Tensor Component

Every complex tensor component can be written as T = \mathrm{Re}(T) + i \, \mathrm{Im}(T), expressing the component as a pair of real numbers. Tensor complex component context makes clear that this real-imaginary splitting is a coordinate-level decomposition only, and is not itself basis-independent unless the underlying complex structure on the vector space is fixed and respected consistently across every component.

Hermitian and Real Tensors as Special Component Patterns

A tensor with equal counts of barred and unbarred indices in corresponding positions can satisfy a Hermitian symmetry condition, T^{i}_{\bar{j}} = \overline{T^{j}_{\bar{i}}}, which forces certain diagonal-type components to be real. This pattern is the component-level origin of Hermitian forms and Hermitian metrics, which are built entirely from tensors expressible in this barred-unbarred component context.

Component Context in Practice

Metric-Type Components on a Complex Vector Space

A Hermitian inner product on a complex vector space V is recorded, in this component context, as a tensor with one unconjugated covariant index and one conjugated covariant index, h_{i \bar{j}}, distinguishing it immediately from a complex-bilinear (non-Hermitian) form, which would instead be written b_{ij} with two unconjugated covariant indices.

Contraction Rules Respecting Conjugation

Contraction, the operation of summing a contravariant index against a covariant index, is only meaningful within this context when the two indices being contracted share the same conjugation status: an unbarred upper index contracts against an unbarred lower index, and a barred upper index contracts against a barred lower index, never mixed.

Diagrammatic Summary

The diagram distinguishes an unbarred index, tied to the vector space V and transforming with the basis-change matrix, from a barred index, tied to the conjugate space \bar{V} and transforming with the conjugated matrix, both feeding into a single complex-valued tensor component.