skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Outer billiards in the spaces of oriented geodesics of the three‐dimensional space forms
Abstract Let be the three‐dimensional space form of constant curvature , that is, Euclidean space , the sphere , or hyperbolic space . Let be a smooth, closed, strictly convex surface in . We define an outer billiard map on the four‐dimensional space of oriented complete geodesics of , for which the billiard table is the subset of consisting of all oriented geodesics not intersecting . We show that is a diffeomorphism when is quadratically convex. For , has a Kähler structure associated with the Killing form of . We prove that is a symplectomorphism with respect to its fundamental form and that can be obtained as an analogue to the construction of Tabachnikov of the outer billiard in defined in terms of the standard symplectic structure. We show that does not preserve the fundamental symplectic form on associated with the cross product on , for . We initiate the dynamical study of this outer billiard in the hyperbolic case by introducing and discussing a notion of holonomy for periodic points.  more » « less
Award ID(s):
1926686
PAR ID:
10534650
Author(s) / Creator(s):
; ;
Publisher / Repository:
London Mathematical Society
Date Published:
Journal Name:
Journal of the London Mathematical Society
Volume:
109
Issue:
6
ISSN:
0024-6107
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Given integers $$g,n\geqslant 0$$ satisfying $2-2g-n<0$ , let $${\mathcal{M}}_{g,n}$$ be the moduli space of connected, oriented, complete, finite area hyperbolic surfaces of genus $$g$$ with $$n$$ cusps. We study the global behavior of the Mirzakhani function $$B:{\mathcal{M}}_{g,n}\rightarrow \mathbf{R}_{{\geqslant}0}$$ which assigns to $$X\in {\mathcal{M}}_{g,n}$$ the Thurston measure of the set of measured geodesic laminations on $$X$$ of hyperbolic length $${\leqslant}1$$ . We improve bounds of Mirzakhani describing the behavior of this function near the cusp of $${\mathcal{M}}_{g,n}$$ and deduce that $$B$$ is square-integrable with respect to the Weil–Petersson volume form. We relate this knowledge of $$B$$ to statistics of counting problems for simple closed hyperbolic geodesics. 
    more » « less
  2. Abstract In this article, we propose an Outer space analog for the principal stratum of the unit tangent bundle to the Teichmüller space $${\mathcal{T}}(S)$$ of a closed hyperbolic surface $$S$$. More specifically, we focus on properties of the geodesics in Teichmüller space determined by the principal stratum. We show that the analogous Outer space “principal” periodic geodesics share certain stability properties with the principal stratum geodesics of Teichmüller space. We also show that the stratification of periodic geodesics in Outer space exhibits some new pathological phenomena not present in the Teichmüller space context. 
    more » « less
  3. Abstract Suppose that is a free product , where each of the groups is torsion‐free and is a free group of rank . Let be the deformation space associated to this free product decomposition. We show that the diameter of the projection of the subset of where a given element has bounded length to the ‐factor graph is bounded, where the diameter bound depends only on the length bound. This relies on an analysis of the boundary of as a hyperbolic group relative to the collection of subgroups together with a given nonperipheral cyclic subgroup. The main theorem is new even in the case that , in which case is the Culler–Vogtmann outer space. In a future paper, we will apply this theorem to study the geometry of free group extensions. 
    more » « less
  4. Abstract A representation of a finitely generated group into the projective general linear group is called convex co‐compact if it has finite kernel and its image acts convex co‐compactly on a properly convex domain in real projective space. We prove that the fundamental group of a closed irreducible orientable 3‐manifold can admit such a representation only when the manifold is geometric (with Euclidean, Hyperbolic or Euclidean Hyperbolic geometry) or when every component in the geometric decomposition is hyperbolic. In each case, we describe the structure of such examples. 
    more » « less
  5. Given a projective Finsler metric in a convex domain in the projective plane, that is, a metric in which geodesics are straight lines, consider the respective Finsler billiard system. Choose a generic point inside the table and consider the billiard trajectories that start at this point and undergo N reflection off the boundary. The envelope of the resulting 1-parameter family of straight lines is the Nth caustic by reflection. We prove that, for every N, it has at least four cusps, generalizing a similar result for Euclidean metric, obtained recently jointly with G. Bor. 
    more » « less