Paper XI visual guide · Visual 12 of 47 · PART II / FINITE WILD COMPARISON

Translations and multipliers create Heisenberg packets

Resources & source

Original source locator: Original Section 7

This lesson in the original PDF

Skip contents and start reading

Translations and multipliers generate a Heisenberg packet
Original figure from the retained vector PDF.

Reading the figure

Translation and multiplication operators feed a common representation space. Their noncommutation is the central scalar relation; together they generate the full matrix algebra in the supplied finite model.

Mathematical labels

\(X\) translations

\(T_x f(u)=f(u+x)\)

\(X^*\) multipliers

\(M_\xi f(u)=\psi(\xi(u))f(u)\)

\(\mathcal{H}=\mathbf{C}^X\)

\(T_xM_\xi=\psi(\xi(x))M_\xi T_x\)

Selectable labels from the original PDF

Native PDF text retains the figure’s extraction order. Equations and data tables above provide the reading order.

X translations
Txf(u) = f(u + x)
X
* multipliers
Mξf(u) = ψ(ξ(u))f(u)
 = C
X
TxMξ = ψ(ξ(x))MξTx
Noncommuting operators generate the full matrix algebra.

Original vector figure PDF · Full-size image

Original figure caption

The commutator is central and nontrivial when the pairing is nonzero.

For odd \(p\) let \(V=X\oplus X^*\) and

\[ b((x,\xi),(y,\eta))=\eta(x)-\xi(y). \]

The group \(H(V)=V\times{\mathbb F}_p\) has product

\[ (v,z)(w,t)=(v+w,z+t+\tfrac12b(v,w)). \]

On \(\mathcal H={\mathbb C}^X\) the Schrödinger operator is

\[ (\rho(x,\xi,z)f)(u) =\psi(z+\xi(u)+\tfrac12\xi(x))f(u+x). \]

Translations and character multipliers generate every matrix unit by finite Fourier inversion. Thus the representation is irreducible and has dimension \(|X|=\sqrt{|V|}\).

Source and conversion record

This edition preserves all 47 lessons, the opening orientation and both route sections. Figures are rendered from retained vector PDFs. Descriptions and recorded-data tables are reading aids. No mathematical generator, TeX build, proof audit or Lean replay was run for this conversion.

Source hashes and conversion checks