Two results on $x^r + y^r = dz^p$

Nuno Freitas,Filip Najman
2023-06-11
Abstract:This note proves two theorems regarding Fermat-type equation $x^r + y^r = dz^p$ where $r \geq 5$ is a prime. Our main result shows that, for infinitely many integers~$d$, the previous equation has no non-trivial primitive solutions such that $2 \mid x+y$ or $r \mid x+y$, for a set of exponents $p$ of positive density. We use the modular method with a symplectic argument to prove this result.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence of solutions to Fermat - type equations of the form \(x^r + y^r = dz^p\). Specifically, the author is concerned with the fact that when \(r\geq5\) is a prime number, for infinitely many integers \(d\), the equation has no non - trivial primitive solutions under certain conditions. ### Main problem description 1. **Equation form**: \[ x^r + y^r = dz^p \] where \(r\) and \(p\) are prime numbers greater than 3, \(d\) is an odd positive integer and not an \(r\)-th power, and \(r\nmid d\). 2. **Definition of solutions**: - A solution \((a, b, c)\) is called a **primitive solution** if \(\gcd(a, b, c)=1\). - A solution is called **non - trivial** if \(abc\neq0\). 3. **Research objectives**: - Prove that for infinitely many integers \(d\), the above equation has no non - trivial primitive solutions under specific conditions (such as \(2\mid a + b\) or \(r\mid a + b\)). - Use the modular method and symplectic argument to prove this result. ### Key conditions - **2 - adic and r - adic conditions**: These conditions naturally occur in the study of Fermat - type equations. In particular, \(r\mid a + b\) is equivalent to \(r\mid c\), which is similar to what Darmon calls the first - class solutions. ### Main theorems - **Theorem 1.2**: For a set of prime exponents \(p\) with positive density, the equation \(x^r + y^r = dz^p\) has no non - trivial primitive solutions satisfying \(2\mid a + b\) or \(r\mid a + b\). - **Theorem 1.3**: For sufficiently large prime exponents \(p\equiv\pm1\pmod{r}\), the equation \(x^r + y^r = dz^p\) has no non - trivial primitive solutions satisfying \(p\mid a + b\). ### Methods - **Modular method**: Construct Frey curves and use modular representation theory to derive contradictions. - **Symplectic argument**: Combine with the modular method and use symplectic criteria to further restrict the existence of solutions. ### Conclusion By combining the modular method and symplectic argument, this paper successfully proves that under specific conditions, Fermat - type equations of the form \(x^r + y^r = dz^p\) have no non - trivial primitive solutions for infinitely many integers \(d\) and a set of prime exponents \(p\) with positive density. This result is of great significance for understanding the solution structure of Fermat - type equations.