Map drawing and foliations of the sphere

Athanase Papadopoulos

DOI: https://doi.org/10.48550/arXiv.2009.01348

2020-09-01

Abstract:I will consider some questions related to Euler's work on cartography and its consequences, in which the foliations of the sphere by meridians and parallels play important roles.

History and Overview,Differential Geometry

What problem does this paper attempt to address?

Mathematics and map drawing in the eighteenth century

Athanase Papadopoulos

DOI: https://doi.org/10.48550/arXiv.2111.11245

2021-11-22

Abstract:We consider the mathematical theory of geographical maps, with an emphasis on the eighteenth century works of Euler, Lagrange and Delisle. This period is characterized by the frequent use of maps that are no more obtained by the stereographic projection or its variations, but by much more general maps from the sphere to the plane. More especially, the characteristics of the desired geographical maps were formulated in terms of an appropriate choice of the images of the parallels and meridians, and the mathematical properties required by the map concern the distortion of the maps restricted to these lines. The paper also contains some notes on the general use of mathematical methods in cartography in Greek Antiquity and in the modern period, and on the mutual influence of the two fields, mathematics and geography. The final version of this paper will appear in Ganita Bharati (Indian mathematics).

History and Overview
On the distality and expansivity of certain maps on spheres

Manoj Choudhuri,Gianluca Faraco,Alok Kumar Yadav

DOI: https://doi.org/10.1080/14689367.2023.2248013

2023-09-09

Abstract:Any affine map on the (n+1)-dimensional Euclidean space gives rise to a natural map on the n-dimensional sphere whose dynamical aspects are not so well-studied in the literature. We explore the dynamical aspects of these maps by investigating about their distality and expansivity.

Dynamical Systems
Adiabatic Limits and Foliations

Kefeng Liu,Weiping Zhang

DOI: https://doi.org/10.1090/conm/279/04561

2001-01-01

Abstract:We use adiabatic limits to study foliated manifolds. The Bott connection naturally shows up as the adiabatic limit of Levi-Civita connections. As an application, we then construct certain natural elliptic operators associated to the foliation and present a direct geometric proof of a vanshing theorem of Connes[Co], which extends the Lichnerowicz vanishing theorem [L] to foliated manifolds with spin leaves, for what we call almost Riemannian foliations. Several new vanishing theorems are also proved by using our method.
On Delisle's geographical projection

Charalampos Charitos,Athanase Papadopoulos

DOI: https://doi.org/10.48550/arXiv.2211.00993

2022-11-02

Abstract:Joseph-Nicolas Delisle was one of the most important scientists at the Saint Petersburg Academy of Sciences during the first period when Euler was working there. Euler was helping him in his work on astronomy and in geography. In this paper, Delisle's geographical projection is presented and Euler's study of this projection isexplained, highlighting some important mathematical points, in particular on the metric geometry of <a class="link-external link-http" href="http://surfaces.The" rel="external noopener nofollow">this http URL</a> final version of this paper will appear in the book \emph{Mathematical Geography in the Eighteenth Century: Euler, Lagrange and Lambert}, ed. Renzo Caddeo and Athanase Papadopoulos, Springer International Publishing, 2022.

History and Overview,Differential Geometry
Enumerative geometry of Legendrian foliations: a Tale of Contact

Mauricio Corrêa,Israel Vainsencher

DOI: https://doi.org/10.48550/arXiv.2209.12085

2023-05-18

Abstract:A contact distribution on projective three-space is defined by the 1-form $x_2dx_1-x_1dx_2+x_4dx_3-x_3dx_4$, up to a change of projective coordinates. The family of contact distributions is parameterized by the complement of the Pfaff-Plücker quadric in the projective 5-space of antisymmetric $4\times4$ matrices. A foliation of dimension 1 and degree $d$ is specified by a polynomial vector field $\sum{}p_i\partial_{x_i}, p_i$ homogeneous of degree $d$. The foliation is called Legendrian if tangent to some distribution of contact. Our goal is to give formulas for the dimensions and degrees of the varieties of Legendrian foliations, and of the varieties of foliations tangent to a pencil of planes.

Algebraic Geometry
Depth-one foliations, pseudo-Anosov flows and universal circles

Junzhi Huang

2024-10-10

Abstract:Given a taut depth-one foliation $\mathcal{F}$ in a closed atoroidal 3-manifold $M$ transverse to a pseudo-Anosov flow $\phi$ without perfect fits, we show that the universal circle coming from leftmost sections $\mathfrak{S}_\mathrm{left}$ associated to $\mathcal{F}$, constructed by Thurston and Calegari-Dunfield, is isomorphic to the ideal boundary of the flow space associated to $\phi$ with natural structure maps. As a corollary, we use a theorem of Barthelmé-Frankel-Mann to show that there is at most one pseudo-Anosov flow without perfect fits transverse to $\mathcal{F}$ up to orbit equivalence.

Geometric Topology
Analytic sphere eversion using ruled surfaces

Adam Bednorz,Witold Bednorz

DOI: https://doi.org/10.1016/j.difgeo.2019.02.004

IF: 0.536

2019-06-01

Differential Geometry and its Applications

Abstract:Sphere eversions have been described so far by either pictures with minimal topological complexity, numerical evolution or complex equations. We write down relatively simple explicit formulas for the whole eversion, both analytic and topologically simpler, including also Boy surface (real projective plane), using a family of ruled surfaces. We show their usefulness in visualizing the process using commonly available modeling software.

mathematics, applied
An invitation to singular foliations

Camille Laurent-Gengoux,Ruben Louis,Leonid Ryvkin

2024-07-21

Abstract:These lecture notes attempt to invite the reader towards the theory of singular foliations, both smooth and holomorphic. In addition to a systematic review of the foundations, and an attempt to put in order examples and several elementary constructions, we detail several recent tools developed for non-commutative geometry, in particular the holonomy groupoid of Androulidakis and Skandalis and various methods for resolving singularities. We also introduce various homotopic notions, and end with a series of open questions.

Differential Geometry
Related Problems in Spherical and Solid Geometry

Michael Q. Rieck

DOI: https://doi.org/10.48550/arXiv.2212.14017

2023-07-15

Abstract:A problem that is simple to state in the context of spherical geometry, and that seems rather interesting, appears to have been unexamined to date in the mathematical literature. The problem can also be recast as a problem in the real projective plane. The problem on the sphere involves four great circles and their intersections. A substantial claim is made concerning this problem, and subsequently proved by relating the spherical problem to a compelling problem in solid geometry. This latter problem essentially concerns relationships between the angles of a tetrahedron, and has practical applications, particularly in connection with the Perspective 3-Point (Pose) Problem.

Metric Geometry
A Construction of the Total Spherical Perspective in Ruler, Compass and Nail

António Araújo

DOI: https://doi.org/10.1080/17513472.2018.1469378

2017-01-22

Abstract:We obtain a construction of the total spherical perspective with ruler, compass, and nail. This is a generalization of the spherical perspective of Barre and Flocon to a 360 degree field of view. Since the 1960s, several generalizations of this perspective have been proposed, but they were either works of a computational nature, inadequate for drawing with simple instruments, or lacked a general method for solving all vanishing points. We establish a general setup for anamorphosis and central perspective, define the total spherical perspective within this framework, study its topology, and show how to solve it with simple instruments. We consider its uses both in freehand drawing and in computer visualization, and its relation with the problem of reflection on a sphere.

History and Overview
Isoparametric foliations, a problem of Eells-Lemaire and conjectures of Leung

Chao Qian,Zizhou Tang

DOI: https://doi.org/10.1112/plms/pdw015

2016-04-13

Abstract:In this paper, two sequences of minimal isoparametric hypersurfaces are constructed via representations of Clifford algebras. Based on these, we give estimates on eigenvalues of the Laplacian of the focal submanifolds of isoparametric hypersurfaces in unit spheres. This improves results of [TY13] and [TXY14]. Eells and Lemaire [EL83] posed a problem to characterize the compact Riemannian manifold M for which there is an eigenmap from M to S^n. As another application of our constructions, the focal maps give rise to many examples of eigenmaps from minimal isoparametric hypersurfaces to unit spheres. Most importantly, by investigating the second fundamental forms of focal submanifolds of isoparametric hypersurfaces in unit spheres, we provide infinitely many counterexamples to two conjectures of Leung [Le91] (posed in 1991) on minimal submanifolds in unit spheres. Notice that these conjectures of Leung have been proved in the case that the normal connection is flat [HV01].

Differential Geometry
Veering triangulations and Cannon–Thurston maps

François Guéritaud

DOI: https://doi.org/10.1112/jtopol/jtw016

2016-07-27

Journal of Topology

Abstract:Any hyperbolic surface bundle over the circle gives rise to a continuous surjection from the circle to the sphere, by work of Cannon–Thurston and Bowditch. We prove that the order in which this surjection fills out the sphere is dictated by a natural triangulation of the surface bundle (introduced by Agol) when all singularities of the invariant foliations are at punctures of the fiber.

mathematics
Diffeomorphisms of the 4-sphere, Cerf theory and Montesinos twins

David T. Gay

2024-09-18

Abstract:One way to better understand the smooth mapping class group of the 4-sphere would be to give a list of generators in the form of explicit diffeomorphisms supported in neighborhoods of submanifolds, in analogy with Dehn twists on surfaces. As a step in this direction, we describe a surjective homomorphism from a group associated to loops of 2-spheres in $S^2 \times S^2$'s onto this smooth mapping class group, discuss two natural and in some sense complementary subgroups of the domain of this homomomorphism, show that one is in the kernel, and give generators as above for the image of the other. These generators are described as twists along Montesinos twins, i.e. pairs of embedded 2-spheres in the 4-sphere intersecting transversely at two points.

Geometric Topology
Singular Holonomy of Singular Riemannian Foliations with Sections

Marcos M. Alexandrino

DOI: https://doi.org/10.48550/arXiv.math/0703814

2007-03-28

Abstract:In this paper we review some author's results about singular holonomy of singular riemannian foliations with sections (s.r.f.s for short) and also some results of a joint work with Toeben and a joint work with Gorodski. We stress here that the condition that the leaves are compact, used in some of these results, can be replaced by the condition that the leaves are closed embedded. We also briefly recall some of Toeben's results about blow-up of s.r.f.s. Then we use this technique to get conditions under which a holonomy map can be extended to a global isometry.

Differential Geometry
Transverse Geometry of Lorentzian foliations with applications to Lorentzian orbifolds

Francisco C. Caramello Jr,Henrique A. Puel Martins,Ivan P. Costa e Silva

2024-02-09

Abstract:We prove a transverse diameter theorem in the context of Lorentzian foliations, which can be interpreted as a Hawking--Penrose-type singularity theorem for timelike geodesics transverse to the foliation. In order to develop the necessary machinery we introduce and study a novel causality structure on the leaf space via the transverse Lorentzian geometry on the foliated manifold. We describe the initial rungs of a transverse causal ladder and relate them to their standard counterparts on an underlying foliated spacetime. We show how these results can be interpreted as doing Lorentzian (and more generally semi-Riemannian) geometry on low-regularity spaces that can be realized as leaf spaces of foliations. Accordingly, we discuss how all of these concepts and results apply to Lorentzian orbifolds, insofar as these can be seen as leaf spaces of a specific class of Lorentzian foliations. In particular, we derive an associated Lorentzian timelike diameter theorem on orbifolds.

Differential Geometry
On symmetries of spheres in univalent foundations

Pierre Cagne,Ulrik Buchholtz,Nicolai Kraus,Marc Bezem

2024-01-27

Abstract:Working in univalent foundations, we investigate the symmetries of spheres, i.e., the types of the form $\mathbb{S}^n = \mathbb{S}^n$. The case of the circle has a slick answer: the symmetries of the circle form two copies of the circle. For higher-dimensional spheres, the type of symmetries has again two connected components, namely the components of the maps of degree plus or minus one. Each of the two components has $\mathbb{Z}/2\mathbb{Z}$ as fundamental group. For the latter result, we develop an EHP long exact sequence.

Logic in Computer Science,Algebraic Topology
Generative Programming of Graphical User Interfaces

Max Schlee,Jean Vanderdonckt

DOI: https://doi.org/10.48550/arXiv.cs/0405078

2004-05-23

Abstract:Generative Programming (GP) is a computing paradigm allowing automatic creation of entire software families utilizing the configuration of elementary and reusable components. GP can be projected on different technologies, e.g. C++-templates, Java-Beans, Aspect-Oriented Programming (AOP), or Frame technology. This paper focuses on Frame Technology, which aids the possible implementation and completion of software components. The purpose of this paper is to introduce the GP paradigm in the area of GUI application generation. It demonstrates how automatically customized executable applications with GUI parts can be generated from an abstract specification.

Human-Computer Interaction
On the Structure of Equidistant Foliations of Euclidean Space

Christian Boltner

DOI: https://doi.org/10.48550/arXiv.0712.0245

2007-12-03

Differential Geometry

Abstract:This thesis is concerned with equidistant foliations of Euclidean space, i.e. partitions into complete, connected, properly embedded smooth submanifolds. The space of leaves is an Alexandrov space of nonnegative curvature and the canonical projection is a submetry. Generalizing a result of Gromoll and Walschap we show that an equidistant foliation always has an affine leaf and we prove homogeneneity of the foliation under certain additional assumptions. Moreover, we give several reducibility results and construct new (noncompact) inhomogeneous examples of equidistant foliations.
Symmetries of geodesic flows on covers and rigidity

Daniel Mitsutani

2024-02-15

Abstract:We define and study the foliated centralizer: the group of $C^\infty$ centralizer elements of the lift of an Anosov system on a non-compact manifold which additionally preserve the stable and unstable foliations. When the Anosov system is the geodesic flow of a closed Riemannian manifold with pinched negative sectional curvatures, we prove some rigidity properties for the foliated centralizer of the lift of the flow to the universal cover: it is a finite-dimensional Lie group, which is moreover discrete (modulo the action of the flow itself) unless the metric is homothetic to some real hyperbolic metric. This result is inspired by the study of isometries of universal covers that appeared originally in the work of Eberlein, and later in Farb and Weinberger, as well as centralizer rigidity results in dynamics.

Dynamical Systems,Differential Geometry
Metric-affine Geometries With Spherical Symmetry

Manuel Hohmann

DOI: https://doi.org/10.3390/sym12030453

2020-03-13

Abstract:We provide a comprehensive overview of metric-affine geometries with spherical symmetry, which may be used in order to solve the field equations for generic gravity theories which employ these geometries as their field variables. We discuss the most general class of such geometries, which we display both in the metric-Palatini formulation and in the tetrad / spin connection formulation, and show its characteristic properties: torsion, curvature and nonmetricity. We then use these properties to derive a classification of all possible subclasses of spherically symmetric metric-affine geometries, depending on which of the aforementioned quantities are vanishing or non-vanishing. We discuss both the cases of the pure rotation group $\mathrm{SO}(3)$, which has been previously studied in the literature, and extend these previous results to the full orthogonal group $\mathrm{O}(3)$, which also includes reflections. As an example for a potential physical application of the results we present here, we study circular orbits arising from autoparallel motion. Finally, we mention how these results can be extended to cosmological symmetry.

Mathematical Physics,General Relativity and Quantum Cosmology,High Energy Physics - Theory

Map drawing and foliations of the sphere

Mathematics and map drawing in the eighteenth century

On the distality and expansivity of certain maps on spheres

Adiabatic Limits and Foliations

On Delisle's geographical projection

Enumerative geometry of Legendrian foliations: a Tale of Contact

Depth-one foliations, pseudo-Anosov flows and universal circles

Analytic sphere eversion using ruled surfaces

An invitation to singular foliations

Related Problems in Spherical and Solid Geometry

A Construction of the Total Spherical Perspective in Ruler, Compass and Nail

Isoparametric foliations, a problem of Eells-Lemaire and conjectures of Leung

Veering triangulations and Cannon–Thurston maps

Diffeomorphisms of the 4-sphere, Cerf theory and Montesinos twins

Singular Holonomy of Singular Riemannian Foliations with Sections

Transverse Geometry of Lorentzian foliations with applications to Lorentzian orbifolds

On symmetries of spheres in univalent foundations

Generative Programming of Graphical User Interfaces

On the Structure of Equidistant Foliations of Euclidean Space

Symmetries of geodesic flows on covers and rigidity

Metric-affine Geometries With Spherical Symmetry