No Arabic abstract
We develop further the theory of $q$-deformations of real numbers introduced by Morier-Genoud and Ovsienko, and focus in particular on the class of real quadratic irrationals. Our key tool is a $q$-deformation of the modular group $PSL_q(2,mathbb{Z})$. The action of the modular group by Mobius transformations commutes with the $q$-deformations. We prove that the traces of the elements of $PSL_q(2,mathbb{Z})$ are palindromic polynomials with positive coefficients. These traces appear in the explicit expressions of the $q$-deformed quadratic irrationals.
It was discovered some years ago that there exist non-integer real numbers $q>1$ for which only one sequence $(c_i)$ of integers $c_i in [0,q)$ satisfies the equality $sum_{i=1}^infty c_iq^{-i}=1$. The set of such univoque numbers has a rich topological structure, and its study revealed a number of unexpected connections with measure theory, fractals, ergodic theory and Diophantine approximation. In this paper we consider for each fixed $q>1$ the set $mathcal{U}_q$ of real numbers $x$ having a unique representation of the form $sum_{i=1}^infty c_iq^{-i}=x$ with integers $c_i$ belonging to $[0,q)$. We carry out a detailed topological study of these sets. For instance, we characterize their closures, and we determine those bases $q$ for which $mathcal{U}_q$ is closed or even a Cantor set. We also study the set $mathcal{U}_q$ consisting of all sequences $(c_i)$ of integers $c_i in [0,q)$ such that $sum_{i=1}^{infty} c_i q^{-i} in mathcal{U}_q$. We determine the numbers $r >1$ for which the map $q mapsto mathcal{U}_q$ (defined on $(1, infty)$) is constant in a neighborhood of $r$ and the numbers $q >1$ for which $mathcal{U}_q$ is a subshift or a subshift of finite type.
Let $E_n$ be the $n$-th Euler number and $(a)_n=a(a+1)cdots (a+n-1)$ the rising factorial. Let $p>3$ be a prime. In 2012, Sun proved the that $$ sum^{(p-1)/2}_{k=0}(-1)^k(4k+1)frac{(frac{1}{2})_k^3}{k!^3} equiv p(-1)^{(p-1)/2}+p^3E_{p-3} pmod{p^4}, $$ which is a refinement of a famous supercongruence of Van Hamme. In 2016, Chen, Xie, and He established the following result: $$ sum_{k=0}^{p-1}(-1)^k (3k+1)frac{(frac{1}{2})_k^3}{k!^3} 2^{3k} equiv p(-1)^{(p-1)/2}+p^3E_{p-3} pmod{p^4}, $$ which was originally conjectured by Sun. In this paper we give $q$-analogues of the above two supercongruences by employing the $q$-WZ method. As a conclusion, we provide a $q$-analogue of the following supercongruence of Sun: $$ sum_{k=0}^{(p-1)/2}frac{(frac{1}{2})_k^2}{k!^2} equiv (-1)^{(p-1)/2}+p^2 E_{p-3} pmod{p^3}. $$
Ramanujan studied the analytic properties of many $q$-hypergeometric series. Of those, mock theta functions have been particularly intriguing, and by work of Zwegers, we now know how these curious $q$-series fit into the theory of automorphic forms. The analytic theory of partial theta functions however, which have $q$-expansions resembling modular theta functions, is not well understood. Here we consider families of $q$-hypergeometric series which converge in two disjoint domains. In one domain, we show that these series are often equal to one another, and define mock theta functions, including the classical mock theta functions of Ramanujan, as well as certain combinatorial generating functions, as special cases. In the other domain, we prove that these series are typically not equal to one another, but instead are related by partial theta functions.
We explain the notion of $q$-deformed real numbers introduced in our previous work and overview their main properties. We will also introduce $q$-deformed Conway-Coxeter friezes.
We give an explicit construct of a harmonic weak Maass form $F_{Theta}$ that is a lift of $Theta^3$, where $Theta$ is the classical Jacobi theta function. Just as the Fourier coefficients of $Theta^3$ are related to class numbers of imaginary quadratic fields, the Fourier coefficients of the holomorphic part of $F_{Theta}$ are associated to class numbers of real quadratic fields.