Avoid common mistakes on your manuscript.
The celebrated Markov triples are positive integer solutions of the Markov equation
Andrey Andreyevich Markov (1856–1922) [6] showed that all such solutions can be found recursively from (1, 1, 1) using a natural action of the modular group \({\text {PSL}}_2(\mathbb Z)\) on the solutions of this equation generated by the cyclic permutation of variables and the Vieta involution \((x,y,z)\mapsto (x,y, 3xy-z)\).
Markov introduced his triples in 1879 in relation to the Diophantine properties of the binary quadratic forms that can be interpreted as the description of the “most irrational” numbers. Since then, many surprising connections have been discovered between Markov triples and hyperbolic geometry, combinatorics of words, and, more recently, the theory of Frobenius manifolds, algebraic geometry, and cluster mutations (see [1, 2] and the references therein). This makes the Markovian theme one of the most fascinating stories in mathematics, which because of a still unproven uniqueness conjecture [1] is far from being finished.
Recently, Valentin Ovsienko [8], motivated by his attempts to understand possible super analogues of cluster algebras [9,10,11], introduced the so-called shadow version of Markov triples by considering the solutions of a certain version of the Markov equation over dual numbers \(X=a+b\varepsilon \), \(\varepsilon ^2=0\).
The dual numbers were introduced in 1873 by William Clifford (1845–1879) and were used by Eduard Study (1862–1930) to describe the relative positions of two skew lines in space. They are the simplest case of the Grassmann numbers, which are used to describe the fermionic fields in modern quantum theory.
In fact, Ovsienko introduced the shadow versions of other sequences of integers, including Fibonacci numbers and (with Serge Tabachnikov) Somos-4 sequences [8, 11]. Recently, Andrew Hone [4] extended this study to a more general Somos-4 recurrence relation over dual numbers.
As always with a new development, a valid question is whether the shadow dynamics are interesting enough to deserve a detailed study. The aim of this note is to add few more arguments to those of Ovsienko and Hone in favor of a positive answer to this question.
Namely, we will study the shadow Mordell triples satisfying the Mordell equation
with X, Y, Z dual integers. As was shown by Louis Mordell [7], this equation can be viewed as a “solvable” modification of Markov’s equation. This fact was used by Don Zagier [15] to study the growth of the Markov numbers.
Note that as in the case of Markov’s equation, we have a natural action of the modular group \({\text {PSL}}_2(\mathbb Z)\) on the solutions of the Mordell equation. Remarkably, the shadow orbits of the solution (1, 1, 1), which is stationary for modular dynamics, are none other than the values of binary quadratic forms and thus can be visualized using the original Conway topograph [3].
The shadows of other Mordell triples can be written explicitly in terms of the solutions of Pell’s equations, following Mordell [7]. We will discuss also the shadow growth along the paths in the Conway topograph, which can be described in terms of the Lyapunov function of the Euclid tree [12].
The Conway Topograph and the Modular Group
The values of binary quadratic forms on the integer lattice \( \mathbb {Z}^2\) is one of the most classical objects of study in number theory, going back to Fermat, with later contributions from Euler, Gauss, and Jacobi. A famous question asks which integers n can be represented as the sum of two squares,
and in how many ways. The answer is given by the Jacobi formula for the number N(n) of such representations:
where \(N_1(n)\) and \(N_3(n)\) are the numbers of the divisors of n with residues 1 and 3 modulo 4, respectively (see, e.g., [5]).
In the 1990s, this very classical story had a very interesting twist due to the intervention of John H. Conway. In his book The Sensual (Quadratic) Form [3], Conway described the following “topographic” way to “visualize” these values. He introduced the notions of the lax vector as a pair \((\pm v)\), \(v \in \mathbb Z^2\), and the superbase of the integer lattice \(\mathbb Z^2\) as a triple of lax vectors \((\pm e_1, \pm e_2, \pm e_3)\) such that \((e_1, e_2)\) is a basis of the lattice and
Every basis \((e_1,e_2)\) can be included in exactly two superbases, namely \(\pm (e_1,e_2, -e_1-e_2)\) and \(\pm (e_1,-e_2, -e_1+e_2)\), so that the corresponding set of the superbases can be described using the binary tree embedded in the plane. The connected components of the complement to the tree (domains) are labeled by the primitive (that is, having coprime coordinates) lax vectors and the edges by the lax bases, while the superbases correspond to the vertices of the tree (see Figure 1a, where we have shown only one representative of the lax vectors). The projective version of the Conway superbase topograph is known also as the Farey tree, since it is related to Farey “addition”
(see Figure 1).
Let \(Q(x, y) = ax^2 + hxy + by^2\) be a binary quadratic form (in Conway’s notation) with \(x,y \in \mathbb Z\); the coefficients a, b, h need not be integers. By taking the values of the form Q on the vectors of the superbase, we get what Conway called the topograph of Q, containing the values of Q on all primitive lattice vectors. In particular, if \(\textbf{e}_1=(1,0)\), \(\textbf{e}_2=(0,1)\), \(\textbf{e}_3=-(1,1)\), we have the values \(Q(\textbf{e}_1)=a\), \(Q(\textbf{e}_2)=b\), \(Q(\textbf{e}_3)=c:=a+b+h\).
Conway’s key ideaFootnote 1 is that one can construct the topograph of Q recursively, starting from this triple and using the following property of any quadratic form, which Conway called the arithmetic progression rule (known also in geometry as the parallelogram law):
In fact, the quadratic forms (in any dimension) can be characterized as the continuous functions Q satisfying relation (1). In particular, for \( Q(x, y) = x^2 + xy + y^2\), \((x,y) \in \mathbb {Z}^2 \), describing the square lengths of vectors in a regular hexagonal lattice, we have the Conway topograph shown in Figure 2.
As Conway nicely explained, the modular group \({\text {PSL}}_2(\mathbb Z)\) can be viewed as the natural symmetry group of his topograph. Indeed, it is well known that \({\text {PSL}}(2, \mathbb Z)=\mathbb Z_2*\mathbb Z_3\) is generated by
where U acts on the topograph combinatorially by rotation by \(\pi \) about the edge center, and V acts by rotation by \(2\pi /3\) about the vertex. Thus, within Klein’s Erlangen program, Conway’s topograph can be viewed as a discrete version of the hyperbolic plane with its isometry group \({\text {PSL}}_2(\mathbb R)\) replaced by \({\text {PSL}}_2(\mathbb Z)\).
This means that Conway’s topograph can be used to describe any \({\text {PSL}}_2(\mathbb Z)\) dynamics. In particular, we have a natural action of \({\text {PSL}}_2(\mathbb Z)\) on the solutions of Markov’s equation \(x^2 + y^2 + z^2=3xyz\), generated by the Vieta involution and cyclic permutation of the variables. As Markov showed in [6], all integer solutions of Markov’s equation form one orbit of \({\text {PSL}}_2(\mathbb Z)\) acting on (1, 1, 1). A part of the corresponding Conway topograph of the Markov triples is shown in Figure 3 with the local Vieta rule generating them.
Shadow Markov and Mordell triples
Let
be the commutative ring of dual integers. By analogy with the Gaussian integers \(a+bi\), \(i^2=-1\), \(a,b \in \mathbb Z\), we will call them Clifford integers. The invertible elements (units) in \(\mathbb D(\mathbb Z)\) have the form \(\pm 1+ b\varepsilon \) for \(b \in \mathbb Z\).
Ovsienko [8] proposed the shadow version of Markov triples as the solutions over Clifford integers of the following version of the Markov equation:
as the \({\text {PSL}}_2(\mathbb Z)\)-orbit of the initial triple of units \(X=1\), \(Y=Z=1+\varepsilon \) (for the motivation for this choice, see [8]).
Ovsienko observed that the shadow companion of the very left (Fibonacci) branch of the Markov tree
is the known sequence A238846, which is the convolution of two bisections of the Fibonacci sequence, and he asked for a possible meaning of the other shadows (see Figure 4). This is a very interesting question, which is still largely open.
We will discuss the simpler Diophantine equation
which was studied by Mordell [7] and can be viewed as a “solvable” modification of Markov’s equation.Footnote 2 Recently, it was realized that it is closely related to the two-valued formal group in complex K-theory studied by Buchstaber and Novikov (see [2]).
Mordell showed that this equation has integer solutions of two types:
-
I:
\(x=1\), \(y=z\),
-
II:
\(2x=\xi ^{a}+\eta ^{a}\), \(2y=\xi ^{b}+\eta ^{b}\), \(2z=\xi ^{c}+\eta ^{c}\),
where \(a,b,c\in \mathbb Z\) satisfy \(a+b=c\), and \(\xi =p+q\sqrt{d}\), \(\eta =p-q\sqrt{d}\), and p, q are solutions of Pell’s equation
where \(d \in \mathbb N\) is not a perfect square. It is well known that all positive integer solutions of this classical equation (mistakenly ascribed to Pell by Euler) can be given by
where \((p_0, q_0)\) is the minimal positive (fundamental) solution, which can be found from the continued fraction expansion of \(\sqrt{d}\) (see, e.g., [5]). One can also use Conway’s topograph to describe the solutions of Pell’s equation, as is nicely explained by Weissman in [14].
In particular, when \(d=2\), the fundamental solution of Pell’s equation \(p^2-2q^2=1\) is \(p_0=3\), \(q_0=2\), which leads to the Mordell triples of type II with \(\xi =3+2\sqrt{2}\), \(\eta =3-2\sqrt{2}\). As in the Markov case, we have the action of \({\text {PSL}}_2(\mathbb Z)\) generated by the Vieta involution
and by cyclic permutations of the variables. However, in contrast to the Markov case, we see that \({\text {PSL}}_2(\mathbb Z)\) has infinitely many orbits here. In particular, we have a special type-I orbit consisting of the single point (1, 1, 1) fixed under the action of \({\text {PSL}}_2(\mathbb Z)\).
Let us look at the shadows \(X=1+a\varepsilon \), \(Y=1+b\varepsilon \), \(Z=1+c\varepsilon \) of this special orbit. The corresponding orbit on the Conway topograph satisfies the Vieta rule \(Z+Z'=2XY\), giving
which is none other than Conway’s arithmetic progression rule! Thus we have the following nice surprise.
Theorem 1.
Shadow \({\text {PSL}}_2(\mathbb Z)\)-orbits of the special Mordell triple (1, 1, 1) can be naturally visualized by Conway topographs of the values of binary quadratic forms.
Note that this is true for any coefficients of the binary quadratic forms and any Mordell triples, not necessarily integers (Figure 5).
Before considering the shadows of other Mordell triples, let us look at the underlying geometry. Geometrically, the Mordell equation (3) determines a particular affine realization of the classical Cayley’s nodal cubic surface with the maximal number (which is 4) of conical singularities at the points (1, 1, 1), \((1, -1, -1)\), \((-1,1,-1)\), \((-1,-1,1)\) (see the real version in Figure 6).
The following observation, going back to Mordell, allows one to linearize the Mordell equation.
Theorem 2.
[7] The real Mordell triples (x, y, z) with \(1\le x\), \(y \le z\) can be parametrized as
with real \(u, v, w \ge 0\) satisfying the Euclid relation \(w=u+v\).
Now we can use the fact that any analytic relation can be extended to the dual numbers using the formula
since \(\varepsilon ^2=0\). This leads us to the following shadow Mordell triples:
where the parameters satisfy the Euclid relation
Theorem 3.
The formulas (5), (6) describe all solutions of the Mordell equation
over real dual numbers having real parts \(1\le x\), \(y \le z\), with the exception of the special triple \(x=y=z=1\), for which the shadows were described above.
First, note that \(X=x+{\tilde{x}} \varepsilon \), \(Y=y+{\tilde{y}} \varepsilon \), \(Z=z+{\tilde{z}} \varepsilon \) satisfy (7) iff
and
Let \(X=\cosh u + {\tilde{x}}\varepsilon \), \(Y=\cosh v + \tilde{y}\varepsilon \), \(Z=\cosh w + {\tilde{z}}\varepsilon \) be a shadow of the triple (4) with \(w=u+v\). Then using the addition formula for \(\cosh \), we can rewrite (8) as
Dividing this equation by \(\sinh u \sinh v\sinh w\), assumed to be nonzero, we see that the parameters \(\alpha ={\tilde{x}}/\sinh u\), \(\beta ={\tilde{y}}/\sinh v\), \(\gamma ={\tilde{z}}/\sinh w\) satisfy the relation \(\gamma =\alpha +\beta \). This means that if none of x, y, z is 1, then the corresponding shadows indeed have the form (5), (6). For the Mordell triples (1, y, y) with \(y\ne 1\), the shadows have the form \((1,y+{\tilde{y}} \varepsilon , y+{\tilde{z}} \varepsilon )\) with arbitrary \({\tilde{y}}, {\tilde{z}}\), which agrees with (5), (6), since \(\alpha \) could be arbitrary because \(\sinh u=0\). The case of the special triple (1, 1, 1) is the only exceptional one here, but it was discussed above.
Thus, the shadows of the Mordell triples (5) on the Conway topograph are determined by the pairs of Euclid’s triples (6). In particular, we have a natural choice when these triples are proportional:
leading to the following shadows, which we will call principal:
Let us return now to the integer Mordell triples of type II,
where the integers a, b, c satisfy \(a+b=c\) and \(\xi =p+q\sqrt{d}\), \(\eta =p-q\sqrt{d}\), with p, q a solution of Pell’s equation \(p^2-d q^2=1\).
Theorem 4.
The following formulas provide an explicit form of the principal integer shadows of Mordell triples (9):
where \(m, a,b,c \in \mathbb Z\), \(a+b=c\).
Indeed, since \(\xi \eta =(p+q\sqrt{d})(p-q\sqrt{d})=p^2-dq^2=1\), the equality \(\cosh u=\frac{1}{2}(\xi ^{a}+\eta ^{a})\) implies that \(u=\pm a\log \xi \) and \(\sinh u=\pm \frac{1}{2}(\xi ^{a}-\eta ^{a})\). Now we have only to choose the values of the parameter \(\mu \) in the formula for principal shadows to make them integers, which leads to formula (10). In particular, for Pell’s equation \(p^2-2q^2=1\) with \(p=3\), \(q=2\), \(m=1\), we have the Conway topographs of the corresponding Mordell triples and their shadows shown in Figure 7.
Note that in contrast to Markov’s equation, where we have only the local Vieta rule on the topograph to generate the solutions, in the Mordell case we have also the explicit formula (10) for the Mordell triples and their shadows in terms of the corresponding Euclid triples (cf. Mordell’s comments in [7]).
Shadow Growth on the Conway Topograph
As we can see in Figure 7, in the Conway topograph the shadows grow faster than the Mordell triples. Let us look at their growth in more detail.
Consider the corresponding Euclid tree of triples \(a,b,c \in \mathbb Z\) with \(a+b=c\) parametrizing the Mordell triples (9). Note that \(2x(a):=\xi ^{a}+\eta ^{a}=2x(-a)\), so we can restrict ourselves to positive a, b, c (see Figure 8). Traversing this tree can be viewed as an application of the classical Euclidean algorithm for finding the greatest common divisor of a and b (assumed here to be 1).
Theorem 5.
On the Conway topograph, the growth of the Mordell numbers and their principal shadows (10) are related asymptotically for large a by
where a is the corresponding entry in the Euclid tree. In other words, asymptotically, we have the shadow growth
Indeed, we know that \(\xi =p+q\sqrt{d}>1\), \(\eta =p-q\sqrt{d}<1\), since \(\xi \eta =p^2-dq^2=1\). This implies that for large positive a, we asymptotically have \(2x(a)=\xi ^a+\eta ^a \sim \xi ^a\), and thus in the Conway topograph the shadows grow as
Here we have used the standard notation \(f(a)\sim g(a)\) when \(\lim _{a\rightarrow \infty }{f(a)}/{g(a)}=1\).
Let us look now more closely at the growth along the paths on the Conway topograph. Using a Farey tree, we can label the directed infinite paths by \(\xi \in \mathbb RP^1\), where \(\xi \) is the limit of Farey fractions along the path (see Figure 9).
Following [12], we define the Lyapunov function \(\Lambda (\xi )\) describing the growth of the Euclid triples
along the path \(\gamma (\xi )\):
(here \(a_n(\xi )\) can be replaced by \(b_n(\xi )\) or \(c_n(\xi )\)).
Theorem 6.
([12]) The function \(\Lambda (\xi )\) has the following properties:
-
\(\Lambda (\xi )\) is defined for all \(\xi \in \mathbb {R}P^1\) and is \({\text {GL}}_2(\mathbb Z)\)-invariant:
$$\begin{aligned} \Lambda \left( \frac{a\xi +b}{c\xi +d}\right) =\Lambda (\xi ), \quad \xi \in \mathbb {R}P^1,\; \begin{pmatrix} a &{} b \\ c &{} d \\ \end{pmatrix} \in {\text {GL}}_2(\mathbb Z)\,. \end{aligned}$$ -
\(\Lambda (\xi )\) vanishes almost everywhere, but the Hausdorff dimension of its support is 1.
-
The Lyapunov spectrum \({\text {Spec}}_E:=\{\Lambda (\xi ), \, \xi \in \mathbb {R}P^1\}\) of the Euclid tree is
$$\begin{aligned} {\text {Spec}}_E=[0, \ln \varphi ], \end{aligned}$$where \(\varphi =\left( 1+\sqrt{5}\right) /{2}\) is the golden ratio.
Using this function, we can describe the growth of both Mordell triples and their shadows.
The special orbit (1, 1, 1) is stationary for the modular dynamics, so it has zero growth, but as we have seen, the shadows are the values of binary quadratic forms. Their growth in the Conway topograph was studied by Spalding and the author in [13], which leads to the following result.
Consider the growth in the Conway topograph of the \({\text {PSL}}_2(\mathbb Z)\)-orbit of \(X=1+a\varepsilon \), \(Y=1+b\varepsilon \), \(Z=1+c\varepsilon \). Let
be the corresponding binary quadratic form and
its discriminant, which we assume for simplicity to be nonzero. When \(D>0\), the quadratic form is indefinite; otherwise, it is either positive or negative definite.Footnote 3 As a corollary of the results of [13], we have the following result.
Theorem 7.
When \(D(a,b,c)<0\), the growth of the shadows of the special Mordell triple (1, 1, 1) along the path \(\gamma (\xi )\) satisfies
When \(D(a,b,c)>0\), the same is true except for \(\xi =\alpha , \bar{\alpha }\), which are the roots of the quadratic equation \(Q(\xi ,1)=0\) defining the ends of the corresponding Conway river, where the growth is zero.
Recall that the Conway river [3] is the infinite path separating the positive and negative values of the indefinite binary quadratic forms in the Conway topograph (see Figure 10, and for more details, [13]).
For the type-II Mordell triples, we can describe the relative growth of the shadows along the path \(\gamma (\xi )\). Let \(x_n(\xi )\) and \({\tilde{x}}_n(\xi )\) be the Mordell numbers (9) and their shadows (10) along the path \(\gamma (\xi )\).
Theorem 8.
The relative growth of the principal shadows \({\tilde{x}}_n(\xi )\) of the type-II Mordell numbers \(x_n(\xi )\) along the path \(\gamma (\xi )\) can be described by
Indeed, from the explicit formulas (9), (10), it follows that
Note that the condition on the shadows being principal can be removed here. For the generic shadows of the orbit (1, 1, 1), this limit is \(2\Lambda (\xi)\). I believe that similar results about shadow growth hold also for Ovsienko’s shadow Markov numbers, but that is still to be established.
Another natural research direction is to study similar questions for the elliptic version of the Mordell equation
corresponding to the addition formula for the Jacobi elliptic function cn(u, k) (see [2]). As explained in [2], these equations have significant meaning in topology: the Mordell equation is closely related to the formal group law in complex K-theory, while its elliptic version is related to the elliptic cohomology.
Notes
Conway clearly believed that this is an important idea, claiming in the introduction to his lectures [3] that “the ‘topograph’ of the First Lecture is new.”
It is very interesting to read Mordell’s comments in [7, p. 505] about what solvability could mean for Diophantine equations.
In the corresponding real projective plane, the equation \(D(a,b,c)=0\) defines a conic, with the disk \(D<0\) the celebrated Cayley–Klein model of the hyperbolic plane.
References
M. Aigner. Markov’s Theorem and 100 Years of the Uniqueness Conjecture: A Mathematical Journey from Irrational Numbers to Perfect Matchings. Springer, 2013.
V. M. Buchstaber and A. P. Veselov. Conway topograph, \(\text{ PGL}_{2}(Z)\)-dynamics and two-valued groups. Russian Math. Surveys 74:3 (2019), 387–430.
J. H. Conway. The Sensual (Quadratic) Form, Carus Mathematical Monographs 26. Mathematical Association of America, 1997.
A. Hone. Casting light on shadow Somos sequences. Glasgow Math. J. (2022), 1–15.
W. J. LeVeque. Fundamentals of Number Theory. Dover, 1996.
A. A. Markov. Sur les formes quadratiques binaires indéfinies. Mathematische Annalen 15 (1879), 381–406; 17 (1880), 379–399.
L. J. Mordell. On the integer solutions of the equation \(x^2 + y^2 + z^2 + 2xyz = n\). J. London Math. Soc. 28 (1953), 500–510.
V. Ovsienko. Shadow sequences of integers, from Fibonacci to Markov and back. Math. Intelligencer 45:1 (2023), 51–54.
V. Ovsienko. A step towards cluster superalgebras. arXiv:1503.01894v7.
V. Ovsienko and M. Shapiro. Cluster algebras with Grassmann variables. Electron. Res. Announc. Math. Sci. 26 (2019), 1–15.
V. Ovsienko and S. Tabachnikov. Dual numbers, weighted quivers, and extended Somos and Gale–Robinson sequences. Algebr. Represent. Theory 21 (2018), 1119–1132.
K. Spalding and A. P. Veselov. Lyapunov spectrum of Markov and Euclid trees. Nonlinearity 30 (2017), 4428–4453.
K. Spalding and A. P. Veselov. Growth of values of binary quadratic forms and Conway rivers. Bulletin of the LMS 50:3 (2018), 513–528.
M. H. Weissman. An Illustrated Theory of Numbers. American Mathematical Society, 2017.
D. Zagier. On the number of Markoff numbers below a given bound. Mathematics of Computation 39 (1982), 709–723.
Acknowledgments
I am grateful to Valentin Ovsienko, who sparked my interest in shadow dynamics, and to Andy Hone for helpful and encouraging discussions. I would like also to thank Katie Spalding and Sam Evans for helping to prepare the figures of Conway topographs.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This column is a place for those bits of contagious mathematics that travel from person to person in the community because they are so elegant, surprising, or appealing that one has an urge to pass them on. Contributions are most welcome. Submissions should be uploaded at the Intelligencer’s website https://www.springer.com/journal/283by clicking on “Submit manuscript” or sent directly to Sophie Morier-Genoud (sophie.morier-genoud@imj-prg.fr) or Valentin Ovsienko (valentin.ovsienko@univ-reims.fr).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Veselov, A.P. Conway’s Light on the Shadow of Mordell. Math Intelligencer 45, 371–378 (2023). https://doi.org/10.1007/s00283-022-10261-3
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00283-022-10261-3