Euler-Poincaré reduction in principal bundles by a subgroup of the structure group
|
|
- Darcy Jackson
- 6 years ago
- Views:
Transcription
1 Euler-Poincaré reduction in principal bundles by a subgroup of the structure group M. Castrillón López ICMAT(CSIC-UAM-UC3M-UCM) Universidad Complutense de Madrid (Spain) Joint work with Pedro L. García, University of Salamanca (Spain) César Rodrigo, Academia Millitar (Portugal). III Iberoamerican Meeting on Geometry, Mechanics and Control Salamanca, September 2012
2 . CONTENTS 1. Euler-Poincaré reduction for Field Theories 2. Reduction by a subgroup: the space 3. Reduction by a subgroup: the equations 4. Noether conservation law 5. Example: Mechanics 6. Reduction in affine principal bundles 7. Example: Molecular strands
3 REFERENCES M.C.L., P.L. García, T. Ratiu, Euler-Poincaré reduction on principal fiber bundles, Lett. Math. Phys. 58 (2001) M.C.L., T.S. Ratiu, Reduction in principal bundles: covariant Lagrange-Poincaré equations, Comm. Math. Phys. 236 (2003), no. 2, D.C.P. Ellis, F. Gay-Balmaz, D.D. Holm, V. Putkaradze, T.S. Ratiu, Symmetry reduced dynamics of charged molecular strands, Arch. Ration. Mech. Anal. 197 (2010), no. 3, D.C.P. Ellis, F. Gay-Balmaz, D.D. Holm, T.S. Ratiu, Lagrange-Poincaré field equations, J. Geom. Phys. 61 (2011), no. 11, D. Holm, J.E. Marsden, T.S. Ratiu, The Euler-Poincaré equations and semidirect products with applications to continuum theories, Adv. in Math. 137, 1.81 (1998)
4 I.- EULER-POINCARÉ REDUCTION FOR FIELD THEORIES Euler-Poincaré reduction in Mechanics is paradigmatic: We have L : T G R invariant by G so that T G/G g l : g R with variations δσ = dη dt ± ad ση ( ) d δl EL(L) = 0 dt ad σ δσ = 0. In Field theories, we have sections of fiber bundles. In particular, we take π : P M and L : J 1 P R invariant with respect to the structure group G and defining a variational principle s L(j 1 s)v M
5 Theorem Given a local section s of P M and the local section σ = [j 1 s] G of (J 1 P )/G = C M, the following are equivalent: 1.-s satisfies the Euler-Lagrange equations for L, 2.-the variational principle δ M L(j 1 s)dx = 0 holds, for arbitrary variations with compact support, 3.-the Euler-Poincaré equations hold: 4.-the variational principle δ div σ δl δσ = 0, M holds, using variations of the form l(σ(x))dx = 0 δσ = σ η where η : U g is an arbitrary section of the adjoint bundle.
6 Remark: EP(l)(σ) = div σ δl δσ = 0 ( div H + ad σ H ) δl δσ = 0. Remark: If σ = [j 1 s] G, then σ is flat (Curv(σ) = 0) and the integral leaves of σ are the solutions s. EL(L)(s) = 0 loc EP(l)(σ) = 0 Curv(σ) = 0 If Θ L is the Poincaré-Cartan form, Nother theorem says d((j 1 s) i j1 BΘ L ) = 0, B g in J 1 P is equivalent to div σ δl δσ = 0.
7 II.- REDUCTION BY A SUBGROUP: THE SPACE We now consider L : J 1 P R invariant with respect to a subgroup H G. This is related with homogeneous manifolds G/H Relevant (regular) situations with symmetries fit in this context. It is connected with the notion of symmetry breaking. The reduction process contains the information of the general case. In fact, fiber bundles are generally G-bundles so that the symmetry group is usually H G. We first consider the dropped Lagrangian l : (J 1 P )/H R The geometry of the reduced space?
8 Lagrange-Poincaré approach: We fix a connection A and we have (J 1 P )/H J 1 (P/H) P/H T M h where h P/H is the adjoint bundle of the principal bundle P P/H. The reduced equations are split into two groups EL = curva EP = 0 BUT, the identification, the splitting and the gyroscopic terms are NOT canonical. Euler-Poincaré approach: Theorem Let H be a closed Lie subgroup of the structure group G of a principal bundle π : P M. Then the mapping is a fiber diffeomorphism. (J 1 P )/H C M P/H [j 1 xs] H ([j 1 xs] G, [s(x)] H )
9 Proposition For a (local) section s of P M and the induced (local) section j 1 s of J 1 P M, the induced section (σ = [j 1 s] G, s = [s] H ) of C M P/H = (J 1 P )/H, satisfies Curvσ = 0 σ s = 0. Recall that P/H M is the same as the associated bundle P G (G/H) = P (G/H) G M so that connections in P M induce covariant derivatives in P/H.
10 III.- REDUCTION BY A SUBGROUP: THE EQUATIONS Let δs be an arbitrary variation of a local section s of P M. We consider the gauge vector field X such that X Ims = δs. Recall Gauge vector fields G-invariant vertical vector fields in P sections of the adjoint bundle g M. Proposition The induced variations of the sections (σ = [j 1 s] G, s = [s] H ) of C M P/H = (J 1 P )/H are δσ = X C = σ η, δ s = (π H ) X = η P/H where π H : P P/H and X gaup η section of g.
11 We can thus define the operator P (σ, s) : gaup Γ(σ V C) Γ( s V (P/H)), P (σ, s) = (P σ, P s ) with P σ (X) = X C Im σ = σ η, P s (X) = (π H ) X Im s = ηp/h, The adjoint operator defined by P + (σ, s) : Γ(σ V C) Γ( s V (P/H)) Γ( g ) P + (σ, s) (X, Υ)(η) = X, P σ(η) + Υ, P s (η), with X Γ(σ V C) Γ(T M g ), Υ Γ( s V (P/H)), η Γ( g), and, the duality pairing, reads P + (σ, s) (X, Υ) = d X, divσ X + P + s (Υ), where P + s (Υ)(η) = Υ, η P/H.
12 Theorem Let L : J 1 P R be an H-invariant Lagrangian. Let l : C M P/H R be the reduced Lagrangian. For a (local) section s of P M and the induced section (σ, s) of C (P/H) M the following are equivalent: 1. the variational principle δ U L(j1 xs)v = 0 holds, for vertical variations δs along s with compact support, 2. the local section s satisfies the Euler-Lagrange equations for L, 3. the variational principle δ U variations of the form l(σ(x), s(x))v = 0 holds, using δσ = σ η, δ s = η P/H, for any section η of g with compact support, 4. the Euler-Poincaré equations hold: EP(l)(σ, s) := div σ δl δσ P+ s ( ) δl δ s where δl/δσ Γ(σ V C) Γ(T M g ) and δl/δ s Γ( s V (P/H)). = 0,
13 Reconstruction Theorem Let P M be a principal bundle over a simply-connected manifold and let L : J 1 P R be an H-invariant Lagrangian. Let l : C M P/H R be the reduced Lagrangian. For a (local) section s of P M and the induced section (σ, s) of C (P/H) M then EL(L)(s) = 0 EP(l)(σ, s) = 0 Curv(σ) = 0 σ s = 0 For non-simply-connected manifolds there are topological issues.
14 IV.- NOETHER CONSERVATION LAW The EP operator EP(l)(σ, s) := div σ δl δσ P+ s takes values in g with ( ) δl P + s (η) = δ s ( ) δl, δ s δl δ s, η P/H along the section s, with (π H ) η = η P/H. The elements η(x) = [s(x), B(x)] G with B : M h satisfies η P/H Im s = 0, so that for these variations the EP equations are Like a conservation law... div σ δl δσ = 0.
15 Proposition The Noether conservation law d((j 1 s) i j 1 B Θ L) = 0 for the infinitesimal symmetries B, B h, along a critical (local) section s of P M projects to the equation div σ δl = 0, δσ s h where σ = q(j 1 s), s = [s] H and div σ is the covariant divergence operator defined by the connection σ. That is, we have the Euler-Poincaré equation of l evaluated on ker P + s. The conservation law of the H-symmetry is encapsulated in the Euler-Poincaré equations.
16 For symmetries of the reduced Lagrangian l: We say that a vector field Z X(C M (P/H)) is an infinitesimal symmetry of l if it is of the form Z = (X C, (π H ) X) with X autp, and Z (lv) = 0. Proposition If (σ, s) Γ(C) Γ(P/H) is a solution of the Euler-Poincaré equations + the compatibility conditions and Z = (X C, (π H ) X), X autp, is an infinitesimal symmetry of l, the following conservation holds δl div δσ, η v + X ((l (σ, s))v) = 0, where X is the projection of X onto M and η Γ( g) = gaup is the vertical part of X with respect to the connection σ.
17 V.- EXAMPLE: MECHANICS Now M = R and P = R G. We have L : R T G R invariant with respect to H G. The Euler-Poincaré identification (time independent) (T G)/H = T R g (G/H) = g (G/H) Whereas the Lagrange-Poincaré identification is (T G)/H T (G/H) h h being the adjoint bundle of G G/H. Hint: Use the identification T (G/H) = G/H m where g h m is a reductive decomposition (through a connection).
18 For instance, we consider G = SO(3), H = SO(2) and the Lagrangian of the heavy top: L(R, Ṙ) = 1 2 K Ṙ, Ṙ mgre 3 χ In the reduced space g (G/H) = so(3) (SO(3)/SO(2)) we take coordinates Ω : R so(3) = R 3, Ω = R 1 R, Λ : R SO(3)/SO(2) = S 2, Λ = R e 3. The reduced Lagrangian is The operator P + Λ is l(ω, Λ) = 1 IΩ Ω mgλ χ 2 P + Λ : C (R, T S 2 ) C (R, so(3) ) Υ Λ Υ.
19 The Euler-Poincaré equation is EP(l)(Ω, Λ) = div Ω δl δω P+ Λ ( ) δl δλ = d (IΩ) + Ω IΩ + mgλ χ = 0. dt The compatibility condition CurvΩ = 0 is trivial. The condition Ω Λ = 0 reads dλ dt + Ω Λ = 0. These are the classical equations of the reduced heavy top through semidirect product reduction. Consider T G (G/H) and the Lagrangian Then ˆL is G invariant. L( ) = ˆL(, [e] H ) ˆL(v, [g] H ) = L(g 1 v) (T G (G/H))/G = g (G/H).
20 Noether of the H = SO(2)-symmetry The (encapsulated) equation applied to kerp + Λ = {λλ} gives equivalent to IΩ Λ d (IΩ) Λ + Ω IΩ Λ = 0 dt (the vertical angular momentum) constant The field X = t is an infinitesimal symmetry of the reduced Lagrangian. The conservation law for l is d dt IΩ Ω+ d ( ) 1 IΩ Ω mgλ χ = d dt 2 dt conservation of the total energy. ( ) 1 IΩ Ω + mgλ χ 2 = 0
21 VI.- REDUCTION IN AFFINE PRINCIPAL BUNDLES Given a principal bundle P M and a linear action of G on a vector space V we consider and the associated bundle G aff = GSV E = P G V = (P V )/G. The so-called induced affine bundle is P aff = P M E Think of P = LF (M), G = Gl(n; R) and V = R n. Then G aff = Aff(R n ), P aff = AffF (M)
22 Let L : J 1 P aff R be a Lagrangian invariant with respect to G G aff. The reduced Lagrangian is defined in the reduced space Due to the decomposition (J 1 P aff )/G = C aff P aff /G g aff = g V connections in P aff split in two factor. Then In addition P aff /G = E. C aff = C (T M E) Then with variables l : C (T M E) E R (σ, h; s).
23 The Euler-Poincaré equation (in ( g aff ) = g E ) are div σ δl δσ + h δl δh δl δ s s = 0 div σ δl δh δl δ s = 0 The compatibility conditions are σ aff s aff = σ s + h = 0, Curvσ aff = (Curvσ, σ h) = (0, 0) which, taking into account that σ σ = Curvσ are equivalent to σ s = h, Curvσ = 0.
24 VII.- EXAMPLE: MOLECULAR STRANDS We consider P = R 2 SO(3) R 2 and V = R 3. Then E = R 2 R 3 R 2, P aff = R 2 SE(3) R 2, with SE(3) = SO(3)SR 3. Let L : J 1 P aff R invariant with respect to SO(3).
25 The Euler-Poincaré identification gives a reduced Lagrangian defined in C (T M E) E = (T R 2 so(3)) (T R 2 R 3 ) (R 2 R 3 ) with variables σ = Ωdx + ωdt h = Γdx + γdt s(x, t) = ((x, t), ρ(x, t)) with the coordinates in R 2 are (x, t) and the functions Ω, ω, Γ, γ, ρ : R 2 R 3.
26 Euler-Poincaré equation takes the form ( x δl δω + Ω δl ) δω + ( t ( x δl δω + ω δl ) + Γ δl δω δγ + γ δl δγ ρ δl δρ = 0, δl δγ + Ω δl ) ( δl + δγ t δγ + ω δl ) δl δγ δρ = 0. The compatibility equations are ρ x + Ω ρ + Γ = 0, ρ t + ω ρ + γ = 0, Ω t ω x + ω Ω = 0.
27 . THANK YOU VERY MUCH
Reduction of Homogeneous Riemannian structures
Geometric Structures in Mathematical Physics, 2011 Reduction of Homogeneous Riemannian structures M. Castrillón López 1 Ignacio Luján 2 1 ICMAT (CSIC-UAM-UC3M-UCM) Universidad Complutense de Madrid 2 Universidad
More informationSpecial Conformal Invariance
Chapter 6 Special Conformal Invariance Conformal transformation on the d-dimensional flat space-time manifold M is an invertible mapping of the space-time coordinate x x x the metric tensor invariant up
More informationChapter 2 Noether s First Theorem
Chapter 2 Noether s First Theorem We here are concerned with Lagrangian theory on fibre bundles (Chap. 1). In this case, Noether s first theorem (Theorem 2.7) and Noether s direct second theorem (Theorem
More informationA CRASH COURSE IN EULER-POINCARÉ REDUCTION
A CRASH COURSE IN EULER-POINCARÉ REDUCTION HENRY O. JACOBS Abstract. The following are lecture notes from lectures given at the Fields Institute during the Legacy of Jerrold E. Marsden workshop. In these
More informationCOSYMPLECTIC REDUCTION OF CONSTRAINED SYSTEMS WITH SYMMETRY
Vol. XX (XXXX) No. X COSYMPLECTIC REDUCTION OF CONSTRAINED SYSTEMS WITH SYMMETRY Frans Cantrijn Department of Mathematical Physics and Astronomy, Ghent University Krijgslaan 281 - S9, 9000 Ghent, Belgium
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationPart III Symmetries, Fields and Particles
Part III Symmetries, Fields and Particles Theorems Based on lectures by N. Dorey Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationPOISSON-LIE T-DUALITY AND INTEGRABLE SYSTEMS
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 49, Número 1, 2008, Páginas 71 82 POISSON-LIE T-DUALITY AND INTEGRABLE SYSTEMS H. MONTANI Abstract. We describe a hamiltonian approach to Poisson-Lie T-duality
More informationReview of Lagrangian Mechanics and Reduction
Review of Lagrangian Mechanics and Reduction Joel W. Burdick and Patricio Vela California Institute of Technology Mechanical Engineering, BioEngineering Pasadena, CA 91125, USA Verona Short Course, August
More informationHiggs Bundles and Character Varieties
Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character
More informationGauge Theory of Gravitation: Electro-Gravity Mixing
Gauge Theory of Gravitation: Electro-Gravity Mixing E. Sánchez-Sastre 1,2, V. Aldaya 1,3 1 Instituto de Astrofisica de Andalucía, Granada, Spain 2 Email: sastre@iaa.es, es-sastre@hotmail.com 3 Email: valdaya@iaa.es
More informationGroup Actions and Cohomology in the Calculus of Variations
Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,
More informationA DISCRETE THEORY OF CONNECTIONS ON PRINCIPAL BUNDLES
A DISCRETE THEORY OF CONNECTIONS ON PRINCIPAL BUNDLES MELVIN LEOK, JERROLD E. MARSDEN, AND ALAN D. WEINSTEIN Abstract. Connections on principal bundles play a fundamental role in expressing the equations
More informationHamilton-Jacobi theory on Lie algebroids: Applications to nonholonomic mechanics. Manuel de León Institute of Mathematical Sciences CSIC, Spain
Hamilton-Jacobi theory on Lie algebroids: Applications to nonholonomic mechanics Manuel de León Institute of Mathematical Sciences CSIC, Spain joint work with J.C. Marrero (University of La Laguna) D.
More informationTowards Discrete Exterior Calculus and Discrete Mechanics for Numerical Relativity
Towards Discrete Exterior Calculus and Discrete Mechanics for Numerical Relativity Melvin Leok Mathematics, University of Michigan, Ann Arbor. Joint work with Mathieu Desbrun, Anil Hirani, and Jerrold
More informationHAPPY BIRTHDAY TONY! Chicago Blochfest June 30, 2105
HAPPY BIRTHDAY TONY! 1 CLEBSCH OPTIMAL CONTROL Tudor S. Ratiu Section de Mathématiques Ecole Polytechnique Fédérale de Lausanne, Switzerland tudor.ratiu@epfl.ch 2 PLAN OF THE PRESENTATION Symmetric representation
More informationReduction of Symplectic Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 3 (2007), 049, 28 pages Reduction of Symplectic Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group David IGLESIAS, Juan Carlos
More informationTulczyjew triples: from statics to field theory
Tulczyjew triples: from statics to field theory Janusz Grabowski Polish Academy of Sciences 3rd Iberoamerican Meetings on Geometry, Mechanics and Control Salamanca, Sept. 3, 2012 J.Grabowski (IMPAN) Tulczyjew
More informationBlack Holes, Thermodynamics, and Lagrangians. Robert M. Wald
Black Holes, Thermodynamics, and Lagrangians Robert M. Wald Lagrangians If you had asked me 25 years ago, I would have said that Lagrangians in classical field theory were mainly useful as nmemonic devices
More informationScalar Electrodynamics. The principle of local gauge invariance. Lower-degree conservation
. Lower-degree conservation laws. Scalar Electrodynamics Let us now explore an introduction to the field theory called scalar electrodynamics, in which one considers a coupled system of Maxwell and charged
More informationLECTURE 14: LIE GROUP ACTIONS
LECTURE 14: LIE GROUP ACTIONS 1. Smooth actions Let M be a smooth manifold, Diff(M) the group of diffeomorphisms on M. Definition 1.1. An action of a Lie group G on M is a homomorphism of groups τ : G
More informationMetamorphoses for Pattern Matching
Metamorphoses for Pattern Matching Laurent Younes Joint work with Darryl Holm and Alain Trouvé Johns Hopkins University July 23 2007 Happy Birthday Darryl ( ) Metamorphoses for Pattern Matching July 23
More informationThe Erlangen Program and General Relativity
The Erlangen Program and General Relativity Derek K. Wise University of Erlangen Department of Mathematics & Institute for Quantum Gravity Colloquium, Utah State University January 2014 What is geometry?
More informationarxiv:math/ v1 [math.dg] 3 Nov 2004
Noether s second theorem in a general setting. Reducible gauge theories D.Bashkirov 1, G.Giachetta 2, L.Mangiarotti 2, G.Sardanashvily 1 arxiv:math/0411070v1 [math.dg] 3 Nov 2004 1 Department of Theoretical
More informationCocycles and stream functions in quasigeostrophic motion
Journal of Nonlinear Mathematical Physics Volume 15, Number 2 (2008), 140 146 Letter Cocycles and stream functions in quasigeostrophic motion Cornelia VIZMAN West University of Timişoara, Romania E-mail:
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationTwisted Poisson manifolds and their almost symplectically complete isotropic realizations
Twisted Poisson manifolds and their almost symplectically complete isotropic realizations Chi-Kwong Fok National Center for Theoretical Sciences Math Division National Tsing Hua University (Joint work
More informationMirror Symmetry: Introduction to the B Model
Mirror Symmetry: Introduction to the B Model Kyler Siegel February 23, 2014 1 Introduction Recall that mirror symmetry predicts the existence of pairs X, ˇX of Calabi-Yau manifolds whose Hodge diamonds
More informationNonlinear MHD Stability and Dynamical Accessibility
Nonlinear MHD Stability and Dynamical Accessibility Jean-Luc Thiffeault Department of Applied Physics and Applied Mathematics Columbia University Philip J. Morrison Department of Physics and Institute
More informationNoether Symmetries and Conserved Momenta of Dirac Equation in Presymplectic Dynamics
International Mathematical Forum, 2, 2007, no. 45, 2207-2220 Noether Symmetries and Conserved Momenta of Dirac Equation in Presymplectic Dynamics Renato Grassini Department of Mathematics and Applications
More informationAsymptotic Stabilization of the Heavy Top Using Controlled Lagrangians 1
Asymptotic Stabilization of the Heavy Top Using Controlled Lagrangians 1 Dong Eui Chang Jerrold E. Marsden Control and Dynamical Systems 107-81 California Institute of Technology Pasadena, CA 9115 {dchang@cds.caltech.edu,
More informationSUBTANGENT-LIKE STATISTICAL MANIFOLDS. 1. Introduction
SUBTANGENT-LIKE STATISTICAL MANIFOLDS A. M. BLAGA Abstract. Subtangent-like statistical manifolds are introduced and characterization theorems for them are given. The special case when the conjugate connections
More informationStress-energy tensor is the most important object in a field theory and have been studied
Chapter 1 Introduction Stress-energy tensor is the most important object in a field theory and have been studied extensively [1-6]. In particular, the finiteness of stress-energy tensor has received great
More informationModel building using Lie-point symmetries
Model building using Lie-point symmetries Damien P. George Nikhef theory group Amsterdam, The Netherlands CERN LPCC Summer Institute 18 th August 2011 (arxiv:1105.4604) The Lie point symmetry method Want
More informationReminder on basic differential geometry
Reminder on basic differential geometry for the mastermath course of 2013 Charts Manifolds will be denoted by M, N etc. One should think of a manifold as made out of points (while the elements of a vector
More informationarxiv:math-ph/ v1 22 May 2003
On the global version of Euler-Lagrange equations. arxiv:math-ph/0305045v1 22 May 2003 R. E. Gamboa Saraví and J. E. Solomin Departamento de Física, Facultad de Ciencias Exactas, Universidad Nacional de
More informationSeptember 21, :43pm Holm Vol 2 WSPC/Book Trim Size for 9in by 6in
1 GALILEO Contents 1.1 Principle of Galilean relativity 2 1.2 Galilean transformations 3 1.2.1 Admissible force laws for an N-particle system 6 1.3 Subgroups of the Galilean transformations 8 1.3.1 Matrix
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
More informationM3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011
M3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011 Text for the course: Professor Darryl D Holm 25 October 2011 Imperial College London d.holm@ic.ac.uk http://www.ma.ic.ac.uk/~dholm/ Geometric Mechanics
More informationComparison for infinitesimal automorphisms. of parabolic geometries
Comparison techniques for infinitesimal automorphisms of parabolic geometries University of Vienna Faculty of Mathematics Srni, January 2012 This talk reports on joint work in progress with Karin Melnick
More informationSINGULAR SOLITONS, MOMENTUM MAPS & COMPUTATIONAL ANATOMY
SINGULAR SOLITONS, MOMENTUM MAPS & COMPUTATIONAL ANATOMY Darryl D. Holm CCS-Division @ Los Alamos National Laboratory Mathematics Department @ Imperial College London dholm@lanl.gov, d.holm@imperial.ac.uk
More informationIntroduction to supersymmetry
Introduction to supersymmetry Vicente Cortés Institut Élie Cartan Université Henri Poincaré - Nancy I cortes@iecn.u-nancy.fr August 31, 2005 Outline of the lecture The free supersymmetric scalar field
More informationLinear weakly Noetherian constants of motion are horizontal gauge momenta
Linear weakly Noetherian constants of motion are horizontal gauge momenta Francesco Fassò, Andrea Giacobbe and Nicola Sansonetto (September 20, 2010) Abstract The notion of gauge momenta is a generalization
More informationExercise 1 Classical Bosonic String
Exercise 1 Classical Bosonic String 1. The Relativistic Particle The action describing a free relativistic point particle of mass m moving in a D- dimensional Minkowski spacetime is described by ) 1 S
More informationTRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap
TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold
More informationCovariant Lagrangian Formalism for Chern-Simons Theories
Covariant Lagrangian Formalism for Chern-Simons Theories by A.Borowiec 1, L.Fatibene 2,3, M.Francaviglia 2,3,4, S.Mercadante 2 1 Institute of Theoretical Physics, University of Wroc law (Poland) 2 Dipartimento
More information1 Introduction and preliminaries notions
Bulletin of the Transilvania University of Braşov Vol 2(51) - 2009 Series III: Mathematics, Informatics, Physics, 193-198 A NOTE ON LOCALLY CONFORMAL COMPLEX LAGRANGE SPACES Cristian IDA 1 Abstract In
More informationThe existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds. Sao Paulo, 2013
The existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds Zdeněk Dušek Sao Paulo, 2013 Motivation In a previous project, it was proved that any homogeneous affine manifold (and
More informationJ.F. Cari~nena structures and that of groupoid. So we will nd topological groupoids, Lie groupoids, symplectic groupoids, Poisson groupoids and so on.
Lie groupoids and algebroids in Classical and Quantum Mechanics 1 Jose F. Cari~nena Departamento de Fsica Teorica. Facultad de Ciencias. Universidad de Zaragoza, E-50009, Zaragoza, Spain. Abstract The
More informationVortex Equations on Riemannian Surfaces
Vortex Equations on Riemannian Surfaces Amanda Hood, Khoa Nguyen, Joseph Shao Advisor: Chris Woodward Vortex Equations on Riemannian Surfaces p.1/36 Introduction Yang Mills equations: originated from electromagnetism
More informationMoment Maps and Toric Special Holonomy
Department of Mathematics, University of Aarhus PADGE, August 2017, Leuven DFF - 6108-00358 Delzant HyperKähler G 2 Outline The Delzant picture HyperKähler manifolds Hypertoric Construction G 2 manifolds
More informationIntegrability and Associativity
Department of Mathematics University of Illinois at Urbana-Champaign, USA Aim Theorem (Lie III) Every finite dimensional Lie algebra is the Lie algebra of a Lie group Aim Theorem (Lie III) Every finite
More informationGauge Fixing and Constrained Dynamics in Numerical Relativity
Gauge Fixing and Constrained Dynamics in Numerical Relativity Jon Allen The Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation is reviewed. Gauge freedom is discussed and
More informationHamiltonian flows, cotangent lifts, and momentum maps
Hamiltonian flows, cotangent lifts, and momentum maps Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Symplectic manifolds Let (M, ω) and (N, η) be symplectic
More informationTHE NEWLANDER-NIRENBERG THEOREM. GL. The frame bundle F GL is given by x M Fx
THE NEWLANDER-NIRENBERG THEOREM BEN MCMILLAN Abstract. For any kind of geometry on smooth manifolds (Riemannian, Complex, foliation,...) it is of fundamental importance to be able to determine when two
More informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationVariational principles and Hamiltonian Mechanics
A Primer on Geometric Mechanics Variational principles and Hamiltonian Mechanics Alex L. Castro, PUC Rio de Janeiro Henry O. Jacobs, CMS, Caltech Christian Lessig, CMS, Caltech Alex L. Castro (PUC-Rio)
More informationQuantum Field Theory Notes. Ryan D. Reece
Quantum Field Theory Notes Ryan D. Reece November 27, 2007 Chapter 1 Preliminaries 1.1 Overview of Special Relativity 1.1.1 Lorentz Boosts Searches in the later part 19th century for the coordinate transformation
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationA bundle-theoretic perspective to Kac Moody groups
A bundle-theoretic perspective to Kac Moody groups Christoph Wockel May 31, 2007 Outline Kac Moody algebras and groups Central extensions and cocycles Cocycles for twisted loop algebras and -groups Computation
More informationHard Lefschetz Theorem for Vaisman manifolds
Hard Lefschetz Theorem for Vaisman manifolds Antonio De Nicola CMUC, University of Coimbra, Portugal joint work with B. Cappelletti-Montano (Univ. Cagliari), J.C. Marrero (Univ. La Laguna) and I. Yudin
More informationOrientation transport
Orientation transport Liviu I. Nicolaescu Dept. of Mathematics University of Notre Dame Notre Dame, IN 46556-4618 nicolaescu.1@nd.edu June 2004 1 S 1 -bundles over 3-manifolds: homological properties Let
More informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More information= 0. = q i., q i = E
Summary of the Above Newton s second law: d 2 r dt 2 = Φ( r) Complicated vector arithmetic & coordinate system dependence Lagrangian Formalism: L q i d dt ( L q i ) = 0 n second-order differential equations
More informationRouthian reduction for quasi-invariant Lagrangians
JOURNAL OF MATHEMATICAL PHYSICS 51, 022902 2010 Routhian reduction for quasi-invariant Lagrangians B. Langerock, 1,a F. Cantrijn, 2,b and J. Vankerschaver 2,c 1 Sint-Lucas School of Architecture, Hogeschool
More informationarxiv:math-ph/ v3 13 May 2005
Conservation laws for non global Lagrangians A. Borowiec, M. Ferraris, M. Francaviglia and M. Palese arxiv:math-ph/0301043v3 13 May 2005 Abstract In the Lagrangian framework for symmetries and conservation
More informationLifting General Relativity to Observer Space
Lifting General Relativity to Observer Space Derek Wise Institute for Quantum Gravity University of Erlangen Work with Steffen Gielen: 1111.7195 1206.0658 1210.0019 International Loop Quantum Gravity Seminar
More informationObserver dependent background geometries arxiv:
Observer dependent background geometries arxiv:1403.4005 Manuel Hohmann Laboratory of Theoretical Physics Physics Institute University of Tartu DPG-Tagung Berlin Session MP 4 18. März 2014 Manuel Hohmann
More informationESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES. 1. Introduction
ESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES ANDREAS ČAP AND KARIN MELNICK Abstract. We use the general theory developed in our article [1] in the setting of parabolic
More informationPoincaré Duality Angles on Riemannian Manifolds with Boundary
Poincaré Duality Angles on Riemannian Manifolds with Boundary Clayton Shonkwiler Department of Mathematics University of Pennsylvania June 5, 2009 Realizing cohomology groups as spaces of differential
More informationOn variational integrators for optimal control of mechanical control systems. Leonardo Colombo, David Martín de Diego and Marcela Zuccalli
RACSAM Rev. R. Acad. Cien. Serie A. Mat. VOL. Falta Falta), Falta, pp. 9 10 Falta Comunicación Preliminar / Preliminary Communication On variational integrators for optimal control of mechanical control
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationSymmetries of Parabolic Geometries
ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Symmetries of Parabolic Geometries Lenka Zalabová Vienna, Preprint ESI 2082 (2008 December
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationarxiv:hep-th/ v1 9 Jun 1994
DAMTP 94-45 Geometric quantization on homogeneous spaces and the meaning of inequivalent quantizations M. A. Robson arxiv:hep-th/9406057v1 9 Jun 1994 Department of Applied Mathematics and Theoretical Physics,
More informationInvariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups
Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups Dennis I. Barrett Geometry, Graphs and Control (GGC) Research Group Department of Mathematics, Rhodes University Grahamstown,
More informationOptimal Collision Avoidance and Formation Switching on Riemannian Manifolds 1
Optimal Collision Avoidance and Formation Switching on Riemannian Manifolds Jianghai Hu and Shankar Sastry {jianghai,sastry}@eecs.berkeley.edu Department of Electrical Eng. & Comp. Science University of
More informationSymmetries, Conservation Laws and Hamiltonian Structures in Geophysical Fluid Dynamics
Symmetries, Conservation Laws and Hamiltonian Structures in Geophysical Fluid Dynamics Miguel A. Jiménez-Urias 1 Department of Oceanography University of Washington AMATH 573 1 Kinematics Canonical vs
More informationA Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface
Documenta Math. 111 A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface Indranil Biswas Received: August 8, 2013 Communicated by Edward Frenkel
More informationDIRAC COTANGENT BUNDLE REDUCTION HIROAKI YOSHIMURA JERROLD E. MARSDEN. (Communicated by Juan-Pablo Ortega)
JOURNAL OF GEOMETRIC MECHANICS doi:10.3934/jgm.2009.1.87 c American Institute of Mathematical Sciences Volume 1, Number 1, March 2009 pp. 87 158 DIRAC COTANGENT BUNDLE REDUCTION HIROAKI YOSHIMURA Applied
More informationSEMISIMPLE LIE GROUPS
SEMISIMPLE LIE GROUPS BRIAN COLLIER 1. Outiline The goal is to talk about semisimple Lie groups, mainly noncompact real semisimple Lie groups. This is a very broad subject so we will do our best to be
More informationEquivalence, Invariants, and Symmetry
Equivalence, Invariants, and Symmetry PETER J. OLVER University of Minnesota CAMBRIDGE UNIVERSITY PRESS Contents Preface xi Acknowledgments xv Introduction 1 1. Geometric Foundations 7 Manifolds 7 Functions
More informationDynamics and Stability application to submerged bodies, vortex streets and vortex-body systems
Dynamics and Stability application to submerged bodies, vortex streets and vortex-body systems Eva Kanso University of Southern California CDS 140B Introduction to Dynamics February 5 and 7, 2008 Fish
More informationGeometry of Conformal Field Theory
Geometry of Conformal Field Theory Yoshitake HASHIMOTO (Tokyo City University) 2010/07/10 (Sat.) AKB Differential Geometry Seminar Based on a joint work with A. Tsuchiya (IPMU) Contents 0. Introduction
More informationA solution in Weyl gravity with planar symmetry
Utah State University From the SelectedWorks of James Thomas Wheeler Spring May 23, 205 A solution in Weyl gravity with planar symmetry James Thomas Wheeler, Utah State University Available at: https://works.bepress.com/james_wheeler/7/
More informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More information1: Lie groups Matix groups, Lie algebras
Lie Groups and Bundles 2014/15 BGSMath 1: Lie groups Matix groups, Lie algebras 1. Prove that O(n) is Lie group and that its tangent space at I O(n) is isomorphic to the space so(n) of skew-symmetric matrices
More informationDYNAMICS OF GENERALIZED EULER TOPS WITH CONSTRAINTS. Dmitry V. Zenkov, Anthony M. Bloch
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DYNAMICAL SYSTEMS AND DIFFERENTIAL EQUATIONS May 18 21, 2000, Atlanta, USA pp. 398 405 DYNAMICS OF GENERALIZED EULER TOPS WITH CONSTRAINTS Dmitry V. Zenkov,
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationHYPERKÄHLER MANIFOLDS
HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly
More informationModel building and Lie point symmetries
Model building and Lie point symmetries Damien P. George Nikhef theory group Amsterdam, The Netherlands MPIK Heidelberg 25 th May 2011 Talk based on arxiv:1105.4604 Overview Want to systematically find
More informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More informationÜbungen zu RT2 SS (4) Show that (any) contraction of a (p, q) - tensor results in a (p 1, q 1) - tensor.
Übungen zu RT2 SS 2010 (1) Show that the tensor field g µν (x) = η µν is invariant under Poincaré transformations, i.e. x µ x µ = L µ νx ν + c µ, where L µ ν is a constant matrix subject to L µ ρl ν ση
More informationOPERATOR PENCIL PASSING THROUGH A GIVEN OPERATOR
OPERATOR PENCIL PASSING THROUGH A GIVEN OPERATOR A. BIGGS AND H. M. KHUDAVERDIAN Abstract. Let be a linear differential operator acting on the space of densities of a given weight on a manifold M. One
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More informationCOHOMOGENEITY ONE HYPERSURFACES OF EUCLIDEAN SPACES
COHOMOGENEITY ONE HYPERSURFACES OF EUCLIDEAN SPACES FRANCESCO MERCURI, FABIO PODESTÀ, JOSÉ A. P. SEIXAS AND RUY TOJEIRO Abstract. We study isometric immersions f : M n R n+1 into Euclidean space of dimension
More informationROLLING OF A SYMMETRIC SPHERE ON A HORIZONTAL PLANE WITHOUT SLIDING OR SPINNING. Hernán Cendra 1. and MARÍA ETCHECHOURY
Vol. 57 (2006) REPORTS ON MATHEMATICAL PHYSICS No. 3 ROLLING OF A SYMMETRIC SPHERE ON A HORIZONTAL PLANE WITHOUT SLIDING OR SPINNING Hernán Cendra 1 Universidad Nacional del Sur, Av. Alem 1253, 8000 Bahía
More informationCanonical Structure of 2D Black Holes.
arxiv:hep-th/9405015v2 4 May 1994 Canonical Structure of 2D Black Holes. José Navarro-Salas 1,2, Miguel Navarro 2,3,4 and César F. Talavera 1,2,3 1.- Departamento de Física Teórica, Burjassot-46100, Valencia,
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More information