Russian Mathematical Surveys
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Uspekhi Mat. Nauk:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Russian Mathematical Surveys, 2023, Volume 78, Issue 1, Pages 208–210
DOI: https://doi.org/10.4213/rm10082e
(Mi rm10082)
 

This article is cited in 1 scientific paper (total in 1 paper)

Brief communications

The number of components of the Pell–Abel equations with primitive solutions of given degree

A. B. Bogatyreva, Q. Gendronb

a Marchuk Institute for Numerical Mathematics of Russian Academy of Sciences
b Instituto de matemáticas, UNAM, México
References:
Funding agency Grant number
Russian Science Foundation 21-11-00325
Ministry of Science and Higher Education of the Russian Federation 075-15-2022-286
The First author was supported by the Russian Science Foundation under grant no. 21-11-00325 and the Moscow Center for Fundamental and Applied Mathematics, agreement no. 075-15-2022-286.
Received: 15.09.2022
Bibliographic databases:
Document Type: Article
MSC: Primary 32A108; Secondary 30F30
Language: English
Original paper language: Russian

Abel [1] considered in 1826 Pell’s Diophantine equation over the ring of polynomials. Since then the equation

$$ \begin{equation} P^2(x)-D(x)Q^2(x)=1 \end{equation} \tag{1} $$
bears the names of both Pell and Abel. Here $P(x)$ and $Q(x)$ are unknown polynomials of one variable and $D(x):=\prod_{e\in{\mathsf E}}(x-e)$ is a given monic complex polynomial of degree $\deg D=|{\mathsf E}|:=2g+2$ without multiple roots. A generic Pell–Abel equation admits only the trivial solutions $(P,Q)=(\pm1,0)$. For a non-trivial solution to exist some extra conditions on the coefficient $D$ should be imposed. One form of such conditions was invented by Abel himself [1], and another is used below. Given $D(x)$, the set of solutions contains a solution of minimum degree $n:=\deg P$, which is called primitive. It generates all other solutions $P$ via compositions with classical Chebyshev polynomials and changes of sign.

The main result of this note consists in finding the number of connected components of the complex Pell–Abel equations with polynomial $D$ of fixed degree $2g+2$ which admit a primitive solution $P$ of another fixed degree $n$.

Theorem 1. Let $m:=\min(g,n-g-1)$ and let $[\,\cdot\,]$ denote the integer part of a number. Equation (1) has neither primitive solutions of degree $n<g$ for $g>0$, nor ones of degree $n>1$ for $g=0$. Otherwise the number of components in question is equal to $[m/2]+1$ if $n+g$ is odd and to $[(m+1)/2]$ if $n+g$ is even.

We start with the transcendental criterion [2] for the solvability of the Pell–Abel equation in terms of the associated hyperelliptic curve $C$ of genus $g$, the two-point compactification of the affine curve

$$ \begin{equation} (x,w)\in \mathbb{C}^2\colon\!\!\quad w^2=D(x). \end{equation} \tag{2} $$
Consider the unique differential $d\eta=(x^g+\cdots)w^{-1}\,dx$ on $C$ with two poles at infinity, residues $\pm1$, and purely imaginary periods. Equation (1) admits a non-trivial solution with $\deg P=n$ if and only if all the periods of $d\eta$ on $C$ lie in the same lattice $2\pi i\mathbb{Z}/n$. If a Pell–Abel equation has a non-trivial solution of degree $n$, then the distinguished differential can be represented in the form $d\eta=n^{-1}d\log(P(x)+wQ(x))$, and therefore the criterion holds.

A pictorial calculus that allows one to control the periods of a distinguished differential effectively in the process of deformation of the curve (2) was designed in [3] and [2] for the investigation of so-called (real) extremal polynomials, where this problem arises too. The quadratic differential $(d\eta)^2$ descends from $C$ to the plane of the variable $x$. Now, with each curve (2) we associate a finite planar graph $\Gamma(C)$ built in three steps: (i) draw all critical vertical trajectories $(d\eta)^2<0$ (see [4]) incident to branch points $e\in{\mathsf E}$; (ii) connect all zeros of the differential $d\eta^2$ other than the branch points $e$ with the vertical leaves of the foliation we have already drawn or with other zeros of $d\eta^2$ by horizontal trajectories $(d\eta)^2>0$ (because of the normalization of the distinguished differentials, this construction is well defined: we obtain finitely many regular analytic arcs); (iii) equip each edge with its length in the metric $|d\eta|$ induced by the distinguished differential.

One of the associated graphs $\Gamma(C)$ that can be obtained for $g=2$ is shown in Fig. 1, (b) up to isotopy of the plane. Here black vertices denote branch points $e\in{\sf E}$ of the curve, white points denote zeros of $(d\eta)^{2}$, simple lines are horizontal leaves of the foliation, and double lines are vertical leaves. Given a genus $g$, there are only finitely many admissible topological types of graphs $\Gamma$, and they can be listed axiomatically. The graphs $\Gamma(C)$ are completely determined by their properties, so that any topological weighted planar graph meeting five certain requirements stems from a unique curve (2) (up to inessential normalization; see [3] and [2]). Two of these five are as follows: $\Gamma$ is a tree, and the total weight of its vertical edges is $\pi$.

The periods of the distinguished differential of a curve can be recovered from the graph: they are integer linear combinations of the weights of vertical edges of the graph. In particular, one can define a local isoperiodic deformations which changes the conformal structure of the curve (2) and preserves all the periods of $d\eta$. Using isoperiodic graph deformations, any curve $C$ can be transformed into another curve whose graph has a standard form. The number of those standard forms gives us an upper bound for the number of components of the space of Pell–Abel equations.

To complete the proof of Theorem 1 we need a lower bound for the number of components. We consider graphs $\Gamma$ embedded in a line. They correspond to multiband real Chebyshev polynomials $P(x)$. Even in this class there are many curves that cannot be transformed isoperiodically into one another. To prove this we use the action of the braid group $\operatorname{Br}_{2g+2}$ on binary words $(b_1,b_2,\dots)\in (\mathbb{Z}/2\mathbb{Z})^{2g+1}$ and which is defined on the generators $\beta_s$ of the group satisfying the usual braid relations [5]:

$$ \begin{equation*} \beta_s \cdot (b_1,\dots,b_{s-1},b_s,b_{s+1},\dots):=(b_1,\dots,b_{s-1}+b_s,b_s,b_{s+1}-b_s,\dots), \end{equation*} \notag $$
$s=1,\dots,2g+1$. This representation is the reduction modulo $2$ of a certain specialization of the Burau representation of braids [5]. If two curves can be deformed isoperiodically one to the other, then the associated periods generate two binary strings in the same orbit of the braid group. It turns out that there are sufficiently many orbits of braid action in $(\mathbb{Z}/2\mathbb{Z})^{2g+1}$ for the lower bound on the number of components to be equal to the upper bound.

Theorem 1 has a geometric corollary. The moduli space of primitive $k$- differentials with a unique zero of order $2k$ on curves of genus $2$ is empty for $k=2$, connected for $k=1$ or $3$, and for even $k\geqslant4$, and has two connected components for odd $k\geqslant5$.

The authors thank J.-P. Serre, who initiated their collaboration.


Bibliography

1. N. H. Abel, J. Reine Angew. Math., 1826:1 (1826), 185–221  crossref  mathscinet  zmath
2. A. Bogatyrev, Extremal polynomials and Riemann surfaces, Moscow Center for Continuous Mathematoical Education, Moscow, 2005, 173 pp.  mathscinet  zmath; English transl. Springer Monogr. Math., Springer, Heidelberg, 2012, xxvi+150 pp.  crossref  mathscinet  zmath
3. A. B. Bogatyrev, Mat. Sb., 194:10 (2003), 27–48  mathnet  crossref  mathscinet  zmath; English transl. in Sb. Math., 194:10 (2003), 1451–1473  crossref  adsnasa
4. K. Strebel, Quadratic differentials, Ergeb. Math. Grenzgeb. (3), 5, Springer-Verlag, Berlin, 1984, xii+184 pp.  crossref  mathscinet  zmath
5. J. S. Birman, Braids, links and mapping class groups, Ann. of Math. Stud., 82, Princeton Univ. Press, Princeton, NJ; Univ. of Tokyo Press, Tokyo, 1975, ix+228 pp.  crossref  mathscinet  zmath

Citation: A. B. Bogatyrev, Q. Gendron, “The number of components of the Pell–Abel equations with primitive solutions of given degree”, Russian Math. Surveys, 78:1 (2023), 208–210
Citation in format AMSBIB
\Bibitem{BogGen23}
\by A.~B.~Bogatyrev, Q.~Gendron
\paper The number of components of the Pell--Abel equations with primitive solutions of given degree
\jour Russian Math. Surveys
\yr 2023
\vol 78
\issue 1
\pages 208--210
\mathnet{http://mi.mathnet.ru//eng/rm10082}
\crossref{https://doi.org/10.4213/rm10082e}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4634800}
\zmath{https://zbmath.org/?q=an:1523.30012}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2023RuMaS..78..208B}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=001057003200006}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85171307859}
Linking options:
  • https://www.mathnet.ru/eng/rm10082
  • https://doi.org/10.4213/rm10082e
  • https://www.mathnet.ru/eng/rm/v78/i1/p209
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Успехи математических наук Russian Mathematical Surveys
    Statistics & downloads:
    Abstract page:486
    Russian version PDF:47
    English version PDF:70
    Russian version HTML:200
    English version HTML:137
    References:32
    First page:18
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024