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.