5.17.5 Tensor Product Field Dependent Structure

Tensor Product Field Dependent Structure is the collection of extra algebraic and geometric features that a tensor product V ⊗_F W may or may not carry, depending specifically on properties of the underlying field F, such as whether F supports an ordering, a conjugation automorphism, a norm, or particular subfields. Unlike the dimension formula and the universal property, which hold uniformly across every field, these field-dependent structures appear, disappear, or take different forms as the field context changes, making them a useful lens for understanding exactly which parts of tensor product theory are field-independent and which parts are contingent on the specific choice of F.

Structures Present Only for Ordered Fields

Positivity and Signature

When F is an ordered field, such as ℝ or ℚ, and V, W carry compatible bilinear or quadratic forms, the induced form on V ⊗_F W can be assigned a signature, a count of positive and negative directions, which has no meaning over a field lacking a compatible order, such as ℂ or a finite field.

Real Tensor Products and Inner Product Compatibility

As detailed in the treatment of the real field context, an inner product on V and W extends naturally to V ⊗_ℝ W, a field-dependent feature relying specifically on the existence of a positive-definite form compatible with the real ordering.

Structures Present Only for Fields with a Distinguished Automorphism

Conjugate-Linear Pairings

When F admits a nontrivial field automorphism, such as complex conjugation on ℂ, an additional pairing structure, the sesquilinear form, becomes available alongside the ordinary bilinear tensor product, as discussed for the complex field context; fields without such an automorphism, like ℝ or ℚ, admit no analogous structure.

Galois-Compatible Tensor Decompositions

Over a field F with a Galois group G acting on an extension F', tensor products V ⊗_F F' can be decomposed according to the action of G, a structure entirely dependent on the existence of this automorphism group and absent when F has no nontrivial extensions relevant to the construction.

Structures Dependent on the Field's Characteristic

Characteristic Zero versus Positive Characteristic

Over a field of characteristic zero, such as ℚ, ℝ, or ℂ, certain symmetrization and antisymmetrization operations on V ⊗ V, used to construct the symmetric and exterior powers, rely on dividing by factorials such as 2 or n!; over a field of positive characteristic p, these operations can fail or behave differently whenever the relevant factorial is divisible by p.

Finite Field Cardinality Effects

Over a finite field 𝔽_q, the tensor product V ⊗_{𝔽_q} W has exactly q^(dim V · dim W) elements, a field-dependent numerical feature with no counterpart over an infinite field, where the tensor product always has infinitely many elements whenever its dimension is positive.

Diagram of Field-Dependent Structure Availability

Why Isolating Field-Dependent Structure Matters

Avoiding Overgeneralization from a Single Field

Because most introductory treatments of tensor products default to real or complex vector spaces, it is easy to mistakenly attribute structures such as inner-product compatibility or conjugate-linear pairings to the tensor product construction itself, when in fact these structures are contingent additions specific to the properties of ℝ or ℂ and do not hold for the tensor product over an arbitrary field.

A Checklist for Transferring Results to New Field Contexts

Explicitly cataloguing field-dependent structures provides a checklist for determining which familiar results survive when working over an unfamiliar field, such as a finite field or a field of positive characteristic: any result relying only on the universal property and the additivity/homogeneity relations transfers automatically, while any result relying on order, conjugation, or characteristic-zero factorial divisions must be re-examined.

Broader Significance

Connection to Base Change and Extension of Scalars

Understanding which structures are field-dependent directly informs what happens under extension of scalars: features tied to the field, such as an ordering or a conjugation automorphism, generally do not transfer automatically when the base field is enlarged or changed, whereas the field-independent core structure, dimension and the universal property, transfers without modification.

Guiding Principle for Working Across Multiple Fields Simultaneously

In areas such as arithmetic geometry, where the same vector space or module is studied simultaneously over several different fields (for instance a number field and its various completions), explicit awareness of field-dependent structure is essential to correctly track which properties of a tensor product persist across all these contexts and which are artifacts of one particular field choice.