stability of symplectic leaves - técnico, lisboarfern/meus-papers/...action : g m !m ,homomorphism...
TRANSCRIPT
![Page 1: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/1.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Stability of Symplectic Leaves
Rui Loja Fernandes
Departamento de MatemáticaInstituto Superior Técnico
Paulette Libermann :: Héritage et Descendance(Institut Henri Poincaré, December 2009)
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 2: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/2.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Goals
Establish stability results for symplectic leaves of Poissonmanifolds;
Understand the relationship between (apparently) distinctstability results in different geometric settings;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 3: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/3.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Goals
Establish stability results for symplectic leaves of Poissonmanifolds;
Understand the relationship between (apparently) distinctstability results in different geometric settings;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 4: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/4.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Goals
Establish stability results for symplectic leaves of Poissonmanifolds;
Understand the relationship between (apparently) distinctstability results in different geometric settings;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 5: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/5.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Goals
Establish stability results for symplectic leaves of Poissonmanifolds;
Understand the relationship between (apparently) distinctstability results in different geometric settings;
Based on the paper:• M. Crainic and RLF, Stability of symplectic leaves, Preprint arXiv:0810.4437(to appear in Inventiones Mathematicae).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 6: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/6.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Flows: Stability of periodic orbits
Definition
A periodic orbit of a vector field X ∈ X(M) is called stable ifevery nearby vector field also has a nearby periodic orbit.
Basic Fact: Stability is controled by the Poincaré returnmap h : T → T .
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 7: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/7.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Flows: Stability of periodic orbits
Definition
A periodic orbit of a vector field X ∈ X(M) is called stable ifevery nearby vector field also has a nearby periodic orbit.
Basic Fact: Stability is controled by the Poincaré returnmap h : T → T .
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 8: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/8.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Flows: Stability of periodic orbits
Definition
A periodic orbit of a vector field X ∈ X(M) is called stable ifevery nearby vector field also has a nearby periodic orbit.
Basic Fact: Stability is controled by the Poincaré returnmap h : T → T .
x
T
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 9: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/9.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Flows: Stability of periodic orbits
Definition
A periodic orbit of a vector field X ∈ X(M) is called stable ifevery nearby vector field also has a nearby periodic orbit.
Basic Fact: Stability is controled by the Poincaré returnmap h : T → T .
x
T
h(y) y
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 10: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/10.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Flows: Stability of periodic orbits
Simple assumptions on dxh lead to stability:If 1 is not an eigenvalue of dxh then the orbit is stable.
Consider the representation ρ : Z→ GL(ν(O)x ), defined by
n · v := (dxh)nv .
H•(Z, ν(O)x ) ≡ group cohomology with coefficients in ν(O)x .
Theorem
Let O be a periodic orbit of a vector field X and assume that
H1(Z, ν(O)x ) = 0.
Then O is stable: every nearby vector field has a family ofnearby periodic orbits smoothly parametrized by H0(Z, ν(O)x ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 11: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/11.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Flows: Stability of periodic orbits
Simple assumptions on dxh lead to stability:If 1 is not an eigenvalue of dxh then the orbit is stable.
Consider the representation ρ : Z→ GL(ν(O)x ), defined by
n · v := (dxh)nv .
H•(Z, ν(O)x ) ≡ group cohomology with coefficients in ν(O)x .
Theorem
Let O be a periodic orbit of a vector field X and assume that
H1(Z, ν(O)x ) = 0.
Then O is stable: every nearby vector field has a family ofnearby periodic orbits smoothly parametrized by H0(Z, ν(O)x ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 12: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/12.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Flows: Stability of periodic orbits
Simple assumptions on dxh lead to stability:If 1 is not an eigenvalue of dxh then the orbit is stable.
Consider the representation ρ : Z→ GL(ν(O)x ), defined by
n · v := (dxh)nv .
H•(Z, ν(O)x ) ≡ group cohomology with coefficients in ν(O)x .
Theorem
Let O be a periodic orbit of a vector field X and assume that
H1(Z, ν(O)x ) = 0.
Then O is stable: every nearby vector field has a family ofnearby periodic orbits smoothly parametrized by H0(Z, ν(O)x ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 13: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/13.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Flows: Stability of periodic orbits
Simple assumptions on dxh lead to stability:If 1 is not an eigenvalue of dxh then the orbit is stable.
Consider the representation ρ : Z→ GL(ν(O)x ), defined by
n · v := (dxh)nv .
H•(Z, ν(O)x ) ≡ group cohomology with coefficients in ν(O)x .
Theorem
Let O be a periodic orbit of a vector field X and assume that
H1(Z, ν(O)x ) = 0.
Then O is stable: every nearby vector field has a family ofnearby periodic orbits smoothly parametrized by H0(Z, ν(O)x ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 14: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/14.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
Fix a manifold M and a Lie group GAction α : G ×M → M ⇔ homomorphism α : G→ Diff(M)
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 15: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/15.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
Fix a manifold M and a Lie group GAction α : G ×M → M ⇔ homomorphism α : G→ Diff(M)
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 16: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/16.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
Fix a manifold M and a Lie group GAction α : G ×M → M ⇔ homomorphism α : G→ Diff(M)
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 17: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/17.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
Fix a manifold M and a Lie group GAction α : G ×M → M ⇔ homomorphism α : G→ Diff(M)
Act(G; M) ⊂ Maps(G; Diff(M))
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 18: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/18.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
Fix a manifold M and a Lie group GAction α : G ×M → M ⇔ homomorphism α : G→ Diff(M)
Act(G; M) ⊂ Maps(G; Diff(M))
=⇒ Act(G; M) has a natural Cr topology
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 19: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/19.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
Fix a manifold M and a Lie group GAction α : G ×M → M ⇔ homomorphism α : G→ Diff(M)
Act(G; M) ⊂ Maps(G; Diff(M))
=⇒ Act(G; M) has a natural Cr topology
Definition
An orbit O of α ∈ Act(G; M) is called stable if every nearbyaction in Act(G; M) has a nearby orbit diffeomorphic to O.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 20: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/20.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
The stability of an orbit O is controled by the isotropyrepresentation:
Gx := g ∈ G : g · x = x isotropy group at x ∈ O.g ∈ Gx induces a map αg : M → M, y 7→ g · y that fixes xand maps the orbit to the orbit.
O
x
dxαg : TxM → TxM, dxαg(TxO) = TxO.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 21: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/21.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
The stability of an orbit O is controled by the isotropyrepresentation:
Gx := g ∈ G : g · x = x isotropy group at x ∈ O.g ∈ Gx induces a map αg : M → M, y 7→ g · y that fixes xand maps the orbit to the orbit.
O
x
dxαg : TxM → TxM, dxαg(TxO) = TxO.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 22: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/22.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
The stability of an orbit O is controled by the isotropyrepresentation:
Gx := g ∈ G : g · x = x isotropy group at x ∈ O.g ∈ Gx induces a map αg : M → M, y 7→ g · y that fixes xand maps the orbit to the orbit.
O
x
dxαg : TxM → TxM, dxαg(TxO) = TxO.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 23: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/23.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
The stability of an orbit O is controled by the isotropyrepresentation:
Gx := g ∈ G : g · x = x isotropy group at x ∈ O.g ∈ Gx induces a map αg : M → M, y 7→ g · y that fixes xand maps the orbit to the orbit.
O
x
dxαg : TxM → TxM, dxαg(TxO) = TxO.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 24: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/24.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
The stability of an orbit O is controled by the isotropyrepresentation:
Gx := g ∈ G : g · x = x isotropy group at x ∈ O.g ∈ Gx induces a map αg : M → M, y 7→ g · y that fixes xand maps the orbit to the orbit.
O
x
dxαg : TxM → TxM, dxαg(TxO) = TxO.⇒ ρ(g) : ν(O)x → ν(O)x .
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 25: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/25.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
Linear normal isotropy representation:
ρ : Gx → GL(ν(O)x )
H•(Gx , ν(O)x ) denotes the corresponding group cohomology.
Theorem (Hirsch,Stowe)
Let O be a compact orbit and assume that
H1(Gx , ν(O)x ) = 0.
Then O is stable: every nearby action has a family of nearbydiffeomorphic orbits smoothly parametrized by H0(Gx , ν(O)x ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 26: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/26.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
Linear normal isotropy representation:
ρ : Gx → GL(ν(O)x )
H•(Gx , ν(O)x ) denotes the corresponding group cohomology.
Theorem (Hirsch,Stowe)
Let O be a compact orbit and assume that
H1(Gx , ν(O)x ) = 0.
Then O is stable: every nearby action has a family of nearbydiffeomorphic orbits smoothly parametrized by H0(Gx , ν(O)x ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 27: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/27.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Group actions: stability of orbits
Linear normal isotropy representation:
ρ : Gx → GL(ν(O)x )
H•(Gx , ν(O)x ) denotes the corresponding group cohomology.
Theorem (Hirsch,Stowe)
Let O be a compact orbit and assume that
H1(Gx , ν(O)x ) = 0.
Then O is stable: every nearby action has a family of nearbydiffeomorphic orbits smoothly parametrized by H0(Gx , ν(O)x ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 28: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/28.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
Fix a manifold M and denote by Folq(M) the set of codimensionq foliations. Frobenius says:
Folq(M) oo // D : M → Grq(TM)|D is involutive
=⇒ Folq(M) has a natural Cr -topology
Definition
A leaf L of a foliation F ∈ Folk (M) is called stable if everynearby foliation in Folk (M) has a nearby leaf diffeomorphic to L.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 29: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/29.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
Fix a manifold M and denote by Folq(M) the set of codimensionq foliations. Frobenius says:
Folq(M) oo // D : M → Grq(TM)|D is involutive
=⇒ Folq(M) has a natural Cr -topology
Definition
A leaf L of a foliation F ∈ Folk (M) is called stable if everynearby foliation in Folk (M) has a nearby leaf diffeomorphic to L.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 30: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/30.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
Fix a manifold M and denote by Folq(M) the set of codimensionq foliations. Frobenius says:
Folq(M) oo // D : M → Grq(TM)|D is involutive
=⇒ Folq(M) has a natural Cr -topology
Definition
A leaf L of a foliation F ∈ Folk (M) is called stable if everynearby foliation in Folk (M) has a nearby leaf diffeomorphic to L.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 31: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/31.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
Fix a manifold M and denote by Folq(M) the set of codimensionq foliations. Frobenius says:
Folq(M) oo // D : M → Grq(TM)|D is involutive
=⇒ Folq(M) has a natural Cr -topology
Definition
A leaf L of a foliation F ∈ Folk (M) is called stable if everynearby foliation in Folk (M) has a nearby leaf diffeomorphic to L.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 32: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/32.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
Fix a manifold M and denote by Folq(M) the set of codimensionq foliations. Frobenius says:
Folq(M) oo // D : M → Grq(TM)|D is involutive
=⇒ Folq(M) has a natural Cr -topology
Definition
A leaf L of a foliation F ∈ Folk (M) is called stable if everynearby foliation in Folk (M) has a nearby leaf diffeomorphic to L.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 33: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/33.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
The stability of a leaf L is controled by the holonomy of L.
L
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 34: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/34.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
The stability of a leaf L is controled by the holonomy of L.
L
T
Sx
γ
y
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 35: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/35.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
The stability of a leaf L is controled by the holonomy of L.
L
T
Sx
γ
y
U1
U3
U
U
U
2
4
5
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 36: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/36.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
The stability of a leaf L is controled by the holonomy of L.
L
T
Sx
γ
y
U1
U3
U
U
U
2
4
5
=T
T
T
T
T
0
1
2
3
4
5=T
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 37: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/37.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
The stability of a leaf L is controled by the holonomy of L.
L
T
Sx
γ
y
U1
U3
U
U
U
2
4
5
=T
T
T
T
T
0
1
2
3
4
5=T
Fix x ∈ L so that we have the holonomy homomorphism:
Hol := HolT ,T : π1(L, x)→ Diffx (T ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 38: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/38.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
The stability of a leaf L is controled by the holonomy of L.
L
T
Sx
γ
y
U1
U3
U
U
U
2
4
5
=T
T
T
T
T
0
1
2
3
4
5=T
Fix x ∈ L so that we have the holonomy homomorphism:
Hol := HolT ,T : π1(L, x)→ Diffx (T ).
Note: The Poincaré return map is a special case of this.Rui Loja Fernandes Stability of Symplectic Leaves
![Page 39: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/39.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
Differentiating gives the linear holonomy representation:
ρ : π1(L, x)→ GL(ν(L)x ), ρ := dx Hol
H•(π1(L, x), ν(L)x ) denotes corresponding group cohomology.
Theorem (Reeb, Thurston, Langevin & Rosenberg)
Let L be a compact leaf and assume that
H1(π1(L, x), ν(L)x ) = 0.
Then L is stable: every nearby foliation has a family of nearbydiffeomorphic leaves smoothly parametrized by H0(π1(L, x), ν(L)x ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 40: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/40.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
Differentiating gives the linear holonomy representation:
ρ : π1(L, x)→ GL(ν(L)x ), ρ := dx Hol
H•(π1(L, x), ν(L)x ) denotes corresponding group cohomology.
Theorem (Reeb, Thurston, Langevin & Rosenberg)
Let L be a compact leaf and assume that
H1(π1(L, x), ν(L)x ) = 0.
Then L is stable: every nearby foliation has a family of nearbydiffeomorphic leaves smoothly parametrized by H0(π1(L, x), ν(L)x ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 41: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/41.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Foliations: stability of leaves
Differentiating gives the linear holonomy representation:
ρ : π1(L, x)→ GL(ν(L)x ), ρ := dx Hol
H•(π1(L, x), ν(L)x ) denotes corresponding group cohomology.
Theorem (Reeb, Thurston, Langevin & Rosenberg)
Let L be a compact leaf and assume that
H1(π1(L, x), ν(L)x ) = 0.
Then L is stable: every nearby foliation has a family of nearbydiffeomorphic leaves smoothly parametrized by H0(π1(L, x), ν(L)x ).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 42: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/42.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Stability of leaves versus stability of orbits
In general, the two theorems are quite different (e.g., dimensionof orbits of actions can vary).
However:if Gx is discrete, dimension of orbits is locally constant;if, additionally, G is 1-connected, then π1(O, x) = Gx ;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 43: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/43.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Stability of leaves versus stability of orbits
In general, the two theorems are quite different (e.g., dimensionof orbits of actions can vary).
However:if Gx is discrete, dimension of orbits is locally constant;if, additionally, G is 1-connected, then π1(O, x) = Gx ;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 44: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/44.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Stability of leaves versus stability of orbits
In general, the two theorems are quite different (e.g., dimensionof orbits of actions can vary).
However:if Gx is discrete, dimension of orbits is locally constant;if, additionally, G is 1-connected, then π1(O, x) = Gx ;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 45: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/45.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Stability of leaves versus stability of orbits
In general, the two theorems are quite different (e.g., dimensionof orbits of actions can vary).
However:if Gx is discrete, dimension of orbits is locally constant;if, additionally, G is 1-connected, then π1(O, x) = Gx ;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 46: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/46.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
FlowsGroup actionsFoliations
Stability of leaves versus stability of orbits
In general, the two theorems are quite different (e.g., dimensionof orbits of actions can vary).
However:if Gx is discrete, dimension of orbits is locally constant;if, additionally, G is 1-connected, then π1(O, x) = Gx ;
Then the linear holonomy coincides with the linear isotropyrepresentation, and the theorem for actions follows from thetheorem for foliations.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 47: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/47.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Poisson structuresFor Poisson bracket , we denote by π the associated Poissonbivector:
π(df , dg) := f ,g.
Poiss(M) ←→ π : M → ∧2(TM)| [π, π] = 0.
=⇒ Poiss(M) has a natural Cr topology
Definition
A symplectic leaf S of π ∈ Poiss(M) is called:
stable if every nearby Poisson structure in Poiss(M) has anearby leaf diffeomorphic to S.
strongly stable if every nearby Poisson structure in Poiss(M) hasa nearby leaf symplectomorphic to S.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 48: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/48.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Poisson structuresFor Poisson bracket , we denote by π the associated Poissonbivector:
π(df , dg) := f ,g.
Poiss(M) ←→ π : M → ∧2(TM)| [π, π] = 0.
=⇒ Poiss(M) has a natural Cr topology
Definition
A symplectic leaf S of π ∈ Poiss(M) is called:
stable if every nearby Poisson structure in Poiss(M) has anearby leaf diffeomorphic to S.
strongly stable if every nearby Poisson structure in Poiss(M) hasa nearby leaf symplectomorphic to S.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 49: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/49.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Poisson structuresFor Poisson bracket , we denote by π the associated Poissonbivector:
π(df , dg) := f ,g.
Poiss(M) ←→ π : M → ∧2(TM)| [π, π] = 0.
=⇒ Poiss(M) has a natural Cr topology
Definition
A symplectic leaf S of π ∈ Poiss(M) is called:
stable if every nearby Poisson structure in Poiss(M) has anearby leaf diffeomorphic to S.
strongly stable if every nearby Poisson structure in Poiss(M) hasa nearby leaf symplectomorphic to S.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 50: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/50.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Poisson structuresFor Poisson bracket , we denote by π the associated Poissonbivector:
π(df , dg) := f ,g.
Poiss(M) ←→ π : M → ∧2(TM)| [π, π] = 0.
=⇒ Poiss(M) has a natural Cr topology
Definition
A symplectic leaf S of π ∈ Poiss(M) is called:
stable if every nearby Poisson structure in Poiss(M) has anearby leaf diffeomorphic to S.
strongly stable if every nearby Poisson structure in Poiss(M) hasa nearby leaf symplectomorphic to S.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 51: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/51.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Poisson structuresFor Poisson bracket , we denote by π the associated Poissonbivector:
π(df , dg) := f ,g.
Poiss(M) ←→ π : M → ∧2(TM)| [π, π] = 0.
=⇒ Poiss(M) has a natural Cr topology
Definition
A symplectic leaf S of π ∈ Poiss(M) is called:
stable if every nearby Poisson structure in Poiss(M) has anearby leaf diffeomorphic to S.
strongly stable if every nearby Poisson structure in Poiss(M) hasa nearby leaf symplectomorphic to S.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 52: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/52.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Examples (Constant and linear Poisson structures)
M = R2 with π = 0 −→ πε = ε ∂∂x ∧∂∂y
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 53: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/53.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Examples (Constant and linear Poisson structures)
M = R2 with π = 0 −→ πε = ε ∂∂x ∧∂∂y
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 54: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/54.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Examples (Constant and linear Poisson structures)
M = R2 with π = 0 −→ πε = ε ∂∂x ∧∂∂y
=⇒ no leaves are stable.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 55: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/55.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Examples (Constant and linear Poisson structures)
M = sl∗(2,R) ' R3
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 56: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/56.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Examples (Constant and linear Poisson structures)
M = sl∗(2,R) ' R3
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 57: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/57.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Examples (Constant and linear Poisson structures)
M = sl∗(2,R) ' R3
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 58: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/58.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Examples (Constant and linear Poisson structures)
M = sl∗(2,R) ' R3
=⇒ some leaves are stable.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 59: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/59.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Examples (Constant and linear Poisson structures)
M = su∗(2) ' R3
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 60: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/60.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Examples (Constant and linear Poisson structures)
M = su∗(2) ' R3
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 61: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/61.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Examples (Constant and linear Poisson structures)
M = su∗(2) ' R3
=⇒ all leaves are stable.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 62: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/62.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Poisson cohomologies
Stability of a symplectic leaf S of a Poisson manifod (M, π) iscontroled by certain cohomologies:
Poisson cohomology: H•π(M) is the cohomology of (Xk (M), dπ),
the complex of multivector fields with dπ := [π, ].
Restricted Poisson cohomology: H•π,S(M) is the cohomology of
(X•S(M), dπ|S), the complex of multivector fields along S.
Relative Poisson cohomology: H•π(M,S) is the cohomology of
the quotient complex:
X•(M,S) := X•S(M)/Ω•(S)
(the inclusion Ω•(S) → X•S(M) is obtained by dualizing theanchor π] : T ∗S M −→ TS).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 63: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/63.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Poisson cohomologies
Stability of a symplectic leaf S of a Poisson manifod (M, π) iscontroled by certain cohomologies:
Poisson cohomology: H•π(M) is the cohomology of (Xk (M), dπ),
the complex of multivector fields with dπ := [π, ].
Restricted Poisson cohomology: H•π,S(M) is the cohomology of
(X•S(M), dπ|S), the complex of multivector fields along S.
Relative Poisson cohomology: H•π(M,S) is the cohomology of
the quotient complex:
X•(M,S) := X•S(M)/Ω•(S)
(the inclusion Ω•(S) → X•S(M) is obtained by dualizing theanchor π] : T ∗S M −→ TS).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 64: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/64.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Poisson cohomologies
Stability of a symplectic leaf S of a Poisson manifod (M, π) iscontroled by certain cohomologies:
Poisson cohomology: H•π(M) is the cohomology of (Xk (M), dπ),
the complex of multivector fields with dπ := [π, ].
Restricted Poisson cohomology: H•π,S(M) is the cohomology of
(X•S(M), dπ|S), the complex of multivector fields along S.
Relative Poisson cohomology: H•π(M,S) is the cohomology of
the quotient complex:
X•(M,S) := X•S(M)/Ω•(S)
(the inclusion Ω•(S) → X•S(M) is obtained by dualizing theanchor π] : T ∗S M −→ TS).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 65: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/65.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Poisson cohomologies
Stability of a symplectic leaf S of a Poisson manifod (M, π) iscontroled by certain cohomologies:
Poisson cohomology: H•π(M) is the cohomology of (Xk (M), dπ),
the complex of multivector fields with dπ := [π, ].
Restricted Poisson cohomology: H•π,S(M) is the cohomology of
(X•S(M), dπ|S), the complex of multivector fields along S.
Relative Poisson cohomology: H•π(M,S) is the cohomology of
the quotient complex:
X•(M,S) := X•S(M)/Ω•(S)
(the inclusion Ω•(S) → X•S(M) is obtained by dualizing theanchor π] : T ∗S M −→ TS).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 66: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/66.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Stability
Theorem (Crainic & RLF)
Let S be a compact symplectic leaf and assume that
H2π(M,S) = 0.
Then S is stable: every nearby Poisson structure has a family ofnearby diffeomorphic leaves smoothly parametrized by H1
π(M,S).
The relative Poisson cohomology H•π(M,S) is typically finite
dimensional.
H1π(M,S) coincides with the space of leaves of the first jet
approximation j1Sπ which project diffeomorphically to S.
Again, this result is quite different from the previous ones.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 67: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/67.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Stability
Theorem (Crainic & RLF)
Let S be a compact symplectic leaf and assume that
H2π(M,S) = 0.
Then S is stable: every nearby Poisson structure has a family ofnearby diffeomorphic leaves smoothly parametrized by H1
π(M,S).
The relative Poisson cohomology H•π(M,S) is typically finite
dimensional.
H1π(M,S) coincides with the space of leaves of the first jet
approximation j1Sπ which project diffeomorphically to S.
Again, this result is quite different from the previous ones.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 68: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/68.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Stability
Theorem (Crainic & RLF)
Let S be a compact symplectic leaf and assume that
H2π(M,S) = 0.
Then S is stable: every nearby Poisson structure has a family ofnearby diffeomorphic leaves smoothly parametrized by H1
π(M,S).
The relative Poisson cohomology H•π(M,S) is typically finite
dimensional.
H1π(M,S) coincides with the space of leaves of the first jet
approximation j1Sπ which project diffeomorphically to S.
Again, this result is quite different from the previous ones.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 69: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/69.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Stability
Theorem (Crainic & RLF)
Let S be a compact symplectic leaf and assume that
H2π(M,S) = 0.
Then S is stable: every nearby Poisson structure has a family ofnearby diffeomorphic leaves smoothly parametrized by H1
π(M,S).
The relative Poisson cohomology H•π(M,S) is typically finite
dimensional.
H1π(M,S) coincides with the space of leaves of the first jet
approximation j1Sπ which project diffeomorphically to S.
Again, this result is quite different from the previous ones.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 70: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/70.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Strong stability
Theorem (Crainic & RLF)
Let S be a compact symplectic leaf and assume that
H2π,S(M) = 0.
Then S is strongly stable: every nearby Poisson structure has afamily of nearby symplectomorphic leaves smoothly parametrized byby the image of Φ : H1
π,S(M)→ H1π(M,S).
The parameter space of strongly stable leaves is a subspace of theparameter space for stable leaves.
It coincides with the space of leaves of j1Sπ which project
diffeomorphically to S and which have symplectic form isotopic to ωS .
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 71: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/71.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Strong stability
Theorem (Crainic & RLF)
Let S be a compact symplectic leaf and assume that
H2π,S(M) = 0.
Then S is strongly stable: every nearby Poisson structure has afamily of nearby symplectomorphic leaves smoothly parametrized byby the image of Φ : H1
π,S(M)→ H1π(M,S).
The parameter space of strongly stable leaves is a subspace of theparameter space for stable leaves.
It coincides with the space of leaves of j1Sπ which project
diffeomorphically to S and which have symplectic form isotopic to ωS .
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 72: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/72.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Strong stability
Theorem (Crainic & RLF)
Let S be a compact symplectic leaf and assume that
H2π,S(M) = 0.
Then S is strongly stable: every nearby Poisson structure has afamily of nearby symplectomorphic leaves smoothly parametrized byby the image of Φ : H1
π,S(M)→ H1π(M,S).
The parameter space of strongly stable leaves is a subspace of theparameter space for stable leaves.
It coincides with the space of leaves of j1Sπ which project
diffeomorphically to S and which have symplectic form isotopic to ωS .
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 73: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/73.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Stability versus strong stability
The condition for strong stability (i.e., H2π,S(M) = 0) does not imply
the condition for stability (H2π(M,S) = 0).
Conjecture
If S is a compact symplectic leaf and the map
Φ : H2π,S(M)→ H2
π(M,S)
vanishes, then any Poisson structure close enough to π admitsat least one nearby symplectic leaf diffeomorphic to S.
There is a similar conjecture for group actions due to Stowe (stillopen?).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 74: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/74.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Stability versus strong stability
The condition for strong stability (i.e., H2π,S(M) = 0) does not imply
the condition for stability (H2π(M,S) = 0).
Conjecture
If S is a compact symplectic leaf and the map
Φ : H2π,S(M)→ H2
π(M,S)
vanishes, then any Poisson structure close enough to π admitsat least one nearby symplectic leaf diffeomorphic to S.
There is a similar conjecture for group actions due to Stowe (stillopen?).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 75: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/75.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Stability versus strong stability
The condition for strong stability (i.e., H2π,S(M) = 0) does not imply
the condition for stability (H2π(M,S) = 0).
Conjecture
If S is a compact symplectic leaf and the map
Φ : H2π,S(M)→ H2
π(M,S)
vanishes, then any Poisson structure close enough to π admitsat least one nearby symplectic leaf diffeomorphic to S.
There is a similar conjecture for group actions due to Stowe (stillopen?).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 76: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/76.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Necessary conditions for stability
A Poisson structure π is said to be of first order around a symplecticleaf S if π is Poisson diffeomorphic to j1Sπ in some neighborhood of S.
Theorem (Crainic & RLF)
Let π be a Poisson structure which is of first order around acompact symplectic leaf S. Then:
(i) If S is stable, then the map Φ : H2π,S(M)→ H2
π(M,S)vanishes.
(ii) If S is strongly stable, then H2π,S(M) = 0.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 77: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/77.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Necessary conditions for stability
A Poisson structure π is said to be of first order around a symplecticleaf S if π is Poisson diffeomorphic to j1Sπ in some neighborhood of S.
Theorem (Crainic & RLF)
Let π be a Poisson structure which is of first order around acompact symplectic leaf S. Then:
(i) If S is stable, then the map Φ : H2π,S(M)→ H2
π(M,S)vanishes.
(ii) If S is strongly stable, then H2π,S(M) = 0.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 78: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/78.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Example: dual of a Lie algebra
M = g∗ where g is a compact semi-simple Lie algebra:
Symplectic leaves are the coadjoint orbits: S = Oξ;
All leaves satisfy criteria for stability and strong stability:H2π,S(M) = H2
π(M,S) = 0.
We have H1π,S(M) = H2(S) and H1(M,S) = 0;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 79: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/79.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Example: dual of a Lie algebra
M = g∗ where g is a compact semi-simple Lie algebra:
Symplectic leaves are the coadjoint orbits: S = Oξ;
All leaves satisfy criteria for stability and strong stability:H2π,S(M) = H2
π(M,S) = 0.
We have H1π,S(M) = H2(S) and H1(M,S) = 0;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 80: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/80.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Example: dual of a Lie algebra
M = g∗ where g is a compact semi-simple Lie algebra:
Symplectic leaves are the coadjoint orbits: S = Oξ;
All leaves satisfy criteria for stability and strong stability:H2π,S(M) = H2
π(M,S) = 0.
We have H1π,S(M) = H2(S) and H1(M,S) = 0;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 81: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/81.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Example: dual of a Lie algebra
M = g∗ where g is a compact semi-simple Lie algebra:
Symplectic leaves are the coadjoint orbits: S = Oξ;
All leaves satisfy criteria for stability and strong stability:H2π,S(M) = H2
π(M,S) = 0.
We have H1π,S(M) = H2(S) and H1(M,S) = 0;
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 82: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/82.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Poisson structuresExamplesCohomologyStability criteria
Example: dual of a Lie algebra
M = g∗ where g is a compact semi-simple Lie algebra:
Symplectic leaves are the coadjoint orbits: S = Oξ;
All leaves satisfy criteria for stability and strong stability:H2π,S(M) = H2
π(M,S) = 0.
We have H1π,S(M) = H2(S) and H1(M,S) = 0;
Conclusion: Every nearby Poisson structure has a one nearbysymplectic leaf symplectomorphic to S and a dim Z (gξ)-family ofsymplectic leaves diffeomorphic to S.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 83: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/83.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Basic problem
Is there a general setup to deal with stability problems?
To answer this question one requires a setup where geometricobjects such as flows, actions, foliations, Poisson structures,etc., are all on equal footing.
=⇒ Lie groupoids/algebroids
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 84: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/84.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Basic problem
Is there a general setup to deal with stability problems?
To answer this question one requires a setup where geometricobjects such as flows, actions, foliations, Poisson structures,etc., are all on equal footing.
=⇒ Lie groupoids/algebroids
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 85: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/85.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Basic problem
Is there a general setup to deal with stability problems?
To answer this question one requires a setup where geometricobjects such as flows, actions, foliations, Poisson structures,etc., are all on equal footing.
=⇒ Lie groupoids/algebroids
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 86: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/86.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Lie algebroids
Definition
A Lie algebroid is a vector bundle A→ M with:(i) a Lie bracket [ , ]A : Γ(A)× Γ(A)→ Γ(A);(ii) a bundle map ρ : A→ TM (the anchor);
such that:
[α, fβ]A = f [αβ]A + ρ(α)(f )β, (f ∈ C∞(M), α, β ∈ Γ(A)).
Im ρ ⊂ TM is a integrable (singular) distribution⇓
Lie algebroids have a characteristic foliation
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 87: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/87.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Lie algebroids
Definition
A Lie algebroid is a vector bundle A→ M with:(i) a Lie bracket [ , ]A : Γ(A)× Γ(A)→ Γ(A);(ii) a bundle map ρ : A→ TM (the anchor);
such that:
[α, fβ]A = f [αβ]A + ρ(α)(f )β, (f ∈ C∞(M), α, β ∈ Γ(A)).
Im ρ ⊂ TM is a integrable (singular) distribution⇓
Lie algebroids have a characteristic foliation
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 88: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/88.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Lie algebroids
Definition
A Lie algebroid is a vector bundle A→ M with:(i) a Lie bracket [ , ]A : Γ(A)× Γ(A)→ Γ(A);(ii) a bundle map ρ : A→ TM (the anchor);
such that:
[α, fβ]A = f [αβ]A + ρ(α)(f )β, (f ∈ C∞(M), α, β ∈ Γ(A)).
Im ρ ⊂ TM is a integrable (singular) distribution⇓
Lie algebroids have a characteristic foliation
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 89: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/89.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Lie algebroidsExamples
Flows. For X ∈ X(M), the associated Lie algebroid is:A = M × R, [f ,g]A := fX (g)− gX (f ), ρ(f ) = fX .
Leaves of A are the orbits of X .
Actions. For α ∈ Act(G; M), the associated Lie algebroid is:A = M × g, ρ =infinitesimal action,[f ,g]A(x) = [f (x),g(x)]g + Lρ(f (x))g(x)− Lρ(g(x))f (x).
Leaves of A are the orbits of α (for G connected).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 90: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/90.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Lie algebroidsExamples
Flows. For X ∈ X(M), the associated Lie algebroid is:A = M × R, [f ,g]A := fX (g)− gX (f ), ρ(f ) = fX .
Leaves of A are the orbits of X .
Actions. For α ∈ Act(G; M), the associated Lie algebroid is:A = M × g, ρ =infinitesimal action,[f ,g]A(x) = [f (x),g(x)]g + Lρ(f (x))g(x)− Lρ(g(x))f (x).
Leaves of A are the orbits of α (for G connected).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 91: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/91.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Lie algebroidsExamples
Foliations. For F ∈ Folk (M), the associated Lie algebroidis:
A = TF , [X ,Y ]A = [X ,Y ], ρ =id.Leaves of A are the leaves of F .
Poisson structures. For π ∈ Poiss(M), the associated Liealgebroid is:
A = T ∗M, ρ = π],[df , dg]A = df ,g, (f ,g ∈ C∞(M)).
Leaves of A are the symplectic leaves of π.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 92: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/92.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Lie algebroidsExamples
Foliations. For F ∈ Folk (M), the associated Lie algebroidis:
A = TF , [X ,Y ]A = [X ,Y ], ρ =id.Leaves of A are the leaves of F .
Poisson structures. For π ∈ Poiss(M), the associated Liealgebroid is:
A = T ∗M, ρ = π],[df , dg]A = df ,g, (f ,g ∈ C∞(M)).
Leaves of A are the symplectic leaves of π.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 93: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/93.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Universal Stability Theorem
For a fixed vector bundle A there is a natural Cr topologyon the set Algbrd(A) of Lie algebroid structures on A.
A leaf L of A is called stable if every nearby Lie algebroidstructure in Algbrd(A) has a nearby leaf diffeomorphic to L.
The normal bundle ν(L) carries a canonical Bott typeA|L-connection.
One can define the restricted A-cohomology withcoefficients in ν(L), denoted H•(A|L; ν(L)).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 94: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/94.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Universal Stability Theorem
For a fixed vector bundle A there is a natural Cr topologyon the set Algbrd(A) of Lie algebroid structures on A.
A leaf L of A is called stable if every nearby Lie algebroidstructure in Algbrd(A) has a nearby leaf diffeomorphic to L.
The normal bundle ν(L) carries a canonical Bott typeA|L-connection.
One can define the restricted A-cohomology withcoefficients in ν(L), denoted H•(A|L; ν(L)).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 95: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/95.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Universal Stability Theorem
For a fixed vector bundle A there is a natural Cr topologyon the set Algbrd(A) of Lie algebroid structures on A.
A leaf L of A is called stable if every nearby Lie algebroidstructure in Algbrd(A) has a nearby leaf diffeomorphic to L.
The normal bundle ν(L) carries a canonical Bott typeA|L-connection.
One can define the restricted A-cohomology withcoefficients in ν(L), denoted H•(A|L; ν(L)).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 96: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/96.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Universal Stability Theorem
For a fixed vector bundle A there is a natural Cr topologyon the set Algbrd(A) of Lie algebroid structures on A.
A leaf L of A is called stable if every nearby Lie algebroidstructure in Algbrd(A) has a nearby leaf diffeomorphic to L.
The normal bundle ν(L) carries a canonical Bott typeA|L-connection.
One can define the restricted A-cohomology withcoefficients in ν(L), denoted H•(A|L; ν(L)).
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 97: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/97.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Universal Stability Theorem
Theorem (Crainic & RLF)
Let L be a compact leaf of A, and assume that H1(A|L; ν(L)) = 0.Then L is stable: every nearby Lie algebroid has a family of nearbyleaves smoothly parametrized by H0(A|L; νL).
The parameter space be characterized as the space of leaves ofthe first jet approximation to the Lie algebroid A along L.
For Lie algebroid structures of first order type around L thecondition in the theorem is also a necessary condition forstability.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 98: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/98.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Universal Stability Theorem
Theorem (Crainic & RLF)
Let L be a compact leaf of A, and assume that H1(A|L; ν(L)) = 0.Then L is stable: every nearby Lie algebroid has a family of nearbyleaves smoothly parametrized by H0(A|L; νL).
The parameter space be characterized as the space of leaves ofthe first jet approximation to the Lie algebroid A along L.
For Lie algebroid structures of first order type around L thecondition in the theorem is also a necessary condition forstability.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 99: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/99.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Universal Stability Theorem
Theorem (Crainic & RLF)
Let L be a compact leaf of A, and assume that H1(A|L; ν(L)) = 0.Then L is stable: every nearby Lie algebroid has a family of nearbyleaves smoothly parametrized by H0(A|L; νL).
The parameter space be characterized as the space of leaves ofthe first jet approximation to the Lie algebroid A along L.
For Lie algebroid structures of first order type around L thecondition in the theorem is also a necessary condition forstability.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 100: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/100.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
From Lie algebr(oids) to Lie group(oids)The fundamental group of A based at x :
Gx (A) =A-loops based at x
A-homotopies.
Gx (A) need not be smooth. If it is smooth, then it is a Lie groupintegrating the isotropy Lie algebra gx (A).
Parell transport along A-paths applied to the Bott representationof A|L gives the linear holonomy representation:
hol : Gx (A) −→ GL(ν(L)x ).
Proposition
If Gx (A) is smooth, then for any x ∈ L:
H1(A|L; ν(L)) ∼= H1(Gx (A); ν(L)x ).Rui Loja Fernandes Stability of Symplectic Leaves
![Page 101: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/101.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
From Lie algebr(oids) to Lie group(oids)The fundamental group of A based at x :
Gx (A) =A-loops based at x
A-homotopies.
Gx (A) need not be smooth. If it is smooth, then it is a Lie groupintegrating the isotropy Lie algebra gx (A).
Parell transport along A-paths applied to the Bott representationof A|L gives the linear holonomy representation:
hol : Gx (A) −→ GL(ν(L)x ).
Proposition
If Gx (A) is smooth, then for any x ∈ L:
H1(A|L; ν(L)) ∼= H1(Gx (A); ν(L)x ).Rui Loja Fernandes Stability of Symplectic Leaves
![Page 102: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/102.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
From Lie algebr(oids) to Lie group(oids)The fundamental group of A based at x :
Gx (A) =A-loops based at x
A-homotopies.
Gx (A) need not be smooth. If it is smooth, then it is a Lie groupintegrating the isotropy Lie algebra gx (A).
Parell transport along A-paths applied to the Bott representationof A|L gives the linear holonomy representation:
hol : Gx (A) −→ GL(ν(L)x ).
Proposition
If Gx (A) is smooth, then for any x ∈ L:
H1(A|L; ν(L)) ∼= H1(Gx (A); ν(L)x ).Rui Loja Fernandes Stability of Symplectic Leaves
![Page 103: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/103.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
From Lie algebr(oids) to Lie group(oids)The fundamental group of A based at x :
Gx (A) =A-loops based at x
A-homotopies.
Gx (A) need not be smooth. If it is smooth, then it is a Lie groupintegrating the isotropy Lie algebra gx (A).
Parell transport along A-paths applied to the Bott representationof A|L gives the linear holonomy representation:
hol : Gx (A) −→ GL(ν(L)x ).
Proposition
If Gx (A) is smooth, then for any x ∈ L:
H1(A|L; ν(L)) ∼= H1(Gx (A); ν(L)x ).Rui Loja Fernandes Stability of Symplectic Leaves
![Page 104: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/104.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Recovering the stability theorems:
Foliations: If A = TF , then Gx (A) = π1(L, x), the Bott representationbecomes the usual one on ν(L), and we have:
H1(A|L; ν(L)) ∼= H1(π1(L, x); ν(L)x ).
We recover the classical result.
Actions: If A = g n M is associated with a 1-connected Lie group G, thenGx (A) = Gx , the Bott representation becomes the linear isotropyLie algebra on ν(O)x and we have:
H1(A; ν(O)) ∼= H1(Gx ; ν(O)x ).
We recover the classical result under the assumption that G is1-connected.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 105: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/105.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Recovering the stability theorems:
Foliations: If A = TF , then Gx (A) = π1(L, x), the Bott representationbecomes the usual one on ν(L), and we have:
H1(A|L; ν(L)) ∼= H1(π1(L, x); ν(L)x ).
We recover the classical result.
Actions: If A = g n M is associated with a 1-connected Lie group G, thenGx (A) = Gx , the Bott representation becomes the linear isotropyLie algebra on ν(O)x and we have:
H1(A; ν(O)) ∼= H1(Gx ; ν(O)x ).
We recover the classical result under the assumption that G is1-connected.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 106: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/106.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = g∗ with g the non-abelian 2-dimensional Lie algebra:
π = x∂
∂x∧ ∂
∂y
so that A = T ∗R2 and
[dx , dy ] = dx , ρ(dx) = x∂
∂y, ρ(dy) = −x
∂
∂x.
H2π,0(g∗) = H2(g) = 0, so the origin is Poisson stable;
H1(A|0, ν(0)) = H1(g, g) = R;
The origin is not algebroid stable: take Aε = T ∗R2 with
[dx , dy ]ε = dx , ρε(dx) = x∂
∂y, ρε(dy) = −x
∂
∂x+ ε
∂
∂y.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 107: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/107.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = g∗ with g the non-abelian 2-dimensional Lie algebra:
π = x∂
∂x∧ ∂
∂y
so that A = T ∗R2 and
[dx , dy ] = dx , ρ(dx) = x∂
∂y, ρ(dy) = −x
∂
∂x.
H2π,0(g∗) = H2(g) = 0, so the origin is Poisson stable;
H1(A|0, ν(0)) = H1(g, g) = R;
The origin is not algebroid stable: take Aε = T ∗R2 with
[dx , dy ]ε = dx , ρε(dx) = x∂
∂y, ρε(dy) = −x
∂
∂x+ ε
∂
∂y.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 108: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/108.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = g∗ with g the non-abelian 2-dimensional Lie algebra:
π = x∂
∂x∧ ∂
∂y
so that A = T ∗R2 and
[dx , dy ] = dx , ρ(dx) = x∂
∂y, ρ(dy) = −x
∂
∂x.
H2π,0(g∗) = H2(g) = 0, so the origin is Poisson stable;
H1(A|0, ν(0)) = H1(g, g) = R;
The origin is not algebroid stable: take Aε = T ∗R2 with
[dx , dy ]ε = dx , ρε(dx) = x∂
∂y, ρε(dy) = −x
∂
∂x+ ε
∂
∂y.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 109: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/109.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = g∗ with g the non-abelian 2-dimensional Lie algebra:
π = x∂
∂x∧ ∂
∂y
so that A = T ∗R2 and
[dx , dy ] = dx , ρ(dx) = x∂
∂y, ρ(dy) = −x
∂
∂x.
H2π,0(g∗) = H2(g) = 0, so the origin is Poisson stable;
H1(A|0, ν(0)) = H1(g, g) = R;
The origin is not algebroid stable: take Aε = T ∗R2 with
[dx , dy ]ε = dx , ρε(dx) = x∂
∂y, ρε(dy) = −x
∂
∂x+ ε
∂
∂y.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 110: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/110.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = g∗ with g the non-abelian 2-dimensional Lie algebra:
π = x∂
∂x∧ ∂
∂y
so that A = T ∗R2 and
[dx , dy ] = dx , ρ(dx) = x∂
∂y, ρ(dy) = −x
∂
∂x.
H2π,0(g∗) = H2(g) = 0, so the origin is Poisson stable;
H1(A|0, ν(0)) = H1(g, g) = R;
The origin is not algebroid stable: take Aε = T ∗R2 with
[dx , dy ]ε = dx , ρε(dx) = x∂
∂y, ρε(dy) = −x
∂
∂x+ ε
∂
∂y.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 111: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/111.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = S × R with leaves (S × t, ωt ). Look at stability of S = S × 0.
• Set σ := ddtωt
∣∣t=0 and define:
C•σ(S) = Ω•(S)⊕ Ω•−1(S), dσ(ω, η) = (dω + σ ∧ η, dη)
• One finds that:
X•π(M,S) ∼= Ω•−1(S), X•π,S(M) ∼= C•σ(S) ∼= X•(T ∗S M; ν(S))
• This leads to:
H2π(M,S) = 0⇔ H1(S) = 0.
H2π,S(M) = 0⇔ H2(S) = Rσ and ∪σ : H1(S)→ H3(S) is 1:1.
H1(T ∗S M; ν(S)) = 0⇔ H1(S) = 0 and [σ] 6= 0.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 112: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/112.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = S × R with leaves (S × t, ωt ). Look at stability of S = S × 0.
• Set σ := ddtωt
∣∣t=0 and define:
C•σ(S) = Ω•(S)⊕ Ω•−1(S), dσ(ω, η) = (dω + σ ∧ η, dη)
• One finds that:
X•π(M,S) ∼= Ω•−1(S), X•π,S(M) ∼= C•σ(S) ∼= X•(T ∗S M; ν(S))
• This leads to:
H2π(M,S) = 0⇔ H1(S) = 0.
H2π,S(M) = 0⇔ H2(S) = Rσ and ∪σ : H1(S)→ H3(S) is 1:1.
H1(T ∗S M; ν(S)) = 0⇔ H1(S) = 0 and [σ] 6= 0.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 113: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/113.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = S × R with leaves (S × t, ωt ). Look at stability of S = S × 0.
• Set σ := ddtωt
∣∣t=0 and define:
C•σ(S) = Ω•(S)⊕ Ω•−1(S), dσ(ω, η) = (dω + σ ∧ η, dη)
• One finds that:
X•π(M,S) ∼= Ω•−1(S), X•π,S(M) ∼= C•σ(S) ∼= X•(T ∗S M; ν(S))
• This leads to:
H2π(M,S) = 0⇔ H1(S) = 0.
H2π,S(M) = 0⇔ H2(S) = Rσ and ∪σ : H1(S)→ H3(S) is 1:1.
H1(T ∗S M; ν(S)) = 0⇔ H1(S) = 0 and [σ] 6= 0.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 114: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/114.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = S × R with leaves (S × t, ωt ). Look at stability of S = S × 0.
• Set σ := ddtωt
∣∣t=0 and define:
C•σ(S) = Ω•(S)⊕ Ω•−1(S), dσ(ω, η) = (dω + σ ∧ η, dη)
• One finds that:
X•π(M,S) ∼= Ω•−1(S), X•π,S(M) ∼= C•σ(S) ∼= X•(T ∗S M; ν(S))
• This leads to:
H2π(M,S) = 0⇔ H1(S) = 0.
H2π,S(M) = 0⇔ H2(S) = Rσ and ∪σ : H1(S)→ H3(S) is 1:1.
H1(T ∗S M; ν(S)) = 0⇔ H1(S) = 0 and [σ] 6= 0.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 115: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/115.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = S × R with leaves (S × t, ωt ). Look at stability of S = S × 0.
• Set σ := ddtωt
∣∣t=0 and define:
C•σ(S) = Ω•(S)⊕ Ω•−1(S), dσ(ω, η) = (dω + σ ∧ η, dη)
• One finds that:
X•π(M,S) ∼= Ω•−1(S), X•π,S(M) ∼= C•σ(S) ∼= X•(T ∗S M; ν(S))
• This leads to:
H2π(M,S) = 0⇔ H1(S) = 0.
H2π,S(M) = 0⇔ H2(S) = Rσ and ∪σ : H1(S)→ H3(S) is 1:1.
H1(T ∗S M; ν(S)) = 0⇔ H1(S) = 0 and [σ] 6= 0.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 116: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/116.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Poisson vs algebroid stabilityExamples
M = S × R with leaves (S × t, ωt ). Look at stability of S = S × 0.
• Set σ := ddtωt
∣∣t=0 and define:
C•σ(S) = Ω•(S)⊕ Ω•−1(S), dσ(ω, η) = (dω + σ ∧ η, dη)
• One finds that:
X•π(M,S) ∼= Ω•−1(S), X•π,S(M) ∼= C•σ(S) ∼= X•(T ∗S M; ν(S))
• This leads to:
H2π(M,S) = 0⇔ H1(S) = 0.
H2π,S(M) = 0⇔ H2(S) = Rσ and ∪σ : H1(S)→ H3(S) is 1:1.
H1(T ∗S M; ν(S)) = 0⇔ H1(S) = 0 and [σ] 6= 0.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 117: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/117.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Conclusion: the criteria for stability of symplectic leaves in thePoisson setting is stronger than the criteria arising from thegeneral algebroid setting.
There are Poisson structures π such that A = T ∗M has manycloseby Lie algebroids which are not associated with a Poissonstructure.
There is a chain map i : X•(M,S)→ X•−1(T ∗S M; ν(S)) inducingan injection in degree 2:
H2π(M,S) → H1(T ∗S M; ν(S)).
The Universal Stability Theorem is not so universal...
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 118: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/118.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Conclusion: the criteria for stability of symplectic leaves in thePoisson setting is stronger than the criteria arising from thegeneral algebroid setting.
There are Poisson structures π such that A = T ∗M has manycloseby Lie algebroids which are not associated with a Poissonstructure.
There is a chain map i : X•(M,S)→ X•−1(T ∗S M; ν(S)) inducingan injection in degree 2:
H2π(M,S) → H1(T ∗S M; ν(S)).
The Universal Stability Theorem is not so universal...
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 119: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/119.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Conclusion: the criteria for stability of symplectic leaves in thePoisson setting is stronger than the criteria arising from thegeneral algebroid setting.
There are Poisson structures π such that A = T ∗M has manycloseby Lie algebroids which are not associated with a Poissonstructure.
There is a chain map i : X•(M,S)→ X•−1(T ∗S M; ν(S)) inducingan injection in degree 2:
H2π(M,S) → H1(T ∗S M; ν(S)).
The Universal Stability Theorem is not so universal...
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 120: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/120.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Lie theoryUniversal Stability TheoremFrom Lie algebr(oids) to Lie group(oids)Recovering the stability theoremsPoisson vs algebroid stability
Conclusion: the criteria for stability of symplectic leaves in thePoisson setting is stronger than the criteria arising from thegeneral algebroid setting.
There are Poisson structures π such that A = T ∗M has manycloseby Lie algebroids which are not associated with a Poissonstructure.
There is a chain map i : X•(M,S)→ X•−1(T ∗S M; ν(S)) inducingan injection in degree 2:
H2π(M,S) → H1(T ∗S M; ν(S)).
The Universal Stability Theorem is not so universal...
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 121: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/121.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Some non-sense about the proofs
All the stability theorems above say:infinitesimal stability⇒ stability.
Likewise, the proof of each such stability theorem is a“infinite dimensional transversality argument”.
Rui Loja Fernandes Stability of Symplectic Leaves
![Page 122: Stability of Symplectic Leaves - Técnico, Lisboarfern/Meus-papers/...Action : G M !M ,homomorphism : G !Diff(M) Act(G;M) ˆMaps(G;Diff(M)) =)Act(G;M) has anatural Cr topology Rui](https://reader035.vdocuments.mx/reader035/viewer/2022071507/61282b10c88673464f217f6d/html5/thumbnails/122.jpg)
Background and Classical ResultsStability in Poisson geometry
Universal Stability TheoremProofs
Some non-sense about the proofs
All the stability theorems above say:infinitesimal stability⇒ stability.
Likewise, the proof of each such stability theorem is a“infinite dimensional transversality argument”.
Rui Loja Fernandes Stability of Symplectic Leaves