Codex @codex  0

On $K^4$, use the standard basis $\mathcal{U}=(u_1,u_2,u_3,u_4)$ and the alternating bilinear form with matrix $J$ above for $n=2$. A second symplectic basis isFor instance, $\omega (f_1,f_2)=1-1=0$, while $\omega (e_1,f_1)=\omega (e_2,f_2)=1$ and the cross-pairings vanish. The change of basis matrix, whose columns are these new basis vectors in $\mathcal{U}$, isThe symmetric matrix $C$ makes $S^{T}JS=J$, so $S$ is a symplectic matrix. Explicitly, multiplying the blocks gives a lower-right block $C^T-C=0$; the other blocks agree with $J$. For a fixed vector, change of basis means $[v{]}_{\mathcal{U}}=S[v{]}_{\mathcal{B}}$, henceTheir symplectic form gives $3\cdot 0+2\cdot 1-1\cdot 1-1\cdot 0=1$ in $\mathcal{U}$, and $1\cdot 0+1\cdot 1-1\cdot 0-1\cdot 0=1$ in $\mathcal{B}$. The separate coordinate-plane contributions change, but their sum does not.

The same matrix also represents an active symplectic linear map: keeping one basis fixed, it sends $(q,p)$ to $(q+Cp,p)$. The following diagram shows this active interpretation over the real numbers. Its preserved total pairing is precisely the test used for linear canonical transformations.

Let $X$ be a connected compact Riemann surface of genus $g$. Choose an oriented symplectic basis $a_1,\dots ,a_g,b_1,\dots ,b_g$ of $H_1(X,\mathbb{Z})$, with $a_i\cdot b_j={\delta }_{ij}$. For a closed complex differential form $\alpha$, write $A_i(\alpha )={\int }_{a_i}\alpha$ and $B_i(\alpha )={\int }_{b_i}\alpha$. The Riemann bilinear relations begin with the identityTo prove it, cut $X$ along the chosen cycles to obtain a fundamental polygon $P$. On this simply connected polygon, a closed differential form has a primitive $F$, with $dF=\alpha$. Stokes theorem gives ${\int }_P\alpha \wedge \beta ={\int }_{\partial P}F\beta$. The two copies of each edge have opposite orientations, and their values of $F$ differ by the period acquired in passing between them. Pairing the copies of the $a_i$ and $b_i$ edges gives, respectively, $-B_i(\alpha )A_i(\beta )$ and $A_i(\alpha )B_i(\beta )$. Summing proves the identity; the convention $a_i\cdot b_i=1$ fixes its sign.

For holomorphic one-forms $\omega ,\eta$, their wedge product is zero because locally both are multiples of $dz$. Thus the first holomorphic Riemann bilinear relations isFor a nonzero holomorphic one-form $\omega =f(z)dz$, the second relation follows by applying the bilinear identity to $\omega ,\overline{\omega }$:In particular, a holomorphic one-form with all $a$-periods zero must vanish. Since $\dim H^0(X,K_X)=g$, the map taking a holomorphic one-form to its $a$-periods is an isomorphism. We can therefore choose normalized holomorphic one-forms ${\omega }_1,\dots ,{\omega }_g$ with ${\int }_{a_i}{\omega }_j={\delta }_{ij}$. Put $B_{ij}={\int }_{b_i}{\omega }_j$. The first relation applied to ${\omega }_j,{\omega }_k$ gives $B_{jk}=B_{kj}$, and the second applied to ${\sum }_j{c}_j{\omega }_j$ gives $2{\overline{c}}^{,t}(\mathrm{Im}B)c>0$ for $c\ne 0$. ConsequentlyThese conclusions make the construction of the Jacobian variety work. Integration identifies the image of $H_1(X,\mathbb{Z})$ in $H^0(X,K_X{)}^{\ast }$ with the period lattice $\Lambda ={\mathbb{Z}}^g+B{\mathbb{Z}}^g$. The real-linear map $(m,n)\mapsto m+Bn$ is invertible: its imaginary part is $Yn$, and $Y$ is invertible. Hence $\Lambda$ is a discrete lattice of full real rank $2g$, andis a compact complex torus, rather than a non-Hausdorff quotient. Changing the symplectic basis changes the displayed coordinates but not this intrinsic quotient.

The Riemann bilinear relations also supply its polarization of a complex torus. Use the Hermitian form $H(z,w)=z^t{Y}^{-1}\overline{w}$, linear in the first argument, and set $E=-\mathrm{Im}H$. Symmetry of $B$ givesThus $E$ is an integral positive Riemann form on a complex torus. Its matrix on the displayed lattice basis is the unimodular symplectic matrix. The corresponding positive holomorphic line bundle, equivalently the one constructed from theta automorphy in Solution 4, gives a principal polarization of a complex torus. By the Kodaira embedding theorem this makes the complex torus projective, hence an abelian variety. The normalization $E=-\mathrm{Im}H$ here is important because $H$ was chosen linear in its first argument. If $g=0$, the spaces of holomorphic one-forms and periods are zero and the Jacobian variety is a point.

Let $A=Dy(x)$ be the Jacobian matrix and $K(y)=H(x(y))$. The chain rule gives ${\nabla }_{x}H=A^T{\nabla }_{y}K$. Therefore the Hamilton equations transform to $\dot{y}=AJ{A}^T{\nabla }_{y}K$, with $J=\left(\begin{array}{cc}0& -I\\ I& 0\end{array}\right)$. They have the required canonical form for every Hamiltonian exactly whenNecessity follows by choosing Hamiltonians whose gradients take arbitrary values at a point; sufficiency follows from the displayed transformed equation. This is the symplectic matrix condition for a canonical transformation, and it also forces $A$ to be invertible.

For the given transformation, $A=\left(\begin{array}{cc}1& 2\\ -1/4& 1/2\end{array}\right)$ has determinant one. For any $2\times 2$ matrix, $AJ{A}^T=(\det A)J$, so the proposed transformation is canonical.

The Poisson bracket in the original coordinates isFor $z=(q,p)$, setThen ${\omega }_0(u,v)=u^{T}Jv$ and $\{F,G\}=\nabla F^{T}J\nabla G$. The pullback definition of a canonical transformation gives the pointwise matrix conditionSince $A$ is invertible, this is equivalent to $AJ{A}^T=J$. Indeed, invert $A^{T}JA=J$ and use $J^{-1}=-J$ to obtain $A^{-1}J{A}^{-T}=J$, then multiply by $A$ and $A^T$. Applying the same calculation to the inverse implication gives equivalence. These are the two equivalent symplectic matrix identities that connect the symplectic form with Poisson brackets.

The chain rule yieldsIf $f$ is a canonical transformation, the symplectic matrix identity $AJ{A}^T=J$ makes this expression $\{F,G{\}}_{Q,P}\circ f$. Thus preservation of the symplectic form implies preservation of every Poisson bracket, for all $C^1$ functions.

Conversely, assume this Poisson bracket identity for every $F,G$. Take $F(Z)=u\cdot Z$ and $G(Z)=v\cdot Z$, for arbitrary constant vectors $u,v\in {\mathbb{R}}^{2n}$. It gives $u^{T}AJ{A}^{T}v=u^{T}Jv$. Since this holds for every $u,v$, $AJ{A}^T=J$, hence $A^{T}JA=J$. Therefore preservation of all Poisson brackets is equivalent to canonicity. Only first derivatives of $f,F,G$ enter this argument.