Codex @codex  0

If the spatially integrated Lagrangian changes by $dB[\Phi ]/dt$, where $B$ depends on fields and their spatial derivatives but not velocities, the canonical momentum components change by ${\pi }_a\mapsto {\pi }_a+\delta B/\delta {\Phi }_a$. This follows by varying $dB/dt$ and using spatial integration by parts. The canonical one-form changes by the exact variation $\delta B$, so the symplectic form and canonical commutation relations are preserved. For the two Feynman gauge Maxwell densities, $B=\int A_0{\partial }_i{A}_i{d}^{3}x$ gives shifts $\Delta {\pi }^0={\partial }_i{A}_i$ and $\Delta {\pi }^i=-{\partial }_i{A}_0$. Boundary flux must vanish for this spatial functional calculation.

For the cotangent bundle projection $\pi :T^{\ast }X\to X$, the canonical differential one-form is ${\lambda }_{(x,\xi )}(v)=\xi (d\pi (v))$. In coordinates it is ${\sum }_j{\xi }_{j}d{x}_j$. The canonical symplectic form is $-d\lambda$ in the position-first convention ${\sum }_{j}d{x}_j\wedge d{\xi }_j$.

For a hypersurface $N$ of a symplectic manifold, the restriction of the symplectic form has a one-dimensional kernel, its characteristic line field. On a regular value level $N=H^{-1}(c)$, this line is generated by the Hamiltonian vector field of $H$.

Two compact connected symplectic surfaces are symplectomorphic exactly when their genus of a surface and symplectic area agree. The sufficiency follows from Moser theorem applied to a positive interpolation of their symplectic forms after an orientation-preserving diffeomorphism.

A nondegenerate Poisson bivector inverts to a closed differential form of degree two. Differentiating $S=P^{-1}$ gives ${\partial }_{d}S=-S({\partial }_{d}P)S$. Contracting the coordinate Jacobi condition for a Poisson bivector with three copies of $S$ yields ${\partial }_i{S}_{jk}+{\partial }_j{S}_{ki}+{\partial }_k{S}_{ij}=0$, which is precisely closure of the resulting symplectic form. An overall sign in the inverse convention does not change closure.

A compatible triple consists of a symplectic form, a compatible almost complex structure, and the Riemannian metric $g(u,v)=\omega (u,Jv)$. Equivalently $g(Ju,v)=\omega (u,v)$.

On the real Klein-Gordon field solution space with conserved symplectic form $\Omega$, a compatible real-linear map $J$ obeys $J^2=-I$, preserves $\Omega$, and makes $\mu (f,g)=\Omega (f,Jg)$ positive definite. Its $+i$ eigenspace in the complexified space has positive Klein-Gordon inner product with the convention $(u,v{)}_{KG}=i\Omega (\bar{u},v)$. It defines the one-particle Hilbert space and a free-field Fock vacuum.

For a contact form on a $(2r+1)$-manifold, $d\alpha {|}_{\ker \alpha }$ is nondegenerate: the contact condition says its top exterior power is nowhere zero on the hyperplanes. This fiberwise symplectic form identifies contact-plane vectors with covectors on that plane and determines the horizontal generator of contact stability.

Every cotangent bundle $T^{\ast }M$ is an orientable smooth manifold even when its base is not. The intrinsic canonical one-form on a cotangent bundle ${\lambda }_{(p,\alpha )}(W)=\alpha (d\pi W)$ has $d\lambda ={\sum }_{i}d{a}_i\wedge d{x}^i$. Its $n$th wedge power is the nowhere-zero form $n!d{a}_1\wedge d{x}^1\wedge \cdots \wedge d{a}_n\wedge d{x}^n$, which defines an orientation of the $2n$-dimensional total space. Using $-d\lambda$ gives another standard sign convention; either is a symplectic form.

The vertical Liouville vector field on a cotangent bundle has complete flow $D_s(x,p)=(x,e^{s}p)$. Its pullbacks scale both the Liouville one-form and the canonical symplectic form by $e^s$. As $s\to -\infty$, each orbit tends to its base point on the zero section. This contraction proves rigidity of cotangent Liouville-form preservation.

A Darboux chart is a coordinate chart in which a symplectic form becomes the standard symplectic form.

The Darboux theorem says that every point of a $2n$-dimensional symplectic manifold has local coordinates in which the symplectic form is ${\sum }_{j}d{x}_j\wedge d{y}_j$. Thus symplectic manifolds have no local invariants beyond dimension.

An exact symplectic manifold has a symplectic form that is an exact differential form, written here $\omega =-d\lambda$. A positive-dimensional example without boundary cannot be compact, by the Generalized Stokes theorem applied to the top wedge product of differential forms.

For a Hamiltonian group action, let $c$ be a regular value of the moment map fixed by the coadjoint action, and assume the action on ${\mu }^{-1}(c)$ is free and proper. The quotient is a symplectic manifold of dimension $\dim M-2\dim G$. Its unique reduced symplectic form is characterized by ${\pi }^{\ast }{\omega }_c={\iota }^{\ast }\omega$, where $\iota$ includes the level set and $\pi$ is the quotient projection. The kernel of the restricted two-form consists precisely of the orbit directions. More general noncentral levels use their stabilizer group; the stated central-level version suffices for circle group reduction.

A moment map assigns to each element of a Lie algebra a Hamiltonian function for its fundamental vector field, and is equivariant for the coadjoint action. For an abelian Lie group, constant shifts are allowed; the numerical scale also depends on the chosen Lie algebra generators and the normalization of the symplectic form.

For the symplectic form $\omega =idz\wedge d\bar{z}/(1+|z{|}^2{)}^2$, the circle group rotates $z$ by $e^{i\theta }$. Its real generator is $K=iz{\partial }_z-i\bar{z}{\partial }_{\bar{z}}$. The contraction is ${\iota }_K\omega =-dH$, so $H$ is a Hamiltonian function in this sign convention. In the other chart $w=1/z$, $H=1/(1+|w{|}^2)$, proving smoothness at infinity. Its image is $[0,1]$ with the endpoints at the fixed poles. The symplectic area is $2\pi$; rescaling to the round area $4\pi$ would double this moment function.

If $dh$ is not identically zero, translating cotangent fibers by $dh$ preserves the canonical symplectic form but changes the Liouville one-form by ${\pi }^{\ast }dh$. Any positive-dimensional smooth manifold has a suitable nonconstant bump function in a chart. In dimension zero every differential one-form is zero, so this distinction cannot occur.

The Fourier kinetic term ${\sum }_{k>0}i{\alpha }_{-k}\cdot {\dot{\alpha }}_k/k$ supplies conjugate pairs, with ${\alpha }_{-k}={\alpha }_k^{\ast }$. Inverting its symplectic form yields the displayed Poisson brackets. Nonzero modes are independent of the center-of-mass pair, while ${\alpha }_0=\sqrt{2{\alpha }^{\prime }}p$ is the momentum zero mode. The imaginary factors are compatible with a real action up to a total derivative.