Arithmetic structure of L2-norms of SL2(mathbbZ) matrices

Igor E. Shparlinski; Yixiu Xiao

In the authors' words

For a matrix $γ \inSL_{2} (Z)$ , we define \[ {\mathcal R}(\gamma)=a_1^2+a_2^2+a_3^2+a_4^2, \qquad where \ \gamma=\begin{pmatrix}a_1&a_2\\ a_3&a_4\end{pmatrix}, \] and let $S_{s q} (X)$ count the number of matrices $γ$ with $∥ γ ∥_{\infty} = max {∣ a_{1} ∣, ∣ a_{2} ∣, ∣ a_{3} ∣, ∣ a_{4} ∣} \leq X$ and such that $R (γ)$ is squarefree. We prove that \[ S_{sq}(X) = {\mathfrak S}_{\mathcal R}^{sq}N(X) +O(X^{19/10+o(1)}), \quad as\ X\to \infty, \] where $N (X) = # {γ \in S L_{2} (Z) : ∥ γ ∥_{\infty} \leq X}$ and $S_{R}^{s q}$ is an explicit positive Euler product of local $p^{2}$ -densities. The proof combines the $δ$ -method for small moduli with a sum-of-two-squares estimate for large square divisors. This complements a result of J. B. Friedlander and H. Iwaniec (2009) on prime values of $R (γ)$ , which, however, is conditional on a very strong form of the Elliott--Halberstam conjecture. We also show that $R (γ)$ is squarefree and has at most $9$ prime divisors for at least $c N (X) / lo g X$ matrices $γ \inSL_{2} (Z)$ with $∥ γ ∥_{\infty} \leq X$ , where $c > 0$ is an absolute constant.

Main resultThe abstract does not state a limitation.

Arithmetic structure of L2​-norms of SL2​(Z) matrices

In the authors' words

More on Algebra & number theory that day

Real quadratic fields and finite quantum dilogarithms I

Alt's Problem

On low-discrepancy sequences and Poissonian pair correlation

Super adaptable graphs and the realization problem

Projection Constants of Polynomial Spaces via Representation Theory

Arithmetic structure of $L_{2}$ -norms of $S L_{2} (Z)$ matrices