Source author record

Alain Kraus

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
1topics
2close collaborators

Published work

9 publications

preprint2022arXiv

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

Let p≥3p \geq 3 be a prime. Let E/QE/\mathbb{Q} and E′/QE'/\mathbb{Q} be elliptic curves with isomorphic pp-torsion modules E[p]E[p] and E′[p]E'[p]. Assume further that either (i) every GQG_\mathbb{Q}-modules isomorphism ϕ:E[p]→E′[p]ϕ: E[p] \to E'[p] admits a multiple λ⋅ϕλ\cdot ϕ with λ∈Fp×λ\in \mathbb{F}_p^\times preserving the Weil pairing; or (ii) no GQG_\mathbb{Q}-isomorphism ϕ:E[p]→E′[p]ϕ: 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 ℓ≠p\ell \neq p. Firstly, we determine the primes ℓ\ell for which the local curves E/QℓE/\mathbb{Q}_\ell and E′/Qℓ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/QℓE/\mathbb{Q}_\ell and E′/Qℓ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 pp. We apply our methods to show the non-existence of rational points on certain hyperelliptic curves of the form y2=xp−ℓy^2 = x^p - \ell and y2=xp−2ℓy^2 = x^p - 2\ell where ℓ\ell is a prime; we also give incremental results on the Fermat equation x2+y3=zpx^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 pp-torsion of two non-isogenous elliptic curves defined over Q\mathbb{Q}.

preprint2020arXiv

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

Let FF be a number field and OF\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λ+ μ= 1, λ,μ∈OF×λ, μ\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

On the unit equation over cyclic number fields of prime degree

Let ℓ≠3\ell \ne 3 be a prime. We show that there are only finitely many cyclic number fields FF of degree ℓ\ell for which the unit equation λ+μ=1,λ, μ∈OF×λ+ μ= 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 Q(ζ11)+\mathbb{Q}(ζ_{11})^+.

preprint2016arXiv

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

Let pp be a prime number. In the early 2000s, it was proved that the Fermat equations with coefficients 3xp+8yp+21zp=0 and 3xp+4yp+5zp=03x^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 pp with Dirichlet density 1/4{1/4} and 1/8{1/8}, respectively. In this note, using a recent criterion to decide if two elliptic curves over Q\mathbb{Q} with certain types of additive reduction at 2 have symplectically isomorphic pp-torsion modules, we improve these densities to 3/8{3/8}.

preprint2016arXiv

Contre-exemples au principe de Hasse pour les courbes de Fermat

Let pp be an odd prime number. In this paper, we are concerned with the behaviour of Fermat curves defined over Q{\bf Q} given by equations axp+byp+czp=0ax^p+by^p+cz^p=0, with respect to the local-global Hasse principle. It is conjectured that there exist infinitely many Fermat curves of exponent pp which are counterexamples to the Hasse principle. It is a consequence of the abc-conjecture if p≥5p\geq 5. Using a cyclotomic approach due to H. Cohen and Chebotarev's density theorem, we obtain a partial result towards this conjecture, by proving it for p≤19p\leq 19.

preprint2014arXiv

Équation de Fermat et nombres premiers inertes

Let KK be a number field and pp a prime number ≥5\geq 5. Let us denote by μpμ_p the group of the ppth roots of unity. We define pp to be KK-regular if pp does not divide the class number of the field K(μp)K(μ_p). Under the assumption that pp is KK-regular and inert in KK, we establish the second case of Fermat's Last Theorem over KK for the exponent pp. We use in the proof classical arguments, as well as Faltings' theorem stating that a curve of genus at least two over KK has a finite number of KK-rational points. Moreover, if KK is an imaginary quadratic field, other than Q(−3){\bf Q}(\sqrt{-3}), we deduce a statement which allows often in practice to prove Fermat's Last Theorem over KK for the KK-regular exponents.

preprint2014arXiv

Remarques sur le premier cas du théorème de Fermat sur les corps de nombres

The first case of Fermat's Last Theorem for a prime exponent pp can sometimes be proved using the existence of local obstructions. In 1823, Sophie Germain has obtained an important result in this direction by establishing that, if 2p+12p+1 is a prime number, the first case of Fermat's Last Theorem is true for pp. In this paper, we investigate such obstructions over number fields. We obtain analogous results on Sophie Germain type criteria, for imaginary quadratic fields. Furthermore, extending a well known statement over Q{\bf Q}, we give an easily testable condition which allows occasionally to prove the first case of Fermat's Last Theorem over number fields for a prime number p≡2mod  3p\equiv 2 \mod 3.

preprint2014arXiv

Sur le théorème de Fermat sur Q(5){\bf Q}(\sqrt{5})

Let pp be an odd prime number. Using modular arguments, we give an easy testable condition which allows often to prove Fermat's Last Theorem over the quadratic field Q(5){\bf Q}(\sqrt{5}) for the exponent pp. It is related to the Wendt's resultant of the polynomials Xn−1X^n-1 and (X+1)n−1(X+1)^n-1. We deduce Fermat's Last Theorem over this field in case one has 5≤p<1075\leq p<10^7, and we obtain analogous results on Sophie Germain type criteria.

Research graph

See the researcher in context

Open full explorer

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.