DOCSLIB.ORG

Applications of Partial Differential Equations to Problems in Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Applications of Partial Differential Equations to Problems in Geometry Applications of Partial Differential Equations To Problems in Geometry Jerry L. Kazdan Preliminary revised version Copyright c 1983, 1993 by Jerry L. Kazdan ° Preface These notes are from an intensive one week series of twenty lectures given to a mixed audience of advanced graduate students and more experienced mathematicians in Japan in July, 1983. As a consequence, these they are not aimed at experts, and are frequently quite detailed, especially in Chapter 6 where a variety of standard techniques are presented. My goal was to in- troduce geometers to some of the techniques of partial differential equations, and to introduce those working in partial differential equations to some fas- cinating applications containing many unresolved nonlinear problems arising in geometry. My intention is that after reading these notes someone will feel that they can cope with current research articles. In fact, the quite sketchy Chapter 5 and Chapter 6 are merely intended to be advertisements to read the complete details in the literature. When writing something like this, there is the very real danger that the only people who understand anything are those who already know the subject. Caveat emptor. In any case, I hope I have shown that if one assumes a few basic results on Sobolev spaces and elliptic operators, then the basic techniques used in the applications are comprehensible. Of course carrying out the details for any specific problem may be quite complicated—but at least the ideas should be clearly recognizable. These notes definitely do not represent the whole subject. I did not have time to discuss a number of beautiful applications such as minimal surfaces, harmonic maps, global isometric embeddings (including the Weyl and Minkowski problems as well as Nash’s theorem), Yang-Mills fields, the wave equation and spectrum of the Laplacian, and problems on compact manifolds with boundary or complete non-compact manifolds. In addition, these lectures discuss only existence and uniqueness theorems, and ignore other more qualitative problems. Although existence results seem to hold the center of the stage in contemporary applications, a more balanced discussion would be important in a longer series of lectures. The lectures assumed some acquaintance with either Riemannian geom- etry or partial differential equations. While mathematicians outside of these areas should be able to follow these notes, it may be more difficult for them to appreciate the significance of the questions or results. By the ruthless schedule of my charming hosts, these notes are to be typed shortly after the completion of the lectures. My hosts felt (wisely, I think) that it would be more useful to have an informal set of lecture notes available quickly rather than with longer time for a more polished manuscript. Inevitably, as befits a first draft, there will be rough edges and outright errors. I hope none of these are serious and would appreciate any corrections and suggestions for subsequent versions. One thing I know I would do is add a few additional sections to Chapter i 1. In particular, there should really be some mention of Green’s functions and at least a vague summary of the story for boundary value problems— especially the Dirichlet problem (see [N-3], pp. 41-50 for what I have in mind). Also, the dry, technical flavor of Chapter 1 should be balanced by a few more easy—but useful—applications of the linear theory. For instance, Moser’s result on volume forms [MJ-1] uses only simple Hodge theory. But my time deadline has come. I hope these notes are useful to someone seeking a rapid introduction with a minimum of background. This task is made much easier because of the recent books [Au-4] and [GT], where one can find most of the missing details. I am grateful to many Japanese mathematicians. In addition to helping make my visit so pleasant, they are also proofreading the typed manuscript; all I’ll see is the finished product. Finally, I wish to give special thanks to Professor T. Ochiai for his extraordinary hospitality and thoughtfulness. I also thank the National Science Foundation for their support. Srinagar, India 10 August 1983 Note added, June, 1993. This is an essentially unrevised version of the lectures I gave in Japan in July, 1983. The only notable addition is a section discussing the Hodge Theorem, I also took advantage of the retyping into TEX to make a few corrections and minor clarifications in the wording. Alas, retyping introduces its own errors. [To Do: incorporate the following into the preface] Throughout these lectures we will need some background material on elliptic and, to a lesser extent, parabolic partial differential operators. Equa- tions that are neither elliptic nor parabolic do arise in geometry (a good example is the equation used by Nash to prove isometric embedding results); however many of the applications involve only elliptic or parabolic equations. For this material I have simply inserted a slightly modified version of an Ap- pendix I wrote for the book [Be-2]. This book may also be consulted for basic formulas in geometry.2 At some places, I have added supplementary information that will be used later in the lectures. I suggest that one should skim this chapter quickly, paying more attention to the examples than to the generalities, and then move directly to Chapter 6. One can refer back to the introductory material if the need arises. Most of our treatment is restricted to compact manifolds without bound- ary. This is simply to avoid the extra steps required to adequately discuss 2For reference, some basic geometry formulas are collected in an Appendix at the end of these notes. ii appropriate boundary conditions. One can also eliminate most of the com- plications in thinking about manifolds by restricting attention to the two dimensional torus with its Euclidean metric, so the Laplacian is the basic uxx + uyy , and one is considering only doubly periodic functions, say with period 2π . Even simpler, yet still often fruitful and non-trivial, is to reduce to the one dimensional case of functions on the circle. Here ∆u = +u′′ . This also points out one critical sign convention: for us the Laplacian has the sign so that ∆u =+u′′ for functions on R1 (except that in the special case of the Hodge Laplacian on differential forms, we write ∆ = dd∗ + d∗d as in equation (2.4) below, where in the particular case of 0 -forms this gives the opposite sign). To discuss the Laplacian and related elliptic differential operators, one must introduce certain function spaces. It turns out that the spaces one thinks of first, namely C0,C1,C2 , etc. are, for better or worse, not ap- propriate; one is forced to use more complicated spaces. For instance, if ∆u = f Ck , one would like to have u Ck+2 . With the exception of the special one∈ dimensional case covered by∈ the theory of ordinary differential equations, this is false for these Ck spaces (see the example in [Mo, p. 54]), but which is true for the spaces to be introduced now. For proofs and more details see [F, 8-11] and [GT]. Unless stated§ otherwise, to be safe we will always assume that the open sets we consider are connected. For simplicity M will always denote a C∞ connected Riemannian mani- fold without boundary, n = dim M , and E and F are smooth vector bundles (with inner products) over M . Of course, there are related assertions if M has a boundary or if M is not C∞ . Sometimes we will write (M n,g) if we wish to point out the dimension and the metric, g . The volume element is ∞ written dxg , or sometimes dx . By smooth we always mean C ; we write Cω for the space of real analytic functions. We also use standard multi-index notation, so if x = (x1,...,xn) is a n point in R and j = (j1,...,jn) is a vector of non-negative integers, then j j1 jn j j1 jn j = j1 + + jn , x = x x , and ∂ =(∂/∂x1) (∂/∂xn) | | ··· 1 ··· n ··· —————— Here and below we will use the notation a(x, ∂ku) , F (x, ∂ku) , etc. to represent any (possibly nonlinear) differential operator of order k (so here ∂ku actually represents the k-jet of u ). Last Revised: February 29, 2016 iii iv Contents Preface i 1 Linear Differential Operators 1 1.1 Introduction.................................... 1 1.2 H¨older Spaces . 6 1.3 Sobolev Spaces . 7 1.4 Sobolev Embedding Theorem . 8 1.5 Adjoint ...................................... 10 1.6 PrincipalSymbol ................................. 11 2 Linear Elliptic Operators 13 2.1 Introduction.................................... 13 2.2 TheDefinition .................................. 14 2.3 Schauder and Lp Estimates........................... 16 2.4 Regularity (smoothness) . 17 2.5 Existence ..................................... 18 2.6 TheMaximumPrinciple............................. 21 2.7 Proving the Index Theorem . 25 2.8 LinearParabolicEquations ........................... 26 3 Geometric Applications 29 3.1 Introduction.................................... 29 3.2 HodgeTheory................................... 29 a) HodgeDecomposition ............................ 29 b) Poincar´eDuality ............................... 30 c) The de Rham Complex . 31 3.3 Eigenvalues of the Laplacian . 32 3.4 Bochner Vanishing Theorems . 36 a) One-parameter Isometry Groups . 36 b) Harmonic 1 forms ............................. 38 − 3.5 TheDiracOperator ............................... 39 3.6 The Lichnerowicz Vanishing Theorem . 40 3.7 ALiouvilleTheorem ............................... 41 3.8 UniqueContinuation............................... 43 a) TheQuestion................................. 43 4 Nonlinear Elliptic Operators 45 4.1 Introduction.................................... 45 4.2 DifferentialOperators .............................. 45 4.3 Ellipticity ..................................... 46 v 4.4 Nonlinear Elliptic Equations: Regularity . 47 4.5 Nonlinear Elliptic Equations: Existence . 48 4.6 AComparisonTheorem ............................. 50 4.7 Nonlinear Parabolic Equations . 52 4.8 AListofTechniques ............................... 52 5 Examples of Techniques 55 5.1 Introduction.................................... 55 5.2 CalculusofVariations .............................. 57 5.3 ContinuityMethod................................ 60 5.4 Schauder Fixed Point Theorem .
Load more

Recommended publications
  • General Relativity As Taught in 1979, 1983 By
    General Relativity As taught in 1979, 1983 by Joel A. Shapiro November 19, 2015 2. Last Latexed: November 19, 2015 at 11:03 Joel A. Shapiro c Joel A. Shapiro, 1979, 2012 Contents 0.1 Introduction............................ 4 0.2 SpecialRelativity ......................... 7 0.3 Electromagnetism. 13 0.4 Stress-EnergyTensor . 18 0.5 Equivalence Principle . 23 0.6 Manifolds ............................. 28 0.7 IntegrationofForms . 41 0.8 Vierbeins,Connections . 44 0.9 ParallelTransport. 50 0.10 ElectromagnetisminFlatSpace . 56 0.11 GeodesicDeviation . 61 0.12 EquationsDeterminingGeometry . 67 0.13 Deriving the Gravitational Field Equations . .. 68 0.14 HarmonicCoordinates . 71 0.14.1 ThelinearizedTheory . 71 0.15 TheBendingofLight. 77 0.16 PerfectFluids ........................... 84 0.17 Particle Orbits in Schwarzschild Metric . 88 0.18 AnIsotropicUniverse. 93 0.19 MoreontheSchwarzschild Geometry . 102 0.20 BlackHoleswithChargeandSpin. 110 0.21 Equivalence Principle, Fermions, and Fancy Formalism . .115 0.22 QuantizedFieldTheory . .121 3 4. Last Latexed: November 19, 2015 at 11:03 Joel A. Shapiro Note: This is being typed piecemeal in 2012 from handwritten notes in a red looseleaf marked 617 (1983) but may have originated in 1979 0.1 Introduction I am, myself, an elementary particle physicist, and my interest in general relativity has come from the growth of a field of quantum gravity. Because the gravitational inderactions of reasonably small objects are so weak, quantum gravity is a field almost entirely divorced from contact with reality in the form of direct confrontation with experiment. There are three areas of contact 1. In relativistic quantum mechanics, one usually formulates the physical quantities in terms of fields. A field is a physical degree of freedom, or variable, definded at each point of space and time.
    [Show full text]
  • 1.10 Partitions of Unity and Whitney Embedding 1300Y Geometry and Topology
    1.10 Partitions of unity and Whitney embedding 1300Y Geometry and Topology Theorem 1.49 (noncompact Whitney embedding in R2n+1). Any smooth n-manifold may be embedded in R2n+1 (or immersed in R2n). Proof. We saw that any manifold may be written as a countable union of increasing compact sets M = [Ki, and that a regular covering f(Ui;k ⊃ Vi;k;'i;k)g of M can be chosen so that for fixed i, fVi;kgk is a finite ◦ ◦ cover of Ki+1nKi and each Ui;k is contained in Ki+2nKi−1. This means that we can express M as the union of 3 open sets W0;W1;W2, where [ Wj = ([kUi;k): i≡j(mod3) 2n+1 Each of the sets Ri = [kUi;k may be injectively immersed in R by the argument for compact manifolds, 2n+1 since they have a finite regular cover. Call these injective immersions Φi : Ri −! R . The image Φi(Ri) is bounded since all the charts are, by some radius ri. The open sets Ri; i ≡ j(mod3) for fixed j are disjoint, and by translating each Φi; i ≡ j(mod3) by an appropriate constant, we can ensure that their images in R2n+1 are disjoint as well. 0 −! 0 2n+1 Let Φi = Φi + (2(ri−1 + ri−2 + ··· ) + ri) e 1. Then Ψj = [i≡j(mod3)Φi : Wj −! R is an embedding. 2n+1 Now that we have injective immersions Ψ0; Ψ1; Ψ2 of W0;W1;W2 in R , we may use the original argument for compact manifolds: Take the partition of unity subordinate to Ui;k and resum it, obtaining a P P 3-element partition of unity ff1; f2; f3g, with fj = i≡j(mod3) k fi;k.
    [Show full text]
  • Simple Stable Maps of 3-Manifolds Into Surfaces
    Tqmlogy. Vol. 35, No. 3, pp. 671-698. 1996 Copyright 0 1996 Elsevier Science Ltd Printed in Great Britain. All rights reserved 004@9383,96/315.00 + 0.00 0040-9383(95)ooo3 SIMPLE STABLE MAPS OF 3-MANIFOLDS INTO SURFACES OSAMU SAEKI~ (Receioedjiir publication 19 June 1995) 1. INTRODUCTION LETS: M3 -+ [w2 be a C” stable map of a closed orientable 3-manifold M into the plane. It is known that the local singularities off consist of three types: definite fold points, indefinite fold points and cusp points (for example, see [l, 91). Note that the singular set S(f) offis a smooth l-dimensional submanifold of M. In their paper [l], Burlet and de Rham have studied those stable maps which have only definite fold points as the singularities and have shown that the source manifolds of such maps, called special generic maps, must be diffeomorphic to the connected sum of S3 and some copies of S’ x S2 (see also [14,16]). On the other hand, Levine [9] has shown that we can eliminate the cusp points of any stable mapfby modifying it homotopically; i.e., every orientable 3-manifold admits a stable map into the plane without cusp points. In this paper we investigate an intermediate class of stable maps, namely simple ones [ 171. A stable mapf: M -+ R2 is simple iffhas no cusp points and if every component of the fiberf -l(x) contains at most one singular point for all x E [w’.In the terminology of [S, lo], fis simple if and only if it has no vertices.
    [Show full text]
  • A New Explicit Way of Obtaining Special Generic Maps Into the 3
    A NEW EXPLICIT WAY OF OBTAINING SPECIAL GENERIC MAPS INTO THE 3-DIMENSIONAL EUCLIDEAN SPACE NAOKI KITAZAWA Abstract. A special generic map is a smooth map regarded as a natural gen- eralization of Morse functions with just 2 singular points on homotopy spheres. Canonical projections of unit spheres are simplest examples of such maps and manifolds admitting special generic maps into the plane are completely deter- mined by Saeki in 1993 and ones admitting such maps into general Euclidean spaces are determined under appropriate conditions. Moreover, if the difference of dimensions of source and target manifolds are not so large, then the diffeomorphism types of source manifolds are often limited; for example, homotopy spheres except standard spheres do not admit special generic maps into Euclidean spaces whose dimensions arenot so low. As another example, 4-dimensional simply connected manifolds admitting special generic maps are only manifolds represented as the connected sum of the total spaces of 2-dimensional sphere bundles over the 2-dimensional sphere (or the 4-dimensional standard sphere) and there are many manifolds homeomorphic and not diffeomorphic to these manifolds. These explicit facts make special generic maps attractive objects in the theory of Morse functions and higher dimensional versions and application to algebraic and differentiable topology of manifolds, which is an important study in both singuarity theory of maps and algebraic and differential topology of manifolds. In this paper, we demonstrate a way of construction of special generic maps into the 3-dimensional Euclidean space. For this, first we prepare maps onto 2-dimensional polyhedra regarded as simplicial maps naturally called pseudo quotient maps, which are generalizations of the quotient maps to the spaces of all the connected components of inverse images, so-called Reeb spaces of original smooth maps, being fundamental and important tools in the studies.
    [Show full text]
  • Solving Variational Problems and Partial Differential Equations Mapping Into General Target Manifolds
    Journal of Computational Physics 195 (2004) 263–292 www.elsevier.com/locate/jcp Solving variational problems and partial differential equations mapping into general target manifolds Facundo Memoli a, Guillermo Sapiro a,*, Stanley Osher b a Electrical and Computer Engineering, University of Minnesota, 200 Union Street, Minneapolis, MN 55455, USA b UCLA Mathematics Department, Los Angeles, CA 90095, USA Received 6 May 2003; received in revised form 30 September 2003; accepted 4 October 2003 Abstract A framework for solving variational problems and partial differential equations that define maps onto a given ge- neric manifold is introduced in this paper. We discuss the framework for arbitrary target manifolds, while the domain manifold problem was addressed in [J. Comput. Phys. 174(2) (2001) 759]. The key idea is to implicitly represent the target manifold as the level-set of a higher dimensional function, and then implement the equations in the Cartesian coordinate system where this embedding function is defined. In the case of variational problems, we restrict the search of the minimizing map to the class of maps whose target is the level-set of interest. In the case of partial differential equations, we re-write all the equationÕs geometric characteristics with respect to the embedding function. We then obtain a set of equations that, while defined on the whole Euclidean space, are intrinsic to the implicitly defined target manifold and map into it. This permits the use of classical numerical techniques in Cartesian grids, regardless of the geometry of the target manifold. The extension to open surfaces and submanifolds is addressed in this paper as well.
    [Show full text]
  • DIFFERENTIABLE MANIFOLDS Course C3.1B 2012 Nigel Hitchin
    DIFFERENTIABLE MANIFOLDS Course C3.1b 2012 Nigel Hitchin [email protected] 1 Contents 1 Introduction 4 2 Manifolds 6 2.1 Coordinate charts . .6 2.2 The definition of a manifold . .9 2.3 Further examples of manifolds . 11 2.4 Maps between manifolds . 13 3 Tangent vectors and cotangent vectors 14 3.1 Existence of smooth functions . 14 3.2 The derivative of a function . 16 3.3 Derivatives of smooth maps . 20 4 Vector fields 22 4.1 The tangent bundle . 22 4.2 Vector fields as derivations . 26 4.3 One-parameter groups of diffeomorphisms . 28 4.4 The Lie bracket revisited . 32 5 Tensor products 33 5.1 The exterior algebra . 34 6 Differential forms 38 6.1 The bundle of p-forms . 38 6.2 Partitions of unity . 39 6.3 Working with differential forms . 41 6.4 The exterior derivative . 43 6.5 The Lie derivative of a differential form . 47 6.6 de Rham cohomology . 50 2 7 Integration of forms 57 7.1 Orientation . 57 7.2 Stokes' theorem . 62 8 The degree of a smooth map 68 8.1 de Rham cohomology in the top dimension . 68 9 Riemannian metrics 76 9.1 The metric tensor . 76 9.2 The geodesic flow . 80 10 APPENDIX: Technical results 87 10.1 The inverse function theorem . 87 10.2 Existence of solutions of ordinary differential equations . 89 10.3 Smooth dependence . 90 10.4 Partitions of unity on general manifolds . 93 10.5 Sard's theorem (special case) . 94 3 1 Introduction This is an introductory course on differentiable manifolds.
    [Show full text]
  • HARMONIC MORPHISMS BETWEEN RIEMANNIAN MANIFOLDS by Bent FUGLEDE
    Ann. Inst. Fourier, Grenoble 28, 2 (1978), 107-144, HARMONIC MORPHISMS BETWEEN RIEMANNIAN MANIFOLDS by Bent FUGLEDE Introduction. The harmonic morphisms of a Riemannian manifold, M , into another, N , are the morphisms for the harmonic struc- tures on M and N (the harmonic functions on a Riemannian manifold being those which satisfy the Laplace-Beltrami equation). These morphisms were introduced and studied by Constantinescu and Cornea [4] in the more general frame of harmonic spaces, as a natural generalization of the conformal mappings between Riemann surfaces (1). See also Sibony [14]. The present paper deals with harmonic morphisms between two Riemannian manifolds M and N of arbitrary (not necessarily equal) dimensions. It turns out, however, that if dim M < dim N , the only harmonic morphisms M -> N are the constant mappings. Thus we are left with the case dim M ^ dim N . If dim N = 1 , say N = R , the harmonic morphisms M —> R are nothing but the harmonic functions on M . If dim M = dim N = 2 , so that M and N are Riemann surfaces, then it is known that the harmonic morphisms of (1) We use the term « harmonic morphisms » rather than « harmonic maps » (as they were called in the case of harmonic spaces in [4]) since it is necessary (in the present frame of manifolds) to distinguish between these maps and the much wider class of harmonic maps in the sense of Eells and Sampson [7], which also plays an important role in our discussion. 108 B. FUGLEDE M into N are the same as the conformal mappings f: M -> N (allowing for points where df= 0).
    [Show full text]
  • Title Topology of Manifolds and Global Theory of Singularities
    Topology of manifolds and global theory of singularities Title (Theory of singularities of smooth mappings and around it) Author(s) Saeki, Osamu Citation 数理解析研究所講究録別冊 (2016), B55: 185-203 Issue Date 2016-04 URL http://hdl.handle.net/2433/241312 © 2016 by the Research Institute for Mathematical Sciences, Right Kyoto University. All rights reserved. Type Departmental Bulletin Paper Textversion publisher Kyoto University RIMS Kôkyûroku Bessatsu B55 (2016), 185−203 Topology of manifolds and global theory of singularities By Osamu SAeKI* Abstract This is a survey article on topological aspects of the global theory of singularities of differentiable maps between manifolds and its applications. The central focus will be on the notion of the Stein factorization, which is the space of connected components of fibers of a given map. We will give some examples where the Stein factorization plays essential roles in proving important results. Some related open problems will also be presented. §1. Introduction This is a survey article on the global theory of singularities of differentiable maps between manifolds and its applications, which is based on the authors talk in the RIMS Workshop (Theory of singularities of smooth mappings and around it, held in November 2013. Special emphasis is put on the Stein factorization, which is the space of connected components of fibers of a given map between manifolds. We will see that it often gives rise to a good manifold which bounds the original source manifold, and that it is a source of various interesting topological invariants of manifolds. We start with the study of a class of smooth maps that have the mildest singular‐ ities, i.e.
    [Show full text]
  • Partial Differential Equations
    PARTIAL DIFFERENTIAL EQUATIONS SERGIU KLAINERMAN 1. Basic definitions and examples To start with partial differential equations, just like ordinary differential or integral equations, are functional equations. That means that the unknown, or unknowns, we are trying to determine are functions. In the case of partial differential equa- tions (PDE) these functions are to be determined from equations which involve, in addition to the usual operations of addition and multiplication, partial derivatives of the functions. The simplest example, which has already been described in section 1 of this compendium, is the Laplace equation in R3, ∆u = 0 (1) ∂2 ∂2 ∂2 where ∆u = ∂x2 u + ∂y2 u + ∂z2 u. The other two examples described in the section of fundamental mathematical definitions are the heat equation, with k = 1, − ∂tu + ∆u = 0, (2) and the wave equation with k = 1, 2 − ∂t u + ∆u = 0. (3) In these last two cases one is asked to find a function u, depending on the variables t, x, y, z, which verifies the corresponding equations. Observe that both (2) and (3) involve the symbol ∆ which has the same meaning as in the first equation, that is ∂2 ∂2 ∂2 ∂2 ∂2 ∂2 ∆u = ( ∂x2 + ∂y2 + ∂z2 )u = ∂x2 u+ ∂y2 u+ ∂z2 u. Both equations are called evolution equations, simply because they are supposed to describe the change relative to the time parameter t of a particular physical object. Observe that (1) can be interpreted as a particular case of both (3) and (2). Indeed solutions u = u(t, x, y, z) of either (3) or (2) which are independent of t, i.e.
    [Show full text]
  • Relative Energy Gap for Harmonic Maps of Riemann Surfaces Into Real
    RELATIVE ENERGY GAP FOR HARMONIC MAPS OF RIEMANN SURFACES INTO REAL ANALYTIC RIEMANNIAN MANIFOLDS PAUL M. N. FEEHAN Abstract. We extend the well-known Sacks–Uhlenbeck energy gap result [34, Theorem 3.3] for harmonic maps from closed Riemann surfaces into closed Riemannian manifolds from the case of maps with small energy (thus near a constant map), to the case of harmonic maps with high absolute energy but small energy relative to a reference harmonic map. Contents 1. Introduction 1 1.1. Outline of the article 3 1.2. Acknowledgments 3 2.Lojasiewicz–Simon gradient inequality for the harmonic map energy function 3 3. A priori estimate for the difference of two harmonic maps 7 References 9 1. Introduction Let (M, g) and (N, h) be a pair of smooth Riemannian manifolds, with M orientable. One defines the harmonic map energy function by 1 (1.1) E (f) := df 2 d vol , g,h 2 | |g,h g ZM for smooth maps, f : M N, where df : T M TN is the differential map. A map f arXiv:1609.04668v4 [math.AP] 1 Feb 2018 ∞ → → E E ′ ∈ C (M; N) is (weakly) harmonic if it is a critical point of g,h, so g,h(f)(u) = 0 for all u ∞ ∗ ∈ C (M; f TN), where ′ E (f)(u)= df, u d vol . g,h h ig,h g ZM The purpose of this article is to prove Theorem 1 (Relative energy gap for harmonic maps of Riemann surfaces into real analytic Riemannian manifolds). Let (M, g) be a closed Riemann surface and (N, h) a closed, real analytic Riemannian manifold equipped with a real analytic isometric embedding into a Euclidean space, Date: This version: February 1, 2018, incorporating final galley proof corrections.
    [Show full text]
  • Constructing Generic Smooth Maps of a Manifold Into a Surface with Prescribed Singular Loci Annales De L’Institut Fourier, Tome 45, No 4 (1995), P
    ANNALES DE L’INSTITUT FOURIER OSAMU SAEKI Constructing generic smooth maps of a manifold into a surface with prescribed singular loci Annales de l’institut Fourier, tome 45, no 4 (1995), p. 1135-1162 <http://www.numdam.org/item?id=AIF_1995__45_4_1135_0> © Annales de l’institut Fourier, 1995, tous droits réservés. L’accès aux archives de la revue « Annales de l’institut Fourier » (http://annalif.ujf-grenoble.fr/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir 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/ Ann. Inst. Fourier, Grenoble 45, 4 (1995), 1135-1162 CONSTRUCTING GENERIC SMOOTH MAPS OF A MANIFOLD INTO A SURFACE WITH PRESCRIBED SINGULAR LOCI by Osamu SAEKI 1. Introduction. Let / : M —>• N be a smooth map of an n-dimensional manifold M (n >, 2) into a surface N. It has been known that if / is generic enough, then / has only folds and cusps as its singularities and that the singular set S(f) is a closed 1-dimensional submanifold of M (see [W], [T], [L2], [L3]). It is a very important problem in the study of the global topology of generic maps to study the position of their singular set (see [T], Chap. IV and V, and [E2], §1). When M is closed, S(f) represents a 1-dimensional homology class in Zs-coefficients and this class has been studied by Thorn [T], who described its Poincare dual in terms of the Stiefel-Whitney classes of TM and f*TN.
    [Show full text]
  • Riemannian Geometry
    Appendix A Riemannian Geometry In this appendix besides introducing notation and basic definitions we recollect some of the more technical results in Riemannian geometry we exploited in these lecture notes. We freely refer to the excellent exposition of the theory provided by [4, 8], and to [27] for further details. A.1 Notation In what follows, Vn will always denote a C1 compact n–dimensional manifold, (n 3). Unless otherwise stated, the manifold Vn will be supposed oriented, connected, and without boundary. Let .E; Vn;/be a smooth vector bundle over Vn with projection map W E ! Vn. When no confusion arises the space of smooth 1. n; / n 1. n; / sections fs 2 C V E j ı s D idV g will simply be denoted by C V E instead of the standard .E/ (to avoid confusion (Fig. A.1) with the already too numerous s appearing in Riemannian geometry: Christoffel symbols, harmonic n i n coordinates, ...).If U V is an open set, we let fx giD1 be local coordinates for @ @=@ i n 1. ; n/ the points p 2 U. The vector fields f i WD x giD1 2 C U TV provide the n local (positively oriented) coordinate basis for TpV , p 2 U. The corresponding n 1 dual basis for the cotangent spaces Tp V , is provided by the set of –forms i n 1. ; n/ 1. n; 2 n/ fdx giD1 2 C U T V . In particular, the metric tensor g 2 C V ˝S T V , 1. n; 2 n/ where C V ˝S T V denotes the set of smooth symmetric bilinear forms over n i k V , has the local coordinates representation g D gikdx ˝dx , where gik WD g.@i;@k/, and the Einsteinp summation convention is in effect.
    [Show full text]