These notes are incomplete they will be updated regularly.

Size: px
Start display at page:

Download "These notes are incomplete they will be updated regularly."

Transcription

1 These notes are incomplete they will be updated regularly. LIE GROUPS, LIE ALGEBRAS, AND REPRESENTATIONS SPRING SEMESTER 2008 RICHARD A. WENTWORTH Contents 1. Lie groups and Lie algebras Definition and examples of Lie groups Left invariant vector fields and Lie algebras The exponential map 6 2. Representations of Lie groups and Lie algebras Definitions and examples The adjoint representation Semisimplicity and Schur s lemma Haar measure and Weyl s trick Characters Examples Peter-Weyl theorem 9 3. Maximal tori Existence Weyl group Cartan subalgebras 9 4. Classification of complex semisimple Lie algebras Roots Dynkin diagrams Stiefel diagrams Classification 9 5. Weyl character formula Weights and multiplicities Examples 9... without fantasy one would never become a mathematician, and what gave me a place among the mathematicians of our day, despite my lack of knowledge and form, was the audacity of my thinking. - Sophus Lie Date: February 4, 2008 (last revision).

2 2 RICHARD A. WENTWORTH 1. Lie groups and Lie algebras 1.1. Definition and examples of Lie groups. Definition 1.1. A (real, complex) Lie group G is a group that has the structure of a (real, complex) differentiable manifold so that the multiplication and inverse maps are smooth. Some examples: The simplest Lie group is perhaps R with its additive structure. The simplest compact example is the circle U(1) = R/Z. More generally, take finite dimensional vector spaces such as R n, and those vector spaces divided by lattices R n /Γ, Γ Z n. Let V be an n-dimensional vector space over K = R, C, or H. Then GL(V ) = {invertible endomorphisms A : V V } Note that invertibility is equivalent to the non-vanishing of det A, which is smooth (in fact, polynomial) in the entries of A. Hence, GL(V ) is an open submanifold of the space of all endomorphisms End(V ). The manifold structure on the latter comes from the identification with the vector space of matrix entries. We will mostly denote these groups GL(n, R), GL(n, C), and GL(n, H). Let SL(V ) GL(V ) denote the subgroup with det A = 1. To see the manifold structure, by the implicit function theorem we need to show that 1 is a regular value for the determinant map. By an important formula, at a point A with det A = 1, (1.1) D det(a)x = D log det(a)x = Tr(A 1 X) and this is clearly surjective, since it is not identically zero. Let O(n) GL(n, R) be the group of length preserving matrices. This is the orthogonal group. We have O(n) = {A GL(n, R) : AA T = I} To see the manifold structure, we need to show that zero is a regular value for the map F : GL(n, R) Sym(n, R) defined by F (A) = AA T I, where Sym(n, R) are the symmetric matrices. We have (1.2) DF (A)X = XA T + AX T and this is surjective, for if Y is symmetric, A O(n), and X = Y A/2, then DF (A)X = Y. In a similar way, one defines the unitary and symplectic groups U(n) and Sp(n). More precisely, these are subgroups of GL(n, C) and GL(n, H) preserving hermitian and quaternionic norms. E.g. U(n) = {A GL(n, C) : AA = I} where A = A T. We can also define the groups SO(n) and SU(n) by the requirement det A = 1. Notice the following:

3 LIE GROUPS 3 The real groups SU(n) and SL(n, R) are both subgroups of the complex group SL(n, C). SU(n) is compact whereas SL(n, R) is non-compact. SU(n) SL(n, R) = SO(n). This structure is an important feature that holds in great generality. For example, suppose A SU(2). Then a b A = c d Since A = A 1, we have SU(2) = A 1 d b = c a { } a b GL(2, C) : a b ā 2 + b 2 = 1 In this way, we see that diffeomorphically SU(2) S 3. Notice that U(1) SU(2) by the requirement b = 0. The quotient space SU(2)/ U(1) S 2, and this is known as the Hopf fibration. We can see this as follows. SU(2) acts on S 2 = P 1 by a b [z b ā 1, z 2 ] = [az 1 + bz 2, bz 1 + āz 2 ] This action is clearly transitive, and the stabilizer of [1, 0] is precisely the U(1) above. This realizes P 1 as a homogeneous space. The requirement that a, b R implies { a b SU(2) SL(2, R) = b a } GL(2, R) : a 2 + b 2 = 1 U(1) On the other hand, SL(2, R) acts on the upper half space H 2 (not the quaternions!) by linear fractional transformations: τ = (x, y) Aτ = aτ + b cτ + d It is easy to see that this is a transitive action, and that the stabilizer of τ = i, say, is the U(1) above. In this way we see that SL(2, R)/ U(1) is diffeomorphic to the upper half plane, which is an open set in S 2 = SU(2)/ U(1). This is an example of the Borel embedding Left invariant vector fields and Lie algebras. Definition 1.2. Let G be a connected Lie group, g = T e G. Then g is called the Lie algebra of G. An important fact is that the tangent bundle of a Lie group is trivial T G G g. A trivialization is given by the following. Any g G gives rise to two diffeomorphisms of G by multiplication on the left or on the right. l g : G G : l g (h) = gh r g : G G : r g (h) = hg Now the derivative Dl g : T h G T gh G. We make the following Definition 1.3. A vector field X g on G is called left invariant if Dl g (X h ) = X gh for all g, h G.

4 4 RICHARD A. WENTWORTH The space of left invariant vector fields is isomorphic to g by setting X g = Dl g (X), for X g. This gives the desired trivialization. We will use the abbreviation l.i.v.f. for left invariant vector field. Remark 1.4. For a matrix group such as the ones we have considered above, Dl g is simply multiplication by g. Hence, X g = gx. For any smooth manifold M, there is a product on the space of vector fields X(M) on M defined as follows. For X, Y X(M) and a function f on M, Let (1.3) [X, Y ](f) = X(Y (f)) Y (X(f)) To be explicit, in local coordinates e i, write X = X i e i Y = Y i e i Then in these coordinates The bracket satisfies (1) [X, Y ] = [Y, X] [X, Y ] = i=1 {X i Y j i,j=1 e i i=1 } Y i Xj e i e j (2) [X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y ]] = 0 (Jacobi identity). Given a Lie group, g = T e G has been identified with the space of l.i.v.f. s, and so g inherits the bracket operation. Namely, define [, ] on g by (1.4) [X, Y ] g = [X g, Y g ] We now abstract this. Definition 1.5. A finite dimensional real (complex) vector space g with a bilinear multiplication [, ] g satisfying properties (1) and (2) above is called a real (complex) Lie algebra. Hence, if G is a Lie group then g = T e G with bracket (1.4) is a Lie algebra. Conversely, every (finite dimensional) Lie algebra arises in this way. Remark 1.6. If g is a real Lie algebra, the complexification g C = g R C is a complex Lie algebra. This is an important construction. Proposition 1.7. For matrix groups, the Lie bracket is given by the commutator of matrix multiplication. Proof. It suffices to prove this for GL(n). For coordinates we choose the elementary matrices: x ij (A) = A ij. If X = n i,j=1 Xij, then by Remark 1.4, X x ij g = n i,j=1 gik X kj. It follows that x ij Xg pq x ij = δ pi X jq g=e g=e

5 Hence, plugging into the expression above, [X g, Y g ] = g=e Examples: = = i,j,p,q=1 i,j,p,q=1 i,j,p,q=1 = XY Y X LIE GROUPS 5 ij Y pq {X x ij } Y ij Xpq x ij x pq { X ij δ pi Y jq Y ij δ pi X jq} x pq { X pj Y jq Y pj X jq} x pq If G is abelian, g is a trivial Lie algebra, i.e. all brackets vanish. Indeed, suppose G is a matrix group. If g(t) and h(s) are curves through the identity with ġ(0) = X, ḣ(0) = Y, then 0 = ( t s ghg 1 h 1) = ( s=0 t gy g 1 Y ) = XY Y X For the general argument, see Proposition 1.13 below. Since GL(V ) is an open subset of the vector space of endomorphisms, gl(v ) End(V ). By Proposition 1.7, the Lie algebra structure is simply the commutator of matrix multipication. Suppose dim V = n. A basis is given by the elementary matrices {e(i, j)} n i,j=1, i.e. (e(i, j)) pq = δ ip δ qj. Since (e(i, j)e(p, q)) kl = (e(i, j)) kr (e(p, q)) rl = we have r=1 (1.5) [e(i, j), e(p, q)] = δ jp e(i, q) δ qi e(p, j) From (1.1) we see that δ ik δ rj δ rp δ ql = δ ik δ jp δ ql = δ jp e(i, q) l=1 sl(v ) = {X End(V ) : Tr(X) = 0} Notice that any endomorphism can be decomposed into traceless and trace pieces: X = (X 1n ) Tr X I + 1 n Tr X I Hence, if V is a vector space over K we have a canonical decomposition of Lie algebras: From (1.2) we see that gl(v ) = K sl(v ) o(n) = {X End(R n ) : X T = X}

6 6 RICHARD A. WENTWORTH i.e. the skew-symmetric matrices. Also, so(n) consists of the traceless, skew-symmetric matrices. Similarly, u(n) = {X End(C n ) : X = X} or skew-hermitian matrices, and su(n) are traceless, skew-hermtian. A basis for su(2) is given by σ 1 = 1 0 i 2 i 0 with commutation relations σ 2 = 1 2 ( 0 ) σ 3 = 1 2 [σ 1, σ 2 ] = σ 3 [σ 2, σ 3 ] = σ 1 [σ 3, σ 1 ] = σ 2 These (up to scale) are the relations for the cross product on R 3. For sl(2, R), take X = Y = and one checks the same commutation relations Z = i 0 0 i [X, Y ] = 2Y [X, Z] = 2Z [Y, Z] = X Notice the 2-dimensional subalgebras. It is clear that su(2) does not have 2-dimensional subalgebras, so sl(2, R) and su(2) are not isomorphic. On the other hand, their complexifications are: 1.3. The exponential map. su(2) C sl(2, R) C sl(2, C) Definition 1.8. A one parameter subgroup (1-PS) of a Lie group G is a homomorphism R G. A 1-PS is determined by an element of g in the following way. Given X g, let γ(t) be a solution to the differential equation γ(t) = X γ(t) γ(0) = e i.e. γ(t) is the flow through the identity of the l.i.v.f. of X. Lemma 1.9. The map t γ(t) defines a homomorphism R G. In particular, γ( t) = γ(t) 1. Proof. We need to show γ(s + t) = γ(s)γ(t) for all t, s. Fix s and let Then σ(t) = γ(s)γ(t) ρ(t) = γ X (s + t) σ(t) = Dl γ(s) γ(t) = Dl γ(s) X γ(t) = Dl γ(s) Dl γ(t) X = Dl γ(s)γ(t) X = X σ(t)

7 LIE GROUPS 7 Hence, σ(t) is the integral curve of the l.i.v.f. of X through σ(0) = γ(s). On the other hand, ρ(t) = γ(s + t) = X γ(s+t) = X ρ(t) So ρ(t) is the integral curve of the l.i.v.f. of X through ρ(0) = γ(s). By the uniqueness of integral curves, these must coincide. Lemma Let γ(t) be the flow of X g through the identity. Then [X, Y ] g = d dt Dr γ( t) Y γ(t) Proof. Notice that Φ t (g) = gγ(t) is the flow of X g through the point g. Moreover, DΦ t Y g = Dr γ(t) Y g. Hence, by definition of the Lie derivative [X, Y ] g = L Xg Y t = d dt DΦ t Y γ(t) = d dt Dr γ( t) Y γ(t) Definition The exponential map exp : g G is defined by exp(x) = γ(1), where γ(t) is the flow of X g through the identity. Notice that d exp(0) is the identity. diffeomorphism. Here is the justification for the terminology: Claim 1. Let G be a matrix group. Then Hence, by the implicit function theorem, exp is a local exp(x) = Proof. Let E(X) be the right hand side, and σ(t) = E(tX). Then σ(0) = I and σ(t) = σ(t)x = m=0 X m m! X σ(t). Hence, σ(t) is the flow of the l.i.v.f. of X, and the claim holds. Here is one use of the exponential map. Proposition Let φ : H G be a homomorphism of Lie groups with H connected. The derivative Dφ(e) : h g is a homomorphism of Lie algebras. Moreover, any other homomorphism with the same derivative is equal to f. Proof. We first show that the derivative Dφ : T h H T φ(h) G takes l.i.v.f. s to l.i.v.f. s. Indeed, if X h, Y = Dφ(e)X, we need to show that Dφ(h)X h = Y φ(h). Let γ(t) be a curve in H, γ(0) = e, γ(0) = X. Then On the other hand, d dt φ(hγ(t)) = Dφ(h)Dl h X = Dφ(h)X h d d dt φ(h)φ(γ(t)) = Dl φ(h) dt φ(γ(t)) = Dl φ(h) Dφ(e)X = Dl φ(h) Y = Y φ(h)

8 8 RICHARD A. WENTWORTH Since φ(hγ(t)) = φ(h)φ(γ(t)), this proves the claim. It follows that Dφ(e)[X, Y ] h = Dφ(h)[X h, Y h ] h=e = [Dφ(h)X h, Dφ(h)Y h ] h=e = [(Dφ(e)X) φ(h), (Dφ(e)Y ) φ(h) ] = [Dφ(e)X, Dφ(e)Y ] g Hence, Dφ(e) is a homomorphism. Since l.i.v.f. s are sent to l.i.v.f. s, φ maps flows of these vector fields to the corresponding flows. The following diagram therefore commutes: h=e (1.6) h exp H Dφ(e) g exp G Since exp is a diffeomorphism on a neighborhood U about the origin, it follows from this diagram that if D φ(e) = Dφ(e), then φ = φ on U. Now consider { H = h H : φ(h) } = φ(h) This set is clearly closed and contains U. If h H, then since φ is a homomorphism, hu is an open neighborhood of h contained in H. Hence, H is open and closed and nonempty. It must equal H by connectivity. Proposition The Lie algebra of an abelian Lie group is trivial. Moreover, the exponential map of an abelian Lie group is a homomorphism. Proof. Fix X, Y g, and let γ(t) = exp(tx). If G is abelian, then l g = r g and Dl g = Dr g. Also, recall from Lemma 1.9 that γ( t)γ(t) = e. Now by Lemma 1.10 we have [X, Y ] g = L Xg Y g = g=e d dt Dr γ( t) Y γ(t) = d dt Dl γ( t) Y γ(t) = d dt Dl γ( t) Dl γ(t) Y = d dt Dl γ( t)γ(t) Y = d dt Dl e Y = d dt Y = 0 φ

9 LIE GROUPS 9 To prove the second statement, notice that the multiplication map µ : G G G is a homomorphism if and only if G is abelian. Also, Dµ : g g g : (X, Y ) X + Y. The result now follows from the commutativity of the diagram (1.6). 2. Representations of Lie groups and Lie algebras 2.1. Definitions and examples The adjoint representation. We may think of one vector field acting on others. Namely, for X X(M) there is a linear map (2.1) ad : X(M) End X(M) : ad X (Y ) [X, Y ] satisfying the properties for any function f on M, ad fx = f ad X ad X (fy ) = f ad X (Y ) + X(f)Y 2.3. Semisimplicity and Schur s lemma Haar measure and Weyl s trick Characters Examples Peter-Weyl theorem. 3. Maximal tori 3.1. Existence Weyl group Cartan subalgebras. 4. Classification of complex semisimple Lie algebras 4.1. Roots Dynkin diagrams Stiefel diagrams Classification. 5. Weyl character formula 5.1. Weights and multiplicities Examples.

10 10 RICHARD A. WENTWORTH address:

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.

More information

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are

More information

THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

More information

1: Lie groups Matix groups, Lie algebras

1: 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 information

Symmetric Spaces Toolkit

Symmetric Spaces Toolkit Symmetric Spaces Toolkit SFB/TR12 Langeoog, Nov. 1st 7th 2007 H. Sebert, S. Mandt Contents 1 Lie Groups and Lie Algebras 2 1.1 Matrix Lie Groups........................ 2 1.2 Lie Group Homomorphisms...................

More information

Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map

Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map Most of the groups we will be considering this semester will be matrix groups, i.e. subgroups of G = Aut(V ), the group

More information

MATRIX LIE GROUPS. Claudiu C Remsing. Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown September Maths Seminar 2007

MATRIX LIE GROUPS. Claudiu C Remsing. Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown September Maths Seminar 2007 MATRIX LIE GROUPS Claudiu C Remsing Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown 6140 26 September 2007 Rhodes Univ CCR 0 TALK OUTLINE 1. What is a matrix Lie group? 2. Matrices

More information

8. COMPACT LIE GROUPS AND REPRESENTATIONS

8. COMPACT LIE GROUPS AND REPRESENTATIONS 8. COMPACT LIE GROUPS AND REPRESENTATIONS. Abelian Lie groups.. Theorem. Assume G is a Lie group and g its Lie algebra. Then G 0 is abelian iff g is abelian... Proof.. Let 0 U g and e V G small (symmetric)

More information

Notation. For any Lie group G, we set G 0 to be the connected component of the identity.

Notation. For any Lie group G, we set G 0 to be the connected component of the identity. Notation. For any Lie group G, we set G 0 to be the connected component of the identity. Problem 1 Prove that GL(n, R) is homotopic to O(n, R). (Hint: Gram-Schmidt Orthogonalization.) Here is a sequence

More information

1 Smooth manifolds and Lie groups

1 Smooth manifolds and Lie groups An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely

More information

REPRESENTATION THEORY WEEK 7

REPRESENTATION 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

Exercises Lie groups

Exercises Lie groups Exercises Lie groups E.P. van den Ban Spring 2009 Exercise 1. Let G be a group, equipped with the structure of a C -manifold. Let µ : G G G, (x, y) xy be the multiplication map. We assume that µ is smooth,

More information

Matrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course

Matrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course Matrix Lie groups and their Lie algebras Mahmood Alaghmandan A project in fulfillment of the requirement for the Lie algebra course Department of Mathematics and Statistics University of Saskatchewan March

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined

More information

Problems in Linear Algebra and Representation Theory

Problems in Linear Algebra and Representation Theory Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific

More information

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive

More information

Subgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.

Subgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold. Recollections from finite group theory. The notion of a group acting on a set is extremely useful. Indeed, the whole of group theory arose through this route. As an example of the abstract power of this

More information

Representations of su(2)

Representations of su(2) Representations of su2 The purpose of these notes is to construct the representations of su2 using the method of weightvectors, based on the discussion of the representations of sl2, R in the notes for

More information

An introduction to the geometry of homogeneous spaces

An introduction to the geometry of homogeneous spaces Proceedings of The Thirteenth International Workshop on Diff. Geom. 13(2009) 121-144 An introduction to the geometry of homogeneous spaces Takashi Koda Department of Mathematics, Faculty of Science, University

More information

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

Math 210C. A non-closed commutator subgroup

Math 210C. A non-closed commutator subgroup Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for

More information

The Spinor Representation

The Spinor Representation The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)

More information

Representations of Matrix Lie Algebras

Representations of Matrix Lie Algebras Representations of Matrix Lie Algebras Alex Turzillo REU Apprentice Program, University of Chicago aturzillo@uchicago.edu August 00 Abstract Building upon the concepts of the matrix Lie group and the matrix

More information

Introduction to Lie Groups and Lie Algebras. Alexander Kirillov, Jr.

Introduction to Lie Groups and Lie Algebras. Alexander Kirillov, Jr. Introduction to Lie Groups and Lie Algebras Alexander Kirillov, Jr. Department of Mathematics, SUNY at Stony Brook, Stony Brook, NY 11794, USA E-mail address: kirillov@math.sunysb.edu URL: http://www.math.sunysb.edu/~kirillov/liegroups/

More information

Lie Groups. Andreas Čap

Lie Groups. Andreas Čap Lie Groups Fall Term 2018/19 Andreas Čap Institut für Mathematik, Universität Wien, Oskar Morgenstern Platz 1, A 1090 Wien E-mail address: Andreas.Cap@univie.ac.at Preface Contents Chapter 1. Lie groups

More information

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed Université de Bordeaux U.F. Mathématiques et Interactions Master Algèbre géométrie et théorie des nombres Final exam of differential geometry 2018-2019 Lecture notes allowed Exercise 1 We call H (like

More information

CHARACTERISTIC CLASSES

CHARACTERISTIC CLASSES 1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact

More information

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups

More information

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1

More information

Symmetries, Fields and Particles. Examples 1.

Symmetries, Fields and Particles. Examples 1. Symmetries, Fields and Particles. Examples 1. 1. O(n) consists of n n real matrices M satisfying M T M = I. Check that O(n) is a group. U(n) consists of n n complex matrices U satisfying U U = I. Check

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define

More information

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations

More information

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg = Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for

More information

arxiv:math-ph/ v1 31 May 2000

arxiv:math-ph/ v1 31 May 2000 An Elementary Introduction to Groups and Representations arxiv:math-ph/0005032v1 31 May 2000 Author address: Brian C. Hall University of Notre Dame, Department of Mathematics, Notre Dame IN 46556 USA E-mail

More information

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f)) 1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical

More information

Notes 10: Consequences of Eli Cartan s theorem.

Notes 10: Consequences of Eli Cartan s theorem. Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation

More information

Topics in Representation Theory: Roots and Weights

Topics in Representation Theory: Roots and Weights Topics in Representation Theory: Roots and Weights 1 The Representation Ring Last time we defined the maximal torus T and Weyl group W (G, T ) for a compact, connected Lie group G and explained that our

More information

Part III Symmetries, Fields and Particles

Part 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 information

Exercises Lie groups

Exercises Lie groups Exercises Lie groups E.P. van den Ban Spring 2012 Exercise 1. Let G be a group, equipped with the structure of a C -manifold. Let µ : G G G, (x, y) xy be the multiplication map. We assume that µ is smooth,

More information

9. The Lie group Lie algebra correspondence

9. The Lie group Lie algebra correspondence 9. The Lie group Lie algebra correspondence 9.1. The functor Lie. The fundamental theorems of Lie concern the correspondence G Lie(G). The work of Lie was essentially local and led to the following fundamental

More information

Lie Groups, Lie Algebras and the Exponential Map

Lie Groups, Lie Algebras and the Exponential Map Chapter 7 Lie Groups, Lie Algebras and the Exponential Map 7.1 Lie Groups and Lie Algebras In Gallier [?], Chapter 14, we defined the notion of a Lie group as a certain type of manifold embedded in R N,

More information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC GROUPS J. WARNER ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic

More information

Basic Concepts of Group Theory

Basic Concepts of Group Theory Chapter 1 Basic Concepts of Group Theory The theory of groups and vector spaces has many important applications in a number of branches of modern theoretical physics. These include the formal theory of

More information

Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

More information

The Real Grassmannian Gr(2, 4)

The 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 information

On the Harish-Chandra Embedding

On the Harish-Chandra Embedding On the Harish-Chandra Embedding The purpose of this note is to link the Cartan and the root decompositions. In addition, it explains how we can view a Hermitian symmetric domain as G C /P where P is a

More information

SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS

SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the

More information

LECTURE 14: LIE GROUP ACTIONS

LECTURE 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 information

1 Hermitian symmetric spaces: examples and basic properties

1 Hermitian symmetric spaces: examples and basic properties Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................

More information

Notes on Lie Algebras

Notes on Lie Algebras NEW MEXICO TECH (October 23, 2010) DRAFT Notes on Lie Algebras Ivan G. Avramidi Department of Mathematics New Mexico Institute of Mining and Technology Socorro, NM 87801, USA E-mail: iavramid@nmt.edu 1

More information

Topics in Representation Theory: Roots and Complex Structures

Topics in Representation Theory: Roots and Complex Structures Topics in Representation Theory: Roots and Complex Structures 1 More About Roots To recap our story so far: we began by identifying an important abelian subgroup of G, the maximal torus T. By restriction

More information

Free Loop Cohomology of Complete Flag Manifolds

Free Loop Cohomology of Complete Flag Manifolds June 12, 2015 Lie Groups Recall that a Lie group is a space with a group structure where inversion and group multiplication are smooth. Lie Groups Recall that a Lie group is a space with a group structure

More information

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for

More information

Math 210C. The representation ring

Math 210C. The representation ring Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let

More information

Introduction to Lie Groups

Introduction to Lie Groups Introduction to Lie Groups MAT 4144/5158 Winter 2015 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike

More information

DIFFERENTIAL GEOMETRY HW 12

DIFFERENTIAL GEOMETRY HW 12 DIFFERENTIAL GEOMETRY HW 1 CLAY SHONKWILER 3 Find the Lie algebra so(n) of the special orthogonal group SO(n), and the explicit formula for the Lie bracket there. Proof. Since SO(n) is a subgroup of GL(n),

More information

About Lie Groups. timothy e. goldberg. October 6, Lie Groups Beginning Details The Exponential Map and Useful Curves...

About Lie Groups. timothy e. goldberg. October 6, Lie Groups Beginning Details The Exponential Map and Useful Curves... About Lie Groups timothy e. goldberg October 6, 2005 Contents 1 Lie Groups 1 1.1 Beginning Details................................. 1 1.2 The Exponential Map and Useful Curves.................... 3 2 The

More information

Topology of Lie Groups

Topology of Lie Groups Topology of Lie Groups Lecture 1 In this seminar talks, to begin with, we plan to present some of the classical results on the topology of Lie groups and (homogeneous spaces). The basic assumption is that

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. 10. Jordan decomposition: theme with variations 10.1. Recall that f End(V ) is semisimple if f is diagonalizable (over the algebraic closure of the base field).

More information

Many of the exercises are taken from the books referred at the end of the document.

Many of the exercises are taken from the books referred at the end of the document. Exercises in Geometry I University of Bonn, Winter semester 2014/15 Prof. Christian Blohmann Assistant: Néstor León Delgado The collection of exercises here presented corresponds to the exercises for the

More information

Representations Are Everywhere

Representations Are Everywhere Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear

More information

CLASSICAL GROUPS DAVID VOGAN

CLASSICAL GROUPS DAVID VOGAN CLASSICAL GROUPS DAVID VOGAN 1. Orthogonal groups These notes are about classical groups. That term is used in various ways by various people; I ll try to say a little about that as I go along. Basically

More information

12 Geometric quantization

12 Geometric quantization 12 Geometric quantization 12.1 Remarks on quantization and representation theory Definition 12.1 Let M be a symplectic manifold. A prequantum line bundle with connection on M is a line bundle L M equipped

More information

Definition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.

Definition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M. 5 Vector fields Last updated: March 12, 2012. 5.1 Definition and general properties We first need to define what a vector field is. Definition 5.1. A vector field v on a manifold M is map M T M such that

More information

Quantum Field Theory III

Quantum Field Theory III Quantum Field Theory III Prof. Erick Weinberg January 19, 2011 1 Lecture 1 1.1 Structure We will start with a bit of group theory, and we will talk about spontaneous symmetry broken. Then we will talk

More information

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces

More information

MANIFOLD STRUCTURES IN ALGEBRA

MANIFOLD STRUCTURES IN ALGEBRA MANIFOLD STRUCTURES IN ALGEBRA MATTHEW GARCIA 1. Definitions Our aim is to describe the manifold structure on classical linear groups and from there deduce a number of results. Before we begin we make

More information

Supplementary Notes March 23, The subgroup Ω for orthogonal groups

Supplementary Notes March 23, The subgroup Ω for orthogonal groups The subgroup Ω for orthogonal groups 18.704 Supplementary Notes March 23, 2005 In the case of the linear group, it is shown in the text that P SL(n, F ) (that is, the group SL(n) of determinant one matrices,

More information

7. Baker-Campbell-Hausdorff formula

7. Baker-Campbell-Hausdorff formula 7. Baker-Campbell-Hausdorff formula 7.1. Formulation. Let G GL(n,R) be a matrix Lie group and let g = Lie(G). The exponential map is an analytic diffeomorphim of a neighborhood of 0 in g with a neighborhood

More information

Hamiltonian flows, cotangent lifts, and momentum maps

Hamiltonian 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 information

(g 1, g 2 ) g 1 g 2. i : G G

(g 1, g 2 ) g 1 g 2. i : G G 1 Lie Groups Definition (4.1 1 A Lie Group G is a set that is a group a differential manifold with the property that and are smooth. µ : G G G (g 1, g 2 g 1 g 2 i : G G g g 1 Definition (4.1 2 A Lie Subgroup

More information

Background on Chevalley Groups Constructed from a Root System

Background on Chevalley Groups Constructed from a Root System Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described

More information

ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY

ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY DUSA MCDUFF AND DIETMAR A. SALAMON Abstract. These notes correct a few typos and errors in Introduction to Symplectic Topology (2nd edition, OUP 1998, reprinted

More information

Subgroups of Linear Algebraic Groups

Subgroups of Linear Algebraic Groups Subgroups of Linear Algebraic Groups Subgroups of Linear Algebraic Groups Contents Introduction 1 Acknowledgements 4 1. Basic definitions and examples 5 1.1. Introduction to Linear Algebraic Groups 5 1.2.

More information

Math 215B: Solutions 1

Math 215B: Solutions 1 Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an

More information

SEMISIMPLE LIE GROUPS

SEMISIMPLE 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 information

ON NEARLY SEMIFREE CIRCLE ACTIONS

ON NEARLY SEMIFREE CIRCLE ACTIONS ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)

More information

Intersection of stable and unstable manifolds for invariant Morse functions

Intersection of stable and unstable manifolds for invariant Morse functions Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and

More information

Simple Lie algebras. Classification and representations. Roots and weights

Simple Lie algebras. Classification and representations. Roots and weights Chapter 3 Simple Lie algebras. Classification and representations. Roots and weights 3.1 Cartan subalgebra. Roots. Canonical form of the algebra We consider a semi-simple (i.e. with no abelian ideal) Lie

More information

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.) 4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M

More information

Hyperkähler geometry lecture 3

Hyperkähler geometry lecture 3 Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that

More information

CHAPTER 6. Representations of compact groups

CHAPTER 6. Representations of compact groups CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive

More information

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky

Homogeneous 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

Branching rules of unitary representations: Examples and applications to automorphic forms.

Branching rules of unitary representations: Examples and applications to automorphic forms. Branching rules of unitary representations: Examples and applications to automorphic forms. Basic Notions: Jerusalem, March 2010 Birgit Speh Cornell University 1 Let G be a group and V a vector space.

More information

Lie groups, Lie algebras, and their representations

Lie groups, Lie algebras, and their representations Lie groups, Lie algebras, and their representations Gwyn Bellamy gwyn.bellamy@glasgow.ac.uk www.maths.gla.ac.uk/ gbellamy September 16, 2016 Abstract These are the lecture notes for the 5M reading course

More information

Thus we get. ρj. Nρj i = δ D(i),j.

Thus we get. ρj. Nρj i = δ D(i),j. 1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :

More information

Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams

Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams I. Introduction The main theorems below are Theorem 9 and Theorem 11. As far as I know, Theorem 9 represents a slight improvement

More information

Real, Complex, and Quarternionic Representations

Real, Complex, and Quarternionic Representations Real, Complex, and Quarternionic Representations JWR 10 March 2006 1 Group Representations 1. Throughout R denotes the real numbers, C denotes the complex numbers, H denotes the quaternions, and G denotes

More information

Siegel Moduli Space of Principally Polarized Abelian Manifolds

Siegel Moduli Space of Principally Polarized Abelian Manifolds Siegel Moduli Space of Principally Polarized Abelian Manifolds Andrea Anselli 8 february 2017 1 Recall Definition 11 A complex torus T of dimension d is given by V/Λ, where V is a C-vector space of dimension

More information

Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO

Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO UTMS 2011 8 April 22, 2011 Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs by Toshiyuki Kobayashi and Yoshiki Oshima T UNIVERSITY OF TOKYO GRADUATE SCHOOL OF

More information

1 Classifying Unitary Representations: A 1

1 Classifying Unitary Representations: A 1 Lie Theory Through Examples John Baez Lecture 4 1 Classifying Unitary Representations: A 1 Last time we saw how to classify unitary representations of a torus T using its weight lattice L : the dual of

More information

Talk at Workshop Quantum Spacetime 16 Zakopane, Poland,

Talk at Workshop Quantum Spacetime 16 Zakopane, Poland, Talk at Workshop Quantum Spacetime 16 Zakopane, Poland, 7-11.02.2016 Invariant Differential Operators: Overview (Including Noncommutative Quantum Conformal Invariant Equations) V.K. Dobrev Invariant differential

More information

BRST and Dirac Cohomology

BRST and Dirac Cohomology BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation

More information

Ruijsenaars type deformation of hyperbolic BC n Sutherland m

Ruijsenaars type deformation of hyperbolic BC n Sutherland m Ruijsenaars type deformation of hyperbolic BC n Sutherland model March 2015 History 1. Olshanetsky and Perelomov discovered the hyperbolic BC n Sutherland model by a reduction/projection procedure, but

More information

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition

More information

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.

More information

Lecture 5. Lie Groups

Lecture 5. Lie Groups Lecture 5. Lie Groups In this lecture we will make a digression from the development of geometry of manifolds to discuss an very important special case. 5.1 Examples Recall that a Lie Group is a group

More information