1 / 60

770 likes | 1.6k Views

3. Lie Derivatives And Lie Groups. 3.1 Introduction: How A Vector Field Maps A Manifold Into Itself 3.2 Lie Dragging A Function 3.3 Lie Dragging A Vector Field 3.4 Lie Derivatives 3.5 Lie Derivative Of A One-form 3.6 Submanifolds 3.7 Frobenius' Theorem (Vector Field Version)

Download Presentation
## 3. Lie Derivatives And Lie Groups

**An Image/Link below is provided (as is) to download presentation**
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.
Content is provided to you AS IS for your information and personal use only.
Download presentation by click this link.
While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

**3. Lie Derivatives And Lie Groups**3.1 Introduction: How A Vector Field Maps A Manifold Into Itself 3.2 Lie Dragging A Function 3.3 Lie Dragging A Vector Field 3.4 Lie Derivatives 3.5 Lie Derivative Of A One-form 3.6 Submanifolds 3.7 Frobenius' Theorem (Vector Field Version) 3.8 Proof Of Frobenius' Theorem 3.9 An Example: The Generators Of S2 3.10 Invariance 3.11 Killing Vector Fields 3.12 Killing Vectors And Conserved Quantities In Particle Dynamics 3.13 Axial Symmetry 3.14 Abstract Lie Groups 3.15 Examples Of Lie Groups 3.16 Lie Algebras And Their Groups 3.17 Realizations And Representations 3.18 Spherical Symmetry, Spherical Harmonics And Representations Of The Rotation Group**3.1. Introduction: How A Vector Field Maps A Manifold Into**Itself Congruence (flow): Set of non-crossing curves that fill a part of M. These curves are usually solutions of some vector field V. Each point in M where V is non-singular (V0) is on 1 & only 1 curve. dim(congruence) = dim(M) – 1 Lie derivative: Derivative along the congruence of a vector field V. Lie dragging: Moving each p in M by an amount Δλ along the congruence is an auto-diffeomorphism. These draggings form a 1-parameter Lie group.**See Choquet, pp.121 & 138.**Given one can define 2 related mappings: 1. Push-forward (differential) of f : s.t. g : Y → R, Given a coord basis: f* is also written as f , D f, or d f . 2. Pull-back (reciprocal image) of f : s.t. Given a coord basis:**See Choquet, p.144**Let σ(t,x0) be the integral curve of that passes through x0 at t = 0. i.e., with since both satisfy the same differential eqs & same I.C. Define map by σt is called the local transformation generated by vector field V. (c.f. Schutz’s Lie dragging. ) → • The set of all σt is a 1-parameter transformationgroup. It’s local if the range of t is not all of R. In which case, it becomes a pseudo group since closure is violated.**3.2. Lie Dragging A Function**Given function f : M → R and vector field with integral curve σ(λ ) Lie-draggingf along V by Δλ gives another function s.t. i.e. fΔλ is just the push-forward : or the pull-back : f is “Lie dragged” by V if fΔλ = f.**3.3. Lie Dragging A Vector Field**with integral curve σ(λ ) Given vector field with integral curve σ(λ ) Lie dragging a vector field W along V = Operating on W by the push-forward of the local transformation.**3.4. Lie Derivatives**Lie derivative = Derivative along the congruence of a vector field. Definition: Lie derivativeof afunction Given function f : M → R and vector field with integral curves σ(λ, x )**Definition: Lie derivative of avector field Walong vector**field V Setting → where the multiplication is defined by C2 function f. is not a vector field since the Leibniz rule is not obeyed. Also**Properties of the Lie derivative (see Ex 3.1-3)**( Jacobi’s identity ) ( Leibniz rule: L is a derivation ) ( Coordinate basis ) ( General basis ) ( Coordinate-free partial )**3.5. Lie Derivative of a 1-form**see Choquet, p.148. Definition: Lie derivative of a1-form field ωalong vector field V Exercise: show that c.f. ( c.f. Ex 3.14 ) The above can also be derived from Lie derivatives of tensors can be calculated using the Leibniz rule.**d is an anti-derivation that changes a (mn) tensor into a**(mn+1) tensor. L is a derivation that leaves the rank of a tensor unchanged. Basic formulae: ( proof: operate both sides in components on f ) Example:**3.6. Submanifolds**A submanifoldS of a manifold M is a subset of M that is also a manifold. S is an s-Dembedded submanifold of an m-D manifold M if there exists an atlas of M s.t. in every chart, the coordinates of S are of the form See Frankel, § 1.3d. or, more generally, where the y js are functions of the xk s. Note: all solutions y to some set of equations involving x are of this form.**Consider a point pS.**A curve in S through p is also a curve in M. → A (tangent) vector in Tp(S) is also a vector in Tp(M). Indeed, Tp(S) is a subspace of Tp(M) . A vector in Tp(M) is not necessarily a vector in Tp(S). A 1-form in Tp*(M) is also a 1-form in Tp*(S) since it can map any vector in Tp(S) to R by treating it as a vector in Tp(M). A 1-form in Tp*(S) is not necessarily a 1-form in Tp*(M).**3.7. Frobenius' Theorem (Vector Field Version)**On a smooth manifold M, the order of partial derivatives is irrelevant. Coordinate basis vector fields commute, i.e., since C(M) is the ring of all C functions on M. It is not a field because f 1 may not exist. The set L(M) of vector fields on M is a vector space over the field K because it is closed under linear combinations of constant coefficients. If the coefficients of linear combinations are C functions, L(M) becomes a module over the ring C(M). If L(M) is closed under the Lie bracket, it becomes a Lie algebra.**A set of vector fields are linearly independent if they are**lin. indep. at each point. A set of m linearly independent, mutually commuting, vector fields can be taken as a coordinate basis using the parametrization as coordinates. By definition, their integral curves mesh to form a foliation (family of submanifolds). Each (m1)-D submanifold, called a leaf of the foliation, is specified by a fixed value of the mth coordinate. Frobenius theorem generalize this to the case of a set of vector fields which spans a module over C(M) that is closed under the Lie bracket. Lemma : The set of all linear combinations (non-constant coefficients allowed) of a set of mutually commuting vector fields is closed under the Lie bracket. Alternative phrasing: the module over C(M) spanned by a set of mutually commuting vector fields is closed under the Lie bracket. Mathematical terms: if then Proof: See Ex 3.5. Setting → vector fields on a submanifold are closed under the Lie bracket.**Frobenius theorem:**Let L(U) be the set of all linear combinations ( with possibly non-constant coefficients ) of a set of vector fields on a region U of a manifold M. [ i.e, L(U) is a module of vector fields on UM over ring C(U). ] If L(U) is closed under the Lie bracket, then the integral curves of the vector fields mesh to form a foliation. Proof: see §3.8. The original version of the theorem was described in terms of differential forms (see §4.26) and dealed with the integrability conditions of Pfaffian systems (existence of solutions of system of partial differential equations). Examples: Fig.3.7**3.8 Proof of Frobenius' Theorem**Ancillary relations: Strategy of proof: Since the theorem is satisfied if the vector fields commute, we need only show that a set of m linearly independent, mutually commuting, vector fields can be constructed out of m lin. indep. fields that are closed under the Lie bracket. This will be done by induction. The case m = 1 is trivial since foliation = curve = leaf.**Assuming case m1 is valid, we shall prove that case m**also holds. Let the m lin. indep. fields be with Let and for i = 1, … , m1 s.t. → Next, we show that**Since**and we have Similarly, where →**→**→ i.e., {X(i)} is a set of m1 lin. indep. vector fields closed under the Lie bracket. Invoking the (m1) case of the theorem, {X(i)} can be transformed into a set of m1 of lin. indep. mutually commuting vector fields {Y(i)} whose integral curves mesh into a (m1)D foliation S. Next, we extend {Y(i)} into the entire U by requiring it to be invariant under the group transformation generated by V(m) ( i.e., Lie dragging along V(m) ). Calling the resultant fields {Z(i)}, this means with Since we also have QED**3.9. An Example: The Generators of S2**~ ( ang mom op ) ( implied sum over repeated indices ) In general Integral curves of form a foliation with spherical leaves.**→ every li is tangent to the constant r surfaces.**Only 2 of them are linearly independent at each point. Each leaf in the foliation is just S2 . Comment: Angular momenta are generators of rotations. Thus, they are antisymmetric tensors of rank 2. Only in 3-D space are they equivalent to vectors.**3.10. Invariance**Principal use of Lie derivatives: Invariants of tensor fields → Symmetries, Lie groups … A tensor T is invariant under a vector field V if Let F = { T(1) , T(2) , … } be a set of tensor fields. Then the set A of all vector fields under which F is invariant is a Lie algebra. Proof: Since and for aR . we have i.e., A is a vector space. From we have i.e., A is a Lie algebra.**Caution: A is a vector space only under combinations with**constant coefficients. Example: is linearly dependent in R3. i.e., can be satisfied with some ci (x) 0 → submanifold generated by { li } is 2-D. However, is linearly independent if only constant ci are allowed. → Lie algebra generated by { li } is 3-D.**3.11. Killing Vector Fields**V is a Killing vector field if the metric tensor g is invariant wrt it, i.e., For & we have j is a Killing vector g is independent of xj Killing vectors: E3, Cartesian coordinates: E3, spherical coordinates: Killing vectors: Also:**3.12. Killing Vectors & Conserved Quantities in Particle**Dynamics Classical mechanics H = T + Φ : Φ indep of x → px conserved Φ indep of φ→ pφ conserved Not so for other coordinate systems Reason: Conserved momentum must be Killing vector field of configuration space. g is involved because the tensor form of the Newton’s equation is Further discussions deferred to Chapter 5.**3.13. Axial Symmetry**Axial symmetry = invariance about an axis Cylindrical symmetry = axial symmetry + translational symmetry along axis Eq of motion: L = linear operator invar under φ→ φ+ a Caution: A solution is not necessarily axially symmetric, e.g., if is the path of a particle. Fourier analysis: ( for a field ) → m**Example:** has axial eigenvaluem if If is a scalar, then → = scalar axial harmonics**For axis = z, S = x-z half-plane with x 0.**Let S be the submanifold (with boundary) φ= 0. Let be a 2-D basis for TP(S)at each pS. → is a basis for TP(M R3) at pS. Lie dragging around the axis of symmetry generates a basis pM. Let σ(φ) be an integral curve of The basis at a point with φ= φ0 is Since we have i.e., are all axially symmetric. Note: The Cartesian components of are functions of φ.**means**have axial eigenvalues 0. are vector axial harmonics with axial eigenvalues m. i.e., Thus, the solution to can be written as ( sum over j implied ) where a1 , a2 and b are independent of φ. The group of transformation (Lie draggings) { σφ } is the 1-parameter Lie group SO(2). Spherical symmetry leads to SO(3).**3.14. Abstract Lie Groups**Choquet, pp.116, 153. A Lie groupG is a group that is also a differentiable manifold s.t. the group & differential structures are compatible. i.e., is a differentiable map The set { σg } is a Lie group of transformations on manifold X if the map is differentiable and if the set of transformations is a group wrt composition, s.t. σe is the identity transformation with ( Left action of G on X ) → or ( Right action of G on X )**Left translation by g :**Right translation by g : For X = G, the differential (push forward) of the translations are ( Lg*(e) = Schutz’s Lg) Left translation by g near e**A vector field V on G is left invariant if it is invariant**under left translations, i.e., Note: V(h) V|hdenotes the value of V at hG. Setting h = e gives where In local coordinates: For h = e : Let σ(t , g ) be the integral curve of V that passes through g for t = 0. The transformations σt = σ( t, ) form an Abelian group A with group multiplication σt σs = σt+s . Setting σ(t , e ) = g ( t ) turns the curve into a 1-parameter Abelian subgroup of G isomorphic to Awith group multiplication g(0) = e.**The subgroup { g ( t ) =σ(t , e ) } is entirely specified**by It is sometimes denoted by { gγ( t ) }. The integral curve σ(t , h ) is the left coseth { g (t )} of { g (t )} wrt h. By definition: → ( Exponentiation always generates a left (or right) translation along σ(t) ) For each vector γ in Te(G), one can construct a left invariant field V & hence a unique 1-parameter subgroup { gγ( t ) }. Every element on the path connected submanifold of G containing e belongs to one of these 1-parameter subgroups. Restriction to invariant fields guarantees manifold::group compatibility.**Since** if V, W are left invar fields → [ V, W ] is also a left-invariant field. → Left-invariant fields are closed under Lie bracket. if V, W are left invar fields → Left (or right) invariant vector fields form a vector space over R. automatically satisfied → Left (or right) invariant vector fields form a Lie algebra L(G).**Since each left invariant field is specified by its value at**e, L(G) is isomorphic to G , the Lie algebra of G on Te(G). Let be a basis of G or L(G). G or L(G) is specified by the structual constantscki j given by is a (12) tensor. Every Lie group has a unique structure tensor but not vice versa.**3.15. Examples of Lie Groups**(i) Rn It is a manifold under the usual (n-balls) topology. It is an Abelian Lie group under vector addition. The 1-parameter subgroups are rays ( straight lines through 0 ). The congruence of a left invariant field consists of lines parallel to a given ray. A left invariant field is therefore a constant vector field: V(x) = V(0) = γ. → All Lie brackets of left invariant fields vanish. The Lie algebra is Abelian.**(ii) GL(n,R) = Group of all nn invertible real matrices**Group operation = Matrix multiplication. e = Unit matrix. g1 = Inverse matrix. It is a differentiable manifold (Lie group) because it is a submanifold of Coordinates: n2 matrix elements. Group manifold = Tangent space = is isomorphic to the space of all nn real matrices. 1-parameter subgroup: where generator Other integral curves of the left-invariant vector field can be obtained by left translate (multiply) { gA(t) } by some group element h { gA(t) }.**Matrices with negative determinants don’t belong to any**1-paramter subgroup. → GL(n,R) is a disconnected group. Elements path-connected to e form the component of the identity, which is just the subgroup SL(n,R). The Lie bracket of the left-invariant fields is defined as where · is the group (matrix) multiplication. the Lie bracket for the Lie algebra can be written as where A is the matrix version of the vector A|e.**(iii) O(n), SO(n) = Groups of all nn orthogonal real**matrices ( S means det = +1) O(n) is disconnected. SO(n) = component of identity of O(n). A GL(n,R) can be taken as a (11) tensor on Rn. A maps a (column) vector in Rn to another vector in Rn. Similarity transform B1AB is a basis transformation ei→ B1 eion A. The canonical form of A SO(n) is block diagonal with blocks of (see Ex.3.14) where the number of 1 blocks must be even. • → Every A SO(n) represents a rotation in some 2-D plane. • SO(n) = group of rotations. The other component of O(n) represents inversions that change the handedness of basis.**Convention: Algebras of subroups of GL(n,K) are denoted by**lower case letters. Let then The Lie algebra o(n) of group O(n) consists of all anti-symmetric nn matrices. The anti-symmetric condition gives n diagonal & n(n1)/2 off-diagonal relations. → Dimensions of both o(n) & so(n) are The basis of so(3) is or so that**(iv) SU(n) = Group of all nn unitary matrices with unit**determinants SU(n) is a subgroup of GL(n,C). SU(n) is the component of identity of U(n). Let then u(n) consists of all nn anti-Hermitian matrices. The anti-Hermitian condition imposes n(n1)/2 off-diagonal complex, & n imaginary diagonal, conditions. → (Real) dimension of u(n) is The (real) dimension of group U(n) is n2. • su(n) consists of all nn anti-Hermitian traceless matrices. • The (real) dimension of SU(n) is n21.**3.16. Lie Algebras & Their Groups**Every Lie group G has its Lie Algebra G. Every element g of G is on one of the integral curves of a left invariant field specified by a vector in Te(G). If g is not a member of a 1-par subgroup, the integral curve that passes through it can be obtained by a left or right translation of some subgroup. Hence, not all Lie groups can be obtained solely from their Lie algebras. Definition: Lie Algebra A Lie algebra is a vector space endowed a bilinear Lie bracket s.t. Example:**M is disconnected if 2 disjoint open sets A1 & A2 s.t.**A1 A2 = M. M is connected & M are theonly sets that are both open & closed. M is locally connected if every neighborhood of every point contains a connected neighborhood. • ( M, π) is a covering space of N if (see Choquet, p.19) • M is connected & locally connected. • π : M → N is onto & continuous. • π1: N → M is a multi-valued homeomorphism. • Which means pN, neighborhood N(p) s.t. the restriction of • π to each connected component Cα of π1 (N(p)) is a homeomorphism. Schutz’s notation: N is covered byM M is simply connected if every closed curve can be shrunk continuously to a point.**Example: R is simply connected.**Example: S1 is covered by R S1 is multiply-connected. Sn is simply connected for n 2. • Theorem: • Every Lie algebra is the Lie algebra of 1 & only 1 simply-connected Lie group. • Every Lie group with the same Lie algebra is covered by the simply-connected one.**SU(2) is simply connected**Proof: Let → SU(2) = H with where H\{O} is a Lie subgroup of GL(n,C) H is a 4-D real vector space with basis Thus αiR → = S3 in 4-D α-space i.e., every element of SU(2) can be generated by exponentiation from e SU(2) is simply connected**The generators Jkof a unitary matrix must be anti-hermitian.**The Pauli matrix σk are hermitian → Jki σk The Pauli matrices satisfy Setting Note: J2 in eq(3.65), Schutz, is wrong. → ( The structure constants should be real since the vector space & algebra are real ) A vector in Te(SU(2)) can be written as → left invar. fields Elements of a 1-parameter subgroup of SU(2) are given by E.g.**The generators for SO(3) are (see §3.15):**so that → n = 1,2,… E.g.**Setting**by → (SU(2) , π) is a covering space of SO(3). The domain of is t [ 0, 4 π). That of is t [ 0, 2 π). Restricting π to either t [ 0, 2 π) or t [ 2 π, 4 π) makes it a homeomorphism. → (SU(2) , π) is a double covering space of SO(3). i.e., SO(3) is doubly covered by SU(2). The projection of S3 onto the 3-D space of coordinates ( α1 , α2 , α3 ) is the closed ball of radius 1. ( c.f. projection of S2 onto R2. ) Only the outermost sphere with = 1 can be taken to represent actual points on S3. All other spheres with r < 1 are projections. All points on a sphere have the same coordinate

More Related