🔢 mathematics

Primitive points on some low degree Fermat curves

This paper establishes the non-existence of non-trivial quartic points with $A_4$ Galois closure on the Fermat curves $F_7$ and $F_8$ , and provides sufficient conditions for the absence of non-trivial points on $F_6$ and $F_8$ over primitive number fields of degree at least three.

Original authors: Maleeha Khawaja

Published 2026-03-17

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Maleeha Khawaja

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 detective trying to solve a very old, very famous puzzle: Fermat's Last Theorem. You know that for most powers (like $x^3 + y^3 = z^3$ or $x^5 + y^5 = z^5$ ), there are no "interesting" solutions where the numbers aren't zero. But mathematicians are curious about the "in-between" cases. What if the numbers aren't just regular whole numbers, but come from a slightly more complex "universe" of numbers (called a number field)?

This paper by Maleeha Khawaja is like a specialized investigation into two specific cases of this puzzle: the 7th power ( $x^7 + y^7 = z^7$ ) and the 8th power ( $x^8 + y^8 = z^8$ ).

Here is the story of what she found, explained without the heavy math jargon.

The Mystery: "Primitive" Points

In this investigation, the "suspects" are points on a curve. But not just any points. The author is looking for "Primitive Points."

Think of a number field like a house with different rooms.

A non-primitive house has a hallway that leads to a smaller, separate room (a sub-field).
A primitive house is a single, solid block. You can't break it down into smaller, independent rooms.

The author is asking: "Are there any interesting solutions to the Fermat equation that live in these 'solid block' houses of degree 4 (quartic fields), specifically those with a very specific, rigid structure (called the $A_4$ group)?"

The Detective's Trick: The Magic Slide

Solving the equation $x^7 + y^7 = z^7$ directly is like trying to climb a steep, rocky mountain. It's hard and dangerous.

Khawaja's main tool is a magic slide. She discovered a way to slide any point from the difficult Fermat mountain down to a much smoother, easier hill called a Hyperelliptic Curve.

The Fermat Curve: A jagged, high-altitude peak (Degree 7 or 8).
The Hyperelliptic Curve: A gentle, well-mapped hill (Degree 7 or 8, but much simpler to study).

If you find a "primitive" point on the mountain, it must leave a trace on the hill. So, instead of climbing the mountain, she just studies the hill.

The Investigation: Case 7 and Case 8

Case 1: The 7th Power ( $n=7$ )

She looked at the "hill" for the 7th power.

The Map: She mapped all the rational points (points with simple coordinates) on this hill. There were only a few: the top of the hill and two spots near the bottom.
The Logic: She reasoned that if a "primitive" point existed on the mountain, its shadow on the hill would have to be a complex, 4-part shadow (because the field is degree 4).
The Result: When she checked the hill, she found that no such complex shadow could exist without breaking the rules of the hill's geometry. The only shadows that fit were the simple ones, which correspond to "trivial" solutions (where one of the numbers is zero).
Conclusion: No primitive solutions exist for $n=7$ .

Case 2: The 8th Power ( $n=8$ )

She did the same for the 8th power.

The Map: Again, she mapped the hill. This time, the hill was connected to a very famous, simple shape called an Elliptic Curve (think of it as a donut shape).
The Logic: She checked the "donut" to see what points it had. It turned out the donut was very lonely; it only had a few simple points.
The Result: Just like with the 7th power, the geometry of the hill proved that a complex, 4-part shadow from a "primitive" house couldn't exist there.
Conclusion: No primitive solutions exist for $n=8$ .

The Bigger Picture: Why Does This Matter?

You might ask, "So what? We already know there are no solutions for whole numbers."

The answer lies in the Modular Approach, a high-tech method used to solve Fermat-like equations. To prove that a solution doesn't exist in a complex number world, mathematicians often have to rule out "small" cases first.

Khawaja's paper provides a safety net. She proved that if you are working with a specific type of complex number house (degree 4, $A_4$ structure), you don't need to waste time looking for solutions to the 7th or 8th power equations. They simply aren't there.

The Takeaway

Think of this paper as a mathematician drawing a "No Trespassing" sign on specific, complex terrains.

The Terrain: The 7th and 8th power Fermat curves.
The Trespassers: Complex solutions living in specific 4-dimensional number worlds.
The Verdict: Keep out. The geometry of the universe simply doesn't allow these specific types of solutions to exist.

By using the "magic slide" to turn a mountain into a hill, and then carefully mapping the hill, the author proved that these elusive, primitive points are ghosts—they sound like they could be there, but they vanish the moment you try to pin them down.

1. Problem Statement

The paper investigates the existence of non-trivial algebraic points on Fermat curves $F_n$ defined by the equation $x^n + y^n = z^n$ for specific low degrees $n \in \{6, 7, 8\}$ .

The central focus is on primitive points. An algebraic point $P \in F_n(\bar{\mathbb{Q}})$ is defined as primitive if the Galois group of the Galois closure of the number field $\mathbb{Q}(P)$ acts as a primitive permutation group on the conjugates of $P$ .

Specific Goal: The author aims to prove the non-existence of non-trivial points on $F_7$ and $F_8$ where the associated quartic field has a Galois closure with group $A_4$ (the alternating group of degree 4, which is a primitive subgroup of $S_4$ ).
Secondary Goal: To establish sufficient conditions under which Fermat curves $F_6$ and $F_8$ possess no non-trivial points defined over a primitive number field of degree $d \geq 3$ .

2. Methodology

The paper employs a combination of algebraic geometry, Galois theory, and computational number theory. The core strategy involves mapping the Fermat curve to a lower-genus curve to simplify the analysis of divisors and rational points.

A. Morphism to Hyperelliptic Curves

The primary tool is a non-constant morphism $\pi: F_n \to C_n$ , where $C_n$ is a degree $n$ hyperelliptic curve defined by:
$C_n: y^2 = -4x^n + 1$
The map is given by $(\alpha : \beta : 1) \mapsto (\alpha\beta, \alpha^n - \beta^n)$ .

Advantage: This reduces the genus of the problem. While $F_n$ has genus $(n-1)(n-2)/2$ , the hyperelliptic curve $C_n$ has genus 3 for $n=7,8$ , which is significantly more tractable.

B. Analysis of Rational Points on $C_n$

The author determines the set of rational points $C_n(\mathbb{Q})$ for $n=6, 7, 8$ :

For $n=6, 8$ : The curve $C_n$ admits a degree 2 map to an elliptic curve $E$ of rank 0 over $\mathbb{Q}$ . By computing $E(\mathbb{Q})$ and taking preimages, $C_n(\mathbb{Q})$ is determined to be finite and trivial (containing only points where $x=0$ ).
For $n=7$ : The Jacobian $J$ of $C_7$ has rank 0. The torsion subgroup is computed (order 7), and Riemann-Roch spaces of degree 1 divisors are analyzed to find $C_7(\mathbb{Q}) = \{(0,1), (0,-1), \infty\}$ .

C. Divisor Theory and Riemann-Roch

To analyze points $P \in F_n(K)$ where $K$ is a quartic field with Galois group $A_4$ :

Let $Q = \pi(P) \in C_n(K)$ .
Construct the effective degree 4 divisor $D$ as the sum of the Galois conjugates of $Q$ .
Use the Riemann-Roch theorem and Clifford's Theorem to analyze the linear system $|D|$ .
Since $K$ is a primitive field, the author argues that if $D$ corresponds to a reducible divisor or a divisor defined over a subfield, it leads to a contradiction or implies the point is trivial.

D. Reduction to Elliptic/Hyperelliptic Curves

For the specific cases where $D$ is not immediately reducible, the author constructs auxiliary curves:

For $n=7, a=3,4$ : The problem reduces to finding rational points on a hyperelliptic curve $H: y^2 = 2x^7 - 33$ . The Jacobian of $H$ is shown to have rank 0 and trivial torsion, implying $H(\mathbb{Q}) = \{\infty\}$ .
For $n=8, a=2$ : The problem reduces to an elliptic curve $E: y^2 = x^3 + 16x$ (Cremona label 64a4). The rational points are computed to be trivial.

E. Primitive Field Lemma

A key lemma (Lemma 11) is utilized: If there is a degree $m$ map $\pi: C \to C'$ and $K$ is a primitive number field with $d > m$ , then $C'(K) = C'(\mathbb{Q}) \implies C(K) = C(\mathbb{Q})$ . This allows the transfer of results from the elliptic curves back to the Fermat curves.

3. Key Contributions and Results

Theorem 1 (Non-existence of $A_4$ Quartic Points)

Statement: For $n=7$ and $n=8$ , there are no non-trivial solutions to $x^n + y^n = z^n$ over a quartic field $K$ if the Galois closure of $K$ has Galois group $A_4$ .
Significance: This resolves a specific case of the "primitive points" problem for low-degree Fermat curves, ruling out a specific class of quartic extensions.

Theorem 2 (Conditions for $F_6$ )

Statement: Let $K$ be a primitive number field of degree $\geq 3$ . If $E(K) = E(\mathbb{Q})$ for either of the elliptic curves with Cremona labels 27a3 or 432b1, then there are no non-trivial solutions to $x^6 + y^6 = z^6$ over $K$ .

Theorem 3 (Conditions for $F_8$ )

Statement: Let $K$ be a primitive number field of degree $\geq 3$ . If $E(K) = E(\mathbb{Q})$ for the elliptic curve with Cremona label 64a4, then there are no non-trivial solutions to $x^8 + y^8 = z^8$ over $K$ .

4. Significance and Applications

Modular Approach to Fermat's Last Theorem: The resolution of the Fermat equation over a fixed number field $K$ often relies on the modular approach (using Frey curves and modular forms). A critical step in this process is ruling out the existence of non-trivial $K$ -rational points on $F_n$ for small $n$ . This paper provides the necessary tools to rule out these points for specific classes of number fields (primitive fields with specific Galois groups or elliptic curve properties).
Classification of Low-Degree Points: The paper contributes to the ongoing effort to classify algebraic points of low degree on Fermat curves, extending previous work by Gross, Rohrlich, Klassen, Tzermias, and Kraus.
Computational Verification: The results are backed by rigorous computational verification using Magma, including rank bounds, torsion subgroup calculations, and Riemann-Roch space bases. All code is made available on GitHub.

5. Conclusion

Khawaja successfully demonstrates that for Fermat curves of degrees 6, 7, and 8, the existence of non-trivial points over primitive number fields is highly restricted. By mapping these curves to hyperelliptic and elliptic curves and leveraging the properties of primitive Galois groups (specifically $A_4$ ), the paper proves the non-existence of such points under clearly defined arithmetic conditions. This work bridges the gap between abstract Galois theory and concrete Diophantine equations, offering a robust framework for future investigations into Fermat curves over number fields.