Skip to main content
Top

2014 | OriginalPaper | Chapter

12. Unlikely Intersections and Pell’s Equations in Polynomials

Author : Umberto Zannier

Published in: Trends in Contemporary Mathematics

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This short paper surveys around themes related to a conjecture of R. Pink which, roughly speaking, generalises in particular the well-known Manin-Mumford conjecture (a theorem of M. Raynaud) to abelian varieties varying in families. In a series of works in collaboration with D. Masser we have established this for pencils of abelian surfaces, and in further work with D. Bertrand, Masser and A. Pillay we have considered other commutative algebraic groups of dimension 2.
We shall briefly discuss this progress, and present some applications to solvability of Pell’s equations \(X^{2} -\mathit{DY }^{2} = 1\) in polynomials \(X = x(t),Y = y(t)\), where D = D(t) is also a polynomial. This is analogue to the classical one for integers, and was studied already by Abel. In this context solvability is no longer ensured by simple conditions on D and may be considered ‘exceptional’.
In this paper we shall let D(t) vary in a pencil, and for instance we shall point out how our results on Pink’s conjectures imply that for \(D(t) = t^{6} + t+\lambda\) the Pell’s equation is solvable nontrivially only for finitely many complex λ.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
This was strengthened later by G. Maurin and in further joint work with Bombieri, P. Habegger, Masser.
 
2
However one should take into account that some relevant work has been done very recently.
 
3
For the first two cases, the treatment of this transition occupies a substantial part of the corresponding papers, whereas for the ‘simple’ case this is the object of work still in progress, also with P. Corvaja.
 
4
It is a remarkable content of these papers that estimates for torsion points on subvarieties of tori lead to important information about Betti numbers of abelian covers of a compact variety.
 
5
The problem of solving the equation in rationals is rather easier: projection to a rational line from the rational point (1, 0) allows to parametrize rationally over \(\mathbb{Q}\) the corresponding hyperbola.
 
6
All of this easily follows from the cyclic structure of solutions, recalled below. For instance, if \(x^{2} -\mathit{Dy}^{2} =\mu \in k^{{\ast}}\), one may ‘square’ to get \(((x^{2} + \mathit{Dy}^{2})/\mu )^{2} - D(2\mathit{xy}/\mu )^{2} = 1\); see also Proposition 12.1 and the observations which follow. Having a non-square μ ∈ k is somewhat analogue to the so-called ‘negative’ Pell’s equation in the classical case, i.e. with \(\mu = -1\).
 
7
We think here of algebraically closed k; see Remark 12.3(iv) for number fields. This unboundedness is not free of interest in itself and for instance yielded the first counterexample to a certain ‘plausible’ conjecture in model theory of constructive algebra; this is due to L. van den Dries, Ka. Schmidt and H. Schoutens, see [24].
 
8
At least for large enough degy, one may find them even within this family: see [30], p. 92.
 
9
A converse does not hold, as shown e.g. by \(D(t) = t^{2} + 3\); a proof is possible using the Pell’s equation.
 
10
One may also expand \(\sqrt{D(t)}\) at t =  and impose a suitable vanishing at of \(x + \sqrt{\mathit{Dy}}\) through a linear system in the coefficients; again, this leads to seemingly complicated determinantal varieties.
 
11
All of this is also related to the so-called abc-inequality for polynomials: solutions to a Pell’s equation yield instances in which the bound is attained up to a summand ≤ d − 1; see [29]. For d = 1 it is attained exactly, the map is fully Belyi and boils down to Chebyshev polynomials, as in one of the above examples.
 
12
A formal proof, found in conversation with Corvaja, has not yet been written down and shall hopefully appear in a future paper.
 
13
The above mentioned facts about density suggests that one cannot prove this using merely the complex topology. It seems likely that not even the p-adic ones suffice.
 
14
If m δ = 0 in J, then some function \(\varphi = x + \mathit{uy} \in k[t,u]\setminus k\) has divisor m δ, hence x 2Dy 2 is a nonzero constant μ; considering \(\mu ^{-1}\varphi ^{2}\) in place of \(\varphi\), we may achieve μ = 1; see also footnote 6 above.
 
15
In doing this for the Pell’s equation, it is computationally convenient to use the proposition twice, i.e. to perform the torsion checking modulo p through the Pell’s equation, using continued fractions.
 
16
This kind of argument might not work generally, but one can show that it is always effectively possible to decide about this obstruction.
 
17
Note that in case (a) the set of multiples is finite, so (a) and (b) could be fused in a single condition.
 
18
It is possible to decide effectively about this obstruction as well, using deep tools, like estimates for isogeny degrees of Masser and G. Wüstholz [14]. A direct argument seems not to be available.
 
Literature
1.
go back to reference N.H. Abel, Über die Integration der Differential-Formel \(\rho dx/\sqrt{R}\), wenn R und ρ ganze Funktionen sind. J. für Math. (Crelle) 1, 185–221 (1826)CrossRefMATH N.H. Abel, Über die Integration der Differential-Formel \(\rho dx/\sqrt{R}\), wenn R und ρ ganze Funktionen sind. J. für Math. (Crelle) 1, 185–221 (1826)CrossRefMATH
2.
go back to reference Y. André, Mumford-Tate groups of mixed Hodge structures and the theorem of the fixed part. Compositio Math. 82, 1–24 (1992)MATHMathSciNet Y. André, Mumford-Tate groups of mixed Hodge structures and the theorem of the fixed part. Compositio Math. 82, 1–24 (1992)MATHMathSciNet
3.
go back to reference R. Avanzi, U. Zannier, Genus one curves defined by separated variables and a polynomial Pell equation. Acta Arith. XCIX(3), 227–256 (2001) R. Avanzi, U. Zannier, Genus one curves defined by separated variables and a polynomial Pell equation. Acta Arith. XCIX(3), 227–256 (2001)
4.
go back to reference D. Bertrand, D. Masser, A. Pillay, U. Zannier, Relative Manin-Mumford for semi-abelian surfaces (2013), 40pp. ArXiV: 1307.1008v1 D. Bertrand, D. Masser, A. Pillay, U. Zannier, Relative Manin-Mumford for semi-abelian surfaces (2013), 40pp. ArXiV: 1307.1008v1
5.
go back to reference E. Bombieri, B.P. Cohen, Siegel’s lemma, Padé approximations and Jacobians. Ann. Scuola Normale Sup. Pisa 25, 155–178 (1997)MATHMathSciNet E. Bombieri, B.P. Cohen, Siegel’s lemma, Padé approximations and Jacobians. Ann. Scuola Normale Sup. Pisa 25, 155–178 (1997)MATHMathSciNet
6.
go back to reference E. Bombieri, W. Gubler, Heights in Diophantine Geometry. New Mathematical Monographs, vol. 4 (Cambidge University Press, Cambridge, 2006) E. Bombieri, W. Gubler, Heights in Diophantine Geometry. New Mathematical Monographs, vol. 4 (Cambidge University Press, Cambridge, 2006)
7.
go back to reference E. Bombieri, D. Masser, U. Zannier, Intersecting a curve with algebraic subgroups of multiplicative groups. Int. Math. Res. Not. 20, 1119–1140 (1999)CrossRefMathSciNet E. Bombieri, D. Masser, U. Zannier, Intersecting a curve with algebraic subgroups of multiplicative groups. Int. Math. Res. Not. 20, 1119–1140 (1999)CrossRefMathSciNet
8.
go back to reference J.W.S. Cassels, E.V. Flynn, Prolegomena to Middlebrow Arithmetic of Curves of Genus 2. LMS Lecture Notes Series, vol. 230 (Cambridge University Press, Cambridge, 1996) J.W.S. Cassels, E.V. Flynn, Prolegomena to Middlebrow Arithmetic of Curves of Genus 2. LMS Lecture Notes Series, vol. 230 (Cambridge University Press, Cambridge, 1996)
9.
go back to reference N.D. Elkies, M. Watkins, Polynomial and Fermat-Pell families that attain the Davenport-Mason bound (2013, preprint) N.D. Elkies, M. Watkins, Polynomial and Fermat-Pell families that attain the Davenport-Mason bound (2013, preprint)
10.
go back to reference M. Fried, Fields of definition of function fields and Hurwitz families – groups as Galois groups. Commun. Algebra 5, 17–82 (1977)CrossRefMATHMathSciNet M. Fried, Fields of definition of function fields and Hurwitz families – groups as Galois groups. Commun. Algebra 5, 17–82 (1977)CrossRefMATHMathSciNet
12.
go back to reference N.M. Katz, Monodromy of families of curves: applications of some results of Davenport-Lewis, in Sem. Th. de Nombres, Paris 1979–80, ed. by M.-J. Bertin. Progress in Mathematics, vol. 12 (Birkhauser, Boston/Basel/Berlin, 1981), pp. 171–195 N.M. Katz, Monodromy of families of curves: applications of some results of Davenport-Lewis, in Sem. Th. de Nombres, Paris 1979–80, ed. by M.-J. Bertin. Progress in Mathematics, vol. 12 (Birkhauser, Boston/Basel/Berlin, 1981), pp. 171–195
13.
go back to reference D. Masser, Specializations of some hyperelliptic Jacobians, in Number Theory in Progress. Essays in honor of A. Schinzel, vol. 1819 (Springer, 1999), pp. 324–333 D. Masser, Specializations of some hyperelliptic Jacobians, in Number Theory in Progress. Essays in honor of A. Schinzel, vol. 1819 (Springer, 1999), pp. 324–333
15.
16.
go back to reference D. Masser, U. Zannier, Torsion anomalous points and families of elliptic curves. Am. J. Math. 132, 1677–1691 (2010)MATHMathSciNet D. Masser, U. Zannier, Torsion anomalous points and families of elliptic curves. Am. J. Math. 132, 1677–1691 (2010)MATHMathSciNet
18.
go back to reference D. Masser, U. Zannier, Torsion points on families of products of elliptic curves (2012, preprint, submitted for publication) D. Masser, U. Zannier, Torsion points on families of products of elliptic curves (2012, preprint, submitted for publication)
19.
go back to reference D. Masser, U. Zannier, Torsion points on families of simple abelian surfaces and Pell’s equation over polynomial rings (submitted for publication) D. Masser, U. Zannier, Torsion points on families of simple abelian surfaces and Pell’s equation over polynomial rings (submitted for publication)
20.
go back to reference R. Pink, A combination of the conjectures of Mordell-Lang and André-Oort, in Geometric Methods in Algebra and Number Theory, ed. by F. Bogomolov, Yu. Tschinkel, vol. 253 (Birkhauser, Boston, 2005), pp. 251–282 R. Pink, A combination of the conjectures of Mordell-Lang and André-Oort, in Geometric Methods in Algebra and Number Theory, ed. by F. Bogomolov, Yu. Tschinkel, vol. 253 (Birkhauser, Boston, 2005), pp. 251–282
21.
22.
go back to reference A. Schinzel, On some problems of the arithmetical theory of continued fractions II. Acta Arith. 7, 287–298 (1961/1962); Corrigendum ibid. 47, 295 (1986) A. Schinzel, On some problems of the arithmetical theory of continued fractions II. Acta Arith. 7, 287–298 (1961/1962); Corrigendum ibid. 47, 295 (1986)
23.
24.
go back to reference H. Schoutens, Uniform bounds in algebraic geometry and commutative algebra, in Connections Between Model Theory and Algebraic and Analytic Geometry, ed. by A. Macintyre. Quaderni di Matematica, vol. 6, (II Universita di Napoli, Napoli, 2000), pp. 43–94 H. Schoutens, Uniform bounds in algebraic geometry and commutative algebra, in Connections Between Model Theory and Algebraic and Analytic Geometry, ed. by A. Macintyre. Quaderni di Matematica, vol. 6, (II Universita di Napoli, Napoli, 2000), pp. 43–94
25.
go back to reference J-P. Serre, Algebraic Groups and Class Fields. GTM, vol. 117 (Springer, New York, 1988) J-P. Serre, Algebraic Groups and Class Fields. GTM, vol. 117 (Springer, New York, 1988)
26.
go back to reference J-P. Serre, Topics in Galois Theory (Jones and Bartlett, Boston, 1992) J-P. Serre, Topics in Galois Theory (Jones and Bartlett, Boston, 1992)
27.
28.
go back to reference A. Weil, Number Theory (from Hammurapi to Legendre) (Birkhauser, Boston, 1984)MATH A. Weil, Number Theory (from Hammurapi to Legendre) (Birkhauser, Boston, 1984)MATH
29.
go back to reference U. Zannier, Some remarks on the S-unit equation in function fields. Acta Arith. 54, 87–97 (1993)MathSciNet U. Zannier, Some remarks on the S-unit equation in function fields. Acta Arith. 54, 87–97 (1993)MathSciNet
30.
go back to reference U. Zannier, Some Problems of Unlikely Intersections in Arithmetic and Geometry (with Appendixes by D. Masser). Annals of Mathematics Studies, vol. 181 (Princeton University Press, Princeton, 2012) U. Zannier, Some Problems of Unlikely Intersections in Arithmetic and Geometry (with Appendixes by D. Masser). Annals of Mathematics Studies, vol. 181 (Princeton University Press, Princeton, 2012)
31.
go back to reference S. Zhang, Small points and Arakelov theory. Doc. Math. Proc. ICM 2, 217–225 (1998). Extra Vol. II, (electronic) S. Zhang, Small points and Arakelov theory. Doc. Math. Proc. ICM 2, 217–225 (1998). Extra Vol. II, (electronic)
32.
go back to reference M. Zieve et al., Series of five papers (in preparation) M. Zieve et al., Series of five papers (in preparation)
Metadata
Title
Unlikely Intersections and Pell’s Equations in Polynomials
Author
Umberto Zannier
Copyright Year
2014
DOI
https://doi.org/10.1007/978-3-319-05254-0_12

Premium Partner