The Schrödinger character is supported on the center:
A nonzero translation has no fixed coordinate. A nontrivial multiplier has vanishing character sum.
For a maximal isotropic subspace \(L\) and a subgroup lift \(\widetilde L\) with trivial central coordinate, the average
is a self-adjoint idempotent. Its trace is \(|X|/|L|=1\), because only the identity contributes. Its range is therefore one dimensional.
For \(L=X\) this range consists of constant functions:
Reading the diagram
The complementary-line projector later used in arithmetic attachment is an exact operator in the Heisenberg image algebra. Its existence is finite representation theory.