Subgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.
|
|
- Harvey Wood
- 5 years ago
- Views:
Transcription
1 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 method, recall the proof that if H G is a subgroup of a finite group G then the order of H, denoted H, divides the order of G, denoted G. Consider the action of H on G by right translation. Each orbit is isomorphic as a set to H, and G is a disjoint union of these orbits. This leads to the formula G = G/H H, where G/H is the set of left cosets of H, i.e. the space of H-orbits. Definition 0.1. An action of G on S consists of a map Φ : G S S, such that if we write Φ(g, s) = gs then g 1 (g 2 s) = (g 1 g 2 )s and 1s = s. We also say S is a G-space. Definition 0.2. The orbit of s S is the set subset Gs S. The G-action is called transitive if S consists of a single G orbit. In this case S is also called a homogeneous space. The action is called free if whenever gs = hs we have g = h. Examples. Each orbit of a G-space is a homogeneous space. The coset space S = G/H is a homogeneous space, where G acts according to g(g 1 H) = (gg 1 )H. All homogeneous spaces look like a coset space. To see this, we make Definition 0.3. The isotropy group of s 0 S consists of the subgroup of G which does not move s 0 ; thus G s0 = {g G : gs 0 = s 0 }. and Definition 0.4. An equivariant map F : S X between G-spaces is a map such that F (gs) = gf (x). To G-spaces are equivalent if there is an invertible equivariant map between them. Theorem If G acts transitively on S, then the orbit map G S defined by g gs 0 induces an isomorphism G/G s0 S between G-spaces: Over to manifolds. The results for finite groups acting on (finite) sets carry over to manifolds. Begin by recalling what a group is in the category of manifolds: a group and a manifold in such a way that the two structures talk to each other. We call this a Lie group. What we mean when we say that the two structures talk to each other is that (definition of a Lie group!) the multiplication map G G G and the inversion map G G are both smooth maps. Definition 0.6. The Lie group G acts smoothly on the manifold S if it acts on S as a set, and if the map Φ : G S S which defines the action is smooth. We also say S is a smooth G-space. The definition of orbit, transitive and free actions remain the same. The definition of equivariant map also carries over, except, of course, we insist that the map is smooth. Our first goal is to understand the analogue of theorem 0.3, and its many representative examples. Example 1. The sphere is a homogeneous space for the group G = SO(3) of rotations. Indeed, G acts smoothly on R 3, and maps S 2 to itself, so it acts smoothly 1
2 2 on S 2. This action on the sphere is transitive. The isotropy group G N SO(3) of the north pole N S 2 is the group of rotations about the z-axis. It is diffeomorphic to a circle S 1 and is embedded in SO(3). The smooth analogue of theorem 0.3 then will assert that SO(3)/S 1 = S 2. To obtain a smooth version of theorem 0.3 we will need to put a manifold structure on the coset space G/H where H G. Not any subgroup H will work, but those that arise as isotropy groups for smooth proper actions will work. Subgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold. Theorem 0.8. A subgroup of G which is also an embedded submanifold is a closed Lie subgroup. This is Lee s prop Examples. A. Irrational flow on the torus. This gives R T 2 as a Lie subgroup which is not an embedded submanifold, and not a closed submanifold. The quotient space T 2 /R is not a manifold. Indeed, it is not even Hausdorff. The remaining examples are closed, embedded Lie subgroups of their ambient groups. B. By the IFT and the theorem O(n) = {A Gl(n, R) : A T A = Id.} is a closed Lie subgroup of Gl(n, R). To apply the IFT, consider the map X X T X from the n 2 dim mfd GL(n, R) to the ( ) n+1 2 dim linear space of symmetric n n matrix. Check that the identity is a critical value. C. U(n) = {A Gl(n, C) : A A = Id.} is a closed Lie subgroup of Gl(n, C). To apply the IFT, consider the map X X X from the 2n 2 (real) dim mfd GL(n, C) to the n 2 dim linear space of Hermitian n n matrix. Check that the identity is a critical value. D. SL(n, R) or Sl(n, C). Write K for either field, R or C. By definition, SL(n, K) is the subgroup of Gl(n, K) consisting of matrices of determinant 1. The determinant map det : Gl(n, K) K is polynomial hence smooth. Show 1 K is a critical value. conclude SL(n, K) is a Lie subgroup of Gl(n, K). E. The intersection of two closed Lie subgroups is another Lie subgroup. In particular, SO(n) = SO(n) Sl(n, R) and SU(n) = U(n) Sl(n, C) are closed Lie subgroups of their Gl(n)s. Theorem 0.9. Let S be a homogeneous space for G. Then, for each s S, the isotropy subgroup G s G is a closed Lie subgroup of G. Half of proof: Fix s. Consider the orbit map θ s : G S; g gs. It is smooth, and hence continuous. G s = θ s 1 (s) and so is a closed subset of G. It is also a subgroup. If we knew that θ s were a submersion, we could apply the IFT to conclude that G s were an embedded submanifold. That θ s is a submersion will follow from:
3 3 Theorem 0.10 (Equivariant rank theorem). Suppose that F : X N is a smooth equivariant map between smooth G-spaces, and that X is homogeneous with respect to G. Then F has constant rank and its image F (X) is a an immersed submanifold. We put off the proof of the equivariant rank theorem for the moment. Let us see how it proves that θ s is a submersion. The orbit map θ s satisfies the hypothesis of the equivariant rank theorem, since it is a smooth equivariant map, and G itself is a homogeneous G-space. Thus the differential of θ s has constant rank. I claim this differential is everywhere onto. For if not, by the constant rank theorem (Theorem 7.13, p. 167 of Lee) the image θ s (G) would be an immersed submanifold of the homogeneous space S, which contradicst the fact that θ s (G) = S. (The latter follows from the definition of homogeneous space: Gs = S,) Remark. Instead of using the equivariant rank theorem, we could have quoted Theorem (Big Theorem) A closed subgroup of a Lie group is Lie. (This theorem is not the Montgomery-Zippin theorem as I had previously said!) I prefer the route we took, and not to use this big gun. Proof of Equivariant rank theorem For X a G-space and g G write: L g : X X; L g (s) = gs := Φ(g, s). Because L 1 g = L g 1 we have that each L g is a diffeo of S, and the map g L g is a group homomorphism G Diff(X). In particular the pushforward L g, also written dl g (x) or dl g,x are all linear isomorphisms. The x X indicates the point at which the derivative is taken. Now suppose, as per the theorem, that F : X S is an equivariant map. Equivariance means that F L g = L g F for all g G. The first L g is from the action on X, the second from the action on S. From the chain rule then df gx = dl g,f (x) df x dl 1 g,gx. If, now, X is a homogeneous space, every point y X can be written as y = gx and so the dl g,gx s provide linear isomorphisms between T x X and each T y X. It follows from (*) that the map F has constant rank. We can now invoke Lee s rank theorem for manifolds (p. 167, Theorem 7.13). QED Consider again S a smooth homogeneous space for G. Let G s G be the isotropy subgroup of s S, which we now know is a a closed Lie subgroup of G. In preparation for showing that S is diffeomorphic to G/G s, we need a manifold structure on G/G s. We may as well consider the case H G of any closed Lie subgroup of G and show how to put a smooth manifold structure on G/H. For this, the notion of a slice to a group action is useful. We start out more abstractly. Suppose that two submanifolds X, Y Q intersect at a point x. The intersection of X and Y is said to be transverse if T x X + T x Y = T x Q. Example: Suppose that X Q is an embedded k-dimensional submanifold of the n-manifold Q. Let x 1,..., x k, x k+1,..., x n be slice coordinates for X. Let Y be the manifold coordinatized by x k+1,..., x n.. In other words: if we write φ : U R k R n k for the slice coordinates, then X U = φ 1 (R k 0) and Y = φ 1 (0 R n k. Then Y is an n k dimensional disc intersecting X transversally at the point φ 1 (0, 0).
4 4 Theorem If H G is a closed Lie subgroup, then G/H admits a unique manifold structure such that G G/H is a submersion. Proof. H G is an embedded submanifold. Let Y be a transverse n k disc, as above. Step 1. There is a nbhd V H of e and a perhaps smaller n k dimensional transverse Y to H at e such that Y V G sending (y, h) to yh is a diffeo of Y V onto a nbhd of e in G. The differential of this map at (e, e) is a linear isomorphism. Step 2. Taking Y small enough, we can insure that whenever y = ỹh with y, ỹ Y and h H, then h = e. This step requires that H is closed. Proof. If not, there exists sequences y n, ỹ n e and h n such that ỹ n = y n h n. By continuity, yn 1 ỹ n e. This implies that h n e in G. Now use that H is embedded, so that the topology on H agrees with the topology it inherits from G. (To see how this could go wrong, think on the irrational line immersed in the torus.) So h n is eventually in the nbhd V H of step 1. In step 1 we saw that Y V G was a diffeo onto its image. This means that ỹ n = y n h n implies that h n = e and ỹ n = y n. QED HERE is where we see the meaning of the word slice : Y slices across each coset gh at most once. Step 3. Y H = {yh : y Y, h H} is an open nbhd of Y. Proof. Y V = U is an open nbhd of e in G, The maps R h (g) = gh are diffeos, and Y H = h H R h (U). Step 4. The composition Y G G/H is a local homeo. Proof. It is continuous. Step 2 asserts that it is one-to-one. Because the projection is open, it is an open mapping. Step 5.Cover G/H by the translates gy of Y. The compositions gy G G/H are local homeos. Step 6. With the charts of step 5, the overlaps are smooth. Proof. Suppose that g 1 Y g 2 Y. Let gh pr(g 1 Y ) pr(g 2 Y ). (We write pr : G G/H for the canonical projection.) Then we have: gh = g 1 y 1 H = g 2 y 2 H. Some algebra yields the relation y 1 = g1 1 g 2y 2, so that the overlap map is given by left multiplication by g 1 1 g 2, a diffeo. QED Theorem If S is a smooth homogeneous space for G, then S is G-equivariantly diffeomorphic to the coset space G/H where H = G s is the isotropy group of a fixed (but arbitrary) s S. Proof. From the above, we have smooth submersions: G G/H; G S. From general group theory, the map G S factors through to define a set-theoretic map G/H S which is a G-equivariant set-theoretic isomorphism. We now use: Theorem 0.14 (Submersion theorem). If f : M N is a submersion, and if g : M Y is a map which is constant along the fibers of f, then the induced map F : N Y is smooth, and the rank of the differential at the point f(m) equals the rank of g at n.
5 5 Proof. See Lee. This theorem is a version of his theorems 7.17, It follows from this submersion theorem, that the induced map G/H S is smooth, and by the equivariant rank theorem, its differential is onto. Consequently it is a submersion onto its image. We have already seen that it is 1-1 and onto. The roles of G/H and S can be reversed to see that the inverse map is also smooth. QED. Examples. R n as Aff(n)/Gl(n) S n = SO(n + 1)/SO(n) = O(n + 1)/O(n) CP n = U(n + 1)/U(1) U(n) S 2n+1 = U(n + 1)/U(1) RP n = Gl(n + 1)/H COMPUTE H... and a huge variety more!! More on G G/H. this is the simplest nontrivial egs of a principal bundle Eg: G = SU(2) = S 3. H = S 1. Then G/H = S 2 and G G/H is the famous HOpf fibration. In general G G/H is a principal H bundle.... define...?? NEXT??? should cover: some Lie algebras some vector bundles; fiber bundles; principal bundles; normal bundles;... promised Frobenius integrability theorem and Chow non-integrabiliyt theorem applications of our differentiable manifolds technology to topology: proof of fund thm of algebra. hairy ball thm. index thms. smooth brower fixed pt thms...
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 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 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 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 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 informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationTransversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2
Transversality Abhishek Khetan December 13, 2017 Contents 1 Basics 1 2 The Transversality Theorem 1 3 Transversality and Homotopy 2 4 Intersection Number Mod 2 4 5 Degree Mod 2 4 1 Basics Definition. Let
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 informationLECTURE 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 informationi = 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 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 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 informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationHeidelberg University. Seminar-Lecture 7 SS 16 Menelaos Zikidis. Homogeneous Spaces. Characterization, construction and important examples
Heidelberg University Seminar-Lecture 7 SS 16 Menelaos Zikidis Homogeneous Spaces Characterization, construction and important examples 1 What s the deal? The main aim for studying how groups act on other
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationA 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 informationGroupoids and Orbifold Cohomology, Part 2
Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012 Motivation Orbifolds:
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 informationDIFFERENTIAL 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 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 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 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 informationDIFFERENTIAL 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 informationLifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions
Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By
More informationMath 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 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 information1 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 informationNotes 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 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 informationLecture 2. Smooth functions and maps
Lecture 2. Smooth functions and maps 2.1 Definition of smooth maps Given a differentiable manifold, all questions of differentiability are to be reduced to questions about functions between Euclidean spaces,
More informationIntersection 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 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 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 informationNotes 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 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 informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationMath 147, Homework 1 Solutions Due: April 10, 2012
1. For what values of a is the set: Math 147, Homework 1 Solutions Due: April 10, 2012 M a = { (x, y, z) : x 2 + y 2 z 2 = a } a smooth manifold? Give explicit parametrizations for open sets covering M
More informationMany 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 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 informationEQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms
EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be
More informationON 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 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 informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More informationALGEBRAIC 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 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 informationToroidal Embeddings and Desingularization
California State University, San Bernardino CSUSB ScholarWorks Electronic Theses, Projects, and Dissertations Office of Graduate Studies 6-2018 Toroidal Embeddings and Desingularization LEON NGUYEN 003663425@coyote.csusb.edu
More informationFibre Bundles. E is the total space, B is the base space and F is the fibre. p : E B
Fibre Bundles A fibre bundle is a 6-tuple E B F p G V i φ i. E is the total space, B is the base space and F is the fibre. p : E B 1 is the projection map and p x F. The last two elements of this tuple
More information1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0
1. Classification of 1-manifolds Theorem 1.1. Let M be a connected 1 manifold. Then M is diffeomorphic either to [0, 1], [0, 1), (0, 1), or S 1. We know that none of these four manifolds are not diffeomorphic
More informationLECTURE 5: SURFACES IN PROJECTIVE SPACE. 1. Projective space
LECTURE 5: SURFACES IN PROJECTIVE SPACE. Projective space Definition: The n-dimensional projective space P n is the set of lines through the origin in the vector space R n+. P n may be thought of as the
More informationCutting and pasting. 2 in R. 3 which are not even topologically
Cutting and pasting We begin by quoting the following description appearing on page 55 of C. T. C. Wall s 1960 1961 Differential Topology notes, which available are online at http://www.maths.ed.ac.uk/~aar/surgery/wall.pdf.
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 informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationTheorem 3.11 (Equidimensional Sard). Let f : M N be a C 1 map of n-manifolds, and let C M be the set of critical points. Then f (C) has measure zero.
Now we investigate the measure of the critical values of a map f : M N where dim M = dim N. Of course the set of critical points need not have measure zero, but we shall see that because the values of
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 informationHopf Fibrations. Consider a classical magnetization field in R 3 which is longitidinally stiff and transversally soft.
Helmut Eschrig Leibniz-Institut für Festkörper- und Werkstofforschung Dresden Leibniz-Institute for Solid State and Materials Research Dresden Hopf Fibrations Consider a classical magnetization field in
More information(2) For x π(p ) the fiber π 1 (x) is a closed C p subpremanifold in P, and for all ξ π 1 (x) the kernel of the surjection dπ(ξ) : T ξ (P ) T x (X) is
Math 396. Submersions and transverse intersections Fix 1 p, and let f : X X be a C p mapping between C p premanifolds (no corners or boundary!). In a separate handout there is proved an important local
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 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 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 informationHOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS
j. differential geometry 58 (2001) 467-500 HOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS CLAIRE DEBORD Abstract We give a new construction of Lie groupoids which is particularly well adapted to the generalization
More informationBasic 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 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 informationFiber Bundles, The Hopf Map and Magnetic Monopoles
Fiber Bundles, The Hopf Map and Magnetic Monopoles Dominick Scaletta February 3, 2010 1 Preliminaries Definition 1 An n-dimension differentiable manifold is a topological space X with a differentiable
More informationLecture 2. x if x X B n f(x) = α(x) if x S n 1 D n
Lecture 2 1.10 Cell attachments Let X be a topological space and α : S n 1 X be a map. Consider the space X D n with the disjoint union topology. Consider further the set X B n and a function f : X D n
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 informationBROUWER FIXED POINT THEOREM. Contents 1. Introduction 1 2. Preliminaries 1 3. Brouwer fixed point theorem 3 Acknowledgments 8 References 8
BROUWER FIXED POINT THEOREM DANIELE CARATELLI Abstract. This paper aims at proving the Brouwer fixed point theorem for smooth maps. The theorem states that any continuous (smooth in our proof) function
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and 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 informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationThe 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 informationCHAPTER 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 informationK-stability and Kähler metrics, I
K-stability and Kähler metrics, I Gang Tian Beijing University and Princeton University Let M be a Kähler manifold. This means that M be a complex manifold together with a Kähler metric ω. In local coordinates
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 informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationStable complex and Spin c -structures
APPENDIX D Stable complex and Spin c -structures In this book, G-manifolds are often equipped with a stable complex structure or a Spin c structure. Specifically, we use these structures to define quantization.
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 informationMath 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 informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
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 informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
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 informationLIE GROUPOIDS AND LIE ALGEBROIDS LECTURE NOTES, FALL Contents 1. Lie groupoids Definitions 30
LIE GROUPOIDS AND LIE ALGEBROIDS LECTURE NOTES, FALL 2017 ECKHARD MEINRENKEN Abstract. These notes are very much under construction. They contain many errors, and the references are very incomplete. Apologies!
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 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 informationTHE POINCARE-HOPF THEOREM
THE POINCARE-HOPF THEOREM ALEX WRIGHT AND KAEL DIXON Abstract. Mapping degree, intersection number, and the index of a zero of a vector field are defined. The Poincare-Hopf theorem, which states that under
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 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 informationReduction of Homogeneous Riemannian structures
Geometric Structures in Mathematical Physics, 2011 Reduction of Homogeneous Riemannian structures M. Castrillón López 1 Ignacio Luján 2 1 ICMAT (CSIC-UAM-UC3M-UCM) Universidad Complutense de Madrid 2 Universidad
More informationWe 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 informationMath 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 informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationEnds of Finitely Generated Groups from a Nonstandard Perspective
of Finitely of Finitely from a University of Illinois at Urbana Champaign McMaster Model Theory Seminar September 23, 2008 Outline of Finitely Outline of Finitely Outline of Finitely Outline of Finitely
More informationPositive Ricci curvature and cohomogeneity-two torus actions
Positive Ricci curvature and cohomogeneity-two torus actions EGEO2016, VI Workshop in Differential Geometry, La Falda, Argentina Fernando Galaz-García August 2, 2016 KIT, INSTITUT FÜR ALGEBRA UND GEOMETRIE
More informationMonomial equivariant embeddings of quasitoric manifolds and the problem of existence of invariant almost complex structures.
Monomial equivariant embeddings of quasitoric manifolds and the problem of existence of invariant almost complex structures. Andrey Kustarev joint work with V. M. Buchstaber, Steklov Mathematical Institute
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationFree 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 informationLecture 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 informationSPHERES AND PROJECTIONS FOR Out(F n )
SPHERES AND PROJECTIONS FOR Out(F n ) URSULA HAMENSTÄDT AND SEBASTIAN HENSEL Abstract. The outer automorphism group Out(F 2g ) of a free group on 2g generators naturally contains the mapping class group
More information