English

Elementary local representation densities at all primes via lifting recursions

Number Theory 2026-02-25 v1

Abstract

Let pp be a prime and let LL be a quadratic Zp\mathbb{Z}_p-lattice with quadratic form QQ. For t0t\neq 0 the local representation density αp(t;L)\alpha_p(t;L) is the stable normalised growth of the congruence counts of solutions to Q(v)t(modpm)Q(v)\equiv t\pmod{p^m}. We compute these counts and densities explicitly for the hyperbolic plane H0H_0 over Zp\mathbb{Z}p, uniformly in pp, and at p=2p=2 for the basic dyadic blocks (rank-11 Type I blocks and the even binary planes 2aHε2^aH\varepsilon), together with the anisotropic ternary lattice L3=23L_3=\langle 2\rangle^{\oplus 3}. At the dyadic prime the usual Jacobian/Hensel lifting mechanism breaks down in the bilinear-lattice convention Q(v)=v,vQ(v)=\langle v,v\rangle. The main new input is an explicit half-lift involution for diagonal sums of squares, which yields a stable lifting recursion with factor 2d12^{d-1} under the primitivity hypothesis 4a4\nmid a. As applications we obtain closed forms for the three-squares congruence counts (hence α2(t;L3)\alpha_2(t;L_3)) and a prime-uniform formula for the densities of the scaled hyperbolic planes peH0p^eH_0 in the standard normalisation q=,/2q=\langle\cdot,\cdot\rangle/2.

Keywords

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

R2 v1 2026-07-01T10:50:18.821Z