Many of the exercises are taken from the books referred at the end of the document.
|
|
- Christina Potter
- 5 years ago
- Views:
Transcription
1 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 lecture Geometry I held by Christian Blohmann at the University of Bonn during the Winter Semester 2014/15. Many of the exercises are taken from the books referred at the end of the document. The organization of the exercises in this document is slightly different to the way they were handed during the semester. The former numbering together with the number of points distributed during the tutorials are indicated in brackets. Here the exercises are divided into four topics. Contents 1 Smooth manifolds 2 2 Bundles, vector fields and distributions 4 3 Lie groups and algebras 7 4 Riemannian manifolds and connections 10 1
2 1 Smooth manifolds 1.1. Topological manifolds are paracompact (01-[3 points]) Let M be a connected Hausdorff space that is locally Euclidean, i.e. locally isomorphic to R n. Show that the following are equivalent: (i) M is second countable. (ii) M is paracompact Topological manifolds: a counterexample (02-[3 points]) Show that the set X := {(x, y) R 2 xy = 0} with the subspace topology is not a topological manifold Smooth maps between spheres (03-[3 points]) Show that the following maps are smooth: a) p n : S 1 S 1 the nth power map for n Z, given in complex notation by p n (z) = z n. b) F : S 3 S 2 given by F (w, z) = (zw + wz, iwz izw, zz ww), where we think of S 3 as the subset {(w, z): w 2 + z 2 = 1} of C Complex projective line (04-[3 points]) Show that CP 1 is diffeomorphic to S Homogeneous functions of degree d (06-[3 points]) A smooth function P : R n+1 \ {0} R k+1 \ {0} is said to be homogeneous of degree d (d Z), if P (λx) = λ d P (x) for all λ R \ {0} and x R n+1 \ {0}. Show that the map P : RP n RP k defined by P ([x]) = [P (x)] is well defined and smooth General and special linear group (10-[3 points]) Show that GL(n, R) and SL(n, R) are embedded submanifolds of Mat(n n, R). [Hint: Look at the determinant function.] 1.7. Smooth map with zero differential (05-[3 points]) Let M and N be smooth manifolds, where M is connected. Suppose f : M N is a smooth map. Show that T a f : T a M T f(a) N is the zero map for each a M if and only if f is constant. Give an example showing that the statement is not true if M is not connected The differential in coordinates (07-[3 points]) Let f : M N be a smooth map between smooth manifolds and let a be a point in M. The differential of f at a can be computed in terms of directional derivatives once we have chosen coordinate charts around a and f(a). As seen in the lecture, the differential T a f at a can be computed in local coordinates as map of directional derivatives. Show explicitly that the map does not depend on choice of the charts. 2
3 1.9. Special unitary group (08-[3 points]) Let SU(2) := {A Mat(2 2, C): A A = 1 and det A = 1} denote the group of special unitary 2 2 matrices. (A denotes the Hermitan conjugate of A.) a) Show that SU(2) is a smooth 3-dimensional manifold. b) Show that for a Vector space V there is a natural isomorphism T x V = V for every x V. c) Let i: SU(2) Mat(2 2, C) denote the inclusion. Compute the image of the tangent map T 1 i: T 1 SU(2) T 1 Mat(2 2, C) = Mat(2 2, C). (You can give a basis of the image or linear relations describing the matrices in the image.) Tangent space to a product manifold (09-[3 points]) Let M 1,..., M k be smooth manifolds and let π i : M 1 M k M i, 1 i k denote the projections. Show that for every a = (a 1,..., a k ) M 1 M k the linear map is an isomorphism. T a (M 1 M k ) T a1 M 1 T ak M k v (T a π 1 (v),..., T a π k (v)) Compact manifolds and submersions (12-[3 points]) Let M be a nonempty compact smooth manifold. f : M R n for n 1. Show that there is no submersion 1.12 Embeddings and extensions (E1-[3 points]) Let S be an immersed submanifold of the smooth manifold M. Show that: a) S is embedded if and only if every smooth function on S has a smooth extension to a neighborhood of S in M. b) S is properly embedded (embedded and the map from S to M being proper) if and only if any smooth function on S has a smooth extension to all of M Path lifting property of local diffeomorphisms (11-[3 points]) Let f : M M be a proper local diffeomorphism between non-empty manifolds and x M a point. Show that for every path γ : [0, 1] M through γ(0) = f(x) there is unique path γ : [0, 1] M through γ(0) = x such that the diagram [0, 1] γ γ M f M commutes. (Such a path γ is called a lift of γ.) 3
4 2 Bundles, vector fields and distributions 2.1. The tangent bundle of the 2-torus (13-[3 points]) Show that the tangent bundle of T 2 = S 1 S 1 is trivializable Bundle structure of the Möbius strip (14-[3 points]) As topological space, the Möbius strip M is the quotient of [0, 1] R by the equivalence relation (0, x) (1, x). Show that M has the structure of a smooth vector bundle over S 1 by finding a cover by open trivializations as sketched in the lecture. Determine the structure group of your cover Smooth subbundles (16-[3 points]) Let M be a smooth manifold and S M is an immersed submanifold. Identify T p S as a subspace of T p M for each p S and show that T S is a smooth subbundle of T M S Exterior algebra (17-[3 points]) Let V bea real vector space with dim V = n. Show that the dimension of the exterior algebra (V ) = R V 2 V 3 V... is 2 n Smooth nonvanishing vector field on S 2n 1 (15-[3 points]) For any integer n 1, define a flow on the odd-dimensional sphere S 2n 1 C n by θ(t, z) = e it z. Show that the infinitesimal generator of θ is a smooth nonvanishing vector field on S 2n Vector fields (18-[3 points]) Answer the two following questions: a) Is there a vector field on S 2 vanishing just at a single point? Justify your answer. b) Let a be a smooth manifold M and X X(M) be a vector field on M with flow φ t (m). What is the flow of X? 2.7. Flows in R 2 (19-[3 points]) Compute the flow of each of the following vector fields on R 2 and sketch the flowlines in each case. a) V = y x + y. b) W = x x + 2y y. c) X = x x y y. d) Y = y x + x y. 4
5 2.8. Maximal integral curves (20-[3 points]) Let M be a smooth manifold, X X(M) and γ a maximal integral curve of X. a) We say that γ is periodic if there exists a positive number T such that γ(t+t ) = γ(t) for all t R. Show that exactly one of the following holds: γ is constant. γ is injective. γ is periodic and nonconstant. b) In the later case, show that there exists a positive number T (called the period of γ) such that γ(t ) = γ(t) if and only if t t = kt for some k Z. c) Show that the image of γ is an immersed submanifold of M, diffeomorphic to R, S or R Isotopies: time dependent flows (E2-[3 points]) Let M de a smooth manifold. A smooth isotopy of M is a smooth map H : M J M, where J R is an interval, such that for each t J, the map H t : M M defined by H t (p) = H(p, t) is a diffeomorphism. a) Suppose J R is an open interval and H : M J M is a smooth isotopy. Show that the map V : J M T M defined by V (t, p) = H(p, t) t is a smooth time-dependent vector field on M, whose time-dependent flow is given by ψ(t, t 0, p) = H t Ht 1 0 (p) with domain J J M [Note: the definitions of time-dependent flows and time-dependent vector fields can be found in [LEE] pages ]. b) Conversely, suppose J is an open interval and V : J M M is a smooth timedependent vector field on M whose time-dependent flow is defined on J J M. For any t 0 J, show that the map H : M J M defined by H(t, p) = ψ(t, t 0, p) is a smooth isotopy of M Lie derivative in local coordinates (21-[3 points]) Let M be a smooth manifold. Consider a flow Φ: R M M generated by the smooth vector field v X(M). Let w X(M) be a smooth vector field. Prove by using local coordinates that: L v w := d dt Φ t (w) = [v, w]. t=0 5
6 2.11. Distribution on R 3 (29-[3 points]) Let D be the distribution on R 3 spanned by X = x + yz z, Y = y. a) Find an integral submanifold of D passing through the origin. b) Is D involutive? How does the answer of this question relate to a)? ϕ-invariance (30-[3 points]) Let ϕ: M M be a diffeomorphism. A smooth regular distribution E T M is called ϕ-invariant if T ϕ E : E E is an automorphism of vector bundles. A foliation {S i } i I is called ϕ-invariant if for all i I, ϕ(s i ) = S j for some j I. Show that an involutive distribution is ϕ-invariant if and only if its integrating foliation is ϕ-invariant Integrability of Pfaffian systems (35-[4 points]) a) Show that the kernel of a non-vanishing 1-form α is involutive if and only if α dα = 0. Find an example for a non-vanishing 1-form α Ω 1 (R 3 ) that is not closed, dα 0, but has an integrable kernel. b) Let P = {α 1,..., α k } Ω 1 (M) be a set of 1-forms that are linearly independent at m M. Show that the distribution given by ker(α 1 )... ker(α k ) is involutive if and only if the ideal I Ω(M) generated by P is differentially closed, that is, di I Darboux theorem in 2 dimensions (36-[4 points]) A 2-form ω Ω 2 (M) is called symplectic if it is closed, dω = 0, and non-degenerate, that is, the map T M T M, v i v ω is an isomorphism. a) Show that any non-vanishing 1-form α on a 2-dimensional manifold can be written locally as α = fdg for some functions f and g. Show that this is no longer true if the manifold is of dimension higher than 2. b) Use a) to prove the Darboux theorem in 2 dimensions: Every symplectic form ω on a 2-dimensional manifold can be written locally as ω = dq dp Symplectic and hamiltonian vector fields (37-[4 points]) Let ω Ω 2 (M) be a symplectic form. A vector field v X(M) is called symplectic if L v ω = 0. It is called hamiltonian if there is a function f C (M) such that i v ω = df. a) Show that the Lie bracket of any two symplectic vector fields is hamiltonian. b) Show that if M is non-empty, connected and compact; every hamiltonian vector field vanishes at at least 2 points. 6
7 3 Lie groups and algebras 3.1. Hopf action (22-[3 points]) For any integer n 1 consider the following S 1 action on the odd-dimensional sphere S 2n 1 C n : z (w 1,..., w n ) := (zw 1,..., zw n ). This action is called the Hopf action. Show that it is smooth and its orbits are disjoint unit circles in C n whose union is S 2n SO(2), U(1) and S 1 (23-[3 points]) Prove that SO(2), U(1), and S 1 are all isomorphic as Lie groups Tangent bundle of a Lie group (28-[3 points]) Show that the tangent bundle of every Lie group is trivializable Connected components of a Lie group (31-[3 points]) Let G be a Lie group and G 0 G the connected component containing the unit element. Show that: a) G 0 is a normal embedded Lie subgroup of G. b) There is a bijection between G/G 0 and the set of connected components of G R 3 and so(3) (24-[3 points]) Show that R 3 with the cross product is a Lie algebra which is isomorphic to so(3) SL(2, R) (25-[3 points]) Show that: a) The exponential map is not surjective. exp: sl(2, R) SL(2, R) b) SL(2, R) is connected. [Hint: think of the polar decomposition.] 3.7. SU(2) and SO(3) (26-[4 points]) Show that: a) There is an isomorphism of Lie algebras ϕ: su(2) so(3). b) Construct the homomorphism of Lie groups Φ: SU(2) SO(3) that induces the isomorphism of Lie algebras of a). [Hint: use the exponential map.] c) Show that Φ is a 2-fold covering map. 7
8 3.8. The Heisenberg group (27-[5 points]) Show that: 1 x z a) G := 0 1 y Mat(3 3, R) x, y, z R [G is called the Heisenberg group.] is a Lie subgroup of GL(3, R). b) Compute the Lie algebra g of G. c) Show that the exponential map exp: g G is a diffeomorphism. d) Show that if g is equipped with the product X Y := X + Y [X, Y ] for all X, Y g, exp is an isomorphism of Lie groups Exponential map which is neither injective nor surjective (E3-[3 points]) Show that: cos γ sin γ 0 α a) G := sin γ cos γ 0 β γ Mat(4 4, R) α, β, γ R is a Lie subgroup of GL(4, R). b) Describe the Lie algebra g of G. c) Show that the exponential map exp: g G is neither injective nor surjective Abelian Lie groups and algebras (32-[4 points]) Let G be a connected Lie group and let g be its Lie algebra. a) Show that G is abelian if and only if g is abelian. [Hint: Use that [X, Y ] = 0 if and only if exp tx exp sy = exp sy exp tx for all s, t R for any X, Y g.] b) Show that the center of g is the Lie algebra of the center of G. c) Give a counterexample to a) or b) when G is not connected Graded derivations (33-[3 points]) a) Let A be a graded algebra. Show that the graded vector space A with the graded commutator [a, b] := ab ( 1) a b ba is a graded Lie algebra. b) Show that Der(A) is a graded Lie subalgebra of End(A) with the graded commutator bracket. 8
9 3.12. Odd points of a manifold (34-[5 points]) a) Show that the algebra A := R[ε]/ ε 2 is a Z 2 -graded, graded commutative algebra with deg(ε) = 1. (It is called the algebra of dual numbers or, in supergeometry, the algebra of functions on the odd point R 0 1.) b) Let M be a smooth manifold. Show that there is a natural bijection from vectors in T M to graded homomorphisms of graded algebras, T M Hom ( C (M), A ), where C (M) is viewed as Z 2 -graded algebra concentrated in degree 0. (This is often expressed by saying that tangent vectors are the odd points of a manifold.) c) Generalize this to A := R[ε]/ ε k, where k 2. Show that this is a Z k -graded algebra. What can Hom ( C (R), A ) now be identified with? 9
10 4 Riemannian manifolds and connections 4.1. Piecewise smooth paths as smooth paths (38-[3 points]) Let M be a riemannian manifold and γ : [a, b] M be a piecewise smooth path on M. Show that there exists a smooth path γ : [a, b] M with the same image as γ and hence with equal lenght Submanifold topologies (46-[3 points]) Let N be an embedded submanifold of the Riemannian manifold M. N receives an induced Riemannian metric which defines a metric and a topology on N. Show that this topology coincides with the topology on N induced from the topology of M Christoffel symbols (45-[3 points]) What is the transformation behavior of the Christoffel symbols under coordinate changes? 4.4 Killing vector fields (47-[3 points]) Let (M, g) be a Riemannian manifold. A smooth vector field v on M is called a Killing vector field for g if the flow Φ of v acts by isometries, Φ t g = g for all t. Show that: a) The set of all Killing vector fields on M is a Lie subalgebra of X(M). b) A smooth vector field v is a Killing vector field if and only if it satisfies the following equation in each smooth local coordinate chart: v k g ij x + g v k k jk x + g v k i ik x = 0. j 4.5. Locally but not globally isometric manifolds (E4-[3 points]) Consider the embedding f : R 2 R 3 given by f(x, y) = (x cos y, x sin y, y). The image of f, H with the induced pull-back metric is called the helicoid. Let C R 3 be the catenoid, namely the surface of revolution generated by the curve γ(t) = (cosh t, t). Show that H and C are locally but not globally isometric The hyperbolic space (39-[3 points]) We equip R n+1 with the inner product x, y := x 0 y 0 + x 1 y x n y n for every x = (x 0,..., x n ), y = (y 0,..., y n ) R n+1. Consider the submanifold H n := {x R n+1 : x, x = 1, x 0 > 0}. Show that the pull-back of, to H n is a riemannian metric. (H n is called the hyperbolic space.) 10
11 4.7. Hyperbolic space as unit disk (40-[3 points]) In the notation of the previous exercise, let s := ( 1, 0,..., 0) R n+1 and let D n := {(0, ξ 1,..., ξ n ) R n ξ < 1} be the unit open n-disk embedded into R n+1. Show that: a) The map ξ : H n D n defined by is a diffeomorphism. ξ(x) := s b) The metric assumes in this chart the form g = 2(x s) x s, x s 2 (1 ξ 2 ) 2 dξi dξ i Geodesics on the hyperbolic space (41-[3 points]) Determine the geodesics of H n in the chart given in the previous exercise. [Hint: the geodesics through 0 are the easiest ones.] 4.9. Exponential map on a Lie group (42-[6 points]) Let G be a Lie group endowed with a bi-invariant Riemannian metric (i.e. L g and R g are isometries for every g G). Denote by i: G G the inverse map (i(g) := g 1 for every g G). a) Show that T g i = (T e R g 1)(T e i)(t g L g 1) for each g G. Conclude that i is an isometry. b) Let v T e G and c v be the geodesic satisfying c v (0) = e and c v (0) = v. Show that if t is sufficiently small then c v ( t) = (c v (t)) 1. Conclude that c v is defined in R and satisfies c v (t + s) = c v (t)c v (s) for all t, s R. [Hint: Any two points in a normal coordinate neighborhood are connected by a unique geodesic in that neighborhood.] c) Show that the geodesics of G are the integral curves of the left-invariant vector fields on G. Conclude that the maps exp and exp e coincide Exponential map on the sphere (43-[3 points]) Determine the exponential map of the sphere S n, for example at the north pole N. Answer the following questions: a) What is the supremum of the radii of balls in T N S n on which exp N is injective? b) Where does exp N have maximal rank? 11
12 4.11. Injectivity radius of a surface of revolution (44-[3 points]) Consider the surface S of revolution obtained by rotating the curve (x, e x, 0) equipped with the Riemannian metric induced from the Euclidian metric on R 3. Show that S is complete and compute its injectivity radius. (The injectivity radius at a point p S is the largest radius for which the exponential map at p is a diffeomorphism. The injectivity radius of S is the infimum of the injectivity radii at all points.) 4.12 Hopf-Rinow theorem (48-[3 points]) Let M be a connected Riemannian manifold. Asuume that any two points p, q M can be joined by a geodesic of shortest length d(p, q). Show that this does not imply that M is geodesically complete Flat connections I (49-[3 points]) Show that a linear connection on a vector bundle is flat if and only its curvature vanishes Flat connections II (50-[3 points]) Show that a linear connection of a vector bundle over a 1-dimensional manifold is always flat Bott connection (51-[6 points]) Let F T M be an integrable distribution on M. Let S be one of its leaves. Let NS S denote the normal bundle of S. (Recall that the normal fiber at s S is defined as N s S = T s M/T s S.) a) Show that every vector field w Γ (S, T M S ) supported on S extends to a vector field ŵ on M. Show that every vector field X Γ (S, T S) extends to a vector field on ˆX on M that is everywhere tangent to the leaves of the foliation. b) For every vector field u on M let n(u) denote the induced section of the normal bundle given by n(u) s := u(s)+t s S. With vector fields as in a) show that n([ ˆX, ŵ]) depends only on X and w but not on their (non-unique) extensions. c) Show that D X n(w) := n([ ˆX, ŵ]) defines a covariant derivative on S. (This is called the Bott connection.) d) Show that the Bott connection constructed in c) is flat. Bibliography. [LEE] John M. Lee, Introduction to Smooth Manifolds. Springer (2nd edition, 2013). [JOS] Jürgen Jost, Riemannian Geometry and Geometric Analysis. edition, 2011). Springer (6th 12
Exercises 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 informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationLECTURE 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 informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More informationTerse Notes on Riemannian Geometry
Terse Notes on Riemannian Geometry Tom Fletcher January 26, 2010 These notes cover the basics of Riemannian geometry, Lie groups, and symmetric spaces. This is just a listing of the basic definitions and
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationTHE 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 informationCALCULUS 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 informationSYMPLECTIC 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 informationMaster 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 informationSmooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013
Smooth Dynamics 2 Problem Set Nr. 1 University of Chicago Winter 2013 Instructor: Submitted by: Prof. Wilkinson Clark Butler Problem 1 Let M be a Riemannian manifold with metric, and Levi-Civita connection.
More information1 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 informationLECTURE 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 information3.2 Frobenius Theorem
62 CHAPTER 3. POINCARÉ, INTEGRABILITY, DEGREE 3.2 Frobenius Theorem 3.2.1 Distributions Definition 3.2.1 Let M be a n-dimensional manifold. A k-dimensional distribution (or a tangent subbundle) Δ : M Δ
More informationNotes on quotients and group actions
Notes on quotients and group actions Erik van den Ban Fall 2006 1 Quotients Let X be a topological space, and R an equivalence relation on X. The set of equivalence classes for this relation is denoted
More informationDifferential Geometry qualifying exam 562 January 2019 Show all your work for full credit
Differential Geometry qualifying exam 562 January 2019 Show all your work for full credit 1. (a) Show that the set M R 3 defined by the equation (1 z 2 )(x 2 + y 2 ) = 1 is a smooth submanifold of R 3.
More informationPractice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009.
Practice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009. Solutions (1) Let Γ be a discrete group acting on a manifold M. (a) Define what it means for Γ to act freely. Solution: Γ acts
More informationSymmetric 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 informationMath 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.
Problem List I Problem 1. A space X is said to be contractible if the identiy map i X : X X is nullhomotopic. a. Show that any convex subset of R n is contractible. b. Show that a contractible space is
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
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 informationTangent bundles, vector fields
Location Department of Mathematical Sciences,, G5-109. Main Reference: [Lee]: J.M. Lee, Introduction to Smooth Manifolds, Graduate Texts in Mathematics 218, Springer-Verlag, 2002. Homepage for the book,
More information1 v >, which will be G-invariant by construction.
1. Riemannian symmetric spaces Definition 1.1. A (globally, Riemannian) symmetric space is a Riemannian manifold (X, g) such that for all x X, there exists an isometry s x Iso(X, g) such that s x (x) =
More informationLECTURE 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 informationMath 205C - Topology Midterm
Math 205C - Topology Midterm Erin Pearse 1. a) State the definition of an n-dimensional topological (differentiable) manifold. An n-dimensional topological manifold is a topological space that is Hausdorff,
More informationDIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015
DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES MAGGIE MILLER September 25, 2015 1. 09/16/2015 1.1. Textbooks. Textbooks relevant to this class are Riemannian Geometry by do Carmo Riemannian Geometry
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationSubgroups 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 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 informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
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 information(1) Let π Ui : U i R k U i be the natural projection. Then π π 1 (U i ) = π i τ i. In other words, we have the following commutative diagram: U i R k
1. Vector Bundles Convention: All manifolds here are Hausdorff and paracompact. To make our life easier, we will assume that all topological spaces are homeomorphic to CW complexes unless stated otherwise.
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 informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
More information1 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 informationz, w = z 1 w 1 + z 2 w 2 z, w 2 z 2 w 2. d([z], [w]) = 2 φ : P(C 2 ) \ [1 : 0] C ; [z 1 : z 2 ] z 1 z 2 ψ : P(C 2 ) \ [0 : 1] C ; [z 1 : z 2 ] z 2 z 1
3 3 THE RIEMANN SPHERE 31 Models for the Riemann Sphere One dimensional projective complex space P(C ) is the set of all one-dimensional subspaces of C If z = (z 1, z ) C \ 0 then we will denote by [z]
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationLecture 4 - The Basic Examples of Collapse
Lecture 4 - The Basic Examples of Collapse July 29, 2009 1 Berger Spheres Let X, Y, and Z be the left-invariant vector fields on S 3 that restrict to i, j, and k at the identity. This is a global frame
More informationStratification of 3 3 Matrices
Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (
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 informationHopf-Rinow and Hadamard Theorems
Summersemester 2015 University of Heidelberg Riemannian geometry seminar Hopf-Rinow and Hadamard Theorems by Sven Grützmacher supervised by: Dr. Gye-Seon Lee Prof. Dr. Anna Wienhard Contents Introduction..........................................
More informationEXERCISES IN POISSON GEOMETRY
EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible
More informationManifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds
MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold
More informationzi z i, zi+1 z i,, zn z i. z j, zj+1 z j,, zj 1 z j,, zn
The Complex Projective Space Definition. Complex projective n-space, denoted by CP n, is defined to be the set of 1-dimensional complex-linear subspaces of C n+1, with the quotient topology inherited from
More information4 Riemannian geometry
Classnotes for Introduction to Differential Geometry. Matthias Kawski. April 18, 2003 83 4 Riemannian geometry 4.1 Introduction A natural first step towards a general concept of curvature is to develop
More informationclass # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS
class # 34477 MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS [DG] stands for Differential Geometry at https://people.math.osu.edu/derdzinski.1/courses/851-852-notes.pdf [DFT]
More informationPart II. Geometry and Groups. Year
Part II Year 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2014 Paper 4, Section I 3F 49 Define the limit set Λ(G) of a Kleinian group G. Assuming that G has no finite orbit in H 3 S 2, and that Λ(G),
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationNotation. 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 informationLie algebra cohomology
Lie algebra cohomology Relation to the de Rham cohomology of Lie groups Presented by: Gazmend Mavraj (Master Mathematics and Diploma Physics) Supervisor: J-Prof. Dr. Christoph Wockel (Section Algebra and
More informationDIFFERENTIAL GEOMETRY. LECTURE 12-13,
DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of
More informationChanging coordinates to adapt to a map of constant rank
Introduction to Submanifolds Most manifolds of interest appear as submanifolds of others e.g. of R n. For instance S 2 is a submanifold of R 3. It can be obtained in two ways: 1 as the image of a map into
More information10. The subgroup subalgebra correspondence. Homogeneous spaces.
10. The subgroup subalgebra correspondence. Homogeneous spaces. 10.1. The concept of a Lie subgroup of a Lie group. We have seen that if G is a Lie group and H G a subgroup which is at the same time a
More informationA CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS by J. Szenthe Abstract. In case of Riemannian manifolds isometric actions admitting submanifolds
More informationGeometry 2: Manifolds and sheaves
Rules:Exam problems would be similar to ones marked with! sign. It is recommended to solve all unmarked and!-problems or to find the solution online. It s better to do it in order starting from the beginning,
More informationDifferential Geometry, Lie Groups, and Symmetric Spaces
Differential Geometry, Lie Groups, and Symmetric Spaces Sigurdur Helgason Graduate Studies in Mathematics Volume 34 nsffvjl American Mathematical Society l Providence, Rhode Island PREFACE PREFACE TO THE
More informationChapter 1. Smooth Manifolds
Chapter 1. Smooth Manifolds Theorem 1. [Exercise 1.18] Let M be a topological manifold. Then any two smooth atlases for M determine the same smooth structure if and only if their union is a smooth atlas.
More informationDIFFERENTIAL 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 informationfy (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 informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationDifferential Topology Solution Set #2
Differential Topology Solution Set #2 Select Solutions 1. Show that X compact implies that any smooth map f : X Y is proper. Recall that a space is called compact if, for every cover {U } by open sets
More informationMath 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 informationThe Atiyah bundle and connections on a principal bundle
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 3, June 2010, pp. 299 316. Indian Academy of Sciences The Atiyah bundle and connections on a principal bundle INDRANIL BISWAS School of Mathematics, Tata
More informationBRST 2006 (jmf) 7. g X (M) X ξ X. X η = [ξ X,η]. (X θ)(η) := X θ(η) θ(x η) = ξ X θ(η) θ([ξ X,η]).
BRST 2006 (jmf) 7 Lecture 2: Symplectic reduction In this lecture we discuss group actions on symplectic manifolds and symplectic reduction. We start with some generalities about group actions on manifolds.
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationFibre Bundles: Trivial or Not?
Rijksuniversiteit Groningen Bachelor thesis in mathematics Fibre Bundles: Trivial or Not? Timon Sytse van der Berg Prof. Dr. Henk W. Broer (first supervisor) Prof. Dr. Jaap Top (second supervisor) July
More informationThese notes are incomplete they will be updated regularly.
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 2 1.1. Definition
More informationAn Introduction to Riemannian Geometry
An Introduction to Riemannian Geometry with Applications to Mechanics and Relativity Leonor Godinho and José Natário Lisbon, 2004 Contents Chapter 1. Differentiable Manifolds 3 1. Topological Manifolds
More informationMATH DIFFERENTIAL GEOMETRY. Contents
MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL
More informationREGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES
REGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES MAKIKO SUMI TANAKA 1. Introduction This article is based on the collaboration with Tadashi Nagano. In the first part of this article we briefly review basic
More informationProblems 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 informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationA little taste of symplectic geometry
A little taste of symplectic geometry Timothy Goldberg Thursday, October 4, 2007 Olivetti Club Talk Cornell University 1 2 What is symplectic geometry? Symplectic geometry is the study of the geometry
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationLie 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 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 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 informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationLECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
LECTURE 3 MATH 261A LECTURES BY: PROFESSOR DAVID NADLER PROFESSOR NOTES BY: JACKSON VAN DYKE Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
More informationAn Invitation to Geometric Quantization
An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to
More informationNotes 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 informationLecture 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 informationCHAPTER 3. Gauss map. In this chapter we will study the Gauss map of surfaces in R 3.
CHAPTER 3 Gauss map In this chapter we will study the Gauss map of surfaces in R 3. 3.1. Surfaces in R 3 Let S R 3 be a submanifold of dimension 2. Let {U i, ϕ i } be a DS on S. For any p U i we have a
More informationGood Problems. Math 641
Math 641 Good Problems Questions get two ratings: A number which is relevance to the course material, a measure of how much I expect you to be prepared to do such a problem on the exam. 3 means of course
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 informationIntegration and Manifolds
Integration and Manifolds Course No. 100 311 Fall 2007 Michael Stoll Contents 1. Manifolds 2 2. Differentiable Maps and Tangent Spaces 8 3. Vector Bundles and the Tangent Bundle 13 4. Orientation and Orientability
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationThurston s Eight Model Geometries. Nachiketa Adhikari
Thurston s Eight Model Geometries Nachiketa Adhikari May 2016 Abstract Just like the distance in Euclidean space, we can assign to a manifold a notion of distance. Two manifolds with notions of distances
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationComplex line bundles. Chapter Connections of line bundle. Consider a complex line bundle L M. For any integer k N, let
Chapter 1 Complex line bundles 1.1 Connections of line bundle Consider a complex line bundle L M. For any integer k N, let be the space of k-forms with values in L. Ω k (M, L) = C (M, L k (T M)) Definition
More informationManifolds and Differential Geometry: Vol II. Jeffrey M. Lee
Manifolds and Differential Geometry: Vol II Jeffrey M. Lee ii Contents 0.1 Preface................................ v 1 Comparison Theorems 3 1.1 Rauch s Comparison Theorem 3 1.1.1 Bishop s Volume Comparison
More informationA crash course the geometry of hyperbolic surfaces
Lecture 7 A crash course the geometry of hyperbolic surfaces 7.1 The hyperbolic plane Hyperbolic geometry originally developed in the early 19 th century to prove that the parallel postulate in Euclidean
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 informationARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES
ASIAN J. MATH. c 2008 International Press Vol. 12, No. 3, pp. 289 298, September 2008 002 ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES RAUL QUIROGA-BARRANCO Abstract.
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
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 informationDifferential Topology Final Exam With Solutions
Differential Topology Final Exam With Solutions Instructor: W. D. Gillam Date: Friday, May 20, 2016, 13:00 (1) Let X be a subset of R n, Y a subset of R m. Give the definitions of... (a) smooth function
More informationREAL AND COMPLEX SMOOTH MANIFOLDS
CHAPTER 4 REAL AND COMPLEX SMOOTH MANIFOLDS Abridged version from Introduction to Modern Topology and Geometry by Anatole Katok and Alexey Sossinsky The notion of smooth or differentiable manifold is one
More information