🔢 mathematics

The existence of infinitely many cubic fields with class group of exact 2-rank 1

The paper proves that there are infinitely many cubic fields whose class groups possess an exact 2-rank of 1.

Original authors: Manjul Bhargava, Arul Shankar, Artane Siad, Ashvin Swaminathan

Published 2026-02-09

📖 5 min read🧠 Deep dive

Original authors: Manjul Bhargava, Arul Shankar, Artane Siad, Ashvin Swaminathan

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a mathematician trying to understand the hidden "fingerprint" of a special kind of number system called a cubic field.

In the world of numbers, every field has a "class group." Think of this class group as a lockbox containing the field's secrets. Sometimes, this lockbox is empty (perfectly organized). Sometimes, it's a chaotic mess with infinite complexity. But often, it has a specific, measurable amount of "jiggle" or "wobble" inside it. Mathematicians call this wobble the 2-rank.

For a long time, mathematicians had a very strong hunch (a "heuristic") that these lockboxes come in all sizes: some with no wobble, some with a tiny bit, some with a medium amount, and so on, forever. They believed that for any specific size of wobble, there are infinitely many cubic fields that have exactly that amount.

However, proving this is incredibly hard. It's like trying to prove that there are infinitely many people with exactly 1.5 toes. You can't just count them; you have to find a way to guarantee they exist without checking every single person in the universe.

The Big Discovery

This paper, written by Manjul Bhargava and his team, solves a specific piece of this puzzle. They prove that there are infinitely many cubic fields where the "wobble" (the 2-rank) is exactly 1.

Before this paper, the only time anyone had proven this for a specific "exact" size was for a wobble of 0. Proving it for a wobble of 1 was a major hurdle.

How Did They Do It? (The Two Approaches)

The authors didn't just find one example; they found two different ways to prove the whole infinite family exists. You can think of these as two different detective strategies.

Strategy 1: The "Anomaly" Approach (The Odd One Out)

Imagine you have a huge crowd of people, and you expect them to behave in a certain average way. Most people have a height of 5'8". But then, you find a special, tiny subgroup of people who are all exactly 6 feet tall.

In math terms, the authors looked at a very specific, narrow family of cubic fields (called "unit-monogenised" fields).

The Expectation: Based on general rules, the "wobble" in these fields should be small and average out to a low number.
The Anomaly: They discovered that in this specific subgroup, the "wobble" is stubbornly high. It never drops below a certain level.
The Trick: They proved that while the average wobble is low, it's impossible for everyone to be low. Because the "floor" is so high, a significant chunk of this group must have exactly the right amount of wobble (rank 1) to balance the math.
The Analogy: It's like knowing a room has an average temperature of 70°F, but you also know the thermostat is broken and can't go below 65°F. You can mathematically prove that some people in the room must be wearing exactly one sweater (not zero, not two) to make the average work out.

Strategy 2: The "Moment" Approach (The Balance Scale)

This approach is more like balancing a scale.

Mathematicians use "moments" to measure the distribution of these lockboxes. Think of the first moment as the average size of the wobble, and the second moment as the average of the squares of the wobble (which tells you how much the sizes vary).
The authors calculated these averages for a broad family of cubic fields.
They found that the numbers didn't fit the "perfectly empty" scenario. If everyone had a wobble of 0 or a huge wobble, the math wouldn't add up.
The Conclusion: The only way the math balances is if there is a "positive proportion" (a non-zero percentage) of fields that have exactly a wobble of 1.
The Analogy: Imagine you have a bag of marbles. You know the average weight is 10 grams, and the average of the weights squared is 100. If you assume there are no 10-gram marbles, the math breaks. Therefore, you must have 10-gram marbles in the bag.

The Results

The paper doesn't just say "they exist." It gives a rough estimate of how many there are.

They proved that as you look at larger and larger numbers (up to a limit $X$ ), the number of these special fields grows at a rate of roughly $X^{5/6}$ .
This means they are rare, but they are definitely infinite in number.

Why Does This Matter?

This is a fundamental breakthrough in number theory.

It breaks a barrier: It moves us from proving things about "zero" wobble to proving things about "one" wobble.
It validates the hunch: It supports the famous Cohen–Lenstra heuristic, which predicts that these number systems are distributed in a very specific, predictable way.
New Tools: The authors used some very clever, unconventional math tricks (like replacing old counting methods with "effective dynamics," which is like using a high-speed camera to track moving objects instead of just counting them at the start and end).

Summary

In short, the authors proved that there is an infinite supply of cubic number fields that have a very specific, delicate amount of internal complexity (a 2-rank of exactly 1). They did this by finding a "special group" where the rules are slightly broken (the Anomaly approach) and by using a "balance scale" argument that forces the existence of these fields (the Moment approach). It's a victory for understanding the hidden structure of numbers.

Technical Summary: The Existence of Infinitely Many Cubic Fields with Class Group of Exact 2-Rank 1

Problem Statement
The paper addresses a specific case of the Cohen–Lenstra–Martinet–Malle heuristic regarding the distribution of class groups in cubic fields. While the heuristic predicts that for any prime $p \neq 3$ and finite abelian $p$ -group $A$ , there are infinitely many cubic fields $K$ where the $p$ -part of the class group $\text{Cl}_K[p^\infty]$ is isomorphic to $A$ , this remains largely unproven. Specifically, the prediction that the $p$ -rank $r_p \text{Cl}_K$ (the number of non-trivial cyclic factors in the $p$ -part) takes every value $r = 0, 1, 2, \dots$ infinitely often has only been proven for the case $(p, r) = (2, 0)$ .

Prior to this work, the existence of infinitely many cubic fields with a class group of exact 2-rank 1 was unknown. Constructing fields with large 2-ranks is a known area of study (with results showing ranks $\ge 6, 8, 11$ ), but establishing the exact rank is significantly more delicate, as one must ensure the specific structural conditions yielding a large rank do not inadvertently produce higher ranks.

Methodology
The authors provide two distinct proofs for the main theorem, both relying on previous works ([SSS25b] and [BSS25]) but employing different strategies to analyze the distribution of 2-ranks:

The Anomaly Approach (via [SSS25b]):
- Strategy: This approach leverages "anomalous" class group behavior within a "thin" family of cubic fields known as unit-monogenised fields (fields with ring of integers $\mathbb{Z}[\alpha]$ where $\alpha$ is a unit).
- Specific Family: The authors focus on the subfamily $+B^2_{1,1}$ , defined by polynomials $f(x) = x^3 + ax^2 + bx + 1$ where $(a, b) \pmod 4 \in \{(4, 4), (1, 2), (2, 1)\}$ and $a, b > 0$ .
- Mechanism: In this family, it is proven that $|\text{Cl}[2]| \ge 2$ for almost all members. Crucially, the authors establish an upper bound on the average value of $|\text{Cl}[2]|$ in this family, showing it is $\le 3$ .
- Technical Innovation: Because the family is thin, standard geometry-of-numbers methods (Davenport's lemma) do not apply. Instead, the authors employ effective dynamics [BO12] to derive the upper bound of 3.
- Deduction: Since the average is bounded by 3 and the minimum non-trivial value is 2, a positive proportion of fields must have $|\text{Cl}[2]| = 2$ (corresponding to exact 2-rank 1). A lemma ensures that each cubic field appears at most finitely many times in this polynomial family, guaranteeing infinitude.
The Moment Approach (via [BSS25]):
- Strategy: This approach utilizes the first and second moments of the size of the 2-torsion subgroup, $|\text{Cl}[2]|$ , over the family of totally real monogenised cubic fields ( $F_{1,+}$ ).
- Data: Previous results established that the average $|\text{Cl}[2]|$ is $3/2$ and the average $|\text{Cl}[2]|^2$ is bounded above by 3.
- Geometric Argument: The authors analyze the closed convex hull of the set of possible moment vectors $\{(2^n, 2^{2n}) : n \in \mathbb{N}\}$ . They demonstrate that the observed moment vector $(3/2, \beta)$ with $\beta \le 3$ lies outside the convex hull of the set excluding the point $(2, 4)$ .
- Deduction: This geometric impossibility implies that the proportion of fields with $|\text{Cl}[2]| = 2$ cannot be zero. Thus, a positive proportion of totally real monogenised fields have exact 2-rank 1.

Key Results

Theorem 1: There exist infinitely many cubic fields with class groups of exact 2-rank 1.
Theorem 2: The number of such fields with discriminant $|D_K| < X$ satisfies the lower bound $\gg X^{5/6}$ . This bound is derived from the moment approach. The anomaly approach yields a weaker bound of $X^{1/2}$ .
Theorem 3: Infinitely many complex cubic fields have class groups of 2-rank 1 or 2. (The moment vector for complex fields allows for a dichotomy where the proportion of rank 1 fields could be zero, but the proportion of rank 1 or 2 fields is positive).

Significance and Claims
The paper claims to resolve the case $(p, r) = (2, 1)$ for cubic fields, a problem previously open beyond the trivial rank 0 case. The significance is twofold:

Conceptual Departure: The "anomaly approach" represents a shift from mainstream strategies. It demonstrates that establishing the existence of fields with a specific rank can be achieved using only an upper bound on the first moment (average size), whereas the moment approach required both a lower bound on the first moment and an upper bound on the second moment.
Quantitative Progress: The paper provides explicit asymptotic lower bounds ( $X^{5/6}$ and $X^{1/2}$ ) for the count of these fields, though it notes these are currently below the $X$ predicted by the Cohen–Lenstra–Martinet–Malle heuristic.

The authors modestly note that while the anomaly approach is powerful for rank 1, extending it to higher exact ranks (e.g., rank 2) would require even stronger bounds on higher moments, which they anticipate but have not yet proven. The work relies heavily on the structural insights and bounds established in [SSS25b] and [BSS25], utilizing them to bridge the gap between average behavior and the existence of specific rank configurations.