DOCSLIB.ORG

Projective Geometric Algebra: a Swiss Army Knife for Doing Cayley-Klein Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Projective Geometric Algebra: a Swiss Army Knife for Doing Cayley-Klein Geometry Projective Geometric Algebra: A Swiss army knife for doing Cayley-Klein geometry Charles Gunn Sept. 18, 2019 at ICERM, Providence Full-featured slides available at: https://slides.com/skydog23/icerm2019. Check for updates incorporating new ideas inspired by giving the talk. This first slide will indicate whether update has occurred. 1 . 1 What is Cayley-Klein geometry? Example: Given a conic section Q in RP 2. For two points x and y "inside" Q, define d(a, b) = log(CR(f+, f−; x, y)) where f+, f− are the intersections of the line xy with Q and CR is the cross ratio. CR is invariant under projectivities ⇒ d is a distance function and the white region is a model for hyperbolic plane H2. 1 . 2 What is Cayley-Klein geometry? SIGNATURE of Quadratic Form Example: (+ + −0) = (2, 1, 1) e0 ⋅ e0 = e1 ⋅ e1 = +1, e2 ⋅ e2 = −1, e3 ⋅ e3 = 0, ei ⋅ ej = 0 for i = j 1 . 3 What is Cayley-Klein geometry? Signature of Q κ Space Symbol (n + 1, 0, 0) +1 elliptic Elln, Sn (n, 1, 0) -1 hyperbolic Hn "(n, 0, 1)" 0 euclidean En 1 . 4 3D Examples The Sudanese Moebius band in S3 discovered by Sue Goodman and Dan Asimov, visualized in UNC-CH Graphics Lab, 1979. 1 . 5 3D Examples Tessellation of H3 with regular right-angled dodecahedra (from "Not Knot", Geometry Center, 1993). 1 . 6 3D Examples The 120-cell, a tessellation of the 3-sphere S3 (PORTAL VR, TU-Berlin, 18.09.09) 1 . 7 Cayley-Klein geometries for n = 2 Name elliptic euclidean hyperbolic signature (3,0,0) "(2,0,1)" (2,1,0) null points x2 + y2 + z2=0 x2 + y2 − z2=0 1 . 8 Cayley-Klein geometries for n = 2 Name elliptic euclidean hyperbolic signature (3,0,0) "(2,0,1)" (2,1,0) null points x2 + y2 + z2=0 z2=0 x2 + y2 − z2=0 1 . 8 Example Cayley-Klein geometries for n = 2 Name elliptic euclidean hyperbolic signature (3,0,0) "(2,0,1)" (2,1,0) null points x2 + y2 + z2=0 z2=0 x2 + y2 − z2=0 null lines* a2 + b2 + c2=0 a2 + b2=0 a2 + b2 − c2=0 *The line ax + by + cz = 0 has line coordinates (a, b, c). 1 . 9 Question What is the best way to do Cayley-Klein geometry on the computer? 2 . 1 Question What is the best way to do Cayley-Klein geometry on the computer? 1993 2 . 1 Question What is the best way to do Cayley-Klein geometry on the computer? 1993 2019 2 . 1 Vector + linear algebra 2 . 2 Vector + linear algebra Projective points Projective matrices 2 . 2 Vector + linear algebra Projective points Projective matrices 2 . 3 Vector + linear algebra Projective points Projective matrices But it's 2019 now. Can we do better? 2 . 3 Cayley-Klein programmer's wish list 2 . 4 Cayley-Klein programmer's wish list Coordinate-free 2 . 4 Cayley-Klein programmer's wish list Uniform rep'n for points, lines, and planes Coordinate-free 2 . 4 Cayley-Klein programmer's wish list Uniform rep'n for points, lines, and planes Parallel-safe meet and join operators Coordinate-free 2 . 4 Cayley-Klein programmer's wish list Uniform rep'n for points, lines, and planes Parallel-safe meet and join operators Single, uniform rep'n for isometries Coordinate-free 2 . 4 Cayley-Klein programmer's wish list Uniform rep'n for points, lines, and planes Parallel-safe meet and join operators Single, uniform rep'n for isometries Compact expressions for classical geometric results Coordinate-free 2 . 4 Cayley-Klein programmer's wish list Uniform rep'n for points, lines, and planes Parallel-safe meet and join operators Single, uniform rep'n for isometries Compact expressions for classical geometric results Physics-ready Coordinate-free 2 . 4 Cayley-Klein programmer's wish list Uniform rep'n for points, lines, and planes Parallel-safe meet and join operators Single, uniform rep'n for isometries Compact expressions for classical geometric results Physics-ready Metric-neutral Coordinate-free 2 . 4 Cayley-Klein programmer's wish list Uniform rep'n for points, lines, and planes Parallel-safe meet and join operators Single, uniform rep'n for isometries Compact expressions for classical geometric results Backwards compatible Physics-ready Metric-neutral Coordinate-free 2 . 4 Partial solutions: Quaternions (1843) A 4D algebra generated by units {1, i, j, k} satisfying: 12 = 1, i2 = j2 = k2 = −1 ij = −ji, ... 3 . 1 Quaternions Quaternions H s + xi + yj + zk 3 Im. quaternions IH v := xi + yj + zk ⇔ (x, y, z) ∈ R Unit quaternions U {g ∈ H ∣ gg = 1} 3 . 2 Quaternions Quaternions H s + xi + yj + zk 3 Im. quaternions IH v := xi + yj + zk ⇔ (x, y, z) ∈ R Unit quaternions U {g ∈ H ∣ gg = 1} I. Geometric product: v1v 2 = −v1 ⋅ v2 + v1 × v2 3 . 3 Quaternions Quaternions H s + xi + yj + zk 3 Im. quaternions IH v := xi + yj + zk ⇔ (x, y, z) ∈ R Unit quaternions U {g ∈ H ∣ gg = 1} I. Geometric product: v1v 2 = −v1 ⋅ v2 + v1 × v2 cross product inner product 3 . 3 Quaternions Quaternions H s + xi + yj + zk 3 Im. quaternions IH v := xi + yj + zk ⇔ (x, y, z) ∈ R Unit quaternions U {g ∈ H ∣ gg = 1} II. Rotations via sandwiches: 1. For g ∈ U, there exists x ∈ IH so that g = cos(t) + sin(t)x = etx 2. For any v ∈ IH (≅ R3), the "sandwich" gvg rotates v around the axis x by an angle 2t. 3. Comparison to matrices. 3 . 4 Quaternions Quaternions H s + xi + yj + zk 3 Im. quaternions IH v := xi + yj + zk ⇔ (x, y, z) ∈ R Unit quaternions U {g ∈ H ∣ gg = 1} Advantages I. Geometric product II. Rotations as sandwiches Disadvantages I. Only applies to points/vectors II. Special case R3 3 . 5 Partial solutions: Grassmann algebra Hermann Grassmann (1809-1877) Ausdehnungslehre (1844) 4 . 1 Grassmann algebra 2 2∗ The wedge (∧) product in RP and RP 4 . 2 Grassmann algebra 4 . 3 Grassmann algebra Standard projective x ∧ y is join yields ⋀ RP 2 4 . 3 Grassmann algebra Standard projective Dual projective x ∧ y is join x ∧ y is meet 2 2∗ yields ⋀ RP yields ⋀ RP 4 . 3 Grassmann algebra The dual projective 2∗ Grassmann algebra ⋀ RP Grade Sym Generators Dim. Type 0 0 ⋀ 1 1 Scalar 1 1 ⋀ {e0, e1, e2} 3 Line 2 2 ⋀ {Ei = ej ∧ ek } 3 Point 3 3 ⋀ I = e0 ∧ e1 ∧ e2 1 Pseudoscalar 4 . 4 Grassmann algebra The dual projective 2∗ Grassmann algebra ⋀ RP Grade Sym Generators Dim. Type 0 0 ⋀ 1 1 Scalar 1 1 ⋀ {e0, e1, e2} 3 Line 2 2 ⋀ {Ei = ej ∧ ek } 3 Point 3 3 ⋀ I = e0 ∧ e1 ∧ e2 1 Pseudoscalar n∗ We will be using ⋀ RP for the rest of the talk. 4 . 4 Grassmann algebra The wedge (∧) product in RP 2 Properties of ∧ 1. Antisymmetric: For 1-vectors x, y: x ∧ y = −y ∧ x x ∧ x = 0 2. Subspace lattice: For linearly independent subspaces x ∈ k m k+m ⋀ , y ∈ ⋀ , x ∧ y ∈ ⋀ is the subspace spanned by x and y otherwise it's zero. Note: The regressive (join) product ∨ is also available. (Then it's called a Grassmann-Cayley algebra.) 4 . 5 Grassmann algebra Note: spanning subspace means different things in standard and dual setting. In 3D: Standard: a line is the Dual: a line is the subspace spanned by subspace spanned by two points. two planes. Plane pencil ange Point r Spear Axis 4 . 6 Grassmann algebra Advantages 1. Points, lines, and planes are equal citizens. 2. "Parallel-safe" meet and join operators since projective. Disadvantages 1. Only incidence (projective), no metric. 4 . 7 Clifford's geometric algebra William Kingdon Clifford (1845-1879) "Applications of Grassmann's extensive algebra" (1878): His stated aim: to combine quaternions with Grassmann algebra. 5 . 1 Clifford's geometric algebra Geometric product extends the wedge product and is defined for two 1-vectors as: xy := x⋅y + x ∧ y 0-vector 2-vector where ⋅ is the inner product induced by Q. Since the two terms measure different aspects, the sum is (usually) non-zero. This product can be extended to the whole Grassmann algebra ∗ to produce the geometric algebra P(Rp,n,z ) . 5 . 2 Clifford's geometric algebra Geometric product extends the wedge product and is defined for two 1-vectors as: xy := x⋅y + x ∧ y measures measures sameness 0-vector 2-vector difference where ⋅ is the inner product induced by Q. Since the two terms measure different aspects, the sum is (usually) non-zero. This product can be extended to the whole Grassmann algebra ∗ to produce the geometric algebra P(Rp,n,z ) . 5 . 2 Projective geometric algebra We call an algebra constructed in this way a projective geometric algebra (PGA). ∗ ∗ ∗ We are interested in P(R3,0,0) , P(R2,1,0) , P(R2,0,1) . ∗ We sometimes write P(Rκ) and leave the metric open. We can choose a fundamental triangle so that: 2 2 2 e0 = κ, e1 = e2 = 1 (κ ∈ {−1, 0, 1}) Ek := eie j = ei ∧ ej = −ej e i I := e0e 1e 2 5 . 3 2D PGA 2 Example: Two lines, let e0 = κ a = a0e 0 + a1e 1 + a2e 2 b = b0e 0 + b1e 1 + b2e 2 2 2 2 ab = (a0b 0e 0 + a1b 1e 1 + a2b 2e 2) +(a0b 1 − a1b 0) e0e 1 + (a1b 2 − a2b 1) e1e 2 + (a0b 2 − a2b 0) e0e 2 = (a0b 0κ + a1b1 + a2b 2) +(a1b 2 − a2b 1) E0 + (a2b 0 − a0b 2) E1 + (a0b 1 − a1b 0) E2 = a ⋅ b + a ∧ b 5 . 4 2D PGA 2 Example: Two lines, let e0 = κ a = a0e 0 + a1e 1 + a2e 2 b = b0e 0 + b1e 1 + b2e 2 2 2 2 ab = (a0b 0e 0 + a1b 1e 1 + a2b 2e 2) +(a0b 1 − a1b 0) e0e 1 + (a1b 2 − a2b 1) e1e 2 + (a0b 2 − a2b 0) e0e 2 = (a0b 0κ + a1b1 + a2b 2) +(a1b 2 − a2b 1) E0 + (a2b 0 − a0b 2) E1 + (a0b 1 − a1b 0) E2 = a ⋅ b + a ∧ b Looks lik e cross product but is the point incident to both lines.
Load more

Recommended publications
  • Arxiv:Gr-Qc/0611154 V1 30 Nov 2006 Otx Fcra Geometry
    MacDowell–Mansouri Gravity and Cartan Geometry Derek K. Wise Department of Mathematics University of California Riverside, CA 92521, USA email: [email protected] November 29, 2006 Abstract The geometric content of the MacDowell–Mansouri formulation of general relativity is best understood in terms of Cartan geometry. In particular, Cartan geometry gives clear geomet- ric meaning to the MacDowell–Mansouri trick of combining the Levi–Civita connection and coframe field, or soldering form, into a single physical field. The Cartan perspective allows us to view physical spacetime as tangentially approximated by an arbitrary homogeneous ‘model spacetime’, including not only the flat Minkowski model, as is implicitly used in standard general relativity, but also de Sitter, anti de Sitter, or other models. A ‘Cartan connection’ gives a prescription for parallel transport from one ‘tangent model spacetime’ to another, along any path, giving a natural interpretation of the MacDowell–Mansouri connection as ‘rolling’ the model spacetime along physical spacetime. I explain Cartan geometry, and ‘Cartan gauge theory’, in which the gauge field is replaced by a Cartan connection. In particular, I discuss MacDowell–Mansouri gravity, as well as its recent reformulation in terms of BF theory, in the arXiv:gr-qc/0611154 v1 30 Nov 2006 context of Cartan geometry. 1 Contents 1 Introduction 3 2 Homogeneous spacetimes and Klein geometry 8 2.1 Kleingeometry ................................... 8 2.2 MetricKleingeometry ............................. 10 2.3 Homogeneousmodelspacetimes. ..... 11 3 Cartan geometry 13 3.1 Ehresmannconnections . .. .. .. .. .. .. .. .. 13 3.2 Definition of Cartan geometry . ..... 14 3.3 Geometric interpretation: rolling Klein geometries . .............. 15 3.4 ReductiveCartangeometry . 17 4 Cartan-type gauge theory 20 4.1 Asequenceofbundles .............................
    [Show full text]
  • Feature Matching and Heat Flow in Centro-Affine Geometry
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 16 (2020), 093, 22 pages Feature Matching and Heat Flow in Centro-Affine Geometry Peter J. OLVER y, Changzheng QU z and Yun YANG x y School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA E-mail: [email protected] URL: http://www.math.umn.edu/~olver/ z School of Mathematics and Statistics, Ningbo University, Ningbo 315211, P.R. China E-mail: [email protected] x Department of Mathematics, Northeastern University, Shenyang, 110819, P.R. China E-mail: [email protected] Received April 02, 2020, in final form September 14, 2020; Published online September 29, 2020 https://doi.org/10.3842/SIGMA.2020.093 Abstract. In this paper, we study the differential invariants and the invariant heat flow in centro-affine geometry, proving that the latter is equivalent to the inviscid Burgers' equa- tion. Furthermore, we apply the centro-affine invariants to develop an invariant algorithm to match features of objects appearing in images. We show that the resulting algorithm com- pares favorably with the widely applied scale-invariant feature transform (SIFT), speeded up robust features (SURF), and affine-SIFT (ASIFT) methods. Key words: centro-affine geometry; equivariant moving frames; heat flow; inviscid Burgers' equation; differential invariant; edge matching 2020 Mathematics Subject Classification: 53A15; 53A55 1 Introduction The main objective in this paper is to study differential invariants and invariant curve flows { in particular the heat flow { in centro-affine geometry. In addition, we will present some basic applications to feature matching in camera images of three-dimensional objects, comparing our method with other popular algorithms.
    [Show full text]
  • Gravity and Gauge
    Gravity and Gauge Nicholas J. Teh June 29, 2011 Abstract Philosophers of physics and physicists have long been intrigued by the analogies and disanalogies between gravitational theories and (Yang-Mills-type) gauge theories. Indeed, repeated attempts to col- lapse these disanalogies have made us acutely aware that there are fairly general obstacles to doing so. Nonetheless, there is a special case (viz. that of (2+1) spacetime dimensions) in which gravity is often claimed to be identical to a gauge theory. We subject this claim to philosophical scrutiny in this paper: in particular, we (i) analyze how the standard disanalogies can be overcome in (2+1) dimensions, and (ii) consider whether (i) really licenses the interpretation of (2+1) gravity as a gauge theory. Our conceptual analysis reveals more subtle disanalogies between gravity and gauge, and connects these to interpretive issues in classical and quantum gravity. Contents 1 Introduction 2 1.1 Motivation . 4 1.2 Prospectus . 6 2 Disanalogies 6 3 3D Gravity and Gauge 8 3.1 (2+1) Gravity . 9 3.2 (2+1) Chern-Simons . 14 3.2.1 Cartan geometry . 15 3.2.2 Overcoming (Obst-Gauge) via Cartan connections . 17 3.3 Disanalogies collapsed . 21 1 4 Two more disanalogies 22 4.1 What about the symmetries? . 23 4.2 The phase spaces of the two theories . 25 5 Summary and conclusion 30 1 Introduction `The proper method of philosophy consists in clearly conceiving the insoluble problems in all their insolubility and then in simply contemplating them, fixedly and tirelessly, year after year, without any
    [Show full text]
  • Perspectives on Projective Geometry • Jürgen Richter-Gebert
    Perspectives on Projective Geometry • Jürgen Richter-Gebert Perspectives on Projective Geometry A Guided Tour Through Real and Complex Geometry 123 Jürgen Richter-Gebert TU München Zentrum Mathematik (M10) LS Geometrie Boltzmannstr. 3 85748 Garching Germany [email protected] ISBN 978-3-642-17285-4 e-ISBN 978-3-642-17286-1 DOI 10.1007/978-3-642-17286-1 Springer Heidelberg Dordrecht London New York Library of Congress Control Number: 2011921702 Mathematics Subject Classification (2010): 51A05, 51A25, 51M05, 51M10 c Springer-Verlag Berlin Heidelberg 2011 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation,reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover design: deblik, Berlin Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com) About This Book Let no one ignorant of geometry enter here! Entrance to Plato’s academy Once or twice she had peeped into the book her sister was reading, but it had no pictures or conversations in it, “and what is the use of a book,” thought Alice, “without pictures or conversations?” Lewis Carroll, Alice’s Adventures in Wonderland Geometry is the mathematical discipline that deals with the interrelations of objects in the plane, in space, or even in higher dimensions.
    [Show full text]
  • Kiepert Conics in Regular CK-Geometries
    Journal for Geometry and Graphics Volume 17 (2013), No. 2, 155{161. Kiepert Conics in Regular CK-Geometries Sybille Mick, Johann Lang Institute of Geometry, Graz University of Technology Kopernikusgasse 24, A-8010 Graz, Austria emails: [email protected], [email protected] Abstract. This paper is a contribution to the concept of Kiepert conics in reg- ular CK -geometries. In such geometries a triangle ABC determines a quadruple of first Kiepert conics and, consequently, a quadruple of second Kiepert conics. Key Words: Cayley-Klein geometries, geometry of triangle, Kiepert conics, pro- jective geometry MSC 2010: 51M09, 51N30 1. Introduction Hyperbolic geometry obeys the axioms of Euclid except for the Euclidean parallel postulate which is replaced by the hyperbolic parallel postulate: Any line g and any point P not on g determine at least two distinct lines through P which do not intersect g. Axiomatic hyperbolic geometry H can be visualized by the disk model. It is defined by an absolute conic m (regular curve of 2nd order) with real points in the real projective plane. The points of the model are the inner points of m, the lines are the open chords of m (see [1, 2, 4]). In a real projective plane the conic m also defines the hyperbolic Cayley-Klein geometry CKH ([6, 9]). All points of the plane not on m | not only the inner points of m | are points of CKH. All lines of the real projective plane are lines of CKH. The second type of regular CK -geometry is the elliptic Cayley-Klein geometry CKE which is determined by a real conic m without real points.
    [Show full text]
  • Symmetric Space Cartan Connections and Gravity in Three and Four
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 5 (2009), 080, 18 pages Symmetric Space Cartan Connections and Gravity in Three and Four Dimensions⋆ Derek K. WISE Department of Mathematics, University of California, Davis, CA 95616, USA E-mail: [email protected] URL: http://math.ucdavis.edu/∼derek/ Received April 10, 2009, in final form July 19, 2009; Published online August 01, 2009 doi:10.3842/SIGMA.2009.080 Abstract. Einstein gravity in both 3 and 4 dimensions, as well as some interesting genera- lizations, can be written as gauge theories in which the connection is a Cartan connection for geometry modeled on a symmetric space. The relevant models in 3 dimensions include Einstein gravity in Chern–Simons form, as well as a new formulation of topologically massive gravity, with arbitrary cosmological constant, as a single constrained Chern–Simons action. In 4 dimensions the main model of interest is MacDowell–Mansouri gravity, generalized to include the Immirzi parameter in a natural way. I formulate these theories in Cartan geometric language, emphasizing also the role played by the symmetric space structure of the model. I also explain how, from the perspective of these Cartan-geometric formulations, both the topological mass in 3d and the Immirzi parameter in 4d are the result of non- simplicity of the Lorentz Lie algebra so(3, 1) and its relatives. Finally, I suggest how the language of Cartan geometry provides a guiding principle for elegantly reformulating any ‘gauge theory of geometry’. Key words: Cartan geometry; symmetric spaces; general relativity; Chern–Simons theory; topologically massive gravity; MacDowell–Mansouri gravity 2000 Mathematics Subject Classification: 22E70; 51P05; 53C80; 83C80; 83C99 1 Introduction It is hard to overstate the importance of Elie´ Cartan’s mathematical legacy, not only to mathe- matics per se, but also to physics.
    [Show full text]
  • Communicated by Willy Sarlet)
    JOURNAL OF GEOMETRIC MECHANICS doi:10.3934/jgm.2018003 c American Institute of Mathematical Sciences Volume 10, Number 1, March 2018 pp. 69{92 THE PROJECTIVE CARTAN-KLEIN GEOMETRY OF THE HELMHOLTZ CONDITIONS Carlos Duran´ and Diego Otero ∗ Setor de Ci^enciasExatas, Centro Polit´ecnico,Caixa Postal 019081 CEP 81531-990, Curitiba, PR, Brazil (Communicated by Willy Sarlet) Abstract. We show that the Helmholtz conditions characterizing differen- tial equations arising from variational problems can be expressed in terms of invariants of curves in a suitable Grassmann manifold. 1. Introduction. There has been considerable interest in the geometrization of the inverse problem in the calculus of variations, mainly to make sense of the classical constructions in a general non-linear setting of differential equations on manifolds (see, e.g., [3] for an algebraic approach, and the survey [13] for differential geometric language). In this paper we describe a complementary kind of geometrization: interpreting the linear inverse problem of the Calculus of Variations through a Cartan-Klein geometry and invariant theory of curves in homogeneous spaces. Consider the following two problems: Linear inverse problem in the Calculus of Variations: Under which condi- tions the solutions of the linear second order differential equation x¨ + 2P (t)_x + Q(t)x = 0; t 2 [a; b] (1) arises as the extremals of a (time-dependent) Lagrangian? Congruence problem of curves in the half-Grassmannian: Let `1(t); `2(t): [a; b] ! Gr(n; 2n) be two curves in the half-Grassmannian manifold of n-dimensional subspaces in R2n. When are these two curves congruent under the canonical action of the general linear group GL(2n)? The classical solution of the first problem is given by the so-called Helmholtz conditions.
    [Show full text]
  • A Clifford Perspective on Klein's Geometry
    DIDACTICS OF MATHEMATICS AS A MATHEMATICAL DISCIPLINE UNIVERSIDADE DA MADEIRA, FUNCHAL, PORTUGAL 1-4 October, 2009 A Clifford perspective on Klein’s Geometry SEBASTIAN XAMBÓ FACULTAT DE MATEMÀTIQUES I ESTADÍSTICA UNIVERSITAT POLITÈCNICA DE CATALUNYA 08028 BARCELONA (SPAIN) 2 ABSTRACT Klein's Erlangen Program provided an organizing principle for geometry based on the notion of group of transformations and the study of its inva- riants. It allowed, in particular, to think of projective geometry as a unify- ing framework for affine, metric and hyperbolic geometries (or, in Cay- ley's motto, “Projective geometry is all geometry”). The impact of these ideas on the teacher's training was developed in de- tail one century ago in the volume “Geometrie”, the second of "Elemen- tarmathematik vom höheren Standpunk aus". In the talk we will present, after a brief outline of the main features of the book and of how it can account for “newer” geometries, such as the special theory of relativity, a proposal of guidelines for its updating using “geometric algebra” (first introduced by Clifford, as a generalization of Grassmann's algebra and Hamilton’s quaternions, it has developed into a unified basis for geometry and its applications, not only across pure ma- thematics, but also in physics, engineering and computation). 3 MAIN POINTS Context and motivations Klein’s Geometry Geometry after Klein Desiderata for enlightened paradigm The potential of Geometric algebra Ending remarks 4 CONTEXT AND MOTIVATIONS Teaching rd . Geometry (3 Semester) th . Mathematical
    [Show full text]
  • Clifford Algebras and Possible Kinematics 3
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 3 (2007), 079, 29 pages Clifford Algebras and Possible Kinematics Alan S. MCRAE Department of Mathematics, Washington and Lee University, Lexington, VA 24450-0303, USA E-mail: [email protected] Received April 30, 2007, in final form July 03, 2007; Published online July 19, 2007 Original article is available at http://www.emis.de/journals/SIGMA/2007/079/ Abstract. We review Bacry and L´evy-Leblond’s work on possible kinematics as applied to 2-dimensional spacetimes, as well as the nine types of 2-dimensional Cayley–Klein geo- metries, illustrating how the Cayley–Klein geometries give homogeneous spacetimes for all but one of the kinematical groups. We then construct a two-parameter family of Clifford algebras that give a unified framework for representing both the Lie algebras as well as the kinematical groups, showing that these groups are true rotation groups. In addition we give conformal models for these spacetimes. Key words: Cayley–Klein geometries; Clifford algebras; kinematics 2000 Mathematics Subject Classification: 11E88; 15A66; 53A17 As long as algebra and geometry have been separated, their progress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched together towards perfection. Joseph Louis Lagrange (1736–1813) The first part of this paper is a review of Bacry and L´evy-Leblond’s description of possible kinematics and how such kinematical structures relate to the Cayley–Klein formalism. We review some of the work done by Ballesteros, Herranz, Ortega and Santander on homogeneous spaces, as this work gives a unified and detailed description of possible kinematics (save for static kinematics).
    [Show full text]
  • Direct Search Methods on Reductive Homogeneous Spaces
    JOTA manuscript No. (will be inserted by the editor) Direct Search Methods on Reductive Homogeneous Spaces David W. Dreisigmeyer Received: date / Accepted: date Abstract Direct search methods are mainly designed for use in problems with no equality constraints. However there are many instances where the feasible set is of measure zero in the ambient space and no mesh point lies within it. There are methods for working with feasible sets that are (Riemannian) manifolds, but not all manifolds are created equal. In particular, reductive ho- mogeneous spaces seem to be the most general space that can be conveniently optimized over. The reason is that a `law of motion' over the feasible region is also given. Examples include Rn and its linear subspaces, Lie groups and coset manifolds such as Grassmannians and Stiefel manifolds. These are important arenas for optimization, for example, in the areas of image processing and data mining. We demonstrate optimization procedures over general reductive homogeneous spaces utilizing maps from the tangent space to the manifold. A concrete implementation of the probabilistic descent direct search method is shown. This is then extended to a procedure that works solely with the manifold elements, eliminating the need for the use of the tangent space. Keywords Direct search method · Manifold · Nonlinear optimization Mathematics Subject Classification (2000) 65K10 · 90C56 Communicated by Alexandru Krist´aly. David W. Dreisigmeyer, Corresponding author United States Census Bureau Center for Economic Studies Suitland, MD Department of Electrical and Computer Engineering Colorado State University Fort Collins, CO [email protected] 2 David W. Dreisigmeyer 1 Introduction Direct search methods are typically designed to work in a full-dimensional subset of Rn.
    [Show full text]
  • Object Identity, Apparent Motion, Transformation Geometry
    Current Research in Psychology 1 (1): 35-52, 2010 ISSN 1949-0178 © 2010 Science Publications Object Identity, Apparent Motion, Transformation Geometry Felice L. Bedford and Birgitta E. Mansson Department of Psychology, University of Arizona, Tucson AZ 85721 Abstract: Problem statement: A classic question in cognition was addressed on how two glimpses separated in time are determined to refer either to the same object or to two different objects, without which coherent perception of the world is not possible. Approach: A general solution was offered in which observers exploit an entire family of geometries. It was argued that a geometry hierarchy is an attractive candidate for a solution because it is can be used on glimpses not only from different times, but from different spatial locations, different eyes, and different modalities. The theory was applied to the phenomenon of apparent motion, a time-honored paradigm for uncovering rules of object or numerical identity. Results: It was found that there was a preference to map a figure onto the “same form” (isometric transformation) when available (Exp. 1), despite controversy about form and apparent motion in the literature. When the same form was not available, next preferred was a similarity transformation (“different size”; Exps. 2 and 3) when the perceptual system was given a choice. Finally, it was found that a figure even matched to an extreme topological transformation (“plastic deformation”; Exp. 4) when that was the lowest-level geometric choice available. Conclusions/Recommendations: The experiments supported a hierarchical structure of unconscious perceptual preferences in object identity which importantly explains how the exact same pair of stimuli can sometimes be judged to refer to the same object, but sometimes not.
    [Show full text]
  • Linear Algebraic Groups: Lecture 4
    LINEAR ALGEBRAIC GROUPS: LECTURE 4 JOHN SIMANYI 1. An Abstract Approach We can try to capture the concept of projective plane using points, lines and the incidence relation between them: Definition. An abstract projective plane consists of a set P of points, a set L of lines, and an incidence relation I ⊆ P × I (which we write as pI`) which satisfy: (1) For any two distinct points p and p0; there exists a unique line `such that pI` and p0I`; (2) For any two distinct lines ` and `0, there exists a unique point p such that pI` and pI`0; (3) (Nondegeneracy axiom) There exist four points, no three of which lie on the same line. Remarkably, the nondegeneracy axiom is equivalent to the dual version where we switch the roles of lines and points: `There exist four lines, no three of which contain the same point'. This axiom excludes precisely the following 7 types of degenerate example, which would otherwise count as abstract projective planes: (1) The empty set. (2) A single point. (3) A line with no points. (4) A line with more than four points: (5) Many lines with one point: or (6) A strange teepee: (7) Yet another combination: Date: October 4, 2016. 1 LINEAR ALGEBRAIC GROUPS: LECTURE 4 2 One might hope that with these excluded, every abstract projective plane would come from a field. As it turns out, there are many abstract projective planes that do not come from a field. However, we can add an axiom from Pappus to force these objects to be based on fields.
    [Show full text]