🔢 mathematics

Distinct differences of singular moduli

The paper proves that the difference between the $j$ -invariants of two non-isomorphic elliptic curves with complex multiplication uniquely characterizes the pair of curves up to isomorphism, implying that the equation $x_1 - x_2 = x_3 - x_4$ for singular moduli holds only in trivial cases where the pairs are identical or swapped.

Original authors: Guy Fowler, Emanuele Tron

Published 2026-08-21

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Guy Fowler, Emanuele Tron

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

In the vast landscape of mathematics, there exists a special collection of numbers that arise from the study of shapes called elliptic curves. These shapes, which look like smooth, twisted loops, are fundamental objects in number theory, a branch of math that investigates the deep properties of whole numbers. Each elliptic curve has a unique identifier, a single number known as its j-invariant, which acts like a fingerprint. If two curves have the same fingerprint, they are essentially the same shape, just drawn differently. When these curves possess a special kind of symmetry called complex multiplication, their fingerprints are not just any numbers; they are rare, highly structured integers known as singular moduli. For over a century, mathematicians have been fascinated by these numbers, trying to understand how they relate to one another and what patterns govern their existence. The question of how these numbers interact is not merely an abstract puzzle; it touches on the very architecture of algebraic number fields, the systems in which these special numbers live.

A team of researchers, Guy Fowler and Emanuele Tron, has now settled a specific and long-standing question about how these fingerprints can be combined. They investigated whether the difference between the fingerprints of two distinct curves could ever be identical to the difference between the fingerprints of two other distinct curves. Imagine you have four different keys, each opening a unique lock. The researchers asked if it is possible to take the distance between the first and second key and find that it is exactly the same as the distance between the third and fourth key, without the keys themselves being the same. Their work proves that this is impossible. If the difference between two singular moduli equals the difference between two others, then the pairs must be identical, or the numbers must simply be swapped in a very specific way. There are no hidden, accidental matches.

To reach this conclusion, the authors had to navigate a complex terrain of algebraic structures. They began by considering the simplest possibilities: what if some of the numbers were the same, or what if one of them was a simple rational number? They showed that in these cases, the equation could not hold unless the numbers were trivially related. Once these easy cases were cleared away, they turned to the more difficult scenario where all four numbers were distinct and complex. The core of their strategy relied on the size of these numbers. Singular moduli come in different "sizes," determined by a property called their discriminant. For any given discriminant, there is one dominant number that is vastly larger than all the others associated with that same discriminant. The researchers realized that if you have an equation involving four of these numbers, the sizes of the numbers must balance out perfectly.

The proof unfolded by examining how many of the numbers in the equation were these dominant, giant values. If only one or none of the numbers on one side of the equation was dominant, the sheer size difference made it impossible for the equation to balance. The numbers would be too far apart to cancel each other out. The challenge arose when two or more of the numbers were dominant. In these situations, the researchers used advanced tools from a field called class field theory, which studies how numbers relate to one another through symmetry. They demonstrated that if a solution existed in these difficult cases, the underlying properties of the numbers would have to satisfy extremely strict and rare conditions.

By combining these theoretical constraints with rigorous computer calculations, the authors systematically eliminated every remaining possibility. They showed that the conditions required for a solution to exist would force the numbers to be smaller than a certain threshold, but once they checked all numbers below that threshold, they found no solutions at all. The result is a complete and definitive proof that the difference between two singular moduli uniquely identifies the pair of curves that produced them. This finding adds a new layer of clarity to our understanding of these special numbers, confirming that their arithmetic relationships are far more rigid and unique than previously known. The work stands as a precise map of a small but intricate corner of the mathematical universe, showing that in this specific realm, coincidence is not an option.

Technical Summary: Distinct Differences of Singular Moduli

Problem Statement
The paper addresses the problem of characterizing pairs of non-isomorphic elliptic curves with complex multiplication (CM) over $\mathbb{C}$ . Specifically, it investigates whether the difference of their $j$ -invariants uniquely determines the pair up to isomorphism. In the language of singular moduli (the $j$ -invariants of CM elliptic curves), the authors seek to determine if the equation $x_1 - x_2 = x_3 - x_4$ implies a trivial rearrangement of the terms. The central question is whether the difference $x_1 - x_2$ can be equal to $x_3 - x_4$ for distinct pairs $(x_1, x_2) \neq (x_3, x_4)$ and $(x_1, x_3) \neq (x_2, x_4)$ .

Main Result
The authors prove Theorem 1.1: Let $x_1, x_2, x_3, x_4$ be singular moduli. If $x_1 - x_2 = x_3 - x_4$ , then either $(x_1, x_2) = (x_3, x_4)$ or $(x_1, x_3) = (x_2, x_4)$ .
This result establishes that the pair $(E_1, E_2)$ of non-isomorphic CM elliptic curves is uniquely characterized by the difference $j(E_1) - j(E_2)$ , up to the trivial symmetry of swapping the order of the curves in the pair.

Methodology
The proof proceeds by contradiction, assuming the existence of a solution where the pairs are not trivially related. The methodology combines analytic estimates of singular moduli with deep results from class field theory and the theory of Shimura varieties.

Analytic Bounds and Dominant Moduli:
The authors utilize the $q$ -expansion of the modular $j$ -function to establish that for a given discriminant $\Delta$ , there exists a unique "dominant" singular modulus with absolute value approximately $e^{\pi\sqrt{|\Delta|}}$ , while all other conjugates are exponentially smaller (roughly $e^{\pi\sqrt{|\Delta|}/2}$ ). By applying Galois automorphisms, they assume $x_1$ is dominant. The proof is then stratified based on how many of the other variables ( $x_2, x_3, x_4$ ) are also dominant.
Reduction via Galois Automorphisms:
A critical component of the proof is Proposition 3.1, derived from class field theory (specifically Cohn's results on transfer fields). This proposition states that if a discriminant $\Delta$ is not "2-elementary" (a specific property related to the Galois group of the ring class field), there exists an automorphism $\sigma$ that fixes singular moduli of a different fundamental discriminant but moves the singular modulus of $\Delta$ . This allows the authors to reduce the number of dominant terms in the equation, often leading to a contradiction via analytic bounds.
Handling 2-Elementary Discriminants:
The cases where the automorphism reduction fails correspond to "2-elementary" discriminants. The authors leverage Proposition 3.6 and Proposition 3.7 to show that such discriminants are highly restricted: their fundamental discriminants are either a specific large value ( $D^* = -8399$ ) or have small class numbers ( $h(\Delta) \le 16$ ), and their conductors are bounded. This restricts the search space to a finite, computable set.
Field-Theoretic Constraints:
The proof employs Proposition 4.4 and results on fields generated by linear combinations of singular moduli. These results constrain the possible relationships between the discriminants when linear relations (like $x_1 - x_2 = x_3 - x_4$ ) hold, forcing specific equalities or "almost 2-elementary" properties among the discriminants involved.
Case Analysis and Computation:
The proof divides into cases based on the number of dominant moduli among $x_2, x_3, x_4$ :
- 0 or 1 dominant: Handled by direct analytic inequalities showing the dominant term cannot be balanced by the sum of smaller terms.
- 2 or 3 dominant: These are the most complex cases. The authors use the class field theory results to reduce these to a finite list of scenarios involving 2-elementary discriminants. They then perform explicit computations using the PARI/GP computer algebra system to verify that no solutions exist within the derived bounds (e.g., $|\Delta| \le 7452$ ).

Key Contributions

Explicit Characterization: The paper provides the first explicit characterization of a 3-dimensional subvariety in $\mathbb{C}^4$ (defined by $x-y-w+z=0$ ) containing only trivial special points, extending the scope of explicit André-Oort results beyond curves and surfaces.
Effective Bounds: Unlike previous ineffective results (e.g., by Pila) or results with astronomically large bounds (e.g., Bilu and Kühne), this work provides a proof that is effectively computable, reducing the problem to a finite check that is feasible with current resources.
Refined Class Field Theory Application: The authors introduce a refined application of Cohn's transfer field results (Proposition 3.1) that avoids the "astronomical constants" typical of effective André-Oort proofs, making it suitable for finding all solutions explicitly.

Significance
The paper claims significance as the first example of an explicit André-Oort result for a subvariety of dimension 3 in $\mathbb{C}^4$ . It demonstrates that the difference of two singular moduli is a rigid invariant that uniquely identifies the pair of curves, a property not shared by more general linear equations with unequal coefficients. The work bridges the gap between the qualitative finiteness results of the André-Oort conjecture and the explicit, effective determination of all solutions for specific linear equations. The authors note that their method is tailored to equations with coefficients of equal absolute value ( $\pm 1$ ) and does not immediately generalize to equations with unequal coefficients, where non-trivial solutions are known to exist.

More like this