{"id":"arxiv/2608.01999","url":"https://arxiv.org/abs/2608.01999","tags":["math.NT"],"score":0,"title":"The Local Four-Square Problem over \\(\\mathbb{Z}_{p^k}\\)","domain":"math.NT","source":"arxiv","authors":["Heikki Orelma"],"reviews":0,"subject":"math.NT","summary":"The norm map \\(N:\\mathcal{H}_{\\mathbb{Z}_{p^k}}\\to \\mathbb{Z}_{p^k}\\) is studied on the quaternion ring over \\(\\mathbb{Z}_{p^k}\\), where \\(p\\) is an odd prime and $k\\ge 1$ an integer. By means of the isomorphism \\(\\mathcal{H}_{\\mathbb{Z}_{p^k}}\\cong M_2(\\mathbb{Z}_{p^k})\\), quaternions are investigated using matrix methods. It is shown that the fibre size \\[ a_{p^k}(m)=|\\{q\\in \\mathcal{H}_{\\mathbb{Z}_{p^k}}:N(q)=m\\}| \\] depends only on the \\(p\\)-adic valuation \\(v_p(m)\\) of \\(m\\). Explicit formulas for the fibre sizes are derived for every \\(m\\in\\mathbb{Z}_{p^k}\\): \\[ a_{p^k}(m)=…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-03","reactions":{}}