---
title: Eisenstein Discriminants in Quadratic & Cubic Fields
url: https://www.emergentmind.com/topics/eisenstein-discriminants
type: topic
---

# Eisenstein Discriminants in Quadratic & Cubic Fields

Searching arXiv for recent papers on “Eisenstein discriminants” and closely related usages.
In "Quadratic units and cubic fields" [2507.06579], an **Eisenstein discriminant** is a squarefree integer \(d\equiv 5 \pmod 8\) such that the fundamental unit \(\varepsilon_d\) of the real quadratic field \(K=\mathbb{Q}(\sqrt d)\) satisfies \(\varepsilon_d \equiv 1 \pmod{2\mathcal O_K}\). This condition belongs to a classical question of Eisenstein and was later sharpened and reframed by Stevenhagen. It links a unit congruence in a real quadratic field to a Pell-type obstruction, to the class groups of the maximal order and the order of conductor \(2\), and to the existence and multiplicity of real cubic fields of discriminant \(4d\). The same phrase can be misleading outside this context, because other literature uses “Eisenstein” and “discriminant” in different, non-equivalent senses.

## 1. Definition and ambient quadratic setting

Let
\[
K=\mathbb{Q}(\sqrt d), \qquad \mathcal O_K=\mathbb{Z}\!\left[\frac{1+\sqrt d}{2}\right],
\]
with \(d\) squarefree and \(d\equiv 5 \pmod 8\). Because \(d\equiv 5 \pmod 8\), the prime \(2\) is inert in \(K/\mathbb{Q}\). The paper defines an Eisenstein discriminant to be such a \(d\) for which the fundamental unit \(\varepsilon_d\in \mathcal O_K^\times\) satisfies
\[
\varepsilon_d \equiv 1 \pmod{2\mathcal O_K}.
\]
Equivalently, the fundamental unit lands in the trivial residue class in the quotient \((\mathcal O_K/2\mathcal O_K)^\times\), which is a cyclic group of order \(3\) [2507.06579].

The associated counting problem is formulated for
\[
D=\{d>0 : d\equiv 5 \!\!\pmod 8,\ d \text{ squarefree}\},
\qquad
E=\{d\in D : \varepsilon_d\equiv 1 \!\!\pmod{2\mathcal O_K}\}.
\]
Stevenhagen’s conjecture predicts density \(1/3\), reflecting the heuristic that the fundamental unit should be equidistributed among the three nonzero residue classes of \(\mathcal O_K/2\mathcal O_K\). Since
\[
\pi_D(x)=\frac{1}{\pi^2}x+O(x^{1/2+\varepsilon}),
\]
the conjecture says that asymptotically one-third of all \(d\in D\) are Eisenstein [2507.06579].

## 2. Equivalent formulations and class-group structure

For squarefree \(d\equiv 5\pmod 8\), the paper records a package of equivalent classical conditions attributed to Stevenhagen. They show that the defining congruence is simultaneously a unit condition, a Pell-type condition, and a class-number relation.

| Condition | Equivalent formulation |
|---|---|
| Unit congruence | \(\varepsilon_d \equiv 1 \pmod{2\mathcal O_K}\) |
| Pell-type condition | \(x^2-dy^2=4\) has no solution in odd integers \(x,y\) |
| Unit-index condition | \(\mathcal O^\times=\mathcal O_K^\times\) for \(\mathcal O=\mathbb Z[\sqrt d]\) |
| Class-number relation | \(\#\mathrm{Cl}(\mathcal O)=3\,\#\mathrm{Cl}(\mathcal O_K)\) |

These equivalences identify the order
\[
\mathcal O=\mathbb Z[\sqrt d]
\]
of conductor \(2\) as the natural nonmaximal order attached to the problem. The paper further isolates an exact sequence
\[
1 \longrightarrow H_d \longrightarrow \mathrm{Cl}(\mathcal O)\longrightarrow \mathrm{Cl}(\mathcal O_K)\longrightarrow 1,
\]
where
\[
H_d \cong
\begin{cases}
\mathbb Z/3\mathbb Z & \text{if } \varepsilon_d\equiv 1 \pmod{2\mathcal O_K},\\
1 & \text{otherwise}.
\end{cases}
\]
Thus, for Eisenstein discriminants, the class group of the nonmaximal order \(\mathcal O\) is exactly three times as large as that of the maximal order. The paper treats the splitting or failure of splitting of this extension as arithmetic data of independent significance [2507.06579].

## 3. Link with real cubic fields

The strongest structural bridge in the paper is the connection with real cubic fields. Stevenhagen’s proposition, quoted there, states that if \(d\in D\) and there exists a real cubic field of discriminant \(4d\), then \(d\in E\). Conversely, if \(d\in E\), then
\[
4d \text{ is the discriminant of a real cubic field}
\quad\Longleftrightarrow\quad
1\to H_d\to \mathrm{Cl}(\mathcal O)\to \mathrm{Cl}(\mathcal O_K)\to 1 \text{ splits.}
\]
In that case there are
\[
h^*(d)=\#\mathrm{Cl}(\mathcal O_K)[3]
\]
non-isomorphic cubic fields of discriminant \(4d\) [2507.06579].

This places Eisenstein discriminants at the interface of quadratic and cubic arithmetic. They are exactly the quadratic discriminants that can support real cubic fields of discriminant \(4d\) once the extension splits, and the multiplicity of such cubic fields is governed by the \(3\)-torsion of the quadratic class group. The paper therefore compares the counting function for Eisenstein discriminants with
\[
\pi_c(x)=\sum_{d\in D,\ d\le x} m(4d),
\]
where \(m(4d)\) is the number of non-isomorphic cubic fields of discriminant \(4d\).

The quoted asymptotic for cubic fields is
\[
\pi_c(x)=\frac{1}{3\pi^2}x + C_{5/6}x^{5/6}+O(x^{2/3+\varepsilon}),
\qquad
C_{5/6}\approx -0.03761.
\]
A related asymptotic for the average of \((h^*(d)-1)/2\) is
\[
\sum_{d\in D,\ d\le x}\frac{h^*(d)-1}{2}
=
\frac{1}{6\pi^2}x+C^*_{5/6}x^{5/6}+O(x^{2/3+\varepsilon}),
\qquad
C^*_{5/6}\approx -0.0386.
\]
These formulas are used in the paper to compare Eisenstein discriminants with cubic fields and to derive improved unconditional upper and lower bounds for \(\pi_E(x)\) [2507.06579].

## 4. Counting, conjectural density, and secondary terms

The central asymptotic conjecture is
\[
\pi_E(x)\sim \frac{1}{3\pi^2}x.
\]
The numerical computations in the paper extend to \(10^{11}\) and lead to the empirical fit
\[
\pi_E(x)\approx \frac{1}{3\pi^2}x - 0.024\,x^{5/6}.
\]
The data therefore support Stevenhagen’s linear term while exhibiting a noticeable secondary term of size \(x^{5/6}\) with coefficient about \(-0.024\) [2507.06579].

The comparison with cubic fields is explicit. Defining
\[
\Delta(x)=\pi_E(x)-\pi_c(x),
\]
the paper obtains
\[
\Delta(x)\approx (-0.024-C_{5/6})x^{5/6}\approx 0.013\,x^{5/6}.
\]
Accordingly, \(\Delta(x)\) does not look like a centered random walk with fluctuations of square-root type; rather, the observed discrepancy has persistent \(x^{5/6}\)-scale bias. The paper interprets this as evidence that Eisenstein discriminants and cubic-field counts have the same main term but different secondary terms, arising from different mechanisms [2507.06579].

The proposed heuristic explanation concerns splitting of the exact sequence above. For \(d\in E\), if the sequence splits then there are \(h^*(d)\) cubic fields of discriminant \(4d\), and the authors propose the heuristic
\[
\mathrm{Prob}(\text{sequence splits})=\frac{1}{h^*(d)}.
\]
If this were exact, one might expect \(\Delta(x)\) to behave like an unbiased random walk. The data instead show systematic drift, which the paper interprets as a subtle bias in splitting probabilities, visible even after conditioning on \(h^*(d)\).

The prime case displays the same pattern. For primes \(p\equiv 5\pmod 8\), the paper finds numerically
\[
\pi_{E\cap P}(x)\approx \frac{1}{12}\pi(x)-0.037\int_2^x \frac{dt}{t^{1/6}\log t},
\]
again suggesting a leading density \(1/3\) conditional on \(p\in D\), but with a secondary correction of order \(p^{-1/6}\) [2507.06579].

## 5. Computational method

The computational problem is to test, for every squarefree \(d\le 10^{11}\) with \(d\equiv 5\pmod 8\), whether
\[
\varepsilon_d\equiv 1 \pmod{2\mathcal O_K}.
\]
Rather than compute the full fundamental unit, the paper modifies Shanks’s infrastructure method so that all computations are tracked modulo \(2\mathcal O_K\). The computation proceeds in the reduced-ideal cycle, reducing each generator modulo \(2\mathcal O_K\) at each step [2507.06579].

The crucial simplification is
\[
\mathcal O_K/2\mathcal O_K \cong \mathbb F_4,
\qquad
(\mathcal O_K/2\mathcal O_K)^\times\cong \mathbb F_4^\times\cong \mathbb Z/3\mathbb Z,
\]
so the entire computation can be encoded in \(\mathbb Z/3\mathbb Z\). The output is \(0\in \mathbb Z_3\) exactly when \(\varepsilon_d\in 1+2\mathcal O_K\).

The infrastructure procedure uses baby steps and giant steps, but only residue classes of generators modulo \(2\mathcal O_K\) are required. For the baby-step list, the paper stores tuples \((Q,P,\theta)\) and attaches a Bloom filter to the \((Q,P)\)-pairs. The Bloom filter quickly rules out most nonmatches and never produces false negatives, which is presented as efficient under GPU memory constraints.

For giant steps, the implementation uses GPU versions of NUCOMP and NUDUPL, together with a selection routine called NUCOMPchoose that decides whether to use NUCOMP, NUDUPL, or direct ideal multiplication. Since small norms can cause overflow or inefficiency in NUCOMP or NUDUPL, the code falls back to direct product when a norm is \(\le 50\). The implementation is written in C and driven through PyOpenCL, with each GPU kernel handling a separate \(d\). The paper reports using an Intel Core i5-1235U CPU and Intel Iris Xe GPU, and notes that the code is publicly available on GitHub [2507.06579].

## 6. Terminology, scope, and adjacent meanings

The expression **Eisenstein discriminant** is not uniform across the literature. In the real-quadratic sense above, it refers to the special family \(d\equiv 5\pmod 8\) characterized by the congruence \(\varepsilon_d\equiv 1 \pmod{2\mathcal O_K}\). By contrast, "Eisenstein integers and equilateral ideal triangles" uses “the discriminant \(-3\)” to describe the congruence obstruction attached to the quadratic form
\[
a^2-ab+b^2,
\]
the norm form on \(\mathbb Z[\omega]\). In that setting, the relevant statement is that a prime \(p\) is represented by
\[
a^2-ab+b^2=p
\]
if and only if \(p=3\) or \(p\equiv 1 \pmod 6\), and the paper explicitly identifies the governing discriminant as \(-3\) [2403.14375].

A second possible source of ambiguity is cyclotomic-field terminology. "Perfect Eisenstein integers" computes field discriminants such as
\[
\Delta_K = (-1)^{(p-1)/2}p^{p-2}
\quad\text{for }K=\mathbb Q(\zeta_p),
\qquad
\Delta_K=-4
\quad\text{for }K=\mathbb Q(i),
\]
in order to analyze ramification of the distinguished prime \(1-\zeta_p\). That paper states explicitly that it does **not** develop any special “Eisenstein discriminant” notion for \(\mathbb Z[\omega]\) itself [2208.06617].

These contrasts matter because they separate three distinct uses of closely related language: a unit-congruence condition in real quadratic fields, the discriminant \(-3\) attached to the Eisenstein norm form, and ordinary field discriminants in cyclotomic arithmetic. A common misconception is to identify them. The available papers instead indicate that only the first usage names a specific counting problem of the form studied in [2507.06579].

## 7. Conceptual significance

The arithmetic mechanism emphasized in the modern theory is unusually tight. An Eisenstein discriminant is defined by a congruence condition on a fundamental unit; the same condition is equivalent to a Pell-type non-solvability statement, to equality of unit groups between maximal and nonmaximal orders, and to a factor of \(3\) in the class-number relation
\[
\#\mathrm{Cl}(\mathcal O)=3\,\#\mathrm{Cl}(\mathcal O_K).
\]
It is further tied to an exact sequence whose splitting determines whether \(4d\) is the discriminant of a real cubic field, with multiplicity measured by \(\#\mathrm{Cl}(\mathcal O_K)[3]\) [2507.06579].

From the counting perspective, the family appears to have main term
\[
\frac{1}{3\pi^2}x
\]
and a secondary term of order \(x^{5/6}\). This suggests a close but non-identical relationship with the asymptotic theory of real cubic fields. A plausible implication is that Eisenstein discriminants are not merely a subfamily selected by a residue-class heuristic; they also encode finer splitting biases that survive after averaging over the associated cubic-field multiplicities.

In this sense, Eisenstein discriminants form a sharply defined arithmetic family in which quadratic units, nonmaximal orders, class-group extensions, and cubic fields are intertwined. The term is therefore most precise when reserved for the real-quadratic condition introduced above, rather than for the broader and unrelated appearances of “Eisenstein” and “discriminant” elsewhere in arithmetic geometry and the theory of Eisenstein integers.

Source: https://www.emergentmind.com/topics/eisenstein-discriminants