ALEXEY V. GAVRILOV. I p (v) : T p M T Expp vm the operator of parallel transport along the geodesic γ v. Let E p be the map
|
|
- Willa Lucas
- 5 years ago
- Views:
Transcription
1 THE TAYLOR SERIES RELATE TO THE IFFERENTIAL OF THE EXPONENTIAL MAP arxiv: v [math.g] 3 May 202 ALEXEY V. GAVRILOV Abstract. In this paper we study the Taylor series of an operator-valued function related to the differential of the exponential map. For a smooth manifold M with a torsion-free affine connection the operator E p(v) acting on the space T pm is defined to be the composition of the differential of the exponential map at v T pm with parallel transport to p along the geodesic. The Taylor series of E p as a function of v is found explicitly in terms of the curvature tensor and its high order covariant derivatives at p. Key words: affine connection, exponential map, Taylor series. 200 Mathematical Subject Classification: 53B05.. INTROUCTION Let (M, ) be a smooth manifold with a torsion-free affine connection. For a point p M, consider the exponential map Exp p : T p M M. Let v T p M be a vector at a fixed point p and γ v be the corresponding geodesic γ v (t) = Exp p (tv). As T p M is a linear space, the differential of the exponential map may be considered a linear map of the form enote by d v Exp p : T p M T Expp vm. I p (v) : T p M T Expp vm the operator of parallel transport along the geodesic γ v. Let E p be the map defined by E p : T p M End R (T p M), E p (v) = I p (v) d v Exp p. This is a smooth map between two linear spaces, hence its Taylor series is well defined. Our goal is to find this series explicitly in terms of the curvature tensor. For the best of author s knowledge, the problem has never been considered in this generality. However, for a symmetric space M the answer is well known [2] (see also [4], Ch. IV, Theorem 4.). In our terms E p (v) = k=0 (2k +)! rk 0 (v); ()
2 2 ALEXEY V. GAVRILOV the operator r 0 is defined by r 0 (v) : w R p (v,w)v, w T p M, whereristhecurvaturetensor. Notethatthisisaveryspecialcase, because for a more general manifold the series depends not only on the curvature tensor itself, but on its high order covariant derivatives at the point p as well. Apparently, the only relevant result known for a general affine (or Riemannian) manifold is the Helgason s formula [3] (in fact, the formula is proved for an analytic manifold with an affine connection). The formula is d v Exp p w = e adv adv w Expp v, where the adjoint refers to the Lie algebra of smooth vector fields and v denotes the vector field defined by the condition v Exp p u = I p (u)v, u T p M (the same for w ). This, of course, is not a Taylor series, and its relation to the problem remains quite obscure. The author might also mention his own paper [], where an algorithm of computing the Taylor series of the inverse operator E p (v) (denoted there by H(v)) is proposed. This algorithm, however, is quite involved in comparison with the explicit formula presented here. Remark. In one respect the Helgason s formula is more general than the results obtained below: it is not necessary to assume the connection to be torsion-free. It should be noted, however, that the differential of the exponential map (as the map itself) does not depend on the torsion part of the affine connection. So, it is natural to restrict ourselves to the torsion-free case. In a more general case the Taylor series contains terms which depend on the torsion tensor, but these terms actually have nothing to do with the exponential map. 2. THE SERIES Before we can formulate the main result we have to introduce some notation. For n 0 and v T p M denote by R p,v (n) the n-th order covariant derivation of the curvature tensor at the point p in the direction v. That is, R (n) p,v = v n ( n R) p. (The common notation n v,...,v for hight order covariant derivation in the direction v is not very convenient when n is variable. For this reason we use the contraction notation. The sign on the right hand side denotes the contraction of the polyvector v n with the tensor n R). For p,v,n as above denote by r p,n (v) End R (T p M)
3 IFFERENTIAL OF THE EXPONENTIAL MAP 3 the linear operator defined by r p,n (v) : w R (n) p,v (v,w)v, w T pm. For the sake of convenience we usually omit the point and, sometimes, the vector: For example, r n = r n (v) = r p,n (v). r 0 : w R p (v,w)v, r : w ( v R) p (v,w)v, etc. Obviously, r n as a function of v is homogeneous of degree n+2 r n (tv) = t n+2 r n (v), t R. We also need an appropriate notation for compositions of operators of this kind. Call a finite sequence of nonnegative integers a list. The set of all lists (including the empty one) is denoted by Λ. The empty list is denoted by the symbol ; to write down a nonempty list we use square brackets; for example, ν = [2,0,] Λ. For every list ν Λ there is a corresponding operator r ν End R (T p M) whichisacomposition ofsimpleoperators r n. Namely, ifν = [n,n 2,...,n k ] then r ν = r n r n2...r nk. By definition, r = ½. We shall need three number functions on lists: the factorial ν!, the degree ν and the denominator c ν. By definition,! =, = 0. For ν = [n,n 2,...,n k ] we define the factorial and the degree as follows Obviously, ν! = k (n j!), ν = 2k+ j= k n j. j= r ν (tv) = t ν r ν (v), t R, which is where the term degree comes from. The denominator is defined by c = and a recurrent relation c ν = ν ( ν +)c ν, ν Λ\{ }, where ν is obtained from ν by omitting the first element from the list. For example, [2,0,] = = 9, hence c [20] = 9 0c [0] = 90 30c [] = c = Now we are able to formulate the main result.
4 4 ALEXEY V. GAVRILOV Theorem Let (M, ) be a smooth manifold with a torsion-free affine connection. Let p M and v T p M. Then for any n 0 the following equality holds d n n! dt ne p(tv) = r ν (v), (2) ν!c ν ν =n where the sum on the right hand side is taken over all the lists ν Λ of degree n. In other words, we have the Taylor series E p (v) = r ν (v). (3). ν!c ν ν Λ Forexample, thereare3listsofdegreenotgreaterthan6, namely,[0],[],[2], [0,0],[3],[,0],[0,],[4],[2,0],[,],[0,2],[0,0,0]. Computingthecorresponding coefficients, we have the Corollary The function E p can be expressed as follows E p (v) = ½+ 6 r 0+ 2 r + 40 r r r r r r 0r r r 2r r r 0r r3 0 +ρ 7(v), where ρ 7 (v) = O( v 7 ) as v 0. Note that for a list ν = [0,0,...,0] which consists of k zeros we have ν = 2k, hence c ν = 2k(2k +)c ν = (2k +)!. Thus, the coefficient at the term r ν = r0 k in the Taylor series is equal to /(2k +)!, in agreement with (). It may be shown that there are no nontrivial algebraic relations between the operators r n on a general manifold. So, the series (3) is unique as a formal series in non-commutative variables r n. 3. PARALLEL TRANSPORT OF THE CURVATURE TENSOR We shall need some properties of the covariant derivation along a geodesic. For our purpose it is convenient to consider a connection on a vector bundle instead of an affine connection(which is a connection on the tangent bundle). Let E M be a smooth vector bundle on a smooth manifold. The space of smooth sections of E is denoted by C (M,E). The bundle is provided with a connection, which is a linear map satisfying the Leibniz rule : C (M,E) C (M,T M E), fu = df u+f u, f C (M),u C (M,E). Note that the manifold itself is not supposed to have a connection for now. Let γ : I M be a smooth curve, where I R is an interval. The induced connection on the restricted bundle γ E I is usually denoted
5 IFFERENTIAL OF THE EXPONENTIAL MAP 5 by the sign. It is convenient to use this connection in the form of a differential operator dt, where t I is the parameter on the curve. This operator is called a covariant derivation along the curve γ. In other words, for any section u C (M,E) we have the equality where dt γ u = γ γ u, (4) γ(t) = d dt γ(t) T γ(t)m, t I. To be less pedantic, one may write (4) as an operator identity dt = γ. We shall need the following simple, but useful Lemma Let (M, ) be a smooth manifold with an affine connection and E M be a smooth vector bundle with a connection. Let γ : I M be a geodesic. Then for any n and any smooth section u of the bundle E n dt nγ u = γ n γ n u, (5) where dt is the covariant derivation along γ. The equality (5) may also be written in the operator form n dt n = γ n n. Apparently, this formula is well known, but the author does not know a proper reference. For this reason, we present here a proof. Note that for n > the section n u on the right hand side of (5) depends on the affine connection on the manifold while the left hand side depends on the curve γ only. Proof. It is an almost trivial fact that the derivation dt can becanonically extended to the products of E with tensor bundleson M and inherits all the common properties of the covariant derivation. In particular, it is compatible with contraction. For n = the formula (5) is the definition of dt. If it is valid for some n, then we have n+ n dt n+γ u = dt dt nγ u = dt γ n γ n u = By assumption, γ is a geodesic, hence ( ) dt γ n γ n u+ γ n dt γ n u. dt γ = 0 and the first term on the right hand side vanishes. Applying (4) to the section n u C (M,T M n E), we have dt γ n u = γ γ n+ u.
6 6 ALEXEY V. GAVRILOV Thus, n+ dt n+γ u = γ n+ γ n+ u, and the equality (5) follows by induction. The covariant derivation is closely related to parallel transport. As above, denote by I p = I p,e the operator of parallel transport of the form I p (v) : E p E Expp v along the geodesic γ v (t) = Exp p (tv). By the definition of parallel transport, dt I p(tv)z = 0, where dt is the covariant derivation along γ v and z E p is a constant. In a more general case, when z = z(t) depends on the parameter t, we have the operator equality dt I p(tv) = I p (tv) d dt, (6) which will be of use below. After the above preliminaries we have come to the matter. Consider the operator R p (v) End R (T p M), defined by R p (v)w = I p (v) R Expp v(i p (v)v,i p (v)w)i p (v)v,w T p M, (7) where R x denotes the curvature tensor at a point x M. As is well known, parallel transport is compatible with tensor operations. Thus, this operator can also be written in the form R p (v)w = (I p (v) R Expp v)(v,w)v. In the latter equality the parallel transport operator I p (v) is applied to the curvature tensor, i.e. it acts on the bundle T3 M. Lemma 2 For v T p M and n 0, d n dt nr p(tv) = n(n )r n 2 (v). (8) In fact, r and r 2 are not defined, but it is convenient to consider them arbitrary operators. So, for n = 0 and n = the right hand side of (8) is zero. Proof. Consider the geodesic γ = γ v. For w T p M we have hence By (6), R p (tv)w = t 2 (I p (tv) R γ(t) )(v,w)v, d n ( dt nr p(tv) d n 2 w = n(n ) dt n 2I p(tv) R γ(t)) (v, w)v. d n 2 dt n 2I p(tv) R γ(t) = I p (tv) n 2 dt n 2R γ(t).
7 By Lemma, IFFERENTIAL OF THE EXPONENTIAL MAP 7 n 2 dt n 2R γ(t) = v n 2 ( n 2 R ) p = R(n 2) p,v. Taking into account the equality I p (0) = ½ and the definition of r n 2, we have (8). 4. THE JACOBI FIEL For given vectors v,w T p M consider a family of geodesics γ s (t) = Exp p (tv +tsw), parametrized by a real number s taken from a neighbourhood of zero. enote by γ = γ 0 = γ v the geodesic corresponding to s = 0. Let J C (I,γ TM) be the vector field defined by J t = d ds γ s(t) T γ(t) M, s=0 which is equivalent to J t = d tv Exp p tw. It is well known that a field of this kind is a Jacobi field [5]. This means that it satisfies the differential equation 2 dt 2J t = R γ(t) ( γ(t),j t ) γ(t). (9) Lemma 3 For any v T p M the operator E p (tv) satisfies the differential equation Proof. By the definition of E p, (t 2 d2 dt 2 +2t d ) E p (tv) = R p (tv)e p (tv). (0) dt E p (tv)tw = I p (tv) d tv Exp p tw = I p (tv) J t. Thus, by (6) and (9), (t d2 dt 2 +2 d )E p (tv)w = d2 dt dt 2E p(tv)tw = I p (tv) 2 dt 2J t = I p (tv) R γ(t) ( γ(t),j t ) γ(t). On the other hand, by the definition of the operator R, we have the equality R p (tv)e p (tv)w = ti p (tv) R γ(t) ( γ(t),j t ) γ(t). Comparing these equalities and taking into account that they are valid for any choice of w, we have (0). Proof of Theorem. For n 0 denote the left hand side of (2) by E n = d n n! dt ne p(tv).
8 8 ALEXEY V. GAVRILOV The equality E n = ν =n for n = 0 and n = can be verified directly: E 0 = r = ½, E = 0. ν!c ν r ν () Taking the n-th order derivative of the both sides of (0) at t = 0, we have by Lemma 2 the equality n ( ) n n(n+)n!e n = k(k )r k 2 (n k)!e n k. k k=0 For n 2 the equality takes the form n 2 E n = n(n+) m! r me n m 2. (2) m=0 By induction, we may assumethat the formula () is valid for the operators E n m 2 on the right hand side of (2). We have then the equality E n = n 2 m=0 µ =n m 2 m!µ!n(n+)c µ r m r µ. enote ν = [m,µ] (then ν = µ). One can see that the double sum in the latter equality can be replaced by a single sum taken over the lists ν of degree n. Taking into account the obvious equalities we obtain (). ν! = m!µ!, c ν = n(n+)c µ, r ν = r m r µ, References [] A.V.GAVRILOV, The Leibniz formula for the covariant derivative and some applications(in Russian), Mat. Tr. (Matematicheskie Trudy)3(200), [2] S. HELGASON, On Riemannian curvature of homogeneous spaces, Proc. Amer. Math. Soc. 9(958), [3] S. HELGASON, Some remarks on the exponential mapping for an affine connection, Math. Scand. 9(96), [4] S. HELGASON, ifferential Geometry, Lie Groups and Symmetric Spaces, Graduate Studies in Mathematics. 34, AMS, Providence, Rhode Island, 978. [5] S. KOBAYASHI, K. NOMIZU, Foundations of ifferential Geometry, II, Interscience Publisher, New York, 963. Alexey V. Gavrilov, epartment of Physics, Novosibirsk State University, 2 Pirogov Street, Novosibirsk, , Russia gavrilov9@gmail.com
Archivum Mathematicum
Archivum Mathematicum Zdeněk Dušek; Oldřich Kowalski How many are affine connections with torsion Archivum Mathematicum, Vol. 50 (2014), No. 5, 257 264 Persistent URL: http://dml.cz/dmlcz/144068 Terms
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationAffine Connections: Part 2
Affine Connections: Part 2 Manuscript for Machine Learning Reading Group Talk R. Simon Fong Abstract Note for online manuscript: This is the manuscript of a one hour introductory talk on (affine) connections.
More informationAPPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction
APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationDifferential Geometry, Lie Groups, and Symmetric Spaces
Differential Geometry, Lie Groups, and Symmetric Spaces Sigurdur Helgason Graduate Studies in Mathematics Volume 34 nsffvjl American Mathematical Society l Providence, Rhode Island PREFACE PREFACE TO THE
More informationIn this lecture we define tensors on a manifold, and the associated bundles, and operations on tensors.
Lecture 12. Tensors In this lecture we define tensors on a manifold, and the associated bundles, and operations on tensors. 12.1 Basic definitions We have already seen several examples of the idea we are
More informationHadamard s Theorem. Rich Schwartz. September 10, The purpose of these notes is to prove the following theorem.
Hadamard s Theorem Rich Schwartz September 10, 013 1 The Result and Proof Outline The purpose of these notes is to prove the following theorem. Theorem 1.1 (Hadamard) Let M 1 and M be simply connected,
More informationMathematical Induction Assignments
1 Mathematical Induction Assignments Prove the Following using Principle of Mathematical induction 1) Prove that for any positive integer number n, n 3 + 2 n is divisible by 3 2) Prove that 1 3 + 2 3 +
More informationStructures in tangent categories
Structures in tangent categories Geoff Cruttwell Mount Allison University (joint work with Robin Cockett) Category Theory 2014 Cambridge, UK, June 30th, 2014 Outline What are tangent categories? Definitions:
More informationarxiv:math/ v1 [math.dg] 23 Dec 2001
arxiv:math/0112260v1 [math.dg] 23 Dec 2001 VOLUME PRESERVING EMBEDDINGS OF OPEN SUBSETS OF Ê n INTO MANIFOLDS FELIX SCHLENK Abstract. We consider a connected smooth n-dimensional manifold M endowed with
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
More informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationL 2 Geometry of the Symplectomorphism Group
University of Notre Dame Workshop on Innite Dimensional Geometry, Vienna 2015 Outline 1 The Exponential Map on D s ω(m) 2 Existence of Multiplicity of Outline 1 The Exponential Map on D s ω(m) 2 Existence
More informationA CHARACTERIZATION OF WARPED PRODUCT PSEUDO-SLANT SUBMANIFOLDS IN NEARLY COSYMPLECTIC MANIFOLDS
Journal of Mathematical Sciences: Advances and Applications Volume 46, 017, Pages 1-15 Available at http://scientificadvances.co.in DOI: http://dx.doi.org/10.1864/jmsaa_71001188 A CHARACTERIATION OF WARPED
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationINTEGRABILΠΎ OF G-STRUCTURES AND FLAT MANIFOLDS
J. DIFFERENTIAL GEOMETRY 16 (1981) 117-124 INTEGRABILΠΎ OF G-STRUCTURES AND FLAT MANIFOLDS KARSTEN GROVE & VAGN LUNDSGAARD HANSEN Following the terminology set out by Chern [8], [9], a G-structure on an
More informationLecture 8. Connections
Lecture 8. Connections This lecture introduces connections, which are the machinery required to allow differentiation of vector fields. 8.1 Differentiating vector fields. The idea of differentiating vector
More informationOn the commutator of differential operators1)
On the commutator of differential operators1) Dedicated to Prof Yoshie Katsurada celebrating her sixtieth birthday By Takeshi SUMITOMO \S 0 Introduction In [3]2) A Lichnorowicz has studied the basic properties
More informationWorksheet on Vector Fields and the Lie Bracket
Worksheet on Vector Fields and the Lie Bracket Math 6456 Differential Geometry January 8, 2008 Let M be a differentiable manifold and T M := p M T p M Definition 8 A smooth vector field is a mapping w
More informationJacobi fields. Introduction to Riemannian Geometry Prof. Dr. Anna Wienhard und Dr. Gye-Seon Lee
Jacobi fields Introduction to Riemannian Geometry Prof. Dr. Anna Wienhard und Dr. Gye-Seon Lee Sebastian Michler, Ruprecht-Karls-Universität Heidelberg, SoSe 2015 July 15, 2015 Contents 1 The Jacobi equation
More informationThe Atiyah bundle and connections on a principal bundle
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 3, June 2010, pp. 299 316. Indian Academy of Sciences The Atiyah bundle and connections on a principal bundle INDRANIL BISWAS School of Mathematics, Tata
More informationARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), Supplement,
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), Supplement, 357 368 REMARKS ON SYMMETRIES OF PARABOLIC GEOMETRIES LENKA ZALABOVÁ Abstract. We consider symmetries on filtered manifolds and we study the 1
More informationOn the exponential map on Riemannian polyhedra by Monica Alice Aprodu. Abstract
Bull. Math. Soc. Sci. Math. Roumanie Tome 60 (108) No. 3, 2017, 233 238 On the exponential map on Riemannian polyhedra by Monica Alice Aprodu Abstract We prove that Riemannian polyhedra admit explicit
More informationclass # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS
class # 34477 MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS [DG] stands for Differential Geometry at https://people.math.osu.edu/derdzinski.1/courses/851-852-notes.pdf [DFT]
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More information4.7 The Levi-Civita connection and parallel transport
Classnotes: Geometry & Control of Dynamical Systems, M. Kawski. April 21, 2009 138 4.7 The Levi-Civita connection and parallel transport In the earlier investigation, characterizing the shortest curves
More informationComparison for infinitesimal automorphisms. of parabolic geometries
Comparison techniques for infinitesimal automorphisms of parabolic geometries University of Vienna Faculty of Mathematics Srni, January 2012 This talk reports on joint work in progress with Karin Melnick
More informationLet F be a foliation of dimension p and codimension q on a smooth manifold of dimension n.
Trends in Mathematics Information Center for Mathematical Sciences Volume 5, Number 2,December 2002, Pages 59 64 VARIATIONAL PROPERTIES OF HARMONIC RIEMANNIAN FOLIATIONS KYOUNG HEE HAN AND HOBUM KIM Abstract.
More informationThe existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds. Sao Paulo, 2013
The existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds Zdeněk Dušek Sao Paulo, 2013 Motivation In a previous project, it was proved that any homogeneous affine manifold (and
More informationTangent bundles, vector fields
Location Department of Mathematical Sciences,, G5-109. Main Reference: [Lee]: J.M. Lee, Introduction to Smooth Manifolds, Graduate Texts in Mathematics 218, Springer-Verlag, 2002. Homepage for the book,
More informationVector Fields on the Space of Functions Univalent Inside the Unit Disk via Faber Polynomials
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 5 (2009), 032, pages Vector Fields on the Space of Functions Univalent Inside the Unit Disk via Faber Polynomials Helene AIRAULT LAMFA
More informationALMOST COMPLEX PROJECTIVE STRUCTURES AND THEIR MORPHISMS
ARCHIVUM MATHEMATICUM BRNO Tomus 45 2009, 255 264 ALMOST COMPLEX PROJECTIVE STRUCTURES AND THEIR MORPHISMS Jaroslav Hrdina Abstract We discuss almost complex projective geometry and the relations to a
More information1. Preliminaries. Given an m-dimensional differentiable manifold M, we denote by V(M) the space of complex-valued vector fields on M, by A(M)
Tohoku Math. Journ. Vol. 18, No. 4, 1966 COMPLEX-VALUED DIFFERENTIAL FORMS ON NORMAL CONTACT RIEMANNIAN MANIFOLDS TAMEHIRO FUJITANI (Received April 4, 1966) (Revised August 2, 1966) Introduction. Almost
More informationAs always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).
An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted
More informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More informationarxiv: v1 [math.dg] 19 Nov 2009
GLOBAL BEHAVIOR OF THE RICCI FLOW ON HOMOGENEOUS MANIFOLDS WITH TWO ISOTROPY SUMMANDS. arxiv:09.378v [math.dg] 9 Nov 009 LINO GRAMA AND RICARDO MIRANDA MARTINS Abstract. In this paper we study the global
More informationElements of differential geometry
Elements of differential geometry R.Beig (Univ. Vienna) ESI-EMS-IAMP School on Mathematical GR, 28.7. - 1.8. 2014 1. tensor algebra 2. manifolds, vector and covector fields 3. actions under diffeos and
More informationPolynomial Regression on Riemannian Manifolds
Polynomial Regression on Riemannian Manifolds Jacob Hinkle, Tom Fletcher, Sarang Joshi May 11, 212 arxiv:121.2395 Nonparametric Regression Number of parameters tied to amount of data present Example: kernel
More informationIsometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields
Chapter 16 Isometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields 16.1 Isometries and Local Isometries Recall that a local isometry between two Riemannian manifolds M
More informationSpacelike surfaces with positive definite second fundamental form in 3-dimensional Lorentzian manifolds
Spacelike surfaces with positive definite second fundamental form in 3-dimensional Lorentzian manifolds Alfonso Romero Departamento de Geometría y Topología Universidad de Granada 18071-Granada Web: http://www.ugr.es/
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationCHAPTER 1 PRELIMINARIES
CHAPTER 1 PRELIMINARIES 1.1 Introduction The aim of this chapter is to give basic concepts, preliminary notions and some results which we shall use in the subsequent chapters of the thesis. 1.2 Differentiable
More informationSOME ASPECTS ON CIRCLES AND HELICES IN A COMPLEX PROJECTIVE SPACE. Toshiaki Adachi* and Sadahiro Maeda
Mem. Fac. Sci. Eng. Shimane Univ. Series B: Mathematical Science 32 (1999), pp. 1 8 SOME ASPECTS ON CIRCLES AND HELICES IN A COMPLEX PROJECTIVE SPACE Toshiaki Adachi* and Sadahiro Maeda (Received December
More informationMATH DIFFERENTIAL GEOMETRY. Contents
MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 26 (2010), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 6 (010), 359 375 www.emis.de/journals ISSN 1786-0091 EXAMPLES AND NOTES ON GENERALIZED CONICS AND THEIR APPLICATIONS Á NAGY AND CS. VINCZE Abstract.
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationON HYPER SURFACE OF A FINSLER SPACE WITH AN EXPONENTIAL - METRIC OF ORDER M
An Open Access Online International Journal Available at http://wwwcibtechorg/jpmshtm 2016 Vol 6 (3) July-September pp 1-7/Shukla and Mishra ON HYPER SURFACE OF A FINSLER SPACE WITH AN EXPONENTIAL - METRIC
More informationCONFORMAL CIRCLES AND PARAMETRIZATIONS OF CURVES IN CONFORMAL MANIFOLDS
proceedings of the american mathematical society Volume 108, Number I, January 1990 CONFORMAL CIRCLES AND PARAMETRIZATIONS OF CURVES IN CONFORMAL MANIFOLDS T. N. BAILEY AND M. G. EASTWOOD (Communicated
More informationOn constant isotropic submanifold by generalized null cubic
On constant isotropic submanifold by generalized null cubic Leyla Onat Abstract. In this paper we shall be concerned with curves in an Lorentzian submanifold M 1, and give a characterization of each constant
More informationA SYMBOLIC-NUMERIC APPROACH TO THE SOLUTION OF THE BUTCHER EQUATIONS
CANADIAN APPLIED MATHEMATICS QUARTERLY Volume 17, Number 3, Fall 2009 A SYMBOLIC-NUMERIC APPROACH TO THE SOLUTION OF THE BUTCHER EQUATIONS SERGEY KHASHIN ABSTRACT. A new approach based on the use of new
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationarxiv: v1 [math.dg] 2 Oct 2015
An estimate for the Singer invariant via the Jet Isomorphism Theorem Tillmann Jentsch October 5, 015 arxiv:1510.00631v1 [math.dg] Oct 015 Abstract Recently examples of Riemannian homogeneous spaces with
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationKilling fields of constant length on homogeneous Riemannian manifolds
Killing fields of constant length on homogeneous Riemannian manifolds Southern Mathematical Institute VSC RAS Poland, Bedlewo, 21 October 2015 1 Introduction 2 3 4 Introduction Killing vector fields (simply
More informationLECTURE 10: THE PARALLEL TRANSPORT
LECTURE 10: THE PARALLEL TRANSPORT 1. The parallel transport We shall start with the geometric meaning of linear connections. Suppose M is a smooth manifold with a linear connection. Let γ : [a, b] M be
More information1-TYPE AND BIHARMONIC FRENET CURVES IN LORENTZIAN 3-SPACE *
Iranian Journal of Science & Technology, Transaction A, ol., No. A Printed in the Islamic Republic of Iran, 009 Shiraz University -TYPE AND BIHARMONIC FRENET CURES IN LORENTZIAN -SPACE * H. KOCAYIGIT **
More informationarxiv:math/ v1 [math.dg] 29 Sep 1998
Unknown Book Proceedings Series Volume 00, XXXX arxiv:math/9809167v1 [math.dg] 29 Sep 1998 A sequence of connections and a characterization of Kähler manifolds Mikhail Shubin Dedicated to Mel Rothenberg
More informationarxiv: v1 [math.cv] 14 Nov 2017
EXTENDING A FUNCTION JUST BY MULTIPLYING AND DIVIDING FUNCTION VALUES: SMOOTHNESS AND PRIME IDENTITIES arxiv:1711.07887v1 [math.cv] 14 Nov 2017 PATRICK ARTHUR MILLER ABSTRACT. We describe a purely-multiplicative
More informationAsymptotics of Integrals of. Hermite Polynomials
Applied Mathematical Sciences, Vol. 4, 010, no. 61, 04-056 Asymptotics of Integrals of Hermite Polynomials R. B. Paris Division of Complex Systems University of Abertay Dundee Dundee DD1 1HG, UK R.Paris@abertay.ac.uk
More informationTransformation Groups, Vol. 6, No. 2, 2001, pp QBirkh~user Boston (2001) INVARIANT LINEAR CONNECTIONS ON HOMOGENEOUS SYMPLECTIC VARIETIES
Transformation Groups, Vol. 6, No. 2, 2001, pp. 193-198 QBirkh~user Boston (2001) INVARIANT LINEAR CONNECTIONS ON HOMOGENEOUS SYMPLECTIC VARIETIES S. V. PIKULIN E. A. TEVELEV* Department of Mathematics
More informationIf F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,
Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu
More information2-harmonic maps and their first and second variational formulas i
Note di atematica Note at. 1(2008, suppl. n. 1, 209-232 ISSN 1123-2536, e-issn 1590-0932 DOI 10.1285/i15900932v28n1supplp209 Note http://siba2.unile.it/notemat di atematica 28, suppl. n. 1, 2009, 209 232.
More informationAbstract. Jacobi curves are far going generalizations of the spaces of \Jacobi
Principal Invariants of Jacobi Curves Andrei Agrachev 1 and Igor Zelenko 2 1 S.I.S.S.A., Via Beirut 2-4, 34013 Trieste, Italy and Steklov Mathematical Institute, ul. Gubkina 8, 117966 Moscow, Russia; email:
More informationYunhi Cho and Young-One Kim
Bull. Korean Math. Soc. 41 (2004), No. 1, pp. 27 43 ANALYTIC PROPERTIES OF THE LIMITS OF THE EVEN AND ODD HYPERPOWER SEQUENCES Yunhi Cho Young-One Kim Dedicated to the memory of the late professor Eulyong
More informationOperational significance of the deviation equation in relativistic geodesy arxiv: v1 [gr-qc] 17 Jan 2019
Operational significance of the deviation equation in relativistic geodesy arxiv:9.6258v [gr-qc] 7 Jan 9 Definitions Dirk Puetzfeld ZARM University of Bremen Am Fallturm, 28359 Bremen, Germany Yuri N.
More informationMonotone Point-to-Set Vector Fields
Monotone Point-to-Set Vector Fields J.X. da Cruz Neto, O.P.Ferreira and L.R. Lucambio Pérez Dedicated to Prof.Dr. Constantin UDRIŞTE on the occasion of his sixtieth birthday Abstract We introduce the concept
More informationSTRUCTURE OF GEODESICS IN A 13-DIMENSIONAL GROUP OF HEISENBERG TYPE
Steps in Differential Geometry, Proceedings of the Colloquium on Differential Geometry, 25 30 July, 2000, Debrecen, Hungary STRUCTURE OF GEODESICS IN A 13-DIMENSIONAL GROUP OF HEISENBERG TYPE Abstract.
More informationTHEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009
[under construction] 8 Parallel transport 8.1 Equation of parallel transport Consider a vector bundle E B. We would like to compare vectors belonging to fibers over different points. Recall that this was
More informationA Z N -graded generalization of the Witt algebra
A Z N -graded generalization of the Witt algebra Kenji IOHARA (ICJ) March 5, 2014 Contents 1 Generalized Witt Algebras 1 1.1 Background............................ 1 1.2 A generalization of the Witt algebra..............
More informationThe Geometry of Matrix Rigidity
The Geometry of Matrix Rigidity Joseph M. Landsberg Jacob Taylor Nisheeth K. Vishnoi November 26, 2003 Abstract Consider the following problem: Given an n n matrix A and an input x, compute Ax. This problem
More informationIsometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields
Chapter 15 Isometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields The goal of this chapter is to understand the behavior of isometries and local isometries, in particular
More informationEinstein H-umbilical submanifolds with parallel mean curvatures in complex space forms
Proceedings of The Eighth International Workshop on Diff. Geom. 8(2004) 73-79 Einstein H-umbilical submanifolds with parallel mean curvatures in complex space forms Setsuo Nagai Department of Mathematics,
More information#A69 INTEGERS 13 (2013) OPTIMAL PRIMITIVE SETS WITH RESTRICTED PRIMES
#A69 INTEGERS 3 (203) OPTIMAL PRIMITIVE SETS WITH RESTRICTED PRIMES William D. Banks Department of Mathematics, University of Missouri, Columbia, Missouri bankswd@missouri.edu Greg Martin Department of
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationYadernaya Fizika, 56 (1993) Soviet Journal of Nuclear Physics, vol. 56, No 1, (1993)
Start of body part published in Russian in: Yadernaya Fizika, 56 (1993) 45-5 translated in English in: Soviet Journal of Nuclear Physics, vol. 56, No 1, (1993) A METHOD FOR CALCULATING THE HEAT KERNEL
More informationFormal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More informationStrictly convex functions on complete Finsler manifolds
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 126, No. 4, November 2016, pp. 623 627. DOI 10.1007/s12044-016-0307-2 Strictly convex functions on complete Finsler manifolds YOE ITOKAWA 1, KATSUHIRO SHIOHAMA
More informationDistances, volumes, and integration
Distances, volumes, and integration Scribe: Aric Bartle 1 Local Shape of a Surface A question that we may ask ourselves is what significance does the second fundamental form play in the geometric characteristics
More informationON CONTRAVARIANT PRODUCT CONJUGATE CONNECTIONS. 1. Preliminaries
ON CONTRAVARIANT PRODUCT CONJUGATE CONNECTIONS A. M. BLAGA Abstract. Invariance properties for the covariant and contravariant connections on a Riemannian manifold with respect to an almost product structure
More informationTHE GAUSS MAP OF TIMELIKE SURFACES IN R n Introduction
Chin. Ann. of Math. 16B: 3(1995),361-370. THE GAUSS MAP OF TIMELIKE SURFACES IN R n 1 Hong Jianqiao* Abstract Gauss maps of oriented timelike 2-surfaces in R1 n are characterized, and it is shown that
More information7. Baker-Campbell-Hausdorff formula
7. Baker-Campbell-Hausdorff formula 7.1. Formulation. Let G GL(n,R) be a matrix Lie group and let g = Lie(G). The exponential map is an analytic diffeomorphim of a neighborhood of 0 in g with a neighborhood
More informationNOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES
NOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES SHILIN U ABSTRACT. The purpose of this note is to review the construction of smooth and holomorphic jet bundles and its relation to formal neighborhood of
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationGEODESIC VECTORS OF THE SIX-DIMENSIONAL SPACES
Steps in Differential Geometry, Proceedings of the Colloquium on Differential Geometry, 25 30 July, 2000, Debrecen, Hungary GEODESIC VECTORS OF THE SIX-DIMENSIONAL SPACES SZILVIA HOMOLYA Abstract. The
More informationGENERALIZED ANALYTICAL FUNCTIONS OF POLY NUMBER VARIABLE. G. I. Garas ko
7 Garas ko G. I. Generalized analytical functions of poly number variable GENERALIZED ANALYTICAL FUNCTIONS OF POLY NUMBER VARIABLE G. I. Garas ko Electrotechnical institute of Russia gri9z@mail.ru We introduce
More informationNotes on Cartan s Method of Moving Frames
Math 553 σιι June 4, 996 Notes on Cartan s Method of Moving Frames Andrejs Treibergs The method of moving frames is a very efficient way to carry out computations on surfaces Chern s Notes give an elementary
More informationOn the Merkulov construction of A -(co)algebras
On the Merkulov construction of A -(co)algebras Estanislao Herscovich Abstract The aim of this short note is to complete some aspects of a theorem proved by S. Merkulov in [7], Thm. 3.4, as well as to
More informationExamples of self-iterating Lie algebras
Journal of Algebra 302 2006) 881 886 www.elsevier.com/locate/jalgebra Examples of self-iterating Lie algebras V.M. Petrogradsky Faculty of Mathematics, Ulyanovsk State University, Lev Tolstoy 42, Ulyanovsk,
More informationDIFFERENTIAL GEOMETRY HW 12
DIFFERENTIAL GEOMETRY HW 1 CLAY SHONKWILER 3 Find the Lie algebra so(n) of the special orthogonal group SO(n), and the explicit formula for the Lie bracket there. Proof. Since SO(n) is a subgroup of GL(n),
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
More informationMath 210C. A non-closed commutator subgroup
Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for
More informationRepresentations of Matrix Lie Algebras
Representations of Matrix Lie Algebras Alex Turzillo REU Apprentice Program, University of Chicago aturzillo@uchicago.edu August 00 Abstract Building upon the concepts of the matrix Lie group and the matrix
More informationREGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES
REGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES MAKIKO SUMI TANAKA 1. Introduction This article is based on the collaboration with Tadashi Nagano. In the first part of this article we briefly review basic
More informationLECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.
LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one
More informationManifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds
MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold
More information