DOCSLIB.ORG

Generalized Affine Connections Associated with the Space of Centered Planes

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Generalized Affine Connections Associated with the Space of Centered Planes mathematics Article Generalized Affine Connections Associated with the Space of Centered Planes Olga Belova Institute of Physical and Mathematical Sciences and IT, Immanuel Kant Baltic Federal University, A. Nevsky Str. 14, 236016 Kaliningrad, Russia; [email protected]; Tel.: +7-921-610-5949 Abstract: Our purpose is to study a space P of centered m-planes in n-projective space. Generalized fiberings (with semi-gluing) are investigated. Planar and normal affine connections associated with the space P are set in the generalized fiberings. Fields of these affine connection objects define torsion and curvature tensors. The canonical cases of planar and normal generalized affine connections are considered. Keywords: projective space; space of centered planes; planar generalized affine connection; normal generalized affine connection 1. Introduction The theory of connections occupies an important place in differential geometry. The concept of connection was introduced by T. Levi-Civita [1] as a parallel displacement of tangent vectors of a manifold. Weyl introduced the concept of a space of the affine connection [2]. This concept was continued in the works of Cartan [3] and Ehresmann [4]. Citation: Belova, O. Generalized Different ways to determine the connection were inputted by Nomizu [5], Vagner [6], and Affine Connections Associated with Laptev [7]. Veblen and Whitehead [8] introduced a connection in a composite manifold. the Space of Centered Planes. In [9], Laptev gave an invariant definition of connections as a certain law defining the Mathematics 2021, 9, 782. https:// mapping of infinitely close fibres. He also provided a well-known theoretical-group method doi.org/10.3390/math9070782 on the basis of the Cartan calculation. Rashevskii [10], Nomizu [11], and Norden [12] studied affine connections. Generalized Academic Editor: Marian Ioan affine connections were considered in book [13], where a relation was shown between a Munteanu generalized affine connection and a linear connection (see also [14,15]). In [16], all invariant affine connections on three-dimensional symmetric homogeneous spaces admitting a nor- Received: 12 March 2021 mal connection were described; canonical connections and natural torsion-free connections Accepted: 3 April 2021 were also considered. Published: 5 April 2021 The theory of affine connections is widely used in physics [17–21] and by studying geodesics [22] (see, e.g., [23–28]). Publisher’s Note: MDPI stays neutral This paper is the result of the author’s research [29,30], where the concepts of gen- with regard to jurisdictional claims in eralized bundles are used (see, e.g., [31]). Principal fibering with gluing to the base was published maps and institutional affil- introduced in the paper [32] and generalized principal fibering (a principal fibering with iations. semi-gluing to the base) was introduced in the paper [33]. Connections in the fiberings associated with the space of centered planes were studied in [34,35]. In the present paper, generalized affine connections associated with this space are considered. The notion of vector, or specifically, principal bundles over a smooth manifold is one Copyright: © 2021 by the authors. of the central notions in modern mathematics and its applications to mathematical and Licensee MDPI, Basel, Switzerland. theoretical physics. In particular, all known types of physical interactions (gravitational, This article is an open access article electromagnetic, etc.) are described in terms of connections and other geometric structures distributed under the terms and on vector/principal bundles on underlying manifolds. The properties of physical fields conditions of the Creative Commons can be formulated in terms of geometric invariants of connections such as curvature and Attribution (CC BY) license (https:// characteristic classes of corresponding vector/principal bundles [36]. creativecommons.org/licenses/by/ 4.0/). Mathematics 2021, 9, 782. https://doi.org/10.3390/math9070782 https://www.mdpi.com/journal/mathematics Mathematics 2021, 9, 782 2 of 9 There are affine connections which arise in different contexts. These connections are used in geometry for illustration of parallel transports, and they can be applied to mechanics. Therefore, I hope this article will be of interest to geometers and physicists. The important role of the affine connections and the previous author’s work in the study of manifolds of planes was the motivation for writing this paper. This paper will be arranged in the following way. Section2 will describe the analytical apparatus and the space of centered planes as the object of research. In Sections3 and4, a review of planar and normal generalized affine connections will be given, respectively. A brief summary of the paper is given in Section5. 2. Analytical Apparatus and Object of Research It is a well-known fact that projective space Pn can be represented as a quotient space Ln+1/ ∼ of a linear space Ln+1 with respect to equivalence (collinearity) ∼ of non-zero vectors, that is, Pn = (Ln+1 n f0g)/ ∼. Projective frame in the space Pn is a system formed 0 by points AI0 , I = 0, ..., n, and a unit point E (see [37]). In linear space Ln+1, linearly n independent vectors eI0 correspond to the points AI0 , and a vector e = ∑ eI0 corresponds I0=0 to the point E. Moreover, these vectors are determined in the space Ln+1 with accuracy up to a common factor. The unit point is specified together with the basic points, although you do not have to mention it every time. In the present paper, we will use the method of a moving frame (see, e.g., [38]) fA, AI g, I, ... = 1, ..., n, the derivation formulae of the vertices of which are I J dA = qA + w AI, dAI = qAI + wI AJ + wI A, I I where the form q acts as a proportionality factor, and the structure forms w , wJ , wI of the projective group GP(n), effectively acting on the space Pn, and satisfying the Cartan equations (see [39], cf. [40]) I J I I K I I K I J Dw = w ^ wJ , DwJ = wJ ^ wK + dJ wK ^ w + wJ ^ w , DwI = wI ^ wJ. Throughout this paper, d is the symbol of ordinary differentiation in the space Pn, and D is the symbol of exterior differentiation. This apparatus is successfully used by geometers in Kaliningrad (see, e.g., [41]). In the projective space Pn, a space P (see [34,42,43]) of all centered m-dimensional planes is considered (cf. [44–47]). Vertices A and Aa, a, ... = 1, ..., m, of the moving frame a a a are placed on the centered plane, with vertex A fixed as a centre. The forms w , w , wa (a, ... = m + 1, ..., n) are the basic forms of the space P. Remark 1. The space P is a differentiable manifold whose points are m-dimensional centered planes. The technique used in the present paper was based on the Laptev–Lumiste method. This, in turn, requires knowledge of calculating external differential forms. 3. Planar Generalized Affine Connection Now we introduce the following definition. Definition 1. A smooth manifold with structure equations a b a a a a b a a a Dw = w ^ wb + w ^ wa, Dw = w ^ wb + w ^ wa , a b b a a b a (1) Dwa = wb ^ (da wb − dbwa ) − w ^ wa, a c a c a a a a a a Dwb = wb ^ wc − w ^ (dc wb + db wc) − db w ^ wa + wb ^ wa is called a generalized bundle of planar affine frames [48] and is denoted by Am2+[m](P). Mathematics 2021, 9, 782 3 of 9 Remark 2. The symbol m is enclosed in square brackets, since m forms wa are included in both basic and fibre forms. We will call the forms wa basic-fibre. To define an affine connection in the generalized bundle Am2+[m](P), we extend to it the Laptev–Lumiste method of defining group connections in principal bundles. We a a transform the basic-fibre forms w and fibre forms wb of the fibering Am2+[m](P), using a a a linear combinations of the basic forms w , w , wa [32] as follows: a a a b a a ab a a a a c a a ac a w˜ = w − Cb w − Caw − Ca wb , w˜ b = wb − Gbcw − Gbaw − Gbawc . (2) Finding the exterior differentials of forms (2) with the help of structure equations (1) and applying the Cartan–Laptev theorem in this generalized case, we obtain a = a c + a a + a,c a DCb Cb,cw Cb,aw Cb,awc , a a b ab a a b a b a,b b DCa − Cb wa + Ca wb + wa = Ca,bw + Ca,bw + Ca,bwb , ab ab c ab b ab,c b DCa = Ca,cw + Ca bw + C wc , , a,b (3) a − a − a = a d + a a + a,d a DGbc db wc dc wb Gbc,dw Gbc,aw Gbc,awd , a − a c + ac − a = a c + a b + a,c b DGba Gbcwa Gbawc db wa Gba,cw Gba,bw Gba,bwc , ac + c a = ac d + ac b + ac,d b DGba dbwa Gba,dw Gba,bw Gba,bwd , a where Cb,c, ... are Pfaffian derivatives [32], and D is a tensor differential operator acting a a e a a e according to the law DCb = dCb + Cbwe − Ce wb (see, e.g., [49]). We will use the following terminology (see [50]): A substructure of a structure S is called simple if it is not a union of two substructures of the structure S. A simple substructure is called the simplest if it, in turn, does not have a substructure. P a a ab a a Statement 1. The object of a planar generalized affine connection G= fCb, Ca, Ca , Gbc, Gba, ac a ab Gbag associated with the space P of centered planes contains two simplest tensors Cb, Ca in a a ab a simple quasi-tensor of a connection C = fCb, Ca, Ca g and two simplest subquasi-tensors a ac a a ac Gbc, Gba of a simple quasi-tensor of a planar linear connection fGbc, Gba, Gbag.
Load more

Recommended publications
  • Connections on Bundles Md
    Dhaka Univ. J. Sci. 60(2): 191-195, 2012 (July) Connections on Bundles Md. Showkat Ali, Md. Mirazul Islam, Farzana Nasrin, Md. Abu Hanif Sarkar and Tanzia Zerin Khan Department of Mathematics, University of Dhaka, Dhaka 1000, Bangladesh, Email: [email protected] Received on 25. 05. 2011.Accepted for Publication on 15. 12. 2011 Abstract This paper is a survey of the basic theory of connection on bundles. A connection on tangent bundle , is called an affine connection on an -dimensional smooth manifold . By the general discussion of affine connection on vector bundles that necessarily exists on which is compatible with tensors. I. Introduction = < , > (2) In order to differentiate sections of a vector bundle [5] or where <, > represents the pairing between and ∗. vector fields on a manifold we need to introduce a Then is a section of , called the absolute differential structure called the connection on a vector bundle. For quotient or the covariant derivative of the section along . example, an affine connection is a structure attached to a differentiable manifold so that we can differentiate its Theorem 1. A connection always exists on a vector bundle. tensor fields. We first introduce the general theorem of Proof. Choose a coordinate covering { }∈ of . Since connections on vector bundles. Then we study the tangent vector bundles are trivial locally, we may assume that there is bundle. is a -dimensional vector bundle determine local frame field for any . By the local structure of intrinsically by the differentiable structure [8] of an - connections, we need only construct a × matrix on dimensional smooth manifold . each such that the matrices satisfy II.
    [Show full text]
  • Curvature Tensors in a 4D Riemann–Cartan Space: Irreducible Decompositions and Superenergy
    Curvature tensors in a 4D Riemann–Cartan space: Irreducible decompositions and superenergy Jens Boos and Friedrich W. Hehl [email protected] [email protected]"oeln.de University of Alberta University of Cologne & University of Missouri (uesday, %ugust 29, 17:0. Geometric Foundations of /ravity in (artu Institute of 0hysics, University of (artu) Estonia Geometric Foundations of /ravity Geometric Foundations of /auge Theory Geometric Foundations of /auge Theory ↔ Gravity The ingredients o$ gauge theory: the e2ample o$ electrodynamics ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: redundancy conserved e2ternal current 5 ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: Complex spinor 6eld: redundancy invariance conserved e2ternal current 5 conserved #7,8 current ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: Complex spinor 6eld: redundancy invariance conserved e2ternal current 5 conserved #7,8 current Complete, gauge-theoretical description: 9 local #7,) invariance ,3,. The ingredients o$ gauge theory: the e2ample o$ electrodynamics 0henomenological Ma24ell: iers Complex spinor 6eld: rce carr ry of fo mic theo rrent rosco rnal cu m pic en exte att desc gredundancyiv er; N ript oet ion o conserved e2ternal current 5 invariance her f curr conserved #7,8 current e n t s Complete, gauge-theoretical description: gauge theory = complete description of matter and 9 local #7,) invariance how it interacts via gauge bosons ,3,. Curvature tensors electrodynamics :ang–Mills theory /eneral Relativity 0oincaré gauge theory *3,. Curvature tensors electrodynamics :ang–Mills theory /eneral Relativity 0oincaré gauge theory *3,. Curvature tensors electrodynamics :ang–Mills theory /eneral Relativity 0oincar; gauge theory *3,.
    [Show full text]
  • Analyzing Non-Degenerate 2-Forms with Riemannian Metrics
    EXPOSITIONES Expo. Math. 20 (2002): 329-343 © Urban & Fischer Verlag MATHEMATICAE www.u rba nfischer.de/journals/expomath Analyzing Non-degenerate 2-Forms with Riemannian Metrics Philippe Delano~ Universit~ de Nice-Sophia Antipolis Math~matiques, Parc Valrose, F-06108 Nice Cedex 2, France Abstract. We give a variational proof of the harmonicity of a symplectic form with respect to adapted riemannian metrics, show that a non-degenerate 2-form must be K~ihlerwhenever parallel for some riemannian metric, regardless of adaptation, and discuss k/ihlerness under curvature assmnptions. Introduction In the first part of this paper, we aim at a better understanding of the following folklore result (see [14, pp. 140-141] and references therein): Theorem 1 . Let a be a non-degenerate 2-form on a manifold M and g, a riemannian metric adapted to it. If a is closed, it is co-closed for g. Let us specify at once a bit of terminology. We say a riemannian metric g is adapted to a non-degenerate 2-form a on a 2m-manifold M, if at each point Xo E M there exists a chart of M in which g(Xo) and a(Xo) read like the standard euclidean metric and symplectic form of R 2m. If, moreover, this occurs for the first jets of a (resp. a and g) and the corresponding standard structures of R 2m, the couple (~r,g) is called an almost-K~ihler (resp. a K/ihler) structure; in particular, a is then closed. Given a non-degenerate, an adapted metric g can be constructed out of any riemannian metric on M, using Cartan's polar decomposition (cf.
    [Show full text]
  • Parallel Spinors and Connections with Skew-Symmetric Torsion in String Theory*
    ASIAN J. MATH. © 2002 International Press Vol. 6, No. 2, pp. 303-336, June 2002 005 PARALLEL SPINORS AND CONNECTIONS WITH SKEW-SYMMETRIC TORSION IN STRING THEORY* THOMAS FRIEDRICHt AND STEFAN IVANOV* Abstract. We describe all almost contact metric, almost hermitian and G2-structures admitting a connection with totally skew-symmetric torsion tensor, and prove that there exists at most one such connection. We investigate its torsion form, its Ricci tensor, the Dirac operator and the V- parallel spinors. In particular, we obtain partial solutions of the type // string equations in dimension n = 5, 6 and 7. 1. Introduction. Linear connections preserving a Riemannian metric with totally skew-symmetric torsion recently became a subject of interest in theoretical and mathematical physics. For example, the target space of supersymmetric sigma models with Wess-Zumino term carries a geometry of a metric connection with skew-symmetric torsion [23, 34, 35] (see also [42] and references therein). In supergravity theories, the geometry of the moduli space of a class of black holes is carried out by a metric connection with skew-symmetric torsion [27]. The geometry of NS-5 brane solutions of type II supergravity theories is generated by a metric connection with skew-symmetric torsion [44, 45, 43]. The existence of parallel spinors with respect to a metric connection with skew-symmetric torsion on a Riemannian spin manifold is of importance in string theory, since they are associated with some string solitons (BPS solitons) [43]. Supergravity solutions that preserve some of the supersymmetry of the underlying theory have found many applications in the exploration of perturbative and non-perturbative properties of string theory.
    [Show full text]
  • Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md
    International Journal of Scientific & Engineering Research, Volume 5, Issue 9, September-2014 157 ISSN 2229-5518 Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md. Abdul Halim Sajal Saha Md Shafiqul Islam Abstract-In the paper some aspects of Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields are focused. The purpose of this paper is to develop the theory of manifolds equipped with Riemannian metric. I have developed some theorems on torsion and Riemannian curvature tensors using affine connection. A Theorem 1.20 named “Fundamental Theorem of Pseudo-Riemannian Geometry” has been established on Riemannian geometry using tensors with metric. The main tools used in the theorem of pseudo Riemannian are tensors fields defined on a Riemannian manifold. Keywords: Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields. —————————— —————————— I. Introduction (c) { } is a family of open sets which covers , that is, 푖 = . Riemannian manifold is a pair ( , g) consisting of smooth 푈 푀 manifold and Riemannian metric g. A manifold may carry a (d) ⋃ is푈 푖푖 a homeomorphism푀 from onto an open subset of 푀 ′ further structure if it is endowed with a metric tensor, which is a 푖 . 푖 푖 휑 푈 푈 natural generation푀 of the inner product between two vectors in 푛 ℝ to an arbitrary manifold. Riemannian metrics, affine (e) Given and such that , the map = connections,푛 parallel transport, curvature tensors, torsion tensors, ( ( ) killingℝ vector fields and conformal killing vector fields play from푖 푗 ) to 푖 푗 is infinitely푖푗 −1 푈 푈 푈 ∩ 푈 ≠ ∅ 휓 important role to develop the theorem of Riemannian manifolds.
    [Show full text]
  • Tensor Calculus and Differential Geometry
    Course Notes Tensor Calculus and Differential Geometry 2WAH0 Luc Florack March 10, 2021 Cover illustration: papyrus fragment from Euclid’s Elements of Geometry, Book II [8]. Contents Preface iii Notation 1 1 Prerequisites from Linear Algebra 3 2 Tensor Calculus 7 2.1 Vector Spaces and Bases . .7 2.2 Dual Vector Spaces and Dual Bases . .8 2.3 The Kronecker Tensor . 10 2.4 Inner Products . 11 2.5 Reciprocal Bases . 14 2.6 Bases, Dual Bases, Reciprocal Bases: Mutual Relations . 16 2.7 Examples of Vectors and Covectors . 17 2.8 Tensors . 18 2.8.1 Tensors in all Generality . 18 2.8.2 Tensors Subject to Symmetries . 22 2.8.3 Symmetry and Antisymmetry Preserving Product Operators . 24 2.8.4 Vector Spaces with an Oriented Volume . 31 2.8.5 Tensors on an Inner Product Space . 34 2.8.6 Tensor Transformations . 36 2.8.6.1 “Absolute Tensors” . 37 CONTENTS i 2.8.6.2 “Relative Tensors” . 38 2.8.6.3 “Pseudo Tensors” . 41 2.8.7 Contractions . 43 2.9 The Hodge Star Operator . 43 3 Differential Geometry 47 3.1 Euclidean Space: Cartesian and Curvilinear Coordinates . 47 3.2 Differentiable Manifolds . 48 3.3 Tangent Vectors . 49 3.4 Tangent and Cotangent Bundle . 50 3.5 Exterior Derivative . 51 3.6 Affine Connection . 52 3.7 Lie Derivative . 55 3.8 Torsion . 55 3.9 Levi-Civita Connection . 56 3.10 Geodesics . 57 3.11 Curvature . 58 3.12 Push-Forward and Pull-Back . 59 3.13 Examples . 60 3.13.1 Polar Coordinates in the Euclidean Plane .
    [Show full text]
  • The Language of Differential Forms
    Appendix A The Language of Differential Forms This appendix—with the only exception of Sect.A.4.2—does not contain any new physical notions with respect to the previous chapters, but has the purpose of deriving and rewriting some of the previous results using a different language: the language of the so-called differential (or exterior) forms. Thanks to this language we can rewrite all equations in a more compact form, where all tensor indices referred to the diffeomorphisms of the curved space–time are “hidden” inside the variables, with great formal simplifications and benefits (especially in the context of the variational computations). The matter of this appendix is not intended to provide a complete nor a rigorous introduction to this formalism: it should be regarded only as a first, intuitive and oper- ational approach to the calculus of differential forms (also called exterior calculus, or “Cartan calculus”). The main purpose is to quickly put the reader in the position of understanding, and also independently performing, various computations typical of a geometric model of gravity. The readers interested in a more rigorous discussion of differential forms are referred, for instance, to the book [22] of the bibliography. Let us finally notice that in this appendix we will follow the conventions introduced in Chap. 12, Sect. 12.1: latin letters a, b, c,...will denote Lorentz indices in the flat tangent space, Greek letters μ, ν, α,... tensor indices in the curved manifold. For the matter fields we will always use natural units = c = 1. Also, unless otherwise stated, in the first three Sects.
    [Show full text]
  • FROM DIFFERENTIATION in AFFINE SPACES to CONNECTIONS Jovana -Duretic 1. Introduction Definition 1. We Say That a Real Valued
    THE TEACHING OF MATHEMATICS 2015, Vol. XVIII, 2, pp. 61–80 FROM DIFFERENTIATION IN AFFINE SPACES TO CONNECTIONS Jovana Dureti´c- Abstract. Connections and covariant derivatives are usually taught as a basic concept of differential geometry, or more precisely, of differential calculus on smooth manifolds. In this article we show that the need for covariant derivatives may arise, or at lest be motivated, even in a linear situation. We show how a generalization of the notion of a derivative of a function to a derivative of a map between affine spaces naturally leads to the notion of a connection. Covariant derivative is defined in the framework of vector bundles and connections in a way which preserves standard properties of derivatives. A special attention is paid on the role played by zero–sets of a first derivative in several contexts. MathEduc Subject Classification: I 95, G 95 MSC Subject Classification: 97 I 99, 97 G 99, 53–01 Key words and phrases: Affine space; second derivative; connection; vector bun- dle. 1. Introduction Definition 1. We say that a real valued function f :(a; b) ! R is differen- tiable at a point x0 2 (a; b) ½ R if a limit f(x) ¡ f(x ) lim 0 x!x0 x ¡ x0 0 exists. We denote this limit by f (x0) and call it a derivative of a function f at a point x0. We can write this limit in a different form, as 0 f(x0 + h) ¡ f(x0) (1) f (x0) = lim : h!0 h This expression makes sense if the codomain of a function is Rn, or more general, if the codomain is a normed vector space.
    [Show full text]
  • Hodge Theory of SKT Manifolds
    Hodge theory and deformations of SKT manifolds Gil R. Cavalcanti∗ Department of Mathematics Utrecht University Abstract We use tools from generalized complex geometry to develop the theory of SKT (a.k.a. pluriclosed Hermitian) manifolds and more generally manifolds with special holonomy with respect to a metric connection with closed skew-symmetric torsion. We develop Hodge theory on such manifolds show- ing how the reduction of the holonomy group causes a decomposition of the twisted cohomology. For SKT manifolds this decomposition is accompanied by an identity between different Laplacian operators and forces the collapse of a spectral sequence at the first page. Further we study the de- formation theory of SKT structures, identifying the space where the obstructions live. We illustrate our theory with examples based on Calabi{Eckmann manifolds, instantons, Hopf surfaces and Lie groups. Contents 1 Linear algebra 3 2 Intrinsic torsion of generalized Hermitian structures8 2.1 The Nijenhuis tensor....................................9 2.2 The intrinsic torsion and the road to integrability.................... 10 2.3 The operators δ± and δ± ................................. 12 3 Parallel Hermitian and bi-Hermitian structures 12 4 SKT structures 14 5 Hodge theory 19 5.1 Differential operators, their adjoints and Laplacians.................. 19 5.2 Signature and Euler characteristic of almost Hermitian manifolds........... 20 5.3 Hodge theory on parallel Hermitian manifolds...................... 22 5.4 Hodge theory on SKT manifolds............................. 23 5.5 Relation to Dolbeault cohomology............................ 23 5.6 Hermitian symplectic structures.............................. 27 6 Hodge theory beyond U(n) 28 6.1 Integrability......................................... 29 Keywords. Strong KT structure, generalized complex geometry, generalized K¨ahlergeometry, Hodge theory, instan- tons, deformations.
    [Show full text]
  • The Category of Affine Connection Control Systems 3
    Proceedings of the 39th IEEE Conference on Decision and Control pages 5119{5124, December 2000 doi: 10.1109/CDC.2001.914762 2000 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE The category of affine connection control systems∗ Andrew D. Lewisy 2000/02/28 Last updated: 2003/07/23 Abstract The category of affine connection control systems is one whose objects are control systems whose drift vector field is the geodesic spray of an affine connection, and whose control vector fields are vertical lifts to the tangent bundle of vector fields on configu- ration space. We investigate morphisms (feedback transformations) in this category. Keywords. control of mechanical systems, affine connections AMS Subject Classifications (2020). 53B05, 70Q05, 93B29 1. Introduction It is apparent that the study of what we will in this paper call “affine connection control systems" has a significant r^oleto play in the field of mechanical control systems. In a series of papers, [e.g., Bullo, Leonard, and Lewis 2000, Lewis 1998, Lewis 1999, Lewis and Murray 1997a, Lewis and Murray 1997b], the author and various coauthors have shown how the affine connection framework is useful in looking at mechanical systems whose Lagrangian is the kinetic energy with respect to a Riemannian metric, possibly in the presence of constraints linear in velocity [e.g., Lewis 1997, Lewis 2000].
    [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]
  • Moving Parseval Frames for Vector Bundles
    Houston Journal of Mathematics c 2014 University of Houston Volume 40, No. 3, 2014 MOVING PARSEVAL FRAMES FOR VECTOR BUNDLES D. FREEMAN, D. POORE, A. R. WEI, AND M. WYSE Communicated by Vern I. Paulsen Abstract. Parseval frames can be thought of as redundant or linearly de- pendent coordinate systems for Hilbert spaces, and have important appli- cations in such areas as signal processing, data compression, and sampling theory. We extend the notion of a Parseval frame for a fixed Hilbert space to that of a moving Parseval frame for a vector bundle over a manifold. Many vector bundles do not have a moving basis, but in contrast to this every vector bundle over a paracompact manifold has a moving Parseval frame. We prove that a sequence of sections of a vector bundle is a moving Parseval frame if and only if the sections are the orthogonal projection of a moving orthonormal basis for a larger vector bundle. In the case that our vector bundle is the tangent bundle of a Riemannian manifold, we prove that a sequence of vector fields is a Parseval frame for the tangent bundle of a Riemannian manifold if and only if the vector fields are the orthogonal projection of a moving orthonormal basis for the tangent bundle of a larger Riemannian manifold. 1. Introduction Frames for Hilbert spaces are essentially redundant coordinate systems. That is, every vector can be represented as a series of scaled frame vectors, but the series is not unique. Though this redundancy is not necessary in a coordinate system, it can actually be very useful.
    [Show full text]