Revision as of 20:38, 26 February 2023 editFrancesco Cattafi (talk | contribs)Extended confirmed users634 edits Added holomorphic Poisson structures and modular classTag: Visual edit← Previous edit | Revision as of 16:33, 27 February 2023 edit undoCitation bot (talk | contribs)Bots5,393,284 edits Alter: journal, pages. Add: doi, bibcode, s2cid, authors 1-1. Removed proxy/dead URL that duplicated identifier. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Francesco Cattafi | #UCB_webformNext edit → | ||
Line 24: | Line 24: | ||
=== History === | === History === | ||
Although the modern definition of Poisson manifold appeared only in the 70's-80's, its origin dates back to the nineteenth century. Alan Weinstein synthetised the early history of Poisson geometry as follows:<blockquote>"Poisson invented his brackets as a tool for classical dynamics. Jacobi realized the importance of these brackets and elucidated their algebraic properties, and Lie began the study of their geometry."<ref>{{Cite journal |last=Weinstein |first=Alan |author-link=Alan Weinstein |date=1998-08-01 |title=Poisson geometry |
Although the modern definition of Poisson manifold appeared only in the 70's-80's, its origin dates back to the nineteenth century. Alan Weinstein synthetised the early history of Poisson geometry as follows:<blockquote>"Poisson invented his brackets as a tool for classical dynamics. Jacobi realized the importance of these brackets and elucidated their algebraic properties, and Lie began the study of their geometry."<ref>{{Cite journal |last=Weinstein |first=Alan |author-link=Alan Weinstein |date=1998-08-01 |title=Poisson geometry |journal=Differential Geometry and Its Applications |series=Symplectic Geometry |language=en |volume=9 |issue=1 |pages=213–238 |doi=10.1016/S0926-2245(98)00022-9 |issn=0926-2245 |doi-access=free}}</ref></blockquote> | ||
Indeed, ] introduced in 1809 what we now call Poisson bracket in order to obtain new ], i.e. quantities which are preserved throughout the motion.<ref>{{Cite journal |last=Poisson |first=Siméon Denis |author-link=Siméon Denis Poisson |date=1809 |title=Sur la variation des constantes arbitraires dans les questions de mécanique |trans-title=On the variation of arbitrary constants in the questions of mechanics |url=https://babel.hathitrust.org/cgi/pt?id=mdp.39015074785596&view=1up&seq=280 |journal={{Interlanguage link|Journal de l'École polytechnique|fr}} | Indeed, ] introduced in 1809 what we now call Poisson bracket in order to obtain new ], i.e. quantities which are preserved throughout the motion.<ref>{{Cite journal |last=Poisson |first=Siméon Denis |author-link=Siméon Denis Poisson |date=1809 |title=Sur la variation des constantes arbitraires dans les questions de mécanique |trans-title=On the variation of arbitrary constants in the questions of mechanics |url=https://babel.hathitrust.org/cgi/pt?id=mdp.39015074785596&view=1up&seq=280 |journal={{Interlanguage link|Journal de l'École polytechnique|fr}} | ||
|language=fr |volume=15e cahier |issue=8 |pages= |
|language=fr |volume=15e cahier |issue=8 |pages=266–344 |via=]}}</ref> More precisely, he proved that, if two functions <math> f </math> and <math> g </math> are integral of motions, then there is a third function, denoted by <math> \{ f,g \} </math>, which is an integral of motion as well. In the ], where the dynamics of a physical system is described by a given function <math> h </math> (usually the energy of the system), an integral of motion is simply a function <math> f </math> which Poisson-commutes with <math> h </math>, i.e. such that <math> \{f,h\} = 0 </math>. What will become known as '''Poisson's theorem''' can then be formulated as<math display="block"> \{f,h\} = 0, \{g,h\} = 0 \Rightarrow \{\{f,g\},h\} = 0.</math>Poisson computations occupied many pages, and his results were rediscovered and simplified two decades later by ].<ref name=":5">{{Cite journal |last=Kosmann-Schwarzbach |first=Yvette |author-link=Yvette Kosmann-Schwarzbach |date=2022-11-29 |title=Seven Concepts Attributed to Siméon-Denis Poisson |url=https://www.emis.de/journals/SIGMA/2022/092/ |journal=SIGMA. Symmetry, Integrability and Geometry: Methods and Applications |language=en |volume=18 |pages=092 |doi=10.3842/SIGMA.2022.092 |doi-access=free}}</ref> Jacobi was the first to identify the general properties of the Poisson bracket as a binary operation. Moreover, he established the relation between the (Poisson) bracket of two functions and the ] of their associated ]s, i.e.<math display="block"> X_{\{f,g\}} = ,</math>in order to reformulate (and give a much shorter proof of) Poisson's theorem on integrals of motion.<ref name=":32">{{Cite book |last1=Silva |first1=Ana Cannas da |url=https://math.berkeley.edu/~alanw/Models.pdf |title=Geometric models for noncommutative algebras |last2=Weinstein |first2=Alan |date=1999 |publisher=American Mathematical Society |isbn=0-8218-0952-0 |location=Providence, R.I. |oclc=42433917 |author-link2=Alan Weinstein}}</ref> | ||
Jacobi’s work on Poisson brackets influenced the pioneering studies of ] on symmetries of ], which led to the discovery of ]s and ]s. For instance, what are now called linear Poisson structures (i.e. Poisson brackets on a vector space which send linear functions to linear functions) correspond precisely to Lie algebra structures. Moreover, the integrability of a linear Poisson structure (see below) is closely related to the integrability of its associated Lie algebra to a Lie group. | Jacobi’s work on Poisson brackets influenced the pioneering studies of ] on symmetries of ], which led to the discovery of ]s and ]s. For instance, what are now called linear Poisson structures (i.e. Poisson brackets on a vector space which send linear functions to linear functions) correspond precisely to Lie algebra structures. Moreover, the integrability of a linear Poisson structure (see below) is closely related to the integrability of its associated Lie algebra to a Lie group. | ||
Line 72: | Line 72: | ||
The definition of Poisson structure for ''real'' smooth manifolds can be also adapted to the complex case. | The definition of Poisson structure for ''real'' smooth manifolds can be also adapted to the complex case. | ||
A '''holomorphic Poisson manifold''' is a ] <math>M</math> whose ] of ] <math> \mathcal{O}_M </math> is a sheaf of Poisson algebras. Equivalently, recall that a holomorphic bivector field <math>\pi</math> on a complex manifold <math>M</math> is a section <math> \pi \in \Gamma (\wedge^2 T^{1,0}M)</math> such that <math> \bar{\partial} \pi = 0</math>. Then a holomorphic Poisson structure on <math>M </math> is a holomorphic bivector field satisfying the equation <math>=0</math>. Holomorphic Poisson manifolds can be characterised also in terms of Poisson-Nijenhuis structures.<ref>{{Cite journal | |
A '''holomorphic Poisson manifold''' is a ] <math>M</math> whose ] of ] <math> \mathcal{O}_M </math> is a sheaf of Poisson algebras. Equivalently, recall that a holomorphic bivector field <math>\pi</math> on a complex manifold <math>M</math> is a section <math> \pi \in \Gamma (\wedge^2 T^{1,0}M)</math> such that <math> \bar{\partial} \pi = 0</math>. Then a holomorphic Poisson structure on <math>M </math> is a holomorphic bivector field satisfying the equation <math>=0</math>. Holomorphic Poisson manifolds can be characterised also in terms of Poisson-Nijenhuis structures.<ref>{{Cite journal |last1=Laurent-Gengoux |first1=C. |last2=Stienon |first2=M. |last3=Xu |first3=P. |date=2010-07-08 |title=Holomorphic Poisson Manifolds and Holomorphic Lie Algebroids |url=https://academic.oup.com/imrn/article-lookup/doi/10.1093/imrn/rnn088 |journal=] |language=en |volume=2008 |pages= |arxiv=0707.4253 |doi=10.1093/imrn/rnn088 |issn=1073-7928}}</ref> | ||
Many results for real Poisson structures, e.g. regarding their integrability, extend also to holomorphic ones.<ref>{{Cite journal | |
Many results for real Poisson structures, e.g. regarding their integrability, extend also to holomorphic ones.<ref>{{Cite journal |last1=Laurent-Gengoux |first1=Camille |last2=Stiénon |first2=Mathieu |last3=Xu |first3=Ping |date=2009-12-01 |title=Integration of holomorphic Lie algebroids |url=https://doi.org/10.1007/s00208-009-0388-7 |journal=] |language=en |volume=345 |issue=4 |pages=895–923 |arxiv=0803.2031 |doi=10.1007/s00208-009-0388-7 |s2cid=41629 |issn=1432-1807}}</ref><ref>{{Cite journal |last1=Broka |first1=Damien |last2=Xu |first2=Ping |date=2022 |title=Symplectic realizations of holomorphic Poisson manifolds |url=https://www.intlpress.com/site/pub/pages/journals/items/mrl/content/vols/0029/0004/a001/index.php |journal=Mathematical Research Letters |language=EN |volume=29 |issue=4 |pages=903–944 |arxiv=1512.08847 |doi=10.4310/MRL.2022.v29.n4.a1 |issn=1945-001X |doi-access=free}}</ref> | ||
Holomorphic Poisson structures appear naturally in the context of ]: locally, any generalised complex manifold is the product of a symplectic manifold and a holomorphic Poisson manifold.<ref>{{Cite journal |last=Bailey |first=Michael |date=2013-08-01 |title=Local classification of generalize complex structures |
Holomorphic Poisson structures appear naturally in the context of ]: locally, any generalised complex manifold is the product of a symplectic manifold and a holomorphic Poisson manifold.<ref>{{Cite journal |last=Bailey |first=Michael |date=2013-08-01 |title=Local classification of generalize complex structures |journal=] |volume=95 |issue=1 |arxiv=1201.4887 |doi=10.4310/jdg/1375124607 |issn=0022-040X |doi-access=free}}</ref> | ||
==Symplectic leaves== | ==Symplectic leaves== | ||
Line 122: | Line 122: | ||
The previous example can be generalised as follows. A Poisson structure on the total space of a vector bundle <math> E \to M </math> is called '''fibrewise linear''' when the bracket of two smooth functions <math> E \to \mathbb{R} </math>, whose restrictions to the fibres are linear, is still linear when restricted to the fibres. Equivalently, the Poisson bivector field <math> \pi </math> is asked to satisfy <math> (m_t)^*\pi = t \pi </math> for any <math> t >0 </math>, where <math> m_t: E \to E </math> is the scalar multiplication <math> v \mapsto tv </math>. | The previous example can be generalised as follows. A Poisson structure on the total space of a vector bundle <math> E \to M </math> is called '''fibrewise linear''' when the bracket of two smooth functions <math> E \to \mathbb{R} </math>, whose restrictions to the fibres are linear, is still linear when restricted to the fibres. Equivalently, the Poisson bivector field <math> \pi </math> is asked to satisfy <math> (m_t)^*\pi = t \pi </math> for any <math> t >0 </math>, where <math> m_t: E \to E </math> is the scalar multiplication <math> v \mapsto tv </math>. | ||
The class of vector bundles with linear Poisson structures coincides actually with that of (dual of) ]. Indeed, the dual <math> A^* </math> of any Lie algebroid <math> (A, ) </math> carries a fibrewise linear Poisson bracket,<ref name=":6">{{Cite journal | |
The class of vector bundles with linear Poisson structures coincides actually with that of (dual of) ]. Indeed, the dual <math> A^* </math> of any Lie algebroid <math> (A, ) </math> carries a fibrewise linear Poisson bracket,<ref name=":6">{{Cite journal |last1=Coste |first1=A. |last2=Dazord |first2=P. |last3=Weinstein |first3=A. |author-link3=Alan Weinstein |date=1987 |title=Groupoïdes symplectiques |trans-title=Symplectic groupoids |url=http://www.numdam.org/item/PDML_1987___2A_1_0/ |journal=Publications du Département de mathématiques (Lyon) |language=fr |issue=2A |pages=1–62 |issn=2547-6300}}</ref> uniquely defined by<math display="block"> \{ \mathrm{ev}_\alpha, \mathrm{ev}_\beta \}:= ev_{} \quad \quad \forall \alpha, \beta \in \Gamma(A), </math>where <math> \mathrm{ev}_\alpha: A^* \to \mathbb{R}, \phi \mapsto \phi(\alpha) </math> is the evaluation by <math> \alpha </math>. Equivalently, the Poisson bivector can be locally expressed as<math display="block"> \pi = \sum_{i,a} B^i_a(x) \frac{\partial}{\partial y_a} \frac{\partial}{\partial x^i} + \sum_{a < b,c} C_{ab}^c(x) y_c \frac{\partial}{\partial y_a} \frac{\partial}{\partial y_b}, </math>where <math> x^i </math> are coordinates around a point <math> x \in M </math>, <math> y_a </math> are fibre coordinates on <math> A^* </math>, dual to a local frame <math> e_a </math> of <math> A </math>, and <math> B^i_a </math> and <math> C^c_{ab} </math> are the structure function of <math> A </math>, i.e. the unique smooth functions satisfying<math display="block"> \rho(e_a) = \sum_i B^i_a (x) \frac{\partial}{\partial x^i}, \quad \quad = \sum_c C^c_{ab} (x) e_c. </math>Conversely, any fibrewise linear Poisson structure <math> \{ \cdot, \cdot \} </math> on <math> E </math> must be of this form, i.e. there exists a natural Lie algebroid structure induced on <math> A:=E^* </math> whose Lie-Poisson backet recovers <math> \{ \cdot, \cdot \} </math>.<ref>{{Cite journal |last=Courant |first=Theodore James |author-link=Theodore James Courant |date=1990 |title=Dirac manifolds |url=https://www.ams.org/tran/1990-319-02/S0002-9947-1990-0998124-1/ |journal=] |language=en |volume=319 |issue=2 |pages=631–661 |doi=10.1090/S0002-9947-1990-0998124-1 |issn=0002-9947 |doi-access=free}}</ref> | ||
The symplectic leaves of <math> A^* </math> are the cotangent bundles of the ] <math> \mathcal{O} \subseteq A </math>; equivalently, if <math> A </math> is integrable to a Lie groupoid <math> \mathcal{G} \rightrightarrows M </math>, they are the connected components of the orbits of the ] <math> T^* \mathcal{G} \rightrightarrows A^* </math>. | The symplectic leaves of <math> A^* </math> are the cotangent bundles of the ] <math> \mathcal{O} \subseteq A </math>; equivalently, if <math> A </math> is integrable to a Lie groupoid <math> \mathcal{G} \rightrightarrows M </math>, they are the connected components of the orbits of the ] <math> T^* \mathcal{G} \rightrightarrows A^* </math>. | ||
Line 152: | Line 152: | ||
* <math> H^3(M,\pi) </math> is the space of the obstructions to extend infinitesimal deformations to actual deformations. | * <math> H^3(M,\pi) </math> is the space of the obstructions to extend infinitesimal deformations to actual deformations. | ||
=== Modular class === | === Modular class === | ||
The modular class of a Poisson manifold is a class in the first Poisson cohomology group, which is the obstruction to the existence of a ] invariant under the Hamiltonian flows.<ref>{{Cite journal |last=Kosmann-Schwarzbach |first=Yvette |author-link=Yvette Kosmann-Schwarzbach |date=2008-01-16 |title=Poisson Manifolds, Lie Algebroids, Modular Classes: a Survey |url=http://www.emis.de/journals/SIGMA/2008/005/ |journal=SIGMA. Symmetry, Integrability and Geometry: Methods and Applications |language=en |volume=4 |pages=005 |arxiv=0710.3098 |doi=10.3842/SIGMA.2008.005 |doi-access=free}}</ref> It was introduced by Koszul<ref>{{Cite journal |last=Koszul |first=Jean-Louis |author-link=Jean-Louis Koszul |date=1985 |title=Crochet de Schouten-Nijenhuis et cohomologie |trans-title=Schouten-Nijenhuis bracket and cohomology |url=http://www.numdam.org/item/?id=AST_1985__S131__257_0 |journal=] |language=fr |volume=S131 |pages= |
The modular class of a Poisson manifold is a class in the first Poisson cohomology group, which is the obstruction to the existence of a ] invariant under the Hamiltonian flows.<ref>{{Cite journal |last=Kosmann-Schwarzbach |first=Yvette |author-link=Yvette Kosmann-Schwarzbach |date=2008-01-16 |title=Poisson Manifolds, Lie Algebroids, Modular Classes: a Survey |url=http://www.emis.de/journals/SIGMA/2008/005/ |journal=SIGMA. Symmetry, Integrability and Geometry: Methods and Applications |language=en |volume=4 |pages=005 |arxiv=0710.3098 |doi=10.3842/SIGMA.2008.005 |bibcode=2008SIGMA...4..005K |doi-access=free}}</ref> It was introduced by Koszul<ref>{{Cite journal |last=Koszul |first=Jean-Louis |author-link=Jean-Louis Koszul |date=1985 |title=Crochet de Schouten-Nijenhuis et cohomologie |trans-title=Schouten-Nijenhuis bracket and cohomology |url=http://www.numdam.org/item/?id=AST_1985__S131__257_0 |journal=] |language=fr |volume=S131 |pages=257–271}}</ref> and Weinstein.<ref>{{Cite journal |last=Weinstein |first=Alan |author-link=Alan Weinstein |date=1997-11-01 |title=The modular automorphism group of a Poisson manifold |url=https://www.sciencedirect.com/science/article/pii/S0393044097800113 |journal=] |language=en |volume=23 |issue=3 |pages=379–394 |doi=10.1016/S0393-0440(97)80011-3 |bibcode=1997JGP....23..379W |issn=0393-0440}}</ref> | ||
Recall that the ] of a vector field <math>X \in \mathfrak{X}(M)</math> with respect to a given volume form <math>\lambda</math> is the function <math>{\rm div}_\lambda (X) \in \mathcal{C}^\infty(M)</math> defined by <math> {\rm div}_\lambda (X) = \frac{\mathcal{L}_{X} \lambda}{\lambda}</math>. The '''modular vector field''' of a Poisson manifold, with respect to a volume form <math>\lambda</math>, is the vector field <math>X_\lambda</math> defined by the divergence of the Hamiltonian vector fields: <math>X_\lambda: f \mapsto {\rm div}_\lambda (X_f)</math>. | Recall that the ] of a vector field <math>X \in \mathfrak{X}(M)</math> with respect to a given volume form <math>\lambda</math> is the function <math>{\rm div}_\lambda (X) \in \mathcal{C}^\infty(M)</math> defined by <math> {\rm div}_\lambda (X) = \frac{\mathcal{L}_{X} \lambda}{\lambda}</math>. The '''modular vector field''' of a Poisson manifold, with respect to a volume form <math>\lambda</math>, is the vector field <math>X_\lambda</math> defined by the divergence of the Hamiltonian vector fields: <math>X_\lambda: f \mapsto {\rm div}_\lambda (X_f)</math>. | ||
Line 161: | Line 161: | ||
* symplectic structures are always unimodular, since the ] is invariant under all Hamiltonian vector fields; | * symplectic structures are always unimodular, since the ] is invariant under all Hamiltonian vector fields; | ||
* for linear Poisson structures the modular class is the ] of <math>\mathfrak{g}</math>, since the modular vector field associated to the standard Lebesgue measure on <math>\mathfrak{g}^*</math> is the constant vector field on <math>\mathfrak{g}^*</math>. Then <math>\mathfrak{g}^*</math> is unimodular as Poisson manifold if and only if it is ] as Lie algebra;<ref name=":42">{{Cite journal | |
* for linear Poisson structures the modular class is the ] of <math>\mathfrak{g}</math>, since the modular vector field associated to the standard Lebesgue measure on <math>\mathfrak{g}^*</math> is the constant vector field on <math>\mathfrak{g}^*</math>. Then <math>\mathfrak{g}^*</math> is unimodular as Poisson manifold if and only if it is ] as Lie algebra;<ref name=":42">{{Cite journal |last1=Evens |first1=Sam |last2=Lu |first2=Jiang-Hua |last3=Weinstein |first3=Alan |author-link3=Alan Weinstein |date=1999 |title=Transverse measures, the modular class and a cohomology pairing for Lie algebroids |url=https://academic.oup.com/qjmath/article-abstract/50/200/417/1515478?redirectedFrom=fulltext&login=false |journal=] |volume=50 |issue=200 |pages=417–436 |arxiv=dg-ga/9610008 |doi=10.1093/qjmath/50.200.417}}</ref> | ||
* For regular Poisson structures the modular class is related to the Reeb class of the underlying symplectic foliation (an element of the first leafwise cohomology group, which obstructs the existence of a volume normal form invariant by vector fields tangent to the foliation).<ref>{{Cite journal | |
* For regular Poisson structures the modular class is related to the Reeb class of the underlying symplectic foliation (an element of the first leafwise cohomology group, which obstructs the existence of a volume normal form invariant by vector fields tangent to the foliation).<ref>{{Cite journal |last1=Abouqateb |first1=Abdelhak |last2=Boucetta |first2=Mohamed |date=2003-07-01 |title=The modular class of a regular Poisson manifold and the Reeb class of its symplectic foliation |journal=] |language=en |volume=337 |issue=1 |pages=61–66 |arxiv=math/0211405v1 |doi=10.1016/S1631-073X(03)00254-1 |issn=1631-073X |doi-access=free}}</ref> | ||
=== Poisson homology === | === Poisson homology === | ||
Poisson cohomology was introduced in 1977 by Lichnerowicz himself;<ref name=":0" /> a decade later, ] introduced a ] for Poisson manifolds, using the operator <math>\partial_\pi = </math>.<ref>{{Cite journal |last=Brylinski |first=Jean-Luc |author-link=Jean-Luc Brylinski |date=1988-01-01 |title=A differential complex for Poisson manifolds |url=https://projecteuclid.org/journals/journal-of-differential-geometry/volume-28/issue-1/A-differential-complex-for-Poisson-manifolds/10.4310/jdg/1214442161.full |journal=] |volume=28 |issue=1 |doi=10.4310/jdg/1214442161 |issn=0022-040X}}</ref> | Poisson cohomology was introduced in 1977 by Lichnerowicz himself;<ref name=":0" /> a decade later, ] introduced a ] for Poisson manifolds, using the operator <math>\partial_\pi = </math>.<ref>{{Cite journal |last=Brylinski |first=Jean-Luc |author-link=Jean-Luc Brylinski |date=1988-01-01 |title=A differential complex for Poisson manifolds |url=https://projecteuclid.org/journals/journal-of-differential-geometry/volume-28/issue-1/A-differential-complex-for-Poisson-manifolds/10.4310/jdg/1214442161.full |journal=] |volume=28 |issue=1 |doi=10.4310/jdg/1214442161 |s2cid=122451743 |issn=0022-040X}}</ref> | ||
Several results have been proved relating Poisson homology and cohomology.<ref>{{Cite journal | |
Several results have been proved relating Poisson homology and cohomology.<ref>{{Cite journal |last1=Fernández |first1=Marisa |last2=Ibáñez |first2=Raúl |last3=León |first3=Manuel de |date=1996 |title=Poisson cohomology and canonical homology of Poisson manifolds |url=https://eudml.org/doc/247851 |journal=Archivum Mathematicum |volume=032 |issue=1 |pages=29–56 |issn=0044-8753}}</ref> For instance, for orientable ''unimodular'' Poisson manifolds, Poisson homology turns out to be isomorphic to Poisson cohomology: this was proved independently by Xu<ref>{{Cite journal |last=Xu |first=Ping |date=1999-02-01 |title=Gerstenhaber Algebras and BV-Algebras in Poisson Geometry |url=https://doi.org/10.1007/s002200050540 |journal=] |language=en |volume=200 |issue=3 |pages=545–560 |arxiv=dg-ga/9703001 |doi=10.1007/s002200050540 |bibcode=1999CMaPh.200..545X |s2cid=16559555 |issn=1432-0916}}</ref> and Evans-Lu-Weinstein.<ref name=":42" /> | ||
==Poisson maps== | ==Poisson maps== | ||
Line 199: | Line 199: | ||
* For the Lie-Poisson structure on <math> \mathfrak{g}^* </math>, one takes as <math> P </math> the cotangent bundle <math> T^*G </math> of a Lie group <math> G </math> integrating <math> \mathfrak{g} </math> and as <math> \phi </math> the dual map <math> \phi: T^*G \to \mathfrak{g}^* </math> of the differential at the identity of the (left or right) translation <math> G \to G </math>. | * For the Lie-Poisson structure on <math> \mathfrak{g}^* </math>, one takes as <math> P </math> the cotangent bundle <math> T^*G </math> of a Lie group <math> G </math> integrating <math> \mathfrak{g} </math> and as <math> \phi </math> the dual map <math> \phi: T^*G \to \mathfrak{g}^* </math> of the differential at the identity of the (left or right) translation <math> G \to G </math>. | ||
A symplectic realisation <math> \phi </math> is called '''complete''' if, for any ] Hamiltonian vector field <math>X_H</math>, the vector field <math>X_{H \circ \phi}</math> is complete as well. While symplectic realisations always exist for every Poisson manifold (and several different proofs are available),<ref name=":12" /><ref name=":7">{{Cite journal |last=Karasev |first=M. V. |date=1987-06-30 |title=Analogues of the Objects of Lie Group Theory for Nonlinear Poisson Brackets |url=http://dx.doi.org/10.1070/IM1987v028n03ABEH000895 |journal=] |volume=28 |issue=3 |pages=497–527 |doi=10.1070/im1987v028n03abeh000895 |issn=0025-5726}}</ref><ref>{{Cite journal |last1=Crainic |first1=Marius |author-link=Marius Crainic |last2=Marcut |first2=Ioan |date=2011 |title=On the extistence of symplectic realizations |url=https://www.intlpress.com/site/pub/pages/journals/items/jsg/content/vols/0009/0004/a002/abstract.php |journal=Journal of Symplectic Geometry |language=EN |volume=9 |issue=4 |pages=435–444 |doi=10.4310/JSG.2011.v9.n4.a2 |issn=1540-2347 |doi-access=free}}</ref> complete ones do not, and their existence plays a fundamental role in the integrability problem for Poisson manifolds (see below).<ref name=":2" /> | A symplectic realisation <math> \phi </math> is called '''complete''' if, for any ] Hamiltonian vector field <math>X_H</math>, the vector field <math>X_{H \circ \phi}</math> is complete as well. While symplectic realisations always exist for every Poisson manifold (and several different proofs are available),<ref name=":12" /><ref name=":7">{{Cite journal |last=Karasev |first=M. V. |date=1987-06-30 |title=Analogues of the Objects of Lie Group Theory for Nonlinear Poisson Brackets |url=http://dx.doi.org/10.1070/IM1987v028n03ABEH000895 |journal=] |volume=28 |issue=3 |pages=497–527 |doi=10.1070/im1987v028n03abeh000895 |bibcode=1987IzMat..28..497K |issn=0025-5726}}</ref><ref>{{Cite journal |last1=Crainic |first1=Marius |author-link=Marius Crainic |last2=Marcut |first2=Ioan |date=2011 |title=On the extistence of symplectic realizations |url=https://www.intlpress.com/site/pub/pages/journals/items/jsg/content/vols/0009/0004/a002/abstract.php |journal=Journal of Symplectic Geometry |language=EN |volume=9 |issue=4 |pages=435–444 |doi=10.4310/JSG.2011.v9.n4.a2 |issn=1540-2347 |doi-access=free}}</ref> complete ones do not, and their existence plays a fundamental role in the integrability problem for Poisson manifolds (see below).<ref name=":2" /> | ||
== Integration of Poisson manifolds == | == Integration of Poisson manifolds == | ||
Line 213: | Line 213: | ||
=== Symplectic groupoids === | === Symplectic groupoids === | ||
A '''{{visible anchor|symplectic groupoid}}''' is a ] <math> \mathcal{G} \rightrightarrows M </math> together with a symplectic form <math> \omega \in \Omega^2(\mathcal{G}) </math> which is also multiplicative, i.e. it satisfies the following algebraic compatibility with the groupoid multiplication: <math> m^*\omega = {\rm pr}_1^* \omega + {\rm pr}_2^* \omega </math>. Equivalently, the graph of <math> \omega </math> is asked to be a ] of <math> (\mathcal{G} \times \mathcal{G} \times \mathcal{G}, \omega \oplus \omega \oplus - \omega) </math>. Among the several consequences, the dimension of <math> \mathcal{G} </math> is automatically twice the dimension of <math> M </math>. The notion of symplectic groupoid was introduced at the end of the 80's independently by several authors.<ref>{{Cite journal |last=Weinstein |first=Alan |author-link=Alan Weinstein |date=1987-01-01 |title=Symplectic groupoids and Poisson manifolds |url=https://www.ams.org/journal-getitem?pii=S0273-0979-1987-15473-5 |journal=] |language=en |volume=16 |issue=1 |pages=101–105 |doi=10.1090/S0273-0979-1987-15473-5 |issn=0273-0979 |doi-access=free}}</ref><ref>{{Cite journal |last=Zakrzewski |first=S. |date=1990 |title=Quantum and classical pseudogroups. II. Differential and symplectic pseudogroups |url=https://projecteuclid.org/journals/communications-in-mathematical-physics/volume-134/issue-2/Quantum-and-classical-pseudogroups-II-Differential-and-symplectic-pseudogroups/cmp/1104201735.full |journal=] |volume=134 |issue=2 |pages=371–395 |issn=0010-3616 |via=]}}</ref><ref name=":7" /><ref name=":6" /> | A '''{{visible anchor|symplectic groupoid}}''' is a ] <math> \mathcal{G} \rightrightarrows M </math> together with a symplectic form <math> \omega \in \Omega^2(\mathcal{G}) </math> which is also multiplicative, i.e. it satisfies the following algebraic compatibility with the groupoid multiplication: <math> m^*\omega = {\rm pr}_1^* \omega + {\rm pr}_2^* \omega </math>. Equivalently, the graph of <math> \omega </math> is asked to be a ] of <math> (\mathcal{G} \times \mathcal{G} \times \mathcal{G}, \omega \oplus \omega \oplus - \omega) </math>. Among the several consequences, the dimension of <math> \mathcal{G} </math> is automatically twice the dimension of <math> M </math>. The notion of symplectic groupoid was introduced at the end of the 80's independently by several authors.<ref>{{Cite journal |last=Weinstein |first=Alan |author-link=Alan Weinstein |date=1987-01-01 |title=Symplectic groupoids and Poisson manifolds |url=https://www.ams.org/journal-getitem?pii=S0273-0979-1987-15473-5 |journal=] |language=en |volume=16 |issue=1 |pages=101–105 |doi=10.1090/S0273-0979-1987-15473-5 |issn=0273-0979 |doi-access=free}}</ref><ref>{{Cite journal |last=Zakrzewski |first=S. |date=1990 |title=Quantum and classical pseudogroups. II. Differential and symplectic pseudogroups |url=https://projecteuclid.org/journals/communications-in-mathematical-physics/volume-134/issue-2/Quantum-and-classical-pseudogroups-II-Differential-and-symplectic-pseudogroups/cmp/1104201735.full |journal=] |volume=134 |issue=2 |pages=371–395 |doi=10.1007/BF02097707 |s2cid=122926678 |issn=0010-3616 |via=]}}</ref><ref name=":7" /><ref name=":6" /> | ||
A fundamental theorem states that the base space of any symplectic groupoid admits a unique Poisson structure <math> \pi </math> such that the source map <math> s: (\mathcal{G}, \omega) \to (M,\pi) </math> and the target map <math> t: (\mathcal{G}, \omega) \to (M,\pi) </math> are, respectively, a Poisson map and an anti-Poisson map. Moreover, the Lie algebroid <math> {\rm Lie}(\mathcal{G}) </math> is isomorphic to the cotangent algebroid <math> T^*M </math> associated to the Poisson manifold <math> (M,\pi) </math>.<ref name=":3">{{Cite journal |last1=Albert |first1=Claude |last2=Dazord |first2=Pierre |date=1991 |editor-last=Dazord |editor-first=Pierre |editor2-last=Weinstein |editor2-first=Alan |title=Groupoïdes de Lie et Groupoïdes Symplectiques |trans-title=Lie Groupoids and Symplectic Groupoids |url=https://link.springer.com/chapter/10.1007%2F978-1-4613-9719-9_1 |journal=Symplectic Geometry, Groupoids, and Integrable Systems |series=Mathematical Sciences Research Institute Publications |language=fr |location=New York, NY |publisher=Springer US |volume=20 |pages=1–11 |doi=10.1007/978-1-4613-9719-9_1 |isbn=978-1-4613-9719-9}}</ref> Conversely, if the cotangent bundle <math> T^*M </math> of a Poisson manifold is integrable to some Lie groupoid <math> \mathcal{G} \rightrightarrows M </math>, then <math> \mathcal{G} </math> is automatically a symplectic groupoid.<ref>{{Cite journal |last1=Liu |first1=Z. -J. |last2=Xu |first2=P. |date=1996-01-01 |title=Exact Lie bialgebroids and Poisson groupoids |url=https://eudml.org/doc/58221 |journal=Geometric & Functional Analysis GAFA |language=en |volume=6 |issue=1 |pages=138–145 |doi=10.1007/BF02246770 |issn=1420-8970 |via=European Digital Mathematics Library |s2cid=121836719}}</ref> | A fundamental theorem states that the base space of any symplectic groupoid admits a unique Poisson structure <math> \pi </math> such that the source map <math> s: (\mathcal{G}, \omega) \to (M,\pi) </math> and the target map <math> t: (\mathcal{G}, \omega) \to (M,\pi) </math> are, respectively, a Poisson map and an anti-Poisson map. Moreover, the Lie algebroid <math> {\rm Lie}(\mathcal{G}) </math> is isomorphic to the cotangent algebroid <math> T^*M </math> associated to the Poisson manifold <math> (M,\pi) </math>.<ref name=":3">{{Cite journal |last1=Albert |first1=Claude |last2=Dazord |first2=Pierre |date=1991 |editor-last=Dazord |editor-first=Pierre |editor2-last=Weinstein |editor2-first=Alan |title=Groupoïdes de Lie et Groupoïdes Symplectiques |trans-title=Lie Groupoids and Symplectic Groupoids |url=https://link.springer.com/chapter/10.1007%2F978-1-4613-9719-9_1 |journal=Symplectic Geometry, Groupoids, and Integrable Systems |series=Mathematical Sciences Research Institute Publications |language=fr |location=New York, NY |publisher=Springer US |volume=20 |pages=1–11 |doi=10.1007/978-1-4613-9719-9_1 |isbn=978-1-4613-9719-9}}</ref> Conversely, if the cotangent bundle <math> T^*M </math> of a Poisson manifold is integrable to some Lie groupoid <math> \mathcal{G} \rightrightarrows M </math>, then <math> \mathcal{G} </math> is automatically a symplectic groupoid.<ref>{{Cite journal |last1=Liu |first1=Z. -J. |last2=Xu |first2=P. |date=1996-01-01 |title=Exact Lie bialgebroids and Poisson groupoids |url=https://eudml.org/doc/58221 |journal=Geometric & Functional Analysis GAFA |language=en |volume=6 |issue=1 |pages=138–145 |doi=10.1007/BF02246770 |issn=1420-8970 |via=European Digital Mathematics Library |s2cid=121836719}}</ref> |
Revision as of 16:33, 27 February 2023
Mathematical structure in differential geometryIn differential geometry, a field in mathematics, a Poisson manifold is a smooth manifold endowed with a Poisson structure. The notion of Poisson manifold generalises that of symplectic manifold, which in turn generalises the phase space from Hamiltonian mechanics.
A Poisson structure (or Poisson bracket) on a smooth manifold is a functionon the vector space of smooth functions on , making it into a Lie algebra subject to a Leibniz rule (also known as a Poisson algebra).
Poisson structures on manifolds were introduced by André Lichnerowicz in 1977 and are named after the French mathematician Siméon Denis Poisson, due to their early appearance in his works on analytical mechanics.
Introduction
From phase spaces of classical mechanics to symplectic and Poisson manifolds
In classical mechanics, the phase space of a physical system consists of all the possible values of the position and of the momentum variables allowed by the system. It is naturally endowed with a Poisson bracket/symplectic form (see below), which allows one to formulate the Hamilton equations and describe the dynamics of the system through the phase space in time.
For instance, a single particle freely moving in the -dimensional Euclidean space (i.e. having as configuration space) has phase space . The coordinates describe respectively the positions and the generalised momenta. The space of observables, i.e. the smooth functions on , is naturally endowed with a binary operation called Poisson bracket, defined as . Such bracket satisfies the standard properties of a Lie bracket, plus a further compatibility with the product of functions, namely the Leibniz identity . Equivalently, the Poisson bracket on can be reformulated using the symplectic form . Indeed, if one considers the Hamiltonian vector field associated to a function , then the Poisson bracket can be rewritten as
In more abstract differential geometric terms, the configuration space is an -dimensional smooth manifold , and the phase space is its cotangent bundle (a manifold of dimension ). The latter is naturally equipped with a canonical symplectic form, which in canonical coordinates coincides with the one described above. In general, by Darboux theorem, any arbitrary symplectic manifold admits special coordinates where the form and the bracket are equivalent with, respectively, the symplectic form and the Poisson bracket of . Symplectic geometry is therefore the natural mathematical setting to describe classical Hamiltonian mechanics.
Poisson manifolds are further generalisations of symplectic manifolds, which arise by axiomatising the properties satisfied by the Poisson bracket on . More precisely, a Poisson manifold consists of a smooth manifold (not necessarily of even dimension) together with an abstract bracket , still called Poisson bracket, which does not necessarily arise from a symplectic form , but satisfies the same algebraic properties.
Poisson geometry is closely related to symplectic geometry: for instance every Poisson bracket determines a foliation of the manifold into symplectic submanifolds. However, the study of Poisson geometry requires techniques which are usually not employed in symplectic geometry, such as the theory of Lie groupoids and algebroids.
Moreover, there are natural examples of structures which should be "morally" symplectic, but exhibit singularities, i.e. their "symplectic form" should be allowed to be degenerate. For example, the smooth quotient of a symplectic manifold by a group acting by symplectomorphisms is a Poisson manifold, which is general is not symplectic. This situation models the case of a physical system which is invariant under symmetries: the “reduced” phase space, obtained quotienting the original phase space by the symmetries, in general is no longer symplectic, but is Poisson.
History
Although the modern definition of Poisson manifold appeared only in the 70's-80's, its origin dates back to the nineteenth century. Alan Weinstein synthetised the early history of Poisson geometry as follows:
"Poisson invented his brackets as a tool for classical dynamics. Jacobi realized the importance of these brackets and elucidated their algebraic properties, and Lie began the study of their geometry."
Indeed, Siméon Denis Poisson introduced in 1809 what we now call Poisson bracket in order to obtain new integrals of motion, i.e. quantities which are preserved throughout the motion. More precisely, he proved that, if two functions and are integral of motions, then there is a third function, denoted by , which is an integral of motion as well. In the Hamiltonian formulation of mechanics, where the dynamics of a physical system is described by a given function (usually the energy of the system), an integral of motion is simply a function which Poisson-commutes with , i.e. such that . What will become known as Poisson's theorem can then be formulated asPoisson computations occupied many pages, and his results were rediscovered and simplified two decades later by Carl Gustav Jacob Jacobi. Jacobi was the first to identify the general properties of the Poisson bracket as a binary operation. Moreover, he established the relation between the (Poisson) bracket of two functions and the (Lie) bracket of their associated Hamiltonian vector fields, i.e.in order to reformulate (and give a much shorter proof of) Poisson's theorem on integrals of motion. Jacobi’s work on Poisson brackets influenced the pioneering studies of Sophus Lie on symmetries of differential equations, which led to the discovery of Lie groups and Lie algebras. For instance, what are now called linear Poisson structures (i.e. Poisson brackets on a vector space which send linear functions to linear functions) correspond precisely to Lie algebra structures. Moreover, the integrability of a linear Poisson structure (see below) is closely related to the integrability of its associated Lie algebra to a Lie group.
The twentieth century saw the development of modern differential geometry, but only in 1977 André Lichnerowicz introduced Poisson structures as geometric objects on smooth manifolds. Poisson manifolds were further studied in the foundational 1983 paper of Alan Weinstein, where many basic structure theorems were first proved.
These works exerted a huge influence in the subsequent decades on the development of Poisson geometry, which today is a field of its own, and at the same time is deeply entangled with e.g. non-commutative geometry, integrable systems, topological field theories and representation theory.
Formal definition
There are two main points of view to define Poisson structures: it is customary and convenient to switch between them.
As bracket
Let be a smooth manifold and let denote the real algebra of smooth real-valued functions on , where the multiplication is defined pointwise. A Poisson bracket (or Poisson structure) on is an -bilinear map
defining a structure of Poisson algebra on , i.e. satisfying the following three conditions:
- Skew symmetry: .
- Jacobi identity: .
- Leibniz's Rule: .
The first two conditions ensure that defines a Lie-algebra structure on , while the third guarantees that, for each , the linear map is a derivation of the algebra , i.e., it defines a vector field called the Hamiltonian vector field associated to .
Choosing local coordinates , any Poisson bracket is given byfor the Poisson bracket of the coordinate functions.
As bivector
A Poisson bivector on a smooth manifold is a bivector field satisfying the non-linear partial differential equation , where
denotes the Schouten–Nijenhuis bracket on multivector fields. Choosing local coordinates , any Poisson bivector is given byfor skew-symmetric smooth functions on .
Equivalence of the definitions
Let be a bilinear skew-symmetric bracket (also called an almost Lie bracket) satisfying Leibniz's rule; then the function can be described afor a unique smooth bivector field . Conversely, given any smooth bivector field on , the same formula defines an almost Lie bracket that automatically obeys Leibniz's rule.
Then the following integrability conditions are equivalent:
- satisfies the Jacobi identity (hence it is a Poisson bracket);
- satisfies (hence it a Poisson bivector);
- the map is a Lie algebra homomorphism, i.e. the Hamiltonian vector fields satisfy ;
- the graph defines a Dirac structure, i.e. a Lagrangian subbundle which is closed under the standard Courant bracket.
A Poisson structure without any of the four requirements above is also called an almost Poisson structure.
Holomorphic Poisson structures
The definition of Poisson structure for real smooth manifolds can be also adapted to the complex case.
A holomorphic Poisson manifold is a complex manifold whose sheaf of holomorphic functions is a sheaf of Poisson algebras. Equivalently, recall that a holomorphic bivector field on a complex manifold is a section such that . Then a holomorphic Poisson structure on is a holomorphic bivector field satisfying the equation . Holomorphic Poisson manifolds can be characterised also in terms of Poisson-Nijenhuis structures.
Many results for real Poisson structures, e.g. regarding their integrability, extend also to holomorphic ones.
Holomorphic Poisson structures appear naturally in the context of generalised complex structures: locally, any generalised complex manifold is the product of a symplectic manifold and a holomorphic Poisson manifold.
Symplectic leaves
A Poisson manifold is naturally partitioned into regularly immersed symplectic manifolds of possibly different dimensions, called its symplectic leaves. These arise as the maximal integral submanifolds of the completely integrable singular foliation spanned by the Hamiltonian vector fields.
Rank of a Poisson structure
Recall that any bivector field can be regarded as a skew homomorphism . The image consists therefore of the values of all Hamiltonian vector fields evaluated at every .
The rank of at a point is the rank of the induced linear mapping . A point is called regular for a Poisson structure on if and only if the rank of is constant on an open neighborhood of ; otherwise, it is called a singular point. Regular points form an open dense subspace ; when , i.e. the map is of constant rank, the Poisson structure is called regular. Examples of regular Poisson structures include trivial and nondegenerate structures (see below).
The regular case
For a regular Poisson manifold, the image is a regular distribution; it is easy to check that it is involutive, therefore, by Frobenius theorem, admits a partition into leaves. Moreover, the Poisson bivector restricts nicely to each leaf, which become therefore symplectic manifolds.
The non-regular case
For a non-regular Poisson manifold the situation is more complicated, since the distribution is singular, i.e. the vector subspaces have different dimensions.
An integral submanifold for is a path-connected submanifold satisfying for all . Integral submanifolds of are automatically regularly immersed manifolds, and maximal integral submanifolds of are called the leaves of .
Moreover, each leaf carries a natural symplectic form determined by the condition for all and . Correspondingly, one speaks of the symplectic leaves of . Moreover, both the space of regular points and its complement are saturated by symplectic leaves, so symplectic leaves may be either regular or singular.
Weinstein splitting theorem
To show the existence of symplectic leaves also in the non-regular case, one can use Weinstein splitting theorem (or Darboux-Weinstein theorem). It states that any Poisson manifold splits locally around a point as the product of a symplectic manifold and a transverse Poisson submanifold vanishing at . More precisely, if , there are local coordinates such that the Poisson bivector splits as the sumwhere . Notice that, when the rank of is maximal (e.g. the Poisson structure is nondegenerate), one recovers the classical Darboux theorem for symplectic structures.
Examples
Trivial Poisson structures
Every manifold carries the trivial Poisson structure , equivalently described by the bivector . Every point of is therefore a zero-dimensional symplectic leaf.
Nondegenerate Poisson structures
A bivector field is called nondegenerate if is a vector bundle isomorphism. Nondegenerate Poisson bivector fields are actually the same thing as symplectic manifolds .
Indeed, there is a bijective correspondence between nondegenerate bivector fields and nondegenerate 2-forms , given bywhere is encoded by . Furthermore, is Poisson precisely if and only if is closed; in such case, the bracket becomes the canonical Poisson bracket from Hamiltonian mechanics:Non-degenerate Poisson structures have only one symplectic leaf, namely itself, and their Poisson algebra become a Poisson ring.
Linear Poisson structures
A Poisson structure on a vector space is called linear when the bracket of two linear functions is still linear.
The class of vector spaces with linear Poisson structures coincides actually with that of (dual of) Lie algebras. Indeed, the dual of any finite-dimensional Lie algebra carries a linear Poisson bracket, known in the literature under the names of Lie-Poisson, Kirillov-Poisson or KKS (Kostant-Kirillov-Souriau) structure:where and the derivatives are interpreted as elements of the bidual . Equivalently, the Poisson bivector can be locally expressed aswhere are coordinates on and are the associated structure constants of ,
Conversely, any linear Poisson structure on must be of this form, i.e. there exists a natural Lie algebra structure induced on whose Lie-Poisson bracket recovers .
The symplectic leaves of the Lie-Poisson structure on are the orbits of the coadjoint action of on .
Fibrewise linear Poisson structures
The previous example can be generalised as follows. A Poisson structure on the total space of a vector bundle is called fibrewise linear when the bracket of two smooth functions , whose restrictions to the fibres are linear, is still linear when restricted to the fibres. Equivalently, the Poisson bivector field is asked to satisfy for any , where is the scalar multiplication .
The class of vector bundles with linear Poisson structures coincides actually with that of (dual of) Lie algebroids. Indeed, the dual of any Lie algebroid carries a fibrewise linear Poisson bracket, uniquely defined bywhere is the evaluation by . Equivalently, the Poisson bivector can be locally expressed aswhere are coordinates around a point , are fibre coordinates on , dual to a local frame of , and and are the structure function of , i.e. the unique smooth functions satisfyingConversely, any fibrewise linear Poisson structure on must be of this form, i.e. there exists a natural Lie algebroid structure induced on whose Lie-Poisson backet recovers .
The symplectic leaves of are the cotangent bundles of the algebroid orbits ; equivalently, if is integrable to a Lie groupoid , they are the connected components of the orbits of the cotangent groupoid .
For one recovers linear Poisson structures, while for the fibrewise linear Poisson structure is the nondegenerate one given by the canonical symplectic structure of the cotangent bundle .
Other examples and constructions
- Any constant bivector field on a vector space is automatically a Poisson structure; indeed, all three terms in the Jacobiator are zero, being the bracket with a constant function.
- Any bivector field on a 2-dimensional manifold is automatically a Poisson structure; indeed, is a 3-vector field, which is always zero in dimension 2.
- Given any Poisson bivector field on a 3-dimensional manifold , the bivector field , for any , is automatically Poisson.
- The Cartesian product of two Poisson manifolds and is again a Poisson manifold.
- Let be a (regular) foliation of dimension on and a closed foliation two-form for which the power is nowhere-vanishing. This uniquely determines a regular Poisson structure on by requiring the symplectic leaves of to be the leaves of equipped with the induced symplectic form .
- Let be a Lie group acting on a Poisson manifold by Poisson diffeomorphisms. If the action is free and proper, the quotient manifold inherits a Poisson structure from (namely, it is the only one such that the submersion is a Poisson map).
Poisson cohomology
The Poisson cohomology groups of a Poisson manifold are the cohomology groups of the cochain complex
where the operator is the Schouten-Nijenhuis bracket with . Notice that such a sequence can be defined for every bivector on ; the condition is equivalent to , i.e. being Poisson.
Using the morphism , one obtains a morphism from the de Rham complex to the Poisson complex , inducing a group homomorphism . In the nondegenerate case, this becomes an isomorphism, so that the Poisson cohomology of a symplectic manifold fully recovers its de Rham cohomology.
Poisson cohomology is difficult to compute in general, but the low degree groups contain important geometric information on the Poisson structure:
- is the space of the Casimir functions, i.e. smooth functions Poisson-commuting with all others (or, equivalently, smooth functions constant on the symplectic leaves);
- is the space of Poisson vector fields modulo Hamiltonian vector fields;
- is the space of the infinitesimal deformations of the Poisson structure modulo trivial deformations;
- is the space of the obstructions to extend infinitesimal deformations to actual deformations.
Modular class
The modular class of a Poisson manifold is a class in the first Poisson cohomology group, which is the obstruction to the existence of a volume form invariant under the Hamiltonian flows. It was introduced by Koszul and Weinstein.
Recall that the divergence of a vector field with respect to a given volume form is the function defined by . The modular vector field of a Poisson manifold, with respect to a volume form , is the vector field defined by the divergence of the Hamiltonian vector fields: .
The modular vector field is a Poisson 1-cocycle, i.e. it satisfies . Moreover, given two volume forms and , the difference is a Hamiltonian vector field. Accordingly, the Poisson cohomology class does not depend on the original choice of the volume form , and it is called the modular class of the Poisson manifold.
A Poisson manifold is called unimodular if its modular class vanishes. Notice that this happens if and only if there exists a volume form such that the modular vector field vanishes, i.e. for every ; in other words, is invariant under the flow of any Hamiltonian vector field. For instance:
- symplectic structures are always unimodular, since the Liouville form is invariant under all Hamiltonian vector fields;
- for linear Poisson structures the modular class is the infinitesimal modular character of , since the modular vector field associated to the standard Lebesgue measure on is the constant vector field on . Then is unimodular as Poisson manifold if and only if it is unimodular as Lie algebra;
- For regular Poisson structures the modular class is related to the Reeb class of the underlying symplectic foliation (an element of the first leafwise cohomology group, which obstructs the existence of a volume normal form invariant by vector fields tangent to the foliation).
Poisson homology
Poisson cohomology was introduced in 1977 by Lichnerowicz himself; a decade later, Brylinski introduced a homology theory for Poisson manifolds, using the operator .
Several results have been proved relating Poisson homology and cohomology. For instance, for orientable unimodular Poisson manifolds, Poisson homology turns out to be isomorphic to Poisson cohomology: this was proved independently by Xu and Evans-Lu-Weinstein.
Poisson maps
A smooth map between Poisson manifolds is called a Poisson map if it respects the Poisson structures, i.e. one of the following equivalent conditions holds (compare with the equivalent definitions of Poisson structures above):
- the Poisson brackets and satisfy for every and smooth functions
- the bivector fields and are -related, i.e.
- the Hamiltonian vector fields associated to every smooth function are -related, i.e.
- the differential is a Dirac morphism.
An anti-Poisson map satisfies analogous conditions with a minus sign on one side.
Poisson manifolds are the objects of a category , with Poisson maps as morphisms. If a Poisson map is also a diffeomorphism, then we call a Poisson-diffeomorphism.
Examples
- Given the product Poisson manifold , the canonical projections , for , are Poisson maps.
- The inclusion mapping of a symplectic leaf, or of an open subspace, is a Poisson map.
- Given two Lie algebras and , the dual of any Lie algebra homomorphism induces a Poisson map between their linear Poisson structures.
- Given two Lie algebroids and , the dual of any Lie algebroid morphism over the identity induces a Poisson map between their fibrewise linear Poisson structure.
One should notice that the notion of a Poisson map is fundamentally different from that of a symplectic map. For instance, with their standard symplectic structures, there exist no Poisson maps , whereas symplectic maps abound.
Symplectic realisations
A symplectic realisation on a Poisson manifold M consists of a symplectic manifold together with a Poisson map which is a surjective submersion. Roughly speaking, the role of a symplectic realisation is to "desingularise" a complicated (degenerate) Poisson manifold by passing to a bigger, but easier (non-degenerate), one.
Notice that some authors define symplectic realisations without this last condition (so that, for instance, the inclusion of a symplectic leaf in a symplectic manifold is an example) and call full a symplectic realisation where is a surjective submersion. Examples of (full) symplectic realisations include the following:
- For the trivial Poisson structure , one takes as the cotangent bundle , with its canonical symplectic structure, and as the projection .
- For a non-degenerate Poisson structure one takes as the manifold itself and as the identity .
- For the Lie-Poisson structure on , one takes as the cotangent bundle of a Lie group integrating and as the dual map of the differential at the identity of the (left or right) translation .
A symplectic realisation is called complete if, for any complete Hamiltonian vector field , the vector field is complete as well. While symplectic realisations always exist for every Poisson manifold (and several different proofs are available), complete ones do not, and their existence plays a fundamental role in the integrability problem for Poisson manifolds (see below).
Integration of Poisson manifolds
Any Poisson manifold induces a structure of Lie algebroid on its cotangent bundle , also called the cotangent algebroid. The anchor map is given by while the Lie bracket on is defined asSeveral notions defined for Poisson manifolds can be interpreted via its Lie algebroid :
- the symplectic foliation is the usual (singular) foliation induced by the anchor of the Lie algebroid;
- the symplectic leaves are the orbits of the Lie algebroid;
- a Poisson structure on is regular precisely when the associated Lie algebroid is;
- the Poisson cohomology groups coincide with the Lie algebroid cohomology groups of with coefficients in the trivial representation;
- the modular class of a Poisson manifold coincides with the modular class of the associated Lie algebroid .
It is of crucial importance to notice that the Lie algebroid is not always integrable to a Lie groupoid.
Symplectic groupoids
A symplectic groupoid is a Lie groupoid together with a symplectic form which is also multiplicative, i.e. it satisfies the following algebraic compatibility with the groupoid multiplication: . Equivalently, the graph of is asked to be a Lagrangian submanifold of . Among the several consequences, the dimension of is automatically twice the dimension of . The notion of symplectic groupoid was introduced at the end of the 80's independently by several authors.
A fundamental theorem states that the base space of any symplectic groupoid admits a unique Poisson structure such that the source map and the target map are, respectively, a Poisson map and an anti-Poisson map. Moreover, the Lie algebroid is isomorphic to the cotangent algebroid associated to the Poisson manifold . Conversely, if the cotangent bundle of a Poisson manifold is integrable to some Lie groupoid , then is automatically a symplectic groupoid.
Accordingly, the integrability problem for a Poisson manifold consists in finding a (symplectic) Lie groupoid which integrates its cotangent algebroid; when this happens, the Poisson structure is called integrable.
While any Poisson manifold admits a local integration (i.e. a symplectic groupoid where the multiplication is defined only locally), there are general topological obstructions to its integrability, coming from the integrability theory for Lie algebroids. Using such obstructions, one can show that a Poisson manifold is integrable if and only if it admits a complete symplectic realisation.
The candidate for the symplectic groupoid integrating a given Poisson manifold is called Poisson homotopy groupoid and is simply the Weinstein groupoid of the cotangent algebroid , consisting of the quotient of the Banach space of a special class of paths in by a suitable equivalent relation. Equivalently, can be described as an infinite-dimensional symplectic quotient.
Examples of integrations
- The trivial Poisson structure is always integrable, the symplectic groupoid being the bundle of abelian (additive) groups with the canonical symplectic form.
- A non-degenerate Poisson structure on is always integrable, the symplectic groupoid being the pair groupoid together with the symplectic form (for ).
- A Lie-Poisson structure on is always integrable, the symplectic groupoid being the (coadjoint) action groupoid , for the simply connected integration of , together with the canonical symplectic form of .
- A Lie-Poisson structure on is integrable if and only if the Lie algebroid is integrable to a Lie groupoid , the symplectic groupoid being the cotangent groupoid with the canonical symplectic form.
Submanifolds
A Poisson submanifold of is an immersed submanifold such that the immersion map is a Poisson map. Equivalently, one asks that every Hamiltonian vector field , for , is tangent to .
This definition is very natural and satisfies several good properties, e.g. the transverse intersection of two Poisson submanifolds is again a Poisson submanifold. However, it has also a few problems:
- Poisson submanifolds are rare: for instance, the only Poisson submanifolds of a symplectic manifold are the open sets;
- the definition does not behave functorially: if is a Poisson map transverse to a Poisson submanifold of , the submanifold of is not necessarily Poisson.
In order to overcome these problems, one often uses the notion of a Poisson transversal (originally called cosymplectic submanifold). This can be defined as a submanifold which is transverse to every symplectic leaf and such that the intersection is a symplectic submanifold of . It follows that any Poisson transversal inherits a canonical Poisson structure from . In the case of a nondegenerate Poisson manifold (whose only symplectic leaf is itself), Poisson transversals are the same thing as symplectic submanifolds.
More general classes of submanifolds play an important role in Poisson geometry, including Lie-Dirac submanifolds, Poisson-Dirac submanifolds, coisotropic submanifolds and pre-Poisson submanifolds.
See also
References
- ^ Lichnerowicz, A. (1977). "Les variétés de Poisson et leurs algèbres de Lie associées". J. Diff. Geom. 12 (2): 253–300. doi:10.4310/jdg/1214433987. MR 0501133.
- ^ Kosmann-Schwarzbach, Yvette (2022-11-29). "Seven Concepts Attributed to Siméon-Denis Poisson". SIGMA. Symmetry, Integrability and Geometry: Methods and Applications. 18: 092. doi:10.3842/SIGMA.2022.092.
- Weinstein, Alan (1998-08-01). "Poisson geometry". Differential Geometry and Its Applications. Symplectic Geometry. 9 (1): 213–238. doi:10.1016/S0926-2245(98)00022-9. ISSN 0926-2245.
- Poisson, Siméon Denis (1809). "Sur la variation des constantes arbitraires dans les questions de mécanique" [On the variation of arbitrary constants in the questions of mechanics]. Journal de l'École polytechnique [fr] (in French). 15e cahier (8): 266–344 – via HathiTrust.
- ^ Silva, Ana Cannas da; Weinstein, Alan (1999). Geometric models for noncommutative algebras (PDF). Providence, R.I.: American Mathematical Society. ISBN 0-8218-0952-0. OCLC 42433917.
- Lichnerowicz, A. (1977). "Les variétés de Poisson et leurs algèbres de Lie associées". J. Diff. Geom. 12 (2): 253–300. doi:10.4310/jdg/1214433987. MR 0501133.
- ^ Weinstein, Alan (1983-01-01). "The local structure of Poisson manifolds". Journal of Differential Geometry. 18 (3). doi:10.4310/jdg/1214437787. ISSN 0022-040X.
- Laurent-Gengoux, C.; Stienon, M.; Xu, P. (2010-07-08). "Holomorphic Poisson Manifolds and Holomorphic Lie Algebroids". International Mathematics Research Notices. 2008. arXiv:0707.4253. doi:10.1093/imrn/rnn088. ISSN 1073-7928.
- Laurent-Gengoux, Camille; Stiénon, Mathieu; Xu, Ping (2009-12-01). "Integration of holomorphic Lie algebroids". Mathematische Annalen. 345 (4): 895–923. arXiv:0803.2031. doi:10.1007/s00208-009-0388-7. ISSN 1432-1807. S2CID 41629.
- Broka, Damien; Xu, Ping (2022). "Symplectic realizations of holomorphic Poisson manifolds". Mathematical Research Letters. 29 (4): 903–944. arXiv:1512.08847. doi:10.4310/MRL.2022.v29.n4.a1. ISSN 1945-001X.
- Bailey, Michael (2013-08-01). "Local classification of generalize complex structures". Journal of Differential Geometry. 95 (1). arXiv:1201.4887. doi:10.4310/jdg/1375124607. ISSN 0022-040X.
- ^ Coste, A.; Dazord, P.; Weinstein, A. (1987). "Groupoïdes symplectiques" [Symplectic groupoids]. Publications du Département de mathématiques (Lyon) (in French) (2A): 1–62. ISSN 2547-6300.
- Courant, Theodore James (1990). "Dirac manifolds". Transactions of the American Mathematical Society. 319 (2): 631–661. doi:10.1090/S0002-9947-1990-0998124-1. ISSN 0002-9947.
- Kosmann-Schwarzbach, Yvette (2008-01-16). "Poisson Manifolds, Lie Algebroids, Modular Classes: a Survey". SIGMA. Symmetry, Integrability and Geometry: Methods and Applications. 4: 005. arXiv:0710.3098. Bibcode:2008SIGMA...4..005K. doi:10.3842/SIGMA.2008.005.
- Koszul, Jean-Louis (1985). "Crochet de Schouten-Nijenhuis et cohomologie" [Schouten-Nijenhuis bracket and cohomology]. Astérisque (in French). S131: 257–271.
- Weinstein, Alan (1997-11-01). "The modular automorphism group of a Poisson manifold". Journal of Geometry and Physics. 23 (3): 379–394. Bibcode:1997JGP....23..379W. doi:10.1016/S0393-0440(97)80011-3. ISSN 0393-0440.
- ^ Evens, Sam; Lu, Jiang-Hua; Weinstein, Alan (1999). "Transverse measures, the modular class and a cohomology pairing for Lie algebroids". The Quarterly Journal of Mathematics. 50 (200): 417–436. arXiv:dg-ga/9610008. doi:10.1093/qjmath/50.200.417.
- Abouqateb, Abdelhak; Boucetta, Mohamed (2003-07-01). "The modular class of a regular Poisson manifold and the Reeb class of its symplectic foliation". Comptes Rendus Mathematique. 337 (1): 61–66. arXiv:math/0211405v1. doi:10.1016/S1631-073X(03)00254-1. ISSN 1631-073X.
- Brylinski, Jean-Luc (1988-01-01). "A differential complex for Poisson manifolds". Journal of Differential Geometry. 28 (1). doi:10.4310/jdg/1214442161. ISSN 0022-040X. S2CID 122451743.
- Fernández, Marisa; Ibáñez, Raúl; León, Manuel de (1996). "Poisson cohomology and canonical homology of Poisson manifolds". Archivum Mathematicum. 032 (1): 29–56. ISSN 0044-8753.
- Xu, Ping (1999-02-01). "Gerstenhaber Algebras and BV-Algebras in Poisson Geometry". Communications in Mathematical Physics. 200 (3): 545–560. arXiv:dg-ga/9703001. Bibcode:1999CMaPh.200..545X. doi:10.1007/s002200050540. ISSN 1432-0916. S2CID 16559555.
- ^ Karasev, M. V. (1987-06-30). "Analogues of the Objects of Lie Group Theory for Nonlinear Poisson Brackets". Mathematics of the USSR-Izvestiya. 28 (3): 497–527. Bibcode:1987IzMat..28..497K. doi:10.1070/im1987v028n03abeh000895. ISSN 0025-5726.
- Crainic, Marius; Marcut, Ioan (2011). "On the extistence of symplectic realizations". Journal of Symplectic Geometry. 9 (4): 435–444. doi:10.4310/JSG.2011.v9.n4.a2. ISSN 1540-2347.
- ^ Crainic, Marius; Fernandes, Rui (2004-01-01). "Integrability of Poisson Brackets". Journal of Differential Geometry. 66 (1). doi:10.4310/jdg/1090415030. ISSN 0022-040X.
- Weinstein, Alan (1987-01-01). "Symplectic groupoids and Poisson manifolds". Bulletin of the American Mathematical Society. 16 (1): 101–105. doi:10.1090/S0273-0979-1987-15473-5. ISSN 0273-0979.
- Zakrzewski, S. (1990). "Quantum and classical pseudogroups. II. Differential and symplectic pseudogroups". Communications in Mathematical Physics. 134 (2): 371–395. doi:10.1007/BF02097707. ISSN 0010-3616. S2CID 122926678 – via Project Euclid.
- ^ Albert, Claude; Dazord, Pierre (1991). Dazord, Pierre; Weinstein, Alan (eds.). "Groupoïdes de Lie et Groupoïdes Symplectiques" [Lie Groupoids and Symplectic Groupoids]. Symplectic Geometry, Groupoids, and Integrable Systems. Mathematical Sciences Research Institute Publications (in French). 20. New York, NY: Springer US: 1–11. doi:10.1007/978-1-4613-9719-9_1. ISBN 978-1-4613-9719-9.
- Liu, Z. -J.; Xu, P. (1996-01-01). "Exact Lie bialgebroids and Poisson groupoids". Geometric & Functional Analysis GAFA. 6 (1): 138–145. doi:10.1007/BF02246770. ISSN 1420-8970. S2CID 121836719 – via European Digital Mathematics Library.
- Crainic, Marius; Fernandes, Rui (2003-03-01). "Integrability of Lie brackets". Annals of Mathematics. 157 (2): 575–620. doi:10.4007/annals.2003.157.575. ISSN 0003-486X.
- Cattaneo, Alberto S.; Felder, Giovanni (2001). "Poisson sigma models and symplectic groupoids". Quantization of Singular Symplectic Quotients. Basel: Birkhäuser: 61–93. doi:10.1007/978-3-0348-8364-1_4. ISBN 978-3-0348-8364-1. S2CID 10248666.
- Zambon, Marco (2011). Ebeling, Wolfgang; Hulek, Klaus; Smoczyk, Knut (eds.). "Submanifolds in Poisson geometry: a survey". Complex and Differential Geometry. Springer Proceedings in Mathematics. 8. Berlin, Heidelberg: Springer: 403–420. doi:10.1007/978-3-642-20300-8_20. ISBN 978-3-642-20300-8.
Books and surveys
- Bhaskara, K. H.; Viswanath, K. (1988). Poisson algebras and Poisson manifolds. Longman. ISBN 0-582-01989-3.
- Cannas da Silva, Ana; Weinstein, Alan (1999). Geometric models for noncommutative algebras. AMS Berkeley Mathematics Lecture Notes, 10.
- Dufour, J.-P.; Zung, N.T. (2005). Poisson Structures and Their Normal Forms. Vol. 242. Birkhäuser Progress in Mathematics.
- Crainic, Marius; Loja Fernandes, Rui; Mărcuț, Ioan (2021). Lectures on Poisson Geometry. Graduate Studies in Mathematics. American Mathematical Society. ISBN 978-1-4704-6667-1. Previous version available on .
- Guillemin, Victor; Sternberg, Shlomo (1984). Symplectic Techniques in Physics. New York: Cambridge University Press. ISBN 0-521-24866-3.
- Libermann, Paulette; Marle, C.-M. (1987). Symplectic geometry and analytical mechanics. Dordrecht: Reidel. ISBN 90-277-2438-5.
- Vaisman, Izu (1994). Lectures on the Geometry of Poisson Manifolds. Birkhäuser. See also the review by Ping Xu in the Bulletin of the AMS.
- Weinstein, Alan (1998). "Poisson geometry". Differential Geometry and Its Applications. 9 (1–2): 213–238. doi:10.1016/S0926-2245(98)00022-9.
Manifolds (Glossary) | |||||||||
---|---|---|---|---|---|---|---|---|---|
Basic concepts | |||||||||
Main results (list) | |||||||||
Maps | |||||||||
Types of manifolds | |||||||||
Tensors |
| ||||||||
Related | |||||||||
Generalizations |