{"id":"arxiv/2605.13888","url":"https://arxiv.org/abs/2605.13888","tags":["math.NT"],"score":0,"title":"Local certification of residual squareclasses in $\\mathbb Q(\\sqrt{2},\\sqrt{pq},\\sqrt{ps})$: one-bit, affine, and finite-choice Hilbert-symbol frameworks","domain":"math.NT","source":"arxiv","authors":["Dang Vo Phuc"],"reviews":0,"subject":"math.NT","summary":"Recent works of El Hamam described explicit fundamental systems of units for several families of multiquadratic fields of degrees 8 and 16. In the degree-8 field $L^+ = \\mathbb{Q}(\\sqrt{2}, \\sqrt{pq}, \\sqrt{ps}),$ the corrected classification still leaves a residual binary indeterminacy: one must decide which of two explicitly constructed squareclasses gives the final unit generator. In this paper, we make this remaining bit explicit. First, we give an explicit local criterion deciding the parameter $μ\\in \\{1, ε_{pq}\\}$ left open in recent literature. The criterion is first expressed in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-12","reactions":{}}