Solutions of $x_1^2+x_2^2-x_3^2=D$ with small $x_3$: a spectral approach

Abstract

We count the integral solutions of x_1^2+x_2^2-x_3^2=D weighted by Phi(x_3/M), for M smaller than sqrt(D). Such solutions correspond to binary quadratic forms of discriminant D, and the count becomes a sum, over the geodesics of discriminant D, of a function of their distance to the point i, which we evaluate by the spectral theory of automorphic forms. For square D=n^2 the geodesics run from cusp to cusp, and Hecke theory reduces them to a single geodesic. For every n and both parities of x_3 we obtain an asymptotic formula with error O(n^{1+theta+eps} M^{-1/2}), theta=7/64, using the Kim-Sarnak bound and the large sieve of Deshouillers and Iwaniec; it is non-trivial for M >= n^{71/96+eps}. This improves the range n^{5/6+eps} of the elementary method and confirms the corrected main term of the author's earlier work. For non-square D=f^2 D_0 the geodesics are closed, and a Hecke relation for their traces reduces everything to the fundamental discriminant D_0. For odd D_0 we obtain an error O(D^eps f^{1+theta} D_0^{2/3} M^{-1/2}), using the formulas of Duke-Imamoglu-Toth and Baruch-Mao together with Young's cubic moment. For D = 5 mod 8 this counts all solutions, and the range M >= D^{1/2-1/1332} of Friedlander and Iwaniec improves to M >= D^{4/9+eps}. This paper was written in collaboration with Claude (Opus 5.5, High), an AI model developed by Anthropic.