🔢 mathematics

Integers that are sums of two cubes in the cyclotomic $\mathbb{Z}_p$ -extension

This paper investigates the solvability of the equation $n=x^3+y^3$ within the cyclotomic $\mathbb{Z}_p$ -extension of $\mathbb{Q}$ for cubefree integers $n$ that are not sums of rational cubes, demonstrating that such integers cannot be expressed as sums of two cubes in certain large families of prime cyclic extensions of $\mathbb{Q}$ .

Original authors: Anwesh Ray

Published 2026-07-08

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Anwesh Ray

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 have a number, let's call it $n$ . You want to know if you can build this number by adding together two perfect cubes (like $1^3 + 2^3 = 9$ ).

Sometimes, you can do this using simple fractions (rational numbers). For example, the number 6 can be written as the sum of two cubes: $(17/21)^3 + (37/21)^3$ . But sometimes, no matter how hard you try with fractions, you just can't find two numbers that add up to $n$ .

This paper asks a very specific "what if" question: If you can't build the number $n$ using fractions, could you build it if you were allowed to use a much more exotic, infinite set of numbers?

The "Infinite Tower" of Numbers

To understand the author's answer, you need to imagine a special kind of number system called the cyclotomic $\mathbb{Z}_p$ -extension.

Think of the rational numbers (fractions) as the ground floor of a building. The author is looking at a specific, infinite tower built on top of that ground floor. This tower is constructed by stacking layer upon layer of "prime cyclic" extensions.

The Ground Floor: The standard numbers we use every day ( $\mathbb{Q}$ ).
The Infinite Tower: A never-ending staircase of new number systems ( $\mathbb{Q}^{(p)}_\infty$ ) generated by a specific prime number $p$ (where $p \ge 5$ ).

The question is: If a number $n$ is impossible to make on the ground floor, is it possible to make it somewhere up in this infinite tower?

The Main Discovery

The author, Anwesh Ray, proves a very strong "No."

The Claim: If a number $n$ cannot be written as the sum of two cubes using standard fractions, then it cannot be written as the sum of two cubes using numbers from this specific infinite tower either—provided you pick the right "prime number" ( $p$ ) to build the tower with.

It's like saying: "If you can't fit a square peg in a round hole on the ground floor, you won't be able to fit it in the hole even if you keep building the room higher and higher, as long as you follow these specific construction rules."

How They Proved It (The Detective Work)

The author didn't just guess; they used a sophisticated mathematical toolkit called Iwasawa Theory. Here is the analogy for how it works:

The Elliptic Curve Detective: The equation $n = x^3 + y^3$ is linked to a shape called an "elliptic curve." Think of this curve as a map. If the map has a certain property (a "rank" greater than zero), it means the number $n$ can be built. If the rank is zero, it cannot.
The Growth Monitor: The author studies how this "rank" changes as you go up the infinite tower. In many cases, ranks can grow as you add more layers to the tower.
The "Stop" Sign: Using deep theorems from mathematicians like Kato and Rubin, the author shows that for a specific set of prime numbers (about half of all primes), the "rank" of the curve stays stuck at zero all the way up the infinite tower.
The Result: Since the rank stays zero, the number $n$ remains impossible to build, no matter how high you go in the tower.

The "Big Family" of Primes

The paper also shows that this isn't just a fluke for one specific prime. There is a "large family" of prime numbers (specifically, 50% of all primes) for which this rule holds true. If you pick a prime from this family, the "impossibility" of building the number $n$ is permanent, even in these infinite extensions.

A Real-World Example

The paper gives a concrete example with the number 3.

We know 3 cannot be written as the sum of two rational cubes.
The author picks the prime number 7.
They prove that even if you go up the infinite tower built on the prime 7, you still cannot write 3 as the sum of two cubes.
They even extend this to a specific "neighborhood" (a Galois extension) built on top of that tower, showing the number 3 remains impossible to construct there as well.

Summary

In simple terms: Some numbers are stubborn. If they refuse to be the sum of two cubes in our normal world of fractions, they will continue to refuse that job even if we expand our mathematical universe into these specific, infinite, prime-based towers. The author has identified exactly which "keys" (prime numbers) lock the door on these solutions forever.

Technical Summary: Integers That Are Sums of Two Cubes in the Cyclotomic $\mathbb{Z}_p$ -Extension

Problem Statement
The paper investigates the solvability of the Diophantine equation $n = x^3 + y^3$ where $n$ is a cubefree natural number and $x, y$ belong to specific infinite algebraic extensions of $\mathbb{Q}$ . While the density of natural numbers representable as a sum of two rational cubes is conjectured to be $1/2$ , this work focuses on the complementary case: assuming $n$ is not a sum of two rational cubes, under what conditions does $n$ remain non-representable as a sum of two cubes in larger fields? Specifically, the author studies the cyclotomic $\mathbb{Z}_p$ -extension of $\mathbb{Q}$ , denoted $\mathbb{Q}^{(p)}_\infty$ , and certain prime cyclic extensions of $\mathbb{Q}$ .

Methodology
The approach relies on the Iwasawa theory of elliptic curves and the arithmetic of Selmer groups.

Elliptic Curve Correspondence: The equation $n = x^3 + y^3$ is associated with the elliptic curve $E_n: x^3 + y^3 = nz^3$ , which is isomorphic to the Weierstrass form $y^2 = x^3 - 432n^2$ . The existence of a solution in a field $L$ is equivalent to the rank of $E_n(L)$ being positive, given that $E_n$ has no nontrivial rational torsion points.
Iwasawa Theory: The author analyzes the growth of the rank of $E_n$ within the tower of fields defining the cyclotomic $\mathbb{Z}_p$ -extension. This involves studying the $p$ -primary Selmer group $S_{p^\infty}(E_n/\mathbb{Q}^{(p)}_\infty)$ and its Pontryagin dual as a module over the Iwasawa algebra $\Lambda = \mathbb{Z}_p[[T]]$ .
Invariants and Vanishing: The core technical mechanism involves showing that the Iwasawa $\mu$ - and $\lambda$ -invariants of the Selmer group vanish for a specific set of primes $p$ . The vanishing of these invariants implies that the Selmer group over the infinite extension is trivial (or finite), which in turn forces the rank of the elliptic curve over the infinite extension to be zero.
Descent to Finite Extensions: To extend results from the infinite cyclotomic tower to finite prime cyclic extensions $L/\mathbb{Q}$ , the paper utilizes an analogue of Kida's formula (due to Hachimori and Matsuno) to control the growth of Iwasawa invariants in $p$ -extensions.

Key Contributions and Results

Theorem 1.2 (Non-solvability in $\mathbb{Q}^{(p)}_\infty$ ):
Let $n$ be a cubefree natural number not expressible as a sum of two rational cubes. Let $S$ be the set of primes $p \geq 5$ satisfying:
(a) $E_n$ has good ordinary reduction at $p$ ;
(b) The $p$ -torsion of the Tate-Shafarevich group $\text{X}(E_n/\mathbb{Q})[p]$ is trivial;
(c) $p$ does not divide the order of the reduced curve $\# \tilde{E}_n(\mathbb{F}_p)$ .

The paper proves that $S$ has natural density $1/2$ . Furthermore, for any $p \in S$ , $n$ cannot be written as $x^3 + y^3$ with $x, y \in \mathbb{Q}^{(p)}_\infty$ . This result relies on the finiteness of the Tate-Shafarevich group and the work of Kato and Rubin regarding the cotorsion property of Selmer groups.
Theorem 1.3 (Non-solvability in Prime Cyclic Extensions):
The author extends the result to finite Galois extensions $L/\mathbb{Q}$ with Galois group $G \simeq \mathbb{Z}/p\mathbb{Z}$ (where $p > 7$ and $p \in S$ ). Under the conditions that ramified primes $\ell$ do not divide $6pn$ and satisfy $\tilde{E}_n(\mathbb{F}_\ell)[p] = 0$ , the paper asserts that $n$ is not a sum of two cubes in $L$ . This is achieved by demonstrating that the Iwasawa invariants remain trivial when lifting from $\mathbb{Q}^{(p)}_\infty$ to $L^{(p)}_\infty$ .
Explicit Example:
The paper illustrates the theory with $n=3$ . Since $3$ is not a sum of rational cubes, and the prime $p=7$ satisfies the conditions of Theorem 1.2 (good ordinary reduction, trivial $p$ -torsion in Sha, and $7 \nmid \#\tilde{E}_3(\mathbb{F}_7)$ ), the paper concludes that $3$ is not a sum of two cubes in the cyclotomic $\mathbb{Z}_7$ -extension of $\mathbb{Q}$ . It further applies Theorem 1.3 to a specific $\mathbb{Z}/7\mathbb{Z}$ -extension contained in $\mathbb{Q}(\mu_{29})$ .

Significance and Claims
The paper claims to provide conditions under which the non-representability of an integer as a sum of two rational cubes is preserved in large families of prime cyclic extensions and the cyclotomic $\mathbb{Z}_p$ -extension. The significance lies in bridging Diophantine problems (sums of cubes) with the structural properties of Selmer groups in Iwasawa theory.

The author notes that the assumption $p \geq 5$ is necessary due to the requirement of good ordinary reduction, as the curves $E_n$ have bad reduction at 2 and 3. The paper modestly frames its contribution as establishing non-solvability for "certain large families" of extensions, rather than a universal statement for all extensions. It highlights that while the set of primes where the result holds has density $1/2$ (within the set of all primes), this is a direct consequence of the density of primes with good ordinary reduction for curves with complex multiplication. The work does not claim to solve the general problem for all $n$ or all extensions but offers a rigorous framework using Iwasawa invariants to rule out solutions in specific, well-defined contexts.