Minimum degree of the difference of two polynomials over QQ, and weighted plane trees

• Fedor Pakovich ^[1] ; Alexander K. Zvonkin ^[2]
  1. [1] Ben-Gurion University of the Negev

     Ben-Gurion University of the Negev

     Israel

     
  2. [2] University of Bordeaux

     University of Bordeaux

     Arrondissement de Bordeaux, Francia

     
• Localización: Selecta Mathematica, New Series, ISSN 1022-1824, Vol. 20, Nº. 4, 2014, págs. 1003-1065
• Idioma: inglés
• DOI: 10.1007/s00029-014-0151-0
• Enlaces
  • Texto completo
• Resumen

  • A weighted bicolored plane tree (or just tree for short) is a bicolored plane tree whose edges are endowed with positive integral weights. The degree of a vertex is defined as the sum of the weights of the edges incident to this vertex. Using the theory of dessins d’enfants, which studies the action of the absolute Galois group on graphs embedded into Riemann surfaces, we show that a weighted plane tree is a graphical representation of a pair of coprime polynomials P,Q∈C[x]P,Q∈C[x] such that: (a) degP=degQdeg⁡P=deg⁡Q , and PP and QQ have the same leading coefficient; (b) the multiplicities of the roots of PP (respectively, of QQ ) are equal to the degrees of the black (respectively, white) vertices of the corresponding tree; (c) the degree of the difference P−QP−Q attains the minimum which is possible for the given multiplicities of the roots of PP and QQ . Moreover, if a tree in question is uniquely determined by the set of its black and white vertex degrees (we call such trees unitrees), then the corresponding polynomials are defined over QQ . The pairs of polynomials P,QP,Q such that the degree of the difference P−QP−Q attains the minimum, and especially those defined over QQ , are related to some important questions of number theory. Dozens of papers, from 1965 (Birch et al. in Norske Vid Selsk Forh 38:65–69, 1965) to 2010 (Beukers and Stewart in J Number Theory 130:660–679, 2010), were dedicated to their study. The main result of this paper is a complete classification of the unitrees, which provides us with the most massive class of such pairs defined over QQ . We also study combinatorial invariants of the Galois action on trees, as well as on the corresponding polynomial pairs, which permit us to find yet more examples defined over QQ . In a subsequent paper, we compute the polynomials P,QP,Q corresponding to all the unitrees.