Real Quadratic Fields

• Real quadratic fields are number fields of the form Q(√d) with d > 1 squarefree, featuring two real embeddings and a structured set of arithmetic invariants.
• They are central in studies of universal quadratic forms, where phenomena like non-representability and variable bounds challenge classical theorems.
• They connect lattice theory with explicit class field constructions, influencing research on regulators, class groups, and well-rounded ideal lattices.

A real quadratic field is a number field of the form $K = \mathbb{Q}(\sqrt{d})$ where $d > 1$ is a squarefree integer. These fields are the simplest nontrivial examples of totally real number fields and play a central role in algebraic number theory, lattice theory, and arithmetic geometry. The arithmetic of real quadratic fields interweaves the structure of their rings of integers, unit groups, class groups, quadratic forms, and their analytic and geometric invariants. Deep questions related to universality in quadratic forms, explicit class field theory, and the distribution of field invariants are concentrated in this classical arithmetic setting.

1. Fundamental Structure and Invariants

Let $d > 1$ be squarefree. The real quadratic field $K = \mathbb{Q}(\sqrt{d})$ has ring of integers $\mathcal{O}_K = \mathbb{Z}[(1+\sqrt{d})/2]$ when $d \equiv 1 \pmod{4}$, and $\mathcal{O}_K = \mathbb{Z}[\sqrt{d}]$ otherwise. The field has two real embeddings, $\sigma_1(\sqrt{d}) = +\sqrt{d}$ and $\sigma_2(\sqrt{d}) = -\sqrt{d}$, and its discriminant is $D = d$ or $D = 4d$ accordingly.

Basic invariants include:

• Unit group: By Dirichlet's unit theorem, $$\mathcal{O}_K^\times = \{\pm \varepsilon^k : k \in \mathbb{Z}\}$$, where $\varepsilon > 1$ is the fundamental unit.
• Class group: Measures the failure of unique factorization; $h_K = 1$ iff $\mathcal{O}_K$ is a unique factorization domain.
• Regulator: $R_K = \log \varepsilon$, controlling the volume of the unit lattice in the Minkowski embedding.

For almost all $d$ arising from quadratic integers of fixed norm $\mu \ne 0, \pm 1$, the regulator satisfies $\log \varepsilon_d \gg (\log d)^2$, reflecting a rapid growth rate except in thin exceptional sets (Park, 2012).

Table: Structural Features of Real Quadratic Fields

Invariant	Description	Formula / Criterion
Ring of integers	$\mathcal{O}_K$	$\mathbb{Z}[(1+\sqrt{d})/2]$ or $\mathbb{Z}[\sqrt{d}]$
Fundamental unit	Generator of units	$\varepsilon > 1$: $\mathcal{O}_K^\times = \{\pm \varepsilon^k\}$
Class group	Ideal class structure	$h_K$: unique factorization iff $h_K = 1$
Regulator	Logarithm of fundamental unit	$R_K = \log \varepsilon$
Discriminant	$D$	$d$ ($d \equiv 1 \pmod{4}$); $4d$ otherwise

2. Quadratic Forms and Universality

A quadratic form over $\mathcal{O}_K$ is a function $f(x_1, ..., x_M) = \sum_{i,j=1}^M a_{ij} x_i x_j$ where $a_{ij} = a_{ji} \in \mathcal{O}_K$. The form is totally positive definite if, for each nonzero $x \in K^M$, its images under all real embeddings are positive. Universality means $f$ represents every totally positive element $\alpha \in \mathcal{O}_K$; i.e., there exists $x \in \mathcal{O}_K^M$ such that $f(x) = \alpha$.

Significant results include:

• For every $M \geq 1$, there exist infinitely many real quadratic fields which admit no universal $M$-ary quadratic form over their ring of integers (Kala, 2015).
• The essential obstruction is the existence of "small" norm, totally positive elements which cannot be represented, often constructed via the convergents of $\sqrt{d}$ in its continued fraction expansion.
• The minimal number of variables required for universality grows unboundedly with $d$: there is no analog of the finite 15- or 290-theorem for real quadratic fields.

The case of the sum of four squares is exceptional: only $\mathbb{Q}(\sqrt{5})$ admits a universal quaternary form $x_1^2 + x_2^2 + x_3^2 + x_4^2$; in all other real quadratic fields, there exist totally positive elements which are not representable by this form (Thompson, 2016).

A complete classification of real quadratic fields with universal ternary (three-variable) quadratic lattices shows that only the fields with $d \in \{2,3,5,6,7,10,13,17,21,33,41,65,77\}$ admit such forms, thus confirming the strong form of Kitaoka's conjecture in degree $2$ (Kala et al., 31 Jan 2025).

3. Lattices, Well-Roundedness, and Ideal Theory

Every (fractional) ideal $I \subset K$ yields a full-rank lattice $\Lambda(I) \subset \mathbb{R}^2$ under the canonical embedding map $\sigma : K \to \mathbb{R}^2$. This lattice-theoretic perspective connects ideal theory, quadratic forms, and the geometry of numbers.

• Well-rounded (WR) ideals: An ideal lattice $\Lambda(I)$ is well-rounded if its set of minimal vectors spans $\mathbb{R}^2$. Criteria for the existence of WR ideals in real quadratic fields are due to Srinivasan and refined by Smith–Tran (Smith et al., 25 Aug 2025). The existence is equivalent to finding a principal ideal with canonical shape parameters and occurs for infinitely many real quadratic fields. Moreover, there are infinitely many real quadratic fields with principal WR ideals of prime norm.
• Twists and lattice similarity classes: Each ideal lattice admits "twists" by diagonal scaling, leading to a classification of lattices with good well-roundedness and sphere-packing properties. The algebraic criteria to enumerate all WR twists of $\Lambda(I)$ involve bounding the norm of certain elements and solving concrete Diophantine inequalities. Notably, some fields admit only the trivial (orthogonal) WR twist; these are characterized explicitly in terms of their discriminants (Damir et al., 2018).

4. Class Field Theory, Ray Class Fields, and Explicit Constructions

Class field theory for real quadratic fields, especially explicit generation of ray class fields, presents profound challenges:

• While the Kronecker–Weber theorem and the theory of complex multiplication fully describe the abelian extensions of $\mathbb{Q}$ and imaginary quadratic fields, for real quadratic fields no complete theory of "class field generation" by values of modular functions is known.
• Recent advances construct explicit unit generators for ray class fields over real quadratic fields via Symmetric Informationally Complete (SIC) measurements—originating from quantum information theory and the geometry of equiangular lines in complex spaces (Appleby et al., 2016). For numerous small discriminants, explicit SIC quantic structures yield real and complex ray class fields, supporting a conjectural general recipe for infinite towers of such fields.
• The SIC-based units display strong numerical evidence for matching the predictions of the (real-abelian case of the) Stark conjectures, relating derivatives of $L$-functions at $s=0$ to logarithms of units.

5. Analytic and Combinatorial Invariants: Regulators, Caliber Numbers, and Partition Statistics

The deeper arithmetic of real quadratic fields manifests in a variety of analytic and combinatorial invariants:

• Regulator lower bounds: For the majority of real quadratic fields arising from quadratic integers of fixed norm, the regulator grows at least quadratically in $\log d$ (Park, 2012). The structure of reduced ideals and their continued fraction expansions is fundamental.
• Caliber numbers: The caliber number $K(D)$, the count of reduced primitive binary quadratic forms of discriminant $D$, encodes both combinatorial group theory and dynamical properties of the Gauss map. Explicit lower bounds in terms of the distribution of splitting primes tie $K(D)$ to deeper arithmetic, and the small-caliber cases ($K(d) = 1$ or $2$) are completely classified for $d \not\equiv 5 \pmod{8}$ (Jun et al., 2011).
• Partition functions: The function $p_K(\alpha)$ counting the number of additive partitions of totally positive elements generalizes Euler partition theory to $\mathcal{O}_K$. Generating function and recurrence methods yield new phenomena (e.g., parity properties, dependence on field arithmetic) and a partial classification of "exceptional" partition counts for small values (Stern et al., 2023).

6. Class Groups, Iwasawa Theory, Mersenne Primes, and Field Extensions

Real quadratic fields serve as foundational examples in algebraic and analytic number theory:

• Iwasawa theory: The behavior of $p$-class groups in cyclotomic $\mathbb{Z}_p$-towers, especially for $p=3$, aligns with Greenberg's conjecture: the sizes of $3$-class groups in the towers above real quadratic fields remain bounded, as confirmed for discriminants up to $10^5$ (Mercuri et al., 2 Mar 2025).
• Mersenne primes: Extensions of the classical Mersenne prime construction to real quadratic fields—for example, in $\mathbb{Q}(\sqrt{2})$—exhibit new arithmetic structure. Certain Mersenne-like primes in $\mathbb{Q}(\sqrt{2})$ can be represented as $x^2 + 7y^2$ with congruence conditions on $x, y$, a phenomenon unique among the real quadratic class number $1$ fields (Palimar et al., 2012).
• Hilbert class fields and explicit octic extensions: For fields $k = \mathbb{Q}(\sqrt{2p})$ where $p \equiv 1 \pmod{8}$ and the narrow $2$-class number is $8$, explicit constructions of cyclic octic unramified Hilbert class field extensions are possible via solutions of certain Pell-type Diophantine equations (Lemmermeyer, 11 Oct 2025).

7. Special Families and Universality Phenomena

A range of universality phenomena and exceptional families structure the landscape of real quadratic fields:

• Universal quadratic forms and lattices: Only finitely many real quadratic fields possess universal ternary quadratic forms; only $\mathbb{Q}(\sqrt{5})$ satisfies universality for the sum of four squares. Explicit non-existence results are proved using continued fraction expansions with prescribed partial quotients and the obstructions arising from small-norm totally positive elements (Kala, 2015, Thompson, 2016).
• Explicit description of fields with special invariants: Fields with special properties such as principal well-rounded ideals, minimal caliber number, or minimal partition exceptional sets are classified within explicit arithmetic and combinatorial frameworks (Smith et al., 25 Aug 2025, Jun et al., 2011, Stern et al., 2023).
• Construction of infinite families: Many results provide constructive procedures—often via continued fractions, quadratic progressions, or elementary Diophantine conditions—for generating real quadratic fields with prescribed behaviors (e.g., large regulators, principal ideals of fixed norm, or families with infinitely many non-isomorphic WR ideals).

The interplay of analytic estimates, explicit computational algorithms, continued fraction expansions, and lattice-theoretic invariants underpins the arithmetic, algebraic, and geometric study of real quadratic fields, situating them as a central object in contemporary number theory.