The modular group and words in its two generators

Abstract

Consider the full modular group ${\mathsf{PSL}}_2(\mathbb{Z})$ with presentation $⟨U,S|U^3,S^2⟩$. Motivated by our investigations on quasi-modular forms and the Minkowski question mark function (so that this paper might be considered as a necessary appendix), we are lead to the following natural question. Some words in the alphabet $\{U,S\}$ are equal to the unity; for example, $US{U}^{3}S{U}^2$ is such a word of length $8$, and $US{U}^{3}SUS{U}^3{S}^{3}U$ is such a word of length $15$. Given $n\in {\mathbb{N}}_0$. Find the number of words of length $n$ which are equal to the unity. This is the new entry A265434 into the Online Encyclopedia of Integer Sequences. We investigate the generating function of this sequence and prove that it is an algebraic function over $\mathbb{Q}(x)$ of degree $3$. As an aside, we formulate the problem of describing all algebraic functions with a Fermat property.

13 pages, 1 figure. Final version before proofs. A subsection on algebraic functions with a Fermat property was expanded

References in corpus (1)

• The Minkowski $?(x)$ function, a class of singular measures, quasi-modular and mean-modular forms. I

Cited by in corpus (2)

• Algebraic functions with Fermat property, eigenvalues of transfer operator and Riemann zeros, and other open problems
• Cogrowth Series for Free Products of Finite Groups