The G-Lift of Affine Connection in the Cotangent Bundle

Total Page:16

File Type:pdf, Size:1020Kb

The G-Lift of Affine Connection in the Cotangent Bundle Punjab University Journal of Mathematics ISSN: 1016-2526 Vol. 51(11)(2019) pp. 53-62 The g-lift of Affine Connection in The Cotangent Bundle Rabia Cakan and Esen Kemer Department of Mathemetics,Faculty of Arts and Sciences, 36000, Kafkas University,KARS, TURKEY, Email: [email protected] Email: [email protected] Received: 04 April, 2019 / Accepted: 27 June, 2019 / Published online: 01 October, 2019 Abstract. The g-lifts of affine connection and curvature tensor are ob- tained via the musical isomorphism in the cotangent bundle. AMS (MOS) Subject Classification Codes: 55R10; 53C15 Key Words: g-lift, complete lift, connection, curvature tensor, musical isomorphism, tan- gent bundle, cotangent bundle. 1. INTRODUCTION Musical isomorphism is provided between the tangent and cotangent bundles on the Riemannian Manifold. The exact origin of the term musical isomorphism is unknown. In 1971, the musical isomorphism was seen in the Berger and his collaborators’ study and the term musical isomorphism was not encountered before this year [3]. So it is thought that the musical isomorphism was first studied by Berger and his collaborators. The musical isomorphism defined by g metric tensor was extended by Poor [7]. Making use of the complete lifts on TM tangent bundles, Cakan and her collaborators construct the complete lifts of some tensor fields with different type on T ¤M cotangent bundles by means of a musical isomorphism [4]. The g-lifts of tensor fields are described via musical isomorphism newly by Cakan and Salimov [8]. Also the Riemannian manifolds and the tangent bundles studied a lot of authors [1, 2, 5, 6, 9, 10, 11, 12, 13] too. In the study that follows we solve ¤ two problems. Firstly we obtain the components of g¡lift of affine connection Gr via the musical isomorphism in the cotangent bundle T ¤M. Secondly we obtain components of ¤ g¡lift of curvature tensor GR via the musical isomorphism in the cotangent bundle T ¤M. Let M be a pseudo-Riemannian manifold with n dimension. The tangent bundle on M i i i i is denoted¡ ¢ by TM = [x2M TxM.The local¡ coordinates¢ on TM are (x ; x ) = (x ; y ) where xi are local coordinates on M and yi are vector space coordinates according to the basis @=@xi, i.e. y = yi @ 2 T M. The cotangent bundle on M is denoted by x @xi x ¡ ¢ ¤ ¤ ¤ i i i i T M = [x2M Tx M. The local coordinates on T M are (x ; xe ) = (x ; pi) where x i are local coordinates on M and pi are vector space coordinates according to the basis dx , 53 54 Rabia Cakan and Esen Kemer i ¤ i.e. px = pidx 2 Tx M. We use the ranges of the index i being f1; :::; ng and the index i being fn + 1; :::; 2ng. Let g be a pseudo Riemannian metric. g] : T ¤M ! TM is the musical isomorphism associated with g pseudo Riemannian metric with inverse given by g[ : TM ! T ¤M. The musical isomorphism g] is described by ] M m m m J j j j m j jm g :x ~ = (x ; x~ ) = (x ; pm) ! x = (x ; x ) = (±mx ; y = g pm) where ± is the Kronecker delta. In music notation, the sharp symbol ] increases a note by a half step. Similar to this musical notation, the musical isomorphism g] increases the indice of the vector space co- ordinate. The musical isomorphism g[ is described by [ I i i i i K k k¹ k i i g : x = (x ; x ) = (x ; y ) ! x~ = (x ; x~ ) = (±i x ; pk = gkiy ): In another music notation, the flat symbol [ lowers a note by a half step. Similar to this musical notation, the musical isomorphism g[ lowers the indice of the vector space coordinate. The Jacobian matrices of g[ is obtained by [4] µ ¶ µ ¶ ³ ´ M m [ eM @x~ ±j 0 (g¤) = AJ = J s (1. 1) @x y @jgms gmj and the Jacobian matrices of g] is obtained by µ J ¶ µ ¶ ] ¡ ¢ j J @x ±m 0 (g¤) = AM = = js jm : (1. 2) @x~M ps@mg g Let r be an affine connection on M and C r be the complete lift of r. Then C r is an affine connection on TM tangent bundle. We denote by ¡k the components of r affine ¡ ¢ ij connection with respect to the local coordinates xh in M and C ¡k the components of C r ¡ ¢ ij affine connection according to the induced coordinates xh; yh in TM. The g¡lifts are described newly by Cakan and Salimov. The g¡lifts of some tensor fields are obtained by transferring complete lifts of some tensor field from TM tangent bundle to T ¤M cotangent ¤ bundle via the musical isomorphism [8]. In this study we obtained the g¡lift Gr of r affine connection to the T ¤M cotangent bundle via the musical isomorphism. h Let R be curvature tensor of r affine connection with Rkji components on M manifold. ¤ GR the g¡lift of R curvature tensor is obtained to the T ¤M cotangent bundle via the musical isomorphism. 2. THE G-LIFT OF AFFINE CONNECTION Let M be a manifold with r affine connection. There exists a unique C r affine con- nection in TM which satisfies C C C rC Y Z = (rY Z) 1 for any Y; Z 2 =0 (M) [15]. The g-lift of Affine Connection in The Cotangent Bundle 55 ¡ ¢ Let ¡h be components of r according to the local coordinates xh in M. Let C ¡H ji ¡ ¢JI be components of the complete lift C r according to the induced coordinates xh; yh in TM. The components of the C r are given by C ¡h = ¡h ; C ¡h = 0; C ¡h = 0; C ¡h = 0 ji ji ji ji ji (2. 3) C ¡h = ys@ ¡h ; C ¡h = ¡h ; C ¡h = ¡h ; C ¡h = 0 ji s ji ji ji ji ji ji ¡ ¢ ¤ h h C H according to the induced coordinates x ; y in TM [14]. And Let ¡ JI be components ¤ ¡ ¢ C h ¤ of the complete lift r according to the induced coordinates x ; ph in T M. The ¤ components of the C r are given by ¤ ¤ ¤ ¤ C h h C h C h C h ¡ ji = ¡ji; ¡ ji = 0; ¡ ji = 0; ¡ ji = 0 (2. 4) ¤ C h ¡ s s s s t ¢ ¡ ji = ps @h¡ji ¡ @j¡ih ¡ @i¡jh + 2¡ht¡ji ¤ ¤ ¤ C h i C h j C h ¡ ji = ¡¡jh; ¡ ji = ¡¡hi; ¡ ji = 0 ¡ ¢ h ¤ according to the induced coordinates x ; ph in T M [15]. Theorem 2.1. Let M be a n¡dimensional pseudo Riemannian manifold with pseudo Rie- ¤ mannian metric g. Let C r and C r be complete lifts of r affine connection to TM and ¤ T ¤M, respectively. Then the differential of C r by g[, i.e. a g¡lift Gr in the cotangent ¤ bundle T ¤M, coincides with the complete lift C r in the cotangent bundle T ¤M if r is a Riemannian connection which is a metric connection with vanishing torsion. eK @2xK Proof. Using (1:1) and (1:2) from AJI = @xJ @xI equation we obtain the components ek ek ek ek Aji = 0; Aji = 0; Aji = 0; Aji = 0 (2. 5) p @2gks Aek = s ; Aek = @ gki; Aek = @ gkj; Aek = 0: ji @xj@xi ji j ji i ji ¤ Using (1:1) ; (1:2) ; (2:3) and (2:5) the components of Gr are obtained from equation µ ¶ ¤ [ C G H eM eS H C K H eK g¤ ¡ = ¡ JI = AJ AI AK ¡MS + AK AJI where H; I; ::: = 1; :::; 2n: ¤ G¡ h = AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k ji j i k ms j i k ms j i k ms j i k ms +AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k j i k ms j i k ms j i k ms j i k ms +AhAek + AhAek k ji k ji m s h k h = ±j ±i ±k ¡ms = ¡ji 56 Rabia Cakan and Esen Kemer ¤ G¡h = AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k ji j i k ms j i k ms j i k ms j i k ms k +AemAesAh C ¡ +AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k j i k ms j i k ms j i k ms j i k ms +AhAek + AhAek k ji k ji = 0 ¤ G¡h = AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k ji j i k ms j i k ms j i k ms j i k ms h em es h C k em es h C k em es C k em es h C k +A Ai A ¡ + A Ai A ¡ + A Ai A ¡ +A Ai A ¡ j k ms j k ms j k ms j k ms +AhAek + AhAek k ji k ji = 0 G¡h = AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k ji j i k ms j i k ms j i k ms j i k ms +AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k j i k ms j i k ms j i k ms j i k ms +AhAek + AhAek k ji k ji m si k ki = ±j g ghk¡ms + ghk@jg si 1 ki = g 2 (@jgsh + @sghj ¡ @hgjs) ¡ g @jghk 1 si = 2 g (¡@jgsh ¡ @hgjs + @sghj) 1 si = ¡ 2 g (@jgsh + @hgjs ¡ @sghj) i = ¡¡jh ¤ G¡h = AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k ji j i k ms j i k ms j i k ms j i k ms +AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k j i k ms j i k ms j i k ms j i k ms +AhAek + AhAek k ji k ji mj s k kj = g ±i ghk¡ms + ghk@ig mj k kj = g ghk¡mi ¡ g @ighk kj m kj = g ghm¡ki ¡ g @ighk kj 1 kj = g 2 (@kghi + @ighk ¡ @hgki) ¡ g @ighk 1 kj = ¡ 2 g (@hgki + @ighk ¡ @kghi) j = ¡¡hi ¤ G¡h = AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k ji j i k ms j i k ms j i k ms j i k ms +AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k j i k ms j i k ms j i k ms j i k ms +AhAek + AhAek k ji k ji = 0 The g-lift of Affine Connection in The Cotangent Bundle 57 ¤ G¡h = AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k ji j i k ms j i k ms j i k ms j i k ms +AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k j i k ms j i k ms j i k ms j i k ms +AhAek + AhAek k ji k ji = 0 ¤ G¡h = AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k ji j i k ms j i k ms j i k ms j i k ms +AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k + AemAesAh C ¡k j i k ms j i k ms j i k ms j i k ms +AhAek + AhAek k ji k ji m s t k m s t k mt s k = ±j ±i y @kgth¡ms + ±j ±i ghky @t¡ms + pt@jg ±i ghk¡ms m st k 2 tk +±j pt@ig ghk¡ms + ghkpt@jig t k t k mt k st k = y (@kgth)¡ji + ghky @t¡ji + pt@jg ghk¡mi + pt@ig ghk¡js 2 tk +ghkpt@jig t k t k mt k st k = y (@kgth)¡ji + ghky @t¡ji + pt (@j¡g ) g¢hk¡mi + pt (@ig ) ghk¡js t t sk k ts k ts ¡pt (@j¡ih) ¡ ghkpt¡is@jg ¡ ghkpt @j¡is g ¡ ghkpt¡is@jg t t k t k st k = ¡pt (@j¡ih) + y (@kgth¡)¡ji +¢ ghky @t¡ji + pt (@ig ) ghk¡js t sk k ts ¡ghkpt¡is@jg ¡ ghkpt @j¡is g ¡ ¢ t t k t k k ts = ¡pt (@j¡ih) + y (@kgth)¡ji¡+ ghk¢y @t¡ji ¡ ghkpt @j¡is g st k t sk +pt (@ig ) ghk¡js ¡ ghkpt¡is @jg ¡ ¢ t t k ts k ts k = ¡pt (@j¡ih) + y (@kgth)¡ji + ghk g ps@t¡ ji ¡ ptg @j¡is ¢ s mt t sm k t s mk k ms +pt (¡¡img
Recommended publications
  • 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]
  • On a Class of Einstein Space-Time Manifolds
    Publ. Math. Debrecen 67/3-4 (2005), 471–480 On a class of Einstein space-time manifolds By ADELA MIHAI (Bucharest) and RADU ROSCA (Paris) Abstract. We deal with a general space-time (M,g) with usual differen- tiability conditions and hyperbolic metric g of index 1, which carries 3 skew- symmetric Killing vector fields X, Y , Z having as generative the unit time-like vector field e of the hyperbolic metric g. It is shown that such a space-time (M,g) is an Einstein manifold of curvature −1, which is foliated by space-like hypersur- faces Ms normal to e and the immersion x : Ms → M is pseudo-umbilical. In addition, it is proved that the vector fields X, Y , Z and e are exterior concur- rent vector fields and X, Y , Z define a commutative Killing triple, M admits a Lorentzian transformation which is in an orthocronous Lorentz group and the distinguished spatial 3-form of M is a relatively integral invariant of the vector fields X, Y and Z. 0. Introduction Let (M,g) be a general space-time with usual differentiability condi- tions and hyperbolic metric g of index 1. We assume in this paper that (M,g) carries 3 skew-symmetric Killing vector fields (abbr. SSK) X, Y , Z having as generative the unit time-like vector field e of the hyperbolic metric g (see[R1],[MRV].Therefore,if∇ is the Levi–Civita connection and ∧ means the wedge product of vector Mathematics Subject Classification: 53C15, 53D15, 53C25. Key words and phrases: space-time, skew-symmetric Killing vector field, exterior con- current vector field, orthocronous Lorentz group.
    [Show full text]
  • On Riemannian Manifolds Endowed with a Locally Conformal Cosymplectic Structure
    ON RIEMANNIAN MANIFOLDS ENDOWED WITH A LOCALLY CONFORMAL COSYMPLECTIC STRUCTURE ION MIHAI, RADU ROSCA, AND VALENTIN GHIS¸OIU Received 18 September 2004 and in revised form 7 September 2005 We deal with a locally conformal cosymplectic manifold M(φ,Ω,ξ,η,g)admittingacon- formal contact quasi-torse-forming vector field T. The presymplectic 2-form Ω is a lo- cally conformal cosymplectic 2-form. It is shown that T is a 3-exterior concurrent vector field. Infinitesimal transformations of the Lie algebra of ∧M are investigated. The Gauss map of the hypersurface Mξ normal to ξ is conformal and Mξ × Mξ is a Chen submanifold of M × M. 1. Introduction Locally conformal cosymplectic manifolds have been investigated by Olszak and Rosca [7] (see also [6]). In the present paper, we consider a (2m + 1)-dimensional Riemannian manifold M(φ, Ω,ξ,η,g) endowed with a locally conformal cosymplectic structure. We assume that M admits a principal vector field (or a conformal contact quasi-torse-forming), that is, ∇T = sdp + T ∧ ξ = sdp + η ⊗ T − T ⊗ ξ, (1.1) with ds = sη. First, we prove certain geometrical properties of the vector fields T and φT. The exis- tence of T and φT is determined by an exterior differential system in involution (in the sense of Cartan [3]). The principal vector field T is 3-exterior concurrent (see also [8]), it defines a Lie relative contact transformation of the co-Reeb form η, and the Lie differential of T with respect to T is conformal to T.ThevectorfieldφT is an infinitesimal transfor- mation of generators T and ξ.Thevectorfieldsξ, T,andφT commute and the distri- bution DT ={T,φT,ξ} is involutive.
    [Show full text]
  • A. Vector and Affine Spaces
    A. Vector and affine spaces This appendix reviews basic facts about vector and affine spaces, including the notions of metric and orientation. To a large extent, the treatment follows Malament (2009). A.1. Matrices Definition 34. An m n matrix is a rectangular table of mn real numbers A , where ⇥ ij 1 i m and 1 j n, arrayed as follows: A A A 11 12 ··· 1n 0 A21 A22 A2n 1 ··· (A.1) . .. B . C B C BA A A C B m1 m2 mnC @ ··· A The operation of matrix multiplication is defined as follows. Definition 35. Given an m n matrix A and an n p matrix B, their matrix product AB ⇥ ⇥ is the m p matrix with entries (AB)i , where ⇥ k i i j (AB) k = A jB k (A.2) Note that this uses the Einstein summation convention: repeated indices are summed over. Definition 36. Given an m n matrix Ai , its transpose is an n m matrix denoted by ⇥ j ⇥ A j, and defined by the condition that for all 1 i m and 1 j n, A j = Ai , i i j An element of Rn can be identified with an n 1 matrix; as such, an m n matrix A ⇥ ⇥ encodes a map A : Rm Rn. Such a map is linear, in the sense that for any xi, yi Rm ! 2 97 and any a, b R, 2 i j j i j i j A j(ax + by )=a(A jx )+b(A jy ) (A.3) And, in fact, any linear map from Rm to Rn corresponds to some matrix.
    [Show full text]
  • Exterior Derivative
    Exterior derivative On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. e exterior derivative was first described in its current form by Élie Cartan in 1899; it allows for a natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus. If a k-form is thought of as measuring the flux through an infinitesimal k-parallelotope, then its exterior derivative can be thought of as measuring the net flux through the boundary of a (k + 1)-parallelotope. Contents Definition In terms of axioms In terms of local coordinates In terms of invariant formula Examples Stokes' theorem on manifolds Further properties Closed and exact forms de Rham cohomology Naturality Exterior derivative in vector calculus Gradient Divergence Curl Invariant formulations of grad, curl, div, and Laplacian See also Notes References Definition e exterior derivative of a differential form of degree k is a differential form of degree k + 1. If f is a smooth function (a 0-form), then the exterior derivative of f is the differential of f . at is, df is the unique 1-form such that for every smooth vector field X, df (X) = dX f , where dX f is the directional derivative of f in the direction of X. ere are a variety of equivalent definitions of the exterior derivative of a general k-form. In terms of axioms e exterior derivative is defined to be the unique ℝ-linear mapping from k-forms to (k + 1)-forms satisfying the following properties: 1.
    [Show full text]
  • Global Divergence Theorems in Nonlinear Pdes and Geometry
    SOCIEDADE BRASILEIRA DE MATEMATICA´ ENSAIOS MATEMATICOS´ 2014, Volume 26, 1{77 Global divergence theorems in nonlinear PDEs and geometry Stefano Pigola Alberto G. Setti Abstract. These lecture notes contain, in a slightly expanded form, the material presented at the Summer School in Differential Geometry held in January 2012 in the Universidade Federal do Cear´a-UFC, Fortaleza. The course aims at giving an overview of some Lp-extensions of the classical divergence theorem to non-compact Riemannian manifolds without boundary. The red wire connecting all these extensions is represented by the notion of parabolicity with respect to the p-Laplace operator. It is a non-linear differential operator which is naturally related to the p-energy of maps and, therefore, to Lp-integrability properties of vector fields. To show the usefulness of these tools, a certain number of applications both to (systems of) PDEs and to the global geometry of the underlying manifold are presented. 2010 Mathematics Subject Classification: 31C12, 31C15, 31C45, 53C20, 53C21, 58E20. Acknowledgments The authors are grateful to the Department of Mathematics of the Universidade Federal do Cear´a-UFC for the invitation to participate in the Summer School and for the very warm hospitality. A special thank goes to G. Pacelli Bessa, Luqu´esioJorge and Jorge H. de Lira. The first author is also grateful to Giona Veronelli for suggestions and helpful discussions related to the topics of the paper. Contents 1 The divergence theorem in the compact setting: introduc- tory examples7 1.1 Introduction.............................7 1.2 Basic notation...........................8 1.2.1 Manifold and curvature tensors.............8 1.2.2 Metric objects and their measures...........9 1.2.3 Differential operators...................9 1.2.4 Function spaces.....................
    [Show full text]
  • Hydrodynamics and Infinite Dimensional Riemannian Geometry
    HYDRODYNAMICS AND INFINITE-DIMENSIONAL RIEMANNIAN GEOMETRY JONATHAN EVANS These are the notes from a propaganda-talk for the book of Arnold-Khesin called \Topological Methods in Hydrodynamics" [1]. It also draws heavily from Khesin- Wendt \The geometry of infinite-dimensional groups" [4]. 1. Lie groups and the symplectic geometry of coadjoint orbits Let G be a (possibly Fr`echet) Lie group, g its Lie algebra and g∗ the dual of g (the space of momenta). The latter is the space of continuous linear functionals on g and as such is not naturally a Lie algebra (in the infinite dimensional case it need not even be a Fr`echet space). We will see that the Lie algebra structure on g shows up geometrically on g∗ as a Poisson structure. Theorem 1. g∗ admits a Poisson bracket f; g : C1(g∗) × C1(g∗) !C1(g∗) i.e. an R-bilinear, antisymmetric form which satisfies the Jacobi identity and such that ff; −} is a derivation for any f. Such a derivation defines a vector field ∗ on g called vf , the Hamiltonian vector field associated to f and the span of the Hamiltonian vector fields gives an integrable distribution on g∗ whose integral leaves are the orbits of the coadjoint action of G on g∗. These inherit a natural symplectic structure. In the infinite dimensional case we need to take care. We must restrict attention to regular functions f 2 C1(g∗) whose derivative df : g∗ ! R is in the subspace g ⊂ g∗∗. Proof. The Poisson bracket is defined by ff; gg(m) := hm; [df; dg]i where m 2 g∗, h; i is the natural pairing g∗ × g ! R and df and dg are considered as elements of g.
    [Show full text]
  • 1. 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 consi- der (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations Given a local chart (U, φ) on M, we will denote by (xi)16i6n the local coordinates and we write in these coordinates n X i j g = gijdx dx , i,j=1 ∂ ∂ ij where gij(x) = g , . We denote by (g ) the coefficient of the ∂xi ∂xj inverse matrix. Given x ∈ M, the norm of v ∈ TxM is given by |v|x = 1/2 1/2 gx(v, v) , which will sometimes be denoted hv, vix . In the following, we will often drop the index x. Note that if we are given other coordinates (yj), then one can check that in these new coordinates : n X ∂xi ∂xj k l (1.1) g = gij dy dy ∂yk ∂yl i,j,k,l=1 We define the musical isomorphism at x ∈ M by ∗ TxM → Tx M [ : v 7→ v[ = g(v, ·) This is an isomorphism between the two vector bundles TM and T ∗M since they are equidimensional and g is symmetric definite positive, thus non-degenerate. Given an orthonormal basis (ei) of TxM, we will denote i ∗ by (e ) the dual basis of Tx M which is, in other words, the image of the basis (ei) by the musical isomorphism. If E is a vector bundle over M, then the projection will be denoted π : E → M. We denote by Γ(M, E) the set of smooth sections of E.
    [Show full text]
  • Some Notes on the Gh-Lifts of Affine Connections
    Trans. Natl. Acad. Sci. Azerb. Ser. Phys.-Tech. Math. Sci. Mathematics, 40 (4), 33-39 (2020). http://dx.doi.org/10.29228/proc.41 Some notes on the gh-lifts of affine connections Rabia Cakan Akpınar Received: 05.11.2019 / Revised: 05.04.2020 / Accepted: 08.05.2020 Abstract. Let M be a differentiable manifold with dimension n and T ∗M be its cotangent bundle. In this paper, we determine the gh − lift of the affine connection via the musical isomorphism on the cotangent bundle T ∗M. We obtain the torsion tensor, curvature tensor and geodesic curve of the gh − lift of Levi- Civita connection. Keywords. Horizontal lift, connection, curvature tensor, musical isomorphism, geodesic. Mathematics Subject Classification (2010): 55R10, 53C05 1 Introduction The connections were studied from an infinitesimal perspective in Riemannian geometry. Several authors investigated the lifts of connections on the different type bundle. Pogoda [8] defined the horizontal lift of basic connections of order r to a transverse naturel vector bundle and studied its properties. Salimov and Fattayev [9] determined the horizontal lift and complete lifts of the linear connection from a smooth manifold to its coframe bundle. Several authors investigated the lifts of connections on the cotangent bundle T ∗M. Yano and Patterson [10] applied the horizontal lifts which was defined by them to the symmet- ric connections on the cotangent bundle T ∗M. Kures [6] determined all natural operators transforming classical torsion-free linear connections on a manifold M into classical linear connections on the cotangent bundle T ∗M. Also the Riemannian manifolds and the cotan- gent bundles have been studied by many authors [3,7,4,5].
    [Show full text]
  • Generalized Gradient on Vector Bundle - Application to Image Denoising Thomas Batard, Marcelo Bertalmío
    Generalized Gradient on Vector Bundle - Application to Image Denoising Thomas Batard, Marcelo Bertalmío To cite this version: Thomas Batard, Marcelo Bertalmío. Generalized Gradient on Vector Bundle - Application to Image Denoising. 2013. hal-00782496 HAL Id: hal-00782496 https://hal.archives-ouvertes.fr/hal-00782496 Preprint submitted on 29 Jan 2013 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Generalized Gradient on Vector Bundle - Application to Image Denoising Thomas Batard and Marcelo Bertalm´ıo Department of Information and Communication Technologies University Pompeu Fabra, Spain {thomas.batard,marcelo.bertalmio}@upf.edu Abstract. We introduce a gradient operator that generalizes the Eu- clidean and Riemannian gradients. This operator acts on sections of vector bundles and is determined by three geometric data: a Rieman- nian metric on the base manifold, a Riemannian metric and a covariant derivative on the vector bundle. Under the assumption that the covariant derivative is compatible with the metric of the vector bundle, we consider the problems of minimizing the L2 and L1 norms of the gradient. In the L2 case, the gradient descent for reaching the solutions is a heat equation of a differential operator of order two called connection Laplacian.
    [Show full text]
  • Linear Analysis on Manifolds
    Linear Analysis on Manifolds 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 . 20 1.12 Differential operators . 21 1.13 Exercises . 23 1.14 Bibliography . 25 2 A brief introduction to Riemannian geometry 27 2.1 Riemannian metrics . 27 2.2 Parallel translation . 30 2.3 Geodesics . 34 2.4 Levi-Civita connection . 37 i ii CONTENTS 2.5 Associated bundles . 39 2.6 E-valued forms . 40 2.7 Curvature . 42 2.8 Complete manifolds of bounded geometry . 46 2.9 Riemannian volume and formal adjoint . 46 2.10 Hodge star and Hodge Laplacian . 48 2.11 Exercises . 51 2.12 Bibliography . 54 3 Laplace-type and Dirac-type operators 57 3.1 Principal symbol of a differential operator . 57 3.2 Laplace-type operators . 60 3.3 Dirac-type operators . 61 3.4 Clifford algebras . 64 3.5 Hermitian vector bundles . 69 3.6 Examples . 73 3.6.1 The Gauss-Bonnet operator . 73 3.6.2 The signature operator . 75 3.6.3 The @ operator . 76 3.6.4 The Dirac operator . 78 3.6.5 Twisted Clifford modules . 80 3.7 Supplement: Spin structures . 80 3.8 Exercises . 85 3.9 Bibliography .
    [Show full text]
  • Spin and Clifford Algebras, an Introduction M
    Spin and Clifford algebras, an introduction M. Lachièze-Rey To cite this version: M. Lachièze-Rey. Spin and Clifford algebras, an introduction. 7th International Conference on Clifford Algebras and their Applications, May 2005, Toulouse (France), France. pp.687-720, 10.1007/s00006- 009-0187-y. hal-00502337 HAL Id: hal-00502337 https://hal.archives-ouvertes.fr/hal-00502337 Submitted on 13 Jul 2010 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Spin and Clifford algebras, an introduction Marc Lachi`eze-Rey Laboratoire AstroParticules et Cosmologie UMR 7164 (CNRS, Universit´eParis 7, CEA, Observatoire de Paris) July 13, 2010 Abstract In this short pedagogical presentation, we introduce the spin groups and the spinors from the point of view of group theory. We also present, independently, the construction of the low dimensional Clifford algebras. And we establish the link between the two approaches. Finally, we give some notions of the generalisations to arbitrary space- times, by the introduction of the spin and spinor bundles. Contents 1 Clifford algebras 2 1.1 Preliminaries: tensor algebra and exterior algebra over a vector space . 2 1.1.1 Tensor algebra over a vector space .
    [Show full text]