The World Is Not Always Flat Or Learning Curved Manifolds

Total Page:16

File Type:pdf, Size:1020Kb

The World Is Not Always Flat Or Learning Curved Manifolds The World is not always Flat or Learning Curved Manifolds Evgeni Begelfor and Michael Werman Abstract Manifold learning and finding low-dimensional structure in the data is an important task. Most algorithms for the purpose embed the data in the Euclidean space, an approach which is destined to failure on non-flat data. This paper presents a non-iterative algebraic method for embed- ding the data into hyperbolic and spherical spaces. We argue that these spaces are often better than Euclidean space in capturing the geometry of the data. We also demonstrate the utility of these embeddings by show- ing how some of the standard data-handling algorithms translate to these curved manifolds. 1 Introduction and motivation Embedding data in low-dimensional space (also known as manifold learning) is important for many applications such as visualization, data manipulation (smoothing / noise reduc- tion etc.) and data exploration (clustering etc.). Most algorithms tackle the problem by ¡£¢ searching an embedding into a Euclidean space such that ¤ is as small as possible, yet the data maintain some of its geometry (either locally or globally). The main advantage of the Euclidean space is its being simple and well understood. However, many times the ¢ inherent geometry of the data isn't flat, thus any embedding in ¥ will nesecarily have a big distortion. For example, embedding a regular tree with the shortest path metric in the Euclidean space requires high dimension (Fig, 1). This is because the volume of a ball in ¡¦¢ grows only polynomially, thus not having ”enough space” for the tree. On the other hand, the volume in the hyperbolic space grows exponentially, allowing a good embedding. For another example, points on a sphere, such as cities on Earth with the natural distances will be distorted as well by embedding in the Euclidean space, Figure 2. This paper suggests an efficient non iterative algorithm for choosing the ”right” space and embedding data points in it. We also provide a method of computing geodesic distances, means and covariances in these spaces which are useful for data manipulation and under- standing. Our algorithm can be used either for embedding data given its pairwise dissimi- larity, or for dimensionality reduction through classical metric MDS. § A number of papers discussed the advantages of visualizing data using §©¨ or [24, 12, 14]. Our algorithm enhances the embedding of the data for these visualizations. School of Engineering and Computer Science, Hebrew University of Jerusalem, Jerusalem 91904, Israel 4.5 classical(euclidean) MDS 4 Curved MDS 3.5 8 3 6 2.5 2 Distortion 4 1.5 Distortion 1 2 0.5 0 0 0 5 10 15 20 −2 0 2 4 6 8 −4 Dimension Dimension x 10 Figure 1: The distortion of embedding the Figure 2: Embedding cities with their airline nodes of a tree using the pairwise nodes path distances. The distortion of the embedding is length as a metric versus the dimension of em- shown versus the curvature of the host space. bedding space. Euclidean embedding requires The best curvature is where is the radius much higher dimension than the curved one of the Earth The paper will review relevant properties of § and , then we will show how to choose the ”best” space and embed the data into it, based on a theorem of Blumenthal, Menger and Schoenberg [18, 2]. We will then show how k-means, EM and mean-shift can be effectively computed in these spaces The clustering is based on the possibility of computing geodesic distances, means and covariances in these spaces. 2 Previous work Embedding data in low dimensional space has two variants. In dimensionality reduction or manifold learning we want to embed high dimensional data in a lower dimensional space while keeping some properties to with the points geometry either globally or locally. In the second variant, called Multidimensional Scaling (MDS)(see [5] for general introduction), we only have the points pairwise dissimilarity measures, and our goal is to embed the data according to them. There are numerous approaches to MDS and we will briefly mention a few. Classical metric MDS (sometimes referred to as PCA, principal component analysis) [22] comes to minimize the norm of the differences between the inter-point distances given by the dis- similarity matrix¨ and those calculated between the embedded points. The main advantage of classical metric MDS is that it is non iterative and guaranteed to minimize the norm functional. Non classical metric MDS, for example, [17] comes to minimize different¨ func- tionals at the price of using iterative methods that are both computationally expensive and not guaranteed to converge to a global minima. Non-metric MDS [20, 11] tries to preserve the order of the distances instead of their values. Often the metric space data (pairwise dis- tances) has some missing values. There are a few methods to ”fill in” the missing values, such as using geodesic distances and SDE [25]. One of the methods for solving the dimensionality reduction problem is to reduce it to MDS by constructing the inter-point dissimilarity matrix. PCA can be looked upon as MDS using the global Euclidean distance. Isomap[21] tries to capture the geometry of the data by taking the ”geodesic” distances in the data between points. Some non-metric methods for dimensionality reduction are LLE[16], HLLE[7], Laplacian eigenmaps[1], which try to preserve relationships in the local neighborhoods of the data. All these methods work well ¢ if the data lies on or close to manifold which is isometric to a subset of ¡ . Learning of curved manifold have been discussed in [23], although the paper addresses non-flatness arising from the sampling of the manifold, and not from its own geometry. There have been papers related to embedding finite metric spaces into the hyperbolic [19], especially for visualization [12, 24], spherical [6] and general non-linear manifolds. This is a highly non convex problem and all solutions up to date were based on iterative methods that are prone to local minima. To emphasize, we've done the following experiment: We took random 100 points in the hyperbolic space, computed the distance matrix and than tried to find the embedding using iterative methods. Even in this case, when the distortion of the best embedding is zero, brute-force optimization results in embedding with high distortion. 3 Geometrical Background There are 3 types of Riemannian spaces with constant (sectional) curvature; spherical (cur- vature ), Euclidean (curvature ) and hyperbolic (curvature ). 3.1 Spherical Geometry 1 We model the m-dimensional sphere with curvature ¤ in the following way: "!$# - ¡ ¢ ¨ &%('*),+ - /.10 3 243 with the distance: )C5DE7 F )65879;:=<,>?>1@BA ¤ 3.2 Hyperbolic Geometry2 There different models of the hyperbolic space in this paper we shall use the hyperboloid model. For visualization# matters [14, 24] Klein or Poincare disk models may be more ¡ G¦)?H appropriate. On &%(' we define a bilinear form in the following way: - - -RQ GJIK)6LDHMI4N?L*NPO + I L ' GJL4)6LDHMS. The hyperboloid consisting of all vectors L such that has two sheets. We take § L N to be the one containing points with positive 3 , with the distance: 243 GIK)6L_HE7 F IK)6LT7UWVYX*Z1Z?[=\^] OE¤ 3badcEefaYg4c 3 7 79 where ' and is the inverse function of . >?@YAC` VBX*Z1Z1[=\d] >1@BA6` ¨ 3.3 Euclidean Geometry ¥ The well known Euclidean space can also be seen as the limit of the hyperbolic spaces ¢ § ¤ or the spherical spaces as tend to zero. 1 The curvature h may seem artificial in the way it is presented here. See [4, 13] for more infor- mation 2For further information the reader is referred to [8] 4 C-MDS: Curved Multidimensional Scaling # ¡ The goal of the well-known classical MDS is to embed a given metric space in equipped with the Euclidean metric minimizing the average distortion of the distances. We shall de- scribe a procedure generalizing MDS to non-flat spaces with constant curvature (spheres and hyperbolic spaces), which is very similar in spirit to the original MDS and also de- pends on a generalization of the PCA/SVD method. We need a theorem connecting the distances in a metric space i and its isometric embeddability in a space with constant curvature. The theorem goes back to Blumenthal, Menger and Schoenberg [18, 2] and the 2"k proof reproduced here was taken from [10]. # ¡ i j imlnipo ¤Jq/ Let be a finite space of size with % a metric and . Define an ¢ 3 3 2 sutwv j©lrj matrix as follows : -yx F -yx ¢ twv s ¤ 7 2 >1@BA ¢ i") ),¤z){s¦twv Theor3 em 1. Let as above. ¢ ¢ ¤r i § s¦twv . The metric space can be isometrically embedded in iff the signature of .|)C}~)CjrO}OJ.d7 } e is 3 with . ¢ ¢ ¤r i s¦twv . The metric space can be isometrically embedded in iff the signature of }~)C8)CjrO}=7 }£J . is 3 with . 7 Signature ){d) means that the matrix has positive eigenvalues, negative eigenvalues V Z V and eigenvalues. Z - -RQ # - ¢ ¤J ^5 § Proof. The hyperbolic case, . Let be points in . We look at the ¡ ' - ¢ § 5 &%(' hyperboloid model of , thus is a vector in . As defined above, the distances between I are 3 - x 2 3 - x G5 )C5 HE7 F 5 )65 7U VYX*Z1Z?[=\^] OE¤ - x - -yx ¢ twv £G5 )C5 H I thus s In other words, if we write as rows of matrix A and define an ? . ¢ O¦.? twv s ;¦E (m+1)-by-(m+1) matrix then one has and O¦. the condition on the signature follows 4. 3 3 e ¢ .|){}~)6jO}uO.^7 jnOf,5£O In the other direction, if s¦twv has signature then there exists a ¢ ¢ .^7 s¦twv ¦ §© matrix such that .
Recommended publications
  • Observational Cosmology - 30H Course 218.163.109.230 Et Al
    Observational cosmology - 30h course 218.163.109.230 et al. (2004–2014) PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Thu, 31 Oct 2013 03:42:03 UTC Contents Articles Observational cosmology 1 Observations: expansion, nucleosynthesis, CMB 5 Redshift 5 Hubble's law 19 Metric expansion of space 29 Big Bang nucleosynthesis 41 Cosmic microwave background 47 Hot big bang model 58 Friedmann equations 58 Friedmann–Lemaître–Robertson–Walker metric 62 Distance measures (cosmology) 68 Observations: up to 10 Gpc/h 71 Observable universe 71 Structure formation 82 Galaxy formation and evolution 88 Quasar 93 Active galactic nucleus 99 Galaxy filament 106 Phenomenological model: LambdaCDM + MOND 111 Lambda-CDM model 111 Inflation (cosmology) 116 Modified Newtonian dynamics 129 Towards a physical model 137 Shape of the universe 137 Inhomogeneous cosmology 143 Back-reaction 144 References Article Sources and Contributors 145 Image Sources, Licenses and Contributors 148 Article Licenses License 150 Observational cosmology 1 Observational cosmology Observational cosmology is the study of the structure, the evolution and the origin of the universe through observation, using instruments such as telescopes and cosmic ray detectors. Early observations The science of physical cosmology as it is practiced today had its subject material defined in the years following the Shapley-Curtis debate when it was determined that the universe had a larger scale than the Milky Way galaxy. This was precipitated by observations that established the size and the dynamics of the cosmos that could be explained by Einstein's General Theory of Relativity.
    [Show full text]
  • Arxiv:2006.12190V2 [Math.DG] 6 Oct 2020 5.2
    PLATEAU PROBLEMS FOR MAXIMAL SURFACES IN PSEUDO-HYPERBOLIC SPACES FRANÇOIS LABOURIE, JÉRÉMY TOULISSE, AND MICHAEL WOLF Abstract. We define and prove the existence of unique solutions of an asymptotic Plateau problem for spacelike maximal surfaces in the pseudo-hyperbolic space of signature (2; n): the boundary data is given by loops on the boundary at infinity of the pseudo-hyperbolic space which are limits of positive curves. We also discuss a compact Plateau problem. The required compactness arguments rely on an analysis of the pseudo-holomorphic curves defined by the Gauss lifts of the maximal surfaces. Contents 1. Introduction2 1.1. Structure of this article5 2. Pseudo-hyperbolic geometry5 2.1. The pseudo-hyperbolic space5 2.2. Pseudo-spheres and horospheres7 2.3. Grassmannians8 2.4. Einstein Universe9 2.5. Positivity 10 3. Graphs, curves and surfaces 14 3.1. Spacelike submanifolds in pseudo-hyperbolic spaces 14 3.2. Strongly positive curves 19 3.3. Maximal surfaces 22 3.4. Gauss lift and holomorphic curves 25 4. Uniqueness 27 4.1. Lower bound on the Hessian 27 4.2. A maximum principle 28 4.3. Proof of Theorem 4.1 29 5. Main compactness theorem 30 5.1. Structure of the proof 31 arXiv:2006.12190v2 [math.DG] 6 Oct 2020 5.2. Preliminary : constructing “good” neighborhoods 31 5.3. Local control 35 5.4. Global control 38 5.5. Bernstein type theorem 39 Date: October 7, 2020. F.L., J.T. and M.W. acknowledge support from U.S. National Science Foundation (NSF) grants DMS 1107452, 1107263, 1107367 “RNMS: Geometric structures And Representation varieties” (the GEAR Network).
    [Show full text]
  • Principal Component Analysis for Functional Data on Riemannian Manifolds and Spheres
    Principal Component Analysis for Functional Data on Riemannian Manifolds and Spheres October 25, 2017 Short title: Functional Data on Riemannian Manifolds Xiongtao Dai Department of Statistics University of California, Davis Davis, CA 95616 U.S.A. Email: [email protected] Hans-Georg M¨uller Department of Statistics University of California, Davis Davis, CA 95616 U.S.A. Email: [email protected] arXiv:1705.06226v2 [math.ST] 24 Oct 2017 Research supported by NSF grants DMS-1407852 and DMS-1712864. We thank FlightAware for the permission to use the flight data in Section 5. ABSTRACT Functional data analysis on nonlinear manifolds has drawn recent interest. Sphere-valued functional data, which are encountered for example as movement trajectories on the surface of the earth, are an important special case. We consider an intrinsic principal component analysis for smooth Riemannian manifold-valued functional data and study its asymptotic properties. Riemannian functional principal component analysis (RFPCA) is carried out by first mapping the manifold-valued data through Riemannian logarithm maps to tangent spaces around the time-varying Fr´echet mean function, and then performing a classical multi- variate functional principal component analysis on the linear tangent spaces. Representations of the Riemannian manifold-valued functions and the eigenfunctions on the original manifold are then obtained with exponential maps. The tangent-space approximation through func- tional principal component analysis is shown to be well-behaved in terms of controlling the residual variation if the Riemannian manifold has nonnegative curvature. Specifically, we derive a central limit theorem for the mean function, as well as root-n uniform convergence rates for other model components, including the covariance function, eigenfunctions, and functional principal component scores.
    [Show full text]
  • Partial Differential Equations in Conformal Geometry (2008)
    Spring Lecture Series N.33 Partial Differential Equations in Conformal Geometry (2008) Principal Lecturer: Sun-Yung Alice Chang, Princeton University Public Lecture by Frank Morgan, Williams College, "Soap Bubbles and Mathematics" National Science Foundation support for the Spring Lecture Series DMS0751330, March 15, 2008-February 28, 2010, $72345. Luca Capogna [email protected] (Principal Investigator) and Loredana Lanzani (Co- Principal Investigator) Participants Invited Speakers: Ivana Alexandrova (East Carolina University) Title: Semi-Classical Resolvent Estimates at the Maximum of the Potential Abstract: We prove upper and lower bounds on the resolvent of the Schrodinger operator at an energy, which is the global non-degenerate maximum of the potential. Our upper bound improves the earlier bound of Nakamura '91 and our lower bound shows that our upper bound is near sharp. We next discuss an application of our upper resolvent estimate to proving an asymptotic expansion of the total scattering cross-section. Chiun-Chuan Chen (Academia Sinica, Taiwan) Title: Topological degree for a Liouville type equation with singular source Abstract: We consider a Liouville type equation in two dimension domains which arises from prescribing Gaussian curvature problem, the mean filed limit of vortices in Euler flows and limit cases of Chern-Simons models. The “total mass”, which equals the integral of the nonlinear term, plays a key role for this equation. The solutions can blow up when the total mass tends to some critical values. We will discuss how the delta functions in the source term affect the blowup behavior of the solutions and present a recently-discovered combinatorial formula of the Leray-Schauder degree for the problem.
    [Show full text]
  • Mémoires De La S
    MÉMOIRES DE LA S. M. F. SUHYOUNG CHOI The convex and concave decomposition of manifolds with real projective structures Mémoires de la S. M. F. 2e série, tome 78 (1999) <http://www.numdam.org/item?id=MSMF_1999_2_78__1_0> © Mémoires de la S. M. F., 1999, tous droits réservés. L’accès aux archives de la revue « Mémoires de la S. M. F. » (http://smf. emath.fr/Publications/Memoires/Presentation.html) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ THE CONVEX AND CONCAVE DECOMPOSITION OF MANIFOLDS WITH REAL PROJECTIVE STRUCTURES Suhyoung Choi Abstract. — We try to understand the geometric properties of n-manifolds (n ^ 2) with geometric structures modeled on (IiPn,PGL(n + 1,R)), i.e., yi-manifolds with projectively flat torsion free affine connections. We define the notion of i-convexity of such manifolds due to Carriere for integers z, 1 < z ^ n — 1, which are generalization of convexity. Given a real projective n-manifold M, we show that the failure of an (n - l)-convexity of M implies an existence of a certain geometric object, n-crescent, in the completion M of the universal cover M of M. We show that this further implies the existence of a particular type of affine submanifold in M and give a natural decomposition of M into simpler real projective manifolds, some of which are (n - l)-convex and others are affine, more specifically concave affine.
    [Show full text]
  • Geometric Data Analysis Based on Manifold Learning with Applications for Image Understanding
    Geometric Data Analysis Based on Manifold Learning with Applications for Image Understanding Gastao˜ Florencioˆ Miranda Junior Carlos Eduardo Thomaz Gilson Antonio Giraldi Department of Mathematics Department of Electrical Engineering Depart. of Math. and Comput. Methods Federal University of Sergipe FEI National Laboratory for Aracaju, Brazil Sao˜ Bernardo do Campo, Brazil Scientific Computing (LNCC) Email: [email protected] Email: [email protected] Petropolis,´ Brazil Email: [email protected] Abstract—Nowadays, pattern recognition, computer vision, the classical principal component analysis (PCA), factor signal processing and medical image analysis, require the man- analysis (FA) [3], multidimensional scaling (MDS) [4], [5] aging of large amount of multidimensional image databases, and projection pursuit (PP) [3], [6]. Linear techniques seek possibly sampled from nonlinear manifolds. The complex tasks involved in the analysis of such massive data lead to a strong for new variables that obey some optimization criterium and demand for nonlinear methods for dimensionality reduction to can be expressed as linear combination of the original ones. achieve efficient representation for information extraction. In That’s why they fail if the input data has curved or nonlinear this avenue, manifold learning has been applied to embed non- structures. linear image data in lower dimensional spaces for subsequent Nonlinear dimensionality reduction methods include ker- analysis. The result allows a geometric interpretation of image spaces with relevant consequences for data topology, compu- nel approaches, like kernel PCA (KPCA), kernel LDA tation of image similarity, discriminant analysis/classification (KLDA) and kernel Fisher discriminant analysis (KFD). tasks and, more recently, for deep learning issues. In this These techniques map the original input data into a feature paper, we firstly review Riemannian manifolds that compose space by a (global) nonlinear mapping, where inner products the mathematical background in this field.
    [Show full text]
  • Actafutura Fax: +31 71 565 8018
    Acta Futura Issue 7 Relativistic Positioning Systems and their Scientific Applications Guest Editors: Andreja Gomboc, Martin Horvat and Uroš Kostić Advanced Concepts Team http://www.esa.int/act Publication: Acta Futura, Issue 7 (2013) Editor-in-chief: Duncan James Barker Associate editors: Dario Izzo Jose M. Llorens Montolio Pacôme Delva Francesco Biscani Camilla Pandolfi Guido de Croon Luís F. Simões Daniel Hennes Published and distributed by: Advanced Concepts Team ESTEC, PPC-PF 2201 AZ, Noordwijk e Netherlands www.esa.int/gsp/ACT/publications/ActaFutura Fax: +31 71 565 8018 Cover image by S. Carloni & A. Gomboc from http://rgnss.fmf.uni-lj.si/workshop. ISSN: 2309-1940 D.O.I.:10.2420/ACT-BOK-AF Copyright ©2013- ESA Advanced Concepts Team Typeset with X TE EX Workshop on Relativistic Positioning Systems and their Scientific Applications 19-21 September 2012 Brdo near Kranj, Slovenia Organised by the Faculty of Mathematics and Physics, University of Ljubljana (UL), ESA (Advanced Concepts Team) and Centre of Excellence SPACE-SI. Organising Committee: Andreja Gomboc (UL, CE SPACE-SI) Martin Horvat (UL) Uroš Kostić (UL) Scientific Committee: Bertram Arbesser-Rastburg (ESA) Sante Carloni (ESA) Pacôme Delva (SYRTE, UPMC, Paris Obs.) Clovis Jacinto de Matos (ESA) Rune Floberghagen (ESA) Uroš Kostić (UL) Leopold Summerer (ESA) Contents Foreword 9 Autonomous Spacecraft Navigation With Pulsars 11 W. Becker, M. G. Bernhardt, and A. Jessner Restricted Post-Newtonian two-body problem with spin and its applications 29 F. Biscani, and S. Carloni Relativistic positioning systems: perspectives and prospects 35 B. Coll From emission to inertial coordinates: observational rule and inertial splitting 49 B.
    [Show full text]
  • Geodesics in Semi–Riemannian Manifolds 3
    Geodesics in semi–Riemannian Manifolds: Geometric Properties and Variational Tools Anna Maria Candela∗, Miguel S´anchez† Abstract. Geodesics become an essential element of the geometry of a semi–Riemannian manifold. In fact, their differences and similarities with the (positive definite) Riemannian case, constitute the first step to understand semi–Riemannian Geometry. The progress in the last two decades has become impressive, being especially relevant the systematic introduction of (infinite–dimensional) variational methods. Our purpose is to give an overview, from refinements of classical results to updated variational settings. First, several properties (and especially completeness) of geodesics in some ambient spaces are studied. This includes heuristic constructions of compact incomplete examples, geodesics in warped, GRW or stationary spacetimes, properties in surfaces and spaceforms, or problems on stability of completeness. Then, we study the variational framework, and focus on two fundamental problems of this approach, which regards geodesic connectedness. The first one deals with a varia- tional principle for stationary manifolds, and its recent implementation inside Causality Theory. The second one concerns orthogonal splitting manifolds, and a reasonably self– contained development is provided, collecting some steps spread in the literature. Mathematics Subject Classification (2000). Primary 53C22, 58E10; Secondary 53C50, 53C80, 58E05. Keywords. Geodesic, semi–Riemannian manifold, geodesic completeness, Causality Theory, Clifton–Pohl torus, Misner’s cylinder, density of incompleteness in tori, homo- geneous manifold spaceform, stability of completeness, geodesic in surface, Generalized Robertson–Walker (GRW) spacetime, warped–completeness, singularity theorem, action functional, Palais–Smale condition, geodesic connectedness, static spacetime, station- ary spacetime, orthogonal splitting spacetime, globally hyperbolic spacetime, Ljusternik– Schnirelman Theory, Relative Category Theory.
    [Show full text]
  • Geodesic Convexity and Closed Nilpotent Similarity Manifolds
    Geodesic convexity and closed nilpotent similarity manifolds Raphaël V. ALEXANDRE* March 9, 2020 Abstract Some nilpotent Lie groups possess a transformation group analogous to the similarity group acting on the Euclidean space. We call such a pair a nilpotent similarity structure. It is notably the case for all Carnot groups and their dilatations. We generalize a theorem of Fried: closed manifolds with a nilpotent similarity structure are either complete or radiant and, in the latter case, complete for the structure of the space deprived of a point. The proof relies on a generalization of convexity arguments in a setting where, in the coordinates given by the Lie algebra, we study geodesic segments instead of linear segments. We show classic consequences for closed manifolds with a geometry modeled on the boundary of a rank one symmetric space. 1 Introduction Let Sim(Rn) be the group of similarities of Rn. That is to say, an element of Sim(Rn) is of the form x ¸P(x) c where ¸ 0 is a dilatation factor, P O(n) is a rotation and 7! Å È 2 c Rn describes a translation. Similarity manifolds are smooth manifolds equipped 2 with an atlas of charts with values in Rn and transition maps in Sim(Rn). More generally, a nilpotent similarity group of transformations, Sim(N ), acting on a nilpotent Lie group N , is described by the transformations of the form x ¸P(x) c, 7! ÅN where the addition is the group law of N , ¸ 0 is again a dilatation that can ÅN È be seen through a coordinate system of the nilpotent Lie algebra as ¸(x ,...,x ) 1 n Æ (¸d1 x ,...,¸dn x ) with d 1, P is a rotation for the choice of the Euclidean metric asso- 1 n i ¸ ciated to the coordinate system (x ,...,x ) and c N is again representing a translation.
    [Show full text]
  • Pseudo-Elliptic Geometry of a Class of Frobenius-Manifolds & Maurer
    PSEUDO-ELLIPTIC GEOMETRY OF A CLASS OF FROBENIUS-MANIFOLDS & MAURER–CARTAN STRUCTURES N. COMBE, PH. COMBE, AND H. NENCKA Abstract. The recently discovered fourth class of Frobenius manifolds by Combe–Manin in [11] opened and highlighted new geometric domains to ex- plore. The guiding mantra of this article is to show the existence of hidden geometric aspects of the fourth Frobenius manifold, which turns out to be re- lated to so-called causality conditions. Firstly, it is proved that the fourth class of Frobenius manifolds is a Pseudo-Elliptic one. Secondly, this manifold turns out to be a sub-manifold of a non-orientable Lorentzian projective manifold. Thirdly, Maurer–Cartan structures for this manifold and hidden geometrical properties for this manifold are unraveled. In fine, these investigations lead to the rather philosophical concept of causality condition, creating a bridge be- tween the notion of causality coming from Lorentzian manifolds (originated in special relativity theory) and the one arising in probability and statistics. Contents Introduction 2 1. Overview on the paracomplex geometry 5 2. FirstpartoftheproofofTheoremA 9 3. SecondpartoftheproofofTheoremA 13 4. Theorem B: the fourth Frobenius manifold is a Lorentzian manifold 16 5. SecondpartoftheproofofTheoremB 18 6. Conclusion 23 References 23 arXiv:2107.01985v1 [math.AG] 5 Jul 2021 Date: July 6, 2021. 2020 Mathematics Subject Classification. Primary: 17Cxx, 53B05, 53B10, 53B12; Sec- ondary:16W10, 53D45. Key words and phrases. Non-Euclidean geometry, Paracomplex geometry, Lorentzian mani- fold, Jordan algebras, Frobenius manifold. This research was supported by the Max Planck Society’s Minerva grant. The authors express their gratitude towards MPI MiS for excellent working conditions.
    [Show full text]
  • Geodesic Convexity and Closed Nilpotent Similarity Manifolds Raphaël Alexandre
    Geodesic convexity and closed nilpotent similarity manifolds Raphaël Alexandre To cite this version: Raphaël Alexandre. Geodesic convexity and closed nilpotent similarity manifolds. 2020. hal- 02500719 HAL Id: hal-02500719 https://hal.archives-ouvertes.fr/hal-02500719 Preprint submitted on 6 Mar 2020 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. Geodesic convexity and closed nilpotent similarity manifolds Raphaël V. ALEXANDRE* March 6, 2020 Abstract Some nilpotent Lie groups possess a transformation group analogous to the similarity group acting on the Euclidean space. We call such a pair a nilpotent similarity structure. It is notably the case for all Carnot groups and their dilatations. We generalize a theorem of Fried: closed manifolds with a nilpotent similarity structure are either complete or radiant and, in the latter case, complete for the structure of the space deprived of a point. The proof relies on a generalization of convexity arguments in a setting where, in the coordinates given by the Lie algebra, we study geodesic segments instead of linear segments. We show classic consequences for closed manifolds with a geometry modeled on the boundary of a rank one symmetric space.
    [Show full text]
  • An Introduction to the Completeness of Compact Semi-Riemannian Manifolds
    Séminaire de Théorie spectrale et géométrie MIGUEL SÁNCHEZ An introduction to the completeness of compact semi- riemannian manifolds Séminaire de Théorie spectrale et géométrie, tome 13 (1994-1995), p. 37-53 <http://www.numdam.org/item?id=TSG_1994-1995__13__37_0> © Séminaire de Théorie spectrale et géométrie (Grenoble), 1994-1995, tous droits réservés. L’accès aux archives de la revue « Séminaire de Théorie spectrale et géométrie » implique l’ac- cord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utili- sation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Séminaire de théorie spectrale et géométrie GRENOBLE 1994-1995(37-53) AN INTRODUCTION TO THE COMPLETENESS OF COMPACT SEMI-RIEMANNIAN MANIFOLDS Miguel SÂNCHEZ ABSTRACT . — The aim of this paper is twofold. First, it introduces some heuris- tic reasonings and examples to show that the problem of completeness of compact indef- inite manifolds arises in a natu rai way, so, it is discussed the absence of analogous conclu- sions to the well-known ones from Hopf-Rinow's theorem, the existence of incomplete closed geodesics, and a heuristic way to yield incomplete Lorentzian tori, including Clifton-Pohl's torus. Second, a brief summary of known results and open questions is carried out. In this summary, the Riemannian, indefinite non compact and indefinite compact cases are com- pared, and some of the underlying ideas are outiined. 1. Heuristic considérations 1.0.
    [Show full text]