An upper bound for the size of integral solutions to \(Y^ m= f(X)\)
type: Item
instance of: scholarly article
title: An upper bound for the size of integral solutions to \(Y^ m= f(X)\)
zbMATH Open document ID: 0842.11008
author: Paul Voutier
published in: Journal of Number Theory
publication date: 1996-07-28T00:00:00Z
review text: Let \(\mathbb{K}\) be an algebraic number field of degree \(\delta\) and discriminant \(D\). The author studies the solutions of the equation \((*)\) \(y^m= f(x)\), \(f(x)\in \mathbb{K} [x]\), \(\deg f=n\), in integers of \(\mathbb{K}\). Let \(e_1, e_2, \dots\) be the multiplicities of the roots of \(f(x) =0\) and put \(m_i= m/ (e_i, m)\), \(i=1, 2, \dots\;\). \textit{W. J. LeVeque} [On the equation \(y^m= f(x)\), Acta Arith. 9, 209--219 (1964; Zbl 0127.27201)]\ has shown that \((*)\) can have infinitely many integral solutions in \(\mathbb{K}\) only if \((m_1, m_2, m_3, \dots)\) is a permutation of either \((2, 2, 1, 1, \dots)\) or of \((t, 1, 1, \dots)\) with \(t\geq 1\). In the opposite case, one has essentially two subcases. Either (a): \(m_1\leq 2\) for each \(i\) and \(m_1= m_2= m_3= 2\), or (b): \(m_1\geq 3\) and \(m_2\geq 2\). These conditions are necessary and sufficient for the curve defined by \((*)\) to have positive genus. Let \(F(x, y)= y^m- f(x)\); define as usual \(H_\mathbb{K} (x)\), \(H_\mathbb{K} (y)\) and \(H_\mathbb{K} (F)\), the heights of the elements \(x\), \(y\) and of the polynomial \(F\), respectively, relative to the field \(\mathbb{K}\). Then, the author proves that \(\max (H_\mathbb{K} (x), H_\mathbb{K} (y))\) is bounded by something which is of the size of \(V_1 (\log V_1 )^{6n^2 \delta}\) in case (a) and of the size of \(V_3(\log V_3)^{m^6 n^2 \delta}\) in case (b); here \(V_1= D^{6n^2} H_\mathbb{K} (F)^{30 n^2}\) and \(V_3= (|D|\cdot H_\mathbb{K} (F))^{m^8 n^2/3}\). Of course, in the paper, there are precise formulations of the corresponding results. The proof, according to the author ``\dots follows the classical argument of \textit{C. L. Siegel} [J. Lond. Math. Soc. 1, 66--68 (1926; JFM 52.0149.02)], using upper bounds for linear forms in logarithms''.
Mathematics Subject Classification ID: 11D41
Mathematics Subject Classification ID: 14H99
zbMATH DE Number: 798701
zbMATH Keywords: upper bound for integral solutions
zbMATH Keywords: hyperelliptic equation
zbMATH Keywords: superelliptic equation
zbMATH Keywords: JFM 52.0149.02
reviewed by: Nikos Tzanakis
MaRDI profile type: Publication
full work available at URL: jnth.1995.1090
OpenAlex ID: W2060979796
DOI: 10.1006/JNTH.1995.1090
Recommended article: On the number of \(S\)-integral solutions to \(Y^m = f(X)\)
Recommended article: Polynomial bounds for the solutions of a class of diophantine equations
Recommended article: Bounds for the size of integral solutions to Ym = f(X)
Recommended article: Q4032122
Recommended article: Le Veque's superelliptic equation over function fields
Recommended article: Nombre de points rationnels des courbes
Recommended article: Solutions entières de l'équation $Y^m = f(X)$
Recommended article: Q3351512
Recommended article: Points entiers sur les courbes hyperelliptiques
Recommended article: Bounds for the size of integral points on curves of genus zero
description: scientific article; zbMATH DE number 798701