A conjecture of Erdős, supersingular primes and short character sums (Q2296295): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1709.01022 / rank | |||
Normal rank |
Revision as of 03:43, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A conjecture of Erdős, supersingular primes and short character sums |
scientific article |
Statements
A conjecture of Erdős, supersingular primes and short character sums (English)
0 references
18 February 2020
0 references
In the paper under review, the authors consider the Diophantine equation which involves products of consecutive terms of positive integers in arithmetic progression and perfect powers. For \( k \) sufficiently large positive integer, they show that the Diophantine equation \[ n(n+d)(n+2d)\cdots(n+(k-1)d) = y^{\ell}, \quad \gcd (n,d)=1,\tag{1} \] has at most finitely many solutions in positive integers \( n,d,y, \) and \( \ell \) with \( \ell\ge 2 \). Consider the conjecture of Erdős, which states that ``there is a constant \(k_0\) such that the Diophantine equation (1) has no solutions in positive integers \(n, d, k, y, \ell,\) with \(\ell \ge 2\) and \(k \ge k_0\)''. The main result in this paper is a somewhat weak form of this conjecture, which also deals with the negative solutions of the equation (1) stated as follows. Theorem 1. There is an effectively computable absolute constant \( k_0 \) such that if \( k\ge k_0 \) is a positive integer, then any solution in integers to the Diophantine equation (1) with prime exponent \( \ell \) satisfies either \( y=0 \) or \( d=0 \) or \( \ell \le \exp(10^{k}) \). To prove Theorem 1, the authors rely upon Galois representations associated to certain Frey-Hellegouarch curves and results on supersingular primes for elliptic curves without complex multiplication, derived from upper bounds for short character sums and sieves, analytic and combinatorial. In particular, the proof of Theorem 1 makes essential use of a wide array of tools from arithmetic geometry, analytic number theory and additive combinatorics.
0 references
superelliptic curves
0 references
Galois representations
0 references
Frey-Hellegouarch curve
0 references
modularity
0 references
level lowering
0 references