Related papers: Fermat's Last Theorem for Selmer sections
Let $\mathcal{X}$ be an irreducible algebraic curve defined over a finite field $\mathbb{F}_q$ of characteristic $p>2$. Assume that the $\mathbb{F}_q$-automorphism group of $\mathcal{X}$ admits as an automorphism group the direct product of…
Let C be an algebraic curve in a power of an elliptic curve, both defined over the algebraic numbers. We show that the set of algebraic points of C which satisfy certain conditions is a finite set. This result has implications with the…
Let $E$ be the Fermat cubic curve over $\bar{\mathbb{Q}}$. In 2002, Schoen proved that the group $CH^2(E^3)/\ell$ is infinite for all primes $\ell\equiv 1\pmod 3$. We show that $CH^2(E^3)/\ell$ is infinite for all prime numbers $\ell> 5$.…
This version improves the old version entitled "On the modularity of elliptic curves with a residually irreducible representation". Let $E$ be an elliptic curve over an abelian totally real field $K$ unramified at 3,5, and 7. We prove that…
It is known, that for every elliptic curve over Q there exists a quadratic extension in which the rank does not go up. For a large class of elliptic curves, the same is known with the rank replaced by the 2-Selmer group. We show, however,…
Using modularity, level lowering, and explicit computations with Hilbert modular forms, Galois representations and ray class groups, we show that for $3 \le d \le 23$ squarefree, $d \ne 5$, $17$, the Fermat equation $x^n+y^n=z^n$ has no…
Reed conjectured that for every $\varepsilon>0$ and every integer $\Delta$, there exists $g$ such that the fractional total chromatic number of every graph with maximum degree $\Delta$ and girth at least $g$ is at most…
We show that an elementary proof of Fermat's Last Theorem (FLT) exists. Our paper also extends the scope of FLT from integers to all rational numbers.
We classify all geometric torsion points on the Fermat quotients $y^n = x^d + 1$ where $n, d \ge 2$ are coprime. In addition, we classify all geometric torsion points on the generic superelliptic curve $y^n = (x - a_1) \cdots (x - a_d)$,…
An elementary proof is given for a nonterminating "strange" cubic $_7F_6$-series summation formula of Gasper and Rahman, through the modified Abel lemma on summation by parts. As a byproduct, an interesting nonterminating…
Let $K$ be a totally real number field of odd degree. Let $l \geq 5$ be a prime with $l \nmid [K:\mathbb{Q}]$ and $\gcd(\frac{l-1}{2}, [K:\mathbb{Q}])=1$. We prove that if $2$ is inert in $K$, $l$ is non-Wieferich, i.e., $2^{l-1} \not\equiv…
In this paper we formulate and prove a combinatorial version of the section conjecture for finite groups acting on finite graphs. We apply this result to the study of rational points and show that finite descent is the only obstruction to…
We show that any Fermat hypercubic is apolar to a trigonal curve, and vice versa. We show also that the Waring number of the polar hypercubic associated to a tetragonal curve of genus $g$ is at most $\lceil 3/2g - 7/2\rceil$, and for a…
Let $\mathbb{F}_q$ denote a finite field of order $q$. A rational function $r(x)\in \mathbb{Q}(x)$ is said to be arithmetically exceptional if it induces a permutation on $\mathbb{P}^1(\mathbb{F}_p)$ for infinitely many primes $p$. Based on…
A birationally liftable Galois section s of a hyperbolic curve X/k over a number field k yields an adelic point x(s) in the smooth completion of X. We show that x(s) is X-integral outside a set of places of Dirichlet density 0, or s is…
Let $K$ be a number field, and let $E/K$ be an elliptic curve over $K$. The Mordell--Weil theorem asserts that the $K$-rational points $E(K)$ of $E$ form a finitely generated abelian group. In this work, we complete the classification of…
Let $F/F_0$ be a quadratic extension of non-Archimedean locally compact fields of residual characteristic $p\neq2$ with Galois automorphism $\sigma$, and let $R$ be an algebraically closed field of characteristic $\ell\notin\{0,p\}$. We…
The Serre conjecture II predicts that every torsor under a semisimple, simply connected, algebraic group over a field of cohomological dimension at most 2 and of degree of imperfection at most 1 has a rational point. We generalize this…
A number of authors have proven explicit versions of Lehmer's conjecture for polynomials whose coefficients are all congruent to 1 modulo m. We prove a similar result for polynomials f(X) that are divisible in (Z/mZ)[X] by a polynomial of…
We prove two results concerning the generalized Fermat equation $x^4+y^4=z^p$. In particular we prove that the First Case is true if $p \neq 7$.