Showing 1–11 of 11 results for author: Koutsianas, A

A modular approach to Fermat equations of signature $(p,p,5)$ using Frey hyperelliptic curves

Authors: Imin Chen, Angelos Koutsianas

Abstract: In this paper we carry out the steps of Darmon's program for the generalized Fermat equation $$ x^p + y^p = z^5. $$ In particular, we develop the machinery necessary to prove an optimal bound on the exponent $p$ for solutions satisfying certain $2$-adic and $5$-adic conditions which are natural from the point of view of the method. The above equation is an example of a generalized Fermat equation… ▽ More In this paper we carry out the steps of Darmon's program for the generalized Fermat equation $$ x^p + y^p = z^5. $$ In particular, we develop the machinery necessary to prove an optimal bound on the exponent $p$ for solutions satisfying certain $2$-adic and $5$-adic conditions which are natural from the point of view of the method. The above equation is an example of a generalized Fermat equation for which higher dimensional Frey varieties are needed for the modular method to work and thus represents an interesting test case for Darmon's program. △ Less

Submitted 5 October, 2022; originally announced October 2022.

Comments: 23 pages

MSC Class: 1141

Weak Approximation for $0$-cycles on a product of elliptic curves

Authors: Evangelia Gazaki, Angelos Koutsianas

Abstract: In the 1980's Colliot-Thélène, Sansuc, Kato and S. Saito proposed conjectures related to local-to-global principles for $0$-cycles on arbitrary smooth projective varieties over a number field. We give some evidence for these conjectures for a product $X=E_1\times E_2$ of two elliptic curves. In the special case when $X=E\times E$ is the self-product of an elliptic curve $E$ over $\mathbb{Q}$ with… ▽ More In the 1980's Colliot-Thélène, Sansuc, Kato and S. Saito proposed conjectures related to local-to-global principles for $0$-cycles on arbitrary smooth projective varieties over a number field. We give some evidence for these conjectures for a product $X=E_1\times E_2$ of two elliptic curves. In the special case when $X=E\times E$ is the self-product of an elliptic curve $E$ over $\mathbb{Q}$ with potential complex multiplication, we show that the places of good ordinary reduction are often involved in a Brauer-Manin obstruction for $0$-cycles over a finite base change. We give many examples when these $0$-cycles can be lifted to global ones. △ Less

Submitted 3 January, 2023; v1 submitted 30 December, 2021; originally announced December 2021.

Comments: 26 pages, Appendix by author two

Perfect powers in sum of three fifth powers

Authors: Pranabesh Das, Pallab Kanti Dey, Angelos Koutsianas, Nikos Tzanakis

Abstract: In this paper we determine the perfect powers that are sums of three fifth powers in an arithmetic progression. More precisely, we completely solve the Diophantine equation $$ (x-d)^5 + x^5 + (x + d)^5 = z^n,~n\geq 2, $$ where $d,x,z \in \mathbb{Z}$ and $d = 2^a5^b$ with $a,b\geq 0$. In this paper we determine the perfect powers that are sums of three fifth powers in an arithmetic progression. More precisely, we completely solve the Diophantine equation $$ (x-d)^5 + x^5 + (x + d)^5 = z^n,~n\geq 2, $$ where $d,x,z \in \mathbb{Z}$ and $d = 2^a5^b$ with $a,b\geq 0$. △ Less

Submitted 28 August, 2020; v1 submitted 18 August, 2020; originally announced August 2020.

Comments: 21 pages, minor modifications in version 2

The equation $(x-d)^5 + x^5 + (x+d)^5 = y^n$

Authors: Michael A. Bennett, Angelos Koutsianas

Abstract: In this paper, we solve the equation of the title under the assumption that $\gcd(x,d)=1$ and $n\geq 2$. This generalizes earlier work of the first author, Patel and Siksek [BPS16]. Our main tools include Frey-Hellegouarch curves and associated modular forms, and an assortment of Chabauty-type techniques for determining rational points on curves of small positive genus. In this paper, we solve the equation of the title under the assumption that $\gcd(x,d)=1$ and $n\geq 2$. This generalizes earlier work of the first author, Patel and Siksek [BPS16]. Our main tools include Frey-Hellegouarch curves and associated modular forms, and an assortment of Chabauty-type techniques for determining rational points on curves of small positive genus. △ Less

Submitted 18 June, 2020; originally announced June 2020.

A robust implementation for solving the $S$-unit equation and several applications

Authors: Alejandra Alvarado, Angelos Koutsianas, Beth Malmskog, Christopher Rasmussen, Christelle Vincent, Mckenzie West

Abstract: Let $K$ be a number field, and $S$ a finite set of places in $K$ containing all infinite places. We present an implementation for solving the $S$-unit equation $x + y = 1$, $x,y \in\mathscr{O}_{K,S}^\times$ in the computer algebra package SageMath. This paper outlines the mathematical basis for the implementation. We discuss and reference the results of extensive computations, including exponent b… ▽ More Let $K$ be a number field, and $S$ a finite set of places in $K$ containing all infinite places. We present an implementation for solving the $S$-unit equation $x + y = 1$, $x,y \in\mathscr{O}_{K,S}^\times$ in the computer algebra package SageMath. This paper outlines the mathematical basis for the implementation. We discuss and reference the results of extensive computations, including exponent bounds for solutions in many fields of small degree for small sets $S$. As an application, we prove an asymptotic version of Fermat's Last Theorem for totally real cubic number fields with bounded discriminant where 2 is totally ramified. In addition, we use the implementation to find all solutions to some cubic Ramanujan-Nagell equations. △ Less

Submitted 8 July, 2020; v1 submitted 3 March, 2019; originally announced March 2019.

Comments: 40 pages, 2 figures

Conductor and discriminant of Picard curves

Authors: Irene I. Bouw, Angelos Koutsianas, Jeroen Sijsling, Stefan Wewers

Abstract: We describe normal forms and minimal models of Picard curves, discussing various arithmetic aspects of these. We determine all so-called special Picard curves over $\mathbb{Q}$ with good reduction outside 2 and 3, and use this to determine the smallest possible conductor a special Picard curve may have. We also collect a database of Picard curves over $\mathbb{Q}$ of small conductor. We describe normal forms and minimal models of Picard curves, discussing various arithmetic aspects of these. We determine all so-called special Picard curves over $\mathbb{Q}$ with good reduction outside 2 and 3, and use this to determine the smallest possible conductor a special Picard curve may have. We also collect a database of Picard curves over $\mathbb{Q}$ of small conductor. △ Less

Submitted 25 February, 2019; originally announced February 2019.

Comments: 34 pages

MSC Class: 14H10 (primary); 11G30; 14H25; 14H50 (secondary)

An application of the modular method and the symplectic argument to a Lebesgue-Nagell equation

Authors: Angelos Koutsianas

Abstract: In this paper, we study the generalized Lebesgue-Nagell equation \[ x^2+7^{2k+1}=y^n. \] This is the last case of equations of the form $x^2+q^{2k+1}=y^n$ with $k\geq0$ and $q>0$ where $\mathbb{Q}(\sqrt{-q})$ has class number one. Our proof is based on the modular method and the symplectic argument. In this paper, we study the generalized Lebesgue-Nagell equation \[ x^2+7^{2k+1}=y^n. \] This is the last case of equations of the form $x^2+q^{2k+1}=y^n$ with $k\geq0$ and $q>0$ where $\mathbb{Q}(\sqrt{-q})$ has class number one. Our proof is based on the modular method and the symplectic argument. △ Less

Submitted 25 November, 2018; originally announced November 2018.

Comments: 16 pages

MSC Class: 11D61

On the generalized Fermat equation $a^2+3b^6=c^n$

Authors: Angelos Koutsianas

Abstract: In this paper, we prove that the only primitive solutions of the equation $a^2+3b^6=c^n$ for $n\geq 3$ are $(a,b,c,n)=(\pm 47,\pm 2,\pm 7,4)$. Our proof is based on the modularity of Galois representations of $\mathbb Q$-curves and the work of Ellenberg for big values of $n$ and a variety of techniques for small $n$. In this paper, we prove that the only primitive solutions of the equation $a^2+3b^6=c^n$ for $n\geq 3$ are $(a,b,c,n)=(\pm 47,\pm 2,\pm 7,4)$. Our proof is based on the modularity of Galois representations of $\mathbb Q$-curves and the work of Ellenberg for big values of $n$ and a variety of techniques for small $n$. △ Less

Submitted 14 April, 2019; v1 submitted 18 May, 2018; originally announced May 2018.

Comments: Minor modifications

Perfect powers that are sums of squares in a three term arithmetic progression

Authors: Angelos Koutsianas, Vandita Patel

Abstract: We determine primitive solutions to the equation $(x-r)^2 + x^2 + (x+r)^2 = y^n$ for $1 \le r \le 5,000$, making use of a factorization argument and the Primitive Divisors Theorem due to Bilu, Hanrot and Voutier. We determine primitive solutions to the equation $(x-r)^2 + x^2 + (x+r)^2 = y^n$ for $1 \le r \le 5,000$, making use of a factorization argument and the Primitive Divisors Theorem due to Bilu, Hanrot and Voutier. △ Less

Submitted 21 February, 2018; originally announced February 2018.

Comments: 6 pages

On the solutions of the Diophantine equation $(x-d)^2+x^2+(x+d)^2=y^n$ for $d$ a prime power

Authors: Angelos Koutsianas

Abstract: In this paper, we determine the primitive solutions of the Diophantine equation $(x-d)^2+x^2+(x+d)^2=y^n$ when $n\geq 2$ and $d=p^b$, $p$ a prime and $p\leq 10^4$. The main ingredients are the characterization of primitive divisors on Lehmer sequences and the development of an algorithmic method of proving the non-existence of integer solutions of the equation $f(x)=a^b$, where… ▽ More In this paper, we determine the primitive solutions of the Diophantine equation $(x-d)^2+x^2+(x+d)^2=y^n$ when $n\geq 2$ and $d=p^b$, $p$ a prime and $p\leq 10^4$. The main ingredients are the characterization of primitive divisors on Lehmer sequences and the development of an algorithmic method of proving the non-existence of integer solutions of the equation $f(x)=a^b$, where $f(x)\in\mathbb Z[x]$, $a$ a positive integer and $b$ an arbitrary positive integer. △ Less

Submitted 15 May, 2019; v1 submitted 2 August, 2017; originally announced August 2017.

Comments: We have completely changed the methodology compare to the first version. For fix $d$ the new approach has already been used by Vandita Patel and the author in an earlier paper https://doi.org/10.1142/S1793042118501646 and we extend it when $d$ is an arbitrary prime power

Computing all elliptic curves over an arbitrary number field with prescribed primes of bad reduction

Authors: Angelos Koutsianas

Abstract: In this paper we study the problem of how to determine all elliptic curves defined over an arbitrary number field $K$ with good reduction outside a given finite set of primes $S$ of $K$ by solving $S$-unit equations. We give examples of elliptic curves over $\mathbb Q$ and quadratic fields. In this paper we study the problem of how to determine all elliptic curves defined over an arbitrary number field $K$ with good reduction outside a given finite set of primes $S$ of $K$ by solving $S$-unit equations. We give examples of elliptic curves over $\mathbb Q$ and quadratic fields. △ Less

Submitted 16 November, 2015; originally announced November 2015.

Comments: 19 pages