🔢 mathematics

Rank of elliptic curves and class groups of real quadratic fields

This paper establishes a connection between the rank of elliptic curves and the non-triviality of class groups in infinitely many real quadratic fields.

Original authors: Kalyan Banerjee

Published 2026-01-27

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Kalyan Banerjee

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

The Big Picture: Connecting Two Different Worlds

Imagine the world of mathematics as a vast landscape with two distinct islands.

Island A (Elliptic Curves): This is a place of smooth, looping shapes defined by equations like $y^2 = x^3 + ax + b$ . These shapes have a special property: you can pick points on them and "add" them together like numbers. Some points on these curves are "infinite" in a sense—they never loop back to where they started, no matter how many times you add them to themselves. This is called having a positive rank.
Island B (Class Groups of Number Fields): This island is about "number systems" (specifically real quadratic fields). In these systems, numbers sometimes break apart in messy ways that don't follow the usual rules of prime numbers. The Class Group is a way to measure how messy or "broken" a number system is. If the class group is "trivial" (size 1), the system is perfectly tidy. If it's "non-trivial," there is some hidden chaos or complexity.

The Paper's Goal:
Banerjee wants to build a bridge between these two islands. He asks: If we find a point with "infinite" energy on an Elliptic Curve (Island A), can we use it to prove that there are infinitely many messy, complex number systems (Island B)?

The Main Discovery (The Theorem)

The paper claims that Yes, it works.

Here is the simple version of the main result:
If you have an elliptic curve with at least one "infinite" point, you can use that point to generate an infinite list of prime numbers ( $p$ ). For each of these primes, if you create a specific type of number system based on the formula $\sqrt[3]{p^3 + ap + b}$ , that number system will not be tidy. It will have a "non-trivial" class group.

In other words, the existence of a single "infinite" point on a curve guarantees the existence of infinitely many complex, messy number worlds.

How the Bridge is Built: The "Spreading" Analogy

The paper uses a technique called "spreading" and "specializing." Here is an analogy to understand how it works:

The Master Blueprint (The Curve over Integers):
Imagine the elliptic curve isn't just a drawing on a piece of paper, but a giant, 3D structure built over the entire number line (integers). This structure contains every possible version of the curve for every possible number.
The Infinite Point (The Seed):
You pick a specific point on this curve that has "infinite order." Think of this point as a unique seed that never repeats. Because it's infinite, it has a lot of "energy" or "weight."
Spreading the Divisor:
The author takes this seed and "spreads" it out across the entire 3D structure. In math terms, this turns the point into a "Weil divisor" (a generalized way of marking a spot on the structure).
Specializing (The Snapshot):
Now, imagine taking a snapshot of this giant structure at a specific prime number $p$ . When you zoom in on this specific slice, the "seed" you spread out earlier lands in a new world: the number field $\mathbb{Q}(\sqrt[3]{p^3 + ap + b})$ .
The Result (The Messy Room):
The paper argues that because your original seed was "infinite" and powerful, it cannot simply disappear or become "zero" (tidy) when you take the snapshot. If it became zero (meaning the class group was trivial), it would imply that the infinite seed was actually just a copy of a finite loop, which is a contradiction.

Therefore, the snapshot must show a "messy" room (a non-trivial class group).

Why This is Special

The author mentions that previous mathematicians tried to connect these islands using "Cartier divisors" (a specific, rigid type of mathematical tool). Banerjee's paper uses Weil divisors instead.

The Analogy: Think of Cartier divisors as trying to build a bridge using only perfect, pre-fabricated steel beams. It works, but it's rigid.
Banerjee's Approach: He uses Weil divisors, which are like using flexible, adaptable materials. This allows him to build the bridge even in "rougher" terrain (singular varieties) and suggests that this method could be used to build bridges to even larger, more complex mathematical islands (higher-dimensional varieties) in the future.

Summary

The paper proves a direct link: Infinite points on a curve $\rightarrow$ Infinite messy number systems.

It doesn't just say "they might be related"; it provides a mechanical process (using Chow schemes and spreading divisors) to take a point from one world and force it to create complexity in the other. The result is a guarantee that there are infinitely many number fields with complex structures, all derived from the simple existence of a point with infinite order on an elliptic curve.

Technical Summary: Rank of Elliptic Curves and Class Groups of Real Quadratic Fields

Problem Statement
The paper addresses the relationship between the arithmetic of elliptic curves and the ideal class groups of number fields. Specifically, it investigates whether the existence of points of infinite order (positive rank) on an elliptic curve $E$ over $\mathbb{Q}$ implies the non-triviality of the class groups of infinitely many real quadratic fields. The central question is whether one can construct a number field with a class group containing an element of large prime order $p$ by utilizing the rank points of a given elliptic curve.

Methodology
The author employs techniques from arithmetic geometry, specifically focusing on Chow schemes and Hilbert schemes defined over $\text{Spec}(\mathbb{Z})$ . The core methodology involves the following steps:

Integral Models and Spreading: The elliptic curve $E$ is considered as a smooth integral model $E_{\mathbb{Z}}$ over $\text{Spec}(\mathbb{Z})$ . A rational point $P \in E(\mathbb{Q})$ of infinite order is treated as a Weil divisor on $E$ .
Specialization: This divisor is "spread" over the integral model $E_{\mathbb{Z}}$ and then specialized at prime integers $p$ . This specialization yields an element in the ideal class group of the number field $K_p = \mathbb{Q}(\sqrt{p^3 + ap + b})$ .
Chow Schemes and Rational Equivalence: The proof utilizes the Chow scheme $C^1_{d,d}(E_{\mathbb{Z}})$ to parametrize codimension-one cycles. The author establishes that points of infinite order in the Mordell-Weil group correspond to cycles that avoid a countable union of Zariski closed subsets (denoted as $Z$ ) within the Chow variety.
Contradiction via Functoriality: The proof proceeds by contradiction. It assumes that for a Zariski open set of primes, the specialized divisor becomes principal (zero in the class group). This would imply the existence of a rational function defining the divisor on an open set of the arithmetic variety, effectively making the divisor rationally equivalent to zero on the generic fiber. However, since the original point has infinite order, this leads to a contradiction ($nD = 0$ for a non-torsion point), proving the specialized element must be non-trivial.

Key Contributions and Novelty
The paper distinguishes its approach from previous algebraic geometry studies (cited as [5], [6], [1], [11]) in the following ways:

Weil vs. Cartier Divisors: While prior works often utilized Picard groups of Cartier divisors to link line bundles to class groups, this paper explicitly employs Weil divisors. The author notes that this approach extends to singular varieties and allows for the production of class groups of large order from them.
Motivic and Functorial Nature: The homomorphism constructed from the elliptic curve to the class group is described as "motivic and functorial." The author claims this property allows the method to be generalized to higher-dimensional varieties, contrasting with the more concrete, specific approaches found in works like Soleng [11].
Reconstruction of Theoretical Framework: The paper provides a reconstruction of the proof regarding the parametrization of infinite order elements within the Chow variety (Theorem 2.1), adapting results from Banerjee and Hoque [2] from surface fibrations to the curve case for completeness.

Results
The main result is stated in Theorem 1.1:
Let $E$ be an elliptic curve over $\mathbb{Q}$ with positive rank and a rational point (other than the point at infinity). Then, for infinitely many prime numbers $p$ :

The integer $p^3 + ap + b$ is a square-free positive integer.
The class group of the real quadratic field $\mathbb{Q}(\sqrt{p^3 + ap + b})$ contains a non-trivial element.
This non-trivial element is obtained by specializing a generator of the rank part of $E(\mathbb{Q})$ .

The existence of infinitely many such primes where $p^3 + ap + b$ is non-square is justified by Siegel's theorem on the finiteness of integral points on elliptic curves.

Significance and Claims
The paper claims to establish a direct, constructive link between the rank of an elliptic curve and the non-triviality of class groups in an infinite family of real quadratic fields. The significance lies in the proposed mechanism: using the "rank part" of the Mordell-Weil group to generate non-principal ideals in number fields. The author emphasizes that the approach is not limited to smooth curves but extends to singular varieties via the use of Weil divisors, offering a broader geometric framework for understanding the interplay between elliptic curve ranks and class group structures.

The Big Picture: Connecting Two Different Worlds

The Main Discovery (The Theorem)

How the Bridge is Built: The "Spreading" Analogy

Why This is Special

Summary

More like this