Elementary local representation densities at all primes via lifting recursions
Abstract
Let be a prime and let be a quadratic -lattice with quadratic form . For the local representation density is the stable normalised growth of the congruence counts of solutions to . We compute these counts and densities explicitly for the hyperbolic plane over , uniformly in , and at for the basic dyadic blocks (rank- Type I blocks and the even binary planes ), together with the anisotropic ternary lattice . At the dyadic prime the usual Jacobian/Hensel lifting mechanism breaks down in the bilinear-lattice convention . The main new input is an explicit half-lift involution for diagonal sums of squares, which yields a stable lifting recursion with factor under the primitivity hypothesis . As applications we obtain closed forms for the three-squares congruence counts (hence ) and a prime-uniform formula for the densities of the scaled hyperbolic planes in the standard normalisation .
Cite
@article{arxiv.2602.21070,
title = {Elementary local representation densities at all primes via lifting recursions},
author = {Samuel Griffiths},
journal= {arXiv preprint arXiv:2602.21070},
year = {2026}
}
Comments
24 pages. Ancillary files include Lean 4 formalization and Python verification scripts