DOCSLIB.ORG

Arxiv:2104.10817V1 [Math.NT] 22 Apr 2021 the Odco of Conductor Eo.Mroe,I the If Moreover, Below

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2104.10817V1 [Math.NT] 22 Apr 2021 the Odco of Conductor Eo.Mroe,I the If Moreover, Below LOWER BOUNDS FOR THE MODIFIED SZPIRO RATIO ALEXANDER J. BARRIOS Abstract. Let E/Q be an elliptic curve. The modified Szpiro ratio of E is the quan- 3 2 tity σm(E) = log max c4 ,c6 / log NE where c4 and c6 are the invariants associated to a global minimal model of E, and NE denotes the conductor of E. In this article, we show that for each of the fifteen torsion subgroups T allowed by Mazur’s Torsion Theorem, there is a rational number lT such that if T ֒→ E(Q)tors, then σm(E) > lT . We also show that this bound is sharp if the ABC Conjecture holds. 1. Introduction By an ABC triple, we mean a triple (a,b,c) where a,b,c are relatively prime positive integers with a + b = c. The quality of an ABC triple (a,b,c) is the quantity log c q(a,b,c)= . log(rad(abc)) In this notation, Masser and Oesterl´e’s ABC Conjecture [16] states that for each ǫ> 0, there are finitely many ABC triples with q(a,b,c) > 1+ ǫ. In [6, Theorem 4], Browkin, Filaseta, Greaves, and Schinzel showed that if the ABC Conjecture holds, then the set of limit points of q(a,b,c) (a,b,c) is an ABC triple { | } 1 1 15 is 3 , 1 . In fact, they showed unconditionally that the set of limit points contains 3 , 16 . In this article, we conjecture an analogous statement in the context of the modified Szpiro conjecture and establish a lower bound on the modified Szpiro ratio. To make this precise, we define the modified Szpiro ratio of an elliptic curve E over Q to be the quantity 3 2 log max c4 ,c6 σm(E)= logN E where c4 and c6 are the invariants associated to a global minimal model of E, and NE denotes the conductor of E. The modified Szpiro ratio is the analog of the quality of an ABC triple. In fact, the ABC Conjecture is equivalent to the modified Szpiro conjecture [16], which states that for each ǫ> 0, there are finitely many elliptic curves (up to isomorphism) satisfying σm(E) > 6+ ǫ. 1 By [6], we have that 3 is a lower bound on the quality of an ABC triple. In this article, we arXiv:2104.10817v1 [math.NT] 22 Apr 2021 establish that there is a lower bound on σm(E) which depends only on the torsion structure of E. Specifically, we prove: Theorem 1. Let T be one of the fifteen torsion subgroups allowed by Mazur’s Torsion Theo- rem [14]. If E/Q is an elliptic curve with T ֒ E(Q)tors, then σm(E) >lT where lT is as given below. Moreover, if the ABC Conjecture holds,→ then this bound is sharp. T C1 C2 C3, C2 C2 C4 C5, C6, C2 C4 C7, C8, C2 C6 C9, C10 C12, C2 C8 × × × × lT 1 1.5 2 2.43 4 4.5 4.8 2020 Mathematics Subject Classification. Primary 11G05, 11D75, 11J25. 1 2 ALEXANDER J. BARRIOS The lower bounds are proven in Theorem 4.1. Theorem 4.3 shows that the bounds are sharp if the ABC Conjecture holds. Specifically, the ABC Conjecture is used to deduce that certain polynomials f(x) Z[x] take on infinitely many squarefree values [9]. Next, we state a conjecture that is the counterpart∈ of [6, Theorem 4] in the context of the modified Szpiro ratio. To this end, let Q denote the collection of Q-isomorphism classes of elliptic curves and let [E] denote the E Q Q-isomorphism class of E. Then we can extend σm to be defined on Q by taking σm [E] = E Q σm(E). Since σm depends on a global minimal model of E, this extension is well-defined. With this terminology, Theorem 1 and [6, Theorem 4], lead us to conjecture the following: Conjecture 2. Let T be one of the fifteen torsion subgroups allowed by Mazur’s Torsion Theorem [14]. If the ABC Conjecture holds, then [lT , 6] is the set of limit points of σm [E] [E] Q, E(Q)tors = T . Q | Q ∈E ∼ In fact, the proof of Theoremn 1 shows that lT is a limit point assumingo the ABC Conjecture. It has also been established that 6 is a limit point if the ABC Conjecture holds [13], [5], [1], [2]. 3 2 We note that σm(E) > 1 is a direct consequence from the fact that ∆ < max c4 ,c6 where ∆ denotes the minimal discriminant of E. Consequently, establishing| | Theorem 1 is re- duced to proving the result for elliptic curves with a non-trivial torsion point. Such curves are parameterizable [12]. In this article, we consider fourteen families of elliptic curves ET where T is one of the fourteen non-trivial torsion subgroups allowed by Mazur’s Torsion Theorem. By [3] and [4], there are necessary and sufficient conditions on the parameters of the family ET to determine its global minimal model as well as the conductor exponent fp of ET at a given prime. This, in turn, allows us in Section 2 to establish an upper bound δT on the conductor NT of lT 3 2 ET . In section 3, we show that δT < max c4 ,c6 . In Section 4, we prove the first part of Theorem 1 by using these inequalities. We then show the lower bounds are sharp by considering fifteen parameterized families with the property that their modified Szpiro ratios tend to lT . 1.1. Notation and terminology. We start by recalling some facts about elliptic curves over Q. For further details, see [18], [17]. An elliptic curve E/Q is given by an (affine) Weierstrass model 2 3 2 (1.1) E : y + a1xy + a3y = x + a2x + a4x + a6 with each aj Q. From (1.1), we define ∈ 4 2 2 c4 = a1 +8a1a2 24a1a3 + 16a2 48a4, (1.2) 2 −3 2 − 2 c6 = a +4a2 + 36 a +4a2 (2a4 + a1a3) 216 a +4a6 . − 1 1 − 3 The quantities c4 and c6 are the invariants associated to the Weierstrass model of E. The 3 2 c4−c6 discriminant of E is then defined as ∆E = 1728 . Each elliptic curve E/Q is Q-isomorphic to a global minimal model Emin where Emin is given by a Weierstrass model of the form (1.1) such min that each aj Z and its discriminant ∆ satisfies ∈ E min ∆ = min ∆F F is Q-isomorphic to E and F is given by (1.1) with aj Z . E {| | | ∈ } min 3 2 In what follows, let c4 and c6 be the invariants associated to E . We call max c4 ,c6 the naive height of E and note that this is slightly different than what appears in the literature [10]. Namely, we have dropped the logarithm from the standard definition. If a prime p divides min gcd c4, ∆E , then E is said to have additive reduction at p. If this is not the case, then E is said to be semistable at p. If E is semistable at all primes, then we say E is semistable. The conductor NE of E is given by fp NE = p p|∆min YE where fp is a positive integer computed via Tate’s Algorithm [19]. In fact, fp = 1 if E is semistable at p, and in general, we have that f2 8, f3 5, and fp 2 for p 5. ≤ ≤ ≤ ≥ LOWERBOUNDSFORTHEMODIFIEDSZPIRORATIO 3 The group of rational points E(Q) of an elliptic curve E/Q is a finitely generated abelian group and by Mazur’s Torsion Theorem, there are precisely fifteen possibilities for the torsion subgroup E(Q)tors of E(Q). Theorem 1.1 (Mazur’s Torsion Theorem [14]). Let E/Q be an elliptic curve and let CN denote the cyclic group of order N. Then CN for N =1, 2,..., 10, 12, E(Q)tors = ∼ C2 C2N for N =1, 2, 3, 4. × Now let ET be the parameterized family of elliptic curves given in Table 1 for the listed T . These families parameterize all rational elliptic curves with a non-trivial torsion point as made precise by the following proposition: Proposition 1.2 ([3, Proposition 4.3]). Let E/Q be an elliptic curve and suppose further that -T ֒ E(Q)tors where T is one of the fourteen non-trivial torsion subgroups allowed by Theo rem→1.1. Then there are integers a,b,d such that (1) If T = C2, C3, C2 C2, then E is Q-isomorphic to ET (a,b) with gcd(a,b)=1 and a positive. 6 × If T = C2 and C2 C2 ֒ E(Q), then E is Q-isomorphic to ET (a,b,d) with d =1,b =0 (2) such that d and gcd(a,b)×squarefree.6→ 6 6 (3) If T = C3 and the j-invariant of E is not 0, then E is Q-isomorphic to ET (a,b) with gcd(a,b)=1 and a positive. (4) If T = C3 and the j-invariant of E is 0, then E is either Q-isomorphic to ET (24, 1) or to 0 2 3 the curve EC3 (a): y + ay = x for some positive cubefree integer a. (5) If T = C2 C2, then E is Q-isomorphic to ET (a,b,d) with gcd(a,b)=1, d squarefree, and a even. × 2 3 2 Table 1. The Weierstrass Model ET : y + a1xy + a3y = x + a2x + a4x T a1 a2 a3 a4 2 2 C2 0 2a 0 a b d 0 − C3 0 0 a 0 2 C3 a 0 a b 0 2 C4 a ab a b 0 − − 2 C5 a b ab a b 0 − − 2 2− 2 C6 a b ab b a b ab 0 2 − 2 −2 2 − 3 −4 2 − 3 3 C7 a + ab b a b ab a b a b 0 2 − 2 2 2 − 3 4 3 3 −2 4 5 C8 a +4ab 2b a b +3ab 2b a b +3a b 2ab 0 − 3 2 − 3 4 −2 3 3 2−4 5 − 3 − C9 a + ab b a b 2a b +2a b ab a a2 0 3 2− −3 3 2 4 − 5 3 2 · 2 C10 a 2a b a b +3a b 2ab (a 3a b + ab ) a2 0 2ab−2 +2b−3 − − − · 4 3 2 2 3 C12 a +2a b + b(a 2b)(a b) (a a(b a) a2 0 2a−2b2 8ab3+6b4 3ab+3−b2)(a2− 2ab+2−b2) − · − − 2 C2 C2 0 ad + bd 0 abd × 2 2 2 C2 C4 a ab 4b a b 4ab 0 × 2 2 −4 − 3 6 − 5− 4 2 C2 C6 19a +2ab + b 10a + 22a b 90a 198a b+116a b + 0 × − −14a2b2 +2ab3− 4a3−b3 14a2b4 +2ab5 4 3 2 − 2 2 C2 C8 a 8a b 4ab (a +2b)(a + 2b(a +4b)(a 8b ) a2 0 × 24− a2b−2 + 64b−4 4−b)2(a2 +4ab +8b2) − − · 4 ALEXANDER J.
Load more

Recommended publications
  • A Look at the ABC Conjecture Via Elliptic Curves
    A Look at the ABC Conjecture via Elliptic Curves Nicole Cleary Brittany DiPietro Alexander Hill Gerard D.Koffi Beihua Yan Abstract We study the connection between elliptic curves and ABC triples. Two important results are proved. The first gives a method for finding new ABC triples. The second result states conditions under which the power of the new ABC triple increases or decreases. Finally, we present two algorithms stemming from these two results. 1 Introduction The ABC conjecture is a central open problem in number theory. It was formu- lated in 1985 by Joseph Oesterl´eand David Masser, who worked separately but eventually proposed equivalent conjectures. Like many other problems in number theory, the ABC conjecture can be stated in relatively simple, understandable terms. However, there are several profound implications of the ABC conjecture. Fermat's Last Theorem is one such implication which we will explore in the second section of this paper. 1.1 Statement of The ABC Conjecture Before stating the ABC conjecture, we define a few terms that are used frequently throughout this paper. Definition 1.1.1 The radical of a positive integer n, denoted rad(n), is defined as the product of the distinct prime factors of n. That is, rad(n) = Q p where p is prime. pjn 1 Example 1.1.2 Let n = 72 = 23 · 32: Then rad(n) = rad(72) = rad(23 · 32) = 2 · 3 = 6: Definition 1.1.3 Let A; B; C 2 Z. A triple (A; B; C) is called an ABC triple if A + B = C and gcd(A; B; C) = 1.
    [Show full text]
  • Remembrance of Alan Baker
    Hardy-Ramanujan Journal 42 (2019), 4-11Hardy-Ramanujan 4-11 Remembrance of Alan Baker Gisbert W¨ustholz REMEMBRANCE OF ALAN BAKER It was at the conference on Diophantische Approximationen organized by Theodor Schneider by which took place at Oberwolfach Juli 14 - Juli 20 1974 when I first met Alan Baker. At the time I was together with Hans Peter SchlickeweiGISBERT a graduate WUSTHOLZ¨ student of Schneider at the Albert Ludwigs University at Freiburg i. Br.. We both were invited to the conference to help Schneider organize the conference in practical matters. In particular we were determined to make the speakers write down an abstract of their talks in the Vortagsbuch which was considered to be an important historical document for the future. Indeed if you open the webpage of the Mathematisches Forschungsinstitut Oberwolfach you find a link to the Oberwolfach Digital Archive where you can find all these Documents It was at the conference on Diophantische Approximationen organized by Theodor Schneider which took place at fromOberwofach 1944-2008. Juli 14 - Juli 20 1974 when I first met Alan Baker. At the time I was together with Hans Peter Schlickewei a graduateAt this student conference of Schneider I was at verythe Albert-Ludwig-University much impressed and at Freiburg touched i. Br.. by We seeing both were the invitedFields to Medallist the conference Baker whoseto help work Schneider I had to studied organize the in conference the past in year practical to matters.do the Inp-adic particular analogue we were determined of Baker's to make recent the versions speakers A write down an abstract of their talks in the Vortagsbuch which was considered to be an important historical document for sharpeningthe future.
    [Show full text]
  • The Abc Conjecture
    University of Tennessee, Knoxville TRACE: Tennessee Research and Creative Exchange Masters Theses Graduate School 8-2002 The abc conjecture Jeffrey Paul Wheeler University of Tennessee Follow this and additional works at: https://trace.tennessee.edu/utk_gradthes Recommended Citation Wheeler, Jeffrey Paul, "The abc conjecture. " Master's Thesis, University of Tennessee, 2002. https://trace.tennessee.edu/utk_gradthes/6013 This Thesis is brought to you for free and open access by the Graduate School at TRACE: Tennessee Research and Creative Exchange. It has been accepted for inclusion in Masters Theses by an authorized administrator of TRACE: Tennessee Research and Creative Exchange. For more information, please contact [email protected]. To the Graduate Council: I am submitting herewith a thesis written by Jeffrey Paul Wheeler entitled "The abc conjecture." I have examined the final electronic copy of this thesis for form and content and recommend that it be accepted in partial fulfillment of the equirr ements for the degree of Master of Science, with a major in Mathematics. Pavlos Tzermias, Major Professor We have read this thesis and recommend its acceptance: Accepted for the Council: Carolyn R. Hodges Vice Provost and Dean of the Graduate School (Original signatures are on file with official studentecor r ds.) To the Graduate Council: I am submitting herewith a thesis written by Jeffrey Paul Wheeler entitled "The abc Conjecture." I have examined the finalpaper copy of this thesis for form and content and recommend that it be accepted in partial fulfillment of the requirements for the degree of Master of Science, with a major in Mathematics. Pavlas Tzermias, Major Professor We have read this thesis and recommend its acceptance: 6.<&, ML 7 Acceptance for the Council: The abc Conjecture A Thesis Presented for the Master of Science Degree The University of Tenne�ee, Knoxville Jeffrey Paul Wheeler August 2002 '"' 1he ,) \ � �00� .
    [Show full text]
  • Elliptic Curves and the Abc Conjecture
    Elliptic Curves and the abc Conjecture Anton Hilado University of Vermont October 16, 2018 Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 1 / 37 Overview 1 The abc conjecture 2 Elliptic Curves 3 Reduction of Elliptic Curves and Important Quantities Associated to Elliptic Curves 4 Szpiro's Conjecture Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 2 / 37 The Radical Definition The radical rad(N) of an integer N is the product of all distinct primes dividing N Y rad(N) = p: pjN Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 3 / 37 The Radical - An Example rad(100) = rad(22 · 52) = 2 · 5 = 10 Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 4 / 37 The abc Conjecture Conjecture (Oesterle-Masser) Let > 0 be a positive real number. Then there is a constant C() such that, for any triple a; b; c of coprime positive integers with a + b = c, the inequality c ≤ C() rad(abc)1+ holds. Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 5 / 37 The abc Conjecture - An Example 210 + 310 = 13 · 4621 Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 6 / 37 Fermat's Last Theorem There are no integers satisfying xn + y n = zn and xyz 6= 0 for n > 2. Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 7 / 37 Fermat's Last Theorem - History n = 4 by Fermat (1670) n = 3 by Euler (1770 - gap in the proof), Kausler (1802), Legendre (1823) n = 5 by Dirichlet (1825) Full proof proceeded in several stages: Taniyama-Shimura-Weil (1955) Hellegouarch (1976) Frey (1984) Serre (1987) Ribet (1986/1990) Wiles (1994) Wiles-Taylor (1995) Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 8 / 37 The abc Conjecture Implies (Asymptotic) Fermat's Last Theorem Assume the abc conjecture is true and suppose x, y, and z are three coprime positive integers satisfying xn + y n = zn: Let a = xn, b = y n, c = zn, and take = 1.
    [Show full text]
  • Fermat's Last Theorem
    Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) Fermat's Last Theorem states that no three positive integers a, b, and c satisfy the equation an + bn = cn for any integer value of n greater than 2. The cases n = 1 and n = 2 have been known since antiquity to have an infinite number of solutions.[1] The proposition was first conjectured by Pierre de Fermat in 1637 in the margin of a copy of Arithmetica; Fermat added that he had a proof that was too large to fit in the margin. However, there were first doubts about it since the publication was done by his son without his consent, after Fermat's death.[2] After 358 years of effort by mathematicians, the first successful proof was released in 1994 by Andrew Wiles, and formally published in 1995; it was described as a "stunning advance" in the citation for Wiles's Abel Prize award in 2016.[3] It also proved much of the modularity theorem and opened up entire new approaches to numerous other problems and mathematically powerful modularity lifting techniques. The unsolved problem stimulated the development of algebraic number theory in the 19th century and the proof of the modularity theorem in the 20th century. It is among the most notable theorems in the history of mathematics and prior to its proof was in the Guinness Book of World Records as the "most difficult mathematical problem" in part because the theorem has the largest number of unsuccessful proofs.[4] Contents The 1670 edition of Diophantus's Arithmetica includes Fermat's Overview commentary, referred to as his "Last Pythagorean origins Theorem" (Observatio Domini Petri Subsequent developments and solution de Fermat), posthumously published Equivalent statements of the theorem by his son.
    [Show full text]
  • On a Problem Related to the ABC Conjecture
    On a Problem Related to the ABC Conjecture Daniel M. Kane Department of Mathematics / Department of Computer Science and Engineering University of California, San Diego [email protected] October 18th, 2014 D. Kane (UCSD) ABC Problem October 2014 1 / 27 The ABC Conjecture For integer n 6= 0, let the radical of n be Y Rad(n) := p: pjn For example, Rad(12) = 2 · 3 = 6: The ABC-Conjecture of Masser and Oesterl´estates that Conjecture For any > 0, there are only finitely many triples of relatively prime integers A; B; C so that A + B + C = 0 and max(jAj; jBj; jCj) > Rad(ABC)1+: D. Kane (UCSD) ABC Problem October 2014 2 / 27 Applications The ABC Conjecture unifies several important results and conjectures in number theory Provides new proof of Roth's Theorem (with effective bounds if ABC can be made effective) Proves Fermat's Last Theorem for all sufficiently large exponents Implies that for every irreducible, integer polynomial f , f (n) is square-free for a constant fraction of n unless for some prime p, p2jf (n) for all n A uniform version of ABC over number fields implies that the Dirichlet L-functions do not have Siegel zeroes. D. Kane (UCSD) ABC Problem October 2014 3 / 27 Problem History The function field version of the ABC conjecture follows from elementary algebraic geometry. In particular, if f ; g; h 2 F[t] are relatively prime and f + g + h = 0 then max(deg(f ); deg(g); deg(h)) ≥ deg(Rad(fgh)) − 1: The version for number fields though seems to be much more difficult.
    [Show full text]
  • The Paradox of the Proof | Project Wordsworth
    The Paradox of the Proof | Project Wordsworth Home | About the Authors If you enjoy this story, we ask that you consider paying for it. Please see the payment section below. The Paradox of the Proof By Caroline Chen MAY 9, 2013 n August 31, 2012, Japanese mathematician Shinichi Mochizuki posted four O papers on the Internet. The titles were inscrutable. The volume was daunting: 512 pages in total. The claim was audacious: he said he had proved the ABC Conjecture, a famed, beguilingly simple number theory problem that had stumped mathematicians for decades. Then Mochizuki walked away. He did not send his work to the Annals of Mathematics. Nor did he leave a message on any of the online forums frequented by mathematicians around the world. He just posted the papers, and waited. Two days later, Jordan Ellenberg, a math professor at the University of Wisconsin- Madison, received an email alert from Google Scholar, a service which scans the Internet looking for articles on topics he has specified. On September 2, Google Scholar sent him Mochizuki’s papers: You might be interested in this. http://projectwordsworth.com/the-paradox-of-the-proof/[10/03/2014 12:29:17] The Paradox of the Proof | Project Wordsworth “I was like, ‘Yes, Google, I am kind of interested in that!’” Ellenberg recalls. “I posted it on Facebook and on my blog, saying, ‘By the way, it seems like Mochizuki solved the ABC Conjecture.’” The Internet exploded. Within days, even the mainstream media had picked up on the story. “World’s Most Complex Mathematical Theory Cracked,” announced the Telegraph.
    [Show full text]
  • The Abc Conjecture and Its Applications
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by K-State Research Exchange THE ABC CONJECTURE AND ITS APPLICATIONS by JOSEPH SHEPPARD B.A., Kansas State University, 2014 A REPORT submitted in partial fulfillment of the requirements for the degree MASTER OF SCIENCE Department of Mathematics College of Arts and Sciences KANSAS STATE UNIVERSITY Manhattan, Kansas 2016 Approved by: Major Professor Christopher Pinner Copyright Joseph Sheppard 2016 Abstract In 1988, Masser and Oesterl´econjectured that if A; B; C are co-prime integers satisfying A + B = C; then for any > 0, maxfjAj; jBj; jCjg ≤ K()Rad(ABC)1+; where Rad(n) denotes the product of the distinct primes dividing n. This is known as the ABC Conjecture. Versions with the dependence made explicit have also been conjectured. For example in 2004 A. Baker suggested that 6 (log Rad(ABC))! maxfjAj; jBj; jCjg ≤ Rad(ABC) 5 !! where ! = !(ABC), denotes the number of distinct primes dividing A, B, and C. For example this would lead to 7 maxfjAj; jBj; jCjg < Rad(ABC) 4 : The ABC Conjecture really is deep. Its truth would have a wide variety of applications to many different aspects in Number Theory, which we will see in this report. These include Fermat's Last Theorem, Wieferich Primes, gaps between primes, Erd}os-Woods Conjecture, Roth's Theorem, Mordell's Conjecture/Faltings' Theorem, and Baker's Theorem to name a few. For instance, it could be used to prove Fermat's Last Theorem in only a couple of lines. That is truly fascinating in the world of Number Theory because it took over 300 years before Andrew Wiles came up with a lengthy proof of Fermat's Last Theorem.
    [Show full text]
  • The Abc Conjecture and K-Free Numbers
    Amadou Diogo Barry The abc Conjecture and k-free numbers Master's thesis, defended on June 20, 2007 Thesis advisor: Dr. Jan-Hendrik Evertse Mathematisch Instituut Universiteit Leiden Exam committee Dr. Jan-Hendrik Evertse (supervisor) Prof.dr. P. Stevenhagen Prof.dr. R. Tijdeman Abstract In his paper [14], A. Granville proved several strong results about the dis- tribution of square-free values of polynomials, under the assumption of the abc-conjecture. In our thesis, we generalize some of Granville's results to k-free values of polynomials (i.e., values of polynomials not divisible by the k-th power of a prime) . Further, we generalize a result of Granville on the gaps between consecutive square-free numbers to gaps between integers, such that the values of a given polynomial f evaluated at them are k-free. All our results are under assumption of the abc-conjecture. Contents 1 Introduction2 2 The abc-conjecture and some consequences6 2.1 The abc-conjecture........................6 2.2 Consequences of the abc-conjecture...............6 3 Asymptotic estimate for the density of integers n for which f(n) is k-free 13 3.1 Asymptotic estimate of integers n for which f(n) is k-free... 13 3.2 On gaps between integers at which a given polynomial assumes k-free values........................... 17 4 The average moments of sn+1 − sn 19 Bibliography 27 ii Notation Let f : R ! C and g : R ! C be complex valued functions and h : R ! R+. We use the following notation: f(X) = g(X) + O(h(X)) as X ! 1 if there are constants X0 and C > 0 such that jf(X) − g(X)j ≤ Ch(X) for all X 2 R and X ≥ X0; f(X)−g(X) f(X) = g(X) + o(h(X)) as X ! 1 iff limX!1 h(X) = 0; f(X) f(X) ∼ g(X) as X ! 1 iff limX!1 g(X) = 1: We write f(X) g(X) or g(X) f(X) to indicate that f(X) = O (g(X)) We denote by gcd (a1; a2; : : : ; ar) ; lcm (a1; a2; : : : ; ar) ; the greatest common divisor, and the lowest common multiple, respectively, of the integers a1; a2; : : : ; ar: We say that a positive integer n is k-free if n is not divisible by the k-th power of a prime number.
    [Show full text]
  • On the Number of Special Numbers
    Proc. Indian Acad. Sci. (Math. Sci.) Vol. 127, No. 3, June 2017, pp. 423–430. DOI 10.1007/s12044-016-0326-z On the number of special numbers KEVSER AKTA¸S1 and M RAM MURTY2,∗ 1Department of Mathematics Education, Gazi University, Teknikokullar, Ankara 06500, Turkey 2Department of Mathematics and Statistics, Queen’s University, Kingston, Ontario K7L 3N6, Canada *Corresponding author. E-mail: [email protected]; [email protected] MS received 17 February 2016; revised 15 April 2016 Abstract. For lack of a better word, a number is called special if it has mutually distinct exponents in its canonical prime factorizaton for all exponents. Let V(x)be the number of special numbers ≤ x. We will prove that there is a constant c>1suchthat cx V(x)∼ . We will make some remarks on determining the error term at the end. log x Using the explicit abc conjecture, we will study the existence of 23 consecutive special integers. Keywords. Special numbers; squarefull numbers; Thue–Mahler equations; abc conjecture. 2000 Mathematics Subject Classification. Primary: 11BN3; Secondary: 11N25, 11D59. 1. Introduction For lack of a better word, a natural number n is called special if in its prime power factorization = α1 αk n p1 ...pk , (1) we have all the non-zero αi as distinct. This concept was introduced by Bernardo Recamán Santos (see [8]). He asked if there is a sequence of 23 consecutive special numbers. This seemingly simple question is still unsolved and it is curious that it is easy to see that there is no sequence of 24 consecutive special numbers.
    [Show full text]
  • Experiments on the Abc-Conjecture
    Publ. Math. Debrecen 65/3-4 (2004), 253{260 Experiments on the abc-conjecture By ALAN BAKER (Cambridge) Dedicated to the memory of B¶ela Brindza Abstract. Computations based on tables maintained by A. Nitaj and pub- licly available on the Internet are described that lend support to re¯nements to the abc-conjecture of Oesterl¶e and Masser as proposed previously by the author. 1. Introduction At a conference in Eger in 1996, some re¯nements were proposed to the abc-conjecture which appeared to relate well to the theory of logarithmic forms and to other aspects of Diophantine approximation [1]. In this note, we shall describe some computations which provide support to the earlier suggestions. We begin with a brief discussion of the abc-conjecture and its remarkable mathematical signi¯cance. Let a, b, c be integers with no common factor and satisfying a + b + c = 0: We de¯ne N as the `conductor' or `radical' of abc, that is the product of all the distinct prime factors of abc. Motivated by a conjecture of Szpiro comparing the discriminant and conductor of an elliptic curve, Oesterl¶e Mathematics Subject Classi¯cation: 11D75, 11J25, 11J86. Key words and phrases: abc-conjecture, logarithmic forms, computational results, n- dimensional tetrahedra. 254 Alan Baker formulated a simple assertion about the sizes of a, b, c and this was re¯ned by Masser [9] to give the following: Conjecture 1. For any ² > 0, we have max(jaj; jbj; jcj) ¿ N 1+²; where the implied constant depends only on ². The conjecture would not hold with ² = 0 as one veri¯es, for instance, n by taking a = 1, b = ¡32 and noting that then 2n divides c (see [7]).
    [Show full text]
  • It's As Easy As
    It’s As Easy As abc Andrew Granville and Thomas J. Tucker Fermat’s Last Theorem (2) xp−1x + yp−1y = zp−1z. In this age in which mathematicians are supposed to bring their research into the classroom, even at We now have two linear equations (1) and (2) (think- ing of xp−1, yp−1, and zp−1 as our variables), which the most elementary level, it is rare that we can turn suggests using linear algebra to eliminate a vari- the tables and use our elementary teaching to help able: Multiply (1) by y and (2) by y, and subtract in our research. However, in giving a proof of Fer- to get mat’s Last Theorem, it turns out that we can use tools from calculus and linear algebra only. This xp−1(xy − yx)=zp−1(zy − yz). may strike some readers as unlikely, but bear with p−1 p−1 − us for a few moments as we give our proof. Therefore x divides z (zy yz ), but since x and z have no common factors, this implies that Fermat claimed that there are no solutions to (3) xp−1 divides zy − yz. (1) xp + yp = zp This is a little surprising, for if zy − yz is nonzero, for p ≥ 3, with x, y, and z all nonzero. If we assume then a high power of x divides zy − yz, something that there are solutions to (1), then we can assume that does not seem consistent with (1). that x, y, and z have no common factor, else we We want to be a little more precise.
    [Show full text]