Source author record

Athanase Papadopoulos

Athanase Papadopoulos appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

49works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

49 published item(s)

preprint2026arXiv

On the Lambert conformal conical projection and the general map of the Russian Empire

The problem of drawing geographical maps is the one of mapping a subset of the sphere, representing a country or some other region on the surface of the Earth, into the Euclidean plane, minimising certain distortion properties that are specified in advance. It is known that from the purely mathematical point of view, this is an extremely difficult problem. One of Leonhard Euler's duties during his first stay at the Imperial Academy of Sciences of Saint Petersburg (1727-1741) was to help establishing maps of the Russian Empire. He worked on this project under the direction of the famous French geographer Joseph-Nicolas Delisle, who was the head of the astronomy and geography departments of the Academy. The general map of the Russian Empire, together with several maps of its particular regions were published under Euler's direction in the so-called Russian Atlas in 1745. In his later memoir ``De proiectione geographica De Lisliana in mappa generali imperii russici usitata'', written in 1777, Euler developed the mathematical theory of the method used by Delisle on a heuristic basis, which he himself used for drawing the general map of the Russian Empire. This method usually carries now the name Delisle--Euler map. In a previous paper, the first two authors of the present paper compared the Delisle--Euler map with several other maps of the conical type, with respect to various mathematical distorsion properties. They showed that this map is the best one from all the points of view considered, when it is applied to the drawing of the Russian Empire. In the present paper, we compare the Euler--Delisle map with a map which was not considered in the paper mentioned, namely, the so-called Lambert conformal conical projection, applied to the same region of the Earth. We show that the latter is better in several respects than all the other maps considered in the previous paper, including the Delisle--Euler map.

preprint2024arXiv

The infinitesimal and global Thurston geometry of Teichm{ü}ller space

We undertake a systematic study of the infinitesimal geometry of the Thurston metric, showing that the topology, convex geometry and metric geometry of the tangent and cotangent spheres based at any marked hyperbolic surface representing a point in Teichm{ü}ller space can recover the marking and geometry of this marked surface. We then translate the results concerning the infinitesimal structures to global geometric statements for the Thurston metric, most notably deriving rigidity statements for the Thurston metric analogous to the celebrated Royden theorem.

preprint2023arXiv

Some notes on the impact of Lagrange's memoir "On the construction of geographical maps"

These are notes on the impact of Lagrange's memoir on the construction of geographical maps. We mention the relations of some ideas and questions introduced in this memoir with other notions that appeared later in the works of several mathematicians, including in particular Chebyshev (19th c.) and Darboux (19th-20th c.), two mathematicians who were particularly interested in geography.

preprint2022arXiv

Clairaut, Euler and the figure of the Earth

The sphericity of the form of the Earth was questioned around the year 1687, primarily, by Isaac Newton who deduced from his theory of universal gravitation that the Earth has the form of a spheroid flattened at the poles and elongated at the equator. In France, somepreeminent geographers were not convinced by Newton's arguments, and about the same period, based on empirical measurements, they emitted another theory, claiming that on the contrary, the Earth has the form of a spheroid flattened at the equator and elongated at the poles. To find the real figure of the Earth became one of the major questions that were investigated by geographers, astronomers, mathematicians and other scientists in the eighteenth century, and the work done around this question had an impact on the development of all these fields. In this paper, we review the work of the eighteenth-century French mathematician, astronomer and geographer Alexis-Claude Clairaut related to the question of the figure of the Earth. We report on the relation between this work and that of Leonhard Euler. At the same time, we comment on the impact of the question of the figure of the Earth on mathematics, astronomy and hydrostatics. Finally, we review some later mathematical developments that are due to various authors that were motivated by this question. It is interesting to see how a question on geography had such an impact on the theoretical sciences. The final version of this paper will appear in Ganita Bh{ā}r{ā}t{ī}, (Indian Mathematics) the Bulletin of the Indian Society for History of Mathematics.

preprint2022arXiv

Ren{é} Thom: From mathematics to philosophy

I discuss Ren{é} Thom's approach to philosophy based on his mathematical background. At the same time, I will highlight his connection with Aristotle, his criticism of the modern view of science as a predictive process, his ideas on mathematical education, his position with respect to the French school of mathematics that was dominent in his time and his relationship with the philosophical community. I will also touch upon the connections between Thom's ideas and those of Leibniz, Riemann, Freud and others. The last version of this paper will appear as a chapter in the book Handbook of the History and Philosophy of Mathematical Practice (ed. Bharath Sriraman), Springer.

preprint2021arXiv

Math{é}matiques, musique et cosmologie : A partir du Tim{é}e de Platon

Based on Plato's Timaeus, we present some reflections on music, cosmology and mathematics and their mutual influence.The article is dedicated to the composer Walter Zimmermann. The final version of this article will appear in the volume "Les jeux subtils de la po{é}tique, des nombres et de la philosophie. Autour de la musique de Walter Zimmermann", ed. P. Michel, M. Andreatta and J.-L. Besada, Hermann, Paris, 2021.

preprint2020arXiv

A note on Nicolas-Auguste Tissot: At the origin of quasiconformal mappings (to appear in Vol. VII of the Handbook of Teichm{ü}ller Theory)

Nicolas-Auguste Tissot (1824--1897) was a French mathematician and cartographer. He introduced a tool which became known among geographers under the name ``Tissot indicatrix'', and which was widely used during the first half of the twentieth century in cartography. This is a graphical representation of a field of ellipses, indicating at each point of a geographical map the distorsion of this map, both in direction and in magnitude. Each ellipse represented at a given point is the image of an infinitesimal circle in the domain of the map (generally speaking, a sphere representing the surface of the earth) by the projection that realizes the geographical map. Tissot studied extensively, from a mathematical viewpoint, the distortion of mappings from the sphere onto the Euclidean plane, and he also developed a theory for the distorsion of mappings between general surfaces. His ideas are close to those that are at the origin of the work on quasiconformal mappings that was developed several decades after him by Gr{ö}tzsch, Lavrentieff, Ahlfors and Teichm{ü}ller. Gr{ö}tzsch, in his papers, mentions the work of Tissot, and in some of the drawings he made for his articles, the Tissot indicatrix is represented. Teichm{ü}ller mentions the name Tissot in a historical section in one of his fundamental papers in which he points out that quasiconformal mappings were initially used by geographers. The name Tissot is missing from all the known historical reports on quasiconformal mappings. In the present article, we report on this work of Tissot, showing that the theory of quasiconformal mappings has a practical origin. The final version of this article will appear in Vol. VII of the Handbook of Teichm{ü}ller Theory (European Mathematical Society Publishing House, 2020).

preprint2020arXiv

Value distribution theory and Teichm{ü}ller's paper "Einfache Beispiele zur Wertverteilungslehre"

This survey will appear in Vol. VII of the Hendbook of Teichm{ü}ller theory (European Mathematical Society Publishing House, 2020). It is a commentary on Teichm{ü}ller's paper "Einfache Beispiele zur Wertverteilungslehre", published in 1944, whose English translation appears in that volume. Together with Teichm{ü}ller's paper, we survey the development of value distribution theory, in the period starting from Gauss's work on the Fundamental Theorem of Algebra and ending with the work of Teichm{ü}ller. We mention the foundational work of several mathematicians, including Picard, Laguerre, Poincar{é}, Hadamard, Borel, Montel, Valiron, and others, and we give a quick overview of the various notions introduced by Nevanlinna and some of his results on that theory.

preprint2016arXiv

A Commentary on Teichm{ü}ller's paper ``Vollst{ä}ndige L{ö}sung einer Extremalaufgabe der quasikonformen Abbildung'' (Complete solution of an extremal problem of the quasiconformal mapping)

We comment on Teichm{ü}ller 's paper ''Vollst{ä}ndige L{ö}sung einer Extremalaufgabe der quasikonformen Abbildung'' (Complete solution of an ex-tremal problem of the quasiconformal mapping),, published in 1941. In this paper, Teichm{ü}ller gives a proof of the existence of extremal quasiconformal mappings in the case of the pentagon (disc with five distinguished points on the boundary). The final version of this paper will appear as a chapter in Volume VI of the Handbook of Teichm{ü}ller theory.

preprint2016arXiv

A Commentary on Teichmüller's paper "Über Extremalprobleme der konformen Geometrie" (On extremal problems in conformal geometry)

We comment on the paper Über Extremalprobleme der konformen Geometrie (On extremal problems in conformal geometry) by Teichmüller, published in 1941. This paper contains ideas on a wide generalization of his previous work on the solution of extremal problems in conformal geometry. The generalization concerns at the same time the fields of function theory, topology and algebra. The final version of this paper will appear as a chapter in Volume VI of the Handbook of Teichmüller theory. This volume is dedicated to the memory of Alexander Grothendieck.

preprint2016arXiv

Actions of the Absolute Galois Group

We review some ideas of Grothendieck and others on actions of the absolute Galois group Γ Q of Q (the automorphism group of the tower of finite extensions of Q), related to the geometry and topology of surfaces (mapping class groups, Teichm{ü}ller spaces and moduli spaces of Riemann surfaces). Grothendieck's motivation came in part from his desire to understand the absolute Galois group. But he was also interested in Thurston's work on surfaces, and he expressed this in his Esquisse d'un programme, his R{é}coltes et semailles and on other occasions. He introduced the notions of dessin d'enfant, Teichm{ü}ller tower, and other related objects, he considered the actions of Γ Q on them or on their etale fundamental groups, and he made conjectures on some natural homomorphisms between the absolute Galois group and the automor-phism groups (or outer automorphism groups) of these objects. We mention several ramifications of these ideas, due to various authors. We also report on the works of Sullivan and others on nonlinear actions of Γ Q , in particular in homotopy theory. The final version of this paper will appear as a chapter in Volume VI of the Handbook of Teichm{ü}ller theory. This volume is dedicated to the memory of Alexander Grothendieck.

preprint2016arXiv

Nicolas-Auguste Tissot: A link between cartography and quasiconformal theory

Nicolas-Auguste Tissot (1824--1897) published a series of papers on cartography in which he introduced a tool which became known later on, among geographers, under the name of the "Tissot indicatrix." This tool was broadly used during the twentieth century in the theory and in the practical aspects of the drawing of geographical maps. The Tissot indicatrix is a graphical representation of a field of ellipses on a map that describes its distortion. Tissot studied extensively, from a mathematical viewpoint, the distortion of mappings from the sphere onto the Euclidean plane that are used in drawing geographical maps, and more generally he developed a theory for the distorsion of mappings between general surfaces. His ideas are at the heart of the work on quasiconformal mappings that was developed several decades after him by Gr{ö}tzsch, Lavrentieff, Ahlfors and Teichm{ü}ller. Gr{ö}tzsch mentions the work of Tissot and he uses the terminology related to his name (in particular, Gr{ö}tzsch uses the Tissot indicatrix). Teichm{ü}ller mentions the name of Tissot in a historical section in one of his fundamental papers where he claims that quasiconformal mappings were used by geographers, but without giving any hint about the nature of Tissot's work. The name of Tissot is also missing from all the historical surveys on quasiconformal mappings. In the present paper, we report on this work of Tissot. We shall also mention some related works on cartography, on the differential geometry of surfaces, and on the theory of quasiconformal mappings. This will place Tissot's work in its proper context. The final version of this paper will appear in the journal Arch. Hist. Exact Sciences.

preprint2016arXiv

On Grothendieck's construction of Teichmüller space

In his 1944 paper Veränderliche Riemannsche Flächen , Teichmüller defined a structure of complex manifold on the set of isomorphism classes of marked closed Riemann surfaces of genus g. The complex manifold he obtained is the space called today Teichmüller space. In the same paper, Teichmüller introduced the so-called universal Teichmüller curve -- a space over Teichmüller space where the fiber above each point is a Riemann surface representing that point. In fact, Teichmüller proved the existence of the Teichmüller curve as a space of Riemann surfaces parametrized by an analytic space, with an existence and uniqueness theorem establishing this analytic structure. This result was later reformulated and proved by Grothendieck in a series of ten lectures he gave at Cartan's seminar in 1960-1961. In his approach , Grothendieck replaced Teichmüller's explicit parameters by a general construction of fiber bundles whose base is an arbitrary analytic space. This work on Teichmüller space led him to recast the bases of analytic geometry using the language of categories and functors. In Grothendieck's words, the Teichmüller curve becomes a space representing a functor from the category of analytic spaces into the category of sets. In this survey, we comment on Grothendieck's series of lectures. The survey is primarily addressed to low-dimensional topologists and geometers. In presenting Grothendieck's results, we tried to explain or rephrase in more simple terms some notions that are usually expressed in the language of algebraic geometry. However, it is not possible to short-circuit the language of categories and functors. The survey is also addressed to those algebraic geometers who wish to know how the notion of moduli space evolved in connection with Teichmüller theory. Explaining the origins of mathematical ideas contributes in dispensing justice to their authors and it usually renders the theory that is surveyed more attractive. The final version of this paper will appear as a chapter in Volume VI of the Handbook of Teichmüller theory. This volume is dedicated to the memory of Alexander Grothendieck.

preprint2016arXiv

On Grothendieck's tame topology

Grothendieck's Esquisse d'un programme is often referred to for the ideas it contains on dessins d'enfants, the Teichm{ü}ller tower, and the actions of the absolute Galois group on these objects or their etale fundamental groups. But this program contains several other important ideas. In particular, motivated by surface topology and moduli spaces of Riemann surfaces, Grothendieck calls there for a recasting of topology, in order to make it fit to the objects of semialgebraic and semianalytic geometry, and in particular to the study of the Mumford-Deligne compactifications of moduli spaces. A new conception of manifold, of submanifold and of maps between them is outlined. We review these ideas in the present chapter, because of their relation to the theory of moduli and Te-ichm{ü}ller spaces. We also mention briefly the relations between Grothendieck's ideas and earlier theories developed by Whitney, Lojasiewicz and Hironaka and especially Thom, and with the more recent theory of o-minimal structures. The final version of this paper will appear as a chapter in Volume VI of the Handbook of Teichm{ü}ller theory. This volume is dedicated to the memory of Alexander Grothendieck.

preprint2016arXiv

On the early history of moduli and Teichm{ü}ller spaces

We survey some major contributions to Riemann's moduli space and Teichm{ü}ller space. Our report has a historical character, but the stress is on the chain of mathematical ideas. We start with the introduction of Riemann surfaces, and we end with the discovery of some of the basic structures of Riemann's moduli space and Teichm{ü}ller space. We point out several facts which seem to be unknown to many algebraic geometers and analysts working in the theory. The period we are interested in starts with Riemann, in 1851, and ends in the early 1960s, when Ahlfors and Bers confirmed that Teichm{ü}ller's results were correct.This paper was written for the book "Lipman Bers, a life in Mathematics," edited by Linda Keen , Irwin Kra and Rubi Rodriguez (Amercian Mathematical Society, 2015). It is dedicated to the memory of Lipman Bers who was above all a complex analyst and spent a large part of his life and energy working on the analytic structure of Teichm{ü}ller space. His work on analysis is nevertheless inseparable from geometry and topology. In this survey, we highlight the relations and the logical dependence between this work and the works of Riemann, Poincar{é}, Klein, Brouwer, Siegel, Teichm{ü}ller, Weil, Grothendieck and others. We explain the motivation behind the ideas. In doing so, we point out several facts which seem to be unknown to many Teichm{ü}ller theorists.

preprint2016arXiv

On three early papers by Herbert Busemann

This paper is a commentary and a reading guide to three papers by Herbert Busemann, Über die Geometrien, in denen die "Kreise mit unendlichem Radius" die kürzesten Linien sind." (On the geometries where circles of infinite radius are the shortest lines) (1932), "Paschsches Axiom und Zweidimensionalität," (Pasch's Axiom and Two--Dimensionality) (1933) and "Über Räume mit konvexen Kugeln und Parallelenaxiom (On spaces with convex spheres and the parallel postulate) (1933). These are the first papers that Busemann wrote on the foundations of geometry and the axiomatic characterization of Minkowski spaces (finite-dimensional normed spaces). The subject of these papers followed Busemann for the rest of his life, and the three papers already contain several ideas and techniques that he developed later on, in his work on the subject which lasted several decades. The three papers were translated into English by Annette A'Campo. These translations, together with the final version of present commentary, will be part of the forthcoming edition of Busemann's Collected Papers edition.

preprint2016arXiv

Spherical arc-length as a global conformal parameter for analytic curves in the Riemann sphere

We prove that for every analytic curve in the complex plane, Euclidean and spherical arc-lengths are global conformal parameters. We also prove that for any analytic curve in the hyperbolic plane, hyperbolic arc-length is also a global parameter. We generalize some of these results to the case of analytic curves in Euclidean n-space and complex n-space and we discuss the situation of curves in the Riemann sphere.

preprint2015arXiv

A Commentary on Teichm{ü}ller's paper ``Bestimmung der extremalen quasikonformen Abbildungen bei geschlossenen orientierten Riemannschen Fl{ä}chen''

This is a mathematical commentary on Teichm{ü}ller's paper ``Bestimmung der extremalen quasikonformen Abbildungen bei geschlossenen orientierten Riemannschen Fl{ä}chen'' (Determination of extremal quasiconformal maps of closed oriented Riemann surfaces). This paper is among the last (and may be the last one) that Teichm{ü}ller wrote on the theory of moduli. It contains the proof of the so-called Teichm{ü}ller existence theorem for a closed surface of genus at least 2. For this proof, the author defines a mapping between a space of equivalence classes of marked Riemann surfaces (the Teichm{ü}ller space) and a space of equivalence classes of certain Fuchsian groups (the so-called Fricke space). After that, he defines a map between the latter and the Euclidean space of dimension 6g-6 Using Brouwer's theorem of invariance of domain, he shows that this map is a homeomorphism. This involves in particular a careful definition of the topologies of Fricke space, the computation of its dimension, and comparison results between hyperbolic distance and quasiconformal dilatation. The use of the invariance of domain theorem is in the spirit of Poincar{é} and Klein's use of the so-called ``continuity principle'' in their attempts to prove the uniformization theorem.

preprint2015arXiv

A commentary on Teichmüller's paper "Extremale quasikonforme Abbildungen und quadratische Differentiale"

We provide a commentary on Teichm{ü}ller's paper "Extremale quasikonforme Abbildungen und quadratische Differentiale" (Extremal quasiconformal mappings of closed oriented Riemann surfaces), Abh. Preuss. Akad. Wiss., Math.-Naturw. Kl. 1940, No.22, 1-197 (1940). The paper is quoted in several works, although it was read by very few people. Some of the results it contains were rediscovered later on and published without any reference to Teichm{ü}ller.In this commentary, we highlight the main results and the main ideas contained in that paper and we describe some of the important developments they gave rise to.The final version of this paper, together with the English translation of Teichm{ü}ller's paper, will apper in Volume V of the \emph{Handbook of Teichm{ü}ller theory} (European Mathematical Society Publishing House, 2015).

preprint2015arXiv

Arc length as a conformal parameter for locally analytic curves

For any locally analytic curve we show that arc length can be complexified and seen as a conformal parameter. As an application, we show that any such curve defines a unique maximal one and that the notions of analytic Jordan curve coincides with the notion of a Jordan curve which is locally analytic. We give examples where we also find, for a curve $γ$(s), the limit sets of the largest extensions, that is, the limit set of the curve as s converges to the end point of the interval.

preprint2015arXiv

Hyperbolic geometry in the work of Johann Heinrich Lambert

The memoir Theorie der Parallellinien (1766) by Johann Heinrich Lambert is one of the founding texts of hyperbolic geometry, even though its author's aim was, like many of his pre-decessors', to prove that such a geometry does not exist. In fact, Lambert developed his theory with the hope of finding a contradiction in a geometry where all the Euclidean axioms are kept except the parallel axiom and that the latter is replaced by its negation. In doing so, he obtained several fundamental results of hyperbolic geometry. This was sixty years before the first writings of Lobachevsky and Bolyai appeared in print. In the present paper, we present Lambert's main results and we comment on them. A French translation of the Theorie der Parallellinien, together with an extensive commentary, has just appeared in print (A. Papadopoulos and G. Th{é}ret, La th{é}orie des lignes parall{è}les de Johann Heinrich Lambert. Collection Sciences dans l'Histoire, Librairie Scientifique et Technique Albert Blanchard, Paris, 2014).

preprint2015arXiv

Thurston's metric on Teichmüller space and the translation lengths of mapping classes

We show that the Teichmüller space of a surface without boundary and with punctures, equipped with Thurston's metric is the limit (in an appropriate sense) of Teichmüller spaces of surfaces with boundary, equipped with their arc metrics, when the boundary lengths tend to zero. We use this to obtain a result on the translation distances for mapping classes for their actions on Teichmüller spaces equipped with their arc metrics.

preprint2014arXiv

Actions of mapping class groups

This paper has three parts. The first part is a general introduction to rigidity and to rigid actions of mapping class group actions on various spaces. In the second part, we describe in detail four rigidity results that concern actions of mapping class groups on spaces of foliations and of laminations, namely, Thurston's sphere of projective foliations equipped with its projective piecewise-linear structure, the space of unmeasured foliations equipped with the quotient topology, the reduced Bers boundary, and the space of geodesic laminations equipped with the Thurston topology. In the third part, we present some perspectives and open problems on other actions of mapping class groups. The paper will appear in the Handbook of Group actions, vol. I (ed. L. Ji, A. Papadopoulos and S.-T. Yau), Higher Eucation Press and International Press.

preprint2014arXiv

Convex real projective structures and Hilbert metrics

We review some basic concepts related to convex real projective structures from the differential geometry point of view. We start by recalling a Riemannian metric which originates in the study of affine spheres using the Blaschke connection (work of Calabi and of Cheng-Yau) mentioning its relation with the Hilbert metric. We then survey some of the deformation theory of convex real projective structures on surfaces. We describe in particular how the set of (Hilbert) lengths of simple closed curves is used in a parametrization of the deformation space in analogy with the classical Fenchel-Nielsen parameters of Teichmüller space (work of Goldman). We then mention parameters of this deformation space that arise in the work of Hitchin on the character variety of representations of the fundamental group of the surface in $\mathrm{SL}(3,\mathbb{R})$. In this character variety, the component of the character variety that corresponds to projective structures is identified with the vector space of pairs of holomorphic quadratic and cubic differentials over a fixed Riemann surface. Labourie and Loftin (independently) obtained parameter spaces that use the cubic differentials and affine spheres. We then display some similarities and differences between Hilbert geometry and hyperbolic geometry using geodesic currents and topological entropy. Finally, we discuss geodesic flows associated to Hilbert metrics and compactifications of spaces of convex real projective structures on surfaces. This makes another analogy with works done on the Teichmüller space of the surface.

preprint2014arXiv

From Funk to Hilbert Geometry

We survey some basic geometric properties of the Funk metric of a convex set in $\mathbb{R}^n$. In particular, we study its geodesics, its topology, its metric balls, its convexity properties, its perpendicularity theory and its isometries. The Hilbert metric is a symmetrization of the Funk metric, and we show some properties of the Hilbert metric that follow directly from the properties we prove for the Funk metric.

preprint2014arXiv

Mathematics and group theory in music

The purpose of this paper is to show through particular examples how group theory is used in music. The examples are chosen from the theoretical work and from the compositions of Olivier Messiaen (1908-1992), one of the most influential twentieth century composers and pedagogues. Messiaen consciously used mathematical concepts derived from symmetry and groups, in his teaching and in his compositions. Before dwelling on this, I will give a quick overview of the relation between mathematics and music. This will put the discussion on symmetry and group theory in music in a broader context and it will provide the reader of this handbook some background and some motivation for the subject. The relation between mathematics and music, during more than two millennia, was lively, widespread, and extremely enriching for both domains. This paper will appear in the Handbook of Group actions, vol. II (ed. L. Ji, A. Papadopoulos and S.-T. Yau), Higher Eucation Press and International Press.

preprint2014arXiv

On Klein's So-called Non-Euclidean geometry

In two papers titled "On the so-called non-Euclidean geometry", I and II, Felix Klein proposed a construction of the spaces of constant curvature -1, 0 and and 1 (that is, hyperbolic, Euclidean and spherical geometry) within the realm of projective geometry. Klein's work was inspired by ideas of Cayley who derived the distance between two points and the angle between two planes in terms of an arbitrary fixed conic in projective space. We comment on these two papers of Klein and we make relations with other works.

preprint2014arXiv

On the works of Euler and his followers on spherical geometry

We review and comment on some works of Euler and his followers on spherical geometry. We start by presenting some memoirs of Euler on spherical trigonometry. We comment on Euler's use of the methods of the calculus of variations in spherical trigonometry. We then survey a series of geometrical resuls, where the stress is on the analogy between the results in spherical geometry and the corresponding results in Euclidean geometry. We elaborate on two such results. The first one, known as Lexell's Theorem (Lexell was a student of Euler), concerns the locus of the vertices of a spherical triangle with a fixed area and a given base. This is the spherical counterpart of a result in Euclid's Elements, but it is much more difficult to prove than its Euclidean analogue. The second result, due to Euler, is the spherical analogue of a generalization of a theorem of Pappus (Proposition 117 of Book VII of the Collection) on the construction of a triangle inscribed in a circle whose sides are contained in three lines that pass through three given points. Both results have many ramifications, involving several mathematicians, and we mention some of these developments. We also comment on three papers of Euler on projections of the sphere on the Euclidean plane that are related with the art of drawing geographical maps.

preprint2014arXiv

Transitional geometry

We develop a transitional geometry, that is, a family of geometries of constant curvatures which makes a continuous connec-tion between the hyperbolic, Euclidean and spherical geometries. In this transitional setting, several geometric entities like points, lines, dis-tances, triangles, angles, area, curvature, etc. as well as trigonometric formulae and other properties transit in a continuous manner from one geometry to another. AMS classification: 01-99 ; 53-02 ; 53-03 ; 53A35.

preprint2013arXiv

Hyperbolic metrics, measured foliations and pants decompositions for non-orientable surfaces

We provide analogues for non-orientable surfaces with or without boundary or punctures of several basic theorems in the setting of the Thurston theory of surfaces which were developed so far only in the case of orientable surfaces. Namely, we provide natural analogues for non-orientable surfaces of the Fenchel-Nielsen theorem on the parametrization of the Teichmüller space of the surface, the Dehn-Thurston theorem on the parametrization of measured foliations in the surface, and the Hatcher-Thurston theorem, which gives a complete minimal set of moves between pair of pants decompositions of the surface. For the former two theorems, one in effect drops the twisting number for any curve in a pants decomposition which is 1-sided, and for the latter, new elementary moves on pants decompositions are introduced.

preprint2013arXiv

On Hilbert's fourth problem

Hilbert's fourth problem asks for the construction and the study of metrics on subsets of projective space for which the projective line segments are geodesics. Several solutions of the problem were given so far, depending on more precise interpretations of this problem, with various additional conditions satisfied. The most interesting solutions are probably those inspired from an integral formula that was first introduced in this theory by Herbert Busemann. Besides that, Busemann and his school made a thorough investigation of metrics defined on subsets of projective space for which the projective lines are geodesics and they obtained several results, characterizing several classes of such metrics. We review some of the developments and important results related to Hilbert's problem, especially those that arose from Busemann's work, mentioning recent results and connections with several branches of mathematics, including Riemannian geometry, the foundations of mathematics, the calculus of variations, metric geometry and Finsler geometry.

preprint2013arXiv

On Lobachevsky's trigonometric formulae

We elaborate on some important ideas contained in Lobachevsky's Pangeometry and in some of his other memoirs. The ideas include the following: (1) The trigonometric formulae, which express the dependence between angles and edges of triangles, are not only tools, but they are used as the basic elements of any geometry. In fact, Lobachevsky developed a large set of analytical and geometrical theorems in non-Euclidean geometry using these formulae. (2) Differential and integral calculus are developed in hyperbolic space without the use of any Euclidean model of hyperbolic space. (3) There exist models of spherical and of Euclidean geometry within hyperbolic geometry, and these models are used to prove the hyperbolic trigonometry formulae. (4) If hyperbolic geometry were contradictory, then either Euclidean or spherical geometry would be contradictory. We shall also see that some of these ideas were rediscovered by later mathematicians.

preprint2012arXiv

A commentary on Teichmüller's paper "Veränderliche Riemannsche Flächen" (Variable Riemann Surfaces)

This is a commentary on Teichmüllers' paper "Veränderliche Riemannsche Flächen" (Variable Riemann Surfaces), published in 1944. This paper is the last one that Teichmüller wrote on the problem of moduli. At most places the paper contains ideas and no technical details. The author presents a completely new approach to Teichmüller space, compared to the approach he took in his first seminal paper "Extremale quasikonforme Abbildungen und quadratische Differentiale" and its sequel "Bestimmung der extremalen quasikonformen Abbildungen bei geschlossenen orientierten Riemannschen Flächen" in which he completed some of the the results stated in the former. In the paper "Extremale quasikonforme ...", Teichmüller led the foundations of what we call today Teichmüller theory (but without the complex structure), defining its metric and introducing in that theory the techniques of quasiconformal mappings and of quadratic differentials as essential tools. In the present paper, the approach is more abstract, through complex analytic geometry. Teichmüller space, equipped with its complex-analytic structure, is characterized here by a certain universal property. Among the other ideas and results contained in the paper, we mention the following: (1) The existence and uniqueness of the universal Teichmüller curve, rediscovered later on by Ahlfors and by Bers. At the same time, this introduced the first fibre bundle over Teichmüller space. (2) The proof of the fact that the automorphisms group of the univeral Teichmüller curve is the extended mapping class group. (3) The idea of a fine moduli space. (4) The idea of using the period map to define a complex structure on Teichmüller space.

preprint2012arXiv

The Funk and Hilbert geometries for spaces of constant curvature

The goal of this paper is to introduce and study analogues of the Euclidean Funk and Hilbert metrics on open convex subsets $Ω$ of hyperbolic or spherical spaces. At least at a formal level, there are striking similarities among the three cases: Euclidean, spherical and hyperbolic. We start by defining non-Euclidean analogues of the Euclidean Funk weak metric and we give three distinct representations of it in each of the non-Euclidean cases, which parallel the known situation for the Euclidean case. As a consequence, all of these metrics are shown to be Finslerian, and the associated norms of the Finsler metrics are described. The theory is developed by using a set of classical trigonometric identities on the sphere $S^n$ and the hyperbolic space $\mathbb{H}^n$ and the definition of a cross ratio on the non-Euclidean spaces of constant curvature. This in turn leads to the concept of projectivity invariance in these spaces. We then study the geodesics of the Funk and Hilbert metrics. In the case of Euclidean (respectively spherical, hyperbolic) geometry, the Euclidean (respectively spherical, hyperbolic) geodesics are Funk and Hilbert geodesics. Natural projection maps that exist between the spaces $\mathbb{R}^n$, $\mathbb{H}^n$ and the upper hemisphere demonstrate that the theories of Hilbert geometry of convex sets in the three spaces of constant curvature are all equivalent. The same cannot be said about the Funk geometries.

preprint2012arXiv

The space of measured foliations of the hexagon

The theory of geometric structures on a surface with nonempty boundary can be developed by using a decomposition of such a surface into hexagons, in the same way as the theory of geometric structures on a surface without boundary is developed using the decomposition of such a surface into pairs of pants. The basic elements of the theory for surfaces with boundary include the study of measured foliations and of hyperbolic structures on hexagons. It turns out that there is an interesting space of measured foliations on a hexagon, which is equipped with a piecewise-linear structure (in fact, a natural cell-decomposition), and this space is a natural boundary for the space of hyperbolic structures with geodesic boundary and right angles on such a hexagon. In this paper, we describe these spaces and the related structures.

preprint2011arXiv

On the classification of mapping class actions on Thurston's asymmetric metric

We study the action of the elements of the mapping class group of a surface of finite type on the Teichmüller space of that surface equipped with Thurston's asymmetric metric. We classify such actions as elliptic, parabolic, hyperbolic and pseudo-hyperbolic, depending on whether the translation distance of such an element is zero or positive and whether the value of this translation distance is attained or not, and we relate these four types to Thurston's classification of mapping classes. The study is parallel to the one made by Bers in the setting of Teichmüller space equipped with Teichmüller's metric, and to the one made by Daskalopoulos and Wentworth in the setting of Teichmüller space equipped with the Weil-Petersson metric.

preprint2011arXiv

On the Finsler stucture of the Teichmüuller metric and Thurston's asymmetric metric

We highlight several analogies between the Finsler (infinitesimal) properties of Teichmüller's metric and Thurston's asymmetric metric on Teichmüller space. Thurston defined his asymmetric metric in analogy with Teichmüllers' metric, as a solution to an extremal problem, which consists, in the case of the asymmetric metric, of finding the best Lipschitz maps in the hoomotopy class of homeomorphisms between two hyperbolic surface. (In the Teichmüller metric case, one searches for the best quasiconformal map between two conformal surfaces.) It turns out also that some properties of Thurston's asymmetric metric can be used to get new insight into Teichmüller's metric. In this direction, in analogy with Thurston's formula for the Finsler norm of a vector for the asymmetric metric that uses the hyperbolic length function, we give a new formula for the Finsler norm of a vector for the Teichmüller metric that uses the extremal length function. We also describe an embedding of projective measured foliation space in the cotangent space to Teichmüller space whose image is the boundary of the dual of the unit ball in the tangent space representing vectors of norm one for the Finsler structure associated to the Teichmüller metric.

preprint2010arXiv

Some Lipschitz maps between hyperbolic surfaces with applications to Teichmüller theory

In the Teichmüller space of a hyperbolic surface of finite type, we construct geodesic lines for Thurston's asymmetric metric having the property that when they are traversed in the reverse direction, they are also geodesic lines (up to reparametrization). The lines we construct are special stretch lines in the sense of Thurston. They are directed by complete geodesic laminations that are not chain-recurrent, and they have a nice description in terms of Fenchel-Nielsen coordinates. At the basis of the construction are certain maps with controlled Lipschitz constants between right-angled hyperbolic hexagons having three non-consecutive edges of the same size. Using these maps, we obtain Lipschitz-minimizing maps between hyperbolic particular pairs of pants and, more generally, between some hyperbolic sufaces of finite type with arbitrary genus and arbitrary number of boundary components. The Lipschitz-minimizing maps that we contruct are distinct from Thurston's stretch maps.

preprint2009arXiv

On the arc and curve complex of a surface

We study the {\it arc and curve} complex $AC(S)$ of an oriented connected surface $S$ of finite type with punctures. We show that if the surface is not a sphere with one, two or three punctures nor a torus with one puncture, then the simplicial automorphism group of $AC(S)$ coincides with the natural image of the extended mapping class group of $S$ in that group. We also show that for any vertex of $AC(S)$, the combinatorial structure of the link of that vertex characterizes the type of a curve or of an arc in $S$ that represents that vertex. We also give a proof of the fact if $S$ is not a sphere with at most three punctures, then the natural embedding of the curve complex of $S$ in $AC(S)$ is a quasi-isometry. The last result, at least under some slightly more restrictive conditions on $S$, was already known. As a corollary, $AC(S)$ is Gromov-hyperbolic.

preprint2008arXiv

Weak Finsler Strutures and the Funk Metric

We discuss general notions of metrics and of Finsler structures which we call weak metrics and weak Finsler structures. Any convex domain carries a canonical weak Finsler structure, which we call its tautological weak Finsler structure. We compute distances in the tautological weak Finsler structure of a domain and we show that these are given by the so-called Funk weak metric. We conclude the paper with a discussion of geodesics, of metric balls and of convexity properties of the Funk weak metric.