Self-adjoint operators on inner product spaces over fields of power series
AbstractTheorems on orthogonal decompositions are a cornerstone in the classical theory of real (or complex) matrices and operators on ℝn. In the paper we consider finite dimensional inner product spaces (E, ϕ) over a field K = F((χ 1, ..., x m)) of generalized power series in m variables and with coefficients in a real closed field F. It turns out that for most of these spaces (E, ϕ) every self-adjoint operator gives rise to an orthogonal decomposition of E into invariant subspaces, but there are some salient exceptions. Our main theorem states that every self-adjoint operator T: (E, ϕ) → (E, ϕ) is decomposable except when dim E is a power of 2 with exponent at most m, and ϕ is a tensor product of pairwise inequivalent binary forms. In the exceptional cases we provide an explicit description of indecomposable operators.