Dual Pairs as Clock System Splits

The Page–Wootters construction and the three equivalent pictures built on it all require a bipartition of a kinematical space into a clock and a system, with commuting Hamiltonians and no interaction term. In the literature that bipartition is input, and its non-interaction clause is acknowledged as an idealisation. We observe that a reductive dual pair supplies it as output: two subgroups of a symplectic group that are each other’s full centraliser act on the oscillator representation with a multiplicity-free joint decomposition, so the two factors commute by theorem rather than by assumption, the tensor structure is canonical rather than chosen, and the sector label is one both factors must agree on. Of six requirements of the relational construction, four are met exactly, one is reduced to a condition on the pairing bijection, and one — the covariant POVM that makes a clock — is not supplied at all. Three consequences. The statement that the clock–system tensor product does not survive to the physical Hilbert space becomes: the constraint selects the diagonal of the joint decomposition. Whether commuting subalgebras form an exact dual pair is finite and checkable, and in a related arena it was checked and answered negatively — a gauge algebra of dimension 12 with a double centraliser of dimension 82 — so exactness must be measured, not assumed. And the oscillator representation is a representation of the double cover, whose covering sign no observable of the pair can see. Finally, an obstruction of the form “one universal clock cannot supply a per-mode cost” is shown to move from universal to uniform without declaring it; a clock universal as an operator but non-uniform in its weights is a third option the standard enumeration does not contain. We name it and do not claim it works. Every object here is an algebraic object on a symplectic arena.