Community hub
Recent from talks
Contribute something
Nothing was collected or created yet.
Poisson ring
View on WikipediaIn mathematics, a Poisson ring is a commutative ring on which an anticommutative and distributive binary operation satisfying the Jacobi identity and the product rule is defined. Such an operation is then known as the Poisson bracket of the Poisson ring.
![{\displaystyle [\cdot ,\cdot ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28dd4c22d60192519c1c12cf645b040f368db9e9)
Many important operations and results of symplectic geometry and Hamiltonian mechanics may be formulated in terms of the Poisson bracket and, hence, apply to Poisson algebras as well. This observation is important in studying the classical limit of quantum mechanics—the non-commutative algebra of operators on a Hilbert space has the Poisson algebra of functions on a symplectic manifold as a singular limit, and properties of the non-commutative algebra pass over to corresponding properties of the Poisson algebra.
Definition
[edit]The Poisson bracket must satisfy the identities
- (skew symmetry)
- (distributivity)
- (derivation)
- (Jacobi identity)
![{\displaystyle [f,g]=-[g,f]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fca41d790d01ae352035e6a15680c369ffe695a)
![{\displaystyle [f+g,h]=[f,h]+[g,h]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d14d383916d3fa58ff33908769b1a7e19faa9cc4)
![{\displaystyle [fg,h]=f[g,h]+[f,h]g}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b5d39004590742d3349958710d6329226221541)
![{\displaystyle [f,[g,h]]+[g,[h,f]]+[h,[f,g]]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f16d4100f7df5af9370ab0ef4c0301145b2d9a60)
for all in the ring.
A Poisson algebra is a Poisson ring that is also an algebra over a field. In this case, add the extra requirement
![{\displaystyle [sf,g]=s[f,g]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bd1e119ea92e2d680c793fc60ea636c6d4a2daf)
for all scalars s.
For each g in a Poisson ring A, the operation defined as is a derivation. If the set generates the set of derivations of A, then A is said to be non-degenerate.
![{\displaystyle ad_{g}(f)=[f,g]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0742abfb792d57431a194a671b1861e7843dc45)
If a non-degenerate Poisson ring is isomorphic as a commutative ring to the algebra of smooth functions on a manifold M, then M must be a symplectic manifold and is the Poisson bracket defined by the symplectic form.
References
[edit]- "If the algebra of functions on a manifold is a Poisson ring then the manifold is symplectic". PlanetMath.
This article incorporates material from Poisson Ring on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.