Plane geometry of $q$-rationals and Springborn Operations

This paper investigates the plane geometry of $q$-rationals by constructing deformed Farey triangulations and modular surfaces, interpreting these numbers as Ford-like circles, and introducing Springborn operations as quadratic generalizations of Farey addition that correspond geometrically to the homothety centers of circle pairs.

The Gist

Imagine you have a magical ruler that doesn't just measure distance, but also measures "flavor" or "complexity." In the world of mathematics, there is a special family of numbers called q-rationals. Think of them as the "quantum" or "deformed" versions of ordinary fractions like 1/2 or 3/4.

This paper is a journey into the geometry of these magical numbers. The authors, Perrine Jouteur, Olga Paris-Romaskevich, and Alexander Thomas, are like cartographers drawing a new map of a strange, curved landscape. Here is the story of their discovery, broken down into simple concepts.

1. The Magic of "q" (The Flavor Parameter)

In normal math, the number 1/2 is just 1/2. But in this paper, the authors introduce a variable called $q$ (think of it as a "temperature" or a "zoom level").

• When $q = 1$, the magic disappears, and you get back the normal fraction 1/2.
• When $q$ is something else (like 0.5), the fraction 1/2 transforms into a complex polynomial (a fancy algebraic expression).

The authors realized that instead of just looking at these numbers as algebraic formulas, they could be drawn as circles on a map. Just like Ford Circles (a famous mathematical picture where every fraction is a circle sitting on a line), these "q-circles" float in a curved, hyperbolic space.

2. The Farey Triangulation (The City Grid)

Imagine a city built on a curved surface (like a saddle shape). The streets are drawn between fractions.

• The Old City: In standard math, if you have two fractions that are "neighbors" (like 1/2 and 1/3), you can find a new fraction between them by adding their tops and bottoms: $(1+1)/(2+3) = 2/5$. This is called Farey Addition. It's like building a new house exactly in the middle of two existing ones.
• The New City: The authors built a "deformed" version of this city. The streets are still there, but they are warped by the magic $q$. The "neighborhoods" (triangles) are slightly stretched or squashed, creating a new, unique geometry.

3. The Springborn Operation (The Quadratic Leap)

This is the paper's biggest "Aha!" moment.
In the old city, if you wanted to find a point between two circles, you used the simple addition rule (Farey).
But the authors noticed something weird and wonderful: If you take two circles and find their homothety center (a fancy geometric term for the point where their common tangent lines cross), you get a new point.

• The Metaphor: Imagine two round balloons floating next to each other. If you stretch a rubber band around them (tangent), the point where the bands cross is a special spot.
• The Surprise: The authors found that this crossing point corresponds to a new mathematical operation they call Springborn Addition.
  • Instead of adding the tops and bottoms ($a+c, b+d$), this new rule mixes them in a "quadratic" way: $ab + cd$ over $b^2 + d^2$.
  • It's like taking a step that is twice as big and in a different direction than the usual step.

4. The Main Discovery: Circles and Formulas

The paper proves a beautiful connection:
The geometric crossing point of two q-circles is exactly the same as the new "Springborn" fraction.

They call pairs of numbers that behave nicely "Regular Pairs." For these pairs, the messy algebraic formulas simplify perfectly. It's as if the geometry of the circles dictates the rules of the algebra.

5. Markov Fractions (The Tree of Numbers)

Finally, the authors apply this to a famous sequence of numbers called Markov Fractions.

• Imagine a family tree where every child is born from two parents using the Springborn rule.
• The authors show that if you take this family tree and apply the "q-magic" to it, the numbers still follow a specific, elegant pattern (a "q-deformed Markov equation").
• They also discovered that the "siblings" or "companions" of these numbers can be found using the Springborn Difference (the outer crossing point of the circles).

Why Does This Matter?

Think of this paper as finding a hidden language in nature.

• Geometry: It shows that complex algebraic rules are actually just simple geometric movements (like circles touching or crossing).
• Physics/Quantum: The "q" parameter often appears in quantum physics. Understanding how these numbers deform might help physicists understand how space and time behave at very small scales.
• Beauty: It connects three different worlds: the geometry of circles, the algebra of fractions, and the combinatorics of counting, showing they are all different views of the same underlying truth.

In a nutshell: The authors took a set of magical, deformed numbers, drew them as circles, and discovered that the way these circles interact geometrically creates a brand new, beautiful set of mathematical rules that we can now predict and calculate.

Technical Summary

Here is a detailed technical summary of the paper "Plane Geometry of q-Rationals and Springborn Operations" by Perrine Jouteur, Olga Paris-Romaskevich, and Alexander Thomas.

1. Problem Statement and Context

The paper investigates the geometric and algebraic properties of $q$-rational numbers, a deformation of classical rational numbers introduced by Morier-Genoud and Ovsienko. While classical $q$-rationals are defined via deformed continued fractions or the action of the modular group $PSL_2(\mathbb{Z})$ on the projective line, their geometric interpretation has remained partially abstract.

The authors aim to:

1. Provide a concrete plane geometric model for $q$-rationals (specifically for positive real $q$), interpreting them as circles (disks) in the complex plane, analogous to Ford circles.
2. Introduce and analyze Springborn operations (quadratic versions of Farey addition) within the context of $q$-deformation.
3. Establish a rigorous link between the homothety centers of these geometric circles and the algebraic $q$-deformed Springborn sums.
4. Apply these results to Markov fractions, deriving a new $q$-deformed Markov equation.

2. Methodology

The authors employ a synthesis of hyperbolic geometry, modular group theory, and combinatorial algebra.

• Geometric Model: They utilize the upper half-plane model of the hyperbolic plane $\mathbb{H}^2$. By deforming the action of the modular group $PGL_2(\mathbb{Z})$ using generators $T_q$ and $S_q$, they construct a deformed Farey tessellation. In this model, every rational number $x$ corresponds to a unique hyperbolic geodesic connecting its left ($[x]^\flat_q$) and right ($[x]^\sharp_q$) $q$-deformations. By doubling this via complex conjugation, they represent $x$ as a Euclidean disk (a "q-disk") in $\mathbb{C}$.
• Springborn Operations: They define the Springborn sum ($\oplus_S$) and difference ($\ominus_S$) for rational pairs $(a/b, c/d)$ as:
  $$\frac{a}{b} \oplus_S \frac{c}{d} = \frac{ab + cd}{b^2 + d^2}, \quad \frac{a}{b} \ominus_S \frac{c}{d} = \frac{ab - cd}{b^2 - d^2}$$
  Geometrically, these correspond to the inner and outer homothety centers of the associated Ford circles.
• Regular Pairs: To handle the reduction of fractions (which is non-trivial for Springborn operations), they introduce the concept of inner and outer regular pairs. A pair is inner regular if the greatest common divisor of the numerator, denominator, and related quadratic forms equals the Farey determinant.
• Algebraic Deformation: They define $q$-Farey determinants ($d_F^{\sharp\sharp}, d_F^{\sharp\flat}$, etc.) and prove their positivity and symmetry properties. They use the transition map between left and right $q$-versions to relate these determinants.

3. Key Contributions and Results

A. Geometric Interpretation of $q$-Rationals

The paper constructs a deformed modular surface which is a hyperbolic orbifold with a unique funnel. The preimage of the geodesic around this funnel in $\mathbb{H}^2$ is the set of geodesics associated with $q$-rationals.

• Result: The set of $q$-disks is well-ordered and disjoint. The "jump" (diameter) of a $q$-rational disk corresponds to the difference between its left and right $q$-deformations.
• Significance: This provides a visual and geometric proof of the well-ordering of $q$-rationals and recovers the Etingof gap formula.

B. The Springborn Addition Theorem

The central result connects the geometric homothety centers to the algebraic $q$-Springborn sum.

• Theorem: For an inner regular pair of rationals $(a/b, c/d)$, the inner homothety center of their corresponding $q$-disks is exactly the right $q$-deformation of their Springborn sum:
  $$i([a/b]_q, [c/d]_q) = \left[ \frac{a}{b} \oplus_S \frac{c}{d} \right]^\sharp_q$$
  Similarly, the outer homothety center corresponds to the left $q$-deformation of the Springborn difference.
• Mechanism: The authors prove that the homothety center lies on the boundary of another $q$-disk, and by analyzing the symmetries of the deformed Farey tessellation (specifically involutions in $PGL_2(\mathbb{Z})$), they derive explicit reduced formulas for the numerator and denominator of the resulting $q$-rational.

C. Characterization of Regular Pairs

The paper characterizes regular pairs via group theory:

• A pair is inner regular if and only if there exists an orientation-preserving involution in $PGL_2(\mathbb{Z})$ exchanging the two rationals.
• A pair is outer regular if and only if there exists an orientation-reversing involution exchanging them.
  This characterization allows the authors to generalize the Springborn formulas to all regular pairs, not just those with Farey determinant 1.

D. Application to Markov Fractions

The authors apply their theory to Markov fractions (rationals generated by iterating the Springborn sum starting from $0/1$and$1/2$).

• Result: They define $q$-Markov numbers (the denominators of the $q$-deformed Markov fractions).
• New Equation: They derive a $q$-deformed Markov equation satisfied by these numbers. Unlike the classical equation $x^2 + y^2 + z^2 = 3xyz$, the $q$-version involves polynomials in $q$ and specific exponents related to the continued fraction expansions of the fractions.
• Combinatorial Interpretation: They provide a combinatorial proof using fence posets (ordered ideals), showing that the $q$-denominators are generating functions for these posets.

E. Companions of Markov Fractions

The paper also analyzes the "companions" of Markov fractions (related to Diophantine approximation constants). They show that these companions can be generated via the Springborn difference operation, providing a unified geometric view of Markov numbers and their approximations.

4. Significance and Impact

• Unification of Geometry and Algebra: The paper successfully bridges the gap between the abstract algebraic definition of $q$-rationals and a concrete geometric picture involving circles and homothety centers.
• New Operations: It introduces the Springborn operations as a fundamental quadratic deformation of Farey addition, distinct from the linear Farey addition, and provides the first explicit reduced formulas for their $q$-deformations.
• Markov Theory: It offers a novel perspective on Markov numbers, linking them to $q$-deformations and providing a new $q$-Markov equation, which may have implications for cluster algebras and integrable systems.
• Modular Surface Deformation: The description of the deformed modular surface as an orbifold with a funnel provides new insights into the geometry of the modular group's action on the hyperbolic plane under $q$-deformation.

In summary, this work extends the theory of $q$-rationals by embedding them into a rich geometric framework, revealing deep connections between homothety centers, modular symmetries, and Diophantine approximations, culminating in a new deformation of the classical Markov equation.