2.2.3 Tensor Complex Scalar Field Context

Tensor Complex Scalar Field Context is the specific set of properties and consequences that follow once the field F underlying a tensor construction is fixed to be the complex numbers ℂ, algebraic closure guaranteeing every polynomial equation has a full set of roots, the absence of any compatible ordering, and the replacement of ordinary bilinear pairings by sesquilinear ones involving complex conjugation, distinguishing what becomes available, and what is lost, once this particular field is chosen rather than the reals.

Algebraic Closure and Its Consequences

Every Polynomial Equation Has a Full Set of Roots

Because ℂ is algebraically closed, any polynomial equation arising from tensor algebra, most notably the characteristic equation used to find eigenvalues of a linear map represented as a type (1, 1) tensor, is guaranteed to have exactly as many roots, counted with multiplicity, as its degree, with no exceptions.

Guaranteed Diagonalizability Under Weaker Conditions

Because eigenvalues always exist over ℂ, a broader class of linear maps admit a full set of eigenvectors and can be diagonalized than would be guaranteed over the reals alone, where a lack of real roots can prevent diagonalization even when the underlying map is otherwise well behaved.

The Absence of a Compatible Ordering

No Meaningful Notion of Sign for a Complex Scalar

Unlike the reals, the complex numbers admit no ordering compatible with their field operations, so a fully contracted scalar tensor over ℂ cannot be classified as positive or negative in any field-consistent sense, removing sign-based interpretations that are standard over the reals.

Magnitude Replaces Sign as the Comparable Quantity

In place of sign, the modulus, or absolute value, of a complex scalar becomes the natural comparable quantity, a non-negative real number derived from the complex value, used wherever a real-field notion of "size" would otherwise have been expressed through sign or ordinary magnitude.

Sesquilinear Pairings and Complex Conjugation

Why Ordinary Bilinearity Is Replaced

An ordinary bilinear pairing, linear in both arguments, does not produce a satisfactory notion of squared length over ℂ, since a linear pairing of a complex vector with itself can be a general complex number rather than a non-negative real one; the standard remedy is to make the pairing conjugate-linear in one argument, producing a sesquilinear form instead.

Hermitian Symmetry Replaces Ordinary Symmetry

Correspondingly, the natural symmetry condition for a rank-2 tensor serving as a complex analogue of a metric or inner product is Hermitian symmetry, invariance under simultaneous index exchange and complex conjugation, rather than the plain index-exchange symmetry used over the reals.

Real, Non-Negative Squared Norms Recovered Through Sesquilinearity

With a Hermitian, positive-definite sesquilinear form in place of an ordinary bilinear one, the squared norm of a vector, obtained by pairing it with itself, is guaranteed to come out real and non-negative despite the underlying field being complex, restoring a well-defined notion of length even without a compatible ordering on the field itself.

Common Settings That Require the Complex Field Context

Quantum-Mechanical State Spaces

State vectors in quantum mechanics are elements of a complex vector space, and the inner product used to compute transition probabilities is precisely the Hermitian, sesquilinear pairing described here, making the complex scalar field context a direct prerequisite for tensor algebra applied in this setting.

Frequency-Domain and Signal Representations

Representations involving complex exponentials, common in Fourier and frequency-domain analysis, naturally produce complex-valued vectors and tensors, with magnitude and phase, rather than sign, serving as the physically meaningful decomposition of a computed complex scalar.

Why the Complex Context Deserves Separate Treatment

Preventing Real-Field Habits From Being Applied Incorrectly

Because most introductory tensor algebra defaults implicitly to the real numbers, isolating the complex context explicitly guards against carrying over real-field habits, plain symmetry, sign-based comparison, ordinary bilinear pairings, into a setting where they are no longer the correct notions to apply.

A Direct Contrast With the Real Scalar Field Context

Understanding the complex context in direct contrast with the corresponding real-field context, ordering versus algebraic closure, plain symmetry versus Hermitian symmetry, sign versus modulus, clarifies precisely which properties of tensor algebra are genuinely field-independent and which depend on the specific choice of scalar field made at the outset.