2.1 Left and right q-deformed rational numbers

Recall that every nonzero rational number $r/s$ has a unique even continued fraction expression $[a_{1}, \ldots ,a_{2n}]$ , where

$$ \begin{align*}\frac{r}{s}=a_{1}+\cfrac{1}{a_{2}+\cfrac{1}{a_{3}+\cfrac{1}{\cfrac{\ddots}{a_{2n-1}+\cfrac{1}{a_{2n}}}}}},\end{align*} $$

and either $a_{1} \in \mathbb {N}$ and $a_{2}, \ldots , a_{2n} \in \mathbb {N}\setminus \{0\}$ , or $-a_{1} \in \mathbb {N}$ and $-a_{2}, \ldots ,-a_{2n} \in \mathbb {N}\setminus \{0\}$ . The continued fraction expansion of 0 is $[-1,1]$ . The continued fraction expansion of $\infty $ is the empty expansion $[\,]$ .

The continued fraction expansion is related to the modular group $\operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ action on $\mathbb {Q}\cup \{\infty \}$ . Recall that $\operatorname {\mathrm {PSL}}_2(\mathbb {R})$ is the quotient of the group of $2\times 2$ real invertible matrices by scalar matrices. The group $\operatorname {\mathrm {PSL}}_2(\mathbb {Z})$ is the subgroup of $\operatorname {\mathrm {PSL}}_2(\mathbb {R})$ generated by

$$ \begin{align*} \sigma_{1}:=\begin{bmatrix} 1& -1 \\ 0 & 1\end{bmatrix}, \quad \sigma_{2}:= \begin{bmatrix} 1 & 0 \\ 1 & 1 \end{bmatrix}. \end{align*} $$

The group $\operatorname {\mathrm {PSL}}_2(\mathbb {R})$ acts on each of the sets

$$\begin{align*}\mathbb{R} \cup \{\infty\} \subset \mathbb{C} \cup \{\infty\}\end{align*}$$

by fractional linear transformations:

(2.1) $$ \begin{align}\begin{bmatrix} a & b \\ c & d \end{bmatrix} \cdot z=\frac{az+b}{cz+d}. \end{align} $$

The modular group $\operatorname {\mathrm {PSL}}_2(\mathbb {Z})$ also preserves, and is transitive on, $\mathbb {Q} \cup \{\infty \}$ . The following is easy to check.

Proposition 2.2. Let r/s be a rational number. Suppose that r/s has an even continued fraction expansion [a ₁, …, a _2n ]. Then

$$\begin{align*}\frac{r}{s} = \sigma_{1}^{-a_1}\sigma_{2}^{a_2}\sigma_{1}^{-a_3}\cdots \sigma_{1}^{-a_{2n-1}}\sigma_{2}^{a_{2n}}(\infty),\end{align*}$$

under the usual action of PSL₂(ℤ) on ℚ ∪{∞}.

In order to obtain q-deformations of the rationals, we first define a family of discrete subgroups of $\operatorname {\mathrm {PSL}}_2(\mathbb {R})$ indexed by q, which deform the modular group $\operatorname {\mathrm {PSL}}_2(\mathbb {Z})$ . We then define the q-deformed rational using the action of the q-indexed subgroup, analogously to Proposition 2.2. This q-deformation of the modular group, and its relation to the q-rationals, was first studied in [Reference Leclere and Morier-Genoud12].

Definition 2.3 [Reference Leclere and Morier-Genoud12, Section 3.2].

Set $\operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z})$ to be the subgroup of $\operatorname {\mathrm {PSL}}_2(\mathbb {R})$ generated by

$$\begin{align*}\sigma_{1,q}:= \begin{bmatrix} q^{-1} & - q^{-1} \\ 0 & 1 \end{bmatrix}, \quad \sigma_{2,q}:=\begin{bmatrix} 1 & 0 \\ 1 & q^{-1} \end{bmatrix}.\end{align*}$$

At $q = 1$ , the group $\operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z})$ is simply $\operatorname {\mathrm {PSL}}_2(\mathbb {Z})$ . Recall the three-strand Artin braid group:

$$ \begin{align*}B_{3}:=\langle \sigma_{1}, \sigma_{2} \mid \sigma_{1}\sigma_{2}\sigma_{1}=\sigma_{2}\sigma_{1}\sigma_{2} \rangle.\end{align*} $$

The following is easy to check.

Proposition 2.4. The assignment

$$\begin{align*}\sigma_1 \mapsto \sigma_{1,q}, \quad \sigma_2 \mapsto \sigma_{2,q}\end{align*}$$

gives a homomorphism from $B_3$ to $\operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z})$ .

Our definitions of the q-deformed rational numbers are motivated by Proposition 2.2 and use the homomorphism from $B_3 \to \operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z})$ described above. We first set up the following notation.

Definition 2.5. Given an even continued fraction expansion

$$\begin{align*}\mathbf{a} = [a_1, \ldots, a_{2n}]\end{align*}$$

as above, define the braid corresponding to a as the following element of B ₃:

$$\begin{align*}\beta_{\mathbf{a}} = \sigma_1^{-a_1}\sigma_2^{a_2}\sigma_1^{-a_3}\cdots \sigma_1^{-a_{2n-1}} \sigma_2^{a_{2n}}.\end{align*}$$

For any q ∈ ℝ, denote by β _{a, q} the image of β _a in PSL_{2, q} (ℤ).

Now we are in a position to define the q-deformed rational numbers (the second part is equivalent to [Reference Leclere and Morier-Genoud12, Proposition 3.2]).

At $q = 1$ , the left and right deformed rationals coincide and, by Proposition 2.2, are both equal to $r/s$ .

Definition 2.7. Following [Reference Morier-Genoud and Ovsienko16], we fix the following notation for the rational functions associated to the left and right q-deformed rational numbers:

$$\begin{align*}\left[\frac{r}{s}\right]_{q}^{\flat}=\frac{\mathcal{R}^{\flat}(q)}{\mathcal{S}^{\flat}(q)},\quad \left[\frac{r}{s}\right]_{q}^{\sharp}=\frac{\mathcal{R}^{\sharp}(q)}{\mathcal{S}^{\sharp}(q)},\end{align*}$$

where the polynomials in the numerator and denominator are normalised so that if $r/s>0$ (resp. $r/s<0$ ), the denominator has the lowest (resp. highest) degree term equal to 1. If $r/s=0$ , we set

$$\begin{align*}\mathcal{R}^{\flat}(q) = 1-q^{-1},\quad \mathcal{S}^{\flat}(q) = 1, \quad \mathcal{R}^{\sharp}(q)=0,\quad \mathcal{S}^{\sharp}(q)=1.\end{align*}$$

If $r/s=\infty $ , we set

$$\begin{align*}\mathcal{R}^{\flat}(q)=1,\quad \mathcal{S}^{\flat}(q)=1-q, \quad \mathcal{R}^{\sharp}(q)=1, \quad \mathcal{S}^{\sharp}(q)=0.\end{align*}$$

Example 2.9. Here are some simple examples of q-deformed rational numbers (cf. [Reference Morier-Genoud and Ovsienko16, Example 1.2]).

$$ \begin{align*} \left[\frac{1}{2}\right]_{q}^{\flat} &=\frac{q^{2}}{1+q^{2}}, & \left[\frac{1}{2}\right]_{q}^{\sharp} &=\frac{q}{1+q},\\ \left[\frac{3}{2}\right]_{q}^{\flat} &=\frac{1+q^{2}+q^{3}}{1+q^{2}}, & \left[\frac{3}{2}\right]_{q}^{\sharp} &=\frac{1+q+q^{2}}{1+q},\\ \left[\frac{5}{2}\right]_{q}^{\flat} &=\frac{1+q+q^{2}+q^{3}+q^{4}}{1+q^{2}}, & \left[\frac{5}{2}\right]_{q}^{\sharp} &=\frac{1+2q+q^{2}+q^{3}}{1+q},\\ \left[\frac{5}{3}\right]_{q}^{\flat} &=\frac{1+q+q^{2}+q^{3}+q^{4}}{1+q+q^{3}}, & \left[\frac{5}{3}\right]_{q}^{\sharp} &=\frac{1+q+2q^{2}+q^{3}}{1+q+q^{2}},\\ \left[\frac{8}{3}\right]_{q}^{\flat} &=\frac{1+2q+q^{2}+2q^{3}+q^{4}+q^{5}}{1+q+q^{3}}, & \left[\frac{8}{3}\right]_{q}^{\sharp} &=\frac{1+2q+2q^{2}+2q^{3}+q^{4}}{1+q+q^{2}}.\\ \end{align*} $$

By the results of [Reference Morier-Genoud and Ovsienko16, Section 2.6], it is clear that our right q-deformed rational numbers are the same as the q-rational numbers considered in [Reference Morier-Genoud and Ovsienko16]. And by [Reference Leclere and Morier-Genoud12, Theorem 4], this definition does not depend on the particular choice of continued fraction representation. In the next section, we motivate our definition of left q-deformed rational numbers.

2.2 Motivation via the q-Farey tessellation

In this section, we recall a q-deformation of the classical Farey tessellation of the hyperbolic plane, originally considered in [Reference Morier-Genoud and Ovsienko16]. We first recall the classical Farey tessellation. The hyperbolic plane has an upper half-plane model:

$$ \begin{align*}\mathbb{H}:=\{z \in \mathbb{C} \mid \Im(z)>0\},\end{align*} $$

which embeds naturally into $\mathbb {C} \cup \{\infty \}$ . The group $\operatorname {\mathrm {PSL}}_2(\mathbb {R})$ , which acts on $\mathbb {C} \cup \{\infty \}$ by fractional linear transformations, preserves the hyperbolic plane $\mathbb {H}$ and acts on it by hyperbolic isometries.

The hyperbolic plane admits a tessellation by ideal triangles according to the following iterative construction. We begin with an ‘initial geodesic’ E, namely the straight vertical line from $0$ to $\infty $ . Starting with E, we complete every geodesic in the tessellation to a triangle according to the following rule, called the Farey rule. By induction, every geodesic in the tessellation has rational vertices $r/s$ and $r'/s'$ (the integers $r,s,r',s'$ are uniquely determined by construction). We add a geodesic from $r/s$ to $(r+r')/(s+s')$ and a geodesic from $(r+r')/(s+s')$ to $r'/s'$ (see Fig. 1). The ‘positive half’ of the hyperbolic plane, those $z \in \mathbb {H}$ such that $0\leq \Re (z) < \infty $ , is covered by applying the rule to the initial geodesic E with its vertices viewed as the fractions $0/1$ and $1/0$ . The ‘negative half’ is obtained by applying the rule to E with its vertices viewed as the fractions $0/1$ and $-1/0$ . We call the resulting tessellation the Farey tessellation of the hyperbolic plane. The set of vertices of the Farey tessellation is exactly $\mathbb {Q} \cup \{\infty \}$ . Moreover, the Farey tessellation is preserved by the $\operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ -action described above (that is, the $\operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ -action sends triangles to triangles), and the $\operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ -orbit of any Farey triangle is the entire hyperbolic plane.

Figure 1 A standard Farey triangle.

Morier-Genoud and Ovsienko introduced a q-deformed Farey rule, which generates a tessellation of a subset of $\mathbb {H}$ . As with the regular Farey rule, we begin with a geodesic E between $0$ and $\infty $ , but it is now assigned a label $q^{-1}$ . We then extend every geodesic in the tessellation, with vertices $\mathcal {R}(q)/\mathcal {S}(q)$ and $\mathcal {R}'(q)/\mathcal {S}'(q)$ (the vertices are now rational functions evaluated at q), to a triangle according to Fig. 2 (see [Reference Morier-Genoud and Ovsienko16, Definition 2.9]).

Figure 2 A q-deformed Farey triangle.

For the positive half, interpret the vertices of E as the fractions $0/1$ and $1/0$ , and then continue according to Fig. 2. For the negative half, interpret the vertices of E as $0/q$ and $-1/0$ . The bottom left edge of any triangle is always labelled $1$ , and we iteratively deduce labels for all other edges. The set of vertices of the q-deformed Farey tessellations is exactly the set of right q-deformed rational numbers $[r/s]^{\sharp }_q$ . Fig. 3 depicts what the q-deformed Farey tessellations look like at two different values of q.

Figure 3 The deformed Farey tessellations at two values of q.

The action of $\operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z})$ on $\mathbb {H}$ preserves q-deformed Farey triangles (since $\operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z})$ is a subgroup of $\operatorname {\mathrm {PSL}}_{2}(\mathbb {R})$ , which preserves geodesics). Moreover, $\operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z})$ acts on the q-deformed Farey tessellation exactly as $\operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ acts on the classical Farey tessellation. More formally, let $\mathbb {T}$ denote the set of triangles in the Farey tessellation, and let $\mathbb {T}_{q}$ denote the set of q-deformed triangles. Since the $\operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ -action preserves Farey triangles, there is an induced $\operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ -action on $\mathbb {T}$ , and similarly, there is an induced $\operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z})$ -action on $\mathbb {T}_{q}$ . Let $\psi \colon \operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z}) \to \operatorname {\mathrm {PSL}}_2(\mathbb {Z})$ be the group homomorphism given by setting $q = 1$ , and let $\phi \colon \mathbb {T}_q \to \mathbb {T}$ be induced from the map $\mathcal {R}(q)/\mathcal {S}(q) \mapsto \mathcal {R}(1)/\mathcal {S}(1)$ on the vertices. Then, for any ${\beta } \in \operatorname {\mathrm {PSL}}_{2, q}(\mathbb {Z})$ , we have the following commutative square, as can be proven by comparing the actions on the vertices of the respective tessellations.

We can now describe how left q-rationals arise in the q-deformed Farey tessellation. Consider any rational $r/s$ . In the standard Farey tessellation, $r/s$ is the middle vertex of a unique triangle and the right (resp. left) vertex of an infinite sequence of triangles. In the notation of Fig. 4, $r/s$ is the right vertex of $T_{0},T_{1},\ldots $ and the left vertex of $T_{0}^{'},T_{1}^{'},\ldots $ .

Figure 4 A fraction in the standard Farey tessellation.

Assume for convenience that $0<r/s<\infty $ , and let $T_{A}$ denote the triangle with vertices $0,1,\infty $ . If the continued fraction expansion of $r/s$ is $\mathbf {a}$ , then

$$\begin{align*}T_{0}={\beta}_{\mathbf{a}}T_{A}, \quad T_{n}=({\beta}_{\mathbf{a}}\sigma_{1}^{-1}{\beta}_{\mathbf{a}}^{-1})^{n}T_{0}.\end{align*}$$

Similarly, letting ${\beta }_{\mathbf {a}}^{'}={\beta }_{\mathbf {a}}\sigma _{2}^{-1}\sigma _{1}^{-1}$ , we have

$$\begin{align*}T_{0}^{'}={\beta}_{\mathbf{a}}^{'}T_{A}, \quad T_{n}^{'}=({\beta}_{\mathbf{a}}^{'}\sigma_{2}({\beta}_{\mathbf{a}}^{'})^{-1})^{n}T_{0}.\end{align*}$$

As suggested by Fig. 4, for any point $x \in T_{0}$ ,

$$ \begin{align*}\lim_{n \to \infty}({\beta}_{\mathbf{a}}\sigma_{1}^{-1}{\beta}_{\mathbf{a}}^{-1})^{n}x=\frac{r}{s},\end{align*} $$

and for any point $x' \in T_{0}^{'}$ ,

$$ \begin{align*}\lim_{n \to \infty}({\beta}_{\mathbf{a}}^{'}\sigma_{2}({\beta}_{\mathbf{a}}^{'})^{-1})^{n}x'=\frac{r}{s}.\end{align*} $$

So we can view the rational point $r/s$ in the boundary as the limit of the sequences of Farey triangles $(T_{n})_{n \in \mathbb {N}}, (T_{n}^{'})_{n \in \mathbb {N}}$ .

When we $q$ -deform the Farey tessellation, we obtain corresponding sequences of triangles $(T_{q,n})_{n \in \mathbb{N}}, (T_{q,n}^{'})_{n\in \mathbb{N}}$ . The rightmost vertex of the triangles $(T_{q,n})_{n \in \mathbb{N}}$ and the leftmost vertex of the triangles $(T_{q,n}^{'})_{n\in \mathbb{N}}$ is the right $q$ -deformed rational number $[r/s]^{\sharp}_q$ (see Fig. 5). Theorem 2.12 proves that the sequence of rightmost vertices of the triangles $T_{q,n}'$ (and therefore the sequence of triangles $T_{q,n}'$ ) limits to $[r/s]^{\sharp}_q$ . On the other hand, by Theorem 2.12, the sequence of leftmost vertices of the triangles $T_{q,n}$ limits to $[r/s]^{\flat}_q$ . It is not hard to check that the sequence of triangles $T_{q,n}$ limits to a geodesic, with endpoints on the boundary (see Fig. 5). We call this geodesic the q-deformed rational curve corresponding to $r/s$ . The left q-rational corresponding to $r/s$ is the left endpoint of a q-deformed rational curve, and the right q-rational corresponding to $r/s$ is the right endpoint of the same curve. We denote by $\mathbb {Q}_q$ the union of all of the q-deformed rational curves, together with their endpoints. This motivates our definition of left and right q-rationals. Namely, if $T_{n} \xrightarrow {n \to \infty } r/s$ , then the corresponding q-deformed sequence of triangles $T_{n,q}$ limits to the geodesic with endpoints $[r/s]_{q}^{\flat }$ and $[r/s]_{q}^{\sharp }$ .

Figure 5 The sequence of triangles $T_{n,q}$ converging to the q-deformed rational curve of $r/s$ , shown as a dotted line.

2.3 Alternate descriptions of the deformed rational numbers

The left and right q-deformed rational numbers admit several elegant intrinsic definitions. Recall the classical q-deformation of the integers, which we call the right q-deformation:

$$\begin{align*}[n]^{\sharp}_{q}:=\frac{1-q^{n}}{1-q} = 1 + q + \cdots + q^{n-1}.\end{align*}$$

We introduce a corresponding left q-deformation of n:

$$\begin{align*}[n]_{q}^{\flat}:=\frac{1-q^{n-1}+q^{n}-q^{n+1}}{1-q} = 1 + q + \cdots + q^{n-2} + q^n.\end{align*}$$

The following proposition gives equivalent definitions of the two q-deformations of the rational numbers and is easy to check. In fact, this is how the (right) q-deformed rational numbers were originally defined (see [Reference Morier-Genoud and Ovsienko16, Definition 1.1]).

The continued fraction expansion of every q-deformed rational number induces an element of $\operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z})$ analogous to that in Proposition 2.2. Right-multiplying this element by $\infty $ (for right q-rationals) or $1/(1-q)$ (for left q-rationals) returns the original q-rational. The following proposition expresses this element of $\operatorname {\mathrm {PSL}}_{2,q}(\mathbb {Z})$ in terms of the numerators and denominators of the corresponding q-rationals. The second part of this proposition appears as [Reference Morier-Genoud and Ovsienko16, Proposition 4.3].

2.4 Limits of q-deformed rational numbers

The following theorem partially formalises the description of q-deformed rational numbers depicted in Fig. 4 and Fig. 5. The vertices of the q-Farey tessellation are the right q-deformed rationals, while the left q-deformed rational numbers arise as limits of sequences of right q-deformed rationals. The same phenomenon is described in [Reference Morier-Genoud and Ovsienko15], in terms of Taylor series; see especially Theorem 1 and Remark 3.2. The proof owes its technique to the proofs in that paper.

By Theorem 2.12 Part (1), for every irrational number t, there is a unique q-deformation $[t]_{q}$ , which is the limit of the q-deformation of any rational sequence limiting to t. We call the set

$$ \begin{align*}\mathbb{I}_{q}:=\{[t]_{q} \mid t \in \mathbb{R} \setminus \mathbb{Q}\}\end{align*} $$

the q-deformed irrational numbers. See [Reference Leclere and Morier-Genoud12, Proposition 4.3, Examples 4.4–7] for an explicit formula for the q-deformation of quadratic irrational numbers.

Proof. First, we prove (1).

As noted in [Reference Leclere, Morier-Genoud, Ovsienko and Veselov13, Section 2], the negative q-rationals are the image of the positive q-rationals under the continuous bijection

$$ \begin{align*}x \mapsto -\frac{q}{x},\end{align*} $$

with $\infty $ sent to $0$ and vice versa. Thus, it is sufficient to give a proof for positive t.

Let $(r_{n}/s_{n})_{n \in \mathbb {N}}$ converge to a positive irrational number $t \in \mathbb {R} \setminus \mathbb {Q}$ . It is well-known that every irrational number has a unique infinite continued fraction expansion $[a_{1},a_{2}, \ldots ]$ . We can approximate the sequence $(r_{n}/s_{n})_{n \in \mathbb {N}}$ by the ‘sequence of convergents’ $([a_{1},a_{2}, \ldots ,a_{n}])_{n \in \mathbb {N}}$ . Since $[r/s]_{q}^{\sharp }>[r'/s']_{q}^{\sharp }$ if and only if $r/s>r'/s'$ , the right q-deformed sequence $([r_{n}/s_{n}]_{q}^{\sharp })_{n \in \mathbb {N}}$ is also approximated by $([a_{1},a_{2},\ldots ,a_{n}]_{q}^{\sharp })_{n \in \mathbb {N}}$ . Thus, we can assume without loss of generality that $r_{n}/s_{n}=[a_{1},a_{2},\ldots ,a_{n}]$ for all $n \in \mathbb {N}$ .

We split $(r_{n}/s_{n})_{n \in \mathbb {N}}$ into two disjoint subsequences. Define the index set $I\subset \mathbb {N}$ by

$$ \begin{align*}I:=\Big\{n \in \mathbb{N} \mid \frac{r_{n}}{s_{n}}<t\Big\}.\end{align*} $$

Both $\lim_{n\in I} [r_n/s_n]_q^{\sharp}$ and $\lim_{n \notin I} [r_n/s_n]_q^{\sharp}$ exist, as each sequence is monotone and bounded. Denote the former by $[t]_{q}^{-}$ and the latter by $[t]_{q}^{+}$ .

We would like to show $[t]_{q}^{-}=[t]_{q}^{+}$ . It is sufficient to show that

$$ \begin{align*}\lim_{n \to \infty}\Big{\vert}\Big[\frac{r_{n}}{s_{n}}\Big]_{q}^{\sharp}-\Big[\frac{r_{n-1}}{s_{n-1}}\Big]_{q}^{\sharp}\Big{\vert}=0.\end{align*} $$

Let $[r_{n}/s_{n}]_{q}^{\sharp }=\mathcal {R}^{\sharp }_{n}(q)/\mathcal {S}^{\sharp }_{n}(q)$ , and let $[r_{n-1}/s_{n-1}]_{q}^{\sharp }=\mathcal {R}^{\sharp }_{n-1}(q)/\mathcal {S}^{\sharp }_{n-1}(q)$ , using the notation of Definition 2.7. By the matrix formula for right q-deformed rationals (Proposition 2.11), we have

$$ \begin{align*}\Big{\vert}\frac{\mathcal{R}^{\sharp}_{n}(q)}{\mathcal{S}^{\sharp}_{n}(q)}-\frac{\mathcal{R}^{\sharp}_{n-1}(q)}{\mathcal{S}^{\sharp}_{n-1}(q)}\Big{\vert}=q^{a_{2}+a_{4}+\cdots+a_{n}-1}\frac{{\vert}\det {\beta}_{\mathbf{a},q}{\vert}}{\mathcal{S}^{\sharp}_{n}(q)\mathcal{S}^{\sharp}_{n-1}(q)}.\end{align*} $$

By construction, $\mathcal {S}^{\sharp }_{n}(q)$ and $\mathcal {S}^{\sharp }_{n-1}(q)$ both have constant term $1$ and positive coefficients, so $\mathcal {S}^{\sharp }_{n}(q),\mathcal {S}^{\sharp }_{n-1}(q) \geq 1$ . And one can compute that

$$ \begin{align*}\det {\beta}_{\mathbf{a},q}=q^{a_{1}-a_{2}+\cdots+a_{n-1}-a_{n}}.\end{align*} $$

Therefore,

$$ \begin{align*}\Big{\vert}\frac{\mathcal{R}^{\sharp}_{n}(q)}{\mathcal{S}^{\sharp}_{n}(q)}-\frac{\mathcal{R}^{\sharp}_{n-1}(q)}{\mathcal{S}^{\sharp}_{n-1}(q)}\Big{\vert}\leq q^{a_{1}+a_{3}+\cdots+a_{n-1}-1}.\end{align*} $$

(Technically, this assumes n is even; however, an all but identical argument works for n odd.) Given the assumption that t (and therefore also $\frac {r_{n}}{s_{n}}$ for sufficiently large n) are positive, we have $a_{1},\ldots ,a_{n-1}\geq 0$ . Since $q<1$ , we deduce that

$$ \begin{align*}\lim_{n \to \infty}\Big{\vert}\Big[\frac{r_{n}}{s_{n}}\Big]_{q}^{\sharp}-\Big[\frac{r_{n-1}}{s_{n-1}}\Big]_{q}^{\sharp}\Big{\vert}=0.\end{align*} $$

To prove that the limit is uniquely determined by t, we note again that $[r/s]_{q}^{\sharp }>[r'/s']_{q}^{\sharp }$ if and only if $r/s>r'/s'$ . Thus, between any two q-irrationals $[t]_{q}, [t']_{q}$ for $t \neq t'$ , there is a right q-rational $[r/s]_{q}^{\sharp }$ , so we cannot have $[t]_{q}=[t']_{q}$ .

Now we prove (2). As in the irrational case, we can assume that $r/s$ is positive. Let $[a_{1},\ldots ,a_{2n}]$ be the continued fraction expansion of $r/s$ . Any right limiting sequence approaching $r/s$ can be approximated by the sequence $(r_{m}/s_{m})_{m \in \mathbb {N}}$ , where $r_{m}/s_{m}$ has continued fraction expansion $\mathbf {a}_{m}=[a_{1},\ldots ,a_{2n}-1,1,m]$ (unless $a_{2n}=1$ , in which case $r_{m}/s_{m}$ has expansion $\mathbf {a}_{m}=[a_{1},\ldots ,a_{2n-1}+1,m]$ ). Since $[r/s]_{q}^{\sharp }>[r'/s']_{q}^{\sharp }$ if and only if $r/s>r'/s'$ , the corresponding right q-deformed sequence is also approximated by $([r_{m}/s_{m}]_{q}^{\sharp })_{m \in \mathbb {N}}$ .

Let $[{r}/{s}]_{q}^{\sharp }=\mathcal {R}^{\sharp }(q)/\mathcal {S}^{\sharp }(q)$ , and $[r_{m}/s_{m}]_{q}^{\sharp }=\mathcal {R}_{m}^{\sharp }(q)/\mathcal {S}_{m}^{\sharp }(q)$ , as defined in Definition 2.7. We view the right q-deformed rational numbers as vectors in projective space. Applying the matrix formula for right q-rationals (Proposition 2.11), we have

$$ \begin{align*} \lim_{m \to \infty}\begin{bmatrix} \frac{q^{1-m}}{[m]_{q^{-1}}}\mathcal{R}_{m}^{\sharp}(q) \\ \frac{q^{1-m}}{[m]_{q^{-1}}}\mathcal{S}_{m}^{\sharp}(q) \end{bmatrix}&=\lim_{m \to \infty}\frac{1}{[m]_{q^{-1}}}q^{a_{2}+a_{4}+\cdots+a_{2n}}{\beta}_{\mathbf{a}_{m},q}\begin{bmatrix}1 \\ 0\end{bmatrix} \\&=q^{a_{2}+a_{4}+\cdots+a_{2n}}\sigma_{1,q}^{-a_{1}}\sigma_{2,q}^{a_{2}}\dots\sigma_{1,q}^{-a_{2n-1}}\sigma_{2,q}^{a_{2n}-1}\sigma_{1,q}^{-1}\begin{bmatrix} 0 & 0\\ 1 & q^{-1} -1\end{bmatrix} \begin{bmatrix} 1 \\ 0 \end{bmatrix} \\ &=\begin{bmatrix}\mathcal{R}^{\sharp}(q)\\ \mathcal{S}^{\sharp}(q)\end{bmatrix}. \end{align*} $$

The final claim (3) can be proved in essentially the same way as (2), replacing the sequence $[a_{1},\ldots ,a_{2n}-1,1,m]$ with the sequence $[a_{1},\ldots ,a_{2n},m]$ .

Remark 2.13. In the preceding proof, we found that right q-deformed rationals correspond to limits of sequences of the form $([a_{1},\ldots ,a_{2n+1},m]_{q}^{\sharp })_{m \in \mathbb {Z}}$ , and left q-deformed rationals correspond to limits of sequences of the form $([a_{1},\ldots ,a_{2n},m]_{q}^{\sharp })_{m \in \mathbb {Z}}$ . Note that, for ordinary continued fractions,

$$ \begin{align*} \lim_{m \to \infty}[a_{1},\ldots,a_{2n+1},m]=[a_{1},\ldots,a_{2n+1}], &&\lim_{m \to \infty}[a_{1},\ldots,a_{2n},m]=[a_{1},\ldots,a_{2n}]. \end{align*} $$

Thus, in a sense, right q-rationals correspond to odd continued fraction expansions, and left q-rationals to even continued fraction expansions.

2.5 Topology of the q-Farey tessellation

We briefly summarise here the most important topological feature of the q-deformed Farey tessellation: it is an open disk, and the boundary of its closure is a circle, consisting of exactly the q-deformed rational curves and the q-deformed irrational numbers. Recall that $\mathbb {Q}_{q}$ denotes the union of the q-deformed rational curves (including their endpoints, the left and right q-deformed rational numbers), and that $\mathbb {I}_{q}$ denotes the q-deformed irrational numbers.

We expect the following conjecture to hold as well.

Because the q-deformed rational curves are dense in the boundary of $\overline {L}_{q}$ , these curves are arguably the true q-deformed analogues of the rational numbers, hence the notation $\mathbb {Q}_q$ for their union.

Proof of Proposition 2.14.

Part (1) of Proposition 2.14 is true by construction; the q-deformed Farey tessellation is homeomorphic to the classical Farey tessellation, which is homeomorphic to an open disk.

The homological counterpart of Part (2) is Theorem 5.15 below, and the proof of Part (2) is virtually the same as the proof of Theorem 5.15.

We will prove Part (3). Part (4) follows immediately from Part (3) and Theorem 2.12.

It is not hard to check that for any two real numbers $t<t'$ (which may be rational or irrational), we have the following inequalities:

(2.2) $$ \begin{align} [t]_{q}^{\flat}\leq[t]_{q}^{\sharp} <[t']_{q}^{\flat}\leq[t']_{q}^{\sharp}. \end{align} $$

The left (resp. right) weak inequality is strict if and only if t (resp. $t'$ ) is rational. Define an embedding $\iota :\mathbb {Q}_{q} \sqcup \mathbb {I}_{q} \to \mathbb {R} \cup \{\infty \}$ as follows. For $t \in \mathbb {R} \cup \{\infty \}$ ,

$$ \begin{align*}\iota([t]_{q}^{\flat}) = [t]_{q}^{\flat}, \quad \iota([t]_{q}^{\sharp}) = [t]_{q}^{\sharp}.\end{align*} $$

Extend $\iota $ to $\mathbb {Q}_{q}$ by continuously mapping the hyperbolic geodesic between $[r/s]_{q}^{\flat }$ and $[r/s]_{q}^{\sharp }$ onto the real interval between $[r/s]_{q}^{\flat }$ and $[r/s]_{q}^{\sharp }$ . By Eq. (2.2), $\iota $ is indeed an embedding.

To complete the proof, we just need to show that $\iota $ is surjective. Consider any $p \in \mathbb {R} \cup \{\infty \}$ . For convenience, assume that $0 < p <\infty $ . Suppose that $p \notin \iota (\mathbb {Q}_{q})$ ; we will show that $p \in \mathbb {I}_{q}$ . By assumption, p does not lie in the interval in $\mathbb {R} \cup \{\infty \}$ between $[\infty ]_q^{\flat }$ and $[\infty ]_q^{\sharp }$ . By the proof of Theorem 2.12, the sequence $[n]^{\sharp }_{q}$ for $n \geq 0$ is a monotone increasing sequence converging to $[\infty ]_{q}^{\flat }$ . So, there exists $a_{1} \geq 0$ such that

$$ \begin{align*}[a_{1}]_{q}^{\sharp} < p < [a_{1}+1]_{q}^{\sharp}=[a_{1},1]^{\sharp}.\end{align*} $$

The sequence $[a_{1},n]_{q}^{\sharp }$ for $n\geq 1$ is a monotone decreasing sequence converging to $[a_{1}]_{q}^{\sharp }$ by the proof of Theorem 2.12. Since $p>[a_{1}]_{q}^{\sharp }$ , there exists $a_{2} \geq 1$ such that

$$ \begin{align*}[a_{1},a_{2}+1]_{q}^{\sharp}<p<[a_{1},a_{2}]_{q}^{\sharp}.\end{align*} $$

Continuing in this manner, we obtain an infinite q-deformed continued fraction expansion $[a_{1},a_{2},\ldots ]_{q}^{\sharp }$ converging to p. By the first part of Theorem 2.12, the number p is the q-deformation of the irrational number with continued fraction expansion $[a_{1},a_{2},\ldots ]$ , which proves that $p \in \mathbb {I}_{q}$ as desired. This completes the proof.

3.1 Background on Bridgeland stability conditions

We assume the reader is familiar with the theory of Bridgeland stability conditions [Reference Bridgeland4]. To briefly recall, a stability condition on a triangulated category is specified as $\tau = (\mathcal {P}_{\tau }, Z_{\tau })$ , where $\mathcal {P}_{\tau }$ is a slicing and $Z_{\tau }$ is a compatible central charge. An object of the category is called $\tau $ -semistable if it belongs to one of the full (abelian) subcategories $\mathcal {P}_{\tau }(\phi )$ for some $\phi \in \mathbb {R}$ . In this case, the number $\phi $ is called the phase of that semistable object. An object is called $\tau $ -stable if it is semistable (of some phase $\phi $ ) and, moreover, if it is simple in the abelian category $\mathcal {P}_{\tau }(\phi )$ .

Recall also that every object of the category has a unique Harder–Narasimhan filtration with respect to $\tau $ .

Definition 3.1. Fix a stability condition $\tau $ on a triangulated category. Let X be any object of the category. The $\tau $ -Harder–Narasimhan filtration of X is the unique filtration

with the following properties.

1. 1. Each filtration factor $A_i$ is semistable of some phase $\phi _i$ , and

2. 2. The numbers $\phi _i$ appear in decreasing order: $\phi _1> \phi _2 \cdots > \phi _n$ .

Let $\mathcal {T}$ denote an arbitrary triangulated category. Recall that for any subset $I \subset \mathbb {R}$ , we define $\mathcal {P}_{\tau }(I)$ to be the full subcategory of $\mathcal {T}$ consisting of objects whose Harder–Narasimhan filtration factors have phases in I. The subcategory $\mathcal {P}_{\tau }([0,1))$ corresponding to the half-open interval $[0,1) \subset \mathbb {R}$ is a full abelian subcategory of $\mathcal T$ , which is the heart of a bounded t-structure on $\mathcal T$ (see [Reference Bridgeland4, Section 3]).

Let $\Sigma _{\tau }$ denote the set of indecomposable semistable objects of $\mathcal T$ that lie in $\mathcal {P}_{\tau }([0,1))$ . Then every indecomposable semistable object lies in $\Sigma _{\tau }$ up to an integer shift. We can count the (graded) multiplicity of any object of $\mathcal T$ in a given object of $\Sigma _{\tau }$ , as follows.

Next, we introduce a graded version of Harder–Narasimhan mass (see [Reference Dimitrov, Haiden, Katzarkov and Kontsevich5, Section 4.5], [Reference Ikeda8, Section 3]).

Definition 3.3. Let $\tau $ be a stability condition on a triangulated category $\mathcal T$ . Let q be a fixed positive real number. Let X be an object of $\mathcal T$ and consider its Harder–Narasimhan filtration:

Let $\phi _i$ denote the phase of the semistable object $A_i$ . The q-Harder–Narasimhan mass, or q-mass, of the object X is defined to be

$$\begin{align*}m_{q,\tau}(X) = \sum_{i = 1}^k q^{\phi_i}|Z_{\tau}(A_i)|.\end{align*}$$

Note that for $q = 1$ , the q-Harder–Narasimhan mass is simply the classical Harder–Narasimhan mass as defined in [Reference Bridgeland4, Section 5]. The q-mass function is due to [Reference Dimitrov, Haiden, Katzarkov and Kontsevich5, Section 4.4].

Finally, we denote the space of stability conditions on a triangulated category $\mathcal T$ by $\operatorname {\mathrm {Stab}}(\mathcal T)$ . There is a natural $\mathbb {C}$ -action on $\operatorname {\mathrm {Stab}}(\mathcal T)$ defined as follows.

For $z = a + i\pi b \in \mathbb {C}$ and a stability condition ${\tau }=(\mathcal {P}_{{\tau }},Z_{{\tau }})$ , define $z{\tau }=(\mathcal {P}_{z{\tau }}, Z_{z{\tau }})$ by

$$\begin{align*}\mathcal{P}_{z{\tau}}(\phi) =\mathcal{P}_{{\tau}}(\phi- b), \quad Z_{z{\tau}}(X):=e^{z}Z_{{\tau}}(X). \end{align*}$$

So for any $X \in \mathcal {T}$ , the action of $z = a + i \pi b$ rotates the vector $Z(X)$ by the angle $\pi b$ , scales it by the quantity $e^a$ , and simultaneously shifts the slicing by the quantity b. We will always consider the space $\operatorname {\mathrm {Stab}}(\mathcal T)/\mathbb {C}$ , which is the space of stability conditions up to this natural $\mathbb {C}$ action.

3.2 Harder–Narasimhan and mass automata

Fix throughout this section a stability condition $\tau $ on $\mathcal T$ . Recall that $\Sigma _{\tau }$ is the set of indecomposable $\tau $ -semistable objects of $\mathcal T$ that lie in $\mathcal {P}_{\tau }([0,1))$ . For any $X \in \operatorname {\mathrm {Ob}} \mathcal T$ , set $\operatorname {\mathrm {HN}}_{\tau }(X) \in \mathbb {Z}[q^{\pm }]^{\Sigma _{\tau }}$ to be the $\tau $ -HN multiplicity vector of X. Suppose also that a group G acts on $\mathcal T$ .

In this section, we define Harder–Narasimhan automata on $\mathcal T$ . Our definition is just a graded version of the one from [Reference Bapat, Deopurkar and Licata2, Section 3], but we recall the key elements here. We begin with some notation.

Let $\Theta $ be an arbitrary quiver. Let $\Theta _0$ and $\Theta _1$ denote the sets of vertices and edges of $\Theta $ , respectively. Given $\alpha \in \Theta _1$ , we say that $s(\alpha )\in \Theta _0$ is its source, and $t(\alpha ) \in \Theta _0$ is its target.

A G-labelling of $\Theta $ is a function $\Theta _1 \to G$ . Then, every path (finite sequence of composable edges) in $\Theta $ automatically acquires a label, namely the product of the corresponding group elements in reverse order.

A $\Theta $ -set $\underline {S}$ is a representation of $\Theta $ in the category of sets. More precisely, it is specified by a collection of sets $\{S_v \mid v \in \Theta _0\}$ , together with edge functions $\{f_{\alpha } \colon S_{s(\alpha )} \to S_{t(\alpha )} \mid \alpha \in \Theta _1\}$ .

Let A be any ring. A $\Theta $ -representation $\underline {M}$ of A-modules consists (as usual) of A-modules $\{M_v \mid v \in \Theta _0\}$ and A-linear maps $\{f_{\alpha } \colon M_{s(\alpha )} \to M_{t(\alpha )}\mid \alpha \in \Theta _1\}$ . Any $\Theta $ -representation is also a $\Theta $ -set.

A morphism of $\Theta $ -sets (resp. $\Theta $ -representations) consists of maps between the sets (resp. module maps between the modules) at each vertex, so that the square determined by every edge commutes.

A G-set S, together with a G-labelling on $\ell \colon \Theta _1 \to G$ , naturally produces a $\Theta $ -set, as follows. We declare each $S_v$ to be S for every $v \in \Theta _0$ , and each $f_{\alpha } \colon S \to S$ to be the action of $\ell (\alpha )$ on S. In particular, $\operatorname {\mathrm {Ob}} \mathcal T$ is a $\Theta $ -set, and we denote this as $\underline {\operatorname {\mathrm {Ob}} \mathcal T}$ . Similarly, any G-representation, together with a G-labelling of $\Theta $ , naturally produces a $\Theta $ -representation.

Definition 3.4. Fix some $q> 0$ . A $\tau $ -HN automaton for the G-action on $\mathcal T$ consists of the following data.

1. 1. A G-labelled quiver $\Theta $ (and hence the $\Theta $ -set $\underline {\operatorname {\mathrm {Ob}} \mathcal T}$ ).

2. 2. A $\Theta $ -subset $\underline {S} \subset \underline {\operatorname {\mathrm {Ob}} \mathcal T}$ .

3. 3. A $\Theta $ -representation $\underline {M}$ of $\mathbb {Z}[q^{\pm }]$ -modules.

4. 4. A morphism $i \colon \underline {S} \to \underline {M}$ .

5. 5. A $\mathbb {Z}[q^{\pm }]$ -linear map $h_v \colon M_v \to \mathbb {Z}[q^{\pm }]^{\Sigma _{\tau }}$ for every $v \in \Theta _0$ .

This data is required to satisfy

$$\begin{align*}\operatorname{\mathrm{HN}}_{\tau}(s) = h_v(i_v(s))\end{align*}$$

for every $v \in \Theta _0$ and every $s \in S = S_v$ .

We also have the analogue of a mass automaton, as described in [Reference Bapat, Deopurkar and Licata2, Section 3].

Definition 3.7. Let q be a fixed positive real number. A $\tau $ -mass automaton is analogous to a $\tau $ -HN automaton, with the definition modified as follows. The maps $h_v \colon M_v \to \mathbb {Z}[q^{\pm }]^{\Sigma _{\tau }}$ are replaced by linear maps $m_v \colon M_v \to \mathbb {R}$ , satisfying

$$\begin{align*}m_{q,\tau}(s) = m_v(i_v(s)).\end{align*}$$

In particular, given an HN automaton for a stability condition $\tau $ and a fixed $q> 0$ , we can produce a $\tau $ -mass automaton by composing the HN vector with the q-mass function.

4.1 The 2-Calabi–Yau category associated to the $A_{2}$ quiver

We follow the construction of the 2-Calabi–Yau category associated to the $A_2$ quiver given in [Reference Seidel and Thomas18, Section 4.1] and [Reference Bapat, Deopurkar and Licata2, Section 2.1]. Let $P(A_2)$ denote the path algebra of the double of the $A_2$ quiver. This quiver has two vertices, denoted $1$ and $2$ , and two oriented edges, one from $1$ to $2$ and the other from $2$ to $1$ . We denote by $Z_{2}$ the quotient of this path algebra by the two-sided ideal generated by all paths of length 3. We regard $Z_2$ as a differential graded algebra with grading by path length, and zero differential. Let ${ \mathsf {DGM}}_{2}$ be the category of differential graded modules over $Z_{2}$ , and let $\mathcal {D}_{2}$ be the derived category of differential graded modules over $Z_{2}$ (obtained from ${ \mathsf {DGM}}_{2}$ by inverting quasi-isomorphisms; note that this is not the same as the standard derived category of the abelian category ${ \mathsf {DGM}}_{2}$ ). For $i=1,2$ , let $P_{i}$ denote the differential graded module $Z_{2}(i)$ , where $(i)$ is the trivial path at the vertex i. The objects $\{P_{1},P_{2}\}$ form an $A_{2}$ configuration of spherical objects in $\mathcal {D}_{2}$ , in the sense of [Reference Seidel and Thomas18, Definition 1.1]. Let $\mathcal {C}_{2}$ denote the full triangulated subcategory of $\mathcal {D}_{2}$ generated by $P_{1},P_{2}$ under extensions. Then, $\mathcal {C}_{2}$ is a 2-Calabi–Yau category.

Especially important for our purposes are the following structural features of $\mathcal {C}_{2}$ .

1. 1. There is a unique morphism (up to scaling) from $P_1$ to $P_2$ , and also from $P_2$ to $P_1$ . We denote the cones of these morphisms by $P_{12}$ and $P_{21}$ , respectively. They are indecomposable spherical objects of $\mathcal {C}_{2}$ .

2. 2. The extension closure of $P_{1},P_{2}$ is the heart of a bounded t-structure on $\mathcal {C}_{2}$ . We call this t-structure the standard t-structure on $\mathcal {C}_{2}$ and denote its heart by $\heartsuit _{\operatorname {\mathrm {std}}}$ . Objects in the standard heart are direct sums of the indecomposables $P_{1}$ , $P_{2}$ , $P_{12}$ and $P_{21}$ .

3. 3. Every spherical object X in $\mathcal {C}_{2}$ gives rise to an autoequivalence $\sigma _{X}$ on $\mathcal {C}_{2}$ known as the spherical twist along X. These autoequivalences form a group, generated by $\sigma _{P_{1}},\sigma _{P_{2}}$ (henceforth simply $\sigma _{1},\sigma _{2}$ ). The group of spherical twists is isomorphic to the 3-strand braid group $B_{3} = B_{A_2}$ , inducing a (weak) braid group action on $\mathcal {C}_{2}$ (see [Reference Khovanov and Seidel10] and [Reference Seidel and Thomas18] for details). Let $\mathbb {S}$ be the set of isomophism classes of spherical objects of $\mathcal {C}_2$ . It is known that $B_{3}$ acts transitively on this set; see, for example, [Reference Bapat, Deopurkar and Licata3, Theorem 1.1].

4.2 Standard stability conditions on $\mathcal {C}_{2}$

The proofs in the following section use a choice of a stability condition on $\mathcal {C}_2$ . Any choice will work, but for convenience, we choose a degenerate standard stability condition, defined as follows.

Since $P_1$ and $P_2$ are simple in $\heartsuit _{\operatorname {\mathrm {std}}}$ , they are automatically stable in any standard stability condition. In a degenerate standard stability condition, the objects $P_{12}$ and $P_{21}$ are also semistable of the same phase.

We will use the following proposition. It is a serious result, and corresponding versions of this proposition are true for any 2-Calabi–Yau category of a finite ADE type quiver. Several proofs of versions of this proposition are known, in various levels of generality: see, for example, [Reference Ishii, Ueda and Uehara9, Theorem 1], [Reference Ikeda7, Proposition 4.13], [Reference Adachi, Mizuno and Yang1, Corollary 9.5], [Reference Bapat, Deopurkar and Licata3, Theorem 1.2].

From now on, we fix a degenerate standard stability condition $\tau $ . The spherical objects in $\mathcal {C}_{2}$ admit a simple classification based on their ${\tau }$ -HN filtration factors. This classification will be a key tool in later proofs. Given a set $S \subset \operatorname {\mathrm {Ob}} \mathcal {C}_2$ , let [ $s\, |\, s \in S$ ] denote the set of all objects of $\mathcal {C}_2$ whose $\tau $ -HN filtration factors consist of shifted copies of elements of S. For example, $[P_1,P_{12}]$ consists of all objects whose $\tau $ -HN filtration factors are shifts of either $P_1$ or $P_{12}$ .

The following proposition is similar to [Reference Bapat, Deopurkar and Licata2, Proposition 5.8].

4.3 An automaton for the category $\mathcal {C}_2$

In this section, we write down an explicit HN automaton for $\mathcal {C}_2$ (see Definition 3.4). In the next section, we discuss its implications on the dynamics of the braid group action on spherical objects of $\mathcal {C}_2$ . Once again, fix ${\tau }$ to be a degenerate standard stability condition. To construct a $\tau $ -HN automaton for $\mathcal {C}_2$ , we specify the following pieces of data.

1. 1. Fig. 6 simultaneously depicts a $B_3$ -labelled graph $\Theta $ and a $\Theta $ -set $\underline {S}\subset \underline {\operatorname {\mathrm {Ob}} C_2}$ .

   

   Figure 6 A $B_3$ -labelled graph $\Theta $ , together with an assignment of a subset of $\operatorname {\mathrm {Ob}} \mathcal {C}_2$ to each vertex.

2. 2. Fig. 7 depicts a $\Theta $ -representation $\underline {M}$ . As shown in Fig. 6, the set at every vertex has the form $[A,B]$ , where $A,B\in \Sigma _{\tau }$ . The summands in the module $\mathbb {Z}[q^{\pm }]^2 = \mathbb {Z}[q^{\pm }] \oplus \mathbb {Z}[q^{\pm }]$ at that vertex should be thought of as being indexed by A and B, respectively.

   

   Figure 7 A $ \Theta $ -representation $ \underline {M}$ .

3. 3. The morphism $i \colon \underline {S} \to \underline {M}$ is as follows. At each vertex, the map $[A,B] \to \mathbb {Z}[q^{\pm }]^2$ takes an object $X \in [A,B]$ to the A and B coordinates of $\operatorname {\mathrm {HN}}_{\tau }(X)$ . The proof that i is $\Theta $ -equivariant is a calculation that proceeds exactly as in the proof of [Reference Bapat, Deopurkar and Licata2, Proposition 5.1].

4. 4. Finally, $h_v \colon M_v \to \mathbb {Z}[q^{\pm }]^{\Sigma _{\tau }}$ is simply the inclusion map. We need to check that for any vertex v and any $X \in S_v$ , we have

   $$\begin{align*}\operatorname{\mathrm{HN}}_{\tau}(X) = h_v(i_v(X)).\end{align*}$$

   In other words, we check that the $\tau $ -HN multiplicity vectors transform according to matrices in Fig. 7. This check, which is involved, is essentially identical to the one done in [Reference Bapat, Deopurkar and Licata2, Proposition 5.1]. We omit the details here.

4.4 The dynamics of the braid group action on spherical objects

We now define two kinds of functionals $\mathbb {S}\times \mathbb {S} \to \mathbb {Z}[q^{\pm }]$ . The first of these is an extension of a functional $\{P_{1},P_{2}\}\times \mathbb {S} \to \mathbb {Z}[q^{\pm }]$ that counts the ‘occurrences’ of the building block complexes $P_{2}$ and $P_{1}$ , respectively, in a complex $X \in \mathbb {S}$ . We continue to denote by ${\tau }$ a degenerate standard stability condition on $\mathcal {C}_{2}$ .

We know that in this case, the set of indecomposable semistable objects in the heart is just

$$\begin{align*}\Sigma_{\tau} = \{P_1, P_2, P_{12}, P_{21}\}.\end{align*}$$

With these coordinates, for any $X \in \mathcal {T}$ , we write $\operatorname {\mathrm {HN}}_{\tau }(X)$ as

$$\begin{align*}\operatorname{\mathrm{HN}}_{\tau}(X) = (\pi_1(X), \pi_2(X), \pi_{12}(X), \pi_{21}(X)).\end{align*}$$

Definition 4.4. We define functionals $\mathbb {S} \times \mathbb {S} \to \mathbb {Z}[q^{\pm }]$ as follows. For any $X \in \mathbb {S}$ ,

$$ \begin{align*} \operatorname{\mathrm{occ}}_{q}(P_{1}, X)&:=\pi_{2}(X)+\pi_{12}(X)+\pi_{21}(X),\\ \operatorname{\mathrm{occ}}_{q}(P_{2}, X)&:=\pi_{1}(X)+\pi_{12}(X)+\pi_{21}(X). \end{align*} $$

For any $X,Y \in \mathbb {S}$ , let $X={\beta } P_{1}$ , then

$$ \begin{align*}\operatorname{\mathrm{occ}}_{q}(X,Y)=\operatorname{\mathrm{occ}}_{q}(P_{1},{\beta}^{-1}Y).\end{align*} $$

Definition 4.6. The functional $\operatorname {\mathrm {occ}}_{q}$ has a close cousin, $\overline {\hom }_{q}$ :

$$ \begin{align*}\overline{\hom}_{q}(X,Y):=\begin{cases} q^{n}(q^{-2}-q^{-1}), & Y\cong X[n],\\ \sum_{n \in \mathbb{Z}}\dim_{{\Bbbk}}\operatorname{\mathrm{Hom}}(X,Y[n])q^{-n}, & \text{otherwise.} \end{cases}\end{align*} $$

The following theorems relate these functionals to the q-deformed rational numbers. For reasons that will soon be obvious, for any $X \in \mathbb {S}$ , we write $X\geq 0$ to mean $X \in [P_{2}, P_{21}]\cup [P_{21}, P_{1}]$ and $X \leq 0$ to mean $X \in [P_{1}, P_{12}]\cup [P_{12}, P_{2}]$ .

Theorem 4.7. For every $X \in \mathbb {S}$ ,

$$ \begin{align*}(-q)^{-\epsilon}\frac{\operatorname{\mathrm{occ}}_{q}(P_{2},X)}{\operatorname{\mathrm{occ}}_{q}(P_{1},X)}\end{align*} $$

is a right q-deformed rational number, where

$$ \begin{align*}\epsilon=\begin{cases} 0, & X\geq 0,\\ 1, & X\leq0.\end{cases}\end{align*} $$

Moreover, the induced map from $\mathbb {S}$ to the set of q-deformed rationals is $B_{3}$ -equivariant and bijective (up to shift).

Theorem 4.8. For every $X \in \mathbb {S}$ ,

$$ \begin{align*}(-1)^{\epsilon}q^{\epsilon-1}\frac{\overline{\hom}_{q}(X,P_{2})}{\overline{\hom}_{q}(X,P_{1})}\end{align*} $$

is a left q-deformed rational number, where

$$ \begin{align*}\epsilon=\begin{cases} 0, & X\geq0, X \not\cong P_{2}[n],\\ 1, & X\leq 0, X \not\cong P_{1}[n].\end{cases}\end{align*} $$

Moreover, the induced map from $\mathbb {S}$ to the set of left q-deformed rationals is $B_{3}$ -equivariant and bijective (up to shift).

These theorems were first proven in the case $q=1$ , where they are identical, by Rouquier and Zimmermann [Reference Rouquier and Zimmermann17, Proposition 4.8]. The proofs of these theorems for arbitrary q will occupy the rest of this section. In [Reference Bapat, Deopurkar and Licata2, Proposition 5.10], a proof of the original Rouquier–Zimmermann bijection is established using the theory of Harder–Narasimhan automata; it is this proof technique that we adapt to prove the above theorems. More precisely, to prove Theorem 4.7, we will use the automaton introduced in Section 4.3 to analyse the dynamics of spherical objects in $\mathcal {C}_{2}$ under the braid group action.

The proof of Theorem 4.7 will proceed by an induction on the length of elements of $B_{3}$ . To facilitate this induction, we introduce a normal form for the three-strand braid group $B_{3}$ , which is (mostly) recognised by the automaton (that is, for every braid we will need in the proof, there is a path along the edges of the automaton given by its continued normal form). Let $\omega :=\sigma _{2}\sigma _{1}\sigma _{2}\sigma _{1}\sigma _{2}\sigma _{1}$ be the generator of the centre of $B_{3}$ ,

Lemma 4.9 (Continued normal form).

Consider any braid ${\beta } \in B_{3}$ . We can write ${\beta }$ uniquely in one of four forms, determined by the image of $P_{1}$ :

where $a_{1} \in \mathbb {N}$ , $a_{2},\ldots ,a_{2n} \in \mathbb {N}\setminus 0$ , $M,N \in \mathbb {Z}$ .

Taking $P_{1}$ as the counterpart of $\infty $ and $P_{2}$ as the counterpart of 0, Lemma 4.9 corresponds exactly to the continued fraction expansion in Section 2.1.

Proof. Consider any braid ${\beta } \in B_{3}$ . Let $\overline {{\beta }}$ denote the corresponding element of $\operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ (under the standard surjection $B_{3} \to \operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ .) Let $\overline {{\beta }}\big [\begin {smallmatrix}1 \\ 0 \end {smallmatrix}\big ]=\big [\begin {smallmatrix} r \\ s \end {smallmatrix}\big ]$ . Then, by Proposition 2.2, there exists a matrix $\overline {{\beta }'}$ of the form

$$ \begin{align*}\overline{{\beta}'}=\overline{\sigma}_{1}^{-a_{1}}\overline{\sigma}_{2}^{a_{2}}\ldots\overline{\sigma}_{1}^{-a_{2n-1}}\overline{\sigma}_{2}^{a_{2n}},\end{align*} $$

such that $\overline {{\beta }'}\big [\begin {smallmatrix} 1 \\ 0 \end {smallmatrix}\big ]=\big [\begin {smallmatrix} r \\ s \end {smallmatrix}\big ]$ . Since $\overline {{\beta }'}$ and $\overline {{\beta }}$ act identically on $\big [\begin {smallmatrix} 1 \\ 0 \end {smallmatrix}\big ]$ , we have that $\overline {{\beta }'}=\overline {{\beta }}\overline {\sigma }_{1}^{M}$ for some $M \in \mathbb {Z}$ (this can be deduced from the fact that every matrix in $\operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ has determinant 1). Lemma 4.9 then follows from the fact that the kernel of $B_{3} \to \operatorname {\mathrm {PSL}}_{2}(\mathbb {Z})$ is the centre $Z(B_{3})$ .

If ${\beta }$ is given by the form in Lemma 4.9, we say that ${\beta }$ is written in ‘(even) continued form’. We say that ${\beta }$ is written in ‘strict continued form’ if any of the following hold:

1. 1. ${\beta }$ is written in form (4.1), $M \leq 0$ ;

2. 2. ${\beta }$ is written in form (4.2), $M \geq 0$ ;

3. 3. ${\beta }$ is written in form (4.3);

4. 4. ${\beta }$ is written in form (4.4), $M\leq 0$ .

The following corollary of Lemma 4.9 follows from the calculation:

$$ \begin{align*}\sigma_{1}^{M}\omega^{N}P_{1}=P_{1}[-2N-M].\end{align*} $$

Theorem 4.7 is an immediate corollary of the matrix formula for right q-rationals (Proposition 2.11) and the following Propositions 4.11 and 4.12:

Proposition 4.11. Consider any ${\beta } \in B_{3}$ which can be written in strict continued form, and let $\overline {{\beta }}$ be the corresponding q-deformed matrix. Up to multiplication by $-1$ and by powers of q, we have an equality:

$$ \begin{align*}\overline{{\beta}}= \begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta} P_{1}) & (-q)^{-\epsilon}\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta} P_{2}) \\ (-q)^{\epsilon}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta} P_{2}) \end{bmatrix}, \end{align*} $$

where

$$ \begin{align*}\epsilon=\begin{cases} 0, & {\beta} P_{2}\geq 0, \\ 1, & {\beta} P_{2}\leq 0. \end{cases}\end{align*} $$

Proposition 4.12. Consider any ${\beta } \in B_{3}$ which cannot be written in strict continued form. Then, up to multiplication by $-1$ and by powers of q, we have:

$$ \begin{align*}\overline{{\beta}}=\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta} P_{1}) & (-q)^{\epsilon-1}\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta} P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(P_{1},{\beta} P_{1} ) & (-q)^{2 \epsilon -1}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta} P_{2}) \end{bmatrix} \end{align*} $$

where

$$ \begin{align*}\epsilon=\begin{cases} 0, & {\beta} P_{2}\geq 0, \\ 1, & {\beta} P_{2} \leq 0. \end{cases}\end{align*} $$

Proof of Proposition 4.11.

Consider any ${\beta } \in B_{3}$ which can be written in strict continued form. We induct on the length of ${\beta }$ . The base case ${\beta }=\operatorname {\mathrm {Id}}$ is trivial. Since multiplication by $\omega $ corresponds to scalar multiplication by a power of q, we can assume without loss of generality that the $\omega ^{N}$ -term in ${\beta }$ is trivial (i.e., $N=0$ ).

For the induction argument, note that ${\beta }$ , read from right to left, defines a path in $\Theta $ (Fig. 6). We will ignore the case that ${\beta }$ is in the forms (4.3) and (4.4) (in the notation of Lemma 4.9), since this can be easily done by hand.

Let ${\beta }_{l}$ be the braid consisting of the last l elementary braids in ${\beta }$ , and suppose that

$$ \begin{align*}\overline{{\beta}_{l}}=\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l} P_{1}) & (-q^{-1})^{\epsilon}\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l} P_{2}) \\ (-q)^{\epsilon}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l} P_{2}). \end{bmatrix}\end{align*} $$

There are eight cases, depending on whether ${\beta }$ has the form (4.1) or (4.2) in the notation of Lemma 4.9 and on the value of ${\beta }_{l+1}{\beta }_{l}^{-1}$ . Note that ${\beta }_{l}P_{1} \in [P_{i}, P_{j}]$ if and only if ${\beta }_{l}P_{2} \in [P_{i}, P_{j}]$ . For illustrative purposes, we will assume that ${\beta }$ has the form (4.1) (and thus $\epsilon =0$ ), that ${\beta }_{l}P_{1}, {\beta }_{l}P_{2}\in [P_{21}, P_{1}]$ and ${\beta }_{l+1}=\sigma _{2}{\beta }_{l}$ . First, we calculate

$$ \begin{align*} \overline{{\beta}_{l+1}}&=\overline{\sigma_{2}{\beta}_{l}} \\ &=\begin{bmatrix} 1 & 0 \\ 1 & q^{-1}\end{bmatrix}\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l} P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l} P_{2}). \end{bmatrix} \\&=\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l} P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l} P_{1})+q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l} P_{2})+q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l} P_{2}). \end{bmatrix} \end{align*} $$

However, by definition, we have equalities

$$ \begin{align*} \begin{bmatrix} \pi_{21}({\beta}_{l}P_{1}) & \pi_{21}({\beta}_{l}P_{2}) \\ \pi_{1}({\beta}_{l}P_{1}) & \pi_{1}({\beta}_{l}P_{2}) \end{bmatrix}=\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l}P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l}P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l}P_{1})-\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l}P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l}P_{2})-\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l}P_{2}) \end{bmatrix} \end{align*} $$

and

(4.5) $$ \begin{align}\begin{split} &\begin{bmatrix} \pi_{2}({\beta}_{l+1}P_{1}) & \pi_{2}({\beta}_{l+1}P_{2}) \\ \pi_{21}({\beta}_{l+1}P_{1})& \pi_{21}({\beta}_{l+1}P_{2}) \end{bmatrix}\\&=\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l+1}P_{1})-\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l+1}P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l+1}P_{2})-\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l+1}P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l+1}P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l+1}P_{2}) \end{bmatrix}\end{split} \end{align} $$

Applying the linear representation embedded in $\Theta $ ,

(4.6) $$ \begin{align}\begin{split} \begin{bmatrix} \pi_{2}({\beta}_{l+1}P_{1}) & \pi_{2}({\beta}_{l+1}P_{2}) \\ \pi_{21}({\beta}_{l+1}P_{1}) & \pi_{21}({\beta}_{l+1}P_{2}) \end{bmatrix} &=\begin{bmatrix} q^{-1} & 0 \\ 1 & 1 \end{bmatrix}\begin{bmatrix} \pi_{21}({\beta}_{l}P_{1}) & \pi_{21}({\beta}_{l}P_{2}) \\ \pi_{1}({\beta}_{l}P_{1}) & \pi_{1}({\beta}_{l}P_{2}) \end{bmatrix}\\& =\begin{bmatrix} q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l} P_{1}) & q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l} P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l} P_{2}) \end{bmatrix}\end{split} \end{align} $$

Comparing Eq. (4.5) and Eq. (4.6) gives us that for $i \in \{1,2\}$ ,

$$ \begin{align*} \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l+1}P_{i})&=\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l}P_{i}),\\ \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l+1}P_{i})&=q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l}P_{i}) +\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l}P_{i}), \end{align*} $$

which proves that

$$ \begin{align*}\overline{{\beta}_{l+1}}=\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l+1} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}_{l+1} P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l+1} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}_{l+1} P_{2}). \end{bmatrix}.\end{align*} $$

Verifying the other seven cases (using the exact same procedure) completes the induction argument.

The proof of Propositon 4.12 is virtually the same as the proof of Proposition 4.11. Any braid which cannot be written in strictly normal form can be obtained from one that can, by multiplying on the right by $\sigma _{1}^{M}$ . Thus, one can prove this case using the same method as in part 1, but changing the base case appropriately.

This completes the proof of Theorem 4.7.

A proof of Theorem 4.8 can be constructed independently, analogously to the above proof. In lieu of doing that, we will bootstrap Theorem 4.8 to Theorem 4.7 by way of the following relationship between $\operatorname {\mathrm {occ}}_{q}$ and $\overline {\hom }_{q}$ :

Lemma 4.13 ( $\hom $ -values).

The functional $\overline {\hom }_{q}(P_{1},-)$ takes the following values:

$$ \begin{align*}\overline{\hom}_{q}(P_{1},X)=\begin{cases} (1-q^{-1})\operatorname{\mathrm{occ}}_{q}(P_{2},X)+q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1},X), & X \geq 0\\ (q^{-2}-q^{-1})\operatorname{\mathrm{occ}}_{q}(P_{2},X)+q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1},X), & X \leq 0. \end{cases}\end{align*} $$

Symmetrically, the functional $\overline {\hom }_{q}(P_{2}, -)$ takes the following values:

$$ \begin{align*}\overline{\hom}_{q}(P_{2},X)=\begin{cases} (q^{-2}-q^{-1})\operatorname{\mathrm{occ}}_{q}(P_{1},X)+q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{2},X), & X\geq 0, \\ (1-q^{-1})\operatorname{\mathrm{occ}}_{q}(P_{1},X)+q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{2},X), & X \leq 0. \end{cases}\end{align*} $$

Proof of Theorem 4.8.

Consider any $X \in \mathbb {S}$ . Assume that $X \neq P_{1},P_{2}$ . By Corollary 4.10, we can write $X={\beta } P_{1}$ for some ${\beta }$ in strict continued form. It is easy to check that ${\beta } P_{1}\geq 0$ implies ${\beta }^{-1} P_{1} \leq 0$ (and vice versa), and thus, by Proposition 4.11, we have the following equality (up to scaling):

$$ \begin{align*} \overline{{\beta}}&=\begin{bmatrix}\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}^{-1} P_{1}) & (-q)^{\epsilon-1}\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}^{-1} P_{2}) \\ (-q)^{1-\epsilon}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1} P_{2})\end{bmatrix}^{-1}\\ &=\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1} P_{2}) & (-1)^{\epsilon}q^{\epsilon-1}\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}^{-1} P_{2}) \\ (-1)^{\epsilon}q^{1-\epsilon}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1} P_{1}) & \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}^{-1} P_{1}) \end{bmatrix}. \end{align*} $$

Let $\mathcal {R}^{\flat }(q)/\mathcal {S}^{\flat }(q)$ be the rational function representation of $[{\beta }(\infty )]_{q}^{\flat }$ , using the notation in Definition 2.7. Combining the matrix formula for right q-rationals (Proposition 2.11) and the $\hom $ -values lemma (Lemma 4.13), we have (again up to scaling):

$$ \begin{align*} \begin{bmatrix} \mathcal{R}^{\flat}(q) \\ \mathcal{S}^{\flat}(q) \end{bmatrix} &= \overline{{\beta}}\begin{bmatrix}q^{-1}\\ q^{-1}-1 \end{bmatrix} \\ &=\begin{bmatrix} q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1} P_{2}) +(-1)^{\epsilon}(q^{\epsilon-2}-q^{\epsilon-1})\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}^{-1} P_{2}) \\ (-1)^{\epsilon}q^{-\epsilon}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1} P_{1}) +(q^{-1}-1)\operatorname{\mathrm{occ}}_{q} (P_{2}, {\beta}^{-1} P_{1}) \end{bmatrix} \\&=\begin{bmatrix} \overline{\hom}_{q}(P_{1}, {\beta}^{-1}P_{2}) \\ (-1)^{\epsilon}q^{1-\epsilon}\overline{\hom}_{q}(P_{1}, {\beta}^{-1}P_{1}) \end{bmatrix} \\ &=\begin{bmatrix} \overline{\hom}_{q}(X, P_{2}) \\ (-1)^{\epsilon}q^{1-\epsilon}\overline{\hom}_{q}(X,P_{1}) \end{bmatrix} \end{align*} $$

This shows that

$$ \begin{align*}(-1)^{\epsilon}q^{\epsilon-1}\frac{\overline{\hom}_{q}(X,P_{2})}{\overline{\hom}_{q}(X,P_{1})}\end{align*} $$

is indeed a left q-deformed rational number and that the map sending ${\beta } P_{1}$ to $[{\beta }(\infty )]_{q}^{\flat }$ is a bijection.

We now prove $B_{3}$ -equivariance. By construction, we have that for every $X \in \mathbb {S}$ , there is some ${\beta } \in B_{3}$ , such that $X={\beta } P_{1}$ and

$$ \begin{align*}(-1)^{\epsilon}q^{\epsilon-1}\frac{\overline{\hom}_{q}({\beta} P_{1},P_{2})}{\overline{\hom}_{q}({\beta} P_{1},P_{1})}={\beta}\frac{\overline{\hom}_{q}(P_{1},P_{2})}{\overline{\hom}_{q}(P_{1},P_{1})}={\beta} [\infty]_{q}^{\flat}.\end{align*} $$

Consider any ${\beta }_{1}, {\beta }_{2} \in B_{3}$ such that ${\beta }_{1} P_{1}={\beta }_{2} P_{1}$ . To prove $B_{3}$ -equivariance, it will be sufficient to show that ${\beta }_{1}$ and ${\beta }_{2}$ act identically on $[\infty ]_{q}^{\flat }$ . By elementary braid group arithmetic, ${\beta }_{1}={\beta }_{2}\sigma _{1}^{n}$ for some $n \in \mathbb {Z}$ . Since $\sigma _{1}$ fixes $[\infty ]_{q}^{\flat }$ , we have that

$$ \begin{align*}{\beta}_{1}[\infty]_{q}^{\flat}={\beta}_{2}[\infty]_{q}^{\flat}.\end{align*} $$

This completes the proof of $B_{3}$ -equivariance.

5.1 The deformed mass embedding

Suppose that $\mathcal T$ is the 2-CY category associated to a connected quiver (we will specialise to $\mathcal {C}_{2}$ again shortly). Let $\mathbb {S}$ be the set of spherical objects of $\mathcal T$ . Let $\mathbb {R}^{\mathbb {S}}$ be the space of real-valued functions on $\mathbb {S}$ . Let $\mathbb {P}^{\mathbb {S}}(\mathbb {R})$ denote the projectivisation of this space; that is, $\mathbb {P}^{\mathbb {S}}(\mathbb {R}) = (\mathbb {R}^{\mathbb {S}} \setminus 0)/\mathbb {R}^{\times }$ . Recall the definition of the q-mass of an object X, given a stability condition ${\tau }$ , denoted $m_{q,{\tau }}(X)$ (Definition 3.3). For any $q> 0$ , we have a map

$$\begin{align*}m_q \colon \operatorname{\mathrm{Stab}}(\mathcal T)/\mathbb{C} \to \mathbb{P}^{\mathbb{S}}(\mathbb{R}) ,\end{align*}$$

defined as

$$\begin{align*}m_q(\tau) = [m_{q,\tau}(X)]_{X\in \mathbb{S}}.\end{align*}$$

The following proposition states that a stability condition can be recovered uniquely up to $\mathbb {C}$ -action from its q-mass vector.

Injectivity in the case that $q = 1$ is proven in [Reference Bapat, Deopurkar and Licata2, Proposition 4.1]. This proof works in general, given q-deformed versions of two trigonometric relations: Ikeda’s ‘q-deformed triangle inequality’ [Reference Ikeda8, Lemma 3.6] and a ‘q-deformed SSS-triangle congruence theorem’, which we describe presently.

For any point $z \in \mathbb {H}\cup \mathbb {R}^{>0}$ , let $\phi (z)$ denote the phase of z. For any pair of points $z_{1}, z_{2} \in \mathbb {H}\cup \mathbb {R}^{>0}$ , say that the triangle associated to $(z_{1},z_{2})$ is the Euclidean planar triangle with vertices $(0, z_{1}, z_{1}+z_{2})$ . Classically, the lengths of the sides of the trangle associated to $(z_{1},z_{2})$ would be ${\vert } z_{1}{\vert }$ , ${\vert } z_{2} {\vert }$ and ${\vert } z_{1}+z_{2}{\vert }$ . For our purposes, however, it is natural to ‘q-deform’ this measure. The q-deformed length of a side of this triangle will involve both the classical length and the phase of the corresponding vector. Precisely, for $v\in \{z_{1},z_{2},z_{1}+z_{2}\}$ , the q-deformed length of the side with classical length ${\vert } v{\vert }$ is $q^{\phi (v)}{\vert } v{\vert }$ . Ikeda’s q-deformed triangle inequality ([Reference Ikeda8, Lemma 3.6]) says that the q-deformed side-length satisfies the triangle inequality:

$$ \begin{align*}q^{\phi(z_{1}+z_{2})}{\vert} z_{1}+z_{2}{\vert} \leq q^{\phi(z_{1})}{\vert} z_{1}{\vert}+q^{\phi(z_{2})}{\vert} z_{2}{\vert}.\end{align*} $$

The next lemma says that the classical SSS-property is also preserved under q-deformation: the q-deformed side-lengths uniquely determine the triangle (up to congruence).

Lemma 5.2 (q-SSS).

Let $z_{1}, z_{2}, z_{1}', z_{2}' \in \mathbb {H} \cup \mathbb {R}^{>0}$ and suppose that

$$ \begin{align*} q^{\phi(z_{1})}{\vert} z_{1} {\vert}&=q^{\phi(z_{1}')}{\vert} z_{1}' {\vert},\\ q^{\phi(z_{2})}{\vert} z_{2} {\vert}&=q^{\phi(z_{2}')}{\vert} z_{2}' {\vert},\\ q^{\phi(z_{1}+z_{2})}{\vert} z_{1} + z_{2} {\vert}&=q^{\phi(z_{1}'+z_{2}')}{\vert} z_{1}' + z_{2}' {\vert}. \end{align*} $$

Then, the triangle associated to $(z_{1}, z_{2})$ is congruent to the triangle associated to $(z_{1}', z_{2}')$ .

Proof. Assume that $z_{1}=z_{1}'=1$ (by rotating and scaling appropriately). For convenience, let

$$ \begin{align*} \phi_{2}:=\phi(z_{2}), && m_{2}:={\vert} z_{2} {\vert}, && z_{12}:=z_{1}+z_{2}, && \phi_{12}:=\phi(z_{12}), && m_{12}:={\vert} z_{1}+z_{2}{\vert},&& c:=q^{\phi_{2}}m_{2}. \end{align*} $$

To prove the proposition, it is enough to show that given the assumption, the vector $z_{2}$ is uniquely determined by the values $q^{\phi _{2}}m_{2}$ and $q^{\phi _{12}}m_{12}$ . For any $t \in [0,1]$ , let $w_{t}$ be the vector with phase t and length $q^{-t}c$ . We explicitly construct a function $T_{q,c}:[0,1] \to \mathbb {R}$ , which maps $t \in [0,1]$ to $q^{\phi (1+w_{t})}{\vert } 1+w_{t} {\vert }$ . If $T_{q,c}$ is injective, then since $T_{q,c}(\phi _{2})=q^{\phi _{12}}m_{12}$ , we can derive $\phi _{2}$ from $q^{\phi _{12}}m_{12}$ . Thus, given $q^{\phi _{12}}m_{12}$ and $q^{\phi _{2}}m_{2}$ , we can derive $\phi _{2}$ and $m_{2}$ , which determine $z_{2}$ .

By the law of cosines,

$$ \begin{align*}\phi(1+w_{t}) =\frac{1}{\pi}\cos^{-1}\Big(\frac{1+c q^{-t} \cos (\pi t)}{\sqrt{1+(c q^{-t})^{2}+2 cq^{-t} \cos(\pi t)}}\Big),\end{align*} $$

and

$$ \begin{align*}{\vert} 1+w_{t} {\vert} =\sqrt{1+(cq^{-t})^{2}+2cq^{-t} \cos(\pi t)}.\end{align*} $$

Thus,

$$ \begin{align*}T_{q,c}(t) =q^{\frac{1}{\pi}\cos^{-1}\big(\frac{1+cq^{-t} \cos (\pi t)}{\sqrt{1+(cq^{-t})^{2}+2cq^{-t} \cos(\pi t)}}\big)}\sqrt{1+(cq^{-t})^{2}+2cq^{-t} \cos(\pi t)}.\end{align*} $$

The derivative of $T_{q,c}$ on the interval $[0,1]$ simplifies to

$$ \begin{align*}T_{q,c}'(t)=-\frac{q^{f(t)}}{\pi \sqrt{c^{2}+q^{2t}+2c q^{t} \cos(\pi t)}}(cq^{t} \ln^{2}(q)\sin(\pi t)+ \pi^{2}c q^{t} \sin(\pi t)),\end{align*} $$

where

$$ \begin{align*}f(t)=-t+\frac{\cos^{-1}\Big(\frac{1+c q^{t}\cos(\pi t)}{\sqrt{1+(cq^{-t})^{2}+2cq^{-t} \cos(\pi t)}}\Big)}{\pi}.\end{align*} $$

Since $T^{\prime }_{q,c}$ is evidently negative, $T_{q,c}$ is injective on $[0,1]$ , completing the proof.

Further, we conjecture that the mass map is a homeomorphism onto its image.

In the remainder of this section we prove a weaker implication of the above conjecture in type $A_{2}$ ; we show that the map $m_q$ is a homeomorphism onto its image, that the image of $m_q$ is homeomorphic to an open Euclidean disk and that the boundary of the closure is homeomorphic to a circle.

The analogue of this conjecture for the 2-CY category of the $A_{2}$ -quiver at $q=1$ is proved in [Reference Bapat, Deopurkar and Licata2, Proposition 5.7]. The proof of the (following) q-deformed proposition is essentially the same (again switching the triangle inequality for the q-deformed analogue from [Reference Ikeda8, Lemma 3.6]).

5.2 The deformed mass embedding for N-CY categories

While the results of this paper focus on the $2$ -CY case, we make a remark about the deformed mass embedding for an N-CY category associated to a connected quiver for any $N> 2$ .

The construction of these categories is analogous to the constructions discussed in [Reference Bapat, Deopurkar and Licata2, Section 2.1], where the path-length grading is modified so that the loop map has degree N. In particular, for any edge $e \colon i \to j$ in the double of the quiver, choose $d_e \in \mathbb {N}$ as the degree of e with the following constraint. If $\overline {e} \colon j \to i$ is the opposite edge to e, we have $d_e + d_{\overline {e}} = N$ . Each such choice of integers $d_e$ yields a corresponding N-CY category.

Fix $N> 2$ . Fix a corresponding N-CY category $\mathcal {T}$ , where $d_e$ is the degree of an edge e with $d_e + d_{\overline {e}} = N$ . Let $\mathbb {S}$ be the set of (N)-spherical objects of $\mathcal {T}$ . Exactly as for $N = 2$ , we have a q-deformed mass map

$$\begin{align*}m_q \colon \operatorname{\mathrm{Stab}}(\mathcal{T})/\mathbb{C} \to \mathbb{P}(\mathbb{R}^{\mathbb{S}}).\end{align*}$$

Let $\mathcal {T}$ be an N-CY category associated to a connected quiver, where $N> 2$ . In contrast to Proposition 5.1, the mass map $m_q \colon \operatorname {\mathrm {Stab}}(\mathcal {T})/\mathbb {C}$ is usually not injective, as demonstrated by the following example.

Example 5.5. The doubled $A_2$ quiver gives a simple counterexample to injectivity of the mass map for N-CY categories with $N> 2$ . Suppose the vertices are indexed by the numbers $\{1, 2\}$ . For the edge $e \colon 1 \to 2$ , set $d_e = 1$ . For the opposite edge $\overline {e} \colon 2 \to 1$ , set $d_{\overline {e}} = N - 1$ . Then, the only nontrivial extension E between $P_1$ and $P_2$ is realised by the degree $1$ map $P_1 \to P_2$ . Define a stability condition $\tau $ whose $[0,1)$ heart is $\heartsuit _{\operatorname {\mathrm {std}}}$ , by choosing $Z_{\tau }(P_1)$ and $Z_{\tau }(P_2)$ to lie in the upper half plane, with the phase of $P_2$ higher than the phase of $P_1$ , as shown in the figure below. It is easy to check that E is not semistable and, furthermore, that $P_1$ and $P_2$ are the only stable objects of $\heartsuit _{\operatorname {\mathrm {std}}}$ .

Let $m_2$ and $\varphi _2$ be the modulus and phase of $Z(P_2)$ , respectively, in $\tau $ . Now consider a stability condition $\tau '$ defined as follows. Set $Z_{\tau '}(P_1) = Z_{\tau }(P_1)$ , and change $Z_{\tau '}(P_2)$ to be any other vector in the upper half plane whose phase is higher than the phase of $P_1$ and which satisfies

$$\begin{align*}m_{q,\tau'}(P_2) = m_{q,\tau}(P_2).\end{align*}$$

For example, at $q = 1$ , this is achieved simply by rotating $Z_{\tau }(P_2)$ slightly.

It is clear that $\tau $ and $\tau '$ define distinct points of $\operatorname {\mathrm {Stab}}(\mathcal {T})/\mathbb {C}$ . However, since $P_1$ and $P_2$ are the only stable objects in both $\tau $ and $\tau '$ , we have $m_q(\tau ) = m_q(\tau ')$ by construction. In particular, the mass map is not injective.

However, we can achieve injectivity by considering a product of two distinct deformed mass maps.

Proposition 5.6. Let $q,r> 0$ be two distinct real numbers. Let $\mathcal {T}$ be an N-CY category associated to connected quiver, where $N \geq 2$ . The map

$$\begin{align*}m_q \times m_r \colon \operatorname{\mathrm{Stab}}(\mathcal{T})/\mathbb{C} \to \mathbb{P}(\mathbb{R}^{\mathbb{S}}) \times \mathbb{P}(\mathbb{R}^{\mathbb{S}})\end{align*}$$

is injective.

Proof. We present a sketch of the proof. We again follow the proof of [Reference Bapat, Deopurkar and Licata2, Proposition 4.1] with modifications to the second half of the argument.

Let $\tau $ be a stability condition, which we may assume to be a standard stability condition by applying a suitable braid. This follows from, for example, [Reference Ikeda7, Proposition 4.13] as remarked in [Reference Bapat, Deopurkar and Licata2, Proposition 4.1] and is true for an N-CY category for any N. By applying a phase shift if necessary, assume that the phases of the (stable) objects $P_i$ all lie in the interval $[0,1)$ . Let $\tau '$ be another stability condition such that $(m_q \times m_r)(\tau ) = (m_q \times m_r)(\tau ')$ . The same argument as in the proof of [Reference Bapat, Deopurkar and Licata2, Proposition 4.1] shows that $\tau '$ must have the same collection of stable objects as $\tau $ . We now show that they describe the same point in $\operatorname {\mathrm {Stab}}(\mathcal {T})/\mathbb {C}$ .

The equation $(m_q \times m_r)(\tau ) = (m_q \times m_r)(\tau ')$ shows that there is a global positive real scalar $\lambda $ such that for any object X in the category, we have

$$\begin{align*}m_{q,\tau}(X) = \lambda \cdot m_{q,\tau'}(X) \text{ and }m_{r,\tau}(X) = \lambda \cdot m_{r,\tau'}(X). \end{align*}$$

Explicitly, suppose $X = P_i$ for some i. Then, we have

$$ \begin{align*} q^{\phi_{\tau}(P_i)}|Z_{\tau}(P_i)| &= \lambda \cdot q^{\phi_{\tau'}(P_i)}|Z_{\tau'}(P_i)|,\\ r^{\phi_{\tau}(P_i)}|Z_{\tau}(P_i)| &= \lambda \cdot r^{\phi_{\tau'}(P_i)}|Z_{\tau'}(P_i)|. \end{align*} $$

Taking the quotient of these two equations, and noting that $q \neq r$ are positive, we conclude that $\phi _{\tau }(P_i) = \phi _{\tau '}(P_i)$ for every i. Further, from the equations above, we conclude that

$$\begin{align*}|Z_{\tau}(P_i)| = \lambda \cdot |Z_{\tau'}(P_i)|\end{align*}$$

for each i. In other words, the central charges of $\tau $ and $\tau '$ are equal up to a real scalar, which means that $\tau $ and $\tau '$ are equal in $\operatorname {\mathrm {Stab}}(\mathcal {T})/\mathbb {C}$ .

The combinatorics of $\operatorname {\mathrm {Stab}}(\mathcal {T})/\mathbb {C}$ , as well as that of the images of $m_q$ and $m_q \times m_r$ appears to be extremely interesting and worthy of investigation. In particular, it would be interesting to study how the combinatorics of $\operatorname {\mathrm {Stab}}(\mathcal {T})/\mathbb {C}$ is related to the structure of the exchange graphs of the N-CY categories as discussed, for example, in [Reference King and Qiu11]. However, we do not explore these directions in this paper.

5.3 Analogy with the q-Farey tessellation

In the remainder of this section, we will only work with the category $\mathcal {C}_2$ and with $q \in (0,1)$ (although everything we state is true for $q \in (1, \infty )$ up to sign/orientation). We will use $M_{q}$ to denote

$$ \begin{align*}M_{q}:=m_{q}(\operatorname{\mathrm{Stab}}(\mathcal{C}_{2})/\mathbb{C}) \subset \mathbb{P}^{\mathbb{S}}(\mathbb{R}).\end{align*} $$

Our goal is to classify the points in the ‘boundary’ $\partial \overline {M}_{q}:=\overline {M}_{q}\setminus M_{q}$ . We will show that the $\operatorname {\mathrm {occ}}_{q}$ and $\overline {\hom }_{q}$ functionals lie in $\partial \overline {M}_{q}$ and then use Theorem 4.7 and Theorem 4.8 to completely describe $\partial \overline {M}_{q}$ .

In Section 2.2, we described ‘q-deformed rational curves’ as limits of sequences of triangles in the q-deformed Farey tessellation. These curves satisfy two notable properties:

1. 1. they are in natural, $B_{3}$ -equivariant bijection with the rational numbers;

2. 2. their union is a dense subset of the boundary of the q-Farey tessellation.

The same phenomenon occurs in the embedding of $\operatorname {\mathrm {Stab}}(\mathcal {C}_{2})/\mathbb {C}$ in projective space. Let $\overline {\hom }_{q}(X),\operatorname {\mathrm {occ}}_{q}(X)$ denote the functionals $\overline {\hom }_{q}(X,\cdotp ), \operatorname {\mathrm {occ}}_{q}(X,\cdotp )$ , respectively, viewed as elements of $\mathbb {P}^{\mathbb {S}}(\mathbb {R})$ . That is,

$$\begin{align*}\overline{\hom}_{q}(X):=[\overline{\hom}_{q}(X,Y)]_{Y \in \mathbb{S}}, \quad \operatorname{\mathrm{occ}}_{q}(X):=[\operatorname{\mathrm{occ}}_{q}(X,Y)]_{Y \in \mathbb{S}}. \end{align*}$$

Set

$$\begin{align*}I_{q,X} = [\overline{\hom}_{q}(X),\operatorname{\mathrm{occ}}_{q}(X)] :=\{t\operatorname{\mathrm{occ}}_{q}(X)+(1-t)\overline{\hom}_{q}(X)\mid t \in [0,1]\}\end{align*}$$

as indicated in the introduction to the paper.

We will show shortly that the convex sets $I_{q,X}$ for $X \in \mathbb {S}$ arise as limits of stability conditions. The functional $\overline {\hom }_{q}(X)$ should be thought of as the correspondent of the left q-deformed rational number naturally associated to X and $\operatorname {\mathrm {occ}}_{q}(X)$ as the correspondent of the right q-deformed rational; together with their convex combinations, we obtain a perfect analogue of the q-deformed rational curve.

Recall the definition of standard stability conditions from Definition 4.1. The subset of the space of stability conditions that corresponds to the first two Farey triangles is given by the following definition:

Let $\Lambda $ denote the set of standard stability conditions, let $\Lambda _{A}$ (resp. $\Lambda _{B}$ ) denote the set of type-A (resp. type-B) standard stability conditions.

Think of $\Lambda _{A}$ as the Farey triangle with vertices $0,\infty ,1$ , and $\Lambda _{B}$ as the Farey triangle with vertices $0,\infty ,-1$ . So the initial edge E is the intersection $\Lambda _{A}\cap \Lambda _{B}$ . Its image under the q-mass map is the interval between $\operatorname {\mathrm {occ}}_{q}(P_{1})$ and $\operatorname {\mathrm {occ}}_{q}(P_{2})$ :

Lemma 5.8. We have an equality:

$$ \begin{align*}m_{q}(\Lambda_{A}\cap \Lambda_{B})=\{t\operatorname{\mathrm{occ}}_{q}(P_{1})+(1-t)\operatorname{\mathrm{occ}}_{q}(P_{2})\mid t \in (0,1)\}.\end{align*} $$

We can now state how the ‘intervals’ $I_{q,X}$ arise in $\partial \overline {M}_{q}$ .

Proposition 5.9. Consider any $X \in \mathbb {S}$ and suppose that $X={\beta } P_{1}[n]$ . Then,

$$ \begin{align*}\lim_{m \to \infty}\overline{m_{q}({\beta} \sigma_{1}^{-m}(\Lambda_{A}\cap \Lambda_{B}))}=I_{q,X}.\end{align*} $$

Proof. We first prove this statement for $\beta = \operatorname {id}$ and then deduce it for all other $\beta $ by equivariance. Thus, we have to show that

$$ \begin{align*}\lim_{m \to \infty}\overline{m_{q}(\sigma_{1}^{-m}(\Lambda_{A}\cap \Lambda_{B}))}= I_{q,P_1} = [\overline{\hom}_{q}(P_{1}),\operatorname{\mathrm{occ}}_{q}(P_{1})] .\end{align*} $$

By Lemma 5.8,

$$ \begin{align*}\overline{m_{q}(\Lambda_{A}\cap \Lambda_{B})}=\{t\operatorname{\mathrm{occ}}_{q}(P_{1})+(1-t)\operatorname{\mathrm{occ}}_{q}(P_{2})\mid t \in [0,1]\}.\end{align*} $$

Since $\sigma _{1}^{-1}P_{1}=P_{1}[1]$ , we have that

$$ \begin{align*}\lim_{m \to \infty}\sigma_{1}^{-m}\operatorname{\mathrm{occ}}_{q}(P_{1})=\operatorname{\mathrm{occ}}_{q}(P_{1}).\end{align*} $$

Thus, all we need to show is that

$$ \begin{align*}\lim_{m \to \infty}\sigma_{1}^{-m}\operatorname{\mathrm{occ}}_{q}(P_{2})=\overline{\hom}_{q}(P_{1}).\end{align*} $$

Let $X,Y \in \mathbb {S}$ be such that $X \geq 0$ , $Y \leq 0$ . Consider the following abbreviated vector in $\mathbb {P}^{\mathbb {S}}(\mathbb {R})$ , representing $\sigma _{1}^{-m}\operatorname {\mathrm {occ}}_{q}(P_{1})$

$$ \begin{align*} \sigma_{1}^{-m} \begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{2}, P_{1}) \\ \operatorname{\mathrm{occ}}_{q}(P_{2},P_{2})\\ \operatorname{\mathrm{occ}}_{q}(P_{2}, X)\\ \operatorname{\mathrm{occ}}_{q}(P_{2},Y) \end{bmatrix} &=\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{2}, \sigma_{1}^{m}P_{1}) \\ \operatorname{\mathrm{occ}}_{q}(P_{2},\sigma_{1}^{m}P_{2})\\ \operatorname{\mathrm{occ}}_{q}(P_{2}, \sigma_{1}^{m}X)\\ \operatorname{\mathrm{occ}}_{q}(P_{2},\sigma_{1}^{m}Y) \end{bmatrix} \\ &=\begin{bmatrix} q^{-m}\\ [m]_{q^{-1}}\\ [m-1]_{q^{-1}}(1-q^{-1})\operatorname{\mathrm{occ}}_{q}(P_{2},X)+[m]_{q^{-1}}\operatorname{\mathrm{occ}}_{q}(P_{1},X)\\ \operatorname{\mathrm{occ}}_{q}(P_{2},Y)+(q^{-1}-1)[m]_{q^{-1}}\operatorname{\mathrm{occ}}_{q}(P_{2},Y)+[m]_{q^{-1}}\operatorname{\mathrm{occ}}_{q}(P_{1},Y) \end{bmatrix}. \end{align*} $$

We multiply all the coordinates by $\frac {q^{-1}}{[m]_{q^{-1}}}$ to obtain:

$$ \begin{align*} \begin{bmatrix} \frac{q^{-m-1}}{[m]_{q^{-1}}}\\ q^{-1}\\ \frac{[m-1]_{q^{-1}}}{[m]_{q^{-1}}}(q^{-1}-q^{-2})\operatorname{\mathrm{occ}}_{q}(P_{2},X)+q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1},X)\\ \frac{q^{-1}}{[m]_{q^{-1}}}\operatorname{\mathrm{occ}}_{q}(P_{2},Y)+(q^{-2}-q^{-1})\operatorname{\mathrm{occ}}_{q}(P_{2},Y)+q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1},Y) \end{bmatrix}. \end{align*} $$

When we send m to infinity, we get:

$$ \begin{align*} \begin{bmatrix} q^{-2}-q^{-1}\\ q^{-1}\\ (1-q^{-1})\operatorname{\mathrm{occ}}_{q}(P_{2},X)+q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1},X)\\ (q^{-2}-q^{-1})\operatorname{\mathrm{occ}}_{q}(P_{2},Y)+q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1},Y) \end{bmatrix}. \end{align*} $$

Comparing to the $\hom $ -values lemma (Lemma 4.13), we see that this is indeed equal to $\overline {\hom }_{q}(P_{1})$ .

We will check that the appearance of these functionals really is a nontrivial result of taking the closure.

Lemma 5.10 (Disjointness 1).

For any $X \in \mathbb {S}$ and all $t \in [0,1]$ ,

$$ \begin{align*}t\operatorname{\mathrm{occ}}_{q}(X)+(1-t)\overline{\hom}_{q}(X) \notin M_{q}.\end{align*} $$

To prove this lemma, we need to give a more thorough account of the dynamics of the q-deformed triangle inequality. Consider any stability condition ${\tau } \in \operatorname {\mathrm {Stab}}(\mathcal {C}_{2})/\mathbb {C}$ . By the triangle inequality for the q-deformed mass [Reference Ikeda8, Proposition 3.3], we have the inequalities

(5.1) $$ \begin{align} m_{q,{\tau}}(P_{21}) &\leq m_{q,{\tau}}(P_{1}) +m_{q,{\tau}}(P_{2}), \end{align} $$

(5.2) $$ \begin{align} m_{q,{\tau}}(P_{1}) &\leq q^{-1}m_{q,{\tau}}(P_{2})+m_{q,{\tau}}(P_{21}), \end{align} $$

(5.3) $$ \begin{align} m_{q,{\tau}}(P_{2}) &\leq m_{q,{\tau}}(P_{21})+qm_{q,{\tau}}(P_{1}). \end{align} $$

The next lemma describes when these inequalities degenerate into equalities; it is the q-analogue of the phenomenon noted at [Reference Bapat, Deopurkar and Licata2, Remark 5.15].

Interchanging the indices 1 and 2 gives corresponding inequalities for type-B stability conditions for which Lemma 5.11 holds.

Now we are ready to prove the disjointness of $I_{q,X}$ and $M_{q}$ .

Proof of Lemma 5.10.

Consider any $X \in \mathbb {S}$ . That $\operatorname {\mathrm {occ}}_{q}(X) \notin M_{q}$ follows immediately from the fact that $\operatorname {\mathrm {occ}}_{q}(X,X)=0$ , but $m_{q,{\tau }}(X)>0$ for all ${\tau } \in \operatorname {\mathrm {Stab}}(\mathcal {C}_{2})/\mathbb {C}$ . Nevertheless, in order to obtain disjointness for all the convex combinations, we must give a more involved proof for both $\operatorname {\mathrm {occ}}_{q}(X)$ and $\overline {\hom }_{q}(X)$ .

We begin with $\operatorname {\mathrm {occ}}_{q}(X)$ . Suppose to generate a contradiction that $\operatorname {\mathrm {occ}}_{q}(X) \in M_{q}$ . Since every stability condition is in the braid group orbit of $\Lambda $ , we can assume that

$$\begin{align*}\operatorname{\mathrm{occ}}_{q}(X)=m_{q}({\tau}),\end{align*}$$

for some ${\tau } \in \Lambda $ . Let $X = {\beta } P_{1}$ for some braid ${\beta } \in B_{3}$ which can be written in strict continued form. Assume for convenience that ${\beta }$ has form (4.1) in the notation of Lemma 4.9, and therefore, ${\beta }^{-1}\sigma _{1}$ has strict continued form (4.2). That is,

(5.4) $$ \begin{align} {\beta}^{-1}\sigma_{1}= \sigma_{1}^{a_{1}}\sigma_{2}^{-a_{2}}\ldots\sigma_{1}^{a_{2n-1}}\sigma_{2}^{-a_{2n}}\sigma_{1}^{M}\omega^{N}.\end{align} $$

By Proposition 4.11, we have

$$ \begin{align*} \overline{{\beta}^{-1}\sigma_{1}}&= \begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}^{-1} P_{1}[-1]) &-q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}^{-1}P_{12})\\ -q \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1} P_{1}[-1]) &\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}P_{12}) \end{bmatrix} \\ &= \begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}^{-1} P_{1}) &-q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}^{-1}P_{2})\\ -q \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1} P_{1}) &\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}P_{2}) \end{bmatrix} \begin{bmatrix} q^{-1} & -q^{-1} \\ 0 & 1 \end{bmatrix}. \end{align*} $$

Strictly speaking, the equalities hold only up to scaling by $-1$ and q. By the proof of Proposition 4.11, however, both matrices are scaled by the same factor, namely $(-q)^{-N}$ , where N is the exponent of $\omega $ in Eq. (5.4). Since we only need the second equality, we can safely ignore this factor.

Therefore, for $i \in \{1,2\}$ ,

(5.5) $$ \begin{align} \operatorname{\mathrm{occ}}_{q}(P_{i}, {\beta}^{-1}P_{12})=\operatorname{\mathrm{occ}}_{q}(P_{i}, {\beta}^{-1}P_{1})+\operatorname{\mathrm{occ}}_{q}(P_{i}, {\beta}^{-1}P_{2}). \end{align} $$

Now consider the two cases $M=0$ and $M>0$ , where M is the exponent of $\sigma _{1}$ in Eq. (5.4). If $M>0$ , then ${\beta }^{-1} \sigma _{1}^{-1}$ has form (4.2), and a similar matrix calculation gives

(5.6) $$ \begin{align} \operatorname{\mathrm{occ}}_{q}(P_{i}, {\beta}^{-1}P_{21})=\operatorname{\mathrm{occ}}_{q}(P_{i}, {\beta}^{-1}P_{2})-q\operatorname{\mathrm{occ}}_{q}(P_{i}, {\beta}^{-1}P_{1}). \end{align} $$

If $M=0$ , then ${\beta }^{-1} \sigma _{2}$ has form (4.2), and another similar matrix calculation gives

(5.7) $$ \begin{align} \operatorname{\mathrm{occ}}_{q}(P_{i}, {\beta}^{-1}P_{21})=\operatorname{\mathrm{occ}}_{q}(P_{i}, {\beta}^{-1}P_{1})-q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{i}, {\beta}^{-1}P_{2}). \end{align} $$

Assume $i=1$ (the statements for $i=2$ are needed when we prove the statement for $\overline {\hom }_{q}$ below). Then, Eqs. (5.5) to (5.7), along with our assumption that $m_{q}({\tau })=\operatorname {\mathrm {occ}}_{q}(X)$ , imply that:

(5.8) $$ \begin{align} m_{q, {\tau}}(P_{12})=m_{q,{\tau}}(P_{1})+m_{q,{\tau}}(P_{2}), \end{align} $$

and either

(5.9) $$ \begin{align} m_{q,{\tau}}(P_{2})=m_{q,{\tau}}(P_{21})+qm_{q,{\tau}}(P_{1}) \end{align} $$

or

(5.10) $$ \begin{align} m_{q,{\tau}}(P_{1})=q^{-1}m_{q,{\tau}}(P_{2})+m_{q,{\tau}}(P_{21}). \end{align} $$

Thus, the degeneracy lemma (Lemma 5.11) implies that ${\tau }$ is neither strictly type-A nor strictly type-B. Since we assumed that ${\tau }$ is standard, this implies that ${\tau }$ is both type-A and type-B. However, any stability condition which is both type-A and type-B satisfies

(5.11) $$ \begin{align} m_{q,{\tau}}(P_{21})=m_{q,{\tau}}(P_{1})+m_{q,{\tau}}(P_{2}). \end{align} $$

If we were to combine Eq. (5.11) with either Eq. (5.9) or Eq. (5.10), we would get that $m_{q,{\tau }}(P_{i})=0$ for either $i = 1$ or $i=2$ , giving the desired contradiction (as the q-mass associated to any stability condition is strictly positive on all complexes). A contradiction can be generated in the cases that ${\beta }$ has the form (4.2), (4.3), (4.4) in the same way. This shows that $\operatorname {\mathrm {occ}}_{q}(X) \notin M_{q}$ .

Now we consider $\overline {\hom }_{q}(X)$ . Suppose to generate a contradiction that $ \overline {\hom }_{q}(X) \in M_{q}$ . Since every stability condition is in the braid group orbit of $\Lambda $ , we can assume that

$$\begin{align*}\overline{\hom}_{q}(X)=m_{q}({\tau}'),\end{align*}$$

for some ${\tau }' \in \Lambda $ .

By our computation of $\overline {\hom }_{q}$ in terms of $\operatorname {\mathrm {occ}}_{q}$ (Lemma 4.13), for $j \in \{1,2,12,21\}$ , we have

(5.12) $$ \begin{align} \overline{\hom}_{q}(P_{1}, {\beta}^{-1}P_{j})=(q^{-2}-q^{-1})\operatorname{\mathrm{occ}}_{q}(P_{2}, {\beta}^{-1}P_{j}) +q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}P_{j}). \end{align} $$

If we combine Eq. (5.12) with Eqs. (5.5) to (5.7), we re-derive Eqs. (5.8) to (5.10), replacing ${\tau }$ with ${\tau }'$ . This delivers the same contradiction as in the case of ${\tau }$ , proving that $\overline {\hom }_{q}(X) \notin M_{q}$ .

The proof for the rest of $I_{q,X}$ follows from the argument above. The contradiction we obtained from the degenerating inequalities carries through when we pass to convex combinations.

5.4 Embedding the boundary of $\overline {M_q}$ into $\mathbb {Q}_{q} \cup \mathbb {I}_{q}$

We will now use Theorems 4.7 and 4.8 (the Rouquier–Zimmermann Theorems) to define a homeomorphism (essentially a projection map) from the sets $I_{q,X} = [\overline {\hom }_{q}(X),\operatorname {\mathrm {occ}}_{q}(X)] $ , lying in $\mathbb {P}^{\mathbb {S}}(\mathbb {R})$ , onto the corresponding q-deformed curves from Section 2.5.

Let $\mathbb {O}_{q}$ denote the set

$$ \begin{align*}\mathbb{O}_{q}:=\bigsqcup_{X \in \mathbb{S}}I_{q,X} \subset \mathbb{P}^{\mathbb{S}}(\mathbb{R}).\end{align*} $$

Recall that $\mathbb {Q}_{q}$ denotes the union of all the q-deformed rational curves, together with their endpoints. Fix a homeomorphism from the interval $I_{q,P_{1}} = [\overline {\hom }_q(P_1), \operatorname {\mathrm {occ}}_q(P_1)]$ to the complete geodesic between $1/(1-q)$ and $\infty $ , together with its endpoints. Uniquely extend this by the $B_3$ action to a $B_{3}$ -equivariant map

$$\begin{align*}\rho_{q}:\mathbb{O}_{q} \to \mathbb{Q}_{q},\end{align*}$$

so that $\rho _{q}$ maps $\overline {\hom }_{q}(X)$ and $\operatorname {\mathrm {occ}}_{q}(X)$ onto $[r/s]_{q}^{\flat }$ and $[r/s]_{q}^{\sharp }$ , respectively, where $r/s$ is the rational number corresponding to X. In particular, this implies that $\rho _{q}$ is a bijection.

The closure of $\mathbb {O}_q$ is contained in $\overline {M}_{q}$ , so we need to incorporate limits of points in $\mathbb {O}_{q}$ into our classification of $\overline {M}_{q}$ . Let $\overline {\mathbb {O}}_{q}$ denote the union

$$ \begin{align*}\overline{\mathbb{O}}_{q}:=\mathbb{O}_{q} \cup \left\{\lim_{n \to \infty}\operatorname{\mathrm{occ}}_{q}(X_{n})\mid (X_{n})_{n \in \mathbb{N}} \in \mathbb{S}^{\mathbb{N}}\right\}.\end{align*} $$

As the notation suggests, $\overline {\mathbb {O}}_{q}$ is, in fact, the closure of $\mathbb {O}_{q}$ (see Lemma 5.13 below). We now extend $\rho _{q}$ to a $B_{3}$ -equivariant homeomorphism between $\overline {\mathbb {O}}_{q}$ and $\mathbb {Q}_{q} \cup \mathbb {I}_{q}$ using the following lemma.

Proof. For each statement, the forwards direction is an immediate corollary of Theorem 4.7. We prove the backwards direction of the statements. Consider a sequence $(X_{n})_{n \in \mathbb {N}}$ such that

$$\begin{align*}(\rho_{q}(\operatorname{\mathrm{occ}}_{q}(X_{n})))_{n \in \mathbb{N}} = \left(\frac{\operatorname{\mathrm{occ}}_{q}(X_{n},P_{2})}{\operatorname{\mathrm{occ}}_{q}(X_{n},P_{1})}\right)_{n \in \mathbb{N}}\end{align*}$$

converges in $\mathbb {Q}_{q} \cup \mathbb {I}_{q}$ . So,

$$\begin{align*}\frac{\operatorname{\mathrm{occ}}_{q}(X_{n},P_{2})}{\operatorname{\mathrm{occ}}_{q}(X_{n},P_{1})} \xrightarrow{n \to \infty} \ell \in \mathbb{R}.\end{align*}$$

We want to show that the projective vector

$$ \begin{align*}\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(X_{n},Y)\end{bmatrix}_{Y \in \mathbb{S}}\end{align*} $$

converges in $\mathbb {P}^{\mathbb {S}}(\mathbb {R})$ and that the limit depends only on $\lim _{n \to \infty }\rho _{q}(\operatorname {\mathrm {occ}}_{q}(X_{n}))$ . Our proof is inductive, exploiting the fact that $B_{3}$ acts transitively on $\mathbb {S}$ .

We know that as a sequence of projective vectors, we have

$$ \begin{align*}\begin{bmatrix}\operatorname{\mathrm{occ}}_{q}(X_{n},P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(X_{n},P_{1})\end{bmatrix} \xrightarrow{n \to \infty} \begin{bmatrix}\ell\\1\end{bmatrix} \in \mathbb{P}^1(\mathbb{R}).\end{align*} $$

Now consider the sequence

$$ \begin{align*}\begin{bmatrix}\operatorname{\mathrm{occ}}_{q}(X_{n},\sigma _{2} P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(X_{n},\sigma_{2}P_{1})\end{bmatrix}\end{align*} $$

in $\mathbb {P}^{1}(\mathbb {R})$ . By Proposition 4.11, we have

$$ \begin{align*}\begin{bmatrix}\operatorname{\mathrm{occ}}_{q}(X_{n},\sigma _{2} P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(X_{n},\sigma_{2}P_{1})\end{bmatrix}&= \begin{bmatrix}q^{-1}\operatorname{\mathrm{occ}}_{q}(X_{n}, P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(X_{n}, P_{1})+(-q)^{-\epsilon_{n}}\operatorname{\mathrm{occ}}_{q}(X_{n},P_{2}) \end{bmatrix}, \end{align*} $$

in $\mathbb {P}^{1}(\mathbb {R})$ , where $\epsilon _{n}$ lies in $\{0,1\}$ and is equal to the sign of $X_{n}$ , as described in Definition 4.6. Since $(\rho _{q}(\operatorname {\mathrm {occ}}_{q}(X_{n})))_{n \in \mathbb {N}}$ converges in $\mathbb {Q}_{q} \cup \mathbb {I}_{q}$ , the sign $\epsilon _{n}$ is eventually a constant $\epsilon $ , which is equal to the sign of $\lim _{n \to \infty }\rho _{q}(\operatorname {\mathrm {occ}}_{q}(X_{n}))$ .

Dividing both coordinates on the right-hand side of the equality above by $\operatorname {\mathrm {occ}}_{q}(X_{n},P_{1})$ and taking the limit as n goes to infinity, we obtain

$$ \begin{align*} \begin{bmatrix}\operatorname{\mathrm{occ}}_{q}(X_{n},\sigma _{2} P_{2}) \\ \operatorname{\mathrm{occ}}_{q}(X_{n},\sigma_{2}P_{1})\end{bmatrix} & \xrightarrow{n \to \infty} \begin{bmatrix} q^{-1}\ell\\ 1 + (-q)^{-\epsilon}\ell \end{bmatrix} \end{align*} $$

Thus,

$$\begin{align*}\begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(X_{n},P_{2})\\ \operatorname{\mathrm{occ}}_{q}(X_{n},\sigma_{2}P_{1}) \end{bmatrix} =\begin{bmatrix} q\operatorname{\mathrm{occ}}_{q}(X_{n},\sigma_{2}P_{2})\\ \operatorname{\mathrm{occ}}_{q}(X_{n},\sigma_{2}P_{1}) \end{bmatrix} \xrightarrow{n \to \infty}\begin{bmatrix} \ell\\ 1 + (-q)^{-\epsilon}\ell \end{bmatrix}. \end{align*}$$

And therefore, in $\mathbb {P}^{2}(\mathbb {R})$ ,

$$ \begin{align*} \begin{bmatrix} \operatorname{\mathrm{occ}}_{q}(X_{n},P_{2})\\ \operatorname{\mathrm{occ}}_{q}(X_{n},P_{1})\\ \operatorname{\mathrm{occ}}_{q}(X_{n},\sigma_{2}P_{1}) \end{bmatrix} \xrightarrow{n \to \infty} \begin{bmatrix} \ell\\ 1\\ 1 + (-q)^{-\epsilon}\ell \end{bmatrix}. \end{align*} $$

The rest of the proof follows inductively by transitivity of the $B_{3}$ -action on $\mathbb {S}$ .

Proof. Consider any sequence in $\mathbb {O}_{q}$ with the form

$$ \begin{align*}(t_{n}\operatorname{\mathrm{occ}}_{q}(X_{n})+(1-t_{n})\overline{\hom}_{q}(X_{n}))_{n \in \mathbb{N}}.\end{align*} $$

Assuming that the sequence $(X_{n})_{n \in \mathbb {N}}$ contains infinitely many distinct elements of $\mathbb {S}$ , using elementary properties of limits of right q-deformed rational numbers, it can be shown that

$$ \begin{align*}\lim_{n \to \infty}\rho_{q}(\operatorname{\mathrm{occ}}_{q}(X_{n}))=\lim_{n \to \infty}\rho_{q}(\overline{\hom}_{q}(X_{n})).\end{align*} $$

However, by the proof of Proposition 5.9, there exists a sequence $(Y_{n})_{n \in \mathbb {N}} \in \mathbb {S}^{\mathbb {N}}$ such that

$$ \begin{align*}\lim_{n \to \infty}\operatorname{\mathrm{occ}}_{q}(Y_{n})=\lim_{n \to \infty}\overline{\hom}_{q}(X_{n}).\end{align*} $$

Thus,

$$ \begin{align*}\lim_{n \to \infty}\rho_{q}(\operatorname{\mathrm{occ}}_{q}(X_{n}))=\lim_{n \to \infty}\rho_{q}(\operatorname{\mathrm{occ}}_{q}(Y_{n})),\end{align*} $$

and so by Lemma 5.12,

$$ \begin{align*}\lim_{n \to \infty}\operatorname{\mathrm{occ}}_{q}(X_{n})=\lim_{n \to \infty}\operatorname{\mathrm{occ}}_{q}(Y_{n})=\lim_{n \to \infty}\overline{\hom}_{q}(X_{n}).\end{align*} $$

Thus, under the assumption that the sequence $(X_{n})_{n \in \mathbb {N}}$ contains infinitely many distinct elements of $\mathbb {S}^{\mathbb {N}}$ , we have

$$ \begin{align*}\lim_{n\to \infty}(t_{n}\operatorname{\mathrm{occ}}_{q}(X_{n})+(1-t_{n})\overline{\hom}_{q}(X_{n}))_{n \in \mathbb{N}}=\lim_{n \to \infty}\operatorname{\mathrm{occ}}_{q}(X_{n}).\end{align*} $$

The new points we have picked up by taking limits of $\operatorname {\mathrm {occ}}_{q}$ functionals are also nontrivial members of the closure $\overline {M}_{q}$ .

Proof. Consider any $p \in \overline {\mathbb {O}}_{q} \setminus \mathbb {O}_{q}$ and suppose we generate a contradiction that $p=m_{q}({\tau })$ for some ${\tau } \in \Lambda $ . There exists a sequence $(X_{k})_{k \in \mathbb {N}} \in \mathbb {S}^{\mathbb {N}}$ such that

$$ \begin{align*}\lim_{k \to \infty}\operatorname{\mathrm{occ}}_{q}(X_{k})=p.\end{align*} $$

Let $X_{k}={\beta }_{k}P_{1}$ , where ${\beta }_{k}$ is in strict continued form. Passing to a subsequence if necessary, we can assume for convenience that ${\beta }_{k}$ either has form (4.1) for all $k \in \mathbb {N}$ or form (4.2) for all $k \in \mathbb {N}$ , in the notation of Lemma 4.9 (we can rule out the cases (4.3) and (4.4), since in these cases the limit is trivial). Let’s assume that ${\beta }_{k}$ has form (4.1) for all $k \in \mathbb {N}$ . Then, by the proof of the first disjointness lemma (Lemma 5.10) we have that for all $k \in \mathbb {N}$ , $i \in \{1,2\}$ ,

(5.13) $$ \begin{align} \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}_{k}P_{12})=\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}_{k}P_{1})+\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}_{k}P_{2}), \end{align} $$

and either

(5.14) $$ \begin{align} \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}_{k}P_{21})=\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}_{k}P_{2})-q\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}_{k}P_{1}) \end{align} $$

or

(5.15) $$ \begin{align} \operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}_{k}P_{21})=\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}_{k}P_{1})-q^{-1}\operatorname{\mathrm{occ}}_{q}(P_{1}, {\beta}^{-1}_{k}P_{2}). \end{align} $$

Pass to a subsequence so that we have Eq. (5.14) for all $k \in \mathbb {N}$ or Eq. (5.15) for all $k \in \mathbb {N}$ . Taking the limit, we get that

$$ \begin{align*} m_{q,{\tau}}(P_{12})=m_{q,{\tau}}(P_{1})+m_{q,{\tau}}(P_{2}), \end{align*} $$

and either

$$ \begin{align*} m_{q,{\tau}}(P_{2})=m_{q,{\tau}}(P_{21})+qm_{q,{\tau}}(P_{1}) \end{align*} $$

or

$$ \begin{align*} m_{q,{\tau}}(P_{1})=q^{-1}m_{q,{\tau}}(P_{2})+m_{q,{\tau}}(P_{21}). \end{align*} $$

As in the proof of the disjointness lemma part 1, this implies a contradiction.

5.5 Classification of the compactification of $\mathcal {C}_{2}$

The main theorem of this section is that we have now given a full description of the closure.

Theorem 5.15. We have an equality

$$ \begin{align*}\overline{M}_{q} =M_{q} \sqcup \overline{\mathbb{O}}_{q}\end{align*} $$

in $\mathbb {P}^{\mathbb {S}}(\mathbb {R})$ .

We have a homeomorphism $\rho _{q}:\overline {\mathbb {O}}_{q} \to \mathbb {Q}_{q} \cup \mathbb {I}_{q}$ . So, this theorem implies that $\partial \overline {M}_{q}=\overline {\mathbb {O}}_{q} \cong \mathbb {R}\cup \{\infty \}$ . That is, the boundary of the q-deformed Thurston compactification of $\operatorname {\mathrm {Stab}}(\mathcal {C}_{2})$ is homeomorphic to a circle (see Part 3 of Proposition 2.14).