Manuscript Oai365-A@1 · Oai365-A.tex · lemma · a3840e3d
Lemma: Infinite rank of the boundary energy
General boundary extraction: a conditional theorem and obstructions › Why a fixed finite amplitude interface is insufficient · lines 984–1001 · proof included or linked
Oai365-A@1#lem:infinite-rank
The form has infinite rank. Its zero-energy subspace has complex dimension at most two.
Proof. If , then . A parallel section on a connected manifold is determined by its value in one fibre, since it is transported along every path by a linear ordinary differential equation. The space of parallel sections has dimension at most two. Its boundary traces therefore have dimension at most two.
The patch-supported trace space is infinite-dimensional. A nonnegative form on it whose kernel has dimension at most two cannot have finite rank.