{"id":"arxiv/2607.09258","url":"https://arxiv.org/abs/2607.09258","tags":["math.NT"],"score":0,"title":"Chevalley-Herbrand formulas and Zp -extensions of a p-principal imaginary quadratic field","domain":"math.NT","source":"arxiv","authors":["Georges Gras"],"reviews":0,"subject":"math.NT","summary":"Let $k$ be an imaginary quadratic field and let $p \\ne 2$ be a prime number, split in $k$ into ${\\mathfrak p}{\\overline {\\mathfrak p}}$. We assume that the $p$-class group of $k$ is trivial. Let $δ\\geq 0$ be the ${\\mathfrak p}$-valuation of the ${\\overline {\\mathfrak p}}$-Fermat quotient of the fundamental ${\\mathfrak p}$-unit $x$ of $k$. Let $K/k$ be any bi-ramified ${\\mathbb{Z}}_p$-extension and let $p^e$ be the degree of the inertia field of ${\\mathfrak p}$, $\\overline {\\mathfrak p}$ being totally ramified. We prove that if $e \\geq δ$, then $λ(K/k) = 1$, $μ(K/k) = 0$; if $e<δ$ a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-10","reactions":{}}