LECTURE 1. Differentiable Manifolds, Differentiable Maps

Total Page:16

File Type:pdf, Size:1020Kb

LECTURE 1. Differentiable Manifolds, Differentiable Maps LECTURE 1. Differentiable manifolds, differentiable maps Def: topological m-manifold. Locally euclidean, Hausdorff, second-countable space. At each point we have a local chart. (U; h), where h : U ! Rm is a topological embedding (homeomorphism onto its image) and h(U) is open in Rm. Def: differentiable structure. An atlas of class Cr (r ≥ 1 or r = 1 ) for a topological m-manifold M is a collection U of local charts (U; h) satisfying: (i) The domains U of the charts in U define an open cover of M; (ii) If two domains of charts (U; h); (V; k) in U overlap (U \V 6= ;) , then the transition map: k ◦ h−1 : h(U \ V ) ! k(U \ V ) is a Cr diffeomorphism of open sets in Rm. (iii) The atlas U is maximal for property (ii). Def: differentiable map between differentiable manifolds. f : M m ! N n (continuous) is differentiable at p if for any local charts (U; h); (V; k) at p, resp. f(p) with f(U) ⊂ V the map k ◦ f ◦ h−1 = F : h(U) ! k(V ) is m differentiable at x0 = h(p) (as a map from an open subset of R to an open subset of Rn.) f : M ! N (continuous) is of class Cr if for any charts (U; h); (V; k) on M resp. N with f(U) ⊂ V , the composition k ◦ f ◦ h−1 : h(U) ! k(V ) is of class Cr (between open subsets of Rm, resp. Rn.) f : M ! N of class Cr is an immersion if, for any local charts (U; h); (V; k) as above (for M, resp. N), the composition F = k ◦ f ◦ h−1 satisfies ker[dF (x)] = f0g for all x 2 h(U), where dF (x) 2 L(Rm; Rn) is the dif- ferential of F . (In particular, m ≤ n necessarily.) f : M ! N is a diffeomorphism if it is a homeomorphism onto N and, for any p 2 M and local charts (U; h); (V; h) at p; f(p) (resp.) and F = k ◦ f ◦ h−1, the differential dF (x) 2 L(Rm;Rn), x = h(p), is an isomorphism. (In particular, m = n.) If a Cr map f : M ! N is a diffeomorphism , the inverse f −1 is of class Cr. 1 LECTURE 2. Tangent space at a point. Recall a subset M ⊂ Rn is a m-dimensional surface of class Ck in Rn (m ≤ n) if for any p 2 M we may find an open nbd. of p, W ⊂ Rn, and an immersion of class Ck, φ : U ! Rn (U ⊂ Rm open) which is a homeomorphism onto its image: φ(U) = W \ M. n For surfaces in R , the tangent space TpM at p 2 M is geometrically defined as the set of all velocity vectors α0(0) at t = 0 of C1 curves α on M with α(0) = p. m Exercise 1. Show that TpM = dφ(x0)[R ], where φ(x0) = p, and that this subspace of Rn is independent of the choice of local parametrization φ of M near p. On a manifold, we use instead the idea of tangent space as the set of `directional derivatives' of differentiable functions, at p 2 M. m r r Def. Let M be a C manifold, CM the vector space of real-valued Cr functions on M; let p 2 M.A tangent vector at p is a linear map r Xp : CM ! R satisfying: r (i)p: if f; g 2 CM coincide in an open neighborhood of p, then Xp(f) = Xp(g): (ii)p: Xp(fg) = f(p)Xp(g) + g(p)Xp(f) (Leibniz rule.) It follows easily from these properties that Xp(const) = 0;Xp(f) = Xp(f + const). (Show this.) The space TpM of tangent vectors at p is a vector space of dimension m: m it admits a standard basis (@xi jp)i=1 associated to a local chart (U; h) at p such that h(p) = 0: @(f ◦ h−1) @xi jp(f) = (0); where h(p) = 0; i = 1; : : : ; m: @xi r Indeed, if Xp 2 TpM and f 2 CM with f(p) = 0 (as we may assume), we compute using (ii)p (see notes): X i i i Xp(f) = v @xi jp(f); v = Xp(x ); i where xi : U ! R is the ith component of the Cr map h : U ! R. Def. The differential of a C1 map f : M m ! N n at p 2 M is the linear map df(p) 2 L(TpM; Tf(p)N) given by: r df(p)[Xp] = Yf(p);Yf(p)(g) = Xp(g ◦ f); g 2 CN : 2 r Note that g ◦ f 2 CM (check in a local chart.) r Exercise 2. The linear map Yf(p) 2 L(CN ; R) satisfies the conditions (i),(ii) at f(p), required of an element of Tf(p)N. Reality check. If the manifold N is R (the real line), the tangent space at t0 2 R is one-dimensional: dg @ (g) = (t ); for g 2 C1( ); T N = fc@ ; c 2 g: tjt0 dt 0 R t0 tjt0 R We have an isomorphism: dg : T N ! ; (Y ) = Y (id ) = c; where Y (g) = c (t ): It0 t0 R It0 t0 t0 R t0 dt 0 1 Now let f : M ! N = R be C . Then: 1 df(p)[Xp] = Yf(p); where Yf(p)(g) = Xp(g ◦ f); for all g 2 C (R): In particular, if g = idR, we have Yf(p)(idR) = Xp(f): Thus, under the isomorphism If(p), which identifies Tf(p)N with R, we have: If(p)(df(p)[Xp]) = (df(p)[Xp])(idR) = Yf(p)(idR) = Xp(f): Informally, this identifies Xp(f) ∼ df(p)[Xp]: Xp(f) is a `directional deriva- tive' of f, as expected. LECTURE 3. Tangent bundle; locally trivial vector bundles Def. The tangent bundle of a Cr manifold M m is the set: r TM = f(p; Xp) 2 M × L(CM ; R); Xp 2 TpMg; that is, Xp satisfies (i)p; (ii)p. We have the standard projection map π : TM ! M; π(p; (Xp)) = p. (Intuitively, we think of elements of TM as `vectors with basepoint'{only vectors with the same basepoint can be added.) We endow TM with a topology by imposing two conditions: (a) π is a continuous map: π−1(U) is open in TM if U ⊂ M is an open set; (b) Let (U; h) be a local chart for M, h(p) = 0. Define h~ : π−1(U) ! U × Rm by h~(p; Xp) = (h(p); v); 3 P i where Xp = i v @ijp, the components of Xp in the basis @ijp of TpM asso- ciated with the chart h. We require h~ to be a homeomorphism. Exercise 3. Show that (a),(b) define a topology on TM making it a topological manifold (Hausdorff, second countable, locally euclidean.) De- scribe a local basis of neighborhoods at a point (p; Xp) of TM. Def. Differentiable structure on TM. Let (U; '); (V; ) be overlapping charts for M, U \ V 6= ;. So F = ◦'−1 : '(U \V ) ! (U \V ) is a Cr diffeomorphism. Then the associated charts for TM also overlap, with the transition diffeomorphism (of class Cr−1): F~ = ~ ◦ '~−1 : '(U \ V ) × Rm ! (U \ V ) × Rm: (x; α) 7! (F (x); dF (x)[α]): Thus the Cr atlas on M induces a Cr−1 atlas on TM. The tangent bundle is a special case of an important class of manifolds. Def. A locally trivial vector bundle with typical fiber V is a triple (E; M; π), where E and M are differentiable manifolds and π : E ! M a differentiable map, satisfying: (i) Any p 2 M admits a neighborhood U ⊂ M and a diffeomorphism −1 (`local trivialization') ΦU : π (U) ! U × V commuting with the identity on U: π(e) = p1(ΦU (e)), where p1 : U × V ! U is the first projection. (ii) If two trivializing domains overlap (U \ W 6= ;), the transition map has the form: −1 ΦW ◦ ΦU : U × V ! W × V; (x; v) ! (x; T (x)v); where T : U \ W ! GL(V) is a differentiable map. E is trivial if there is a global diffeomorphism Φ : E ! M × V, π(e) = −1 p1(Φ(e)), so that ΦjEp 2 L(Ep; V), Ep = π (p). Def. A section of E is a differentiable map X : M ! E such that π ◦ σ = idM , i.e. X(p) 2 Ep.A vector field on M is a section of TM: X(p) 2 TpM. Exercise 4: E is trivial , 9 a differentiable basis of sections X1;:::;Xn (n = dim V), i.e. fXi(p)g is a basis of Ep, for all p 2 M. Example 1: TS1 is trivial: V (x; y) = (−y; x) is a nonvanishing tangent vector field onS1. 4 Example 2: TS2 is not trivial: there is no non-vanishing tangent vector field on S2. This follows from the following facts: (i) If f; g; 2 C(Sn;Sn) and f(x) + g(x) 6= 08x 2 Sn ⊂ Rn+1, then f is homotopic to g. (ii) In particular, if f 2 C(S2;S2) has no fixed points, f is homotopic to α, the antipodal map α. (iii) The identity map of S2 is not homotopic to the antipodal map (this is true for even-dimensional spheres). The proof uses the homotopy invariance of the degree of a map. (iv) Suppose V were a nonvanishing vector field on S2. Consider the x+V (x) map: f(x) = jjx+V (x)jj .
Recommended publications
  • Math 5853 Homework Solutions 36. a Map F : X → Y Is Called an Open
    Math 5853 homework solutions 36. A map f : X → Y is called an open map if it takes open sets to open sets, and is called a closed map if it takes closed sets to closed sets. For example, a continuous bijection is a homeomorphism if and only if it is a closed map and an open map. 1. Give examples of continuous maps from R to R that are open but not closed, closed but not open, and neither open nor closed. open but not closed: f(x) = ex is a homeomorphism onto its image (0, ∞) (with the logarithm function as its inverse). If U is open, then f(U) is open in (0, ∞), and since (0, ∞) is open in R, f(U) is open in R. Therefore f is open. However, f(R) = (0, ∞) is not closed, so f is not closed. closed but not open: Constant functions are one example. We will give an example that is also surjective. Let f(x) = 0 for −1 ≤ x ≤ 1, f(x) = x − 1 for x ≥ 1, and f(x) = x+1 for x ≤ −1 (f is continuous by “gluing together on a finite collection of closed sets”). f is not open, since (−1, 1) is open but f((−1, 1)) = {0} is not open. To show that f is closed, let C be any closed subset of R. For n ∈ Z, −1 −1 define In = [n, n + 1]. Now, f (In) = [n + 1, n + 2] if n ≥ 1, f (I0) = [−1, 2], −1 −1 f (I−1) = [−2, 1], and f (In) = [n − 1, n] if n ≤ −2.
    [Show full text]
  • An Introduction to Differentiable Manifolds
    Mathematics Letters 2016; 2(5): 32-35 http://www.sciencepublishinggroup.com/j/ml doi: 10.11648/j.ml.20160205.11 Conference Paper An Introduction to Differentiable Manifolds Kande Dickson Kinyua Department of Mathematics, Moi University, Eldoret, Kenya Email address: [email protected] To cite this article: Kande Dickson Kinyua. An Introduction to Differentiable Manifolds. Mathematics Letters. Vol. 2, No. 5, 2016, pp. 32-35. doi: 10.11648/j.ml.20160205.11 Received : September 7, 2016; Accepted : November 1, 2016; Published : November 23, 2016 Abstract: A manifold is a Hausdorff topological space with some neighborhood of a point that looks like an open set in a Euclidean space. The concept of Euclidean space to a topological space is extended via suitable choice of coordinates. Manifolds are important objects in mathematics, physics and control theory, because they allow more complicated structures to be expressed and understood in terms of the well–understood properties of simpler Euclidean spaces. A differentiable manifold is defined either as a set of points with neighborhoods homeomorphic with Euclidean space, Rn with coordinates in overlapping neighborhoods being related by a differentiable transformation or as a subset of R, defined near each point by expressing some of the coordinates in terms of the others by differentiable functions. This paper aims at making a step by step introduction to differential manifolds. Keywords: Submanifold, Differentiable Manifold, Morphism, Topological Space manifolds with the additional condition that the transition 1. Introduction maps are analytic. In other words, a differentiable (or, smooth) The concept of manifolds is central to many parts of manifold is a topological manifold with a globally defined geometry and modern mathematical physics because it differentiable (or, smooth) structure, [1], [3], [4].
    [Show full text]
  • Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md
    International Journal of Scientific & Engineering Research, Volume 5, Issue 9, September-2014 157 ISSN 2229-5518 Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md. Abdul Halim Sajal Saha Md Shafiqul Islam Abstract-In the paper some aspects of Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields are focused. The purpose of this paper is to develop the theory of manifolds equipped with Riemannian metric. I have developed some theorems on torsion and Riemannian curvature tensors using affine connection. A Theorem 1.20 named “Fundamental Theorem of Pseudo-Riemannian Geometry” has been established on Riemannian geometry using tensors with metric. The main tools used in the theorem of pseudo Riemannian are tensors fields defined on a Riemannian manifold. Keywords: Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields. —————————— —————————— I. Introduction (c) { } is a family of open sets which covers , that is, 푖 = . Riemannian manifold is a pair ( , g) consisting of smooth 푈 푀 manifold and Riemannian metric g. A manifold may carry a (d) ⋃ is푈 푖푖 a homeomorphism푀 from onto an open subset of 푀 ′ further structure if it is endowed with a metric tensor, which is a 푖 . 푖 푖 휑 푈 푈 natural generation푀 of the inner product between two vectors in 푛 ℝ to an arbitrary manifold. Riemannian metrics, affine (e) Given and such that , the map = connections,푛 parallel transport, curvature tensors, torsion tensors, ( ( ) killingℝ vector fields and conformal killing vector fields play from푖 푗 ) to 푖 푗 is infinitely푖푗 −1 푈 푈 푈 ∩ 푈 ≠ ∅ 휓 important role to develop the theorem of Riemannian manifolds.
    [Show full text]
  • Tight Immersions of Simplicial Surfaces in Three Space
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Pergamon Topology Vol. 35, No. 4, pp. 863-873, 19% Copyright Q 1996 Elsevier Sctence Ltd Printed in Great Britain. All tights reserved CO4&9383/96 $15.00 + 0.00 0040-9383(95)00047-X TIGHT IMMERSIONS OF SIMPLICIAL SURFACES IN THREE SPACE DAVIDE P. CERVONE (Received for publication 13 July 1995) 1. INTRODUCTION IN 1960,Kuiper [12,13] initiated the study of tight immersions of surfaces in three space, and showed that every compact surface admits a tight immersion except for the Klein bottle, the real projective plane, and possibly the real projective plane with one handle. The fate of the latter surface went unresolved for 30 years until Haab recently proved [9] that there is no smooth tight immersion of the projective plane with one handle. In light of this, a recently described simplicial tight immersion of this surface [6] came as quite a surprise, and its discovery completes Kuiper’s initial survey. Pinkall [17] broadened the question in 1985 by looking for tight immersions in each equivalence class of immersed surfaces under image homotopy. He first produced a complete description of these classes, and proceeded to generate tight examples in all but finitely many of them. In this paper, we improve Pinkall’s result by giving tight simplicial examples in all but two of the immersion classes under image homotopy for which tight immersions are possible, and in particular, we point out and resolve an error in one of his examples that would have left an infinite number of immersion classes with no tight examples.
    [Show full text]
  • Daniel Irvine June 20, 2014 Lecture 6: Topological Manifolds 1. Local
    Daniel Irvine June 20, 2014 Lecture 6: Topological Manifolds 1. Local Topological Properties Exercise 7 of the problem set asked you to understand the notion of path compo- nents. We assume that knowledge here. We have done a little work in understanding the notions of connectedness, path connectedness, and compactness. It turns out that even if a space doesn't have these properties globally, they might still hold locally. Definition. A space X is locally path connected at x if for every neighborhood U of x, there is a path connected neighborhood V of x contained in U. If X is locally path connected at all of its points, then it is said to be locally path connected. Lemma 1.1. A space X is locally path connected if and only if for every open set V of X, each path component of V is open in X. Proof. Suppose that X is locally path connected. Let V be an open set in X; let C be a path component of V . If x is a point of V , we can (by definition) choose a path connected neighborhood W of x such that W ⊂ V . Since W is path connected, it must lie entirely within the path component C. Therefore C is open. Conversely, suppose that the path components of open sets of X are themselves open. Given a point x of X and a neighborhood V of x, let C be the path component of V containing x. Now C is path connected, and since it is open in X by hypothesis, we now have that X is locally path connected at x.
    [Show full text]
  • Tensor Calculus and Differential Geometry
    Course Notes Tensor Calculus and Differential Geometry 2WAH0 Luc Florack March 10, 2021 Cover illustration: papyrus fragment from Euclid’s Elements of Geometry, Book II [8]. Contents Preface iii Notation 1 1 Prerequisites from Linear Algebra 3 2 Tensor Calculus 7 2.1 Vector Spaces and Bases . .7 2.2 Dual Vector Spaces and Dual Bases . .8 2.3 The Kronecker Tensor . 10 2.4 Inner Products . 11 2.5 Reciprocal Bases . 14 2.6 Bases, Dual Bases, Reciprocal Bases: Mutual Relations . 16 2.7 Examples of Vectors and Covectors . 17 2.8 Tensors . 18 2.8.1 Tensors in all Generality . 18 2.8.2 Tensors Subject to Symmetries . 22 2.8.3 Symmetry and Antisymmetry Preserving Product Operators . 24 2.8.4 Vector Spaces with an Oriented Volume . 31 2.8.5 Tensors on an Inner Product Space . 34 2.8.6 Tensor Transformations . 36 2.8.6.1 “Absolute Tensors” . 37 CONTENTS i 2.8.6.2 “Relative Tensors” . 38 2.8.6.3 “Pseudo Tensors” . 41 2.8.7 Contractions . 43 2.9 The Hodge Star Operator . 43 3 Differential Geometry 47 3.1 Euclidean Space: Cartesian and Curvilinear Coordinates . 47 3.2 Differentiable Manifolds . 48 3.3 Tangent Vectors . 49 3.4 Tangent and Cotangent Bundle . 50 3.5 Exterior Derivative . 51 3.6 Affine Connection . 52 3.7 Lie Derivative . 55 3.8 Torsion . 55 3.9 Levi-Civita Connection . 56 3.10 Geodesics . 57 3.11 Curvature . 58 3.12 Push-Forward and Pull-Back . 59 3.13 Examples . 60 3.13.1 Polar Coordinates in the Euclidean Plane .
    [Show full text]
  • Lecture 2 Tangent Space, Differential Forms, Riemannian Manifolds
    Lecture 2 tangent space, differential forms, Riemannian manifolds differentiable manifolds A manifold is a set that locally look like Rn. For example, a two-dimensional sphere S2 can be covered by two subspaces, one can be the northen hemisphere extended slightly below the equator and another can be the southern hemisphere extended slightly above the equator. Each patch can be mapped smoothly into an open set of R2. In general, a manifold M consists of a family of open sets Ui which covers M, i.e. iUi = M, n ∪ and, for each Ui, there is a continuous invertible map ϕi : Ui R . To be precise, to define → what we mean by a continuous map, we has to define M as a topological space first. This requires a certain set of properties for open sets of M. We will discuss this in a couple of weeks. For now, we assume we know what continuous maps mean for M. If you need to know now, look at one of the standard textbooks (e.g., Nakahara). Each (Ui, ϕi) is called a coordinate chart. Their collection (Ui, ϕi) is called an atlas. { } The map has to be one-to-one, so that there is an inverse map from the image ϕi(Ui) to −1 Ui. If Ui and Uj intersects, we can define a map ϕi ϕj from ϕj(Ui Uj)) to ϕi(Ui Uj). ◦ n ∩ ∩ Since ϕj(Ui Uj)) to ϕi(Ui Uj) are both subspaces of R , we express the map in terms of n ∩ ∩ functions and ask if they are differentiable.
    [Show full text]
  • MA4E0 Lie Groups
    MA4E0 Lie Groups December 5, 2012 Contents 0 Topological Groups 1 1 Manifolds 2 2 Lie Groups 3 3 The Lie Algebra 6 4 The Tangent space 8 5 The Lie Algebra of a Lie Group 10 6 Integrating Vector fields and the exponential map 13 7 Lie Subgroups 17 8 Continuous homomorphisms are smooth 22 9 Distributions and Frobenius Theorem 23 10 Lie Group topics 24 These notes are based on the 2012 MA4E0 Lie Groups course, taught by John Rawnsley, typeset by Matthew Egginton. No guarantee is given that they are accurate or applicable, but hopefully they will assist your study. Please report any errors, factual or typographical, to [email protected] i MA4E0 Lie Groups Lecture Notes Autumn 2012 0 Topological Groups Let G be a group and then write the group structure in terms of maps; multiplication becomes m : G × G ! G −1 defined by m(g1; g2) = g1g2 and inversion becomes i : G ! G defined by i(g) = g . If we suppose that there is a topology on G as a set given by a subset T ⊂ P (G) with the usual rules. We give G × G the product topology. Then we require that m and i are continuous maps. Then G with this topology is a topological group Examples include 1. G any group with the discrete topology 2. Rn with the Euclidean topology and m(x; y) = x + y and i(x) = −x 1 2 2 2 3. S = f(x; y) 2 R : x + y = 1g = fz 2 C : jzj = 1g with m(z1; z2) = z1z2 and i(z) =z ¯.
    [Show full text]
  • DIFFERENTIAL GEOMETRY COURSE NOTES 1.1. Review of Topology. Definition 1.1. a Topological Space Is a Pair (X,T ) Consisting of A
    DIFFERENTIAL GEOMETRY COURSE NOTES KO HONDA 1. REVIEW OF TOPOLOGY AND LINEAR ALGEBRA 1.1. Review of topology. Definition 1.1. A topological space is a pair (X; T ) consisting of a set X and a collection T = fUαg of subsets of X, satisfying the following: (1) ;;X 2 T , (2) if Uα;Uβ 2 T , then Uα \ Uβ 2 T , (3) if Uα 2 T for all α 2 I, then [α2I Uα 2 T . (Here I is an indexing set, and is not necessarily finite.) T is called a topology for X and Uα 2 T is called an open set of X. n Example 1: R = R × R × · · · × R (n times) = f(x1; : : : ; xn) j xi 2 R; i = 1; : : : ; ng, called real n-dimensional space. How to define a topology T on Rn? We would at least like to include open balls of radius r about y 2 Rn: n Br(y) = fx 2 R j jx − yj < rg; where p 2 2 jx − yj = (x1 − y1) + ··· + (xn − yn) : n n Question: Is T0 = fBr(y) j y 2 R ; r 2 (0; 1)g a valid topology for R ? n No, so you must add more open sets to T0 to get a valid topology for R . T = fU j 8y 2 U; 9Br(y) ⊂ Ug: Example 2A: S1 = f(x; y) 2 R2 j x2 + y2 = 1g. A reasonable topology on S1 is the topology induced by the inclusion S1 ⊂ R2. Definition 1.2. Let (X; T ) be a topological space and let f : Y ! X.
    [Show full text]
  • Lecture Notes C Sarah Rasmussen, 2019
    Part III 3-manifolds Lecture Notes c Sarah Rasmussen, 2019 Contents Lecture 0 (not lectured): Preliminaries2 Lecture 1: Why not ≥ 5?9 Lecture 2: Why 3-manifolds? + Introduction to knots and embeddings 13 Lecture 3: Link diagrams and Alexander polynomial skein relations 17 Lecture 4: Handle decompositions from Morse critical points 20 Lecture 5: Handles as Cells; Morse functions from handle decompositions 24 Lecture 6: Handle-bodies and Heegaard diagrams 28 Lecture 7: Fundamental group presentations from Heegaard diagrams 36 Lecture 8: Alexander polynomials from fundamental groups 39 Lecture 9: Fox calculus 43 Lecture 10: Dehn presentations and Kauffman states 48 Lecture 11: Mapping tori and Mapping Class Groups 54 Lecture 12: Nielsen-Thurston classification for mapping class groups 58 Lecture 13: Dehn filling 61 Lecture 14: Dehn surgery 64 Lecture 15: 3-manifolds from Dehn surgery 68 Lecture 16: Seifert fibered spaces 72 Lecture 17: Hyperbolic manifolds 76 Lecture 18: Embedded surface representatives 80 Lecture 19: Incompressible and essential surfaces 83 Lecture 20: Connected sum 86 Lecture 21: JSJ decomposition and geometrization 89 Lecture 22: Turaev torsion and knot decompositions 92 Lecture 23: Foliations 96 Lecture 24. Taut Foliations 98 Errata: Catalogue of errors/changes/addenda 102 References 106 1 2 Lecture 0 (not lectured): Preliminaries 0. Notation and conventions. Notation. @X { (the manifold given by) the boundary of X, for X a manifold with boundary. th @iX { the i connected component of @X. ν(X) { a tubular (or collared) neighborhood of X in Y , for an embedding X ⊂ Y . ◦ ν(X) { the interior of ν(X). This notation is somewhat redundant, but emphasises openness.
    [Show full text]
  • A Grothendieck Site Is a Small Category C Equipped with a Grothendieck Topology T
    Contents 5 Grothendieck topologies 1 6 Exactness properties 10 7 Geometric morphisms 17 8 Points and Boolean localization 22 5 Grothendieck topologies A Grothendieck site is a small category C equipped with a Grothendieck topology T . A Grothendieck topology T consists of a collec- tion of subfunctors R ⊂ hom( ;U); U 2 C ; called covering sieves, such that the following hold: 1) (base change) If R ⊂ hom( ;U) is covering and f : V ! U is a morphism of C , then f −1(R) = fg : W ! V j f · g 2 Rg is covering for V. 2) (local character) Suppose R;R0 ⊂ hom( ;U) and R is covering. If f −1(R0) is covering for all f : V ! U in R, then R0 is covering. 3) hom( ;U) is covering for all U 2 C . 1 Typically, Grothendieck topologies arise from cov- ering families in sites C having pullbacks. Cover- ing families are sets of maps which generate cov- ering sieves. Suppose that C has pullbacks. A topology T on C consists of families of sets of morphisms ffa : Ua ! Ug; U 2 C ; called covering families, such that 1) Suppose fa : Ua ! U is a covering family and y : V ! U is a morphism of C . Then the set of all V ×U Ua ! V is a covering family for V. 2) Suppose ffa : Ua ! Vg is covering, and fga;b : Wa;b ! Uag is covering for all a. Then the set of composites ga;b fa Wa;b −−! Ua −! U is covering. 3) The singleton set f1 : U ! Ug is covering for each U 2 C .
    [Show full text]
  • On Sheaf Theory
    Lectures on Sheaf Theory by C.H. Dowker Tata Institute of Fundamental Research Bombay 1957 Lectures on Sheaf Theory by C.H. Dowker Notes by S.V. Adavi and N. Ramabhadran Tata Institute of Fundamental Research Bombay 1956 Contents 1 Lecture 1 1 2 Lecture 2 5 3 Lecture 3 9 4 Lecture 4 15 5 Lecture 5 21 6 Lecture 6 27 7 Lecture 7 31 8 Lecture 8 35 9 Lecture 9 41 10 Lecture 10 47 11 Lecture 11 55 12 Lecture 12 59 13 Lecture 13 65 14 Lecture 14 73 iii iv Contents 15 Lecture 15 81 16 Lecture 16 87 17 Lecture 17 93 18 Lecture 18 101 19 Lecture 19 107 20 Lecture 20 113 21 Lecture 21 123 22 Lecture 22 129 23 Lecture 23 135 24 Lecture 24 139 25 Lecture 25 143 26 Lecture 26 147 27 Lecture 27 155 28 Lecture 28 161 29 Lecture 29 167 30 Lecture 30 171 31 Lecture 31 177 32 Lecture 32 183 33 Lecture 33 189 Lecture 1 Sheaves. 1 onto Definition. A sheaf S = (S, τ, X) of abelian groups is a map π : S −−−→ X, where S and X are topological spaces, such that 1. π is a local homeomorphism, 2. for each x ∈ X, π−1(x) is an abelian group, 3. addition is continuous. That π is a local homeomorphism means that for each point p ∈ S , there is an open set G with p ∈ G such that π|G maps G homeomorphi- cally onto some open set π(G).
    [Show full text]