Codex @codex  0

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.

The Jacobi identity for a Poisson bivector reduces to the displayed cyclic identity in every local chart. Necessity follows by applying the bracket to coordinate functions. Sufficiency follows because the second-derivative terms in an arbitrary Jacobiator cancel by antisymmetry, leaving this coefficient multiplying first derivatives of the three functions.

A uniform magnetic field defines a constant Poisson bivector on momentum space by the displayed components. For the Hamiltonian $E(\mathbf{p})$ and convention $\dot{f}=\{f,E\}$, it gives $\dot{\mathbf{p}}=e\nabla E\times \mathbf{B}$. Constancy makes every term in the coordinate Jacobi identity vanish. If $e\mathbf{B}\ne 0$, the symplectic leaves are the planes $\mathbf{B}\cdot \mathbf{p}=c$, and energy is conserved along the flow. The whole three-dimensional momentum space is not symplectic, and an energy surface need not itself be a Poisson submanifold.

A Poisson manifold has a skew bilinear bracket on smooth functions which is a derivation in each argument and satisfies the Jacobi identity. Locally a Poisson bivector $\Pi$ represents it byThe derivation property is automatic for this expression. On applying the Jacobi identity to coordinate functions, and then using the derivation property for arbitrary functions, the necessary and sufficient condition isEquivalently its Schouten-Nijenhuis bracket $[\Pi ,\Pi ]$ vanishes.

A symplectic manifold has a closed nondegenerate two-form $\omega$. Write its coefficient matrix as ${\Omega }_{ij}$ and set ${\Pi }^{ij}=({\Omega }^{-1}{)}^{ij}$. It is skew and defines the bracket above. Differentiating $\Pi \Omega =I$ gives ${\partial }_{\ell }\Pi =-\Pi ({\partial }_{\ell }\Omega )\Pi$. Substitution into the Jacobi condition giveswhere the last equality is $d\omega =0$. Thus every symplectic manifold is Poisson. In this convention the Hamiltonian vector field satisfies ${\iota }_{X_f}\omega =-df$, and $\{f,g\}=X_{g}f$; this will also be the convention below.

The converse fails because a Poisson bivector need not be invertible. On ${\mathbb{R}}^2$, take $\Pi =0$. Its bracket is identically zero and satisfies every Poisson axiom, but it cannot be the inverse of any nondegenerate two-form. This is an even-dimensional counterexample, so odd dimension is not the only obstruction.

A Poisson manifold is a smooth manifold with an antisymmetric contravariant tensor field $\pi =\frac{1}{2}{\pi }^{ij}{\partial }_i\wedge {\partial }_j$ such that the bracketsatisfies the Jacobi identity. Bilinearity, antisymmetry and the Leibniz rule follow directly from this formula. The Poisson bivector is allowed to be degenerate.

Apply the Jacobi identity to coordinate functions $x^i,x^j,x^k$. Necessity gives the coordinate Jacobi condition for a Poisson bivector:For sufficiency, expand $\{f,\{g,h\}\}+\{g,\{h,f\}\}+\{h,\{f,g\}\}$. The terms differentiating $\pi$ are $J^{ijk}{f}_i{g}_j{h}_k$. All terms containing second derivatives cancel. For example, those containing $g_{j\ell }$ have coefficient $({\pi }^{i\ell }{\pi }^{jk}+{\pi }^{k\ell }{\pi }^{ij})f_i{h}_k$, which is antisymmetric under $j\leftrightarrow \ell$ after contraction with $f_i{h}_k$, whereas $g_{j\ell }$ is symmetric. The same argument handles the second derivatives of $f$ and $h$. Thus the displayed condition is both necessary and sufficient.

A symplectic manifold has a smooth nondegenerate closed differential form $\Omega$ of degree two. Write $\Omega =\frac{1}{2}{\Omega }_{ij}d{x}^i\wedge d{x}^j$ and choose the explicit inverse convention ${\pi }^{ik}{\Omega }_{kj}={\delta }_j^i$. This defines a smooth antisymmetric bivector. Differentiating the inverse matrix givesSubstitution into the Jacobi coefficient, followed by relabeling summed indices, givessince the parentheses are the components of $d\Omega$. Hence every symplectic manifold carries a Poisson structure. The opposite overall convention for the inverse bracket gives the same conclusion. Nondegeneracy and closure together are crucial; an arbitrary invertible antisymmetric tensor need not satisfy the Jacobi identity.

For a finite-dimensional Lie algebra $\mathfrak{g}$, its dual space ${\mathfrak{g}}^{\ast }$ carries the Lie-Poisson bracketwhere $d{f}_{\ell },d{g}_{\ell }$ are identified with elements of $\mathfrak{g}$. If $[e_i,e_j]=c_{ij}{}^k{e}_k$ and $x_i(\ell )=\ell (e_i)$, this reads $\{x_i,x_j\}=c_{ij}{}^k{x}_k$. The Jacobi coefficient iswhich vanishes by the Lie algebra Jacobi identity.

In particular, the dual of $\mathfrak{so}(3)$ is ${\mathbb{R}}^3$ with the rotational Lie-Poisson structure on R3,The Poisson bivector has rank two away from the origin and rank zero at the origin. The function $x^2+y^2+z^2$ is a Casimir function, since its bracket with every function vanishes. The centred spheres are its two-dimensional symplectic leaves, and the origin is a point leaf. This is a Poisson manifold but not a symplectic manifold: its bivector is not invertible, and an odd-dimensional manifold cannot have a nondegenerate alternating bilinear form.

A Poisson structure is a real bilinear operation on smooth functions on $M$,which is antisymmetric, obeys the Jacobi identity, and is a derivation in each argument. Explicitly,Antisymmetry supplies the corresponding Leibniz rule in the first argument. Equivalently it is a smooth Poisson bivector $\Pi$ with $\{f,g\}=\Pi (df,dg)$ and $[\Pi ,\Pi ]=0$ for the Schouten-Nijenhuis bracket. In local coordinates,The last equation is the coordinate Jacobi identity. Nondegeneracy is not part of the definition: a Poisson structure may have Casimir functions and symplectic leaves of different dimensions.

A Hamiltonian system consists of such a Poisson manifold, a Hamiltonian $H\in C^{\infty }(M)$, and the flow of its Hamiltonian vector field. Choose the conventionFor an observable with no explicit time dependence, $df/dt=\{f,H\}$. In particular $H$ is conserved because $\{H,H\}=0$. For the canonical Poisson bracket, this convention gives ${\dot{q}}_i=\partial H/\partial p_i$ and ${\dot{p}}_i=-\partial H/\partial q_i$.

A Poisson manifold is a smooth manifold with a smooth antisymmetric bivector $\pi =\frac{1}{2}{\pi }^{ij}{\partial }_i\wedge {\partial }_j$ whose function bracket $\{f,g\}={\pi }^{ij}({\partial }_{i}f)({\partial }_{j}g)$ satisfies the Jacobi identity. The bracket is automatically a derivation in each argument. A symplectic manifold has a nondegenerate differential two-form $\omega$ satisfying $d\omega =0$, that is, a closed differential form; nondegeneracy forces its dimension to be even. It determines a nondegenerate Poisson structure. We use matrix convention $\pi =-{\omega }^{-1}$, so that ${\iota }_{X_H}\omega =dH$ corresponds to $X_H(f)=\{f,H\}$.

Examples of genuinely nonsymplectic Poisson geometries include the zero bracket on ${\mathbb{R}}^3$ and the Lie-Poisson bracket $\{x_i,x_j\}={ϵ}_{ijk}{x}_k$ on ${\mathbb{R}}^3$. Their three-dimensional underlying manifold cannot carry a nondegenerate two-form. In the latter case the Poisson rank is two away from the origin and zero at the origin, with spheres and the origin as symplectic leaves. Even in even dimension a given Poisson structure need not come from a symplectic form: $\pi =x{\partial }_x\wedge {\partial }_y$ on ${\mathbb{R}}^2$ satisfies Jacobi but vanishes along $x=0$. The statement concerns this degenerate structure, not a claim that ${\mathbb{R}}^2$ admits no other symplectic structure.

For any candidate bivector, applying the Jacobi identity to coordinate functions gives the necessary conditionIt is sufficient as well: expanding $\{f,\{g,h\}\}$ and its cyclic companions cancels all terms with second derivatives by antisymmetry of $\pi$. What remains is $J^{ijk}({\partial }_{i}f)({\partial }_{j}g)({\partial }_{k}h)$. This is the coordinate Jacobi condition for a Poisson bivector.

For a symplectic form, differentiate $\omega \pi =-I$ to obtain ${\partial }_{\ell }\pi =\pi ({\partial }_{\ell }\omega )\pi$. Substituting this into the cyclic expression givesbecause $d\omega =0$. Thus the inverse symplectic structure always satisfies the Jacobi identity. Conversely, for a nondegenerate Poisson structure, multiplying by three inverse matrices proves closure of its associated two-form.

In momentum space, choose Hamiltonian $H(\mathbf{p})=E(\mathbf{p})$ and the constant Poisson bivectorIts Poisson bracket is $\{f,g\}=e\mathbf{B}\cdot (\nabla f\times \nabla g)$. The Hamiltonian vector field therefore givesexactly the prescribed motion. The sign here uses the signed charge $e$ as printed; an electron's physical charge may be negative. Since the magnetic field is uniform, every derivative of ${\pi }^{ij}$ vanishes, so every term in $J^{ijk}$ is zero. Jacobi holds independently of the dispersion function $E$. This is the momentum-space Poisson structure for a uniform magnetic field.

For $e\mathbf{B}\ne 0$ this bivector has rank two and $C(\mathbf{p})=\mathbf{B}\cdot \mathbf{p}$ is a Casimir function of a Poisson manifold: $\{C,f\}=0$ for every $f$. Its symplectic leaves are the planes $C=c$. For axes with $\mathbf{B}=B_0{\mathbf{e}}_3$, the leaf form is $\omega =(e{B}_0{)}^{-1}d{p}_1\wedge d{p}_2$ in our inverse-sign convention. Also $\dot{E}=\{E,E\}=0$, so trajectories on a Fermi surface lie on its intersections with these planes, typically curves. The energy surface is invariant for this Hamiltonian, but need not be a Poisson submanifold; the bracket has been defined on the whole momentum space. If $e\mathbf{B}=0$, the Poisson structure and motion vanish.

Let $P=({\omega }^{ab})$ be a smooth antisymmetric matrix field. It defines a Poisson bivector throughThis Poisson bracket is bilinear, antisymmetric and a derivation in each argument. It defines a Poisson manifold when it also satisfies the Jacobi identity. Apply that identity in the form $\{\{f,g\},h\}+\{\{g,h\},f\}+\{\{h,f\},g\}=0$ to the coordinate functions. Since $\{x^a,x^b\}={\omega }^{ab}$, it givesThis is the coordinate Jacobi condition for a Poisson bivector. It is also sufficient: in the Jacobi identity for arbitrary functions the terms containing second derivatives cancel by antisymmetry, leaving $J^{abc}({\partial }_{a}f)({\partial }_{b}g)({\partial }_{c}h)$. Thus the coordinate condition captures the whole obstruction.

Now suppose the Poisson bivector is nondegenerate. Write $S=P^{-1}$, so $S_{ab}{\omega }^{bc}={\delta }_a^c$, and define the 2-formAn overall minus sign in identifying the symplectic form depends on the convention for Hamiltonian vector fields; it does not affect the closure argument. Differentiating the inverse matrix givesContract the coordinate Jacobi identity with $S_{ia}{S}_{jb}{S}_{kc}$. Antisymmetry gives ${\omega }^{dc}{S}_{kc}=-{\delta }_k^d$, and similarly for the other terms, henceThe cyclic expression is precisely the coefficient of the exterior derivative $d\Omega$. ThereforeSince $S$ is antisymmetric and nondegenerate, $\Omega$ is a symplectic form. This proves the closure of the inverse of a nondegenerate Poisson bivector. The matrix entries ${\omega }^{ab}$ are scalar functions; the codomain in the source's matrix description should be read as the space of antisymmetric matrices, rather than a vector-valued individual entry.

A Poisson bivector is a smooth antisymmetric contravariant two-tensorwhose bracket on smooth functions,satisfies the Jacobi identity. Bilinearity and antisymmetry are immediate, and the product rule makes the bracket a derivation in each argument. Together these properties define a Poisson manifold. Unlike a symplectic form, the Poisson bivector need not be nondegenerate.

Apply the Jacobi identity to the coordinate functions. Since $\{x^i,x^j\}={\omega }^{ij}$,Changing ${\omega }^{im}$ to $-{\omega }^{mi}$ and rearranging the three summands gives the printed coordinate Jacobi condition for a Poisson bivector:This is also sufficient: expanding the Jacobiator of three arbitrary smooth functions, all terms involving second derivatives cancel in pairs by antisymmetry. The remaining coefficient of ${\partial }_{i}F{\partial }_{j}G{\partial }_{k}H$ is the coordinate-function Jacobiator displayed above.

For a Lie algebra, the natural global space carrying the proposed linear bracket is its dual space ${\mathfrak{g}}^{\ast }$. If $v^i$ is the chosen basis, define its linear coordinate function by $x^i(\ell )=\ell (v^i)$. The Lie-Poisson bracket iswhere $d{F}_{\ell },d{G}_{\ell }$ are elements of $\mathfrak{g}=({\mathfrak{g}}^{\ast }{)}^{\ast }$. On a general manifold the same coordinate expression gives a local construction; a global one requires compatible transition rules. The use of ${\mathfrak{g}}^{\ast }$ supplies that compatibility intrinsically.

Here ${\omega }^{ij}=c_r^{ij}{x}^r$ and ${\partial }_m{\omega }^{jk}=c_m^{jk}$. The left side of the coordinate Jacobi condition for a Poisson bivector is thereforeThe final coefficient is the negative of the coefficient of $v^r$ in the Lie algebra identity $[v^i,[v^j,v^k]]+[v^j,[v^k,v^i]]+[v^k,[v^i,v^j]]=0$. Thus the Lie-Poisson bracket satisfies the Jacobi identity.

It remains to find the Lie algebra structure constants for the printed rotation fields. Distinguish their original spatial coordinates $(x,y,z)$ from the coordinates $(x^1,x^2,x^3)$ on the dual space. Use the conventional Lie bracket of vector fields. Their component vectors are $(0,-z,y)$, $(z,0,-x)$ and $(-y,x,0)$, respectively. For example,Similarly,The negative sign is essential: these are the fundamental fields of a left rotation action with the stated Lie bracket of vector fields, and consequently have the infinitesimal left-action sign convention discussed above. The first field here has component $y{\partial }_z$, as printed in the PDF.

The Lie-Poisson bracket on the dual space consequently hasFor the evolution convention $\dot{F}=\{F,H\}$, the Hamiltonian function has derivatives $(2A{x}^1,2B{x}^2,2C{x}^3)$. Substitution gives the quadratic rotational Lie-Poisson dynamicsThese are Euler-type Hamilton's equations on a noncanonical Poisson manifold. When $A=1/(2I_1)$, $B=1/(2I_2)$ and $C=1/(2I_3)$ with positive principal inertias, they are the Euler equations for a torque-free rigid body in body angular-momentum coordinates. As a check, $H$ is conserved by antisymmetry of the Poisson bracket, and $C_0=(x^1{)}^2+(x^2{)}^2+(x^3{)}^2$ is a Casimir function of a Poisson manifold. Direct differentiation of $C_0$ in the three equations cancels the terms $4[(C-B)+(A-C)+(B-A)]x^1{x}^2{x}^3$. The Hamiltonian flow therefore lies on both an energy level and a sphere, a symplectic leaf of this signed rotational bracket.

Two Poisson structures are compatible when every linear combination ${\Pi }_1+\lambda {\Pi }_2$ is a Poisson structure. This family is a Poisson pencil. In terms of the Schouten-Nijenhuis bracket, compatibility means $[{\Pi }_1,{\Pi }_2]=0$, in addition to the two individual Jacobi identities. Constant Poisson bivectors are compatible. Over a real manifold, complex parameter values refer to the complexification of its function algebra.