English

Quadratic units and cubic fields

Number Theory 2025-09-16 v2

Abstract

We investigate Eisenstein discriminants, which are squarefree integers d5(mod8)d \equiv 5 \pmod{8} such that the fundamental unit εd\varepsilon_d of the real quadratic field K=Q(d)K=\mathbb{Q}(\sqrt{d}) satisfies εd1(mod2OK)\varepsilon_d \equiv 1 \pmod{2\mathcal{O}_K}. These discriminants are related to a classical question of Eisenstein and have connections to the class groups of orders in quadratic fields as well as to real cubic fields. We present numerical computations of Eisenstein discriminants up to 101110^{11}, suggesting that their counting function up to xx is approximated by πE(x)13π2x0.024x5/6\pi_{\mathcal{E}}(x) \approx \frac{1}{3\pi^2}x - 0.024x^{5/6}. This supports a conjecture of Stevenhagen while revealing a surprising secondary term, which is similar to (but subtly different from) the secondary term in the counting function of real cubic fields. We include technical details of our computation method, which uses a modified infrastructure approach implemented on GPUs.

Keywords

Cite

@article{arxiv.2507.06579,
  title  = {Quadratic units and cubic fields},
  author = {Florian Breuer and James Punch},
  journal= {arXiv preprint arXiv:2507.06579},
  year   = {2025}
}

Comments

12 pages; fixed typo in Theorem 2.8

R2 v1 2026-07-01T03:52:43.569Z