Abstract:On a hyperbolic surface homeomorphic to a torus with a puncture, each oriented simple geodesic inherits a well-defined relative twist number in $[0,1]$, given by the ratio to its hyperbolic length of the hyperbolic distance between the orthogonal projections of the cusp (or boundary) on its left and right, respectively. With the Markov Uniqueness Conjecture in mind, the twist numbers for simple geodesics on the modular torus $\mathcal{X}$ are of particular interest. Up to isometries of $\mathcal{X}$, simple geodesics are parameterized naturally by $\mathbb{Q}\cap[0,1]$, and the relative twist number yields a map $\tau_{\mathcal{X}}:\mathbb{Q}\cap [0,1] \to [0,1]$. We use hyperbolic geometry and the Farey graph to show that the graph of $\tau_{\mathcal{X}}$ is dense in $[0,1]\times [0,1]$, and the same conclusion holds for any complete hyperbolic structure $\mathcal{Y}$ on the punctured torus. It follows that the twist number of a simple closed curve on the punctured torus does not extend continuously to the space of measured laminations. We also include some explicit calculations of geometric quantities associated to Markov triples, and the curious fact that $\tau_{\mathcal{X}}$ is never equal to zero.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the properties of hyperbolic geometry and twist numbers, especially on the simple geodesics on the modular torus. Specifically:
1. **Define the relative twist number**: The paper introduces the concept of the relative twist number \( \tau_X \), which is a function mapping from the rational number interval \( Q\cap[0,1] \) to the interval \( [0,1] \). This relative twist number is defined by considering some specific distances in hyperbolic geometry. Specifically, starting from a simple closed geodesic on a punctured torus, the normalized distance between its left and right orthogonal projection points is calculated.
2. **Study the properties of the relative twist number**: One of the main goals of the paper is to prove that the graph of the relative twist number \( \tau_X \) is dense in \( [0,1]\times[0,1] \). This means that the relative twist number cannot be extended from the set of rational numbers to the set of real numbers, and the relative twist number of a simple closed curve has no continuous extension on the space of measured laminations.
3. **The relationship with the Markov Uniqueness Conjecture**: The paper also explores the relationship between the relative twist number and the Markov Uniqueness Conjecture (MUC). MUC asserts that each positive Markov triple is uniquely determined by its largest element. The paper points out that if MUC holds, then each Markov number should have a definite relative twist number. However, due to the complexity and unpredictability of the relative twist number, this brings difficulties to the verification of MUC.
4. **The application of the Farey graph**: In order to study these properties, the paper makes use of the Farey graph, which is a graph structure describing the relationships between rational numbers. By comparing the relative twist number with the "arithmetic" version (\( \tau_F \)) in the Farey graph, the paper proves that the graph of \( \tau_F \) is also dense, and the difference between the two can be estimated.
5. **Explicit calculation of geometric quantities**: Finally, the paper also includes some explicit calculations of geometric quantities related to Markov triples, such as the specific values of the relative twist number and their relationship with Weierstrass points.
In summary, this paper aims to deeply explore the relative twist number of simple geodesics on the modular torus and its properties in hyperbolic geometry, and reveal the connection between these properties and the Markov Uniqueness Conjecture.