DOCSLIB.ORG

Math 524 – Linear Analysis on Manifolds Spring 2012

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Math 524 – Linear Analysis on Manifolds Spring 2012 Math 524 { Linear Analysis on Manifolds Spring 2012 Pierre Albin Contents Contents i 1 Differential operators on manifolds 3 1.1 Smooth manifolds . 3 1.2 Partitions of unity . 5 1.3 Tangent bundle . 5 1.4 Vector bundles . 8 1.5 Pull-back bundles . 9 1.6 The cotangent bundle . 11 1.7 Operations on vector bundles . 12 1.8 Sections of bundles . 14 1.9 Differential forms . 16 1.10 Orientations and integration . 18 1.11 Exterior derivative . 19 1.12 Differential operators . 21 1.13 Exercises . 22 1.14 Bibliography . 24 2 A brief introduction to Riemannian geometry 25 2.1 Riemannian metrics . 25 2.2 Parallel translation . 28 2.3 Levi-Civita connection . 32 2.4 Associated bundles . 33 i ii CONTENTS 2.5 E-valued forms . 34 2.6 Curvature . 36 2.7 Geodesics . 39 2.8 Complete manifolds of bounded geometry . 42 2.9 Riemannian volume and formal adjoint . 42 2.10 Hodge star and Hodge Laplacian . 44 2.11 Exercises . 47 2.12 Bibliography . 50 3 Laplace-type and Dirac-type operators 53 3.1 Principal symbol of a differential operator . 53 3.2 Laplace-type operators . 56 3.3 Dirac-type operators . 57 3.4 Clifford algebras . 59 3.5 Hermitian vector bundles . 63 3.6 Examples . 68 3.6.1 The Gauss-Bonnet operator . 68 3.6.2 The signature operator . 70 3.6.3 The Dirac operator . 71 3.6.4 Twisted Clifford modules . 73 3.6.5 The @ operator . 73 3.7 Exercises . 76 3.8 Bibliography . 78 4 Pseudodifferential operators on Rm 79 4.1 Distributions . 79 4.2 Examples . 84 4.2.1 Fundamental solutions . 84 4.2.2 Principal values and finite parts . 85 4.3 Tempered distributions . 86 CONTENTS 1 4.3.1 Convolution . 86 4.3.2 Fourier transform . 88 4.4 Pseudodifferential operators on Rm ................... 92 4.4.1 Symbols and oscillatory integrals . 92 4.4.2 Amplitudes and mapping properties . 98 4.5 Exercises . 106 4.6 Bibliography . 107 5 Pseudodifferential operators on manifolds 109 5.1 Symbol calculus and parametrices . 109 5.2 Hodge decomposition . 114 5.3 The index of an elliptic operator . 118 5.4 Pseudodifferential operators acting on L2 . 122 5.5 Sobolev spaces . 127 5.6 Exercises . 131 5.7 Bibliography . 134 6 Spectrum of the Laplacian 135 6.1 Spectrum and resolvent . 135 6.2 The heat kernel . 139 6.3 Weyl's law . 146 6.4 Long-time behavior of the heat kernel . 148 6.5 Determinant of the Laplacian . 149 6.6 The Atiyah-Singer index theorem . 151 6.6.1 Chern-Weil theory . 151 6.6.2 The index theorem . 155 6.7 Examples . 157 6.8 Exercises . 159 6.9 Bibliography . 159 2 CONTENTS Lecture 1 Differential operators on manifolds 1.1 Smooth manifolds The m-dimensional Euclidean space Rm; the m-dimensional sphere Sm and the m- dimensional torus Tm = S1 × ::: × S1 are all examples of smooth manifolds, the context where our studies will take place. A general manifold is a space constructed from open sets in Rm by patching them together smoothly. Formally, M is a manifold if it is a paracompact1 Hausdorff topological space with an `atlas', i.e., a covering by open sets fVαg together with homeomorphisms φα : Uα −! Vα m for some open subsets fUαg of R : The integer m is known as the dimension of M and the maps φα : Uα −! Vα (or sometimes just the sets fVαg) are known as coordinate charts. An atlas is smooth if whenever Vαβ := Vα \Vβ 6= ; the map −1 −1 −1 (1.1) αβ := φβ ◦ φα : φα (Vαβ) −! φβ (Vαβ) −1 −1 m is a smooth diffeomorphism between the open sets φα (Vαβ); φβ (Vαβ) ⊆ R : (For 1 k us smooth will always mean C :) If the maps αβ are all C -smooth, we say that the atlas is Ck: If φα : Uα −! Vα is a coordinate chart, it is typical to write −1 (y1; : : : ; ym) = φα : Vα −! Uα and refer to the yi as local coordinates of M on Vα: 1 A topological space is paracompact if every open cover has a subcover in which each point is covered finitely many times. 3 4 LECTURE 1. DIFFERENTIAL OPERATORS ON MANIFOLDS Two smooth atlases are compatible (or equivalent) if their union is a smooth atlas. A smooth structure on M is an equivalence class of smooth atlases or, equivalently, a maximal smooth atlas on M: A manifold M together with a smooth structure is a smooth manifold. To indicate that a manifold M is m-dimensional we will sometimes write M m or, more often, we will refer to M as an m-manifold. A more general notion than manifold is that of a manifold with boundary. The former is defined in the same way as a manifold, but the local model is m m R− = f(x1; : : : ; xn) 2 R : x1 ≤ 0g: If M is a smooth manifold with boundary, its boundary @M consists of those points m in M that are in the image of @R− for some (and hence all) local coordinate charts. It is easy to check that @M is itself a smooth manifold (without boundary). The product of two manifolds with boundary is an example of a still more general notion, a manifold with corners. A map between two smooth manifolds (with or without boundary) F : M −! M 0 is smooth if it is smooth in local coordinates. That is, whenever 0 0 0 0 φα : Uα −! Vα ⊆ M; φγ : Uγ −! Vγ ⊆ M ; are coordinate charts, the map 0 −1 0 (1.2) (φγ) ◦ F ◦ φα : Uα −! Uγ is smooth (whenever it is defined). Notice that this definition is equivalent to making coordinate charts diffeomorphisms. The space of smooth maps between M and M 0 will be denoted C1(M; M 0) and when M 0 = R; simply by C1(M): Notice that a map F 2 C1(M; M 0) naturally induces a pull-back map F ∗ : C1(M 0) −! C1(M);F ∗(h)(p) = h(F (p)) for all h 2 C1(M 0); p 2 M: (So we can think of C1 as a contravariant functor on smooth manifolds.) For us a manifold will mean a connected smooth manifold without boundary, unless otherwise specified. Similarly, unless we specify otherwise, a map between manifolds will be smooth. 1.2. PARTITIONS OF UNITY 5 A subset X ⊆ M is a submanifold of M of dimension k if among the m coordinates on M at each point of X there are k that restrict to give coordinates of X: That is, at each point p 2 X there is a coordinate chart of M; φ : U −! V with q 2 V; whose restriction to U \ Rk × f0g maps into X; φ : U\ k × f0g −! V \ X: U\Rk×{0g R These restricted charts then define a smooth k-manifold structure on X: 1.2 Partitions of unity A manifold is defined by patching together many copies of Rm: It is often useful to take a construction on Rm and transfer it to a manifold by carrying it out on each patch and then adding the pieces together. For these constructions, it is very convenient that every open covering Vα of a smooth manifold carries a partition of unity. That is, a collection !i of smooth functions !i : M −! R such that: i) At each p 2 M only finitely many !i(p) are non-zero ii) Each !i is supported inside some Vα iii) The sum of the !i is the constant function equal to one at each point p 2 M: One remarkable fact that follows easily from the existence of partitions of unity is that any compact smooth manifold can be identified with a smooth submanifold of RN for some N: This is easy to show using a finite atlas with a corresponding partition of unity. Whitney's embedding theorem shows that any smooth manifold M embeds into R2 dim M+1 and a compact smooth manifold into R2 dim M : 1.3 Tangent bundle We know what a smooth function f : M −! R is, what is its derivative? If γ is a smooth curve on M; that is, a smooth map γ : R −! M; then f ◦ γ is a map from R to itself so its derivative is unambiguously defined. We can take advantage of this to define the derivative of f at a point p 2 M in terms of the curves through that point. 6 LECTURE 1. DIFFERENTIAL OPERATORS ON MANIFOLDS Indeed, let us say that two curves γ1 and γ2 are equivalent at p if γ1(0) = γ (0) = p and 2 @ −1 @ −1 (φ ◦ γ1) = (φ ◦ γ2) @t t=0 @t t=0 for some (and hence any) coordinate chart φ : U −! V ⊆ M containing p: It is easy to see that this is an equivalence relation and we refer to an equivalence class as a tangent vector at p 2 M: The tangent space to M at p is the set of all tangent vectors at p and is denoted TpM: For the case of Euclidean space, the tangent space to Rm at any point is another copy of Rm; m m TpR = R : The tangent space of the m-sphere is also easy to describe. By viewing Sm as the unit vectors in Rm+1; curves on Sm are then also curves in Rm+1 so we have m m+1 m+1 TpS ⊆ TpR = R ; and a tangent vector at p will correspond to a curve on Sm precisely when it is orthogonal to p as a vector in Rm+1; thus m m+1 TpS = fv 2 R : v · p = 0g: Clearly if γ1 is equivalent to γ2 at p then @ @ (f ◦ γ1) = (f ◦ γ2) @t t=0 @t t=0 for all f : M −! R; so we can think of the derivative of f at p as a map from equivalence classes of curves through p to equivalence classes of curves through f(p); thus Dpf : TpM −! Tf(p)R: More generally, any smooth map F : M1 −! M2 defines a map, known as its differential, DpF : TpM1 −! TF (p)M2 by sending the equivalence class of a curve γ on M1 to the equivalence class of the curve F ◦γ on M2: When the point p is understood, we will omit it from the notation.
Load more

Recommended publications
  • When Is a Connection a Metric Connection?
    NEW ZEALAND JOURNAL OF MATHEMATICS Volume 38 (2008), 225–238 WHEN IS A CONNECTION A METRIC CONNECTION? Richard Atkins (Received April 2008) Abstract. There are two sides to this investigation: first, the determination of the integrability conditions that ensure the existence of a local parallel metric in the neighbourhood of a given point and second, the characterization of the topological obstruction to a globally defined parallel metric. The local problem has been previously solved by means of constructing a derived flag. Herein we continue the inquiry to the global aspect, which is formulated in terms of the cohomology of the constant sheaf of sections in the general linear group. 1. Introduction A connection on a manifold is a type of differentiation that acts on vector fields, differential forms and tensor products of these objects. Its importance lies in the fact that given a piecewise continuous curve connecting two points on the manifold, the connection defines a linear isomorphism between the respective tangent spaces at these points. Another fundamental concept in the study of differential geometry is that of a metric, which provides a measure of distance on the manifold. It is well known that a metric uniquely determines a Levi-Civita connection: a symmetric connection for which the metric is parallel. Not all connections are derived from a metric and so it is natural to ask, for a symmetric connection, if there exists a parallel metric, that is, whether the connection is a Levi-Civita connection. More generally, a connection on a manifold M, symmetric or not, is said to be metric if there exists a parallel metric defined on M.
    [Show full text]
  • Lecture 24/25: Riemannian Metrics
    Lecture 24/25: Riemannian metrics An inner product on Rn allows us to do the following: Given two curves intersecting at a point x Rn,onecandeterminetheanglebetweentheir tangents: ∈ cos θ = u, v / u v . | || | On a general manifold, we would again like to have an inner product on each TpM.Theniftwocurvesintersectatapointp,onecanmeasuretheangle between them. Of course, there are other geometric invariants that arise out of this structure. 1. Riemannian and Hermitian metrics Definition 24.2. A Riemannian metric on a vector bundle E is a section g Γ(Hom(E E,R)) ∈ ⊗ such that g is symmetric and positive definite. A Riemannian manifold is a manifold together with a choice of Riemannian metric on its tangent bundle. Chit-chat 24.3. A section of Hom(E E,R)isasmoothchoiceofalinear map ⊗ gp : Ep Ep R ⊗ → at every point p.Thatg is symmetric means that for every u, v E ,wehave ∈ p gp(u, v)=gp(v, u). That g is positive definite means that g (v, v) 0 p ≥ for all v E ,andequalityholdsifandonlyifv =0 E . ∈ p ∈ p Chit-chat 24.4. As usual, one can try to understand g in local coordinates. If one chooses a trivializing set of linearly independent sections si ,oneob- tains a matrix of functions { } gij = gp((si)p, (sj)p). By symmetry of g,thisisasymmetricmatrix. 85 n Example 24.5. T R is trivial. Let gij = δij be the constant matrix of functions, so that gij(p)=I is the identity matrix for every point. Then on n n every fiber, g defines the usual inner product on TpR ∼= R .
    [Show full text]
  • Arxiv:2009.07259V1 [Math.AP] 15 Sep 2020
    A GEOMETRIC TRAPPING APPROACH TO GLOBAL REGULARITY FOR 2D NAVIER-STOKES ON MANIFOLDS AYNUR BULUT AND KHANG MANH HUYNH Abstract. In this paper, we use frequency decomposition techniques to give a direct proof of global existence and regularity for the Navier-Stokes equations on two-dimensional Riemannian manifolds without boundary. Our techniques are inspired by an approach of Mattingly and Sinai [15] which was developed in the context of periodic boundary conditions on a flat background, and which is based on a maximum principle for Fourier coefficients. The extension to general manifolds requires several new ideas, connected to the less favorable spectral localization properties in our setting. Our argu- ments make use of frequency projection operators, multilinear estimates that originated in the study of the non-linear Schr¨odingerequation, and ideas from microlocal analysis. 1. Introduction Let (M; g) be a closed, oriented, connected, compact smooth two-dimensional Riemannian manifold, and let X(M) denote the space of smooth vector fields on M. We consider the incompressible Navier-Stokes equations on M, with viscosity coefficient ν > 0, @ U + div (U ⊗ U) − ν∆ U = − grad p in M t M ; (1) div U = 0 in M with initial data U0 2 X(M); where I ⊂ R is an open interval, and where U : I ! X(M) and p : I × M ! R represent the velocity and pressure of the fluid, respectively. Here, the operator ∆M is any choice of Laplacian defined on vector fields on M, discussed below. arXiv:2009.07259v1 [math.AP] 15 Sep 2020 The theory of two-dimensional fluid flows on flat spaces is well-developed, and a variety of global regularity results are well-known.
    [Show full text]
  • Lecture Notes in Mathematics
    Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann Subseries: Mathematisches Institut der Universit~it und Max-Planck-lnstitut for Mathematik, Bonn - voL 5 Adviser: E Hirzebruch 1111 Arbeitstagung Bonn 1984 Proceedings of the meeting held by the Max-Planck-lnstitut fur Mathematik, Bonn June 15-22, 1984 Edited by E Hirzebruch, J. Schwermer and S. Suter I IIII Springer-Verlag Berlin Heidelberg New York Tokyo Herausgeber Friedrich Hirzebruch Joachim Schwermer Silke Suter Max-Planck-lnstitut fLir Mathematik Gottfried-Claren-Str. 26 5300 Bonn 3, Federal Republic of Germany AMS-Subject Classification (1980): 10D15, 10D21, 10F99, 12D30, 14H10, 14H40, 14K22, 17B65, 20G35, 22E47, 22E65, 32G15, 53C20, 57 N13, 58F19 ISBN 3-54045195-8 Springer-Verlag Berlin Heidelberg New York Tokyo ISBN 0-387-15195-8 Springer-Verlag New York Heidelberg Berlin Tokyo CIP-Kurztitelaufnahme der Deutschen Bibliothek. Mathematische Arbeitstagung <25. 1984. Bonn>: Arbeitstagung Bonn: 1984; proceedings of the meeting, held in Bonn, June 15-22, 1984 / [25. Math. Arbeitstagung]. Ed. by E Hirzebruch ... - Berlin; Heidelberg; NewYork; Tokyo: Springer, 1985. (Lecture notes in mathematics; Vol. 1t11: Subseries: Mathematisches I nstitut der U niversit~it und Max-Planck-lnstitut for Mathematik Bonn; VoL 5) ISBN 3-540-t5195-8 (Berlin...) ISBN 0-387q5195-8 (NewYork ...) NE: Hirzebruch, Friedrich [Hrsg.]; Lecture notes in mathematics / Subseries: Mathematischee Institut der UniversitAt und Max-Planck-lnstitut fur Mathematik Bonn; HST This work ts subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re~use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks.
    [Show full text]
  • Laplacians in Geometric Analysis
    LAPLACIANS IN GEOMETRIC ANALYSIS Syafiq Johar syafi[email protected] Contents 1 Trace Laplacian 1 1.1 Connections on Vector Bundles . .1 1.2 Local and Explicit Expressions . .2 1.3 Second Covariant Derivative . .3 1.4 Curvatures on Vector Bundles . .4 1.5 Trace Laplacian . .5 2 Harmonic Functions 6 2.1 Gradient and Divergence Operators . .7 2.2 Laplace-Beltrami Operator . .7 2.3 Harmonic Functions . .8 2.4 Harmonic Maps . .8 3 Hodge Laplacian 9 3.1 Exterior Derivatives . .9 3.2 Hodge Duals . 10 3.3 Hodge Laplacian . 12 4 Hodge Decomposition 13 4.1 De Rham Cohomology . 13 4.2 Hodge Decomposition Theorem . 14 5 Weitzenb¨ock and B¨ochner Formulas 15 5.1 Weitzenb¨ock Formula . 15 5.1.1 0-forms . 15 5.1.2 k-forms . 15 5.2 B¨ochner Formula . 17 1 Trace Laplacian In this section, we are going to present a notion of Laplacian that is regularly used in differential geometry, namely the trace Laplacian (also called the rough Laplacian or connection Laplacian). We recall the definition of connection on vector bundles which allows us to take the directional derivative of vector bundles. 1.1 Connections on Vector Bundles Definition 1.1 (Connection). Let M be a differentiable manifold and E a vector bundle over M. A connection or covariant derivative at a point p 2 M is a map D : Γ(E) ! Γ(T ∗M ⊗ E) 1 with the properties for any V; W 2 TpM; σ; τ 2 Γ(E) and f 2 C (M), we have that DV σ 2 Ep with the following properties: 1.
    [Show full text]
  • 1.2 Topological Tensor Calculus
    PH211 Physical Mathematics Fall 2019 1.2 Topological tensor calculus 1.2.1 Tensor fields Finite displacements in Euclidean space can be represented by arrows and have a natural vector space structure, but finite displacements in more general curved spaces, such as on the surface of a sphere, do not. However, an infinitesimal neighborhood of a point in a smooth curved space1 looks like an infinitesimal neighborhood of Euclidean space, and infinitesimal displacements dx~ retain the vector space structure of displacements in Euclidean space. An infinitesimal neighborhood of a point can be infinitely rescaled to generate a finite vector space, called the tangent space, at the point. A vector lives in the tangent space of a point. Note that vectors do not stretch from one point to vector tangent space at p p space Figure 1.2.1: A vector in the tangent space of a point. another, and vectors at different points live in different tangent spaces and so cannot be added. For example, rescaling the infinitesimal displacement dx~ by dividing it by the in- finitesimal scalar dt gives the velocity dx~ ~v = (1.2.1) dt which is a vector. Similarly, we can picture the covector rφ as the infinitesimal contours of φ in a neighborhood of a point, infinitely rescaled to generate a finite covector in the point's cotangent space. More generally, infinitely rescaling the neighborhood of a point generates the tensor space and its algebra at the point. The tensor space contains the tangent and cotangent spaces as a vector subspaces. A tensor field is something that takes tensor values at every point in a space.
    [Show full text]
  • “Geodesic Principle” in General Relativity∗
    A Remark About the “Geodesic Principle” in General Relativity∗ Version 3.0 David B. Malament Department of Logic and Philosophy of Science 3151 Social Science Plaza University of California, Irvine Irvine, CA 92697-5100 [email protected] 1 Introduction General relativity incorporates a number of basic principles that correlate space- time structure with physical objects and processes. Among them is the Geodesic Principle: Free massive point particles traverse timelike geodesics. One can think of it as a relativistic version of Newton’s first law of motion. It is often claimed that the geodesic principle can be recovered as a theorem in general relativity. Indeed, it is claimed that it is a consequence of Einstein’s ∗I am grateful to Robert Geroch for giving me the basic idea for the counterexample (proposition 3.2) that is the principal point of interest in this note. Thanks also to Harvey Brown, Erik Curiel, John Earman, David Garfinkle, John Manchak, Wayne Myrvold, John Norton, and Jim Weatherall for comments on an earlier draft. 1 ab equation (or of the conservation principle ∇aT = 0 that is, itself, a conse- quence of that equation). These claims are certainly correct, but it may be worth drawing attention to one small qualification. Though the geodesic prin- ciple can be recovered as theorem in general relativity, it is not a consequence of Einstein’s equation (or the conservation principle) alone. Other assumptions are needed to drive the theorems in question. One needs to put more in if one is to get the geodesic principle out. My goal in this short note is to make this claim precise (i.e., that other assumptions are needed).
    [Show full text]
  • Heat Kernels and Function Theory on Metric Measure Spaces
    Heat kernels and function theory on metric measure spaces Alexander Grigor’yan Imperial College London SW7 2AZ United Kingdom and Institute of Control Sciences of RAS Moscow, Russia email: [email protected] Contents 1 Introduction 2 2 Definition of a heat kernel and examples 5 3 Volume of balls 8 4 Energy form 10 5 Besov spaces and energy domain 13 5.1 Besov spaces in Rn ............................ 13 5.2 Besov spaces in a metric measure space . 14 5.3 Identification of energy domains and Besov spaces . 15 5.4 Subordinated heat kernel ......................... 19 6 Intrinsic characterization of walk dimension 22 7 Inequalities for walk dimension 23 8 Embedding of Besov spaces into H¨olderspaces 29 9 Bessel potential spaces 30 1 1 Introduction The classical heat kernel in Rn is the fundamental solution to the heat equation, which is given by the following formula 1 x y 2 pt (x, y) = exp | − | . (1.1) n/2 t (4πt) − 4 ! x y 2 It is worth observing that the Gaussian term exp | − | does not depend in n, − 4t n/2 whereas the other term (4πt)− reflects the dependence of the heat kernel on the underlying space via its dimension. The notion of heat kernel extends to any Riemannian manifold M. In this case, the heat kernel pt (x, y) is the minimal positive fundamental solution to the heat ∂u equation ∂t = ∆u where ∆ is the Laplace-Beltrami operator on M, and it always exists (see [11], [13], [16]). Under certain assumptions about M, the heat kernel can be estimated similarly to (1.1).
    [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]
  • Geodesic Spheres in Grassmann Manifolds
    GEODESIC SPHERES IN GRASSMANN MANIFOLDS BY JOSEPH A. WOLF 1. Introduction Let G,(F) denote the Grassmann manifold consisting of all n-dimensional subspaces of a left /c-dimensional hermitian vectorspce F, where F is the real number field, the complex number field, or the algebra of real quater- nions. We view Cn, (1') tS t Riemnnian symmetric space in the usual way, and study the connected totally geodesic submanifolds B in which any two distinct elements have zero intersection as subspaces of F*. Our main result (Theorem 4 in 8) states that the submanifold B is a compact Riemannian symmetric spce of rank one, and gives the conditions under which it is a sphere. The rest of the paper is devoted to the classification (up to a global isometry of G,(F)) of those submanifolds B which ure isometric to spheres (Theorem 8 in 13). If B is not a sphere, then it is a real, complex, or quater- nionic projective space, or the Cyley projective plane; these submanifolds will be studied in a later paper [11]. The key to this study is the observation thut ny two elements of B, viewed as subspaces of F, are at a constant angle (isoclinic in the sense of Y.-C. Wong [12]). Chapter I is concerned with sets of pairwise isoclinic n-dimen- sional subspces of F, and we are able to extend Wong's structure theorem for such sets [12, Theorem 3.2, p. 25] to the complex numbers nd the qua- ternions, giving a unified and basis-free treatment (Theorem 1 in 4).
    [Show full text]
  • Heat Kernel Analysis on Graphs
    Heat Kernel Analysis On Graphs Xiao Bai Submitted for the degree of Doctor of Philosophy Department of Computer Science June 7, 2007 Abstract In this thesis we aim to develop a framework for graph characterization by com- bining the methods from spectral graph theory and manifold learning theory. The algorithms are applied to graph clustering, graph matching and object recogni- tion. Spectral graph theory has been widely applied in areas such as image recog- nition, image segmentation, motion tracking, image matching and etc. The heat kernel is an important component of spectral graph theory since it can be viewed as describing the flow of information across the edges of the graph with time. Our first contribution is to investigate how to extract useful and stable invari- ants from the graph heat kernel as a means of clustering graphs. The best set of invariants are the heat kernel trace, the zeta function and its derivative at the origin. We also study heat content invariants. The polynomial co-efficients can be computed from the Laplacian eigensystem. Graph clustering is performed by applying principal components analysis to vectors constructed from the invari- ants or simply based on the unitary features extracted from the graph heat kernel. We experiment with the algorithms on the COIL and Oxford-Caltech databases. We further investigate the heat kernel as a means of graph embedding. The second contribution of the thesis is the introduction of two graph embedding methods. The first of these uses the Euclidean distance between graph nodes. To do this we equate the spectral and parametric forms of the heat kernel to com- i pute an approximate Euclidean distance between nodes.
    [Show full text]
  • General Relativity Fall 2019 Lecture 13: Geodesic Deviation; Einstein field Equations
    General Relativity Fall 2019 Lecture 13: Geodesic deviation; Einstein field equations Yacine Ali-Ha¨ımoud October 11th, 2019 GEODESIC DEVIATION The principle of equivalence states that one cannot distinguish a uniform gravitational field from being in an accelerated frame. However, tidal fields, i.e. gradients of gravitational fields, are indeed measurable. Here we will show that the Riemann tensor encodes tidal fields. Consider a fiducial free-falling observer, thus moving along a geodesic G. We set up Fermi normal coordinates in µ the vicinity of this geodesic, i.e. coordinates in which gµν = ηµν jG and ΓνσjG = 0. Events along the geodesic have coordinates (x0; xi) = (t; 0), where we denote by t the proper time of the fiducial observer. Now consider another free-falling observer, close enough from the fiducial observer that we can describe its position with the Fermi normal coordinates. We denote by τ the proper time of that second observer. In the Fermi normal coordinates, the spatial components of the geodesic equation for the second observer can be written as d2xi d dxi d2xi dxi d2t dxi dxµ dxν = (dt/dτ)−1 (dt/dτ)−1 = (dt/dτ)−2 − (dt/dτ)−3 = − Γi − Γ0 : (1) dt2 dτ dτ dτ 2 dτ dτ 2 µν µν dt dt dt The Christoffel symbols have to be evaluated along the geodesic of the second observer. If the second observer is close µ µ λ λ µ enough to the fiducial geodesic, we may Taylor-expand Γνσ around G, where they vanish: Γνσ(x ) ≈ x @λΓνσjG + 2 µ 0 µ O(x ).
    [Show full text]