Breaking the 4 barrier for the bound of a generating set of the class group

Loïc Grenié, Giuseppe Molteni

Published 2022-12-19Version 1

Under the assumption of the validity of the Generalized Riemann Hypothesis, we prove that the class group of every field of degree $n$ and discriminant with absolute value $\Delta$ can be generated using prime ideals with norm $\leq (4-1/(2n))\log^2\Delta$, except for a finite number of fields of degree $n\leq 8$. For those fields, the conclusion holds with the slightly larger limit $(4-1/(3n))\log^2\Delta$.