DOCSLIB.ORG

Differential Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Differential Geometry University of Cambridge Mathematics Tripos Part II Differential Geometry Lent, 2018 Lectures by M. Dafermos Notes by Qiangru Kuang Contents Contents 1 1 Smooth Manifolds 1 Smooth Manifolds 1.1 Definitions Definition (Smooth). Let 푈 ⊆ R푛 be an open set and 푓 ∶ 푈 → R푚. 푓 is said to be smooth if 휕|훼|푓 휕푥훼 exists for all multi-indices 훼. Notation. A multi-index 훼 = (훼1, … , 훼푛) is a tuple of non-negative integers |훼| = ∑푛 훼 and 푖=1 푖. Definition (Smooth). Let 푋 ⊆ R푛 be a subset. 푓 ∶ 푋 → R푚 is smooth if for all 푥 ∈ 푋, there exists 푈 ⊆ R푛, 푥 ∈ 푈 such that there exists smooth ̃ 푚 푓 ∶ 푈 → R extending 푓|푋∩푈. i.e. the following diagram commutes 푓 ̃ 푈 R푚 휄 푓 푈 ∩ 푋 Remark. 1. This is a local property. 2. 푋 is a topological space with subspace topology induced from R푛. 푓 is smooth implies that 푓 is continuous. Definition (Diffeomorphism). Let 푋 ⊆ R푛 and 푌 ⊆ R푚. A map 푓 ∶ 푋 → 푌 is a diffeomorphism if 푓 is smooth and bijective and its inverse 푓−1 ∶ 푌 → 푋 is also smooth. Remark. 1. Diffeomorphism implies homeomorphism (with repsect to the subspace topology). 2. Diffeomorphism is an equivalence relation. Definition (Manifold). A 푘-dimensional manifold is a set 푋 ⊆ R푁 such that for all 푥 ∈ 푋 there exists 푉 ⊆ 푋 open, 푥 ∈ 푉 such that 푉 is diffeomorphic to an open subset 푈 ⊆ R푘, i.e. 푋 is locally diffeomorphic to R푘. Remark. The diffeomorphism 휑 ∶ 푈 → 푉 is called a local parameterisation and its inverse 휑−1 ∶ 푉 → 푈 is called coordinate charts. More specifically, let 푘 푥푖 ∶ R → R be the projection of the 푖th coordinate and we have local coordinate −1 푥푖 ∘ 휑 ∶ 푉 → R. However, sometimes we abuse the notation and just write 푥푖 ∶ 푉 → R for the above map. 2 1 Smooth Manifolds Notation. Write dim 푋 = 푘 if 푋 is a 푘-dimensional manifold. Example. id 1. R푁 is an 푁-dim manifold. For example, 휑 ∶ R푁 → R푁. 2. An open subset 푉 ⊆ R푁 is an 푁-dim manifold, for example by taking 휑 to be the restriction id |푉. 3. In general, if 푋 is a manifold and 푉 ⊆ 푋 is an open subset then 푉 is also a manifold. 푛 푛+1 2 2 4. The 푛-sphere, 푆 ⊆ R = {푥1 + ⋯ + 푥푛+1 = 1} is an 푛-dim manifold. 푛 Suppose 푥 ∈ 푆 lies in the upper half hyperplane define by 푥푛+1 > 0. Take 푛 푛 2 푛 푉 = 푆 ∩ {푥푛+1 > 0}, 푈 = {(푥1, … , 푥푛) ∶ ∑ 푥푖 < 1} = 퐵(ퟎ, 1) ⊆ R 푖=1 and define 휑 ∶ 푈 → 푉 2 2 (푥1, … , 푥푛) ↦ (푥1, … , 푥푛, +√1 − (푥1 + ⋯ + 푥푛)) Let’s do a reality check: the map consists of algebraic operations so is smooth. It is easy to check that the image lies in 푉. Its inverese is the projection onto the first 푛 coordinates, which is the restriction of a smooth function so also smooth. Similarly, if 푥 lies in {푥푛+1 < 0}, change + to − in the last coordinate of 휑 will do. This accounts for “most” points, with the exception of those on the equator. However, there is nothing special about 푥푛+1 so we may repeat for the other coordinates. As 푛+1 푛 푛 푛 푆 = ⋃ ((푆 ∩ {푥푖 > 0}) ∪ (푆 ∩ {푥푖 < 0})) 푖=1 (which in English says that at least one coordinate is non-zero), we have covered 푆푛 so done. Exercise. Suppose 푋 ⊆ R푛 and 푌 ⊆ R푚 are manifolds. Show that 푋 × 푌 ⊆ R푛 × R푚 = R푛+푚 is a manifold of dimension dim 푋 + dim 푌. Definition (Submanifold). Let 푋 ⊆ R푁 be a manifold. A manifold 푌 ⊆ R푁 such that 푌 ⊆ 푋 is a submanifold of 푋. Remark. By definition, all manifolds are submanifolds of R푁 for some 푁. Note that we have yet shown that the dimension of a manifold is well-defined but we will do so in a while. Assuming so, we define 3 1 Smooth Manifolds Definition (Codimension). The codimension of 푌 in 푋 is codim푋(푌 ) = dim 푋 − dim 푌 . 1.2 Tangent space Definition (Differential). Let 푈 ⊆ R푛 and 푓 ∶ 푈 → R푚 be a smooth map. The differential of 푓 at 푥 ∈ 푈, 푑푓푥 is a linear map 푛 푚 푑푓푥 ∶ R → R 푓(푥 + 푡ℎ) − 푓(푥) ℎ ↦ lim 푡→0 푡 Explicitly, 푑푓푥 is represented by the matrix 푓 휕푓 1 ( ) where 푓 = ⎜⎛ ⋮ ⎟⎞ . 휕푥푗 ⎝푓푚⎠ It then follows that ℎ 휕푓 ⎛ 1 ⎞ 푑푓푥(ℎ) = ( ) ⎜ ⋮ ⎟ . 휕푥푗 ⎝ℎ푛⎠ Proposition 1.1 (Chain rule). Let 푓 ∶ 푈 → 푉 , 푔 ∶ 푉 → R푝 be smooth maps where 푈 ⊆ R푛, 푉 ⊆ R푚. Let 푥 ∈ 푈 and 푓(푥) ∈ 푉. Then 푑(푔 ∘ 푓)푥 = 푑푔푓(푥) ∘ 푑푓푥. The aim of this section is to define differentials of maps between manifolds. Before that we have to find where differential lives. Certainly in R푛 it is a linear map living in a linear space. Let 푋 ⊆ R푁 be a 푘-dim manifold and 푥 ∈ 푋. Let 휑 be a local parameteri- sation around 푥. Wlog assume 휑−1(푥) = 0. Note that 휑 is defined on an open subset of R푘 so we can do calculus on it (this is false for 휑−1 as 푉 ⊆ R푁 may not be open). We can define 푘 푁 푑휑0 ∶ R → R . Definition (Tangent space). The tangent space of 푋 at 푥, denoted 푇푥푋, is 푘 푁 푑휑0(R ), a subspace of R . For this to be a good definition, we need to show that it is independent of 휑 푘 and dim 푑휑0(R ) = 푘. Suppose 휑 ∶ 푈 → 푉 and ̃휑∶ 푈̃ → 푉̃ are parameterisations around 푥, again assumming wlog 휑(0) = 푥 = ̃휑(0). By taking intersection we can assume 푉 = 푉.̃ Write 휑 = ̃휑∘ (⏟ ̃휑−1 ∘ 휑) . 푈→푈̃ 4 1 Smooth Manifolds The term in the parenthesis is a map between open subsets of R푘 so we can do calculus on it. By chain rule −1 푑휑0 = 푑 ̃휑0 ∘ 푑( ̃휑 ∘ 휑)0. Note that 휑−1 ∘ ̃휑 is the inverse of ̃휑−1 ∘ 휑 so by applying chain rule to id, we get −1 −1 id = 푑(휑 ∘ ̃휑)0 ∘ 푑( ̃휑 ∘ 휑)0 so both of them are invertible. Thus 푘 푘 푑휑0(R ) = 푑 ̃휑0(R ). 푘 Next we want to show dim 푑휑0(R ) = 푘. Certainly linear algebra tells us that it is at most 푘. By definition there exists a smooth 휓 ∶ 푊 → R푘, where 푊 ⊆ R푁 is an open subset containing 푥 such that −1 휓|푋∩푊 = 휑 . Assume wlog 푉 ⊆ 푋 ∩ 푊. Then id푈 = 휓 ∘ 휑 so by chain rule id = 푑휓푥 ∘ 푑휑0. 푘 Thus 푑휑0(R ) is 푘-dimensional. Remark. The functions 휑−1 ∘ ̃휑 are called transition functions and will appear later in the course. Corollary 1.2. The dimension of a manifold is well-defined. Exercise. If 푋 ⊆ R푁 is a manifold and 푌 is a submanifold of 푋 then 푇푦푌 ≤ 푇푦푋 for all 푦 ∈ 푌. In particular codim푋(푌 ) ≥ 0. Example. 푁 푁 1. 푇푥R = R . 푁 푁 2. Let 푋 be an open subset of R . Then 푇푥푋 = R . 3. Let 푁 푋 = {(푥1, 푥2, … , 푥푘, 0, … , 0)} ⊆ R which can be seen as the image of the embedding 휑 ∶ R푘 → R푁. This is a 푘-dim manifold. This is a linear map so 푑휑푥 = 휑. Thus 푇푥푋 = 푋. In general, this holds if 휑 is an injective linear map. 5 1 Smooth Manifolds 푛 푛+1 푛 4. Let 푆 ⊆ R . Given a point 푥 ∈ 푆 with 푥푛+1 > 0, use the parameteri- sation 휑 ∶ 퐵(ퟎ, 1) → R푛+1 2 2 (푥1, … , 푥푛) ↦ (푥1, … , 푥푛, +√1 − 푥1 − ⋯ − 푥푛) Then 휕휑 휕휑 푑휑 = { ,…, }. im (푥1,…,푥푛) span 휕푥1 휕푥푛 We have 휕휑 푥 = (0, … , 1, … , 0, − 푖 ) 휕푥푖 푥푛+1 and we can verify that for all 푖, 휕휑 ⋅ (푥1, … , 푥푛, 푥푛+1) = 0 휕푥푖 푛 푛+1 so 푇푥푆 is {푣 ∶ 푣 ⋅ 푥 = 0} ⊆ R . Now we go on to define differential of maps between manifolds. Let 푓 ∶ 푋 → 푌 be a smooth map of manifolds where 푋 ⊆ R푛, 푌 ⊆ R푚. Let 휑 ∶ 푈 → 푉 and ̃휑∶ 푈̃ → 푉̃ be local parameterisations around 푥 and 푓(푥), where 푈 ⊆ R푘, 푈̃ ⊆ Rℓ. wlog we assume 휑(0) = 푥, ̃휑(0)= 푓(푥). We also assume 푓(푉 ) ⊆ 푉.̃ We can thus define a map ̃휑−1 ∘ 푓 ∘ 휑 ∶ 푈 → 푈̃ and do calculus on it. As 푇푥푋 = im 푑휑0 and 푑휑0 is an injective map, we can define the inverse of its restriction to the image, denoted by −1 푘 (푑휑0) ∶ 푇푥푋 → R . Definition (Differential). The differential map of 푓 at 푥 ∈ 푋, denoted 푑푓푥, is a linear map 푑푓푥 ∶ 푇푥푋 → 푇푓(푥)푌, defined as the composition −1 −1 푑 ̃휑0 ∘ 푑( ̃휑 ∘ 푓 ∘ 휑)0 ∘ (푑휑0) . 푑푓0 푇푥푋 푇푓(푥)푌 푑휑0 푑 ̃휑0 푘 ℓ R −1 R 푑( ̃휑 ∘푓∘휑)0 Now as everything else we defined in differential geometry, we have to check that it is independent of parameterisation. It will be a horrible job, and one that you would want to do only (at most) once in your lifetime. Let 휓, 휓̃ be another pair of parameterisations. Define 휑 in terms of transition maps 휑 = 휓 ∘ (휓−1 ∘ 휑). By chain rule, −1 푑휑0 = 푑휓0 ∘ 푑(휓 ∘ 휑)0 6 1 Smooth Manifolds so −1 −1 −1 −1 −1 −1 (푑휑0) = (푑(휓 ∘ 휑)0) ∘ (푑휓0) = 푑(휑 ∘ 휓)0 ∘ (푑휓0) where the last equality comes from applying chain rule to (휑−1 ∘ 휓) ∘ (휓−1 ∘ 휑) = id .
Load more

Recommended publications
  • LECTURE 6: FIBER BUNDLES in This Section We Will Introduce The
    LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class of fibrations given by fiber bundles. Fiber bundles play an important role in many geometric contexts. For example, the Grassmaniann varieties and certain fiber bundles associated to Stiefel varieties are central in the classification of vector bundles over (nice) spaces. The fact that fiber bundles are examples of Serre fibrations follows from Theorem ?? which states that being a Serre fibration is a local property. 1. Fiber bundles and principal bundles Definition 6.1. A fiber bundle with fiber F is a map p: E ! X with the following property: every ∼ −1 point x 2 X has a neighborhood U ⊆ X for which there is a homeomorphism φU : U × F = p (U) such that the following diagram commutes in which π1 : U × F ! U is the projection on the first factor: φ U × F U / p−1(U) ∼= π1 p * U t Remark 6.2. The projection X × F ! X is an example of a fiber bundle: it is called the trivial bundle over X with fiber F . By definition, a fiber bundle is a map which is `locally' homeomorphic to a trivial bundle. The homeomorphism φU in the definition is a local trivialization of the bundle, or a trivialization over U. Let us begin with an interesting subclass. A fiber bundle whose fiber F is a discrete space is (by definition) a covering projection (with fiber F ). For example, the exponential map R ! S1 is a covering projection with fiber Z. Suppose X is a space which is path-connected and locally simply connected (in fact, the weaker condition of being semi-locally simply connected would be enough for the following construction).
    [Show full text]
  • MTH 304: General Topology Semester 2, 2017-2018
    MTH 304: General Topology Semester 2, 2017-2018 Dr. Prahlad Vaidyanathan Contents I. Continuous Functions3 1. First Definitions................................3 2. Open Sets...................................4 3. Continuity by Open Sets...........................6 II. Topological Spaces8 1. Definition and Examples...........................8 2. Metric Spaces................................. 11 3. Basis for a topology.............................. 16 4. The Product Topology on X × Y ...................... 18 Q 5. The Product Topology on Xα ....................... 20 6. Closed Sets.................................. 22 7. Continuous Functions............................. 27 8. The Quotient Topology............................ 30 III.Properties of Topological Spaces 36 1. The Hausdorff property............................ 36 2. Connectedness................................. 37 3. Path Connectedness............................. 41 4. Local Connectedness............................. 44 5. Compactness................................. 46 6. Compact Subsets of Rn ............................ 50 7. Continuous Functions on Compact Sets................... 52 8. Compactness in Metric Spaces........................ 56 9. Local Compactness.............................. 59 IV.Separation Axioms 62 1. Regular Spaces................................ 62 2. Normal Spaces................................ 64 3. Tietze's extension Theorem......................... 67 4. Urysohn Metrization Theorem........................ 71 5. Imbedding of Manifolds..........................
    [Show full text]
  • Basics of the Differential Geometry of Surfaces
    Chapter 20 Basics of the Differential Geometry of Surfaces 20.1 Introduction The purpose of this chapter is to introduce the reader to some elementary concepts of the differential geometry of surfaces. Our goal is rather modest: We simply want to introduce the concepts needed to understand the notion of Gaussian curvature, mean curvature, principal curvatures, and geodesic lines. Almost all of the material presented in this chapter is based on lectures given by Eugenio Calabi in an upper undergraduate differential geometry course offered in the fall of 1994. Most of the topics covered in this course have been included, except a presentation of the global Gauss–Bonnet–Hopf theorem, some material on special coordinate systems, and Hilbert’s theorem on surfaces of constant negative curvature. What is a surface? A precise answer cannot really be given without introducing the concept of a manifold. An informal answer is to say that a surface is a set of points in R3 such that for every point p on the surface there is a small (perhaps very small) neighborhood U of p that is continuously deformable into a little flat open disk. Thus, a surface should really have some topology. Also,locally,unlessthe point p is “singular,” the surface looks like a plane. Properties of surfaces can be classified into local properties and global prop- erties.Intheolderliterature,thestudyoflocalpropertieswascalled geometry in the small,andthestudyofglobalpropertieswascalledgeometry in the large.Lo- cal properties are the properties that hold in a small neighborhood of a point on a surface. Curvature is a local property. Local properties canbestudiedmoreconve- niently by assuming that the surface is parametrized locally.
    [Show full text]
  • Chapter 1 I. Fibre Bundles
    Chapter 1 I. Fibre Bundles 1.1 Definitions Definition 1.1.1 Let X be a topological space and let U be an open cover of X.A { j}j∈J partition of unity relative to the cover Uj j∈J consists of a set of functions fj : X [0, 1] such that: { } → 1) f −1 (0, 1] U for all j J; j ⊂ j ∈ 2) f −1 (0, 1] is locally finite; { j }j∈J 3) f (x)=1 for all x X. j∈J j ∈ A Pnumerable cover of a topological space X is one which possesses a partition of unity. Theorem 1.1.2 Let X be Hausdorff. Then X is paracompact iff for every open cover of X there exists a partition of unity relative to . U U See MAT1300 notes for a proof. Definition 1.1.3 Let B be a topological space with chosen basepoint . A(locally trivial) fibre bundle over B consists of a map p : E B such that for all b B∗there exists an open neighbourhood U of b for which there is a homeomorphism→ φ : p−1(U)∈ p−1( ) U satisfying ′′ ′′ → ∗ × π φ = p U , where π denotes projection onto the second factor. If there is a numerable open cover◦ of B|by open sets with homeomorphisms as above then the bundle is said to be numerable. 1 If ξ is the bundle p : E B, then E and B are called respectively the total space, sometimes written E(ξ), and base space→ , sometimes written B(ξ), of ξ and F := p−1( ) is called the fibre of ξ.
    [Show full text]
  • Introduction to Commutative Algebra
    MATH 603: INTRODUCTION TO COMMUTATIVE ALGEBRA THOMAS J. HAINES 1. Lecture 1 1.1. What is this course about? The foundations of differential geometry (= study of manifolds) rely on analysis in several variables as \local machinery": many global theorems about manifolds are reduced down to statements about what hap- pens in a local neighborhood, and then anaylsis is brought in to solve the local problem. Analogously, algebraic geometry uses commutative algebraic as its \local ma- chinery". Our goal is to study commutative algebra and some topics in algebraic geometry in a parallel manner. For a (somewhat) complete list of topics we plan to cover, see the course syllabus on the course web-page. 1.2. References. See the course syllabus for a list of books you might want to consult. There is no required text, as these lecture notes should serve as a text. They will be written up \in real time" as the course progresses. Of course, I will be grateful if you point out any typos you find. In addition, each time you are the first person to point out any real mathematical inaccuracy (not a typo), I will pay you 10 dollars!! 1.3. Conventions. Unless otherwise indicated in specific instances, all rings in this course are commutative with identity element, denoted by 1 or sometimes by e. We will assume familiarity with the notions of homomorphism, ideal, kernels, quotients, modules, etc. (at least). We will use Zorn's lemma (which is equivalent to the axiom of choice): Let S; ≤ be any non-empty partially ordered set.
    [Show full text]
  • Local Structure of Principally Polarized Stable Lagrangian Fibrations 3
    LOCAL STRUCTURE OF PRINCIPALLY POLARIZED STABLE LAGRANGIAN FIBRATIONS JUN-MUK HWANG, KEIJI OGUISO Abstract. A holomorphic Lagrangian fibration is stable if the characteristic cycles of the singular fibers are of type Im, 1 ≤ m< ∞, or A∞. We will give a complete description of the local structure of a stable Lagrangian fibration when it is principally polarized. In particular, we give an explicit form of the period map of such a fibration and conversely, for a period map of the described type, we construct a principally polarized stable Lagrangian fibration with the given period map. This enables us to give a number of examples exhibiting interesting behavior of the characteristic cycles. 1. Introduction For a holomorphic symplectic manifold (M,ω), i.e., a 2n-dimensional complex manifold 0 2 with a holomorphic symplectic form ω H (M, ΩM ), a proper flat morphism f : M B over an n-dimensional complex manifold∈ B is called a (holomorphic) Lagrangian fibration→ if all smooth fibers are Lagrangian submanifolds of M. The discriminant D B, i.e., the set of critical values of f, is a hypersurface if it is non-empty. In [HO1], the⊂ structure of the singular fiber of f at a general point b D was studied. By introducing the notion of characteristic cycles, [HO1] shows that the∈ structure of such a singular fiber can be described in a manner completely parallel to Kodaira’s classification ([Kd], see also V. 7 in [BHPV]) of singular fibers of elliptic fibrations. Furthermore, to study the multiplicity of the singular fibers, [HO2] generalized the stable reduction theory of elliptic fibrations (cf.
    [Show full text]
  • In This Section We Define Precisely Matrix Lie Groups And
    2.8. LIE GROUPS AND LIE ALGEBRAS, THE “BABY CASE” 65 2.8 Lie Groups and Lie Algebras, the “Baby Case” In this section we define precisely matrix Lie groups and their Lie algebras One of the reasons that Lie groups are nice is that they have a differential structure, which means that the no- tion of tangent space makes sense at any point of the group. Furthermore, the tangent space at the identity happens to have some algebraic structure, that of a Lie algebra. Roughly, the tangent space at the identity provides a “lin- earization” of the Lie group, and it turns out that many properties of a Lie group are reflected in its Lie algebra. The challenge that we are facing is that a certain amount of basic differential geometry is required to define Lie groups and Lie algebras in full generality. 66 CHAPTER 2. BASICS OF CLASSICAL LIE GROUPS Fortunately, most of the Lie groups that we need to con- sider are subspaces of RN for some sufficiently large N. In fact, they are all isomorphic to subgroups of GL(N,R) for some suitable N,evenSE(n), which is isomorphic to a subgroup of SL(n +1). Such groups are called linear Lie groups (or matrix groups). Since the groups under consideration are subspaces of RN , we do not need immediately the definition of an abstract manifold. We just have to define embedded submanifolds (also called submanifolds) of RN (in the case of GL(n, R), N = n2). In general, the difficult part in proving that a subgroup of GL(n, R) is a Lie group is to prove that it is a manifold.
    [Show full text]
  • Topology: Notes and Problems
    TOPOLOGY: NOTES AND PROBLEMS Abstract. These are the notes prepared for the course MTH 304 to be offered to undergraduate students at IIT Kanpur. Contents 1. Topology of Metric Spaces 1 2. Topological Spaces 3 3. Basis for a Topology 4 4. Topology Generated by a Basis 4 4.1. Infinitude of Prime Numbers 6 5. Product Topology 6 6. Subspace Topology 7 7. Closed Sets, Hausdorff Spaces, and Closure of a Set 9 8. Continuous Functions 12 8.1. A Theorem of Volterra Vito 15 9. Homeomorphisms 16 10. Product, Box, and Uniform Topologies 18 11. Compact Spaces 21 12. Quotient Topology 23 13. Connected and Path-connected Spaces 27 14. Compactness Revisited 30 15. Countability Axioms 31 16. Separation Axioms 33 17. Tychonoff's Theorem 36 References 37 1. Topology of Metric Spaces A function d : X × X ! R+ is a metric if for any x; y; z 2 X; (1) d(x; y) = 0 iff x = y. (2) d(x; y) = d(y; x). (3) d(x; y) ≤ d(x; z) + d(z; y): We refer to (X; d) as a metric space. 2 Exercise 1.1 : Give five of your favourite metrics on R : Exercise 1.2 : Show that C[0; 1] is a metric space with metric d1(f; g) := kf − gk1: 1 2 TOPOLOGY: NOTES AND PROBLEMS An open ball in a metric space (X; d) is given by Bd(x; R) := fy 2 X : d(y; x) < Rg: Exercise 1.3 : Let (X; d) be your favourite metric (X; d). How does open ball in (X; d) look like ? Exercise 1.4 : Visualize the open ball B(f; R) in (C[0; 1]; d1); where f is the identity function.
    [Show full text]
  • 1.4 Group Theory 2: Lie Algebras and Representations 1.4.1 Lie Algebras
    1.4 Group theory 2: Lie algebras and representations 1.4.1 Lie algebras: the compact case Finite groups, like the symmetry group of a cube, have a finite number of group elements and are characterised by the multiplication table of the group elements. For continuous groups, i.e., Lie groups, such a table is not meaningful. Instead one turns to the Lie algebra associated to the Lie group, which is a local property of the Lie group. Adding information about the global, or topological, properties of the Lie group manifold one has a full description of the group. The standard example is the Lie algebras so(3) and su(2) which are the same (i.e., isomorphic) while their groups SO(3) and SU(2) are locally the same but topologically di↵erent: SU(2) = S3 and SO(3) = RP 3 which is the set of all lines 3 through the center of the three-sphere S . This relation is written SO(3) = SU(2)/Z2. We will in general denote groups with upper case and Lie algebras with lower case letters. The Lie algebra can be extracted from a Lie group G by writing its elements g as the exponential of a linear combination of a new set of matrices, the so called generators T i. That is i i g G : g := ei↵ T ,i=1, 2,...,d, (1.13) 2 with the exponential of a matrix defined by its power series expansion. Here d is the dimension of the group or the Lie algebra, and one should note that the parameters, or ”angles”, ↵i are real numbers.
    [Show full text]
  • Metric Geometry and Geometric Group Theory Lior Silberman
    Metric Geometry and Geometric Group Theory Lior Silberman Contents Chapter 1. Introduction 5 1.1. Introduction – Geometric group theory 5 1.2. Additional examples 5 Part 1. Basic constructions 8 1.3. Quasi-isometries 9 1.4. Geodesics & Lengths of curves 10 Problem Set 1 13 1.5. Vector spaces 15 1.6. Manifolds 16 1.7. Groups and Cayley graphs 16 1.8. Ultralimits 17 Problem set 2 20 Part 2. Groups of polynomial growth 21 1.9. Group Theory 22 Problem Set 3 26 1.10. Volume growth in groups 28 1.11. Groups of polynomial growth: Algebra 28 1.12. Solvability of amenable linear groups in characteristic zero (following Shalom [11]) 30 1.13. Facts about Lie groups 30 1.14. Metric geometry – proof of theorem 94 30 Problem Set 4 34 Part 3. Hyperbolic groups 36 1.15. The hyperbolic plane 37 1.16. d-hyperbolic spaces 37 1.17. Problem set 5 40 Part 4. Random Groups 41 1.18. Models for random groups 42 1.19. Local-to-Global 42 1.20. Random Reduced Relators 47 Part 5. Fixed Point Properties 48 1.21. Introduction: Lipschitz Involutions and averaging 49 1.22. Expander graphs 51 Problem Set 54 3 Bibliography 55 Bibliography 56 4 CHAPTER 1 Introduction Lior Silberman, [email protected], http://www.math.ubc.ca/~lior Course website: http://www.math.ubc.ca/~lior/teaching/602D_F08/ Office: Math Building 229B Phone: 604-827-3031 Office Hours: By appointment 1.1. Introduction – Geometric group theory We study the connection between geometric and algebraic properties of groups and the spaces they act on.
    [Show full text]
  • Introduction to Commutative Algebra
    INTRODUCTION TO COMMUTATIVE ALGEBRA Mel Hochster Department of Mathematics, University of Michigan, Ann Arbor, MI 48109{1043, USA E-mail address: [email protected] INTRODUCTION TO COMMUTATIVE ALGEBRA Prof. Mel Hochster, instructor [email protected] (734)764{4924 (office1) These are lecture notes for Math 614, Fall 2020. The individual lectures are organized into sections. c Mel Hochster 2020 1However, I will not be using my office in Fall, 2020. Contents Chapter 1. Overview, notation, review of topology, categories and Spec 5 1. Lecture of August 31 5 1.1. Algebraic sets 8 2. Lecture of September 2 10 2.1. Filters and ultrafilters 11 2.2. Categories 11 2.3. Metric spaces. 14 3. Lecture of September 4 15 Chapter 2. Equivalence of categories, products and coproducts, free modules, semigroup rings, and localization 19 1. Lecture of September 9 19 2. Lecture of September 11 23 3. Lecture of September 14 26 4. Lecture of September 16 30 5. Lecture of September 18 32 Chapter 3. Embedding in products of domains, integral and module-finite extensions, height, and Krull dimension 37 1. Lecture of September 21 37 2. Lecture of September 23 43 3. Lecture of September 25 46 4. Lecture of September 28 50 5. Lecture of September 30 53 Chapter 4. Noether normalization, Hilbert's Nullstellensatz, and dimension in finitely generated algebras over a field 57 1. Lecture of October 2 57 1.1. Algebraic independence and transcendence bases 58 2. Lecture of October 5 62 3. Lecture of October 7 67 Chapter 5. Chain conditions on rings and modules 71 1.
    [Show full text]
  • Introduction to Commutative Algebra
    Introduction to Commutative Algebra December 20, 2019 About This Document This document was typeset by Jason McCullough. It is based on course notes from a course taught by Professor S.P. Dutta at the University of Illinois texed by Jason McCullough and Bart Snapp. The notes have been redone in 2019 for Math 619 at Iowa State taught by Jason McCullough. Special thanks to: Michael Dewar, Jordan Disch, Dan Lior, Christian McRoberts, Elizabeth Sprangel, and Patrick Szuta, for making many comments and corrections con- cerning these notes. Please report corrections, suggestions, gripes, complaints, and criticisms to: [email protected] Contents 0 Background 1 0.1 OperationsonIdeals ......................... 1 0.2 ChainConditions........................... 4 0.3 FlatModules ............................. 8 0.4 Localization.............................. 9 1 Primary Decomposition 13 1.1 PrimaryandCoprimaryModules . 13 1.2 ThePrimaryDecompositionTheorem . 15 1.2.1 Primary Decomposition and Localization . 18 1.2.2 AssociatedPrimes ...................... 21 1.3 ArbitraryModules .......................... 25 2 Filtrations and Completions 28 2.1 Limits ................................. 28 2.1.1 Direct Limits . 28 2.1.2 InverseLimits......................... 30 2.2 Filtrations and Completions . 32 2.2.1 Topology and Algebraic Structures . 32 2.2.2 Filtered Rings and Modules . 32 2.2.3 The Topology Corresponding to a Filtration . 33 2.2.4 GradedRingsandModules . 36 2.3 Adic Completions and Local Rings . 39 2.4 Faithfully Flat Modules . 44 3 Dimension Theory 52 3.1 TheGradedCase........................... 52 3.1.1 The Hilbert Polynomial . 54 3.2 TheHilbert-SamuelPolynomial . 59 3.3 TheTopologicalApproach. 66 3.3.1 Basic Definitions . 66 3.3.2 The Zariski Topology and the Prime Spectrum . 68 3.4 Systems of Parametersand the Dimension Theorem .
    [Show full text]