ghent university · scheme of the talk 1 motivation 2 lie affgebroids lie affgebroids morphism lie...
TRANSCRIPT
![Page 1: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/1.jpg)
Lagrangian submanifolds and dynamics on Lieaffgebroids
Diana [email protected]
University of La Laguna
20th International Workshop on Differential Geometric Methods in TheoreticalMechanics, Ghent 2005
D. IGLESIAS, J.C. MARRERO, E. PADRON, D. SOSA, Lagrangian submanifoldsand dynamics on Lie affgebroids, Preprint, math.DG/0505117.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 2: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/2.jpg)
Scheme of the talk
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 3: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/3.jpg)
Scheme of the talk
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 4: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/4.jpg)
Scheme of the talk
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 5: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/5.jpg)
Scheme of the talk
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 6: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/6.jpg)
Scheme of the talk
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 7: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/7.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 8: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/8.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Motivation
A. WeinsteinLagrangian Mechanics and groupoidsFields Inst. Comm. 7 (1996), 207-231.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 9: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/9.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Motivation
E. MartınezLagrangian Mechanics on Lie algebroidsActa Appl. Math. 67 (2001), 295-320.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 10: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/10.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Motivation
M. de Leon, J.C. Marrero, E. MartınezLagrangian submanifolds and dynamics on Lie algebroidsJ.Phys.A: Math.Gen. 38 (2005), 241-308.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 11: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/11.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Motivation
W. TulczyjewLes sous-varietes lagrangiennes et la dynamiquehamiltonienneC.R. Acad. Sci., Paris 283 (1976), 15-18.
W. TulczyjewLes sous-varietes lagrangiennes et la dynamiquehamiltonienneC.R. Acad. Sci., Paris 283 (1976), 675-678.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 12: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/12.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Motivation
E. Martınez, T. Mestdag, W. SarletLie algebroid structures and Lagrangian systems on affinebundlesJ. Geom. Phys. 44 (2002), 70-95.
J. Grabowski, K. Grabowska, P. UrbanskiLie brackets on affine bundlesAnn. Glob. Anal. Geom., 24 (2003), 101-130.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 13: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/13.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 14: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/14.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
• Notation
τA : A→ M, τV : V → M
τA+ : A+ = Aff (A,R)→ M, 1A ∈ Γ(τA+)
τA : A = (A+)∗ → M
iA : A→ A iA(a)(ϕ) = ϕ(a), iV : V → A
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 15: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/15.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
Definition
Lie affgebroid structure on A:
[[·, ·]]V : Γ(τV )× Γ(τV )→ Γ(τV ) Lie bracket
D : Γ(τA)× Γ(τV )→ Γ(τV ) R-linear action
ρA : A→ TM affine map, the anchor map
such that
DX [[Y , Z ]]V = [[DX Y , Z ]]V + [[Y ,DX Z ]]V
DX+Y Z = DX Z + [[Y , Z ]]V
DX (f Y ) = fDX Y + ρA(X )(f )Y
for X ∈ Γ(τA), Y , Z ∈ Γ(τV ), f ∈ C∞(M)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 16: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/16.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
Definition
Lie affgebroid structure on A:
[[·, ·]]V : Γ(τV )× Γ(τV )→ Γ(τV ) Lie bracket
D : Γ(τA)× Γ(τV )→ Γ(τV ) R-linear action
ρA : A→ TM affine map, the anchor map
such that
DX [[Y , Z ]]V = [[DX Y , Z ]]V + [[Y ,DX Z ]]V
DX+Y Z = DX Z + [[Y , Z ]]V
DX (f Y ) = fDX Y + ρA(X )(f )Y
for X ∈ Γ(τA), Y , Z ∈ Γ(τV ), f ∈ C∞(M)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 17: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/17.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
Definition
Lie affgebroid structure on A:
[[·, ·]]V : Γ(τV )× Γ(τV )→ Γ(τV ) Lie bracket
D : Γ(τA)× Γ(τV )→ Γ(τV ) R-linear action
ρA : A→ TM affine map, the anchor map
such that
DX [[Y , Z ]]V = [[DX Y , Z ]]V + [[Y ,DX Z ]]V
DX+Y Z = DX Z + [[Y , Z ]]V
DX (f Y ) = fDX Y + ρA(X )(f )Y
for X ∈ Γ(τA), Y , Z ∈ Γ(τV ), f ∈ C∞(M)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 18: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/18.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
Definition
Lie affgebroid structure on A:
[[·, ·]]V : Γ(τV )× Γ(τV )→ Γ(τV ) Lie bracket
D : Γ(τA)× Γ(τV )→ Γ(τV ) R-linear action
ρA : A→ TM affine map, the anchor map
such that
DX [[Y , Z ]]V = [[DX Y , Z ]]V + [[Y ,DX Z ]]V
DX+Y Z = DX Z + [[Y , Z ]]V
DX (f Y ) = fDX Y + ρA(X )(f )Y
for X ∈ Γ(τA), Y , Z ∈ Γ(τV ), f ∈ C∞(M)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 19: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/19.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
Definition
Lie affgebroid structure on A:
[[·, ·]]V : Γ(τV )× Γ(τV )→ Γ(τV ) Lie bracket
D : Γ(τA)× Γ(τV )→ Γ(τV ) R-linear action
ρA : A→ TM affine map, the anchor map
such that
DX [[Y , Z ]]V = [[DX Y , Z ]]V + [[Y ,DX Z ]]V
DX+Y Z = DX Z + [[Y , Z ]]V
DX (f Y ) = fDX Y + ρA(X )(f )Y
for X ∈ Γ(τA), Y , Z ∈ Γ(τV ), f ∈ C∞(M)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 20: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/20.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
Definition
Lie affgebroid structure on A:
[[·, ·]]V : Γ(τV )× Γ(τV )→ Γ(τV ) Lie bracket
D : Γ(τA)× Γ(τV )→ Γ(τV ) R-linear action
ρA : A→ TM affine map, the anchor map
such that
DX [[Y , Z ]]V = [[DX Y , Z ]]V + [[Y ,DX Z ]]V
DX+Y Z = DX Z + [[Y , Z ]]V
DX (f Y ) = fDX Y + ρA(X )(f )Y
for X ∈ Γ(τA), Y , Z ∈ Γ(τV ), f ∈ C∞(M)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 21: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/21.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
Definition
Lie affgebroid structure on A:
[[·, ·]]V : Γ(τV )× Γ(τV )→ Γ(τV ) Lie bracket
D : Γ(τA)× Γ(τV )→ Γ(τV ) R-linear action
ρA : A→ TM affine map, the anchor map
such that
DX [[Y , Z ]]V = [[DX Y , Z ]]V + [[Y ,DX Z ]]V
DX+Y Z = DX Z + [[Y , Z ]]V
DX (f Y ) = fDX Y + ρA(X )(f )Y
for X ∈ Γ(τA), Y , Z ∈ Γ(τV ), f ∈ C∞(M)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 22: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/22.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
• Lie algebroid (E , [[·, ·]], ρ) is Lie affgebroid with D = [[·, ·]]
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 23: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/23.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
• (A, [[·, ·]]V ,D, ρA) Lie affgebroid⇒ (V , [[·, ·]]V , ρV ) Lie algebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 24: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/24.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroids
• (A, [[·, ·]]V ,D, ρA) Lie affgebroid
⇓(A, [[·, ·]]A, ρA) Lie algebroid + 1A ∈ Γ(τA+) 1-cocycle
Conversely, (U, [[·, ·]]U , ρU) Lie algebroid and φ : U → R1-cocycle, φ/Ux 6= 0
⇓
A = φ−11 Lie affgebroid with (A, [[·, ·]]A, ρA) ≈ (U, [[·, ·]]U , ρU),1A ≈ φ and V = φ−10
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 25: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/25.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 26: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/26.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroids morphism
Definition
((F , f ), (F l , f )) affine morphism between two Lie affgebroids(A, [[·, ·]]V ,D, ρA) and (A′, [[·, ·]]V ′ ,D′, ρA′) is a Lie affgebroidmorphism if:
i) (F l , f ) Lie algebroid morphism between (V , [[·, ·]]V , ρV ) and(V ′, [[·, ·]]V ′ , ρV ′)
ii) Tf ρA = ρA′ F
iii) F l DX Y = (D′X ′Y ′) f
X ∈ Γ(τA), X ′ ∈ Γ(τA′), Y ∈ Γ(τV ), Y ′ ∈ Γ(τV ′): X ′ f = F Xand Y ′ f = F l Y
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 27: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/27.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroids morphism
Definition
((F , f ), (F l , f )) affine morphism between two Lie affgebroids(A, [[·, ·]]V ,D, ρA) and (A′, [[·, ·]]V ′ ,D′, ρA′) is a Lie affgebroidmorphism if:
i) (F l , f ) Lie algebroid morphism between (V , [[·, ·]]V , ρV ) and(V ′, [[·, ·]]V ′ , ρV ′)
ii) Tf ρA = ρA′ F
iii) F l DX Y = (D′X ′Y ′) f
X ∈ Γ(τA), X ′ ∈ Γ(τA′), Y ∈ Γ(τV ), Y ′ ∈ Γ(τV ′): X ′ f = F Xand Y ′ f = F l Y
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 28: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/28.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroids morphism
Definition
((F , f ), (F l , f )) affine morphism between two Lie affgebroids(A, [[·, ·]]V ,D, ρA) and (A′, [[·, ·]]V ′ ,D′, ρA′) is a Lie affgebroidmorphism if:
i) (F l , f ) Lie algebroid morphism between (V , [[·, ·]]V , ρV ) and(V ′, [[·, ·]]V ′ , ρV ′)
ii) Tf ρA = ρA′ F
iii) F l DX Y = (D′X ′Y ′) f
X ∈ Γ(τA), X ′ ∈ Γ(τA′), Y ∈ Γ(τV ), Y ′ ∈ Γ(τV ′): X ′ f = F Xand Y ′ f = F l Y
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 29: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/29.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroids morphism
• ((F , f ), (F l , f )) Lie affgebroid morphism
Mf - M ′
τA?
τA′?
AF- A′
Mf - M ′
τV?
τV ′?
VF l
- V ′
⇓(F , f ) Lie algebroid morphism
Mf - M ′
τA ?τA′
?
AF- A′ F (a)(ϕ′) = a(ϕ′ F )
(F , f )∗1A′ = 1A
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 30: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/30.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroids morphism
•Conversely, (F , f ) Lie algebroid morphism
Mf - M′
τU?
τU′?
UF - U′ φ ∈ Γ(τU), φ′ ∈ Γ(τU′)
φ(x) 6= 0, φ′(x ′) 6= 0(F , f )∗φ′ = φ
⇓((F , f ), (F l , f )) Lie affgebroid morphism
Mf - M′
τA?
τA′?
AF - A′
Mf - M′
τV?
τV ′?
VF l
- V ′
A = φ−11 V = φ−10 τA = (τU)/A
A′ = (φ′)−11 V ′ = (φ′)−10 τA′ = (τU′)/A′
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 31: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/31.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 32: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/32.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroid structure on T AA
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
T AA = (a, v) ∈ A× TA/ρA(a) = (T τA)(v)
(T AA, [[·, ·]]τA
A, ρτA
A) τ τA
A: T AA→ A
φ0 ∈ Γ((τ τA
A)∗), φ0 : T AA→ R φ0(a, v) = 1A(a)
• φ0 1-cocycle, (φ0)|(T AA)a6= 0
• (φ0)−11 = T AA, (φ0)
−10 = T V A⇓
τ τAA : T AA→ A admits a Lie affgebroid structure with bidual Lie
algebroid (T AA, [[·, ·]]τA
A, ρτA
A) and modelled on (T V A, [[·, ·]]τA
V , ρτAV )
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 33: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/33.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroid structure on T AA
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
T AA = (a, v) ∈ A× TA/ρA(a) = (T τA)(v)
(T AA, [[·, ·]]τA
A, ρτA
A) τ τA
A: T AA→ A
φ0 ∈ Γ((τ τA
A)∗), φ0 : T AA→ R φ0(a, v) = 1A(a)
• φ0 1-cocycle, (φ0)|(T AA)a6= 0
• (φ0)−11 = T AA, (φ0)
−10 = T V A⇓
τ τAA : T AA→ A admits a Lie affgebroid structure with bidual Lie
algebroid (T AA, [[·, ·]]τA
A, ρτA
A) and modelled on (T V A, [[·, ·]]τA
V , ρτAV )
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 34: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/34.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroid structure on T AA
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
T AA = (a, v) ∈ A× TA/ρA(a) = (T τA)(v)
(T AA, [[·, ·]]τA
A, ρτA
A) τ τA
A: T AA→ A
φ0 ∈ Γ((τ τA
A)∗), φ0 : T AA→ R φ0(a, v) = 1A(a)
• φ0 1-cocycle, (φ0)|(T AA)a6= 0
• (φ0)−11 = T AA, (φ0)
−10 = T V A⇓
τ τAA : T AA→ A admits a Lie affgebroid structure with bidual Lie
algebroid (T AA, [[·, ·]]τA
A, ρτA
A) and modelled on (T V A, [[·, ·]]τA
V , ρτAV )
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 35: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/35.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroid structure on T AA
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
T AA = (a, v) ∈ A× TA/ρA(a) = (T τA)(v)
(T AA, [[·, ·]]τA
A, ρτA
A) τ τA
A: T AA→ A
φ0 ∈ Γ((τ τA
A)∗), φ0 : T AA→ R φ0(a, v) = 1A(a)
• φ0 1-cocycle, (φ0)|(T AA)a6= 0
• (φ0)−11 = T AA, (φ0)
−10 = T V A⇓
τ τAA : T AA→ A admits a Lie affgebroid structure with bidual Lie
algebroid (T AA, [[·, ·]]τA
A, ρτA
A) and modelled on (T V A, [[·, ·]]τA
V , ρτAV )
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 36: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/36.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroid structure on T AA
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
T AA = (a, v) ∈ A× TA/ρA(a) = (T τA)(v)
(T AA, [[·, ·]]τA
A, ρτA
A) τ τA
A: T AA→ A
φ0 ∈ Γ((τ τA
A)∗), φ0 : T AA→ R φ0(a, v) = 1A(a)
• φ0 1-cocycle, (φ0)|(T AA)a6= 0
• (φ0)−11 = T AA, (φ0)
−10 = T V A⇓
τ τAA : T AA→ A admits a Lie affgebroid structure with bidual Lie
algebroid (T AA, [[·, ·]]τA
A, ρτA
A) and modelled on (T V A, [[·, ·]]τA
V , ρτAV )
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 37: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/37.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lie affgebroids morphismLie affgebroid structure on T AA
Lie affgebroidsLie affgebroid structure on T AA
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
T AA = (a, v) ∈ A× TA/ρA(a) = (T τA)(v)
(T AA, [[·, ·]]τA
A, ρτA
A) τ τA
A: T AA→ A
φ0 ∈ Γ((τ τA
A)∗), φ0 : T AA→ R φ0(a, v) = 1A(a)
• φ0 1-cocycle, (φ0)|(T AA)a6= 0
• (φ0)−11 = T AA, (φ0)
−10 = T V A⇓
τ τAA : T AA→ A admits a Lie affgebroid structure with bidual Lie
algebroid (T AA, [[·, ·]]τA
A, ρτA
A) and modelled on (T V A, [[·, ·]]τA
V , ρτAV )
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 38: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/38.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 39: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/39.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 40: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/40.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
(ττ∗VA
: T AV ∗ → V ∗, [[·, ·]]τ∗V
A, ρτ∗VA
)
(x i) local coordinates on Me0,eα local basis of Γ(τA) adapted to 1A (1A(e0) = 1, 1A(eα) = 0)
[[e0,eα]]A = Cγ0αeγ [[eα,eβ]]A = Cγ
αβeγ
ρA(e0) = ρi0∂
∂x i ρA(eα) = ρiα
∂
∂x i
⇓(x i , y0, yα) local coordinates on A(x i , y0, yα) the dual coordinates on A+
(x i , yα) local coordinates on V ∗
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 41: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/41.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
(ττ∗VA
: T AV ∗ → V ∗, [[·, ·]]τ∗V
A, ρτ∗VA
)
(x i) local coordinates on Me0,eα local basis of Γ(τA) adapted to 1A (1A(e0) = 1, 1A(eα) = 0)
[[e0,eα]]A = Cγ0αeγ [[eα,eβ]]A = Cγ
αβeγ
ρA(e0) = ρi0∂
∂x i ρA(eα) = ρiα
∂
∂x i
⇓(x i , y0, yα) local coordinates on A(x i , y0, yα) the dual coordinates on A+
(x i , yα) local coordinates on V ∗
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 42: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/42.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
(ττ∗VA
: T AV ∗ → V ∗, [[·, ·]]τ∗V
A, ρτ∗VA
)
(x i) local coordinates on Me0,eα local basis of Γ(τA) adapted to 1A (1A(e0) = 1, 1A(eα) = 0)
[[e0,eα]]A = Cγ0αeγ [[eα,eβ]]A = Cγ
αβeγ
ρA(e0) = ρi0∂
∂x i ρA(eα) = ρiα
∂
∂x i
⇓(x i , y0, yα) local coordinates on A(x i , y0, yα) the dual coordinates on A+
(x i , yα) local coordinates on V ∗
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 43: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/43.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
e0, eα, eα local basis of Γ(ττ∗VA
)
e0(ψ) = (e0(τ∗V (ψ)), ρi
0∂
∂x i |ψ)
eα(ψ) = (eα(τ∗V (ψ)), ρiα
∂
∂x i |ψ) eα(ψ) = (0,
∂
∂yα |ψ)
⇓(x i , yα; z0, zα, vα) local coordinates on T AV ∗
µ : A+ → V ∗ the canonical projectionµ(ϕ) = ϕl linear map associated with ϕ
h : V ∗ → A+ Hamiltonian section of µh(x i , yα) = (x i ,−H(x j , yβ), yα)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 44: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/44.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
e0, eα, eα local basis of Γ(ττ∗VA
)
e0(ψ) = (e0(τ∗V (ψ)), ρi
0∂
∂x i |ψ)
eα(ψ) = (eα(τ∗V (ψ)), ρiα
∂
∂x i |ψ) eα(ψ) = (0,
∂
∂yα |ψ)
⇓(x i , yα; z0, zα, vα) local coordinates on T AV ∗
µ : A+ → V ∗ the canonical projectionµ(ϕ) = ϕl linear map associated with ϕ
h : V ∗ → A+ Hamiltonian section of µh(x i , yα) = (x i ,−H(x j , yβ), yα)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 45: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/45.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
I T h : T AV ∗ → T AA+
T h(a,Xα) = (a, (Tαh)(Xα))⇓
(T h,h) Lie algebroid morphism
λh = (T h,h)∗(λA) Ωh = (T h,h)∗(ΩA)
λA and ΩA are the Liouville section and the canonical symplectic section associated
with A
⇓λh ∈ Γ((τ
τ∗VA
)∗) Ωh ∈ Γ(Λ2(T AV ∗)∗)
Ωh = −dT AV∗λh
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 46: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/46.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
I T h : T AV ∗ → T AA+
T h(a,Xα) = (a, (Tαh)(Xα))⇓
(T h,h) Lie algebroid morphism
λh = (T h,h)∗(λA) Ωh = (T h,h)∗(ΩA)
λA and ΩA are the Liouville section and the canonical symplectic section associated
with A
⇓λh ∈ Γ((τ
τ∗VA
)∗) Ωh ∈ Γ(Λ2(T AV ∗)∗)
Ωh = −dT AV∗λh
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 47: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/47.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
I pr1 : T AV ∗ → A the canonical projection on the first factor⇓
(pr1, τ∗V ) Lie algebroid morphism
η : T AV ∗ → R (pr1, τ∗V )∗(1A) = η
η(a,Xα) = 1A(a) 1A is a 1-cocycle⇒ η is a 1-cocycle
⇓(Ωh, η) is a cosymplectic structure on τ
τ∗VA
: T AV ∗ → V ∗:η ∧ Ωh ∧ . . .(n · · · ∧ Ωh(α) 6= 0, for all α ∈ V∗
dT AV∗η = 0 dT AV∗
Ωh = 0
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 48: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/48.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
I pr1 : T AV ∗ → A the canonical projection on the first factor⇓
(pr1, τ∗V ) Lie algebroid morphism
η : T AV ∗ → R (pr1, τ∗V )∗(1A) = η
η(a,Xα) = 1A(a) 1A is a 1-cocycle⇒ η is a 1-cocycle
⇓(Ωh, η) is a cosymplectic structure on τ
τ∗VA
: T AV ∗ → V ∗:η ∧ Ωh ∧ . . .(n · · · ∧ Ωh(α) 6= 0, for all α ∈ V∗
dT AV∗η = 0 dT AV∗
Ωh = 0
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 49: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/49.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
I pr1 : T AV ∗ → A the canonical projection on the first factor⇓
(pr1, τ∗V ) Lie algebroid morphism
η : T AV ∗ → R (pr1, τ∗V )∗(1A) = η
η(a,Xα) = 1A(a) 1A is a 1-cocycle⇒ η is a 1-cocycle
⇓(Ωh, η) is a cosymplectic structure on τ
τ∗VA
: T AV ∗ → V ∗:η ∧ Ωh ∧ . . .(n · · · ∧ Ωh(α) 6= 0, for all α ∈ V∗
dT AV∗η = 0 dT AV∗
Ωh = 0
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 50: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/50.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
Rh ∈ Γ(ττ∗VA
) the Reeb section of (Ωh, η): iRhΩh = 0, iRhη = 1
Rh = e0 + ∂H∂yα
eα − (Cγαβyγ ∂H
∂yβ+ ρi
α∂H∂x i − Cγ
0αyγ)eα
⇓the integral sections of Rh (i.e., the integral curves of the vectorfield ρ
τ∗VA
(Rh)) are just the solutions of the Hamilton equationsfor h
dx i
dt= ρi
0 +∂H∂yα
ρiα
dyαdt
= −ρiα
∂H∂x i + yγ(C
γ0α + Cγ
βα
∂H∂yβ
)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 51: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/51.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalism
Rh ∈ Γ(ττ∗VA
) the Reeb section of (Ωh, η): iRhΩh = 0, iRhη = 1
Rh = e0 + ∂H∂yα
eα − (Cγαβyγ ∂H
∂yβ+ ρi
α∂H∂x i − Cγ
0αyγ)eα
⇓the integral sections of Rh (i.e., the integral curves of the vectorfield ρ
τ∗VA
(Rh)) are just the solutions of the Hamilton equationsfor h
dx i
dt= ρi
0 +∂H∂yα
ρiα
dyαdt
= −ρiα
∂H∂x i + yγ(C
γ0α + Cγ
βα
∂H∂yβ
)
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 52: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/52.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 53: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/53.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Lagrangian formalism
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
(τ τA
A: T AA→ A, [[·, ·]]τA
A, ρτA
A)
(x i) local coordinates on Me0,eα local basis of sections of τA adapted to 1A
⇓T0, Tα, Vα local basis of sections of τ τA
A
T0(a) = (e0(τA(a)), ρi0∂
∂x i |a)
Tα(a) = (eα(τA(a)), ρiα
∂
∂x i |a) Vα(a) = (0,
∂
∂yα |a)
⇓(x i , y0, yα, zα) local coordinates on T AA
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 54: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/54.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Lagrangian formalism
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
(τ τA
A: T AA→ A, [[·, ·]]τA
A, ρτA
A)
(x i) local coordinates on Me0,eα local basis of sections of τA adapted to 1A
⇓T0, Tα, Vα local basis of sections of τ τA
A
T0(a) = (e0(τA(a)), ρi0∂
∂x i |a)
Tα(a) = (eα(τA(a)), ρiα
∂
∂x i |a) Vα(a) = (0,
∂
∂yα |a)
⇓(x i , y0, yα, zα) local coordinates on T AA
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 55: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/55.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Lagrangian formalism
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
(τ τA
A: T AA→ A, [[·, ·]]τA
A, ρτA
A)
(x i) local coordinates on Me0,eα local basis of sections of τA adapted to 1A
⇓T0, Tα, Vα local basis of sections of τ τA
A
T0(a) = (e0(τA(a)), ρi0∂
∂x i |a)
Tα(a) = (eα(τA(a)), ρiα
∂
∂x i |a) Vα(a) = (0,
∂
∂yα |a)
⇓(x i , y0, yα, zα) local coordinates on T AA
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 56: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/56.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Lagrangian formalism
I T 0, Tα, Vα the dual basis of T0, Tα, Vα⇓
T 0 = φ0 is globally defined and it is a 1-cocycle
• γ : I ⊆ R→ A is admissible if˙
(τA γ) = ρA iA γ
or locally if γ(t) = (x i(t), yα(t)) anddx i
dt= ρi
0 + ρiαyα
• ξ ∈ Γ(τ τA
A) is a second order differential equation (SODE) on
A if the integral sections of ξ, that is, the integral curves of thevector field ρτA
A(ξ), are admissible.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 57: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/57.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Lagrangian formalism
I T 0, Tα, Vα the dual basis of T0, Tα, Vα⇓
T 0 = φ0 is globally defined and it is a 1-cocycle
• γ : I ⊆ R→ A is admissible if˙
(τA γ) = ρA iA γ
or locally if γ(t) = (x i(t), yα(t)) anddx i
dt= ρi
0 + ρiαyα
• ξ ∈ Γ(τ τA
A) is a second order differential equation (SODE) on
A if the integral sections of ξ, that is, the integral curves of thevector field ρτA
A(ξ), are admissible.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 58: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/58.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Lagrangian formalism
I T 0, Tα, Vα the dual basis of T0, Tα, Vα⇓
T 0 = φ0 is globally defined and it is a 1-cocycle
• γ : I ⊆ R→ A is admissible if˙
(τA γ) = ρA iA γ
or locally if γ(t) = (x i(t), yα(t)) anddx i
dt= ρi
0 + ρiαyα
• ξ ∈ Γ(τ τA
A) is a second order differential equation (SODE) on
A if the integral sections of ξ, that is, the integral curves of thevector field ρτA
A(ξ), are admissible.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 59: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/59.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Lagrangian formalism
I L : A→ R Lagrangian function
the Poincare-Cartan 1-section and 2-section
ΘL = Lφ0 + (dT AAL) S ∈ Γ((τ τA
A)∗)
ΩL = −dT AAΘL ∈ Γ(∧2(τ τA
A)∗)
the vertical endomorphism S : A→ T AA⊗ (T AA)∗
S = (Tα − yαT 0)⊗ Vα
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 60: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/60.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Lagrangian formalism
• γ : I ⊆ R→ A is a solution of the Euler-Lagrange equations iff
i) γ is admissible
ii) i(iA(γ(t)),γ(t))ΩL(γ(t)) = 0
or locally γ(t) = (x i(t), yα(t)) and
dx i
dt= ρi
0 + ρiαyα d
dt(∂L∂yα
) = ρiα
∂L∂x i + (Cγ
0α + Cγβαyβ)
∂L∂yγ
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 61: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/61.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Lagrangian formalism
• L is regular iff the matrix (Wαβ) = (∂2L
∂yα∂yβ) is regular or,
equivalently, (ΩL, φ0) is a cosymplectic structure on T AA
• If L is regular⇓
the Reeb section of (ΩL, φ0), RL, is the unique LagrangianSODE associated with L
⇓the integral curves of the vector field ρτA
A(RL) are solutions of
the Euler-Lagrange equations associated with L
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 62: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/62.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Lagrangian formalism
• L is regular iff the matrix (Wαβ) = (∂2L
∂yα∂yβ) is regular or,
equivalently, (ΩL, φ0) is a cosymplectic structure on T AA
• If L is regular⇓
the Reeb section of (ΩL, φ0), RL, is the unique LagrangianSODE associated with L
⇓the integral curves of the vector field ρτA
A(RL) are solutions of
the Euler-Lagrange equations associated with L
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 63: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/63.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 64: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/64.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Legendre transformation and the equivalence between these formalisms
L : A→ R Lagrangian functionΘL ∈ Γ((τ τA
A)∗) the Poincare-Cartan 1-section
the extended Legendre transformationLegL : A→ A+ LegL(a)(b) = ΘL(a)(z)
a, b ∈ Ax , z ∈ (T AA)a : pr1(z) = iA(b)
the Legendre transformationlegL : A→ V ∗ legL = µ LegL
⇓T legL : T AA→ T AV ∗ (T legL)(b,Xa) = (b, (TalegL)(Xa))
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 65: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/65.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Legendre transformation and the equivalence between these formalisms
L : A→ R Lagrangian functionΘL ∈ Γ((τ τA
A)∗) the Poincare-Cartan 1-section
the extended Legendre transformationLegL : A→ A+ LegL(a)(b) = ΘL(a)(z)
a, b ∈ Ax , z ∈ (T AA)a : pr1(z) = iA(b)
the Legendre transformationlegL : A→ V ∗ legL = µ LegL
⇓T legL : T AA→ T AV ∗ (T legL)(b,Xa) = (b, (TalegL)(Xa))
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 66: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/66.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Legendre transformation and the equivalence between these formalisms
L : A→ R Lagrangian functionΘL ∈ Γ((τ τA
A)∗) the Poincare-Cartan 1-section
the extended Legendre transformationLegL : A→ A+ LegL(a)(b) = ΘL(a)(z)
a, b ∈ Ax , z ∈ (T AA)a : pr1(z) = iA(b)
the Legendre transformationlegL : A→ V ∗ legL = µ LegL
⇓T legL : T AA→ T AV ∗ (T legL)(b,Xa) = (b, (TalegL)(Xa))
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 67: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/67.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Legendre transformation and the equivalence between these formalisms
Proposition
The Lagrangian L is regular if and only if the Legendretransformation legL : A→ V ∗ is a local diffeomorphism.
• L is hyperregular if legL is a global diffeomorphism
• If L is hyperregular⇓
(T legL, legL) is a Lie algebroid isomorphism⇓
h : V ∗ → A+ h = LegL leg−1L
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 68: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/68.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Legendre transformation and the equivalence between these formalisms
Proposition
The Lagrangian L is regular if and only if the Legendretransformation legL : A→ V ∗ is a local diffeomorphism.
• L is hyperregular if legL is a global diffeomorphism
• If L is hyperregular⇓
(T legL, legL) is a Lie algebroid isomorphism⇓
h : V ∗ → A+ h = LegL leg−1L
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 69: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/69.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Legendre transformation and the equivalence between these formalisms
Proposition
The Lagrangian L is regular if and only if the Legendretransformation legL : A→ V ∗ is a local diffeomorphism.
• L is hyperregular if legL is a global diffeomorphism
• If L is hyperregular⇓
(T legL, legL) is a Lie algebroid isomorphism⇓
h : V ∗ → A+ h = LegL leg−1L
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 70: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/70.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Legendre transformation and the equivalence between these formalisms
Theorem
If the Lagrangian L is hyperregular then the Euler-Lagrangesection RL associated with L and the Hamiltonian section Rh
associated with h satisfy the following relationRh legL = T legL RL.
Moreover, if γ : I → A is a solution of the Euler-Lagrangeequations associated with L, then legL γ : I → V ∗ is a solutionof the Hamilton equations associated with h and, conversely, ifγ : I → V ∗ is a solution of the Hamilton equations for h thenγ = leg−1
L γ is a solution of the Euler-Lagrange equations forL.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 71: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/71.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 72: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/72.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The prolongation of a symplectic Lie affgebroid
Definition
Let be a Lie affgebroid τA : A→ M modelled on the Liealgebroid τV : V → M. It is said to be a symplectic Lieaffgebroid if τV : V → M admits a symplectic section Ω, that is,Ω is a section of the vector bundle ∧2V ∗ → M such that:
i) For all x ∈ M, the 2-form Ω(x) : Vx × Vx → R on the vectorspace Vx is non-degenerate and
ii) Ω is a 2-cocycle, i.e., dV Ω = 0.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 73: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/73.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The prolongation of a symplectic Lie affgebroid
Example
τA : A→ M Lie affgebroid modelled τV : V → M
η : T AV ∗ → R, η(a,Xα) = 1A(a), η is 1-cocycle
η−11 = ρ∗A(TV ∗) η−10 = T V V ∗
⇓ρ∗A(TV ∗) is a Lie affgebroid over V ∗ πV∗ : ρ∗A(TV ∗)→ V ∗
πV∗(a,X ) = πV∗(X )
modelled on the Lie algebroid ττ∗VV : T V V ∗ → V ∗ which admits a
canonical symplectic section ΩV
⇓πV∗ : ρ∗A(TV ∗)→ V ∗ is symplectic Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 74: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/74.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The prolongation of a symplectic Lie affgebroid
Example
τA : A→ M Lie affgebroid modelled τV : V → M
η : T AV ∗ → R, η(a,Xα) = 1A(a), η is 1-cocycle
η−11 = ρ∗A(TV ∗) η−10 = T V V ∗
⇓ρ∗A(TV ∗) is a Lie affgebroid over V ∗ πV∗ : ρ∗A(TV ∗)→ V ∗
πV∗(a,X ) = πV∗(X )
modelled on the Lie algebroid ττ∗VV : T V V ∗ → V ∗ which admits a
canonical symplectic section ΩV
⇓πV∗ : ρ∗A(TV ∗)→ V ∗ is symplectic Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 75: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/75.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The prolongation of a symplectic Lie affgebroid
Example
τA : A→ M Lie affgebroid modelled τV : V → M
η : T AV ∗ → R, η(a,Xα) = 1A(a), η is 1-cocycle
η−11 = ρ∗A(TV ∗) η−10 = T V V ∗
⇓ρ∗A(TV ∗) is a Lie affgebroid over V ∗ πV∗ : ρ∗A(TV ∗)→ V ∗
πV∗(a,X ) = πV∗(X )
modelled on the Lie algebroid ττ∗VV : T V V ∗ → V ∗ which admits a
canonical symplectic section ΩV
⇓πV∗ : ρ∗A(TV ∗)→ V ∗ is symplectic Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 76: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/76.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The prolongation of a symplectic Lie affgebroid
Example
τA : A→ M Lie affgebroid modelled τV : V → M
η : T AV ∗ → R, η(a,Xα) = 1A(a), η is 1-cocycle
η−11 = ρ∗A(TV ∗) η−10 = T V V ∗
⇓ρ∗A(TV ∗) is a Lie affgebroid over V ∗ πV∗ : ρ∗A(TV ∗)→ V ∗
πV∗(a,X ) = πV∗(X )
modelled on the Lie algebroid ττ∗VV : T V V ∗ → V ∗ which admits a
canonical symplectic section ΩV
⇓πV∗ : ρ∗A(TV ∗)→ V ∗ is symplectic Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 77: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/77.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The prolongation of a symplectic Lie affgebroid
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
• f ∈ C∞(M) the complete and vertical lift f c and f v of f to Af c(a) = ρA(a)(f ) f v (a) = f (τA(a)) a ∈ A
• X ∈ Γ(τA) ⇒ X c , X v ∈ X(A) ⇒ X c , X v ∈ Γ(ττA
A) :
X c(a) = (X (τA(a)), X c(a)) X v(a) = (0(τA(a)), X v (a))
• X ∈ Γ(τV ) ⇒ iV X ∈ Γ(τA) ⇒ (iV X )c|A ∈ X(A)
(iV X )v|A ∈ X(A)
⇒ the complete and vertical lift of X
X c = (iV X )c|A ∈ Γ(τ τA
V ) X v = (iV X )v|A ∈ Γ(τ τA
V )
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 78: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/78.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The prolongation of a symplectic Lie affgebroid
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
• f ∈ C∞(M) the complete and vertical lift f c and f v of f to Af c(a) = ρA(a)(f ) f v (a) = f (τA(a)) a ∈ A
• X ∈ Γ(τA) ⇒ X c , X v ∈ X(A) ⇒ X c , X v ∈ Γ(ττA
A) :
X c(a) = (X (τA(a)), X c(a)) X v(a) = (0(τA(a)), X v (a))
• X ∈ Γ(τV ) ⇒ iV X ∈ Γ(τA) ⇒ (iV X )c|A ∈ X(A)
(iV X )v|A ∈ X(A)
⇒ the complete and vertical lift of X
X c = (iV X )c|A ∈ Γ(τ τA
V ) X v = (iV X )v|A ∈ Γ(τ τA
V )
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 79: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/79.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The prolongation of a symplectic Lie affgebroid
(τA : A→ M, τV : V → M, ([[·, ·]]V ,D, ρA)) Lie affgebroid
• f ∈ C∞(M) the complete and vertical lift f c and f v of f to Af c(a) = ρA(a)(f ) f v (a) = f (τA(a)) a ∈ A
• X ∈ Γ(τA) ⇒ X c , X v ∈ X(A) ⇒ X c , X v ∈ Γ(ττA
A) :
X c(a) = (X (τA(a)), X c(a)) X v(a) = (0(τA(a)), X v (a))
• X ∈ Γ(τV ) ⇒ iV X ∈ Γ(τA) ⇒ (iV X )c|A ∈ X(A)
(iV X )v|A ∈ X(A)
⇒ the complete and vertical lift of X
X c = (iV X )c|A ∈ Γ(τ τA
V ) X v = (iV X )v|A ∈ Γ(τ τA
V )
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 80: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/80.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The prolongation of a symplectic Lie affgebroid
Proposition
If α is a section of the vector bundle ∧kV ∗ → M, then thereexists a unique section αc of the vector bundle ∧k (T V A)∗ → Asuch that
αc(X c1 , . . . ,X
ck ) = α(X1, . . . ,Xk )c
αc(X v1 ,X
c2 , . . . ,X
ck ) = α(X1,X2, . . . ,Xk )v
αc(X v1 , . . . ,X
vs ,X
cs+1, . . . ,X
ck ) = 0 if 2 ≤ s ≤ k
for X1, . . . ,Xk ∈ Γ(τV ). Moreover, dT V Aαc = (dVα)c .
The section αc of the vector bundle ∧k (T V A)∗ → A is called thecomplete lift of α
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 81: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/81.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
The prolongation of a symplectic Lie affgebroid
Theorem
Let τA : A→ M be a symplectic Lie affgebroid modelled on theLie algebroid τV : V → M and Ω be a symplectic section ofτV : V → M. Then, the prolongation T AA of the Lie affgebroid Aover the projection τA : A→ M is a symplectic Lie affgebroidand the complete lift Ωc of Ω to the prolongation T V A is asymplectic section of τ τA
V : T V A→ A.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 82: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/82.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
1 Motivation
2 Lie affgebroidsLie affgebroids morphismLie affgebroid structure on T AA
3 Hamiltonian and Lagrangian formalism on Lie affgebroidsThe Hamiltonian formalismThe Lagrangian formalismThe Legendre transformation and the equivalencebetween the Hamiltonian and Lagrangian formalisms
4 The prolongation of a symplectic Lie affgebroid
5 Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 83: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/83.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Definition
Let S be a submanifold of the symplectic Lie affgebroid A andi : S → A be the canonical inclusion. Denote by τS
A : S → M the mapgiven by τS
A = τA i and suppose thatρV (VτS
A (a)) + (TaτSA )(TaS) = TτS
A (a)M, for all a ∈ S. Then, S is said tobe Lagrangian submanifold if the corresponding Lie subaffgebroid
(πS : ρ∗A(TS)→ S, τ τSA
V : T V S → S) of the symplectic Lie affgebroid(τ τA
A : T AA→ A, τ τAV : T V A→ A) is Lagrangian*.
A Lie subaffgebroid of A is a Lie affgebroid morphism ((j : A′ 7→ A, i : M′ 7→ M),
(j l : V ′ 7→ V , i : M′ 7→ M)): j is injective and i is an injective inmersion
*A Lie subaffgebroid of a symplectic Lie affgebroid is Lagrangian if the corresponding
Lie subalgebroid is Lagrangian.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 84: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/84.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Definition
Let S be a submanifold of the symplectic Lie affgebroid A andi : S → A be the canonical inclusion. Denote by τS
A : S → M the mapgiven by τS
A = τA i and suppose thatρV (VτS
A (a)) + (TaτSA )(TaS) = TτS
A (a)M, for all a ∈ S. Then, S is said tobe Lagrangian submanifold if the corresponding Lie subaffgebroid
(πS : ρ∗A(TS)→ S, τ τSA
V : T V S → S) of the symplectic Lie affgebroid(τ τA
A : T AA→ A, τ τAV : T V A→ A) is Lagrangian*.
A Lie subaffgebroid of A is a Lie affgebroid morphism ((j : A′ 7→ A, i : M′ 7→ M),
(j l : V ′ 7→ V , i : M′ 7→ M)): j is injective and i is an injective inmersion
*A Lie subaffgebroid of a symplectic Lie affgebroid is Lagrangian if the corresponding
Lie subalgebroid is Lagrangian.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 85: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/85.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Definition
Let S be a submanifold of the symplectic Lie affgebroid A andi : S → A be the canonical inclusion. Denote by τS
A : S → M the mapgiven by τS
A = τA i and suppose thatρV (VτS
A (a)) + (TaτSA )(TaS) = TτS
A (a)M, for all a ∈ S. Then, S is said tobe Lagrangian submanifold if the corresponding Lie subaffgebroid
(πS : ρ∗A(TS)→ S, τ τSA
V : T V S → S) of the symplectic Lie affgebroid(τ τA
A : T AA→ A, τ τAV : T V A→ A) is Lagrangian*.
A Lie subaffgebroid of A is a Lie affgebroid morphism ((j : A′ 7→ A, i : M′ 7→ M),
(j l : V ′ 7→ V , i : M′ 7→ M)): j is injective and i is an injective inmersion
*A Lie subaffgebroid of a symplectic Lie affgebroid is Lagrangian if the corresponding
Lie subalgebroid is Lagrangian.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 86: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/86.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Definition
Let S be a submanifold of the symplectic Lie affgebroid A andi : S → A be the canonical inclusion. Denote by τS
A : S → M the mapgiven by τS
A = τA i and suppose thatρV (VτS
A (a)) + (TaτSA )(TaS) = TτS
A (a)M, for all a ∈ S. Then, S is said tobe Lagrangian submanifold if the corresponding Lie subaffgebroid
(πS : ρ∗A(TS)→ S, τ τSA
V : T V S → S) of the symplectic Lie affgebroid(τ τA
A : T AA→ A, τ τAV : T V A→ A) is Lagrangian*.
A Lie subaffgebroid of A is a Lie affgebroid morphism ((j : A′ 7→ A, i : M′ 7→ M),
(j l : V ′ 7→ V , i : M′ 7→ M)): j is injective and i is an injective inmersion
*A Lie subaffgebroid of a symplectic Lie affgebroid is Lagrangian if the corresponding
Lie subalgebroid is Lagrangian.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 87: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/87.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Definition
Let S be a submanifold of the symplectic Lie affgebroid A andi : S → A be the canonical inclusion. Denote by τS
A : S → M the mapgiven by τS
A = τA i and suppose thatρV (VτS
A (a)) + (TaτSA )(TaS) = TτS
A (a)M, for all a ∈ S. Then, S is said tobe Lagrangian submanifold if the corresponding Lie subaffgebroid
(πS : ρ∗A(TS)→ S, τ τSA
V : T V S → S) of the symplectic Lie affgebroid(τ τA
A : T AA→ A, τ τAV : T V A→ A) is Lagrangian*.
A Lie subaffgebroid of A is a Lie affgebroid morphism ((j : A′ 7→ A, i : M′ 7→ M),
(j l : V ′ 7→ V , i : M′ 7→ M)): j is injective and i is an injective inmersion
*A Lie subaffgebroid of a symplectic Lie affgebroid is Lagrangian if the corresponding
Lie subalgebroid is Lagrangian.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 88: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/88.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I (τA : A→ M, τV : V → M) Lie affgebroid
h : V ∗ → A+ Hamiltonian section
(Ωh, η) cosymplectic structure on T AV ∗
Rh ∈ Γ(ττ∗VA
) the Reeb section
η(Rh) = 1⇒ Rh(V ∗) ⊆ ρ∗A(TV ∗)
Theorem
Sh = Rh(V ∗) Lagrangian submanifold of ρ∗A(TV ∗)
Ψh: curves in V ∗ ←→ curves in Shc : I → V ∗ 7−→ Rh c : I → Sh
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 89: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/89.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I (τA : A→ M, τV : V → M) Lie affgebroid
h : V ∗ → A+ Hamiltonian section
(Ωh, η) cosymplectic structure on T AV ∗
Rh ∈ Γ(ττ∗VA
) the Reeb section
η(Rh) = 1⇒ Rh(V ∗) ⊆ ρ∗A(TV ∗)
Theorem
Sh = Rh(V ∗) Lagrangian submanifold of ρ∗A(TV ∗)
Ψh: curves in V ∗ ←→ curves in Shc : I → V ∗ 7−→ Rh c : I → Sh
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 90: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/90.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I (τA : A→ M, τV : V → M) Lie affgebroid
h : V ∗ → A+ Hamiltonian section
(Ωh, η) cosymplectic structure on T AV ∗
Rh ∈ Γ(ττ∗VA
) the Reeb section
η(Rh) = 1⇒ Rh(V ∗) ⊆ ρ∗A(TV ∗)
Theorem
Sh = Rh(V ∗) Lagrangian submanifold of ρ∗A(TV ∗)
Ψh: curves in V ∗ ←→ curves in Shc : I → V ∗ 7−→ Rh c : I → Sh
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 91: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/91.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I (τA : A→ M, τV : V → M) Lie affgebroid
h : V ∗ → A+ Hamiltonian section
(Ωh, η) cosymplectic structure on T AV ∗
Rh ∈ Γ(ττ∗VA
) the Reeb section
η(Rh) = 1⇒ Rh(V ∗) ⊆ ρ∗A(TV ∗)
Theorem
Sh = Rh(V ∗) Lagrangian submanifold of ρ∗A(TV ∗)
Ψh: curves in V ∗ ←→ curves in Shc : I → V ∗ 7−→ Rh c : I → Sh
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 92: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/92.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I (τA : A→ M, τV : V → M) Lie affgebroid
h : V ∗ → A+ Hamiltonian section
(Ωh, η) cosymplectic structure on T AV ∗
Rh ∈ Γ(ττ∗VA
) the Reeb section
η(Rh) = 1⇒ Rh(V ∗) ⊆ ρ∗A(TV ∗)
Theorem
Sh = Rh(V ∗) Lagrangian submanifold of ρ∗A(TV ∗)
Ψh: curves in V ∗ ←→ curves in Shc : I → V ∗ 7−→ Rh c : I → Sh
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 93: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/93.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
• γ : I → Sh ⊆ ρ∗A(TV ∗) ⊆ T AV ∗ ⊆ A× TV ∗
t 7→ (γ1(t), γ2(t))
is admissible if γ2 : I → TV ∗, γ2(t) = c(t)
c : I → V ∗, c = πV∗ γ2
πV∗ : TV ∗ → V ∗ the canonical projection
Theorem
Under the bijection Ψh, the admissible curves in the Lagrangiansubmanifold Sh correspond with the solutions of the Hamiltonequations for h.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 94: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/94.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
• γ : I → Sh ⊆ ρ∗A(TV ∗) ⊆ T AV ∗ ⊆ A× TV ∗
t 7→ (γ1(t), γ2(t))
is admissible if γ2 : I → TV ∗, γ2(t) = c(t)
c : I → V ∗, c = πV∗ γ2
πV∗ : TV ∗ → V ∗ the canonical projection
Theorem
Under the bijection Ψh, the admissible curves in the Lagrangiansubmanifold Sh correspond with the solutions of the Hamiltonequations for h.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 95: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/95.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I L : A→ R Lagrangian function
AA : ρ∗A(TV ∗)→ (T V A)∗ the canonical isomorphismbetween pr1|ρ∗A(TV∗) : ρ∗A(TV ∗)→ A and (τ τA
V )∗ : (T V A)∗ → A
Theorem
SL = (A−1A dT V AL)(A) Lagrangian submanifold of ρ∗A(TV ∗)
ΨL: curves in SL ←→ curves in A
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 96: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/96.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I L : A→ R Lagrangian function
AA : ρ∗A(TV ∗)→ (T V A)∗ the canonical isomorphismbetween pr1|ρ∗A(TV∗) : ρ∗A(TV ∗)→ A and (τ τA
V )∗ : (T V A)∗ → A
Theorem
SL = (A−1A dT V AL)(A) Lagrangian submanifold of ρ∗A(TV ∗)
ΨL: curves in SL ←→ curves in A
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 97: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/97.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I L : A→ R Lagrangian function
AA : ρ∗A(TV ∗)→ (T V A)∗ the canonical isomorphismbetween pr1|ρ∗A(TV∗) : ρ∗A(TV ∗)→ A and (τ τA
V )∗ : (T V A)∗ → A
Theorem
SL = (A−1A dT V AL)(A) Lagrangian submanifold of ρ∗A(TV ∗)
ΨL: curves in SL ←→ curves in A
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 98: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/98.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
• γ : I → SL ⊆ ρ∗A(TV ∗) ⊆ A× TV ∗, t 7→ (c(t), γ2(t))
is admissible if γ2 : I → TV ∗, γ2(t) = c∗(t)c∗ : I → V ∗, c∗ = πV∗ γ2
Theorem
Under the bijection ΨL, the admissible curves in the Lagrangiansubmanifold SL correspond with the solutions of theEuler-Lagrange equations for L.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 99: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/99.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
• γ : I → SL ⊆ ρ∗A(TV ∗) ⊆ A× TV ∗, t 7→ (c(t), γ2(t))
is admissible if γ2 : I → TV ∗, γ2(t) = c∗(t)c∗ : I → V ∗, c∗ = πV∗ γ2
Theorem
Under the bijection ΨL, the admissible curves in the Lagrangiansubmanifold SL correspond with the solutions of theEuler-Lagrange equations for L.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 100: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/100.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I L : A→ R hyperregular Lagrangian
ΘL, ΩL = −dT AAΘL the Poincare-Cartan sections
(iV , Id) : T V A→ T AA(iV , Id)(v ,Xa) = (iV (v),Xa)
⇓(iV , Id) is a Lie algebroid morphism over the identity of A
(ΩL, φ0) cosymplectic structure on T AA: (iV , Id)∗φ0 = 0⇓
(iV , Id)∗ΩL is a symplectic section of τ τAV : T V A→ A
⇓(τ τA
A : T AA→ A, τ τAV : T V A→ A) is a symplectic Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 101: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/101.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I L : A→ R hyperregular Lagrangian
ΘL, ΩL = −dT AAΘL the Poincare-Cartan sections
(iV , Id) : T V A→ T AA(iV , Id)(v ,Xa) = (iV (v),Xa)
⇓(iV , Id) is a Lie algebroid morphism over the identity of A
(ΩL, φ0) cosymplectic structure on T AA: (iV , Id)∗φ0 = 0⇓
(iV , Id)∗ΩL is a symplectic section of τ τAV : T V A→ A
⇓(τ τA
A : T AA→ A, τ τAV : T V A→ A) is a symplectic Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 102: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/102.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I L : A→ R hyperregular Lagrangian
ΘL, ΩL = −dT AAΘL the Poincare-Cartan sections
(iV , Id) : T V A→ T AA(iV , Id)(v ,Xa) = (iV (v),Xa)
⇓(iV , Id) is a Lie algebroid morphism over the identity of A
(ΩL, φ0) cosymplectic structure on T AA: (iV , Id)∗φ0 = 0⇓
(iV , Id)∗ΩL is a symplectic section of τ τAV : T V A→ A
⇓(τ τA
A : T AA→ A, τ τAV : T V A→ A) is a symplectic Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 103: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/103.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
I L : A→ R hyperregular Lagrangian
ΘL, ΩL = −dT AAΘL the Poincare-Cartan sections
(iV , Id) : T V A→ T AA(iV , Id)(v ,Xa) = (iV (v),Xa)
⇓(iV , Id) is a Lie algebroid morphism over the identity of A
(ΩL, φ0) cosymplectic structure on T AA: (iV , Id)∗φ0 = 0⇓
(iV , Id)∗ΩL is a symplectic section of τ τAV : T V A→ A
⇓(τ τA
A : T AA→ A, τ τAV : T V A→ A) is a symplectic Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 104: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/104.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
RL the Reeb section of (ΩL, φ0): φ0(RL) = 1
⇓RL ∈ Γ(τ τA
A )
Theorem
SRL= RL(A) Lagrangian submanifold of T AA
ΨSRL: curves in SRL
←→ curves in A
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 105: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/105.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
RL the Reeb section of (ΩL, φ0): φ0(RL) = 1
⇓RL ∈ Γ(τ τA
A )
Theorem
SRL= RL(A) Lagrangian submanifold of T AA
ΨSRL: curves in SRL
←→ curves in A
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 106: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/106.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
RL the Reeb section of (ΩL, φ0): φ0(RL) = 1
⇓RL ∈ Γ(τ τA
A )
Theorem
SRL= RL(A) Lagrangian submanifold of T AA
ΨSRL: curves in SRL
←→ curves in A
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 107: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/107.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
RL the Reeb section of (ΩL, φ0): φ0(RL) = 1
⇓RL ∈ Γ(τ τA
A )
Theorem
SRL= RL(A) Lagrangian submanifold of T AA
ΨSRL: curves in SRL
←→ curves in A
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 108: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/108.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
• γ : I → SRL⊆ T AA ⊆ A× TA, t 7→ (γ1(t), γ2(t))
is admissible if γ2 : I → TA, γ2(t) = c(t)c = πA γ2 : I → A
Theorem
If the Lagrangian L is hyperregular then under the bijectionΨSRL
the admissible curves in the Lagrangian submanifold SRL
correspond with the solutions of the Euler-Lagrange equationsfor L.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 109: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/109.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
• γ : I → SRL⊆ T AA ⊆ A× TA, t 7→ (γ1(t), γ2(t))
is admissible if γ2 : I → TA, γ2(t) = c(t)c = πA γ2 : I → A
Theorem
If the Lagrangian L is hyperregular then under the bijectionΨSRL
the admissible curves in the Lagrangian submanifold SRL
correspond with the solutions of the Euler-Lagrange equationsfor L.
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 110: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/110.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
L : A→ R hyperregular⇒ legL : A→ V ∗ global diffeom.
h : V ∗ → A+ Hamiltonian section h = LegL leg−1L
The Lagrangian submanifolds SL and Sh of the symplectic Lieaffgebroid ρ∗A(TV ∗)
The Lagrangian submanifold SRL of the symplectic Lie affgebroidT AA
Theorem
If the Lagrangian function L : A→ R is hyperregular andh : V ∗ → A+ is the corresponding Hamiltonian section then theLagrangian submanifolds SL and Sh are equal and
T legL(SRL) = SL = Sh
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids
![Page 111: Ghent University · Scheme of the talk 1 Motivation 2 Lie affgebroids Lie affgebroids morphism Lie affgebroid structure on TAA 3 Hamiltonian and Lagrangian formalism on Lie affgebroids](https://reader033.vdocuments.mx/reader033/viewer/2022052519/5f28820fb098d63c064dcb99/html5/thumbnails/111.jpg)
MotivationLie affgebroids
Hamiltonian and Lagrangian formalism on Lie affgebroidsThe prolongation of a symplectic Lie affgebroid
Lagrangian submanifolds and dynamics on a Lie affgebroid
Diana Sosa Lagrangian submanifolds and dynamics on Lie affgebroids