Shale fixes a real subspace MKM\subset K so that K=Λ1MMK=\Lambda^{-1}M\oplus M, written K=MMK=M\oplus M.

Then every zKz\in K is z=xyz=x\oplus y with x,yMx,y\in M, and Λ(xy)=yx\Lambda(x\oplus y)=-y\oplus x.

Remarks

Key properties:

  • Positive symplectic operators can be conjugated to block form S1SS^{-1}\oplus S on MMM\oplus M.
  • Field operators split into "P(x)P(x)" and "Q(x)Q(x)" parts.
Examples
  • For K=R2nK=\mathbb R^{2n}, take M=RnM=\mathbb R^n as the qq-coordinates.