On the solutions of the generalized Fermat equation over totally real number fields

Satyabrat Sahoo
2024-04-14
Abstract:Let $K$ be a totally real number field, and $ \mathcal{O}_K$ be the ring of integers of $K$. In this article, we study the asymptotic solutions of the generalized Fermat equation, i.e., $Ax^p+By^p+Cz^p=0$ over $K$ of prime exponent $p$, where $A,B,C \in \mathcal{O}_K \setminus \{0\}$ with $ABC$ is even (in the sense that $\mathfrak{P}| ABC$, for some prime ideal $\mathfrak{P}$ of $ \mathcal{O}_K$ with $\mathfrak{P} |2$). For certain class of fields $K$, we prove that the equation $Ax^p+By^p+Cz^p=0$ has no asymptotic solution in $K^3$ (resp., of certain type in $K^3$), under some assumptions on $A,B,C$ (resp., for all $A,B,C \in \mathcal{O}_K \setminus \{0\}$ with $ABC$ is even). We also present several purely local criteria of $K$ such that $Ax^p+By^p+Cz^p=0$ has no asymptotic solutions in $K^3$.
Number Theory
What problem does this paper attempt to address?
What problem does this paper attempt to solve? #### Paper overview: This paper aims to study and prove the existence of asymptotic solutions of the generalized Fermat equation \(Ax^p + By^p + Cz^p = 0\) over certain totally real fields \(K\). Specifically, the author explores whether this equation has asymptotic solutions when \(A, B, C\in\mathcal{O}_K\setminus\{0\}\) and \(ABC\) is even (that is, there exists a prime ideal \(P\) such that \(P\mid ABC\) and \(P\mid 2\)). #### Main problem description: 1. **Research background**: - The generalized Fermat equation is one of the classic Diophantine equations, in the form of \(Ax^p + By^q + Cz^r = 0\), where \(A, B, C, p, q, r\in\mathbb{Z}\setminus\{0\}\), \(A, B, C\) are relatively prime, and \(p, q, r\geq 2\) satisfy \(\frac{1}{p}+\frac{1}{q}+\frac{1}{r}< 1\). - Fermat's Last Theorem (Wiles' theorem) has proved that the standard Fermat equation \(x^n + y^n = z^n\) has no non - trivial relatively prime integer solutions when \(n\geq 3\). 2. **Specific objectives**: - To study the asymptotic solutions of the generalized Fermat equation \(Ax^p + By^p + Cz^p = 0\) over the totally real field \(K\), where \(A, B, C\in\mathcal{O}_K\setminus\{0\}\) and \(ABC\) is even. - To prove that for certain classes of totally real fields \(K\), this equation has no asymptotic solutions in \(K^3\). - To provide several local conditions to ensure that the equation has no asymptotic solutions in \(W_K\) and \(K^3\). #### Specific contributions: - **Theorem 2.5**: For the totally real field \(K\) satisfying certain conditions, it is proved that the equation \(Ax^p + By^p + Cz^p = 0\) has no asymptotic solutions in \(W_K\). - **Theorem 2.7**: For the totally real field \(K\) satisfying condition (ES), if \(A, B, C\in\mathcal{O}_K\setminus\{0\}\) satisfy \(A\pm B\pm C\neq 0\) and \(v_P(ABC)\equiv 0\) or \(2v_P(2)\ (\text{mod}\ 3)\), then the equation \(Ax^p + By^p + Cz^p = 0\) has no asymptotic solutions in \(K^3\). #### Methods and tools: - Use the theory of modular forms and the properties of semi - stable elliptic curves. - Utilize the irreducibility of the mod - \(p\) Galois representation and the descent results. - Apply the Eichler - Shimura conjecture and some of its results. Through these methods, the author has proved the non - existence of solutions of the generalized Fermat equation under specific conditions and provided new perspectives and tools for further research.