Source author record

Nuno Freitas

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT

Catalog footprint

Research overview

18works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On the symplectic type of isomorphims of the p-torsion of elliptic curves

Let $p \geq 3$ be a prime. Let $E/\mathbb{Q}$ and $E'/\mathbb{Q}$ be elliptic curves with isomorphic $p$ -torsion modules $E[p]$ and $E'[p]$ . Assume further that either (i) every $G_\mathbb{Q}$ -modules isomorphism $ϕ: E[p] \to E'[p]$ admits a multiple $λ\cdot ϕ$ with $λ\in \mathbb{F}_p^\times$ preserving the Weil pairing; or (ii) no $G_\mathbb{Q}$ -isomorphism $ϕ: E[p] \to E'[p]$ preserves the Weil pairing. This paper considers the problem of deciding if we are in case (i) or (ii). Our approach is to consider the problem locally at a prime $\ell \neq p$ . Firstly, we determine the primes $\ell$ for which the local curves $E/\mathbb{Q}_\ell$ and $E'/\mathbb{Q}_\ell$ contain enough information to decide between (i) or (ii). Secondly, we establish a collection of criteria, in terms of the standard invariants associated to minimal Weierstrass models of $E/\mathbb{Q}_\ell$ and $E'/\mathbb{Q}_\ell$ , to decide between (i) and (ii). We show that our results give a complete solution to the problem by local methods away from $p$ . We apply our methods to show the non-existence of rational points on certain hyperelliptic curves of the form $y^2 = x^p - \ell$ and $y^2 = x^p - 2\ell$ where $\ell$ is a prime; we also give incremental results on the Fermat equation $x^2 + y^3 = z^p$ . As a different application, we discuss variants of a question raised by Mazur concerning the existence of symplectic isomorphisms between the $p$ -torsion of two non-isogenous elliptic curves defined over $\mathbb{Q}$ .

preprint2022arXiv

Some extensions of the modular method and Fermat equations of signature $(13,13,n)$

We provide several extensions of the modular method which were motivated by the problem of completing previous work to prove that, for any integer $n \geq 2$ , the equation $x^{13} + y^{13} = 3 z^n$ has no non-trivial solutions. In particular, we present four elimination techniques which are based on: (1) establishing reducibility of certain residual Galois representations over a totally real field; (2) generalizing image of inertia arguments to the setting of abelian surfaces; (3) establishing congruences of Hilbert modular forms without the use of often impractical Sturm bounds; and (4) a unit sieve argument which combines information from classical descent and the modular method. The extensions are of broader applicability and provide further evidence that it is possible to obtain a complete resolution of a family of generalized Fermat equations by remaining within the framework of the modular method. As a further illustration of this, we complete a theorem of Anni-Siksek to show that, for $\ell, m\ge 5$ , the only solutions to the equation $x^{2\ell} + y^{2m} = z^{13}$ are the trivial ones.

preprint2021arXiv

Local criteria for the unit equation and the asymptotic Fermat's Last Theorem

Let F be a totally real number field of odd degree. We prove several purely local criteria for the asymptotic Fermat's Last Theorem to hold over F, and also for the non-existence of solutions to the unit equation over F. For example, if 2 totally ramifies and 3 splits completely in F, then the asymptotic Fermat's Last Theorem holds over F.

preprint2020arXiv

Chevalley's class number formula, unit equations and the asymptotic Fermat's Last Theorem

Let $F$ be a number field and $\mathcal{O}_F$ its ring of integers. We use Chevalley's ambiguous class number formula to give a criterion for the non-existence of solutions to the unit equation $λ+ μ= 1$ , $λ, μ\in \mathcal{O}_F^\times$ . This is then used to strengthen a criterion for the asymptotic Fermat's Last Theorem due to Freitas and Siksek.

preprint2020arXiv

Global methods for the symplectic type of congruences between elliptic curves

We describe a systematic investigation into the existence of congruences between the mod $p$ torsion modules of elliptic curves defined over $\mathbb{Q}$ , including methods to determine the symplectic type of such congruences. We classify the existence and symplectic type of mod $p$ congruences between twisted elliptic curves over number fields, giving global symplectic criteria that apply in situations where the available local methods may fail. We report on the results of applying our methods for all primes $p\ge7$ to the elliptic curves in the LMFDB database, which currently includes all elliptic curves of conductor less than ${500000}$ . We also show that while such congruences exist for each $p\le17$ , there are none for $p \geq 19$ in the database, in line with a strong form of the Frey-Mazur conjecture.

preprint2020arXiv

On the unit equation over cyclic number fields of prime degree

Let $\ell \ne 3$ be a prime. We show that there are only finitely many cyclic number fields $F$ of degree $\ell$ for which the unit equation $λ+ μ= 1, \qquad λ,~μ\in \mathcal{O}_F^\times$ has solutions. Our result is effective. For example, we deduce that the only cyclic quintic number field for which the unit equation has solutions is $\mathbb{Q}(ζ_{11})^+$ .

preprint2016arXiv

A result on the equation $x^p + y^p = z^r$ using Frey abelian varieties

We prove a diophantine result on generalized Fermat equations of the form $x^p + y^p = z^r$ which for the first time requires the use of Frey abelian varieties of dimension $\geq 2$ in Darmon's program. For that, we provide an irreducibility criterion for the mod $\mathfrak{p}$ representations attached to certain abelian varieties of $\text{GL}_2$ -type over totally real fields.

preprint2016arXiv

An application of the symplectic argument to some Fermat-type Equations

Let $p$ be a prime number. In the early 2000s, it was proved that the Fermat equations with coefficients $3x^p + 8y^p + 21z^p =0\quad \text{ and } \quad 3x^p + 4y^p + 5z^p=0$ do not admit non-trivial solutions for a set of exponents $p$ with Dirichlet density ${1/4}$ and ${1/8}$ , respectively. In this note, using a recent criterion to decide if two elliptic curves over $\mathbb{Q}$ with certain types of additive reduction at 2 have symplectically isomorphic $p$ -torsion modules, we improve these densities to ${3/8}$ .

preprint2016arXiv

On the Fermat-type Equation $x^3 + y^3 = z^p$

We prove that the Fermat-type equation $x^3 + y^3 = z^p$ has no solutions $(a,b,c)$ satisfying $abc \ne 0$ and $\gcd(a,b,c)=1$ when $-3$ is not a square mod~ $p$ . This improves to approximately $0.844$ the Dirichlet density of the set of prime exponents to which the previous equation is known to not have such solutions. For the proof we develop a criterion of independent interest to decide if two elliptic curves with certain type of potentially good reduction at 2 have symplectically or anti-symplectically isomorphic $p$ -torsion modules.

preprint2014arXiv

Base change for Elliptic Curves over Real Quadratic Fields

Let E be an elliptic curve over a real quadratic field K and F/K a totally real finite Galois extension. We prove that E/F is modular.

preprint2014arXiv

Criteria for irreducibility of mod p representations of Frey curves

Let K be a totally real Galois number field and let A be a set of elliptic curves over K. We give sufficient conditions for the existence of a finite computable set of rational primes P such that for p not in P and E in A, the representation on E[p] is irreducible. Our sufficient conditions are often satisfied for Frey elliptic curves associated to solutions of Diophantine equations; in that context, the irreducibility of the mod p representation is a hypothesis needed for applying level-lowering theorems. We illustrate our approach by improving on an existing result for Fermat-type equations of signature (13, 13, p).

preprint2014arXiv

Criteria for p-ordinarity of families of elliptic curves over infinitely many number fields

Let $K_i$ be a number field for all $i \in \mathbb{Z}_{> 0}$ and let $\mathcal{E}$ be a family of elliptic curves containing infinitely many members defined over $K_i$ for all $i$ . Fix a rational prime $p$ . We give sufficient conditions for the existence of an integer $i_0$ such that, for all $i > i_0$ and all elliptic curve $E \in \mathcal{E}$ having good reduction at all $\mathfrak{p} \mid p$ in $K_i$ , we have that $E$ has good ordinary reduction at all primes $\mathfrak{p} \mid p$ .

preprint2014arXiv

Elliptic Curves over Real Quadratic Fields are Modular

We prove that all elliptic curves defined over real quadratic fields are modular.

preprint2014arXiv

Fermat's Last Theorem over some small real quadratic fields

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 non-trivial solutions over the quadratic field $\mathbb{Q}(\sqrt{d})$ for $n \ge 4$ . Furthermore, we show for $d=17$ that the same holds for prime exponents $n \equiv 3$ , $5 \pmod{8}$ .

preprint2014arXiv

The Asymptotic Fermat's Last Theorem for Five-Sixths of Real Quadratic Fields

Let $K$ be a totally real field. By the asymptotic Fermat's Last Theorem over $K$ we mean the statement that there is a constant $B_K$ such that for prime exponents $p>B_K$ the only solutions to the Fermat equation $a^p + b^p + c^p = 0$ with $a$ , $b$ , $c$ in $K$ are the trivial ones satisfying $abc = 0$ . With the help of modularity, level lowering and image of inertia comparisons we give an algorithmically testable criterion which if satisfied by $K$ implies the asymptotic Fermat's Last Theorem over $K$ . Using techniques from analytic number theory, we show that our criterion is satisfied by $K = \mathbb{Q}(\sqrt{d})$ for a subset of $d$ having density $5/6$ among the squarefree positive integers. We can improve this to density 1 if we assume a standard "Eichler-Shimura" conjecture.

preprint2013arXiv

Recipes to Fermat-type equations of the form x^r + y^r = Cz^p

We describe a strategy to attack infinitely many Fermat-type equations of signature $(r,r,p)$ , where $r \geq 7$ is a fixed prime and $p$ is a prime allowed to vary. We use a variant of the modular method over totally real subfields of $\mathbb{Q}(ζ_r)$ . In particular, to a solution $(a,b,c)$ of $x^r + y^r =Cz^p$ we will attach several Frey curves $E=E_{(a,b)}$ . We prove modularity of all the Frey curves and the exsitence of a constant constant $M_r$ , depending only on $r$ , such that for all $p>M_r$ the representations $\barρ_{E,p}$ are absolutely irreducible. Along the way, we also prove modularity of certain elliptic curves that are semistable at all $v \mid 3$ .\par Finally, we illustrate our methods by proving arithmetic statements about equations of signature $(7,7,p)$ . Among which we emphasize that, using a multi-Frey technique, we show there is some constant $M$ such that if $p > M$ then the equation $x^7 + y^7 = 3z^p$ has no non-trivial primitive solutions.

preprint2012arXiv

Fermat-type equations of signature (13,13,p) via Hilbert cuspforms

In this paper we prove that equations of the form $x^{13} + y^{13} = Cz^{p}$ have no non-trivial primitive solutions (a,b,c) such that $13 \nmid c$ if $p > 4992539$ for an infinite family of values for $C$ . Our method consists in relating a solution (a,b,c) to the previous equation to a solution (a,b,c_1) of another Diophantine equation with coefficients in $\Q(\sqrt{13})$. We then construct Frey-curves associated with (a,b,c_1) and we prove modularity of them in order to apply the modular approach via Hilbert cusp forms over $\Q(\sqrt{13})$. We also prove a modularity result for elliptic curves over totally real cyclic number fields of interest by itself.

preprint2011arXiv

The Fermat-type equations x^5 + y^5 = 2z^p or 3z^p solved through Q-curves

We solve the Diophantine equations $x^5 + y^5 = dz^p$ with $d=2, 3$ for a set of prime numbers of density 1/4, 1/2, respectively. The method consists in relating a possible solution to another Diophantine equation and solving the later by using Q-curves and a generalized modular technique as in work of Ellenberg and Dieulefait-Jimenez along with some new techniques for eliminating newforms.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Nuno Freitas

Research overview

Is this your work?

18 publications

On the symplectic type of isomorphims of the p-torsion of elliptic curves

Some extensions of the modular method and Fermat equations of signature $(13,13,n)$

Local criteria for the unit equation and the asymptotic Fermat's Last Theorem

Chevalley's class number formula, unit equations and the asymptotic Fermat's Last Theorem

Global methods for the symplectic type of congruences between elliptic curves

On the unit equation over cyclic number fields of prime degree

A result on the equation $x^p + y^p = z^r$ using Frey abelian varieties

An application of the symplectic argument to some Fermat-type Equations

On the Fermat-type Equation $x^3 + y^3 = z^p$

Base change for Elliptic Curves over Real Quadratic Fields

Criteria for irreducibility of mod p representations of Frey curves

Criteria for p-ordinarity of families of elliptic curves over infinitely many number fields

Elliptic Curves over Real Quadratic Fields are Modular

Fermat's Last Theorem over some small real quadratic fields

The Asymptotic Fermat's Last Theorem for Five-Sixths of Real Quadratic Fields

Recipes to Fermat-type equations of the form x^r + y^r = Cz^p

Fermat-type equations of signature (13,13,p) via Hilbert cuspforms

The Fermat-type equations x^5 + y^5 = 2z^p or 3z^p solved through Q-curves

See the researcher in context

Building this map preview

Nuno Freitas

Research overview

Is this your work?

18 publications

On the symplectic type of isomorphims of the p-torsion of elliptic curves

Some extensions of the modular method and Fermat equations of signature (13,13,n)(13,13,n)(13,13,n)

Local criteria for the unit equation and the asymptotic Fermat's Last Theorem

Chevalley's class number formula, unit equations and the asymptotic Fermat's Last Theorem

Global methods for the symplectic type of congruences between elliptic curves

On the unit equation over cyclic number fields of prime degree

A result on the equation xp+yp=zrx^p + y^p = z^rxp+yp=zr using Frey abelian varieties

An application of the symplectic argument to some Fermat-type Equations

On the Fermat-type Equation x3+y3=zpx^3 + y^3 = z^px3+y3=zp

Base change for Elliptic Curves over Real Quadratic Fields

Criteria for irreducibility of mod p representations of Frey curves

Criteria for p-ordinarity of families of elliptic curves over infinitely many number fields

Elliptic Curves over Real Quadratic Fields are Modular

Fermat's Last Theorem over some small real quadratic fields

The Asymptotic Fermat's Last Theorem for Five-Sixths of Real Quadratic Fields

Recipes to Fermat-type equations of the form x^r + y^r = Cz^p

Fermat-type equations of signature (13,13,p) via Hilbert cuspforms

The Fermat-type equations x^5 + y^5 = 2z^p or 3z^p solved through Q-curves

See the researcher in context

Building this map preview

Some extensions of the modular method and Fermat equations of signature $(13,13,n)$

A result on the equation $x^p + y^p = z^r$ using Frey abelian varieties

On the Fermat-type Equation $x^3 + y^3 = z^p$