On a new affine formulation of Hamiltonian classical field theories - PowerPoint PPT Presentation

On a new affine formulation of Hamiltonian classical field theories Juan Carlos Marrero University of La Laguna, Spain e-mail:jcmarrer@ull.edu.es Classical and Quantum Physics: Geometry, Dynamics and Control 60 years Alberto Ibort Fest 5-9 March 2018 ICMAT, Madrid, Spain Work in progress with F Gay-Balmaz and N Mart´ ınez Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

CONGRATULATIONS ALBERTO!!!!!!! Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

My collaboration with Alberto Almost-Poisson brackets for non-holonomic mechanical systems and mechanical systems subjected to impulsive constraints IBORT, ALBERTO; de Le´ on, Manuel; JCM; Mart´ ın de Diego, David: Dirac brackets in constrained dynamics. Fortschr. Phys. 47 (1999), no. 5, 459–492. IBORT, ALBERTO; de Le´ on, Manuel; Lacomba, Ernesto A.; JCM.; de Diego, David Mart´ ın; Pitanga, Paulo Geometric formulation of mechanical systems subjected to time-dependent one-sided constraints. J. Phys. A 31 (1998), no. 11, 2655–2674. IBORT, ALBERTO; de Le´ on, Manuel; Lacomba, Ernesto A.; JCM.; de Diego, David Mart´ ın; Pitanga, Paulo Geometric formulation of Carnot’s theorem. J. Phys. A 34 (2001), no. 8, 1691–1712 . Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Alberto and the geometric formulation of Hamiltonian Classical Field Theories A multisymplectic formulation (including the formulation for manifolds with boundary) Cari˜ nena, J. F.; Crampin, M.; IBORT, L. A.: On the multisymplectic formalism for first order field theories. Di ff erential Geom. Appl. 1 (1991), no. 4, 345–374. IBORT, ALBERTO; Spivak, Amelia: Covariant Hamiltonian field theories on manifolds with boundary: Yang-Mills theories. J. Geom. Mech. 9 (2017), no. 1, 47–82. IBORT, ALBERTO; Spivak, Amelia: On A Covariant Hamiltonian Description of Palatini’s Gravity on Manifolds with Boundary. Preprint arXiv:1605.03492 A realization of Peierls brackets Asorey, M.; Ciaglia, M.; Di Cosmo, F.; IBORT, A: Covariant brackets for particles and fields. Modern Phys. Lett. A 32 (2017), no. 19, 1750100, 16 pp. Erratum: Covariant brackets for particles and fields. Modern Phys. Lett. A 32 (2017), no. 22, 1792002, 1 p. Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems Hamilton equations in Classical Mechanics Some basic constructions on a ffi ne bundles Hamiltonian Classical Field Theories of First Order The problems Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems Hamilton equations in Classical Mechanics The phase space: Z = T ⇤ Q or Z = T ⇤ Q / G (a symplectic or a Poisson manifold) The observables: C 1 ( Z ) The Poisson bracket: ] : Ω 1 ( Z ) = Γ ( T ⇤ Z ) ! X ( Z ) = Γ ( TZ ) { ' , } = < d ' , ] ( d ) >, ' , 2 C 1 ( Z ) The Hamiltonian: H 2 C 1 ( Z ) The Hamilton equations: A curve s : I ! Z is a solution of the Hamilton eqs if and only if { ' , H } � s = s ⇤ ( d ' ) , 8 ' 2 C 1 ( Z ) ( , is an integral curve of Hamiltonian vector field X h = ] ( dH )) Remark: ⌫ = dt a volume form ) Ω 1 ( I ) ' C 1 ( I ) Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems Some basic constructions on a ffi ne bundles A an a ffi ne space which is modeled over the vector space V ; dimV = r A reference frame on A { O ; e 1 , . . . , e r } , O 2 A , { e 1 , . . . , e r } is a basis of V + A + = A ff ( A , R ) the a ffi ne dual of A : a vector space of dimension r + 1 1 A + 2 A + the constant function equal to 1 { e 0 = 1 A + , e 1 , . . . , e r } the dual basis of A + V ⇤ = Lin ( V , R ) the dual space of V { e 1 , . . . , e r } the dual basis on V ⇤ The canonical projection µ : A + ! V ⇤ V ⇤ ' A + / < 1 A + > ' A + / R . Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems The bi-dual space of A A = ( A + ) ⇤ = Lin ( A + , R ) ˜ A is an a ffi ne subspace of ˜ A of codimension 1 V is a vector subspace of ˜ A of codimension 1 U a vector subspace of V + A / U is an a ffi ne space modelled over the vector space V / U and ( A / U ) + ' U 0 = { ' 2 A + / ' ` 2 U 0 } Remark: All the previous constructions may be extended to a ffi ne bundles Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems Vertical lifts to a ffi ne bundles ⌧ : A ! Q an a ffi ne bundle modelled over the vector bundle V a 2 A q , u 2 V q ) u v ( a ) = d dt | t =0 ( a + tu ) 2 V a ⌧ ( q i ) local coordinates on Q , { O ; e ↵ } a reference frame on A + ( q i , a ↵ ) local coordinates on A u = u ↵ e ↵ ( q ) ) u v ( a ) = u ↵ @ @ a ↵ | a Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems A ffi ne bundles and principal R -bundles µ : P ! Q a principal R -bundle ( , it is and a ffi ne bundle of rank 1) R 2 X ( P ) the infinitesimal generator of the R -action The a ffi ne space of sections of µ ! {F 2 C 1 ( P ) / R ( F ) = 1 } , h ! F h Γ ( µ ) F h ( p ) = p � h ( µ ( p )) , 8 p 2 P P ( q i , p ) ) R = @ Q ( q i ) , @ p h ( q i ) = ( q i , � H ( q i )) ) F h ( q i , p ) = p + H ( q i ) The typical example: A an a ffi ne space which is modelled over V + µ : A + ! V ⇤ is a principal R -bundle R ⇥ A + ! A + , ( p , ' ) ! ' + c p Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems Hamiltonian Classical Field Theories of first order The configuration bundle: ⇡ : P ! M , dim M = m , dim P = m + n P ( x i , u ↵ ) , M ( x i ) vol = dx 1 ^ · · · ^ dx m = d m x vol a volume form on M ; � vol = @ x 1 ^ · · · ^ @ x m = @ m x � vol the volume m -vector; The evolution space: J 1 ⇡ = [ p 2 P { h p : T ⇡ ( p ) M ! T p P / h p is linear and T p ⇡ � h p = id } h p is a horizontal lift from T ⇡ ( p ) M to T p P ⇡ 1 , 0 : J 1 ⇡ ! P is an a ffi ne bundle, ( x i , u ↵ , u ↵ i ) The corresponding vector bundle ⇡ v 1 , 0 : V ( J 1 ( ⇡ )) ! P V ( J 1 ⇡ ) = ⇡ ⇤ ( T ⇤ M ) ⌦ V ⇡ = [ p 2 P { v p : T ⇡ ( p ) M ! V p ⇡ / v p is linear } Local coordinates: ( x i , u ↵ , u ↵ i ) An important remark: Ehresmann connections r : X ( M ) ! X ( P ) on ⇡ : P ! M $ s : P ! J 1 ⇡ 2 Γ ( J 1 ⇡ ) Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems The extended multimomentum bundle: M ⇡ = ( J 1 ⇡ ) + = A ff ( J 1 ( ⇡ ) , R ) = Λ m 2 ( T ⇤ P ) = { ' 2 Λ m ( T ⇤ P ) / i u i v ( ' ) = 0 , 8 u , v 2 V ( ⇡ ) } ( x i , u ↵ , p , p i ⌫ : M ⇡ ! P a vector bundle, ↵ ) ↵ du ↵ ^ d m � 1 x i , ' = pd m x + p i d m � 1 x i = i ( @ x i ) d m x The restricted multimomentum bundle: M 0 ⇡ = Lin ( ⇡ ⇤ ( T ⇤ M ) ⌦ V ( ⇡ ) , R ) ' Lin ( V ⇡ , ⇡ ⇤ ( Λ m � 1 T ⇤ M )) ⌫ 0 : M 0 ⇡ ! P a vector bundle, ( x i , u ↵ , p i ↵ ) The canonical projection: µ : M ⇡ ! M 0 ⇡ µ ( x i , u ↵ , p , p i ↵ ) = ( x i , u ↵ , p i ↵ ) It is a principal R -bundle and M 0 ⇡ = M ⇡ / R Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems The Hamiltonian section: h 2 Γ ( µ ) Γ ( µ ) = { h : M 0 ⇡ ! M ⇡ / h is smooth and µ � h = id } is an a ffi ne space which is modelled over the vector space C 1 ( M 0 ⇡ ) Hamilton-deDonder-Weyl equations: h 2 Γ ( µ ) and h ( x i , u ↵ , p i ↵ ) = ( x i , u ↵ , � H ( x i , u ↵ , p i ↵ ) , p i ↵ ) s 0 : U ✓ M ! M 0 ⇡ a local section of ⇡ � ⌫ 0 , s 0 ( x i ) = ( x i , u ↵ ( x ) , p i ↵ ( x )) s 0 is a solution of H-deD-W eqs , @ u ↵ @ p i @ x i = @ H @ x i = � @ H ↵ , @ p i @ u ↵ ↵ Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems A more geometric approach (Carinena, Crampin, Ibort 1991 and the Spanish group) The canonical multisymplectic structure on M ⇡ ! M ⇡ = du ↵ ^ dp i ↵ ^ d m � 1 x i � dp ^ d m x 2 Ω m +1 ( M ⇡ ) The hamiltonian section h : M 0 ⇡ ! M ⇡ + ! h = h ⇤ ( ! M ⇡ ) a multisymplectic structure on M 0 ⇡ H-deD-W equations s : M ! M 0 ⇡ a local section of ⇡ � ⌫ 0 : M 0 ⇡ ! M s satisfies the H-deD-W eqs , s ⇤ ( i U ! h ) = 0 , 8 U 2 Γ ( V ( ⇡ � ⌫ 0 )) Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor

Motivation and problems Remark: Local sections of ⇡ � ⌫ 0 : M 0 ⇡ ! M ' integral sections of a connection on ⇡ � ⌫ 0 : M 0 ⇡ ! M A connection r : X ( M ) ! X ( M 0 ⇡ ) on ⇡ � ⌫ 0 : M 0 ⇡ ! M is said to be Hamiltonian if i (( Λ m r )( � vol )) ! h = 0 Hamiltonian connections and H-deD-W eqs The integral sections of a Hamiltonian connection are solutions of the H-deD-W eqs for h Juan Carlos Marrero On a new a ffi ne formulation of Hamiltonian classical field theor