M382D NOTES: DIFFERENTIAL TOPOLOGY 1. the Inverse And

Total Page:16

File Type:pdf, Size:1020Kb

M382D NOTES: DIFFERENTIAL TOPOLOGY 1. the Inverse And M382D NOTES: DIFFERENTIAL TOPOLOGY ARUN DEBRAY MAY 16, 2016 These notes were taken in UT Austin’s Math 382D (Differential Topology) class in Spring 2016, taught by Lorenzo Sadun. I live-TEXed them using vim, and as such there may be typos; please send questions, comments, complaints, and corrections to [email protected]. Thanks to Adrian Clough, Parker Hund, Max Reistenberg, and Thérèse Wu for finding and correcting a few mistakes. CONTENTS 1. The Inverse and Implicit Function Theorems: 1/20/162 2. The Contraction Mapping Theorem: 1/22/164 3. Manifolds: 1/25/16 6 4. Abstract Manifolds: 1/27/16 8 5. Examples of Manifolds and Tangent Vectors: 1/29/169 6. Smooth Maps Between Manifolds: 2/1/16 11 7. Immersions and Submersions: 2/3/16 13 8. Transversality: 2/5/16 15 9. Properties Stable Under Homotopy: 2/8/16 17 10. May the Morse Be With You: 2/10/16 19 11. Partitions of Unity and the Whitney Embedding Theorem: 2/12/16 21 12. Manifolds-With-Boundary: 2/15/16 22 13. Retracts and Other Consequences of Boundaries: 2/17/16 24 14. The Thom Transversality Theorem: 2/19/16 26 15. The Normal Bundle and Tubular Neighborhoods: 2/22/16 27 16. The Extension Theorem: 2/24/16 28 17. Intersection Theory: 2/26/16 30 18. The Jordan Curve Theorem and the Borsuk-Ulam Theorem: 2/29/16 32 19. Getting Oriented: 3/2/16 33 20. Orientations on Manifolds: 3/4/16 35 21. Orientations and Preimages: 3/7/16 36 22. The Oriented Intersection Number: 3/9/16 37 23. Exam Debriefing: 3/21/16 39 24. (Minus) Signs of the Times: 3/23/16 41 25. The Lefschetz Number: 3/25/16 43 26. Multiple Roots and the Lefschetz Number: 3/28/16 45 27. Vector Fields and the Euler Characteristic: 3/30/16 46 28. :4/1/16 49 29. The Hopf Degree Theorem: 4/4/16 49 30. The Exterior Derivative: 4/6/16 50 31. Pullback of Differential Forms: 4/8/16 53 32. Differential Forms on Manifolds: 4/11/16 55 33. Stokes’ Theorem: 4/13/16 57 34. Tensors: 4/15/16 59 35. Exterior Algebra: 4/18/16 61 1 2 M382D (Differential Topology) Lecture Notes 36. The Intrinsic Definition of Pullback: 4/20/16 63 37. de Rham Cohomology: 4/22/16 64 38. Homotopy Invariance of Cohomology: 4/25/16 65 39. Chain Complexes and the Snake Lemma: 4/27/16 68 40. The Snake Lemma: 4/29/16 70 41. Good Covers and Compactly Supported Cohomology: 5/2/16 72 42. The Degree in Cohomology: 5/4/16 75 Lecture 1. The Inverse and Implicit Function Theorems: 1/20/16 “The most important lesson of the start of this class is the proper pronunciation of my name [Sadun]: it rhymes with ‘balloon.’ ” We’re basically going to march through the textbook (Guillemin and Pollack), with a little more in the beginning and a little more in the end; however, we’re going to be a bit more abstract, talking about manifolds more abstractly, n rather than just embedding them in R , though the theorems are mostly the same. At the beginning, we’ll discuss the analytic underpinnings to differential topology in more detail, and at the end, we’ll hopefully have time to discuss de Rham cohomology. n m Suppose f : R R . Its derivative is df ; what exactly is this? There are several possible answers. It’s the best! linear approximation to f at a given point. • It’s the matrix of partial derivatives. What we• need to do is make good, rigorous sense of this, moreso than in multivariable calculus, and relate the two notions. n m n n m Definition 1.1. A function f : R R is differentiable at an a R if there exists a linear map L : R R such that ! 2 ! f (a + h) f (a) L(h) lim = 0. (1.2) h 0 j −h − j ! j j In this case, L is called the differential of f at a, written df a. n m j Since h R , but the vector in the numerator is in R , so it’s quite important to have the magnitudes there, or else it would2 make no sense. Another way to rewrite this is that f (a +h) = f (a)+ L(h)+ o(small), i.e. along with some small error (whatever that means). This makes sense of the first notion: L is a linear approximation to f near a. Now, let’s make sense of the second notion. @ f i Theorem 1.3. If f is differentiable at a, then df is given by the matrix @ x j . Proof. The idea: if f is differentiable at a, then (1.2) holds for h 0 along any path! ! So let’s take ej be a unit vector and h = tej as t 0 in R. Then, (1.2) reduces to ! f (a1, a2,..., aj + t, aj+1,..., an) f (a) L tej − , ( ) = t i i @ f and as t 0, this shows L(ej) = @ x j . ! In particular, if f is differentiable, then all partial derivatives exist. The converse is false: there exist functions whose partial derivatives exist at a point a, but are not differentiable. In fact, one can construct a function whose directional derivatives all exist, but is not differentiable! There will be an example on the first homework. The idea is that directional derivatives record linear paths, but differentiability requires all paths, and so making things fail along, say, a quadratic, will produce these strange counterexamples. Nonetheless, if all partial derivatives exist, then we’re almost there. 1 The Inverse and Implicit Function Theorems: 1/20/16 3 Theorem 1.4. Suppose all partial derivatives of f exist at a and are continuous on a neighborhood of a; then, f is differentiable at a. In calculus, one can formulate several “guiding” ideas, e.g. the whole change is the sum of the individual changes, the whole is the (possibly infinite) sum of the parts, and so forth. One particular one is: one variable at a time. This principle will guide the proof of this theorem. Proof. The proof will be given for m = 2 and n = 1, but you can figure out the small details needed to generalize it; for larger n, just repeat the argument for each component. We want to compute f (a1 + h1, a2 + h2) f (a1, a2) − = f (a1 + h1, a2 + h2) f (a1 + h1, a2) + f (a1 + h1, a2) f (a1, a2) − − Regrouping, this is two single-variable questions. In particular, we can apply the mean value theorem: there exist c1, c2 R such that 2 @ f @ f = h2 + h1 @ x 2 @ x 1 (a1+h1,a2+c2) (a1+c1,a2) @ f @ f @ f @ f @ f @ f h1 = h1 + h2 + , , @ x 1 @ x 1 @ x 2 @ x 2 @ x 1 @ x 2 h2 a1+c1,a2 − a a1+h1,a2+c2 − a a a but since the partials are continuous, the left two terms go to 0, and since the last term is linear, it goes to 0 as h 0. ! We’ll often talk about smooth functions in this class, which are functions for which all higher-order derivatives exist and are continuous. Thus, they don’t have the problems that one counterexample had. B C Since we’re going to be making linear approximations· to maps, then we should discuss what happens when n m m you perturb linear maps a little bit. Recall that if L : R R is linear, then its image Im(L) R and its kernel n ker(L) R . ! ⊂ Suppose⊂ n m; then, L is said to have full rank if rank L = n. This is an open condition: every full-rank linear function can be≤ perturbed a little bit and stay linear. This will be very useful: if a (possibly nonlinear) function’s differential has full rank, then one can say some interesting things about it. If n m, then full rank means rank m. This is once again stable (an open condition): one can write such a linear map≥ as L = (A B), where A is an invertible m m matrix, and invertibility is an open condition (since it’s given by the determinant,j which is a continuous function).× To actually figure out whether a linear map has full rank, write down its matrix and row-reduce it, using Gaussian elimination. Then, you can read off a basis for the kernel, determining the free variables and the relations n determining the other variables. In general, for a k-dimensional subspace of R , you can pick k variables arbitrarily and these force the remaining n k variables. The point is: the subspace is the graph of a function. Now, we can apply this to more− general smooth functions. n m n Theorem 1.5. Suppose f : R R is smooth, a R , and df a has full rank. ! 2 j (1) (Inverse function theorem) If n = m, then there is a neighborhood U of a such that f U is invertible, with a smooth inverse. j 1 (2) (Implicit function theorem) If n m, there is a neighborhood U of a such that U f − (f (a)) is the graph n m≥ m \ of some smooth function g : R − R (up to permutation of indices). (3) (Immersion theorem) If n m, there’s! a neighborhood U of a such that f (U) is the graph of a smooth n m g : R R .
Recommended publications
  • Codimension Zero Laminations Are Inverse Limits 3
    CODIMENSION ZERO LAMINATIONS ARE INVERSE LIMITS ALVARO´ LOZANO ROJO Abstract. The aim of the paper is to investigate the relation between inverse limit of branched manifolds and codimension zero laminations. We give necessary and sufficient conditions for such an inverse limit to be a lamination. We also show that codimension zero laminations are inverse limits of branched manifolds. The inverse limit structure allows us to show that equicontinuous codimension zero laminations preserves a distance function on transver- sals. 1. Introduction Consider the circle S1 = { z ∈ C | |z| = 1 } and the cover of degree 2 of it 2 p2(z)= z . Define the inverse limit 1 1 2 S2 = lim(S ,p2)= (zk) ∈ k≥0 S zk = zk−1 . ←− Q This space has a natural foliated structure given by the flow Φt(zk) = 2πit/2k (e zk). The set X = { (zk) ∈ S2 | z0 = 1 } is a complete transversal for the flow homeomorphic to the Cantor set. This space is called solenoid. 1 This construction can be generalized replacing S and p2 by a sequence of compact p-manifolds and submersions between them. The spaces obtained this way are compact laminations with 0 dimensional transversals. This construction appears naturally in the study of dynamical systems. In [17, 18] R.F. Williams proves that an expanding attractor of a diffeomor- phism of a manifold is homeomorphic to the inverse limit f f f S ←− S ←− S ←−· · · where f is a surjective immersion of a branched manifold S on itself. A branched manifold is, roughly speaking, a CW-complex with tangent space arXiv:1204.6439v2 [math.DS] 20 Nov 2012 at each point.
    [Show full text]
  • A Geometric Take on Metric Learning
    A Geometric take on Metric Learning Søren Hauberg Oren Freifeld Michael J. Black MPI for Intelligent Systems Brown University MPI for Intelligent Systems Tubingen,¨ Germany Providence, US Tubingen,¨ Germany [email protected] [email protected] [email protected] Abstract Multi-metric learning techniques learn local metric tensors in different parts of a feature space. With such an approach, even simple classifiers can be competitive with the state-of-the-art because the distance measure locally adapts to the struc- ture of the data. The learned distance measure is, however, non-metric, which has prevented multi-metric learning from generalizing to tasks such as dimensional- ity reduction and regression in a principled way. We prove that, with appropriate changes, multi-metric learning corresponds to learning the structure of a Rieman- nian manifold. We then show that this structure gives us a principled way to perform dimensionality reduction and regression according to the learned metrics. Algorithmically, we provide the first practical algorithm for computing geodesics according to the learned metrics, as well as algorithms for computing exponential and logarithmic maps on the Riemannian manifold. Together, these tools let many Euclidean algorithms take advantage of multi-metric learning. We illustrate the approach on regression and dimensionality reduction tasks that involve predicting measurements of the human body from shape data. 1 Learning and Computing Distances Statistics relies on measuring distances. When the Euclidean metric is insufficient, as is the case in many real problems, standard methods break down. This is a key motivation behind metric learning, which strives to learn good distance measures from data.
    [Show full text]
  • Inverse Vs Implicit Function Theorems - MATH 402/502 - Spring 2015 April 24, 2015 Instructor: C
    Inverse vs Implicit function theorems - MATH 402/502 - Spring 2015 April 24, 2015 Instructor: C. Pereyra Prof. Blair stated and proved the Inverse Function Theorem for you on Tuesday April 21st. On Thursday April 23rd, my task was to state the Implicit Function Theorem and deduce it from the Inverse Function Theorem. I left my notes at home precisely when I needed them most. This note will complement my lecture. As it turns out these two theorems are equivalent in the sense that one could have chosen to prove the Implicit Function Theorem and deduce the Inverse Function Theorem from it. I showed you how to do that and I gave you some ideas how to do it the other way around. Inverse Funtion Theorem The inverse function theorem gives conditions on a differentiable function so that locally near a base point we can guarantee the existence of an inverse function that is differentiable at the image of the base point, furthermore we have a formula for this derivative: the derivative of the function at the image of the base point is the reciprocal of the derivative of the function at the base point. (See Tao's Section 6.7.) Theorem 0.1 (Inverse Funtion Theorem). Let E be an open subset of Rn, and let n f : E ! R be a continuously differentiable function on E. Assume x0 2 E (the 0 n n base point) and f (x0): R ! R is invertible. Then there exists an open set U ⊂ E n containing x0, and an open set V ⊂ R containing f(x0) (the image of the base point), such that f is a bijection from U to V .
    [Show full text]
  • Part III : the Differential
    77 Part III : The differential 1 Submersions In this section we will introduce topological and PL submersions and we will prove that each closed submersion with compact fibres is a locally trivial fibra- tion. We will use Γ to stand for either Top or PL and we will suppose that we are in the category of Γ–manifolds without boundary. 1.1 A Γ–map p: Ek → Xl betweenΓ–manifoldsisaΓ–submersion if p is locally the projection Rk−→πl R l on the first l–coordinates. More precisely, p: E → X is a Γ–submersion if there exists a commutative diagram p / E / X O O φy φx Uy Ux ∩ ∩ πl / Rk / Rl k l where x = p(y), Uy and Ux are open sets in R and R respectively and ϕy , ϕx are charts around x and y respectively. It follows from the definition that, for each x ∈ X ,thefibre p−1(x)isaΓ– manifold. 1.2 The link between the notion of submersions and that of bundles is very straightforward. A Γ–map p: E → X is a trivial Γ–bundle if there exists a Γ– manifold Y and a Γ–isomorphism f : Y × X → E , such that pf = π2 ,where π2 is the projection on X . More generally, p: E → X is a locally trivial Γ–bundle if each point x ∈ X has an open neighbourhood restricted to which p is a trivial Γ–bundle. Even more generally, p: E → X is a Γ–submersion if each point y of E has an open neighbourhood A, such that p(A)isopeninXand the restriction A → p(A) is a trivial Γ–bundle.
    [Show full text]
  • DIFFERENTIAL GEOMETRY Contents 1. Introduction 2 2. Differentiation 3
    DIFFERENTIAL GEOMETRY FINNUR LARUSSON´ Lecture notes for an honours course at the University of Adelaide Contents 1. Introduction 2 2. Differentiation 3 2.1. Review of the basics 3 2.2. The inverse function theorem 4 3. Smooth manifolds 7 3.1. Charts and atlases 7 3.2. Submanifolds and embeddings 8 3.3. Partitions of unity and Whitney’s embedding theorem 10 4. Tangent spaces 11 4.1. Germs, derivations, and equivalence classes of paths 11 4.2. The derivative of a smooth map 14 5. Differential forms and integration on manifolds 16 5.1. Introduction 16 5.2. A little multilinear algebra 17 5.3. Differential forms and the exterior derivative 18 5.4. Integration of differential forms on oriented manifolds 20 6. Stokes’ theorem 22 6.1. Manifolds with boundary 22 6.2. Statement and proof of Stokes’ theorem 24 6.3. Topological applications of Stokes’ theorem 26 7. Cohomology 28 7.1. De Rham cohomology 28 7.2. Cohomology calculations 30 7.3. Cechˇ cohomology and de Rham’s theorem 34 8. Exercises 36 9. References 42 Last change: 26 September 2008. These notes were originally written in 2007. They have been classroom-tested twice. Address: School of Mathematical Sciences, University of Adelaide, Adelaide SA 5005, Australia. E-mail address: [email protected] Copyright c Finnur L´arusson 2007. 1 1. Introduction The goal of this course is to acquire familiarity with the concept of a smooth manifold. Roughly speaking, a smooth manifold is a space on which we can do calculus. Manifolds arise in various areas of mathematics; they have a rich and deep theory with many applications, for example in physics.
    [Show full text]
  • Quantum Query Complexity and Distributed Computing ILLC Dissertation Series DS-2004-01
    Quantum Query Complexity and Distributed Computing ILLC Dissertation Series DS-2004-01 For further information about ILLC-publications, please contact Institute for Logic, Language and Computation Universiteit van Amsterdam Plantage Muidergracht 24 1018 TV Amsterdam phone: +31-20-525 6051 fax: +31-20-525 5206 e-mail: [email protected] homepage: http://www.illc.uva.nl/ Quantum Query Complexity and Distributed Computing Academisch Proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de Aula der Universiteit op dinsdag 27 januari 2004, te 12.00 uur door Hein Philipp R¨ohrig geboren te Frankfurt am Main, Duitsland. Promotores: Prof.dr. H.M. Buhrman Prof.dr.ir. P.M.B. Vit´anyi Overige leden: Prof.dr. R.H. Dijkgraaf Prof.dr. L. Fortnow Prof.dr. R.D. Gill Dr. S. Massar Dr. L. Torenvliet Dr. R.M. de Wolf Faculteit der Natuurwetenschappen, Wiskunde en Informatica The investigations were supported by the Netherlands Organization for Sci- entific Research (NWO) project “Quantum Computing” (project number 612.15.001), by the EU fifth framework projects QAIP, IST-1999-11234, and RESQ, IST-2001-37559, the NoE QUIPROCONE, IST-1999-29064, and the ESF QiT Programme. Copyright c 2003 by Hein P. R¨ohrig Revision 411 ISBN: 3–933966–04–3 v Contents Acknowledgments xi Publications xiii 1 Introduction 1 1.1 Computation is physical . 1 1.2 Quantum mechanics . 2 1.2.1 States .
    [Show full text]
  • FOLIATIONS Introduction. the Study of Foliations on Manifolds Has a Long
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 3, May 1974 FOLIATIONS BY H. BLAINE LAWSON, JR.1 TABLE OF CONTENTS 1. Definitions and general examples. 2. Foliations of dimension-one. 3. Higher dimensional foliations; integrability criteria. 4. Foliations of codimension-one; existence theorems. 5. Notions of equivalence; foliated cobordism groups. 6. The general theory; classifying spaces and characteristic classes for foliations. 7. Results on open manifolds; the classification theory of Gromov-Haefliger-Phillips. 8. Results on closed manifolds; questions of compact leaves and stability. Introduction. The study of foliations on manifolds has a long history in mathematics, even though it did not emerge as a distinct field until the appearance in the 1940's of the work of Ehresmann and Reeb. Since that time, the subject has enjoyed a rapid development, and, at the moment, it is the focus of a great deal of research activity. The purpose of this article is to provide an introduction to the subject and present a picture of the field as it is currently evolving. The treatment will by no means be exhaustive. My original objective was merely to summarize some recent developments in the specialized study of codimension-one foliations on compact manifolds. However, somewhere in the writing I succumbed to the temptation to continue on to interesting, related topics. The end product is essentially a general survey of new results in the field with, of course, the customary bias for areas of personal interest to the author. Since such articles are not written for the specialist, I have spent some time in introducing and motivating the subject.
    [Show full text]
  • Lecture Notes on Foliation Theory
    INDIAN INSTITUTE OF TECHNOLOGY BOMBAY Department of Mathematics Seminar Lectures on Foliation Theory 1 : FALL 2008 Lecture 1 Basic requirements for this Seminar Series: Familiarity with the notion of differential manifold, submersion, vector bundles. 1 Some Examples Let us begin with some examples: m d m−d (1) Write R = R × R . As we know this is one of the several cartesian product m decomposition of R . Via the second projection, this can also be thought of as a ‘trivial m−d vector bundle’ of rank d over R . This also gives the trivial example of a codim. d- n d foliation of R , as a decomposition into d-dimensional leaves R × {y} as y varies over m−d R . (2) A little more generally, we may consider any two manifolds M, N and a submersion f : M → N. Here M can be written as a disjoint union of fibres of f each one is a submanifold of dimension equal to dim M − dim N = d. We say f is a submersion of M of codimension d. The manifold structure for the fibres comes from an atlas for M via the surjective form of implicit function theorem since dfp : TpM → Tf(p)N is surjective at every point of M. We would like to consider this description also as a codim d foliation. However, this is also too simple minded one and hence we would call them simple foliations. If the fibres of the submersion are connected as well, then we call it strictly simple. (3) Kronecker Foliation of a Torus Let us now consider something non trivial.
    [Show full text]
  • Lecture 10: Tubular Neighborhood Theorem
    LECTURE 10: TUBULAR NEIGHBORHOOD THEOREM 1. Generalized Inverse Function Theorem We will start with Theorem 1.1 (Generalized Inverse Function Theorem, compact version). Let f : M ! N be a smooth map that is one-to-one on a compact submanifold X of M. Moreover, suppose dfx : TxM ! Tf(x)N is a linear diffeomorphism for each x 2 X. Then f maps a neighborhood U of X in M diffeomorphically onto a neighborhood V of f(X) in N. Note that if we take X = fxg, i.e. a one-point set, then is the inverse function theorem we discussed in Lecture 2 and Lecture 6. According to that theorem, one can easily construct neighborhoods U of X and V of f(X) so that f is a local diffeomor- phism from U to V . To get a global diffeomorphism from a local diffeomorphism, we will need the following useful lemma: Lemma 1.2. Suppose f : M ! N is a local diffeomorphism near every x 2 M. If f is invertible, then f is a global diffeomorphism. Proof. We need to show f −1 is smooth. Fix any y = f(x). The smoothness of f −1 at y depends only on the behaviour of f −1 near y. Since f is a diffeomorphism from a −1 neighborhood of x onto a neighborhood of y, f is smooth at y. Proof of Generalized IFT, compact version. According to Lemma 1.2, it is enough to prove that f is one-to-one in a neighborhood of X. We may embed M into RK , and consider the \"-neighborhood" of X in M: X" = fx 2 M j d(x; X) < "g; where d(·; ·) is the Euclidean distance.
    [Show full text]
  • 1. Inverse Function Theorem for Holomorphic Functions the Field Of
    1. Inverse Function Theorem for Holomorphic Functions 2 The field of complex numbers C can be identified with R as a two dimensional real vector space via x + iy 7! (x; y). On C; we define an inner product hz; wi = Re(zw): With respect to the the norm induced from the inner product, C becomes a two dimensional real Hilbert space. Let C1(U) be the space of all complex valued smooth functions on an open subset U of ∼ 2 C = R : Since x = (z + z)=2 and y = (z − z)=2i; a smooth complex valued function f(x; y) on U can be considered as a function F (z; z) z + z z − z F (z; z) = f ; : 2 2i For convince, we denote f(x; y) by f(z; z): We define two partial differential operators @ @ ; : C1(U) ! C1(U) @z @z by @f 1 @f @f @f 1 @f @f = − i ; = + i : @z 2 @x @y @z 2 @x @y A smooth function f 2 C1(U) is said to be holomorphic on U if @f = 0 on U: @z In this case, we denote f(z; z) by f(z) and @f=@z by f 0(z): A function f is said to be holomorphic at a point p 2 C if f is holomorphic defined in an open neighborhood of p: For open subsets U and V in C; a function f : U ! V is biholomorphic if f is a bijection from U onto V and both f and f −1 are holomorphic. A holomorphic function f on an open subset U of C can be identified with a smooth 2 2 mapping f : U ⊂ R ! R via f(x; y) = (u(x; y); v(x; y)) where u; v are real valued smooth functions on U obeying the Cauchy-Riemann equation ux = vy and uy = −vx on U: 2 2 For each p 2 U; the matrix representation of the derivative dfp : R ! R with respect to 2 the standard basis of R is given by ux(p) uy(p) dfp = : vx(p) vy(p) In this case, the Jacobian of f at p is given by 2 2 0 2 J(f)(p) = det dfp = ux(p)vy(p) − uy(p)vx(p) = ux(p) + vx(p) = jf (p)j : Theorem 1.1.
    [Show full text]
  • Inverse and Implicit Function Theorems for Noncommutative
    Inverse and Implicit Function Theorems for Noncommutative Functions on Operator Domains Mark E. Mancuso Abstract Classically, a noncommutative function is defined on a graded domain of tuples of square matrices. In this note, we introduce a notion of a noncommutative function defined on a domain Ω ⊂ B(H)d, where H is an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these operatorial noncommutative functions are suitably continuous in the strong operator topology, a noncommutative dilation-theoretic construction is used to show that the assumptions on their derivatives may be relaxed from boundedness below to injectivity. Keywords: Noncommutive functions, operator noncommutative functions, free anal- ysis, inverse and implicit function theorems, strong operator topology, dilation theory. MSC (2010): Primary 46L52; Secondary 47A56, 47J07. INTRODUCTION Polynomials in d noncommuting indeterminates can naturally be evaluated on d-tuples of square matrices of any size. The resulting function is graded (tuples of n × n ma- trices are mapped to n × n matrices) and preserves direct sums and similarities. Along with polynomials, noncommutative rational functions and power series, the convergence of which has been studied for example in [9], [14], [15], serve as prototypical examples of a more general class of functions called noncommutative functions. The theory of non- commutative functions finds its origin in the 1973 work of J. L. Taylor [17], who studied arXiv:1804.01040v2 [math.FA] 7 Aug 2019 the functional calculus of noncommuting operators. Roughly speaking, noncommutative functions are to polynomials in noncommuting variables as holomorphic functions from complex analysis are to polynomials in commuting variables.
    [Show full text]
  • INTRODUCTION to ALGEBRAIC GEOMETRY 1. Preliminary Of
    INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1. Preliminary of Calculus on Manifolds 1.1. Tangent Vectors. What are tangent vectors we encounter in Calculus? 2 0 (1) Given a parametrised curve α(t) = x(t); y(t) in R , α (t) = x0(t); y0(t) is a tangent vector of the curve. (2) Given a surface given by a parameterisation x(u; v) = x(u; v); y(u; v); z(u; v); @x @x n = × is a normal vector of the surface. Any vector @u @v perpendicular to n is a tangent vector of the surface at the corresponding point. (3) Let v = (a; b; c) be a unit tangent vector of R3 at a point p 2 R3, f(x; y; z) be a differentiable function in an open neighbourhood of p, we can have the directional derivative of f in the direction v: @f @f @f D f = a (p) + b (p) + c (p): (1.1) v @x @y @z In fact, given any tangent vector v = (a; b; c), not necessarily a unit vector, we still can define an operator on the set of functions which are differentiable in open neighbourhood of p as in (1.1) Thus we can take the viewpoint that each tangent vector of R3 at p is an operator on the set of differential functions at p, i.e. @ @ @ v = (a; b; v) ! a + b + c j ; @x @y @z p or simply @ @ @ v = (a; b; c) ! a + b + c (1.2) @x @y @z 3 with the evaluation at p understood.
    [Show full text]