DOCSLIB.ORG

An Instance of Holonomy 3 Throughout This Section, Let M ⊂ R Be a Smooth Surface

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
An Instance of Holonomy 3 Throughout This Section, Let M ⊂ R Be a Smooth Surface Math 120B Discussion Session Week 2 Notes April 11, 2019 Today we'll begin with an example of parallel transport before proving a couple of curvature results. An instance of holonomy 3 Throughout this section, let M ⊂ R be a smooth surface. We begin by recalling two definitions. Definition. A differentiable vector field along a curve γ :[a; b] ! M is a differentiable function 3 X:[a; b] ! R with the property that X(t) is a tangent vector to M at γ(t), for each t 2 [a; b]. Remark. Later in the quarter we should be able to give a more satisfying definition for the differ- entiability of a vector field. Definition. We say that a differentiable vector field X is parallel along γ if X_ is perpendicular to M. Remark. We might also get to see a more satisfying notion of parallelism later on! If we start with a curve γ and a vector tangent to M at some point on γ, it's natural to ask whether we can extend this vector to a parallel vector field along γ | that is, whether or not we can translate the vector along γ in a parallel way. Indeed, we can do this in a unique way, and today we want to see an explicit example. In constructing our example, we'll use the following proposition, which you'll prove for home- work. Proposition 1. Let x: U! M be a coordinate patch and let γ(t) = x(γ1(t); γ2(t)) be a regular P i curve. If X is a differentiable vector field along γ with X = X xi, then X is parallel along γ if and only if 2 dXk X dγj 0 = + Γk Xi ; (1) dt ij dt i;j=1 for k = 1; 2. The existence and uniqueness of parallel translates follows from applying Picard's theorem to this differential equation. Example 1. We have the familiar coordinate patch x(φ, θ) = (sin φ cos θ; sin φ sin θ; cos φ); (φ, θ) 2 (0; π) × (−π; π) for M = S2. Notice that this parametrizes M as a surface of revolution, with r(φ) = sin φ and z(φ) = cos φ. So we can use last week's computations to see that 1 0 (g ) = : ij 0 sin2 φ 1 Figure 1: Parallel transport along a circle of latitude. Here we have φ0 = π=3, so the angle between X(0) and X(2π) is π. So the only nonzero Christoffel symbols are 2 2 1 Γ12 = Γ21 = cot φ and Γ22 = − sin φ cos φ. Now consider a circle of latitude φ = φ0, along with the vector x1(φ0; 0). That is, we have γ(θ) = x(φ0; θ); 1 2 so γ (θ) = φ0 and γ (θ) = θ. Substituting these quantities into (1), we see that a differentiable P i vector field X(θ) = X (θ)xi along γ will be parallel iff dX1 dX2 0 = − sin φ cos φ X2 and 0 = + cot φ X1: dθ 0 0 dθ 0 1 If we want X(0) = x1(φ0; 0), the initial values for this system of differential equations are X (0) = 2 φ0 and X (0) = 0. Now, we see from these equations that d2Xk = − cos φ Xk; dθ2 0 1 2 for k = 1; 2. This suggests, for instance, that X (θ) = cos((cos φ0)θ). We may then solve for X to 2 find X (θ) = − sin((cos φ0)θ)= sin φ0. That is, sin((cos φ0)θ) X(θ) = cos((cos φ0)θ)x1(φ0; θ) − x2(φ0; θ): sin φ0 We see from Figure1 that parallel translation around a closed loop need not return a vector to its original position. Indeed, X(0) = x1(φ0; 0), while sin(2π cos φ0) X(2π) = cos(2π cos φ0)x1(φ0; 0) − x2(φ0; 0): sin φ0 (We're conveniently ignoring the domain of definition for x.) So we see that hX(0); X(2π)i = cos(2π cos φ0) and, since both X(0) and X(2π) are unit vectors, the angle between X(0) and X(2π) 2 is 2π cos φ0. This is an example of holonomy, and one can show that even for a more general Reimannian manifold M, the holonomy map hp : TpM ! TpM along a closed, piecewise smooth curve is always a linear map. Indeed, the Riemann curvature tensor gains some of its geometric meaning from such maps. Holonomy maps are also related to curvature forms by the Ambrose-Singer theorem. Umbilic surfaces Next we'll prove a cute curvature result which is intuitively obvious: if the normal curvatures of our surface are the same in every direction, then our surface is a sphere (perhaps of infinite radius). This result is attributed to Meusnier, and is related to but distinct from another result known as Meusnier's theorem. Theorem 2. If every point in the image of a coordinate patch is umbilic, then the coordinate patch is contained in a plane or a sphere. Proof. First, recall that a point p 2 M in a surface is umbilic if its principal curvatures are equal. Another way of saying this is that the Weingarten map is a scalar multiple of the identity, in which case we can write L = κId. Notice that, a priori, the scalar κ could vary as we move around in our coordinate patch. Let's show that this can't happen. First, recall that L(xi) = −ni in a coordinate patch. Then ni = −κxi, so @κ @κ n = − x + κx and n = − x + κx ; ij @uj i ij ji @ui j ij with the second formula following by symmetry. The equality of mixed partials then tells us that nij = nji, so @κ @κ x = x : @uj i @ui j 1 2 But x1 and x2 are linearly independent, so this can only be the case if @κ=@u = 0 and @κ/∂u = 0. That is, κ is constant in the patch. Because κ is constant, we have @ (n + κx) = n + κx = 0 @ui i i for i = 1; 2. So n = −κx + k for some constant vector k. If κ = 0, this means that n is constant 3 and therefore our patch is contained in a plane. If κ 6= 0, we can then choose a vector c 2 R for which we may write n = −κ(x − c); meaning that our patch is contained in the sphere of radius 1/κ centered at c. 3 Surfaces of constant curvature If a surface has constant curvature, it seems reasonable that any two points on the surface would have geometrically indistinguishable neighborhoods. That is, the surface would have the same local appearance from any point on the surface. Moreover, if some other surface has the same constant curvature, any of its neighborhoods should look like any of ours. This is what we learn from the following theorem. Theorem 3. Any two surfaces of the same constant Gaussian curvature are locally isometric. Recall the definition of locally isometric: Definition. Two surfaces M and N are locally isometric if for each point p 2 M there is an open set U ⊂ M containing p, along with an isometry f : U ! V for some open subset V ⊂ N. We call f a local isometry. You probably proved the following characterization of local isometry in in 120A: Proposition 4. Two surfaces M and N are locally isometric if and only if for each p 2 M there is 2 an open set U ⊂ R , a coordinate patch x: U ! M with p 2 x(U), and another coordinate patch y : U ! N such that x and y have the same metric coefficients. Our proof of Theorem3 (which is stolen from the textbook) will also use geodesic coordinate patches, which you defined in lecture this week. Definition. A coordinate patch x: U ! M is said to be a geodesic coordinate patch if g11 ≡ 1 and g12 ≡ 0. We say that x is a geodesic coordinate patch along γ if γ :[a; b] ! x(U) is a curve with the property that the u2-curve through any point on γ is γ itself. In lecture you showed that there exists a geodesic coordinate patch along any simple, regular curve in M. Also notice that the metric coefficient matrix of a geodesic coordinate patch has the form 1 0 (g ) = ; ij 0 h2 1 2 1 2 where h > 0 is the function h(u ; u ) = kx2(u ; u )k. Before proving Theorem3, we need the following lemma. Lemma 5. Suppose that x is a coordinate patch along a geodesic curve, and let h = kx2k as above. 2 2 2 Then h(0; u ) = 1, K = −h11=h, and h1(0; u ) = 0, for any u in the appropriate range. Proof. We'll prove the first and third claims, leaving the middle for homework. For the first claim we have 2 2 2 h(0; u ) = kx2(0; u )k = kγ_ (u )k = 1; where γ is the geodesic along which we've defined x. Because γ is a geodesic, we know thatγ ¨ is 1 perpendicular to the surface. In particular, x22 is perpendicular to the surface whenever u = 0. Now in general we have @g @g 22 = 2hx ; x i = 2 12 − hx ; x i = −2hx ; x i; @u1 12 2 @u2 1 22 1 22 4 @ 2 1 so @u1 (h ) = 0 whenever u = 0. But then @ 0 = (h2) = 2hh @u1 1 1 along u = 0. Since h = 1 along this curve, h1 = 0 along this curve.
Load more

Recommended publications
  • Parallel Transport Along Seifert Manifolds and Fractional Monodromy Martynchuk, N.; Efstathiou, K
    University of Groningen Parallel Transport along Seifert Manifolds and Fractional Monodromy Martynchuk, N.; Efstathiou, K. Published in: Communications in Mathematical Physics DOI: 10.1007/s00220-017-2988-5 IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document Version Publisher's PDF, also known as Version of record Publication date: 2017 Link to publication in University of Groningen/UMCG research database Citation for published version (APA): Martynchuk, N., & Efstathiou, K. (2017). Parallel Transport along Seifert Manifolds and Fractional Monodromy. Communications in Mathematical Physics, 356(2), 427-449. https://doi.org/10.1007/s00220- 017-2988-5 Copyright Other than for strictly personal use, it is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license (like Creative Commons). Take-down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. Downloaded from the University of Groningen/UMCG research database (Pure): http://www.rug.nl/research/portal. For technical reasons the number of authors shown on this cover page is limited to 10 maximum. Download date: 27-09-2021 Commun. Math. Phys. 356, 427–449 (2017) Communications in Digital Object Identifier (DOI) 10.1007/s00220-017-2988-5 Mathematical Physics Parallel Transport Along Seifert Manifolds and Fractional Monodromy N. Martynchuk , K.
    [Show full text]
  • Differential Geometry: Curvature and Holonomy Austin Christian
    University of Texas at Tyler Scholar Works at UT Tyler Math Theses Math Spring 5-5-2015 Differential Geometry: Curvature and Holonomy Austin Christian Follow this and additional works at: https://scholarworks.uttyler.edu/math_grad Part of the Mathematics Commons Recommended Citation Christian, Austin, "Differential Geometry: Curvature and Holonomy" (2015). Math Theses. Paper 5. http://hdl.handle.net/10950/266 This Thesis is brought to you for free and open access by the Math at Scholar Works at UT Tyler. It has been accepted for inclusion in Math Theses by an authorized administrator of Scholar Works at UT Tyler. For more information, please contact [email protected]. DIFFERENTIAL GEOMETRY: CURVATURE AND HOLONOMY by AUSTIN CHRISTIAN A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science Department of Mathematics David Milan, Ph.D., Committee Chair College of Arts and Sciences The University of Texas at Tyler May 2015 c Copyright by Austin Christian 2015 All rights reserved Acknowledgments There are a number of people that have contributed to this project, whether or not they were aware of their contribution. For taking me on as a student and learning differential geometry with me, I am deeply indebted to my advisor, David Milan. Without himself being a geometer, he has helped me to develop an invaluable intuition for the field, and the freedom he has afforded me to study things that I find interesting has given me ample room to grow. For introducing me to differential geometry in the first place, I owe a great deal of thanks to my undergraduate advisor, Robert Huff; our many fruitful conversations, mathematical and otherwise, con- tinue to affect my approach to mathematics.
    [Show full text]
  • Math 704: Part 1: Principal Bundles and Connections
    MATH 704: PART 1: PRINCIPAL BUNDLES AND CONNECTIONS WEIMIN CHEN Contents 1. Lie Groups 1 2. Principal Bundles 3 3. Connections and curvature 6 4. Covariant derivatives 12 References 13 1. Lie Groups A Lie group G is a smooth manifold such that the multiplication map G × G ! G, (g; h) 7! gh, and the inverse map G ! G, g 7! g−1, are smooth maps. A Lie subgroup H of G is a subgroup of G which is at the same time an embedded submanifold. A Lie group homomorphism is a group homomorphism which is a smooth map between the Lie groups. The Lie algebra, denoted by Lie(G), of a Lie group G consists of the set of left-invariant vector fields on G, i.e., Lie(G) = fX 2 X (G)j(Lg)∗X = Xg, where Lg : G ! G is the left translation Lg(h) = gh. As a vector space, Lie(G) is naturally identified with the tangent space TeG via X 7! X(e). A Lie group homomorphism naturally induces a Lie algebra homomorphism between the associated Lie algebras. Finally, the universal cover of a connected Lie group is naturally a Lie group, which is in one to one correspondence with the corresponding Lie algebras. Example 1.1. Here are some important Lie groups in geometry and topology. • GL(n; R), GL(n; C), where GL(n; C) can be naturally identified as a Lie sub- group of GL(2n; R). • SL(n; R), O(n), SO(n) = O(n) \ SL(n; R), Lie subgroups of GL(n; R).
    [Show full text]
  • Basics of the Differential Geometry of Surfaces
    Chapter 20 Basics of the Differential Geometry of Surfaces 20.1 Introduction The purpose of this chapter is to introduce the reader to some elementary concepts of the differential geometry of surfaces. Our goal is rather modest: We simply want to introduce the concepts needed to understand the notion of Gaussian curvature, mean curvature, principal curvatures, and geodesic lines. Almost all of the material presented in this chapter is based on lectures given by Eugenio Calabi in an upper undergraduate differential geometry course offered in the fall of 1994. Most of the topics covered in this course have been included, except a presentation of the global Gauss–Bonnet–Hopf theorem, some material on special coordinate systems, and Hilbert’s theorem on surfaces of constant negative curvature. What is a surface? A precise answer cannot really be given without introducing the concept of a manifold. An informal answer is to say that a surface is a set of points in R3 such that for every point p on the surface there is a small (perhaps very small) neighborhood U of p that is continuously deformable into a little flat open disk. Thus, a surface should really have some topology. Also,locally,unlessthe point p is “singular,” the surface looks like a plane. Properties of surfaces can be classified into local properties and global prop- erties.Intheolderliterature,thestudyoflocalpropertieswascalled geometry in the small,andthestudyofglobalpropertieswascalledgeometry in the large.Lo- cal properties are the properties that hold in a small neighborhood of a point on a surface. Curvature is a local property. Local properties canbestudiedmoreconve- niently by assuming that the surface is parametrized locally.
    [Show full text]
  • WHAT IS a CONNECTION, and WHAT IS IT GOOD FOR? Contents 1. Introduction 2 2. the Search for a Good Directional Derivative 3 3. F
    WHAT IS A CONNECTION, AND WHAT IS IT GOOD FOR? TIMOTHY E. GOLDBERG Abstract. In the study of differentiable manifolds, there are several different objects that go by the name of \connection". I will describe some of these objects, and show how they are related to each other. The motivation for many notions of a connection is the search for a sufficiently nice directional derivative, and this will be my starting point as well. The story will by necessity include many supporting characters from differential geometry, all of whom will receive a brief but hopefully sufficient introduction. I apologize for my ungrammatical title. Contents 1. Introduction 2 2. The search for a good directional derivative 3 3. Fiber bundles and Ehresmann connections 7 4. A quick word about curvature 10 5. Principal bundles and principal bundle connections 11 6. Associated bundles 14 7. Vector bundles and Koszul connections 15 8. The tangent bundle 18 References 19 Date: 26 March 2008. 1 1. Introduction In the study of differentiable manifolds, there are several different objects that go by the name of \connection", and this has been confusing me for some time now. One solution to this dilemma was to promise myself that I would some day present a talk about connections in the Olivetti Club at Cornell University. That day has come, and this document contains my notes for this talk. In the interests of brevity, I do not include too many technical details, and instead refer the reader to some lovely references. My main references were [2], [4], and [5].
    [Show full text]
  • Lecture 8: the Sectional and Ricci Curvatures
    LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ⊗2(^2V ∗) the set of 4-tensors that is anti-symmetric with respect to the first two entries and with respect to the last two entries. Lemma 1.1. Suppose T 2 ⊗2(^2V ∗), X; Y 2 V . Let X0 = aX +bY; Y 0 = cX +dY , then T (X0;Y 0;X0;Y 0) = (ad − bc)2T (X; Y; X; Y ): Proof. This follows from a very simple computation: T (X0;Y 0;X0;Y 0) = T (aX + bY; cX + dY; aX + bY; cX + dY ) = (ad − bc)T (X; Y; aX + bY; cX + dY ) = (ad − bc)2T (X; Y; X; Y ): 1 Now suppose (M; g) is a Riemannian manifold. Recall that 2 g ^ g is a curvature- like tensor, such that 1 g ^ g(X ;Y ;X ;Y ) = hX ;X ihY ;Y i − hX ;Y i2: 2 p p p p p p p p p p 1 Applying the previous lemma to Rm and 2 g ^ g, we immediately get Proposition 1.2. The quantity Rm(Xp;Yp;Xp;Yp) K(Xp;Yp) := 2 hXp;XpihYp;Ypi − hXp;Ypi depends only on the two dimensional plane Πp = span(Xp;Yp) ⊂ TpM, i.e. it is independent of the choices of basis fXp;Ypg of Πp. Definition 1.3. We will call K(Πp) = K(Xp;Yp) the sectional curvature of (M; g) at p with respect to the plane Πp. Remark. The sectional curvature K is NOT a function on M (for dim M > 2), but a function on the Grassmann bundle Gm;2(M) of M.
    [Show full text]
  • AN INTRODUCTION to the CURVATURE of SURFACES by PHILIP ANTHONY BARILE a Thesis Submitted to the Graduate School-Camden Rutgers
    AN INTRODUCTION TO THE CURVATURE OF SURFACES By PHILIP ANTHONY BARILE A thesis submitted to the Graduate School-Camden Rutgers, The State University Of New Jersey in partial fulfillment of the requirements for the degree of Master of Science Graduate Program in Mathematics written under the direction of Haydee Herrera and approved by Camden, NJ January 2009 ABSTRACT OF THE THESIS An Introduction to the Curvature of Surfaces by PHILIP ANTHONY BARILE Thesis Director: Haydee Herrera Curvature is fundamental to the study of differential geometry. It describes different geometrical and topological properties of a surface in R3. Two types of curvature are discussed in this paper: intrinsic and extrinsic. Numerous examples are given which motivate definitions, properties and theorems concerning curvature. ii 1 1 Introduction For surfaces in R3, there are several different ways to measure curvature. Some curvature, like normal curvature, has the property such that it depends on how we embed the surface in R3. Normal curvature is extrinsic; that is, it could not be measured by being on the surface. On the other hand, another measurement of curvature, namely Gauss curvature, does not depend on how we embed the surface in R3. Gauss curvature is intrinsic; that is, it can be measured from on the surface. In order to engage in a discussion about curvature of surfaces, we must introduce some important concepts such as regular surfaces, the tangent plane, the first and second fundamental form, and the Gauss Map. Sections 2,3 and 4 introduce these preliminaries, however, their importance should not be understated as they lay the groundwork for more subtle and advanced topics in differential geometry.
    [Show full text]
  • GEOMETRIC INTERPRETATIONS of CURVATURE Contents 1. Notation and Summation Conventions 1 2. Affine Connections 1 3. Parallel Tran
    GEOMETRIC INTERPRETATIONS OF CURVATURE ZHENGQU WAN Abstract. This is an expository paper on geometric meaning of various kinds of curvature on a Riemann manifold. Contents 1. Notation and Summation Conventions 1 2. Affine Connections 1 3. Parallel Transport 3 4. Geodesics and the Exponential Map 4 5. Riemannian Curvature Tensor 5 6. Taylor Expansion of the Metric in Normal Coordinates and the Geometric Interpretation of Ricci and Scalar Curvature 9 Acknowledgments 13 References 13 1. Notation and Summation Conventions We assume knowledge of the basic theory of smooth manifolds, vector fields and tensors. We will assume all manifolds are smooth, i.e. C1, second countable and Hausdorff. All functions, curves and vector fields will also be smooth unless otherwise stated. Einstein summation convention will be adopted in this paper. In some cases, the index types on either side of an equation will not match and @ so a summation will be needed. The tangent vector field @xi induced by local i coordinates (x ) will be denoted as @i. 2. Affine Connections Riemann curvature is a measure of the noncommutativity of parallel transporta- tion of tangent vectors. To define parallel transport, we need the notion of affine connections. Definition 2.1. Let M be an n-dimensional manifold. An affine connection, or connection, is a map r : X(M) × X(M) ! X(M), where X(M) denotes the space of smooth vector fields, such that for vector fields V1;V2; V; W1;W2 2 X(M) and function f : M! R, (1) r(fV1 + V2;W ) = fr(V1;W ) + r(V2;W ), (2) r(V; aW1 + W2) = ar(V; W1) + r(V; W2), for all a 2 R.
    [Show full text]
  • Parallel Transport and Curvature
    Parallel transport and curvature February 24, 2013 We now know how to take the derivative of tensors in a way that produces another tensor, allowing us to write equations that hold in any coordinate system (even in curved spaces). We know that scalars produced by contracting tensors are independent of coordinates and therefore give measurable physical quantities. We now use the covariant derivative to build a tensor that characterizes curvature. Curvature may be defined as a measure of the infinitesimal amount a vector rotates when transported around an infinitesmal closed loop. We begin a geometric example of this, finding the radius of a 2-sphere using only “measurements” available from within the space. Then we will develop a precise notion of parallel transport of a vector, i.e., a way to move a vector along a curve without explicitly rotating it. We can then use this transport to examine the effect of moving a vector around a closed loop. This will give us a general form for the Riemann curvature tensor. 1 Curvature of the 2-sphere While the 2-sphere may be viewed as the surface of a sphere embeded in Euclidean 3-space, we will make use only of distances and areas on the surface. Nonetheless, we can find the radius of the sphere, which provides a measure of the curvature of the surface. The curvature is larger when the sphere has smaller radius, with large spheres curving very slowly. We therefore expect the curvature to depend inversely on the radius. We might define the curvature at a point of a 2-dimensional surface as a limit, using the observation that the relationship between the area of a region and the length of its boundary changes if the surface is curved.
    [Show full text]
  • The Riemann Curvature Tensor
    The Riemann Curvature Tensor Jennifer Cox May 6, 2019 Project Advisor: Dr. Jonathan Walters Abstract A tensor is a mathematical object that has applications in areas including physics, psychology, and artificial intelligence. The Riemann curvature tensor is a tool used to describe the curvature of n-dimensional spaces such as Riemannian manifolds in the field of differential geometry. The Riemann tensor plays an important role in the theories of general relativity and gravity as well as the curvature of spacetime. This paper will provide an overview of tensors and tensor operations. In particular, properties of the Riemann tensor will be examined. Calculations of the Riemann tensor for several two and three dimensional surfaces such as that of the sphere and torus will be demonstrated. The relationship between the Riemann tensor for the 2-sphere and 3-sphere will be studied, and it will be shown that these tensors satisfy the general equation of the Riemann tensor for an n-dimensional sphere. The connection between the Gaussian curvature and the Riemann curvature tensor will also be shown using Gauss's Theorem Egregium. Keywords: tensor, tensors, Riemann tensor, Riemann curvature tensor, curvature 1 Introduction Coordinate systems are the basis of analytic geometry and are necessary to solve geomet- ric problems using algebraic methods. The introduction of coordinate systems allowed for the blending of algebraic and geometric methods that eventually led to the development of calculus. Reliance on coordinate systems, however, can result in a loss of geometric insight and an unnecessary increase in the complexity of relevant expressions. Tensor calculus is an effective framework that will avoid the cons of relying on coordinate systems.
    [Show full text]
  • Physical Holonomy, Thomas Precession, and Clifford Algebra
    hXWWM UWThPh 1988-39 Physical Holonomy, Thomas Precession, and Clifford Algebra H. Urbantke Institut für Theoretische Physik Universität Wien Abstract After a general discussion of the physical significance of holonomy group transfor­ mations, a relation between the transports of Fermi-Walker and Levi-Civitä in Special Relativity is pointed out. A well-known example - the Thomas-Wigner angle - is red- erived in a completely frame-independent manner using Clifford algebra. 1 Introduction — Holonomy Groups in Physics Quantum Holonomy has become a rather popular concept in recent /ears, in particular through the work [1] of Berry and Simon; but it is clear that the Aharanov-Bohm effect [2] is a much earlier instance of it. The point is that here the differential geometric idea of parallel transport defined by connections in fibre bundles [3] attains rather direct physical meaning susceptible to experimentation. This is remarkable because parallel transport has been around in differential geometry since 1917, and differential geometry has invaded theoretical physics since the early days of General Relativity, with new impulses coming from Hamiltonian dynamics and gauge theory: yet the significance of connections used to be formal, the 'transformation properties' standing in the forefront, as one can see from the old 'Ricci-Calculus' as used by Einstein and Grossmann [4] or from the way non- abelian gauge fields were introduced by Yang and Mills [5]. The rather indirect 'physical' realization of parallel transport in General Relativity by Schild's 'ladder construction' [6] also stresses this fact; in non-abelian gauge theory I am aware of no physical realization at all.
    [Show full text]
  • Ricci Curvature-Based Semi-Supervised Learning on an Attributed Network
    entropy Article Ricci Curvature-Based Semi-Supervised Learning on an Attributed Network Wei Wu , Guangmin Hu and Fucai Yu * School of Information and Communication Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China; [email protected] (W.W.); [email protected] (G.H.) * Correspondence: [email protected] Abstract: In recent years, on the basis of drawing lessons from traditional neural network models, people have been paying more and more attention to the design of neural network architectures for processing graph structure data, which are called graph neural networks (GNN). GCN, namely, graph convolution networks, are neural network models in GNN. GCN extends the convolution operation from traditional data (such as images) to graph data, and it is essentially a feature extractor, which aggregates the features of neighborhood nodes into those of target nodes. In the process of aggregating features, GCN uses the Laplacian matrix to assign different importance to the nodes in the neighborhood of the target nodes. Since graph-structured data are inherently non-Euclidean, we seek to use a non-Euclidean mathematical tool, namely, Riemannian geometry, to analyze graphs (networks). In this paper, we present a novel model for semi-supervised learning called the Ricci curvature-based graph convolutional neural network, i.e., RCGCN. The aggregation pattern of RCGCN is inspired by that of GCN. We regard the network as a discrete manifold, and then use Ricci curvature to assign different importance to the nodes within the neighborhood of the target nodes. Ricci curvature is related to the optimal transport distance, which can well reflect the geometric structure of the underlying space of the network.
    [Show full text]