English

Simplest cubic fields with small class number

Number Theory 2026-04-07 v2

Abstract

Let mZm\in\mathbb{Z} be an integer and Lm=Q(α)L_m=\mathbb{Q}(\alpha) be the simplest cubic field with class number hmh_m and conductor fm\mathfrak{f}_m where α\alpha is a root of fm(X)=X3mX2(m+3)X1f_m(X)=X^3-mX^2-(m+3)X-1. Let OLm\mathcal{O}_{L_m} be the ring of integers of LmL_m. By using PARI/GP, we confirm that if [OLm:Z[α]]=1[\mathcal{O}_{L_m}:\mathbb{Z}[\alpha]]=1 ((resp. 33, 2727)), i.e. m2+3m+9=fmm^2+3m+9=\mathfrak{f}_m ((resp. 3fm3\mathfrak{f}_m, 27fm27\mathfrak{f}_m)), then there exist exactly 581581 (resp. 8080, 142142) integers m1m\geq -1 such that hm1000h_m\leq 1000. We also show that if 1m107-1\leq m\leq 10^7, then hm<16h_m<16 holds for 138=26+31+11+10+36+21+3138=26+31+11+10+36+21+3 integers mm. More precisely, there exist 2626 ((resp. 3131, 1111, 1010, 3636, 2121, 33)) integers mm with 1m107-1\leq m\leq 10^7 such that hm=1h_m=1 ((resp. 33, 44, 77, 99, 1212, 1313)) which are given explicitly.

Keywords

Cite

@article{arxiv.2603.18802,
  title  = {Simplest cubic fields with small class number},
  author = {Akinari Hoshi and Hiroaki Iida},
  journal= {arXiv preprint arXiv:2603.18802},
  year   = {2026}
}

Comments

23 pages. We would like to thank Stephane Louboutin for helpful explanations concerning Theorem 1.8 which improved the proof of Theorem 1.13. For Theorem 1.14, the result is also improved as integers m up to 10^7 instead of 4x10^6. Only one additional case was found as in Table 3

R2 v1 2026-07-01T11:27:55.733Z