Title:Outer billiards on the manifolds of oriented geodesics of the three dimensional space forms

Abstract:For $\kappa =0,1,-1$, let $M_{\kappa }$ be the three dimensional space form of curvature $\kappa $, that is, $\mathbb{R}^{3}$, $S^{3}$ and hyperbolic $3$-space $H^{3}$. Let $\mathcal{G}_{\kappa }$ be the manifold of all oriented (unparametrized) complete geodesics of $M_{\kappa }$, i.e., $\mathcal{G}_{0}$ and $\mathcal{G}_{-1}$ consist of oriented lines and $\mathcal{G}_{1}$ of oriented great circles.
Given a strictly convex surface $S$ of $M_{\kappa }$, we define an outer billiard map $B_{\kappa }$ on $\mathcal{G}_{\kappa }$. The billiard table is the set of all oriented geodesics not intersecting $S$, whose boundary can be naturally identified with the unit tangent bundle of $S$. We show that $B_{\kappa }$ is a diffeomorphism under the stronger condition that $S$ is quadratically convex.
We prove that $B_{1}$ and $B_{-1}$ arise in the same manner as Tabachnikov's original construction of the higher dimensional outer billiard on standard symplectic space $\left( \mathbb{R}^{2n},\omega \right)$. For that, of the two canonical Kähler structures that each of the manifolds $\mathcal{G}_{1}$ and $\mathcal{G}_{-1}$ admits, we consider the one induced by the Killing form of $\operatorname{Iso}\left( M_{\kappa }\right) $. We prove that $B_{1}$ and $B_{-1}$ are symplectomorphisms with respect to the corresponding fundamental symplectic forms. Also, we discuss a notion of holonomy for periodic points of $B_{-1}$.