DOCSLIB.ORG

Math 6520: Differentiable Manifolds I

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Math 6520: Differentiable Manifolds I Math 6520: Differentiable Manifolds I Taught by Reyer Sjamaar Notes by David Mehrle [email protected] Cornell University Fall 2016 Last updated December 11, 2016. The latest version is online here. Contents 1 Introduction................................. 5 1.1 Dimension............................... 9 1.2 Lots of Examples ........................... 10 1.3 The Smooth Category......................... 14 2 Tangent Vectors............................... 15 2.1 Derivations................................ 21 3 Submanifolds ................................ 26 3.1 Rank ................................... 31 3.2 Submersions and Immersions.................... 35 3.3 Embeddings.............................. 38 4 Vector Fields................................. 42 4.1 Independent vector fields on spheres................ 43 4.2 Flows.................................. 44 4.3 Derivations, Revisited ........................ 50 5 Intermezzo: Point-set topology of Manifolds .............. 54 5.1 Paracompactness ........................... 55 5.2 Partitions of Unity........................... 57 5.3 Some applications........................... 59 6 Lie Groups.................................. 63 6.1 Vector fields on Lie groups...................... 67 6.2 Actions of Lie groups on manifolds................. 69 6.3 Classical Lie Groups ......................... 73 6.4 Smooth maps on Vector Fields.................... 74 6.5 Lie algebras and the Lie bracket................... 77 6.6 Brackets and Flows.......................... 79 7 Vector bundles................................ 85 7.1 Variations on the notion of manifolds ............... 85 7.2 Vector Bundles............................. 87 7.3 Subbundles .............................. 93 8 Foliations................................... 95 8.1 Integrability.............................. 100 8.2 Distributions on Lie Groups. .................... 103 9 Differential Forms.............................. 103 9.1 Operations on Vector Bundles.................... 103 1 9.2 Alternating algebras ......................... 106 9.3 Differential Forms........................... 110 9.4 The de Rahm complex ........................ 113 9.5 De Rahm Cohomology........................ 117 9.6 Functoriality of HDR . 118 9.7 Other properties of HDR(M) . 119 2 Contents by Lecture Lecture 01 on August 23, 2016......................... 5 Lecture 02 on August 26, 2016......................... 8 Lecture 03 on August 29, 2016.......................... 11 Lecture 04 on August 31, 2016......................... 13 Lecture 05 on September 2, 2016........................ 17 Lecture 06 on September 7, 2016........................ 19 Lecture 07 on September 9, 2016........................ 22 Lecture 08 on September 12, 2016....................... 25 Lecture 09 on September 14, 2016....................... 28 Lecture 10 on September 16, 2016....................... 30 Lecture 11 on September 19, 2016....................... 34 Lecture 12 on September 21, 2016....................... 37 Lecture 13 on September 23, 2016....................... 40 Lecture 14 on September 26, 2016....................... 43 Lecture 15 on September 28, 2016....................... 45 Lecture 16 on September 30, 2016....................... 48 Lecture 17 on October 03, 2016.......................... 51 Lecture 18 on October 05, 2016......................... 54 Lecture 19 on October 07, 2016......................... 57 Lecture 20 on October 12, 2016......................... 59 Lecture 21 on October 14, 2016......................... 62 Lecture 22 on October 17, 2016......................... 66 Lecture 23 on October 19, 2016......................... 69 3 Lecture 24 on October 21, 2016......................... 72 Lecture 25 on October 24, 2016......................... 76 Lecture 26 on October 26, 2016......................... 79 Lecture 27 on October 28, 2016......................... 82 Lecture 28 on October 31, 2016......................... 85 Lecture 29 on November 3, 2016........................ 87 Lecture 30 on November 4, 2016........................ 90 Lecture 31 on November 7, 2016........................ 92 Lecture 32 on November 9, 2016........................ 95 Lecture 33 on November 11, 2016....................... 98 Lecture 34 on November 14, 2016....................... 100 Lecture 35 on November 16, 2016....................... 103 Lecture 36 on November 18, 2016....................... 106 Lecture 37 on November 21, 2016....................... 109 Lecture 38 on November 28, 2016........................111 Lecture 39 on November 30, 2016....................... 114 Lecture 40 on December 2, 2016........................ 117 4 Lecture 01: Introduction August 23, 2016 Administrative There is a class website. There will be no exams, only homework. The first one will be due on September 7th. There is no textbook, but there are many books that you might want to download. Among them, Smooth Manifolds by Lee. 1 Introduction Example 1.1. Some examples of manifolds: Example 1.2. Non-examples of manifolds. 5 Lecture 01: Introduction August 23, 2016 Often the non-manifolds are more interesting than the manifolds, but we have to understand the manifolds first. Here are the features of manifolds. • “Smooth,” as in differentiable infinitely many times everywhere. • “same everywhere,” “homogeneous” • There is a tangent space at every point that is a vector space. The non- examples above have points where we can’t define a tangent space, or it isn’t a vector space. Definition 1.3 (Notation). Let A be an open subset of Rn and f: A R a n function. Let α = (α1, α2, ::: , αn) 2 N be a tuple of non-negative integers (a multi-index). We say that the α-th derivative of f is ! @α1 @α2 @αn @αf := ··· f α1 α2 αn , @x1 @x2 @xn if it exists. The order of α is jαj = α1 + α2 + ::: + αn. Definition 1.4. We say that f is Cr if @αf exists and is continuous for all multi- indexes α of order ≤ r. We write Cr(A) = ff: A R j f is Crg r n for the collection of all C functions on open! subsets A of R . If f is Cr for every r, then we say that f is C . \ 1 C (A) := Cr(A). r≥0 1 Definition 1.5. A vector valued function F: A Rm with components 0 1 f1(x) ! B f2(x) C B C F(x) = B . C @ . A fm(x) r r For 0 ≤ r ≤ , we say that F is C if fi is C for all i = 1, ::: , m. Definition 1.6. Let B be open in Rm. Let F: A B be a map. We say that F is a 1 diffeomorphism if F is smooth (i.e. C ), bijective, and F-1 is smooth as well. ! Example 1.7. Smooth bijections need1 not be diffeomorphisms. f(x) = x3 is p3 smooth (polynomial), and has an inverse f-1(x) = (x), but f-1 fails to be differentiable at x = 0. 6 Lecture 01: Introduction August 23, 2016 Remark 1.8. If A, B are open in Rn and Rm, respectively, and f: A B is a diffeomorphism, then m = n. Why? Since f is smooth, we can take it’s derivative. So the Jacobi matrix of f exists; f is invertible and the derivative! of the inverse is the inverse of the derivative (follows from the chain rule, as in the corollary below), so the Jacobi matrix for f must be square. Proposition 1.9 (Chain Rule). If A, B, C are open subsets of Rn, Rm and R`, respectively, and we have Cr functions f g A - B - C, then g ◦ f is Cr and ! ! D(g ◦ f)(x) = Dg(f(x)) ◦ Df(x). Corollary 1.10. If f: A B is a diffeomorphism, with A ⊆ Rn and B ⊆ Rm, then Df(x) is invertible for all x. -1 ! Proof. Let g = f : B A. Then g ◦ f = idA, and f ◦ g = idB. So we have Dg(f(x)) ◦ Df(x) = D(g ◦ f)(x) = D(id ) = I ! A n And similarly, Df(x) ◦ Dg(f(x)) = Im And moreover, m = n. Definition 1.11. Let M be a topological space. A chart on M is a pair (U, φ) where U is an open subset of M (called the domain) and φ: U Rn is a map (called the coordinate map) with the properties ! (i) φ(U) is open in Rn, (ii) φ: U φ(U) is a homeomorphism (i.e. φ is continuous, bijective, and φ-1 : φ(U) U is also continuous). ! If x 2 U, then we say that (U, φ) is a chart at x. If x 2 U and φ(x) = 0 2 Rn, ! then we say that the chart is centered at x. Definition 1.12. M is locally Euclidean or a topological manifold if M admits a chart at every point. Example 1.13. An example of a topological manifold is the ice cream cone in R3. A chart might be projection onto the plane. But this isn’t a smooth manifold because of the singularity at the apex of the cone (it’s pointy, not smooth!). Definition 1.14. Given two charts (U, φ) and (V, ) on M, we can form the transition map -1 ◦ (φjU\V ) : φ(U \ V) (U \ V). 7 ! Lecture 02: Introduction August 26, 2016 The transition map is (by the definition of charts) necessarily a homeomor- phism with inverse -1 φ ◦ ( jU\V ) : (U \ V) φ(U \ V). It eventually becomes really dreary to write! the restriction every time, so we will abbreviate ◦ φ-1, respectively φ ◦ -1. The charts are compatible if ◦ φ-1 and φ ◦ -1 are smooth (equivalently, if either is a diffeomorphism). This is trivially true if U \ V = Æ. By Remark 1.8, if (U, φ: U Rn) and (V, : V Rm) are compatible and U \ V 6= Æ, then m = n. ! ! Definition 1.15. An atlas A on M is a collection of charts A = f(Uα, φα) j α 2 Ig with the properties S (i) α2I Uα = M (ii) every pair of charts (Uα, φα), (Uβ, φβ) is compatible, i.e. the transition map -1 φβα = φβ ◦ φα : φα(Uαβ) φβ(Uαβ) is smooth, where Uαβ = Uα \ Uβ. ! Given any atlas, we can always make it bigger. For example, to a world atlas we could add maps of each city, and then to that we could add all naval maps, etc. The set of atlases on M is partially ordered by inclusion. Definition 1.16. If A, B are atlases on a topological space M, we say that A ≤ B if A ⊆ B. A smooth structure on M is a maximal atlas. Definition 1.17. A (smooth) manifold is a pair (M, A) where A is a maximal atlas (smooth structure) on M. To emphasize: maximality of A means that if B is another atlas on M, and if A ⊆ B, then A = B.
Load more

Recommended publications
  • A Brief Tour of Vector Calculus
    A BRIEF TOUR OF VECTOR CALCULUS A. HAVENS Contents 0 Prelude ii 1 Directional Derivatives, the Gradient and the Del Operator 1 1.1 Conceptual Review: Directional Derivatives and the Gradient........... 1 1.2 The Gradient as a Vector Field............................ 5 1.3 The Gradient Flow and Critical Points ....................... 10 1.4 The Del Operator and the Gradient in Other Coordinates*............ 17 1.5 Problems........................................ 21 2 Vector Fields in Low Dimensions 26 2 3 2.1 General Vector Fields in Domains of R and R . 26 2.2 Flows and Integral Curves .............................. 31 2.3 Conservative Vector Fields and Potentials...................... 32 2.4 Vector Fields from Frames*.............................. 37 2.5 Divergence, Curl, Jacobians, and the Laplacian................... 41 2.6 Parametrized Surfaces and Coordinate Vector Fields*............... 48 2.7 Tangent Vectors, Normal Vectors, and Orientations*................ 52 2.8 Problems........................................ 58 3 Line Integrals 66 3.1 Defining Scalar Line Integrals............................. 66 3.2 Line Integrals in Vector Fields ............................ 75 3.3 Work in a Force Field................................. 78 3.4 The Fundamental Theorem of Line Integrals .................... 79 3.5 Motion in Conservative Force Fields Conserves Energy .............. 81 3.6 Path Independence and Corollaries of the Fundamental Theorem......... 82 3.7 Green's Theorem.................................... 84 3.8 Problems........................................ 89 4 Surface Integrals, Flux, and Fundamental Theorems 93 4.1 Surface Integrals of Scalar Fields........................... 93 4.2 Flux........................................... 96 4.3 The Gradient, Divergence, and Curl Operators Via Limits* . 103 4.4 The Stokes-Kelvin Theorem..............................108 4.5 The Divergence Theorem ...............................112 4.6 Problems........................................114 List of Figures 117 i 11/14/19 Multivariate Calculus: Vector Calculus Havens 0.
    [Show full text]
  • Vector Fields
    Vector Calculus Independent Study Unit 5: Vector Fields A vector field is a function which associates a vector to every point in space. Vector fields are everywhere in nature, from the wind (which has a velocity vector at every point) to gravity (which, in the simplest interpretation, would exert a vector force at on a mass at every point) to the gradient of any scalar field (for example, the gradient of the temperature field assigns to each point a vector which says which direction to travel if you want to get hotter fastest). In this section, you will learn the following techniques and topics: • How to graph a vector field by picking lots of points, evaluating the field at those points, and then drawing the resulting vector with its tail at the point. • A flow line for a velocity vector field is a path ~σ(t) that satisfies ~σ0(t)=F~(~σ(t)) For example, a tiny speck of dust in the wind follows a flow line. If you have an acceleration vector field, a flow line path satisfies ~σ00(t)=F~(~σ(t)) [For example, a tiny comet being acted on by gravity.] • Any vector field F~ which is equal to ∇f for some f is called a con- servative vector field, and f its potential. The terminology comes from physics; by the fundamental theorem of calculus for work in- tegrals, the work done by moving from one point to another in a conservative vector field doesn’t depend on the path and is simply the difference in potential at the two points.
    [Show full text]
  • Introduction to a Line Integral of a Vector Field Math Insight
    Introduction to a Line Integral of a Vector Field Math Insight A line integral (sometimes called a path integral) is the integral of some function along a curve. One can integrate a scalar-valued function1 along a curve, obtaining for example, the mass of a wire from its density. One can also integrate a certain type of vector-valued functions along a curve. These vector-valued functions are the ones where the input and output dimensions are the same, and we usually represent them as vector fields2. One interpretation of the line integral of a vector field is the amount of work that a force field does on a particle as it moves along a curve. To illustrate this concept, we return to the slinky example3 we used to introduce arc length. Here, our slinky will be the helix parameterized4 by the function c(t)=(cost,sint,t/(3π)), for 0≤t≤6π, Imagine that you put a small-magnetized bead on your slinky (the bead has a small hole in it, so it can slide along the slinky). Next, imagine that you put a large magnet to the left of the slink, as shown by the large green square in the below applet. The magnet will induce a magnetic field F(x,y,z), shown by the green arrows. Particle on helix with magnet. The red helix is parametrized by c(t)=(cost,sint,t/(3π)), for 0≤t≤6π. For a given value of t (changed by the blue point on the slider), the magenta point represents a magnetic bead at point c(t).
    [Show full text]
  • 6.10 the Generalized Stokes's Theorem
    6.10 The generalized Stokes’s theorem 645 6.9.2 In the text we proved Proposition 6.9.7 in the special case where the mapping f is linear. Prove the general statement, where f is only assumed to be of class C1. n m 1 6.9.3 Let U R be open, f : U R of class C , and ξ a vector field on m ⊂ → R . a. Show that (f ∗Wξ)(x)=W . Exercise 6.9.3: The matrix [Df(x)]!ξ(x) adj(A) of part c is the adjoint ma- b. Let m = n. Show that if [Df(x)] is invertible, then trix of A. The equation in part b (f ∗Φ )(x) = det[Df(x)]Φ 1 . is unsatisfactory: it does not say ξ [Df(x)]− ξ(x) how to represent (f ∗Φ )(x) as the ξ c. Let m = n, let A be a square matrix, and let A be the matrix obtained flux of a vector field when the n n [j,i] × from A by erasing the jth row and the ith column. Let adj(A) be the matrix matrix [Df(x)] is not invertible. i+j whose (i, j)th entry is (adj(A))i,j =( 1) det A . Show that Part c deals with this situation. − [j,i] A(adj(A)) = (det A)I and f ∗Φξ(x)=Φadj([Df(x)])ξ(x) 6.10 The generalized Stokes’s theorem We worked hard to define the exterior derivative and to define orientation of manifolds and of boundaries. Now we are going to reap some rewards for our labor: a higher-dimensional analogue of the fundamental theorem of calculus, Stokes’s theorem.
    [Show full text]
  • Derived Smooth Manifolds
    DERIVED SMOOTH MANIFOLDS DAVID I. SPIVAK Abstract. We define a simplicial category called the category of derived man- ifolds. It contains the category of smooth manifolds as a full discrete subcat- egory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold is a space together with a sheaf of local C1-rings that is obtained by patching together homotopy zero-sets of smooth functions on Eu- clidean spaces. We show that derived manifolds come equipped with a stable normal bun- dle and can be imbedded into Euclidean space. We define a cohomology theory called derived cobordism, and use a Pontrjagin-Thom argument to show that the derived cobordism theory is isomorphic to the classical cobordism theory. This allows us to define fundamental classes in cobordism for all derived man- ifolds. In particular, the intersection A \ B of submanifolds A; B ⊂ X exists on the categorical level in our theory, and a cup product formula [A] ^ [B] = [A \ B] holds, even if the submanifolds are not transverse. One can thus consider the theory of derived manifolds as a categorification of intersection theory. Contents 1. Introduction 1 2. The axioms 8 3. Main results 14 4. Layout for the construction of dMan 21 5. C1-rings 23 6. Local C1-ringed spaces and derived manifolds 26 7. Cotangent Complexes 32 8. Proofs of technical results 39 9. Derived manifolds are good for doing intersection theory 50 10. Relationship to similar work 52 References 55 1. Introduction Let Ω denote the unoriented cobordism ring (though what we will say applies to other cobordism theories as well, e.g.
    [Show full text]
  • Stokes' Theorem
    V13.3 Stokes’ Theorem 3. Proof of Stokes’ Theorem. We will prove Stokes’ theorem for a vector field of the form P (x, y, z) k . That is, we will show, with the usual notations, (3) P (x, y, z) dz = curl (P k ) · n dS . � C � �S We assume S is given as the graph of z = f(x, y) over a region R of the xy-plane; we let C be the boundary of S, and C ′ the boundary of R. We take n on S to be pointing generally upwards, so that |n · k | = n · k . To prove (3), we turn the left side into a line integral around C ′, and the right side into a double integral over R, both in the xy-plane. Then we show that these two integrals are equal by Green’s theorem. To calculate the line integrals around C and C ′, we parametrize these curves. Let ′ C : x = x(t), y = y(t), t0 ≤ t ≤ t1 be a parametrization of the curve C ′ in the xy-plane; then C : x = x(t), y = y(t), z = f(x(t), y(t)), t0 ≤ t ≤ t1 gives a corresponding parametrization of the space curve C lying over it, since C lies on the surface z = f(x, y). Attacking the line integral first, we claim that (4) P (x, y, z) dz = P (x, y, f(x, y))(fxdx + fydy) . � C � C′ This looks reasonable purely formally, since we get the right side by substituting into the left side the expressions for z and dz in terms of x and y: z = f(x, y), dz = fxdx + fydy.
    [Show full text]
  • T. King: MA3160 Page 1 Lecture: Section 18.3 Gradient Field And
    Lecture: Section 18.3 Gradient Field and Path Independent Fields For this section we will follow the treatment by Professor Paul Dawkins (see http://tutorial.math.lamar.edu) more closely than our text. A link to this tutorial is on the course webpage. Recall from Calc I, the Fundamental Theorem of Calculus. There is, in fact, a Fundamental Theorem for line Integrals over certain kinds of vector fields. Note that in the case above, the integrand contains F’(x), which is a derivative. The multivariable analogy is the gradient. We state below the Fundamental Theorem for line integrals without proof. · Where P and Q are the endpoints of the path c. A logical question to ask at this point is what does this have to do with the material we studied in sections 18.1 and 18.2? • First, remember that is a vector field, i.e., the direction/magnitude of the maximum change of f. • So, if we had a vector field which we know was a gradient field of some function f, we would have an easy way of finding the line integral, i.e., simply evaluate the function f at the endpoints of the path c. → The problem is that not all vector fields are gradient fields. ← So we will need two skills in order to effectively use the Fundamental Theorem for line integrals fully. T. King: MA3160 Page 1 Lecture 18.3 1. Know how to determine whether a vector field is a gradient field. If it is, it is called a conservative vector field. For such a field, there is a function f such that .
    [Show full text]
  • Categorical Differential Geometry Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 35, No 4 (1994), P
    CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES M. V. LOSIK Categorical differential geometry Cahiers de topologie et géométrie différentielle catégoriques, tome 35, no 4 (1994), p. 274-290 <http://www.numdam.org/item?id=CTGDC_1994__35_4_274_0> © Andrée C. Ehresmann et les auteurs, 1994, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ CAHIERS DE TOPOLOGIE ET VolumeXXXV-4 (1994) GEOMETRIE DIFFERENTIELLE CATEGORIQUES CATEGORICAL DIFFERENTIAL GEOMETRY by M.V. LOSIK R6sum6. Cet article d6veloppe une th6orie g6n6rale des structures g6om6triques sur des vari6t6s, bas6e sur la tlieorie des categories. De nombreuses generalisations connues des vari6t6s et des vari6t6s de Rie- mann r.entrent dans le cadre de cette th6orie g6n6rale. On donne aussi une construction des classes caractéristiques des objets ainsi obtenus, tant classiques que generalises. Diverses applications sont indiqu6es, en parti- culier aux feuilletages. Introduction This paper is the result of an attempt to give a precise meaning to some ideas of the "formal differential geometry" of Gel’fand. These ideas of Gel’fand have not been formalized in general but they may be explained by the following example. Let C*(Wn; IR) be the complex of continuous cochains of the Lie algebra Wn of formal vector fields on IRn with coefficients in the trivial Wn-module IR and let C*(Wn,GL(n, R)), C*(Wn, O(n)) be its subcomplexes of relative cochains of Wn relative to the groups GL(n, R), 0(n), respectively.
    [Show full text]
  • On Colimits in Various Categories of Manifolds
    ON COLIMITS IN VARIOUS CATEGORIES OF MANIFOLDS DAVID WHITE 1. Introduction Homotopy theorists have traditionally studied topological spaces and used methods which rely heavily on computation, construction, and induction. Proofs often go by constructing some horrendously complicated object (usually via a tower of increasingly complicated objects) and then proving inductively that we can understand what’s going on at each step and that in the limit these steps do what is required. For this reason, a homotopy theorist need the freedom to make any construction he wishes, e.g. products, subobjects, quotients, gluing towers of spaces together, dividing out by group actions, moving to fixed points of group actions, etc. Over the past 50 years tools have been developed which allow the study of many different categories. The key tool for this is the notion of a model category, which is the most general place one can do homotopy theory. Model categories were introduced by the Fields Medalist Dan Quillen, and the best known reference for model categories is the book Model Categories by Mark Hovey. Model categories are defined by a list of axioms which are all analogous to properties that the category Top of topological spaces satisfies. The most important property of a model category is that it has three distinguished classes of morphisms–called weak equivalences, cofibrations, and fibrations–which follow rules similar to the classes of maps with those names in the category Top (so the homotopy theory comes into play by inverting the weak equivalences to make them isomorphisms). The fact that homotopy theorists need to be able to do lots of constructions is contained in the axiom that M must be complete and cocomplete.
    [Show full text]
  • Quasi-Smooth Derived Manifolds
    Quasi-smooth Derived Manifolds David Isaac Spivak January 6, 2010 Abstract The category Man of smooth manifolds is not closed under arbitrary fiber products; for example the zeroset of a smooth function on a manifold is not necessarily a manifold, and the non-transverse intersection of submanifolds is not a manifold. We describe a category dMan, called the category of derived manifolds with the following properties: 1. dMan contains Man as a full subcategory; 2. dMan is closed under taking zerosets of arbitrary smooth functions (and consequently fiber products over a smooth base); and 3. every compact derived manifold has a fundamental homology class which has the desired properties. In order to accomplish this, we must incorporate homotopy theoretic meth- ods (e.g. model categories or 1-categories) with basic manifold theory. Jacob Lurie took on a similar project in his thesis, namely incorporating homotopy theory and algebraic geometry. We derive much of our inspiration from that and subsequent works by Lurie. For example, we define a derived manifold to be a structured space that can be covered by principal derived manifolds, much as a derived scheme is a structured space that can be covered by affine derived schemes. We proceed to define a cotangent complex on derived manifolds and use it to show that any derived manifold is isomorphic to the zeroset of a section of a vector bundle E ! RN . After defining derived manifolds with boundary we begin to explore the notion of derived cobordism over a topological space K. We prove two crucial facts: that any two manifolds which are derived cobordant are in fact (smoothly) cobordant, and that any derived manifold is derived cobordant over K to a smooth manifold.
    [Show full text]
  • CONVENIENT CATEGORIES of SMOOTH SPACES 1. Introduction
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 363, Number 11, November 2011, Pages 5789–5825 S 0002-9947(2011)05107-X Article electronically published on June 6, 2011 CONVENIENT CATEGORIES OF SMOOTH SPACES JOHN C. BAEZ AND ALEXANDER E. HOFFNUNG Abstract. A ‘Chen space’ is a set X equipped with a collection of ‘plots’, i.e., maps from convex sets to X, satisfying three simple axioms. While an individ- ual Chen space can be much worse than a smooth manifold, the category of all Chen spaces is much better behaved than the category of smooth manifolds. For example, any subspace or quotient space of a Chen space is a Chen space, and the space of smooth maps between Chen spaces is again a Chen space. Souriau’s ‘diffeological spaces’ share these convenient properties. Here we give a unified treatment of both formalisms. Following ideas of Penon and Dubuc, we show that Chen spaces, diffeological spaces, and even simplicial complexes are examples of ‘concrete sheaves on a concrete site’. As a result, the cate- gories of such spaces are locally Cartesian closed, with all limits, all colimits, and a weak subobject classifier. For the benefit of differential geometers, our treatment explains most of the category theory we use. 1. Introduction Algebraic topologists have become accustomed to working in a category of spaces for which many standard constructions have good formal properties: mapping spaces, subspaces and quotient spaces, limits and colimits, and so on. In differ- ential geometry the situation is quite different, since the most popular category, that of finite-dimensional smooth manifolds, lacks almost all these features.
    [Show full text]
  • Category Theory
    University of Cambridge Mathematics Tripos Part III Category Theory Michaelmas, 2018 Lectures by P. T. Johnstone Notes by Qiangru Kuang Contents Contents 1 Definitions and examples 2 2 The Yoneda lemma 10 3 Adjunctions 16 4 Limits 23 5 Monad 35 6 Cartesian closed categories 46 7 Toposes 54 7.1 Sheaves and local operators* .................... 61 Index 66 1 1 Definitions and examples 1 Definitions and examples Definition (category). A category C consists of 1. a collection ob C of objects A; B; C; : : :, 2. a collection mor C of morphisms f; g; h; : : :, 3. two operations dom and cod assigning to each f 2 mor C a pair of f objects, its domain and codomain. We write A −! B to mean f is a morphism and dom f = A; cod f = B, 1 4. an operation assigning to each A 2 ob C a morhpism A −−!A A, 5. a partial binary operation (f; g) 7! fg on morphisms, such that fg is defined if and only if dom f = cod g and let dom fg = dom g; cod fg = cod f if fg is defined satisfying f 1. f1A = f = 1Bf for any A −! B, 2. (fg)h = f(gh) whenever fg and gh are defined. Remark. 1. This definition is independent of any model of set theory. If we’re givena particuar model of set theory, we call C small if ob C and mor C are sets. 2. Some texts say fg means f followed by g (we are not). 3. Note that a morphism f is an identity if and only if fg = g and hf = h whenever the compositions are defined so we could formulate the defini- tions entirely in terms of morphisms.
    [Show full text]