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

Back to manuscript

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.

Nearby in this section