Unit-generated orders of real quadratic fields I. Class number bounds

TL;DR

This paper investigates the class number bounds of unit-generated orders in real quadratic fields, showing finiteness results and classifying orders with class number one, supported by extensive numerical data.

Contribution

It establishes asymptotic class number bounds for unit-generated orders and classifies all such orders with class number one, providing extensive numerical lists up to large discriminants.

Findings

Class numbers grow logarithmically with discriminant size.

Finitely many unit-generated orders have class number one.

Numerical lists of orders with 2-torsion class groups are provided up to discriminant 10^10.

Abstract

Unit-generated orders of a quadratic field are orders of the form $\mathcal{O} = \mathbb{Z}[\varepsilon]$, where $\varepsilon$ is a unit in the quadratic field. If the order $\mathcal{O}$ is a maximal order of a real quadratic field, then the quadratic number field is necessarily of a restricted form, being of narrow Richaud--Degert type. However, every real quadratic field contains infinitely many distinct unit-generated orders. They are parametrized as $\mathcal{O} = \mathcal{O}_{n}^{\pm}$ having quadratic discriminants $\Delta(\mathcal{O}) = \Delta_{n}^{+} = n^2 - 4$ (for $n \geq 3$) and $\Delta(\mathcal{O}) = \Delta_{n}^{-} = n^2 + 4$ (for $n \geq 1$). We show the (wide or narrow) class numbers of unit-generated orders satisfy $\log \left|{\rm Cl}(\mathcal{O})\right| \sim \log \frac{1}{2}\left|\Delta(\mathcal{O})\right|$ as $\left|\Delta(\mathcal{O})\right| \to \infty$, using a result of L.-K. Hua. We deduce that there are finitely many unit-generated quadratic orders of class number one and finitely many unit-generated quadratic orders whose class group is $2$-torsion. We classify all unit-generated real quadratic orders having class number one. We provide numerical lists of quadratic unit-generated orders whose class groups are $2$-torsion for $\Delta \leq 10^{10}$, for both wide and narrow class groups. These lists are conjecturally complete for all $\Delta$.