$2$-Selmer groups, $2$-class groups, and congruent numbers

This paper establishes necessary conditions for certain square-free integers of specific forms to be congruent numbers by deriving divisibility properties and congruences for the class numbers of related imaginary quadratic fields.

The Gist

The Mystery of the "Perfect" Triangles: A Simple Guide

Imagine you are an ancient architect. You want to build a right-angled triangle (like the corner of a square) where the area of the triangle is a nice, clean whole number—say, exactly 6 or 15. But there’s a catch: the lengths of the sides of this triangle don't have to be whole numbers; they can be messy fractions (rational numbers).

For thousands of years, mathematicians have been obsessed with a single question: "Which numbers can be the area of such a triangle?" These special numbers are called Congruent Numbers.

This paper is like a high-tech detective report that provides new "fingerprints" to help identify which numbers are Congruent Numbers and which are imposters.

---

1. The Detective’s Toolkit: Elliptic Curves and Class Numbers

To solve this, the authors don't just draw triangles; they use two incredibly powerful mathematical "microscopes":

Microscope A: The Elliptic Curve (The "Shape-Shifter")

Every Congruent Number has a secret twin: a specific mathematical curve called an Elliptic Curve.

• The Analogy: Think of the Congruent Number as a key and the Elliptic Curve as a lock. If the number is truly "congruent," the key will turn the lock and reveal an infinite number of hidden points (solutions) inside the curve. If the number is a fake, the lock stays jammed.

Microscope B: The Class Number (The "Family Tree")

The authors also look at something called the Class Number of a "quadratic field."

• The Analogy: Imagine every number has a massive, complex family tree (the Class Group). The "Class Number" is simply the size of that family. The authors discovered that if a number is a Congruent Number, its family tree must follow very strict, predictable rules regarding how many members it has and how they are organized.

---

2. What did the authors actually find?

The researchers focused on a very specific "species" of numbers—large numbers made by multiplying several specific types of prime numbers together. They discovered two major "Rules of the Family":

Rule 1: The "Power of 2" Rule (Theorem 1.1)

They looked at numbers where the prime factors follow a specific pattern (like $5, 5, 5, 7 \dots$ modulo 8). They proved that if such a number is a Congruent Number, its "family size" (Class Number) must be divisible by a very large power of 2.

• The Metaphor: It’s like saying, "If this person is a secret agent, their family must have exactly a multiple of 32 members." If you count their family and find only 10 members, you know immediately: They are not a secret agent.

Rule 2: The "Family Comparison" Rule (Theorem 1.2)

They looked at a slightly different group of numbers. For these, they found that the family size of the number itself must be "in sync" with the family size of its smaller parts.

• The Metaphor: It’s like saying, "If this king is legitimate, his family size must be almost identical to the size of his father's family, plus a specific offset." If the numbers don't match up, the "king" (the number) is a fraud.

---

3. Why does this matter?

Right now, there is no "magic button" in math that can tell you instantly if a number is a Congruent Number. It is a notoriously difficult problem.

The authors haven't built the magic button yet, but they have built better metal detectors. By using these new rules, mathematicians can scan huge numbers and say, "Wait! This number's family tree is the wrong size. It can't possibly be a Congruent Number!" This allows them to rule out millions of possibilities, bringing us one step closer to solving a mystery that has lasted since the time of the ancient Greeks.

Summary in a Nutshell

• The Problem: Which numbers can be the area of a rational right triangle?
• The Method: Using the "DNA" (Class Numbers) and "Locks" (Elliptic Curves) of these numbers.
• The Discovery: If a number is "Congruent," its mathematical "DNA" must follow very strict, high-level patterns of divisibility. If it doesn't, it's just a regular number pretending to be special.

Technical Summary

Technical Summary: 2-Selmer Groups, 2-Class Groups, and Congruent Numbers

Authors: Shamik Das, Debajyoti De, and Sudipa Mondal

1. The Problem

The paper addresses the congruent number problem: determining which positive square-free integers $n$ can be the area of a right-angled triangle with rational sides. This classical problem is equivalent to determining if the elliptic curve $E_n: y^2 = x^3 - n^2x$ has a rational point of infinite order (i.e., its algebraic rank $r_n > 0$).

While the Birch and Swinnerton-Dyer (BSD) conjecture provides a theoretical framework (suggesting that if the root number $\omega(E_n) = -1$, then $n$ is a congruent number), there is no general algorithm to decide this for any given $n$. The authors focus on specific families of square-free integers $n$ composed of primes with specific residue classes modulo 8, seeking to find necessary conditions for $n$ to be a congruent number by studying the class numbers of related imaginary quadratic fields.

2. Methodology

The authors employ a multi-disciplinary approach combining arithmetic geometry and algebraic number theory:

• 2-Descent and Selmer Groups: They use the method of 2-descent on the elliptic curve $E_n$ to study the 2-Selmer rank ($s_n$). They relate $s_n$ to the rank of the Monsky matrix ($M$), a matrix constructed from Legendre symbols of the prime factors of $n$.
• Class Group Theory: They investigate the $2^k$-rank (specifically 2-rank, 4-rank, and 8-rank) of the ideal class group $C(-m)$ of imaginary quadratic fields $\mathbb{Q}(\sqrt{-m})$. They utilize Gauss Genus Theory and the generalized Rédei matrix to compute these ranks.
• Diophantine Analysis: The proof relies on analyzing the solvability of systems of Diophantine equations arising from the 2-descent process. They use quartic residue symbols to establish connections between the existence of rational points on $E_n$ and the divisibility properties of class numbers.

3. Key Contributions and Results

The paper provides two main theorems regarding the divisibility of the class number $h(-n)$ of $\mathbb{Q}(\sqrt{-n})$ under the assumption that $n$ is a congruent number.

Theorem 1.1: Case $n = p_1p_2 \dots p_tq$ where $p_i \equiv 5 \pmod 8$ and $q \equiv 7 \pmod 8$ ($t$ is odd).

• Conditions: The rank of the matrix $A_P$ (constructed from Legendre symbols of $p_i$) must be $t-1$, and $\left(\frac{p_i}{q}\right) = 1$ for all $i$.
• Result: If $n$ is a congruent number, then the class number $h(-n)$ must be divisible by $2^{t+2}$.
• Significance: This provides a high-order power of 2 that must divide the class number, offering a strong necessary condition for $n$ to be congruent.

Theorem 1.2: Case $n = p_1p_2 \dots p_tq$ where $p_i \equiv 5 \pmod 8$ and $q \equiv 3 \pmod 8$ ($t$ is even).

• Conditions: Similar rank conditions on $A_P$ and $\left(\frac{p_i}{q}\right) = 1$, plus the assumption that the 2-torsion of the Shafarevich-Tate group $\text{Ш}(E_n/\mathbb{Q})[2]$ is finite.
• Result: If $n$ is a congruent number, then $h(-n) \equiv h(-P) + 2^{t+1} \pmod{2^{t+2}}$, where $P = p_1 \dots p_t$.
• Significance: This establishes a specific congruence relation between the class number of the large field $\mathbb{Q}(\sqrt{-n})$ and the smaller field $\mathbb{Q}(\sqrt{-P})$.

Additional Contributions:

• Quantitative Estimates: The authors provide an asymptotic lower bound for the number of non-congruent numbers of the form described in Theorem 1.1, showing that such numbers are relatively abundant.
• Computational Verification: They provide numerical examples using SageMath to demonstrate that congruent numbers satisfy these divisibility/congruence conditions, while non-congruent numbers often violate them.

4. Significance

This work bridges the gap between the arithmetic of elliptic curves (the congruent number problem) and the structure of ideal class groups of quadratic fields. By showing that the "congruent" property forces specific, highly divisible structures on class groups, the paper provides new tools for identifying non-congruent numbers. It also contributes to the ongoing effort to understand the relationship between the algebraic rank of an elliptic curve and the analytic properties of its $L$-function, as predicted by the BSD conjecture.