Abstract
We prove Boyd’s “unexpected coincidence” of the Mahler measures for two families of two-variate polynomials defining curves of genus 2. We further equate the same measures to the Mahler measures of polynomials \(y^3-y+x^3-x+kxy\) whose zero loci define elliptic curves for \(k\ne 0,\pm 3\).
Resumé
Nous démontrons “coïncidence inattendue” de Boyd des mesures de Mahler pour deux familles de polynômes à deux variables qui définissent les courbes de genre 2. En outre, nous assimilons les mêmes mesures pour les mesures de Mahler de polynômes \(y^3-y+x^3-x+kxy\) dont zéro loci définir des courbes elliptiques pour \(k\ne 0,\pm 3\).
Similar content being viewed by others
1 Introduction
In his pioneering systematic study [2] of the Mahler measures of two-variate polynomials Boyd has distinguished several special families, for which the measures are related to the L-values of the curves defined by the zero loci of the polynomials. The two particular families
and
are nicknamed in [2] as Family 3.2 and Family 3.5B, respectively. Generically, both \(P_k(x,y)=0\) and \(Q_k(x,y)=0\) define curves of genus 2 whose jacobians are isogenous to the product of two elliptic curves. Computing the Mahler measures of \(P_k(x,y)\) and \(Q_k(x,y)\) numerically and identifying them as rational multiples of the L-values \(L'(E_k,0)\), where
is isomorphic to one of the elliptic curves in the product for each of the two families, Boyd observes the “unexpected coincidence” \(\mathrm {m}(P_k)=\mathrm {m}(Q_{k+2})\) for integer k in the range \(4\le k\le 33\) (but not for \(k\le 3\)). The primary goal of this note is to confirm Boyd’s observation.
Theorem 1
For real \(k\ge 4\), we have \(\mathrm {m}(P_k)=\mathrm {m}(Q_{k+2})\).
Note that for \(k\ne 0,\pm 3\) the curve \(E_k\) is elliptic and it is isomorphic to the elliptic curve \(R_k(x,y)=0\), where the polynomial
is tempered—all the faces of its Newton polygon are represented by cyclotomic polynomials. The elliptic origin of the family \(R_k(x,y)\) and Beilinson’s conjectures predict [2, 5] that, apart from a finite set of k, the measure \(\mathrm {m}(R_k)\) is \(\mathbb Q\)-proportional to the L-value \(L'(E_k,0)\) for \(k\in \mathbb Z\) (in fact, even for k such that \(k^2\in \mathbb Z\) as in any such case the curve \(R_k(x,y)=0\) possesses the model defined over \(\mathbb Z\)). Our next result unites the predictions with the findings of Boyd in [2].
Theorem 2
For real k satisfying \(|k|\ge 16/(3\sqrt{3})=3.0792\ldots \), we have \(\mathrm {m}(P_k)=\mathrm {m}(R_k)\).
Noticing that \(P_{-k}(x,y)=P_k(x,-y)\) and \(R_{-k}(x,y)=R_k(-x,-y)\) we conclude that \(\mathrm {m}(P_{|k|})=\mathrm {m}(P_k)\) and \(\mathrm {m}(R_{|k|})=\mathrm {m}(R_k)\), hence it is sufficient to establish the identity in Theorem 2 and analyse the two polynomial families for positive real k only.
Our analysis of the three polynomial families is performed in Sects. 1–3, each section devoted to one family. We compute the derivatives of the corresponding Mahler measures with respect to the parameter k and make use of the easily seen asymptotics
as \(|k|\rightarrow \infty \), to conclude about the equality of the Mahler measures themselves. This is a strategy we have successfully employed before in [1]. Our findings provide one with the reasons of why the ranges for k in Theorems 1 and 2 cannot be refined, and in Sect. 4 we discuss some further aspects of this “expected noncoincidence.”
One of our reasons for linking the Mahler measures of hyperelliptic families \(P_k(x,y)\) and \(Q_k(x,y)\) to that of elliptic family \(R_k(x,y)\), not previously displayed, is a hope to actually prove \(\mathrm {m}(R_k)=c_kL'(E_k,0)\) with \(c_k\in \mathbb Q^\times \) for some values of k. Armed with the recent formula for the regulator of modular units [7] and its far-going generalisation for the regulator of Siegel units [4] established by Brunault, such identities are expected to be automated in the near future. The main obstacle to produce a single example for \(\mathrm {m}(R_k)\) is of purely computational nature: the smallest conductor of the elliptic curve \(E_k\) one gets for \(k>3\), \(k^2\in \mathbb Z\), is \(224=2^5\times 7\) when \(k=4\). We further comment on this circumstance and on a related conjecture of Boyd for \(\mathrm {m}(Q_{-1})\) in the final section.
2 The first family
We use the equality \(\mathrm {m}(P_{|k|})=\mathrm {m}(P_k)\) to reduce our analysis in this section to that for \(k\ge 0\).
Write \(P_k(x^2,y)=x^4\widetilde{P}_k(x,y/x)\), where
and
By Viète’s theorem \(y_1(x)y_2(x)=1\) implying that \(|y_1(x)|=|y_2(x)|=1\) if \(\Delta _k(x)\le 0\) and \(|y_2(x)|<1<|y_1(x)|\) if \(\Delta _k(x)>0\), when we order the zeroes \(y_1(x),y_2(x)\) appropriately. In the latter case
and
In notation \(x=e^{i\theta }\), \(-\pi<\theta <\pi \), we let \(c=\cos ^2\theta \), so that c ranges in [0, 1]. Since \(x+x^{-1}=2\cos \theta \), we get
where
Because \(0<c_-(k)<c_+(k)<1\) for \(0<k<3\) and \(0<c_-(k)<1<c_+(k)\) if \(k>3\), we have \(\Delta _k\ge 0\) iff \(c_-(k)\le c\le \min \{1,c_+(k)\}\). Note that
Using Jensen’s formula and the symmetry \(y_1(x)=y_1(x^{-1})\), we obtain
The derivative of the result with respect to k is
which is a complete elliptic integral.
Performing additionally the change \(c=(4-v)/16\) we obtain
in particular, we have the following.
Proposition 1
For \(k\ge 3\),
3 The second family
The analysis here is very similar to the one we had in the paper [1]. First introduce \(Q_{k+2}(x,y)=x^3\widetilde{Q}_{k+2}(x,y/x)\), where
Write
where
and \(B_k(x)=(x+x^{-1})^2+(k+2)(x+x^{-1})+2(k-1)\),
By Viète’s theorem \(y_1(x)y_2(x)=1\) implying that \(|y_1(x)|=|y_2(x)|=1\) if \(\Delta _k(x)\le 0\) and \(|y_2(x)|<1<|y_1(x)|\) if \(\Delta _k(x)>0\), when we order the zeroes \(y_1(x),y_2(x)\) appropriately. In the latter case
Note that
With the help of Jensen’s formula we obtain
leading to
Note that for \(k>0\) we have
Performing the change of variable \(t=(v+2k(k+1))/(v-4k)\) we then obtain
if \(0<k\le 3\),
if \(3<k<4\), and
if \(k\ge 4\).
Remark 1
The appearance of incomplete elliptic integrals
and
for \(k<4\) hints on why the Mahler measures \(q(k+2)\) are possibly not related to the corresponding L-values (see the question marks and the “half-Mahler” measures \(\mathrm {m}'\) in [2, Table 9]). Our next statement refers to the situation when incomplete elliptic integrals do not occur.
Proposition 2
For \(k\ge 4\),
Proof
We will show that
for \(k>3\). On comparing the integrals in (3) and (4) this implies the required coincidence.
The involution
interchanges \(\infty \) with \(-12\) and \(-k(k+\sqrt{k^2+16})/2\) with \(-k(k-\sqrt{k^2+16})/2\). Applying the change to one of the integrals in (5) we arrive at the other. \(\square \)
Proof of Theorem 1
Proposition 2 implies that \(p(k)=q(k+2)+C\) for \(k\ge 4\), with some constant C independent of k. On using the asymptotics (2) we conclude that \(C=0\), and the theorem follows. \(\square \)
4 The third family
Since \(\mathrm {m}(R_{|k|})=\mathrm {m}(R_k)\), we assume that \(k\ge 0\) throughout the section.
For the elliptic family we write
This time the zeroes \(y_1(x)\) and \(y_2(x)\) of the quadratic polynomial \(\widetilde{R}_k(x,y)\) satisfy
We have
so that \(|y_1(x)|\ge |y_2(x)|\).
Lemma 1
If \(k\ge 3\) then \(\Delta _k(x)\ge 0\), so that both \(y_1(x)\) and \(y_2(x)\) are real.
If \(0\le k<3\) then \(y_1(x)\) and \(y_2(x)\) are complex conjugate to each other for
so that \(|y_1(x)|=|y_2(x)|=|3-4\cos ^2\theta |^{1/2}\) in this case. Furthermore, \(|y_1(x)|=|y_2(x)|>1\) if and only if
Proof
Note that \(16\cos ^2\theta \,(3-4\cos ^2\theta )\le \max _{0\le c\le 1}16c(3-4c)=9\), hence
The second part of the statement is a mere computation. \(\square \)
Lemma 2
If \(k\ge 2\sqrt{2}\) then \(|y_1(x)|\ge 1\) for all \(x\in \mathbb C:|x|=1\).
Proof
Denote \(c=\cos ^2\theta \) for \(x=\exp (i\theta )\), so that our task is to show that
for \(0\le c\le 1\). If \(k^2-48c+64c^2\ge 0\), meaning that either \(k\ge 3\) and \(c\in [0,1]\) or \(2\sqrt{2}\le k<3\) and \(c\in [0,(3-\sqrt{9-k^2})/8]\cup [(3+\sqrt{9-k^2})/8,1]\), the inequality (6) is equivalent to
The latter inequality holds automatically when the right-hand side is nonpositive, that is, when \(c\le k^2/16\). If \(c>k^2/16\ge 1/2\) then
implying that \(k^2-48c+64c^2<(4\sqrt{c}-k)^2=k^2-8k\sqrt{c}+16c\), and the required inequality follows.
If \(k^2-48c+64c^2<0\) then \(|y_1(x)|=|y_2(x)|=|y_1(x)y_2(x)|^{1/2}\) and
The latter expression is \(\ge 1\) whenever \(0\le c\le 1/2\); this indeed holds true for \((3-\sqrt{9-k^2})/8<c<(3+\sqrt{9-k^2})/8\) since \(2\sqrt{2}\le k\le 3\) in this case.
The required inequality (6) is thus established. \(\square \)
Lemma 3
If \(k\ge 16/(3\sqrt{3})=3.0792\ldots \) then \(|y_2(x)|\le 1\) for all \(x\in \mathbb C:|x|=1\).
Proof
To verify that \(k-\sqrt{k^2-48c+64c^2}\le 4\sqrt{c}\), equivalently
for \(0\le c\le 1\), we first notice that the inequality is trivially true for \(c\ge k^2/16\) since the right-hand side is then nonpositive. If \(c<k^2/16\), the inequality (7) after squaring becomes equivalent to \(8\sqrt{c}(1-c)\le k\). The latter inequality holds true because the maximum of \(\sqrt{c}(1-c)\) is attained at \(c=1/3\) and is equal to \(2/(3\sqrt{3})\). \(\square \)
Proposition 3
If \(k\ge 16/(3\sqrt{3})\) then
Proof
Using the two lemmas above we conclude that for values of \(k\ge 16/(3\sqrt{3})\) Jensen’s formula gives us
which in turn implies that
It remains to perform the change \(c=t^2\). \(\square \)
If \(0<k<16/(3\sqrt{3})\) then the cubic polynomial \(f(t)=8t^3-8t+k\) has two real zeroes on the interval \(0<t<1\), since \(f(0)=f(1)=k>0\) and \(f(1/\sqrt{3})=k-16/(3\sqrt{3})<0\). Denote them \(t_1(k)<t_2(k)\).
Lemma 4
If \(|\cos \theta |=|x+x^{-1}|/2=t_1(k)\) then \(|y_2(x)|=1\) for \(k\le 16/(3\sqrt{3})\).
If \(|\cos \theta |=|x+x^{-1}|/2=t_2(k)\) then
Proof
Note that for the values of x corresponding to \(t_1(k)\) and \(t_2(k)\) we always have \(\Delta _k(x)\ge 0\), so that both \(y_1(x)\) and \(y_2(x)\) are real. The solutions of \(|y_1(x)|=1\) and \(|y_2(x)|=1\) correspond to solving
where \(t=|\cos \theta |=|x+x^{-1}|/2\). By elementary manipulations the latter equation reduces to \(8t^3-8t+k=0\), and the remaining task is to distinguish whether we get \(|y_1(x)|=1\) or \(|y_2(x)|=1\). We do not reproduce this technical but elementary analysis here. \(\square \)
Proposition 4
If \(0<k<16/(3\sqrt{3})\) then
where \(t_1(k)\) and \(t_2(k)\), \(0<t_1(k)<1/\sqrt{3}<t_2(k)<1\), are the real zeroes of the polynomial \(8t^3-8t+k\).
Proof
To each x on the unit circle we assign the real parameter \(\theta \) such that \(x=e^{i\theta }\) and real parameter \(t=|x+x^{-1}|/2=|\cos \theta |\in [0,1]\). The analysis of Lemmas 1–4 shows that the ranges of t that correspond to \(|y_1(x)|\ge 1\) and \(|y_2(x)|\ge 1\) are as follows: if \(0<k<2\sqrt{2}\) then
and if \(2\sqrt{2}\le k<16/(3\sqrt{3})\) then
Therefore,
if \(0<k<2\sqrt{2}\) and
if \(2\sqrt{2}\le k<16/(3\sqrt{3})\). Differentiating r(k) we obtain
if \(0<k<2\sqrt{2}\) and
if \(2\sqrt{2}\le k<16/(3\sqrt{3})\); here we have observed that the additionally occurring integrals in the process of differentiating vanish because \({\text {Re}}\log y_j(x)=\log |y_j(x)|=0\) by Lemma 4 in the corresponding cases.
Note that for both \(0<k<2\sqrt{2}\) and \(2\sqrt{2}\le k<16/(3\sqrt{3})\) the result is the same:
To complete the proof we apply the substitution \(t^2=c\). \(\square \)
Remark 2
The integral in (8) is elliptic, while the integrals in (9) are incomplete elliptic: the “completion” of the integrals will require integrating along \(c\in (0,(3-\sqrt{9-k^2})/8)\cup ((3+\sqrt{9-k^2})/8,1)\) if \(0<k<3\) or \(c\in (0,1)\) if \(3\le k<16/(3\sqrt{3})\) rather than along \(c\in (0,t_1(k)^2)\cup (t_2(k)^2,1)\). The incompleteness serves as a reason for the Mahler measure r(k) not to be rationally related to \(L'(E_k,0)\) for \(|k|<16/(3\sqrt{3})\).
Proposition 5
For k positive real, \(k\ne 3\),
Proof
Applying the substitution
to the integral on the left-hand side we obtain
(after the change \(u=t^2\))
Now the substitution
into the latter integral results in the the right-hand side in (10). \(\square \)
Remark 3
For \(k>0\), \(k\ne 3\), the identity in Proposition 5 relates the periods of the elliptic curves \(E_k\) in (1) (which is isomorphic to \(u^2=(v+12)(v^2+k^2v-4k^2)\)) and
The curves \(E_k\) and \(\widehat{E}_k\) are not isomorphic but the latter one happens to be a quadratic twist of the former.
Proof of Theorem 2
The equality of elliptic integrals in (10) means that the derivatives of p(k) and r(k) coincide for \(k\ge 16/(3\sqrt{3})\). Thus \(p(k)=r(k)+C\) for the range of k, and the asymptotics (2) implies that \(C=0\) and finishes the proof of the theorem. \(\square \)
5 Accurateness of Theorem 2 and related comments
Though our Remarks 1 and 2 are aimed at explaining the choice of ranges for k in Theorems 1 and 2, in conclusion we would like to specifically address the difference between \(\mathrm {m}(P_3)\) and \(\mathrm {m}(R_3)\). The choice \(k=3\) corresponds to a simultaneous degeneration in the families of curves \(P_k(x,y)=0\) and \(R_k(x,y)=0\).
The curve
has genus 1; it is isomorphic to the conductor 15 elliptic curve \(y^2+xy+y=x^3+x^2\) which has Cremona label 15a8 [6, Curve15.a7]. The proof of the evaluation
was given in [3, Example 3] (by two different methods!).
On the other hand,
so that
Following the technology and notation in [3] to compute the Mahler measure of \(A(x,y)=x^2-xy+y^2+x+y\), we first fix the rational parametrisation
and compute the resultant of A(x, y) and \(A^*(x,y)=x^2y^2A(1/x,1/y)\):
The quartic polynomial has exactly two complex conjugate zeroes
and \(x_1^{-1}\) of absolute value 1. The corresponding values of y satisfying \(|y|=1\) and \(A(x,y)=0\) are \(y=y_1=x_1^{-1}\) for \(x=x_1\) and \(y=x_1\) for \(x=x_1^{-1}\). The pair \((x_1,y_1)\) is generated by
Note that in this case
where the 1-form \(\eta (g,h)=\log |g|\,{\mathrm d}\arg h-\log |h|\,{\mathrm d}\arg g\) is attached to rational nonconstant functions g and h and
denotes the Bloch–Wigner dilogarithm. Then by results in [3] the Mahler measure of A(x, y) is equal to
The resulting measure \(\mathrm {m}(R_3)=1.01151388\ldots \) visually appears to be different from (11) confirming that \(\mathrm {m}(P_k)\ne \mathrm {m}(R_k)\) at least for \(k=3\). Furthermore, \(\mathrm {m}(R_3)\) does not seem to be a \(\mathbb Q\)-linear combination of \(L'(\chi _{-3},-1)\) and \(L'(\chi _{-15},-1)\).
It would be interesting to establish the expected evaluation \(\mathrm {m}(R_4)=-\frac{1}{3}L'(E_{224\text {a}},0)\), hence also for \(\mathrm {m}(P_4)\) and \(\mathrm {m}(Q_6)\), by using the recent formula of Brunault [4] for the regulator of Siegel units. Note that the elliptic curve \(R_4(x,y)=0\) does not possess a modular-unit parametrisation (so that the formula from [7] is not applicable) and it is isomorphic to the curve \(y^2=x^3+x^2-8x-8\) which has Cremona label 224a2 [6, Curve224.a1].
Another related conjecture of Boyd [2, Eq. (3–12)] states that
Here \(Q_{-1}(x,y)=0\) is an elliptic curve of conductor \(210=2\times 3\times 5\times 7\), which is isomorphic to \(y^2+xy=x^3+x^2-3x-3\) with Cremona label 210d1 [6, Curve210.a3]. Numerics indicates the lack of a modular-unit parametrisation in this case, though a suitable parametrisation by Siegel units and the principal result from [4] are expected to confirm Boyd’s observation for \(\mathrm {m}(Q_{-1})\).
References
Bertin, M.J., Zudilin, W.: On the Mahler measure of a family of genus 2 curves. Math. Zeitschrift. 283(3), 1185–1193. doi:10.1007/s00209-016-1637-6
Boyd, D.: Mahler’s measure and special values of \(L\)-functions. Exp. Math. 7(1), 37–82 (1998)
Boyd, D.W., Rodriguez-Villegas, F.: With an appendix by N. M. Dunfield, Mahler’s measure and the dilogarithm (II), Preprint (2003). arXiv:math/0308041 [math.NT]
Brunault, F.: Regulators of Siegel units and applications. J. Number Theory 163, 542–569 (2016)
Rodriguez-Villegas, F.: Modular Mahler measures I. In: Topics in number theory, (University Park, PA, 1997), Math. Appl., vol. 467, pp. 17–48. Kluwer Acad. Publ, Dordrecht (1999)
The LMFDB Collaboration: The \(L\)-functions and Modular Forms Database, http://www.lmfdb.org. Accessed 23 December 2015 (2013–2015)
Zudilin, W.: Regulator of modular units and Mahler measures. Math. Proc. Camb. Phil. Soc. 156(2), 313–326 (2014)
Acknowledgments
Open access funding provided by Max Planck Society. We owe our gratitude to François Brunault for helpful comments and discussions on a preliminary version of the note. We thank the anonymous referee for pointing out some typos in an earlier version. A part of the work was done during the authors’ visit in the Centre de recherches mathématiques, Université de Montréal, and the second author’s stay at the Max-Planck-Institut für Mathematik, Bonn, in Spring 2015. We thank the staff of the institutes for the excellent conditions we experienced when conducting this research. The second author acknowledges the support of the Max-Planck-Institut für Mathematik and the Australian Research Council.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bertin, M.J., Zudilin, W. On the Mahler measure of hyperelliptic families. Ann. Math. Québec 41, 199–211 (2017). https://doi.org/10.1007/s40316-016-0068-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40316-016-0068-4