Open Research Index

Chevalley-Herbrand formulas and Zp -extensions of a p-principal imaginary quadratic field

Georges Gras

arXivarxiv/2607.09258Jul 10, 2026math.NTscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.09258
curl -X POST /api/v1/records/arxiv/2607.09258/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.09258/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'