Math 215B: Solutions 1

Size: px
Start display at page:

Download "Math 215B: Solutions 1"

Transcription

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 immersion. Solution. Note that X is Hausdorff: Any two points not in the same fiber of π can be separated by preimages of open sets in X, and any two points in the same fiber can be separated due the covering space condition. For X to be second-countable it is necessary and sufficient that the fibers of π are at most countable. So we assume that this is the case. Now we need to construct a compatible system of charts for X. Let y X and x := π(y) X. Let ϕ : V U R n be a chart around x belonging to ϕ. Since π is a covering map, there an open subset W X containing x and such that π 1 (W ) = i I W i for some index set I, where each W i is an open subset of X which is mapped homeomorphically mapped onto W by π. let j I be the unique index for which y W j. Then ψ y,ϕ,w := ϕ V W π π 1 (V ) W j : π 1 (V ) W j ϕ(v W ) is a homeomorphism onto an open subset of R n, that is a chart for X around y. topological manifold. Thus X is a We claim this system of charts even defines a smooth structure. Suppose ψ := ψ y,ϕ,w and ψ := ψ y,ϕ,w are two such charts, where ϕ : V U and ϕ : V U are charts for X. Let Ṽ and Ṽ denote the domains of ϕ and ϕ respectively. Then by construction π V has a continuous inverse, and ψ 1 = π 1 Ṽ ϕ 1. Thus ψ ψ 1 = ϕ π π Ṽ 1 ϕ 1 = ϕ ϕ 1. This map is a diffeomorphism on the open subset of U where it is defined, since the charts ϕ and ϕ are compatible. This shows that the charts we constructed for X are compatible and thus can be extended to a smooth structure. () Prove that the following are submanifolds of the space of n n matrices, Mat n,n (R) = R n. Compute their dimensions. 1. GL n (R). SL n (R) 3. SO(n). Solution. 1. GL n (R) is the set of matrices with nonzero determinant. The determinant function det : Mat n,n (R) R is a polynomial in the matrix entries and is therefore smooth and in particular continuous. Thus GL n (R) = det 1 (R \ {0}) is an open subset of Mat n,n (R) as the preimage of an open set under a continuos function. As an open subset of a manifold it is a submanifold.. SL n (R) is the set of matrices with determinant one, that is the set det 1 ({1}). If we can show that 1 is a regular value of the determinant, it follows that SL n (R) is a submanifold of Mat n,n (R) by the implicit function thorem. So let A be any matrix with det A = 1. We 1

2 want to show that D A det is surjective. Let M i,j denote the (i, j)-th minor of A, i.e. the determinant of the Matrix obtained by deleting the i-th row and j-th column from A. By the Laplace formula for the first row of A, we have M 1,j 0 for some 1 j n, since otherwise we would have det A = 0. Let B t be the matrix obtained by replacing the first row of A with a vector whose only nonzero entry is ( 1) j t in position j. Then det B t = tm 1,j. Since the determinant is linear in rows, we have det(a + B t ) = det A + det B t = det A + tm 1,j. Thus the derivative of the function t det(a + B t ) at t = 0 is M 1,j which is nonzero. This shows that D A det is surjective by the chain rule. 3. Since SO(n) is a connected component of O(n), it is enough to show that the latter is a submanifold of the space of matrices. Consider the space Sym n (R) of symmetric n n matrices. Any such matrix is uniquely determined by its entries on and above the diagonal, and there are no restrictions for what these entries can be. Thus Sym n (R) is a real vector space of dimension n(n + 1)/, and as such has a canonical smooth structure (using the identification with euclidean space coming from any choice of basis). Consider the map Φ : Mat n,n Sym n (R), A A T A. By definition of the orthogonal group, O(n) = Φ 1 ({Id n }). So by the implicit function theorem, it is enough to show that Id n is a regular value for Φ. Let A O(n). We claim that D A Φ is surjective. Indeed for B Mat n,n we have Φ(A + tb) = (A + tb) T (A + tb) = A T A + t(a T B + B T A) + t B T B. Thus D A Φ B = A T B + B T A. Now let C Sym n (R). Then D A Φ AC = AT (AC) + (AC)T A = AT AC + C T A T A = C, using that A O(n). Since C Sym n (R) was arbitrary, this shows surjectivity of D A Φ. (3) Do the following problems from Hirsch, Differential Topology : Chapter 1, section 1, # 1,, 3 Chapter 1, section, # 10, 1, 13 Chapter 1, Section 1, Exercise 1: Solution. The Grassmannian G n,k is defined as the set of k-planes of R n. There are several equivalent ways to define a topology on the Grassmannian, for example one can introduce a metric by d(e, E ) = max{d(x, y) x E, y E, x = y = 1} or one cold require that the open subsets are exactly the sets of planes that intersect a given open subset of R n. We are the topology as the one coming from a chosen system of charts as in the gluing lemma (since the set is already given, the cocycle condition automatically holds). The verification that this coincides with other possible definitions is omitted. For every k-plane E we define an open subset U E G n,k and a chart ϕ E : U E Hom(E, E ) = R k(n k), where E denote the orthogonal complement of E, as follows: Let π E, π E denote the

3 orthogonal projections on E and E respectively. We define U E as the open subset of k-planes F with F E = {0}. This implies that for every F U E the kernel of π E F is trivial. Thus π E F is invertible and we can set ϕ E (F ) := π E (π E F ) 1. We claim that ϕ is a bijection. Indeed, we can decompose R n orthogonally as R n = E E. This identifies U E with the set of linear subspaces of E E on which the projection to the first factor is an isomorphism, which is exactly the set of graphs of linear maps E E. Then ϕ E is just the (inverse of the) correspondence between a function and its graph and thus bijective. Now suppose that E is another k-plane. We want to show that the two charts are compatible. For this choose a basis B = (b 1,..., b n ) on R n such that E = b 1,..., b k and e = b k+1,..., b n. This data gives a canonical identification Hom(E, E ) Mat n k,k (R). Now let C = (c 1,..., c k ) be some basis of E, D = (d 1,..., d n k ) a basis of E and P B,C and P B,D be the matrices representing π E and π E in the chosen bases respectively. Then ϕ E(U E U E ) Hom(E, E ) is exactly the set of maps α such that π E maps the graph of α bijectively onto E. Under the identification with Mat n k,k, this is the set of matrices A, such that ( )) Id k det (P B,C 0. A Since Matrix multiplication and determinant are continuous, this specifies an open subset in the space of matrices. On this open subset, the map ϕ E ϕ 1 E is explicitly given by ( )) 1 Id k A P B,D A (P B,C. A This is a rational function in the coordinates of A and therefore smooth wherever it is defined. Now by the gluing Lemma, G n,k is a topological manifold. As we have shown, the given charts even specify a smooth (even analytic) structure. Chapter 1, Section 1, Exercise /3: Solution. Consider CP n = C n+1 \{0}/C with the quotient topology. On CP n we have homogeneous coordinates [z 0,..., z n ]. Let U i = {[z 0,..., z n ] z i 0}, which is open, since its preimage under the quotient map is, and ϕ i : U i C n, [z 0,..., z n ] (z 0 /z i,..., ẑi/z i,..., z n /z i ), where the hat denotes omission. Since composition of ϕ i with the quotient map gives a continuous map from an open subset of C n+1 \ {0}, it follows that the ϕ i are continuous by the universal property of the quotient topology. Moreover, ϕ i has an inverse given by (w 1,..., w n ) [w 1,..., w i, 1, w i+1,..., w n ], which is continuous since it factors through a continuous map to C m+1 \ {0}. This shows that the ϕ i are homeomorphisms and thus CP n is a topological manifold. 3

4 For i < j, the transition function ϕ ij = ϕ j ϕ 1 i is given by (w 1,..., w n ) (w 1,..., w i, 1, w i+1..., w j 1, w j+1..., w n ) 1 w j, defined wherever w j is nonzero. Since the field operations on the complex numbers are rational functions in the natural real coordinates, this is clearly a smooth analytic function. The solution works verbatim with the complex numbers replaced by the quaternions, with the caution that it is only a skew-field. Chapter 1, Section, Exercise 10.b): Show that SO(3) = RP 3. Solution. We will to show that there exists a surjective homomorphism S 3 SO(3) which is a local diffeomorphism and that all preimages are a set of antipodal points on the sphere. Since RP 3 = S 3 /{±1}, this gives the desired result. To construct this map, consider the quartenions H = {w + xi + yj + zk w, x, y, z R}. The space of nonzero quaternions is naturally a Lie-group with respect to quaternionic multiplication. Quaternionic multiplication fulfills q 1 q = q 1 q and thus restricts to a natural group structure on the unit quaternions, which we identify with the 3-sphere S 3 H. We also identify R 3 with the space of totally imaginary quaternions via (x, y, z) xi + yj + zk. Now it is a straightforward to check that for r, q H with r totally imaginary, also qrq, where the overline denotes conjugation. Under the above identifications, this defines an action S 3 R 3 R 3, (q, r) qrq and one can check, which corresponds to a group homomorphism Φ : H \ {0} GL(3). By inspection one sees that Φ is given by a polynomials, so in particular it is smooth. For a unit quaternion q, we have qrq = r, so S 3 acts by isometries under this action, in particular Φ(S 3 ) is contained in O(3), and since the sphere is connected even in SO(3). Let Ψ : S 3 SO(3) denote the restriction. We claim it is a local diffeomorphism. By homogeneity and since both manifolds are 3-dimensional, it is enough to show that the map of tangent spaces D 1 Ψ : T 1 S 3 T Idn SO(3) is bijective. Since Ψ is a restriction of Φ, it is enough to show that T 1 Φ has trivial kernel on T 1 S 3 T 1 H. Note that T 1 S 3 is canonically identified with the totally imaginary quaternions. So let s 0 be totally imaginary and consider the map ϕ s (t) = Φ(1 + st) with ϕ s (t)(r) = (1 + st)r(1 + st) = r + t(qr + rs) + t srs = r + t(sr rs) t srs Thus D 1 Φ s is the linear map r sr rs. Taking r to be any totally imaginary quaternion that does not commute with s (e.g. i if s is not a real multiple of i and j otherwise), shows that this is nonzero. Thus we have shown that Ψ is a local diffeomorphism. Since both S 3 is compact, its image in SO(3) is closed, but since Ψ is a local diffeomorphism also open, thus equal to SO(3), which is connected. 4

5 It remains to determine the kernel of Ψ. That is those unit quaternions q such that for every totally imaginary quaternion r we have qrq = r, or equivalently qr = rq. By taking i and j for r, one sees that this implies q is totally real. Thus q = {±1}. 5

MATRIX LIE GROUPS AND LIE GROUPS

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

CHAPTER 3 SUBMANIFOLDS

CHAPTER 3 SUBMANIFOLDS CHAPTER 3 SUBMANIFOLDS One basic notion that was not addressed in Chapter 1 is the concept of containment: When one manifold is a subset on a second manifold. This notion is subtle in a manner the reader

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

Differential Topology Solution Set #3

Differential Topology Solution Set #3 Differential Topology Solution Set #3 Select Solutions 1. Chapter 1, Section 4, #7 2. Chapter 1, Section 4, #8 3. Chapter 1, Section 4, #11(a)-(b) #11(a) The n n matrices with determinant 1 form a group

More information

DIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS

DIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS DIFFERENTIAL GEOMETRY PROBLEM SET SOLUTIONS Lee: -4,--5,-6,-7 Problem -4: If k is an integer between 0 and min m, n, show that the set of m n matrices whose rank is at least k is an open submanifold of

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

B 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.

B 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 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

z, 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

z, 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 information

Homework 5 M 373K Mark Lindberg and Travis Schedler

Homework 5 M 373K Mark Lindberg and Travis Schedler Homework 5 M 373K Mark Lindberg and Travis Schedler 1. Artin, Chapter 3, Exercise.1. Prove that the numbers of the form a + b, where a and b are rational numbers, form a subfield of C. Let F be the numbers

More information

Topological K-theory

Topological K-theory Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions

More information

Introduction to Computational Manifolds and Applications

Introduction to Computational Manifolds and Applications IMPA - Instituto de Matemática Pura e Aplicada, Rio de Janeiro, RJ, Brazil Introduction to Computational Manifolds and Applications Part 1 - Foundations Prof. Jean Gallier jean@cis.upenn.edu Department

More information

The theory of manifolds Lecture 2

The theory of manifolds Lecture 2 The theory of manifolds Lecture 2 Let X be a subset of R N, Y a subset of R n and f : X Y a continuous map. We recall Definition 1. f is a C map if for every p X, there exists a neighborhood, U p, of p

More information

Differential Topology Final Exam With Solutions

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

Math 215B: Solutions 3

Math 215B: Solutions 3 Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union

More information

QUATERNIONS AND ROTATIONS

QUATERNIONS AND ROTATIONS QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )

More information

Math 598 Feb 14, Geometry and Topology II Spring 2005, PSU

Math 598 Feb 14, Geometry and Topology II Spring 2005, PSU Math 598 Feb 14, 2005 1 Geometry and Topology II Spring 2005, PSU Lecture Notes 7 2.7 Smooth submanifolds Let N be a smooth manifold. We say that M N m is an n-dimensional smooth submanifold of N, provided

More information

Geometry 2: Manifolds and sheaves

Geometry 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 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

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

Math Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:

Math Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems: Math 132 - Topology II: Smooth Manifolds. Spring 2017. Homework 2 Solution Submit solutions to the following problems: 1. Let H = {a + bi + cj + dk (a, b, c, d) R 4 }, where i 2 = j 2 = k 2 = 1, ij = k,

More information

1 Differentiable manifolds and smooth maps. (Solutions)

1 Differentiable manifolds and smooth maps. (Solutions) 1 Differentiable manifolds and smooth maps Solutions Last updated: March 17 2011 Problem 1 The state of the planar pendulum is entirely defined by the position of its moving end in the plane R 2 Since

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

Algebra I Fall 2007

Algebra I Fall 2007 MIT OpenCourseWare http://ocw.mit.edu 18.701 Algebra I Fall 007 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.701 007 Geometry of the Special Unitary

More information

Differential Topology Solution Set #2

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

Math 396. Bijectivity vs. isomorphism

Math 396. Bijectivity vs. isomorphism Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1

More information

Math 231b Lecture 16. G. Quick

Math 231b Lecture 16. G. Quick Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector

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

is holomorphic. In other words, a holomorphic function is a collection of compatible holomorphic functions on all charts.

is holomorphic. In other words, a holomorphic function is a collection of compatible holomorphic functions on all charts. RIEMANN SURFACES 2. Week 2. Basic definitions 2.1. Smooth manifolds. Complex manifolds. Let X be a topological space. A (real) chart of X is a pair (U, f : U R n ) where U is an open subset of X and f

More information

Changing coordinates to adapt to a map of constant rank

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

Solutions to Problem Set 1

Solutions to Problem Set 1 Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}

More information

1 Differentiable manifolds and smooth maps. (Solutions)

1 Differentiable manifolds and smooth maps. (Solutions) 1 Differentiable manifolds and smooth maps Solutions Last updated: February 16 2012 Problem 1 a The projection maps a point P x y S 1 to the point P u 0 R 2 the intersection of the line NP with the x-axis

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

Solutions to homework problems

Solutions to homework problems Solutions to homework problems November 25, 2015 Contents 1 Homework Assignment # 1 1 2 Homework assignment #2 6 3 Homework Assignment # 3 9 4 Homework Assignment # 4 14 5 Homework Assignment # 5 20 6

More information

1 z. = 2 w =. As a result, 1 + u 2. 2u 2. 2u u 2 ) = u is smooth as well., ϕ 2 ([z 1 : z 2 ]) = z 1

1 z. = 2 w =. As a result, 1 + u 2. 2u 2. 2u u 2 ) = u is smooth as well., ϕ 2 ([z 1 : z 2 ]) = z 1 KOÇ UNIVERSITY FALL 011 MATH 554 MANIFOLDS MIDTERM 1 OCTOBER 7 INSTRUCTOR: BURAK OZBAGCI 180 Minutes Solutions by Fatih Çelik PROBLEM 1 (0 points): Let N = (0 0 1) be the north pole in the sphere S R 3

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

Integration and Manifolds

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

1. Classifying Spaces. Classifying Spaces

1. Classifying Spaces. Classifying Spaces Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.

More 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

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

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39) 2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ

More information

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California Notes for Math 535 Differential Geometry Spring 2016 Francis Bonahon Department of Mathematics, University of Southern California Date of this version: April 27, 2016 c Francis Bonahon 2016 CHAPTER 1 A

More information

Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds

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

Part II. Algebraic Topology. Year

Part II. Algebraic Topology. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0

More information

10. The subgroup subalgebra correspondence. Homogeneous spaces.

10. 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 information

225A DIFFERENTIAL TOPOLOGY FINAL

225A DIFFERENTIAL TOPOLOGY FINAL 225A DIFFERENTIAL TOPOLOGY FINAL KIM, SUNGJIN Problem 1. From hitney s Embedding Theorem, we can assume that N is an embedded submanifold of R K for some K > 0. Then it is possible to define distance function.

More information

LIE ALGEBRAS AND LIE BRACKETS OF LIE GROUPS MATRIX GROUPS QIZHEN HE

LIE ALGEBRAS AND LIE BRACKETS OF LIE GROUPS MATRIX GROUPS QIZHEN HE LIE ALGEBRAS AND LIE BRACKETS OF LIE GROUPS MATRIX GROUPS QIZHEN HE Abstract. The goal of this paper is to study Lie groups, specifically matrix groups. We will begin by introducing two examples: GL n

More information

1 Differentiable manifolds and smooth maps

1 Differentiable manifolds and smooth maps 1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set

More information

CHAPTER 1. Preliminaries Basic Relevant Algebra Introduction to Differential Geometry. By Christian Bär

CHAPTER 1. Preliminaries Basic Relevant Algebra Introduction to Differential Geometry. By Christian Bär CHAPTER 1 Preliminaries 1.1. Basic Relevant Algebra 1.2. Introduction to Differential Geometry By Christian Bär Inthis lecturewegiveabriefintroductiontothe theoryofmanifoldsandrelatedbasic concepts of

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

Spherical three-dimensional orbifolds

Spherical three-dimensional orbifolds Spherical three-dimensional orbifolds Andrea Seppi joint work with Mattia Mecchia Pisa, 16th May 2013 Outline What is an orbifold? What is a spherical orientable orbifold? What is a fibered orbifold? An

More information

NOTES ON FIBER BUNDLES

NOTES ON FIBER BUNDLES NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement

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

REGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES

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

Notes 2 for MAT4270 Connected components and universal covers π 0 and π 1.

Notes 2 for MAT4270 Connected components and universal covers π 0 and π 1. Notes 2 for MAT4270 Connected components and universal covers π 0 and π 1. Version 0.00 with misprints, Connected components Recall thaty if X is a topological space X is said to be connected if is not

More information

class # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS

class # 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 information

Lecture Notes a posteriori for Math 201

Lecture Notes a posteriori for Math 201 Lecture Notes a posteriori for Math 201 Jeremy Kahn September 22, 2011 1 Tuesday, September 13 We defined the tangent space T p M of a manifold at a point p, and the tangent bundle T M. Zev Choroles gave

More information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need

More information

MATH 215B HOMEWORK 5 SOLUTIONS

MATH 215B HOMEWORK 5 SOLUTIONS MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

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

DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015

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

2 Constructions of manifolds. (Solutions)

2 Constructions of manifolds. (Solutions) 2 Constructions of manifolds. (Solutions) Last updated: February 16, 2012. Problem 1. The state of a double pendulum is entirely defined by the positions of the moving ends of the two simple pendula of

More information

arxiv: v1 [math.sg] 6 Nov 2015

arxiv: v1 [math.sg] 6 Nov 2015 A CHIANG-TYPE LAGRANGIAN IN CP ANA CANNAS DA SILVA Abstract. We analyse a simple Chiang-type lagrangian in CP which is topologically an RP but exhibits a distinguishing behaviour under reduction by one

More information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

ROTATIONS, ROTATION PATHS, AND QUANTUM SPIN

ROTATIONS, ROTATION PATHS, AND QUANTUM SPIN ROTATIONS, ROTATION PATHS, AND QUANTUM SPIN MICHAEL THVEDT 1. ABSTRACT This paper describes the construction of the universal covering group Spin(n), n > 2, as a group of homotopy classes of paths starting

More information

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

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

Cobordant differentiable manifolds

Cobordant differentiable manifolds Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated

More information

Math 147, Homework 5 Solutions Due: May 15, 2012

Math 147, Homework 5 Solutions Due: May 15, 2012 Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is

More information

DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM

DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such

More information

LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.

LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS. LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one

More information

Chapter X. Matrix Lie Groups.

Chapter X. Matrix Lie Groups. Notes c F.P. Greenleaf and S. Marques 2006-2016 LAII-s16-matrixgps.tex version 7/28/2016 Chapter X. Matrix Lie Groups. X.1. Matrix Groups and Implicit Function Theorem. The rank of a linear operator T

More information

We have the following immediate corollary. 1

We have the following immediate corollary. 1 1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Lie Matrix Groups: The Flip Transpose Group

Lie Matrix Groups: The Flip Transpose Group Rose-Hulman Undergraduate Mathematics Journal Volume 16 Issue 1 Article 6 Lie Matrix Groups: The Flip Transpose Group Madeline Christman California Lutheran University Follow this and additional works

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

Math 52H: Multilinear algebra, differential forms and Stokes theorem. Yakov Eliashberg

Math 52H: Multilinear algebra, differential forms and Stokes theorem. Yakov Eliashberg Math 52H: Multilinear algebra, differential forms and Stokes theorem Yakov Eliashberg March 202 2 Contents I Multilinear Algebra 7 Linear and multilinear functions 9. Dual space.........................................

More information

Math 205C - Topology Midterm

Math 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 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

MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003

MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003 MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003 1. True or False (28 points, 2 each) T or F If V is a vector space

More information

Math 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm

Math 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel

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

Chapter 1. Smooth Manifolds

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

Lecture Notes for MA455 Manifolds

Lecture Notes for MA455 Manifolds Lecture Notes for MA455 Manifolds David Mond March 7, 2008 Contents 1 Foundations 3 1.1 First definitions.................................. 3 1.2 Submersions and Immersions........................... 15

More information

NOTES ON MANIFOLDS ALBERTO S. CATTANEO

NOTES ON MANIFOLDS ALBERTO S. CATTANEO NOTES ON MANIFOLDS ALBERTO S. CATTANEO Contents 1. Introduction 2 2. Manifolds 2 2.1. Coordinates 6 2.2. Dimension 7 2.3. The implicit function theorem 7 3. Maps 8 3.1. The pullback 10 3.2. Submanifolds

More information

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,

More information

zi z i, zi+1 z i,, zn z i. z j, zj+1 z j,, zj 1 z j,, zn

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

Review 1 Math 321: Linear Algebra Spring 2010

Review 1 Math 321: Linear Algebra Spring 2010 Department of Mathematics and Statistics University of New Mexico Review 1 Math 321: Linear Algebra Spring 2010 This is a review for Midterm 1 that will be on Thursday March 11th, 2010. The main topics

More information

MA455 Manifolds Solutions 1 May 2008

MA455 Manifolds Solutions 1 May 2008 MA455 Manifolds Solutions 1 May 2008 1. (i) Given real numbers a < b, find a diffeomorpism (a, b) R. Solution: For example first map (a, b) to (0, π/2) and ten map (0, π/2) diffeomorpically to R using

More information

Complex manifolds, Kahler metrics, differential and harmonic forms

Complex manifolds, Kahler metrics, differential and harmonic forms Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on

More information

A Crash Course in Topological Groups

A Crash Course in Topological Groups A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1

More information

Chapter 2 Linear Transformations

Chapter 2 Linear Transformations Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more

More information

Topological K-theory, Lecture 2

Topological K-theory, Lecture 2 Topological K-theory, Lecture 2 Matan Prasma March 2, 2015 Again, we assume throughout that our base space B is connected. 1 Direct sums Recall from last time: Given vector bundles p 1 E 1 B and p 2 E

More information

Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim

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

Cup product and intersection

Cup product and intersection Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,

More information

Polynomial mappings into a Stiefel manifold and immersions

Polynomial mappings into a Stiefel manifold and immersions Polynomial mappings into a Stiefel manifold and immersions Iwona Krzyżanowska Zbigniew Szafraniec November 2011 Abstract For a polynomial mapping from S n k to the Stiefel manifold Ṽk(R n ), where n k

More information

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm Johns Hopkins University, Department of Mathematics 110.401 Abstract Algebra - Spring 2009 Midterm Instructions: This exam has 8 pages. No calculators, books or notes allowed. You must answer the first

More information

Linear algebra I Homework #1 due Thursday, Oct Show that the diagonals of a square are orthogonal to one another.

Linear algebra I Homework #1 due Thursday, Oct Show that the diagonals of a square are orthogonal to one another. Homework # due Thursday, Oct. 0. Show that the diagonals of a square are orthogonal to one another. Hint: Place the vertices of the square along the axes and then introduce coordinates. 2. Find the equation

More information

ALGEBRA 8: Linear algebra: characteristic polynomial

ALGEBRA 8: Linear algebra: characteristic polynomial ALGEBRA 8: Linear algebra: characteristic polynomial Characteristic polynomial Definition 8.1. Consider a linear operator A End V over a vector space V. Consider a vector v V such that A(v) = λv. This

More information