arXiv++ Combinatorics

Recently, Morier-Genoud and Ovsienko introduced the $q$-deformed modular group. For construction, they first gave a group $G_q \subset \operatorname{GL}(2, {\mathbb Z}[q^{\pm}])$ and then set $\operatorname{PSL}_q(2,{\mathbb Z}):=G_q/Z(G_q)$. We show that for $ζ\in {\mathbb C}^*$, $\operatorname{PSL}_q(2,{\mathbb Z})|_{q=ζ}$ is finite, if and only if so is $G_q(ζ):=G_q|_{q=ζ} \subset \operatorname{GL}(2,{\mathbb C})$, if and only if $ζ=ζ_n$ for $n=2,3,4,5$, where $ζ_n$ is a primitive $n$-th root of unity. Moreover, $G_q(ζ_n) \cap \operatorname{SL}(2,\mathbb{C})$ is isomorphic to the binary tetrahedral group (resp. the binary icosahedral group), if $n=3,4$ (resp. $n=5$). When $n=6$, the groups are infinite, but still "mild". We also give several applications (e.g., the special values of the normalized Jones polynomials of rational links).

The (right) $q$-deformed rational numbers was introduced by Morier-Genoud and Ovsienko, and its left variant, whose numerators and denominators are essentially the normalized Jones polynomials of rational links, by Bapat, Becker and Licata. These notions are based on continued fractions and the $q$-deformed modular group $\operatorname{PSL}_q(2,\mathbb{Z})$-actions. In this paper, we introduce the \textit{$q$-transpose} for matrices in $\operatorname{PSL}_q(2,\mathbb{Z})$ to refine the basic perspective of the theory. For example, we present a new proof and a refinement of a theorem of Leclere and Morier-Genoud stating that the trace of $A \in \operatorname{PSL}(2,\mathbb{Z})$ is always palindromic and sign coherent. We also show arithmetic/combinatorial results on left $q$-deformed rationals (e.g., the criterion for their palindromicity). Finally, we discuss the connection to the conjecture of Kantarcı Oğuz on circular fence posets.

Recently, Morier-Genoud and Ovsienko introduced a $q$-deformation of rational numbers. More precisely, for an irreducible fraction $\frac{r}s>0$, they constructed coprime polynomials $\mathcal{R}_{\frac{r}s}(q),~ \mathcal{S}_{\frac{r}s}(q) \in {\mathbb Z}[q]$ with $\mathcal{R}_{\frac{r}s}(1)=r,~\mathcal{S}_{\frac{r}s}(1)=s$. Their theory has a rich background and many applications. By definition, if $r \equiv r' \pmod{s}$, then $\mathcal{S}_{\frac{r}s}(q)=\mathcal{S}_{\frac{r'}s}(q)$. We show that $rr'{\equiv} -1 \pmod{s}$ implies $\mathcal{S}_{\frac{r}s}(q)=\mathcal{S}_{\frac{r'}s}(q)$, and it is conjectured that the converse holds if $s$ is prime (and $r \not \equiv r' \pmod{s}$). We also show that $s$ is a multiple of 3 (resp. 4) if and only if $\mathcal{S}_{\frac{r}s}(ζ)=0$ for $ζ=(-1+\sqrt{-3})/2$ (resp. $ζ=i$). We give applications to the representation theory of quivers of type $A$ and the Jones polynomials of rational links.

The left and right $q$-deformed rational numbers were introduced by Bapat, Becker and Licata via regular continued fractions, and they gave a homological interpretation for left and right $q$-deformed rational numbers. In the present paper, we focus on negative continued fractions and defined left $q$-deformed negative continued fractions. We give a formula for computing the $q$-deformed Farey sum of the left $q$-deformed rational numbers based on it. We use this formula to give a combinatorial proof of the relationship between the left $q$-deformed rational number and the Jones polynomial of the corresponding rational knot which was proved by Bapat, Becker and Licata using a homological technique. Finally, we combine their work and the $q$-deformed Farey sum, and give a homological interpretation of the $q$-deformed Farey sum. We also give an approach to finding a relationship between real quadratic irrational numbers and homological algebra.

The q-rational numbers and the q-irrational numbers are introduced by S. Morier-Genoud and V. Ovsienko. In this paper, we focus on q-real quadratic irrational numbers, especially q-metallic numbers and q-rational sequences which converge to q-metallic numbers, and consider the radiuses of convergence of them when we assume that q is a complex number. We construct two sequences given by recurrence formula as a generalization of the q-deformation of Fibonacci numbers and Pell numbers which are introduced by S. Morier-Genoud and V. Ovsienko. We give an estimation of radiuses of convergence of them, and we solve on conjecture of the lower bound expected which is introduced by L. Leclere, S. Morier-Genoud, V. Ovsienko, and A. Veselov for the metallic numbers and its convergence rational sequence. In addition, we obtain a relationship between the radius of convergence of the [n,n,...,n,...]_q and [n,n,...,n]_q in the case of n=3 and n=4.