Abstract
We find a novel oneparameter family of integrable quadratic Cremona maps of the plane preserving a pencil of curves of degree 6 and of genus 1. They turn out to serve as Kahantype discretizations of a novel family of quadratic vector fields possessing a polynomial integral of degree 6 whose level curves are of genus 1, as well. These vector fields are nonhomogeneous generalizations of reduced Nahm systems for magnetic monopoles with icosahedral symmetry, introduced by Hitchin, Manton and Murray. The straightforward Kahan discretization of these novel nonhomogeneous systems is nonintegrable. However, this drawback is repaired by introducing adjustments of order \(O(\epsilon ^2)\) in the coefficients of the discretization, where \(\epsilon \) is the stepsize.
Introduction
The problem of integrable discretization [37] consists of finding, for a given integrable system, a discretization which remains integrable. All conventional generalpurpose discretization methods for ODEs, like Runge–Kutta methods etc., applicable to arbitrary ODEs, fail to preserve integrability when applied to a general integrable system. However, there exist “unconventional” numerical methods applicable to certain particular classes of ODEs which possess, on these classes, special properties, see [22]. One of such “unconventional” methods, known alternatively as Hirota–Kimura discretization or Kahan discretization, attracted recently much attention. It is applicable to any ODE on \({{\mathbb {R}}}^n\) with a quadratic vector field, and possesses remarkable properties concerning preservation of integrals and integral invariants. Consider a quadratic ODE
where \(Q:{{\mathbb {R}}}^n\rightarrow {{\mathbb {R}}}^n\) is a vector of quadratic forms, B is an \(n\times n\) matrix, and \(c\in {{\mathbb {R}}}^n\). The HirotaKimura discretization method, or Kahan’s discretization method, consists in replacing the time derivative on the lefthand side by the first difference of the numerical approximation \(x:\epsilon {\mathbb {Z}}\rightarrow {\mathbb {R}}^n\), while the quadratic expressions on the righthand side are replaced by symmetric bilinear expressions in terms of \(x=x(t)\) and \(\widetilde{x}=x(t+\epsilon )\):
where
is the symmetric bilinear form corresponding to the quadratic form Q. Equation (2) is linear with respect to \({{\widetilde{x}}}\) and therefore defines a rational map \({\widetilde{x}}=f(x,\epsilon )\). Due to the symmetry of equation (2) with respect to interchanging \(x\leftrightarrow {\widetilde{x}}\) accompanied by sign inversion \(\epsilon \mapsto \epsilon \), the map f is reversible:
(in numerical analysis, discretization schemes with this property are called selfadjoint). Thus, the map f is birational.
The origin of this discretization method can be seen in the pioneering work of Hirota in 1970s. One of his main contributions to the theory of solitons is an ingenious transformation of the majority, if not all, integrable PDEs to the so called bilinear form (which turned out to have extremely deep relations to various branches of mathematics, especially to infinite dimensional Lie algebras and their representation theory). He then invented a bilinear discretization of integrable PDEs presented in the bilinear form [11,12,13,14,15], culminating in the discovery of the so called Hirota bilinear equation which is one of the most fundamental integrable systems [16]. In the context of ODEs, the bilinear discretization was applied to the Euler top and to the Lagrange top by Hirota and Kimura [17, 21], who observed that the resulting maps are integrable.
Independently and in the general framework of quadratic ODEs (not necessarily integrable), the bilinear discretization was introduced by Kahan [20]. For some reasons which remain not completely clarified up to now, Kahan’s method tends to preserve integrals of motion and integral invariants much more often than any other known general purpose discretization scheme, which was confirmed by extensive studies, see [23,24,25,26,27,28,29,30, 32, 33, 36, 40] and [2, 3, 5, 6, 38, 39]. Generalizations of Kahan’s method for higher order ODEs and/or to polynomial vector fields of higher degree were studied in [4, 19]. Integrability is preserved by Kahan’s method in an amazing number of cases (but not always!). It seems reasonable to reserve the term “Hirota–Kimura method” for this method in the context of integrable discretization. In this article, we use the term “Kahan’s method”.
Simple counterexamples to preservation of integrability by Kahan’s method are available already in dimension \(n=2\), and can be found among nonhomogeneous extensions of the so called reduced Nahm equations introduced in [18]. These are the systems of the form
where
with \(\gamma _1, \gamma _2, \gamma _3\in {{\mathbb {R}}}\setminus \{0\}\), and \(\ell _i(x,y)=a_ix+b_iy\) are linear forms. Integrability takes place for \((\gamma _1,\gamma _2,\gamma _3)=(1,1,1)\), (1, 1, 2), and (1, 2, 3). In all three cases, all integral curves of the system (4) are of genus 1. In [5, 24, 32] integrability was established for the Kahan discretization of all three cases of the reduced Nahm equations.
If \((\gamma _1,\gamma _2,\gamma _3)=(1,1,1)\), one is dealing with a canonical Hamiltonian system with a homogeneous cubic Hamilton function. As discovered in [2], in this situation the Kahan discretization remains integrable for arbitrary (i.e., also for nonhomogeneous) cubic Hamilton functions.
If \((\gamma _1,\gamma _2,\gamma _3)=(1,1,2)\), one can find nonhomogeneous perturbations of the quartic polynomial H(x, y) so that the resulting differential equations (4) still have the above mentioned property: all integral curves are of genus 1. A Kahan discretization of the perturbed (nonhomogeneous) system is nonintegrable. However, it was shown in [33] that one can adjust the coefficients of the discretization (making them dependent on \(\epsilon \) in a nontrivial way) to obtain an integrable Kahantype discretization.
The present paper is devoted to a similar result for systems of the class \((\gamma _1,\gamma _2,\gamma _3)=(1,2,3)\). The homogeneous system can be taken as
It possesses an integral of motion of degree 6:
whose level sets are curves of genus 1. The Kahan discretization of this system reads:
It is integrable, with an integral of motion
Consider the following nonhomogeneous perturbation of system (5):
It has the following integral of motion:
with the same property as above (all level sets are curves of genus 1). The Kahan discretization of this system,
generates a nonintegrable map. However, the coefficients of this discretization can be adjusted via \(O(\epsilon ^2)\) terms, to produce an integrable map:
This map, like the unperturbed one (7), has an integral of motion whose level sets are curves of degree 6 and of genus 1 (the irreducible ones).
The presentation is organized as follows. In Sect. 2, we consider in detail system (5) and its Kahan discretization (7), paying special attention to the singularity confinement property of the latter map. In Sect. 3, we perform, following [31], a reduction of the pencil of invariant curves of degree 6 of the Kahan discretization to a pencil of biquadratic curves. This way, the map is shown to be birationally equivalent to a special QRT root (cf. [10, 35]). In Sect. 4, we show that the relevant geometric and dynamical properties of this QRT root can be found in a oneparameter family of such maps, and then find a corresponding oneparameter family of birationally equivalent Kahantype maps preserving a pencil of curves of degree 6 and of genus 1. Finally, in Sect. 5, a continuous limit is performed in those Kahantype maps, leading to a novel integrable system (9), with a pencil of invariant curves with the same property (level sets of the nonhomogeneous sextic polynomial (10) are of genus 1).
A Homogeneous (1,2,3) System and Its Kahan Discretization
We start with a reduced Nahm system (5) with \((\gamma _1,\gamma _2,\gamma _3)=(1,2,3)\), obtained by the following choice of the corresponding linear forms:
so that H(x, y) is as given in (6), and \(\rho (x,y)=xy^2\).
Its Kahan discretization is given in (7). Due to homogeneity, we can restrict ourselves to the case \(\epsilon =1\),
The general case is obtained from this by the rescaling \((x,y)\mapsto (\epsilon x,\epsilon y)\). A simple computation gives an explicit formula for the map f:
or
In homogeneous coordinates,
In the following proposition, we collect the relevant information about this map, as found in [5, 24, 32, 40].
Proposition 1
The map f given in (14) admits an integral of motion
with \(H(x,y)=x^2y^3(\frac{2}{3}x+\frac{1}{2}y)\). The pencil of the level curves \(H_1(x,y)=\lambda \), i.e.,
of \(\deg =6\) possesses eleven (distinct) base points given by:

six finite base points of multiplicity 1 on the line \(\ell _1=0\):
$$\begin{aligned} p_1=p_6=\Big (\frac{3}{5},\frac{4}{5}\Big ),\quad p_2=p_5=\Big (1,\frac{4}{3}\Big ), \quad p_3=p_4=(3,4), \end{aligned}$$(18) 
three base points of multiplicity 2 on the line \(\ell _2=0\), two finite and one at infinity:
$$\begin{aligned} p_7=p_9=(0,1), \quad p_8=[0:1:0], \end{aligned}$$(19) 
and two finite base points of multiplicity 3 on the line \(\ell _3=0\):
$$\begin{aligned} p_{10}=p_{11}=(1,0). \end{aligned}$$(20)
See Fig. 1 for an illustration. One has: \({\mathcal {I}}(f)=\{p_6,p_9,p_{11}\}\) and \({\mathcal {I}}(f^{1})=\{p_1,p_7,p_{10}\}\). All base points participate in three confined singular orbits of the map f:
We refer the reader to [1, 7,8,9] for general information about birational (Cremona) maps of \({\mathbb {C}}{\mathbb {P}}^2\), including the notion of confined singular orbits (related to degreelowering curves and dynamical degree, or algebraic entropy).
Reduction of the Map f to a Special QRT Root
We use notation
for the pencil of curves of degree 6 with simple base boints \(p_1,\ldots ,p_6\), double base points \(p_7,p_8,p_9\), and triple base points \(p_{10},p_{11}\). One can simplify such a pencil by applying a quadratic Cremona map \(\phi \) with the fundamental points \(p_9,p_{10},p_{11}\) (the both triple base points and one of the double base points), cf. [31].
Proposition 2
Consider a quadratic Cremona map \(\phi \) blowing down the lines \((p_{10}p_{11})\), \((p_9p_{11})\), \((p_9p_{10})\) to points denoted by \(q_9,q_{10},q_{11}\), respectively, and blowing up the points \(p_9,p_{10},p_{11}\) to the lines \((q_{10}q_{11})\), \((q_9q_{11})\), \((q_9q_{10})\). All other base points \(p_i\), \(i=1,\ldots ,8\) are regular points of \(\phi \) and their images are denoted by \(q_i=\phi (p_i)\). The change of variables \(\phi \) maps pencil (22) of sextic curves to the pencil
of quartic curves with eight simple base points and two double base points. The point \(q_9\) is not a base point of the latter pencil.
Proof
The total image of a curve \(C\in {{\mathcal {E}}}_6\) is a curve of degree 12. Since C passes through \(p_9,p_{10},p_{11}\) with multiplicities 2,3,3, its total image contains the lines \((q_{10}q_{11})\), \((q_9q_{11})\), \((q_9q_{10})\) with the same multiplicities. Dividing by the linear defining polynomials of all these lines, we see that the proper image of C is a curve of degree \(128=4\). This curve passes through all points \(q_i\), \(i=1,\ldots ,8\) (for \(i=7,8\) with multiplicity 2). The curve C of degree 6 has no other intersections with the line \((p_{10}p_{11})\) different from two triple points \(p_{10}\) and \(p_{11}\), therefore its proper image does not pass through \(q_9\). On the other hand, the curve C of degree 6 has one additional intersection point with each of the lines \((p_9p_{10})\) and \((p_9p_{11})\), different from the double point \(p_9\) and the triple point \(p_{10}\), respectively \(p_{11}\). Therefore, its proper image passes through \(q_{11}\), resp. \(q_{10}\), with multiplicity 1. \(\square \)
For the proof of the following Proposition, we will repeatedly use the following lemma.
Lemma 3
Let F be a quadratic Cremona map with \({\mathcal {I}}(F)=\{a,b,c\}\), and let F blow down the lines (ab), (bc), (ca) to the points C, A, B, respectively. Then the image of a generic line under F is a conic through A, B, C. The (proper) image of a line through one of the indeterminacy points, say of the line (ad), is the line (AD), where \(D=F(d)\).
Proof
The total image of the line (ad) is a conic, but since a is blown up to a line, the proper image is a line. This line has to pass through \(D=F(d)\) and through A (since the line (ad) intersects the line (bc) which is blown down to A). \(\square \)
Proposition 4
The map \(g=\phi \circ f\circ \phi ^{1}\) has three confined singular orbits:
The point \(q_9\) is its fixed point, and lies on the line \((q_7q_8)\). Moreover, the points \(q_3\) and \(q_{11}\) are infinitely near.
Proof
We have:
Further,
(applying Lemma 3 for \(\phi \));
(applying Lemma 3 for f);
(applying Lemma 3 for f, then for \(\phi \)).
Next, we consider lines which are blown down by g:
(indeed, the total fimage of the conic is a curve of degree 4; however, three lines split off, being the blowups of \(p_6\), \(p_9\), \(p_{11}\); thus, the proper image is the line through \(f(p_8)=p_9\) and \(f(p_{10})=p_{11}\));
(applying Lemma 3 for \(\phi ^{1}\));
(applying Lemma 3 for \(\phi ^{1}\), then for f).
The fact that \(q_3\) and \(q_{11}\) are infinitely near follows from the fact that \(p_3\in (p_9p_{10})\), the latter line being blown down to \(q_{11}\) by \(\phi \).
It remains to show that \(q_9\in (q_7q_8)\). For this, observe that the total \(\phi \)image of \((p_7p_8)\) is the conic \(C(q_7,q_8,q_9,q_{10},q_{11})\). However, since \(p_9\in (p_7p_8)\), the blowup of \(p_9\) splits off this conic. This is the line \((q_{10}q_{11})\), and it does not contain any of the points \(q_7\), \(q_8\), \(q_9\). Thus, the proper \(\phi \)image of \((p_7p_8)\) is a line containing the latter three points, which are therefore collinear. \(\square \)
For an actual computation of the map \(\phi \), we can assume, without loss of generality, that pencil (23) consists of symmetric biquadratics, i.e., its double points are
while the points
lie on the symmetry axis \(u=v\). This still leaves us with one free parameter. It can be chosen so that
A direct computation with this formula gives:
The latter notation means that the point \(q_3\) is infinitely near to \(q_{11}\) and corresponds to the tangent line \(\{v=u2\}\) there.
Now it remains to compute the map \(g=\phi ^{1}\circ f\circ \phi \), i.e., the map f in the coordinates [u : v : w]. A direct computation shows that, in the nonhomogeneous coordinates, \(g(u,v,1)=[\widetilde{u}: \widetilde{v} :1]\) with
and admits an integral of motion
Thus, all base points lie on the four lines \(\{u=\pm 1\}\), \(\{v=\pm 1\}\), while the eight finite base points \(q_1,\ldots ,q_6,q_{10},q_{11}\) lie on the conic (parabola) \(\{3(uv)^22(u+v)4=0\}\). See Fig. 2.
Generalization of the QRT Root
We try to generalize the map of the previous section. All objects found here will be oneparameter perturbations (with the parameter c) of the corresponding objects from the previous section. We will refrain from indicating this by an extra c in the notation (to keep it as brief as possible). However, the reader should keep in mind that the unperturbed situation corresponds to \(c=0\).
The idea is to stay in the class of symmetric QRT roots of \(\deg =2\): in nonhomogeneous coordinates, \(g(u,v,1)=[\widetilde{u}: \widetilde{v}:1]\) with
which admit an integral of motion
Note that map (26) corresponds to \(\alpha =1/2\), \(\beta =1/2\). As a characteristic feature we choose the existence of a short singular orbit (the third one in (24)):
i.e., of a point \(q_{11}\) which belongs both to \({\mathcal {I}}(g)\) and to \({\mathcal {I}}(g^{1})\). One easily computes:
where
We have a oneparameter generalization of the previous case, with
under the condition
In what follows, we parametrize the coefficients \(\alpha \), \(\beta \) according to
Proposition 5
Under condition (31), the map g given in (26) has three confined singular orbits as in (24). Moreover, the point \(q_3\) is infinitely near to \(q_{11}\) (with the slope \(1\)). The map g has a fixed point
The pencil of invariant curves \(\{K(u,v)=\lambda \}\) of the map g is as in (23). The eight finite base points \(q_1,\ldots ,q_6,q_{10},q_{11}\) lie on the conic given by the numerator of K(u, v).
Proof
The second singular orbit in (24) is confirmed by an easy computation. Let us compute the first (long) singular orbit, starting with the remaining point from \({\mathcal {I}}(g^{1})\), that is, with
We compute:
One easily computes also that \(g^{1}\) blows up the point \(q_{10}\) to the line \((q_6q_8)\), while g blows up the point \(q_6\) to the line \((q_7q_{10})\).
The fixed point \(q_9\) is given by a straightforward computation (note that for \(c\ne 0\), the point \(q_9\) does not lie on \((q_7q_8)\), the line at infinity). \(\square \)
All this is illustrated on Fig. 3.
There holds the following converse to Proposition 2. We perform a quadratic Cremona change of variables based at \(q_9,q_{10},q_{11}\) (recall that \(q_9\) is not a base point of the pencil of invariant curves, while \(q_{10}\) and \(q_{11}\) are simple base points, the latter having an infinitely close base point \(q_3\)).
Proposition 6
Consider a quadratic Cremona map \(\phi ^{1}\) blowing down the lines \((q_{10}q_{11})\), \((q_9q_{11})\), \((q_9q_{10})\) to points denoted by \(p_9,p_{10},p_{11}\), respectively, and blowing up the points \(q_9,q_{10},q_{11}\) to the lines \((p_{10}p_{11})\), \((p_9p_{11})\), \((p_9p_{10})\). All other base points \(q_i\), \(i=1,\ldots ,8\) are regular points of \(\phi ^{1}\) and their images are denoted by \(p_i=\phi ^{1}(q_i)\). The change of variables \(\phi ^{1}\) maps the pencil (23) of biquadratics to the pencil (22) of sextic curves.
Proof
The total image of a curve C of the pencil (23) is a curve of degree 8. Since C passes through \(q_{10},q_{11}\), its total image contains the lines \((p_{9}p_{11})\), \((p_9p_{10})\). Dividing by the linear defining polynomials of these two lines, we see that the proper image of C is a curve of degree 6. This curve passes through all points \(p_i\), \(i=1,\ldots ,8\) (for \(i=7,8\) with multiplicity 2). The curve C of degree 4 intersects the line \((q_{10}q_{11})\) at two points \(q_{10}\), \(q_{11}\), and two further points, therefore its proper image passes through \(p_9\) with multiplicity 2. On the other hand, the curve C of degree 4 has three additional intersection points with each of the lines \((q_9q_{10})\) and \((q_9q_{11})\), different from the points \(q_{10}\), respectively \(q_{11}\). Therefore, its proper image passes through \(p_{11}\), resp. \(p_{10}\), with multiplicity 3. \(\square \)
It remains to conjugate the QRT root g by the quadratic change of variables \(\phi ^{1}\).
Proposition 7
The map \(f=\phi ^{1}\circ g\circ \phi \) is a quadratic Cremona map with three confined singular orbits, as in (21). The eight base points \(p_i\), \(i=1,\ldots ,6,10,11\) lie on a conic.
Proof
We have:
Further,
(apply Lemma 3 for \(\phi ^{1}\));
(apply Lemma 3 first for g, then for \(\phi ^{1}\));
(apply Lemma 3 for g, taking into account that \(q_9\) is a fixed point);
(apply Lemma 3 first for g, taking into account that \(q_9\) is a fixed point and \(q_1=g(q_{10})\); then, the total \(\phi ^{1}\)image of the conic is a curve of degree 4; however, three lines split off, being the blowups of \(q_9\), \(q_{10}\), \(q_{11}\); thus, the proper image is the line through \(\phi ^{1}(q_1)=p_1\) and \(\phi ^{1}(q_7)=p_7\)).
Next, we consider lines which are blown down by f:
(apply Lemma 3 first for \(\phi \), then for g, taking into account that \(q_9\) is a fixed point);
(apply Lemma 3 for \(\phi \));
It remains to show that the points \(p_1,\ldots ,p_6,p_{10},p_{11}\) lie on a conic. For this, we observe that the total \(\phi ^{1}\)image of the conic C through \(q_1,\ldots ,q_6,q_{10},q_{11}\) is a curve of \(\deg =4\), from which two lines split off (blowups of \(q_{10}\), \(q_{11}\)). Thus, the proper image is a conic. This conic contains \(p_1=\phi ^{1}(q_1),\ldots ,p_6=\phi ^{1}(q_6)\). It also contains \(p_{10}\) and \(p_{11}\) as the consequence of the fact that C has additional intersection points with both blowndown lines \((q_9q_{11})\) and \((q_9q_{10})\), apart from \(q_{11}\) and \(q_{10}\), respectively. \(\square \)
To make concrete computations, we normalize \(\phi ^{1}\) by the following conditions:
and
Then a straightforward computation gives:
and for the further base points given by \(p_i = \phi ^{1}(q_i)\), we find:
Theorem 8
The map \(f=\phi ^{1}\circ g\circ \phi \) is given by
In the nonhomogeneous coordinates, the map \(f(x,y,1)=[\widetilde{x}: \widetilde{y}: 1]\) satisfies the following bilinear (Kahantype) relations:
It possesses an integral of motion
where
The base points of the pencil of invariant curves \(\{H_1(x,y)=\lambda \}\) are given in (32), (33), and (35)–(38). The conic \(\{C_1(x,y)=0\}\) passes through \(p_7,p_8,p_9,p_{10},p_{11}\) (it is the \(\phi ^{1}\)image of the line \((q_7q_8))\), while the conic \(\{C_2(x,y)=0\}\) passes through eight base points \(p_1,\ldots ,p_6,p_{10},p_{11}\).
Proof
A straightforward symbolic computation. \(\square \)
On Fig. 4 one can see several invariant curves \(\{H_1(x,y)=\lambda \}\) of the map f.
Continuous Limit
Rescaling \((x,y)\mapsto (\epsilon x,\epsilon y)\) and \(c\mapsto \epsilon ^2 c\), we arrive at system (12), which in the limit \(\epsilon \rightarrow 0\) is a discretization of system (9). The latter can be written as
with
This is a oneparameter (inhomogeneous) perturbation of system (5). Like for the unperturbed system, all level sets \(\{H(x,y)=\lambda \}\) of the integral of motion (45) are curves of genus 1 (and of degree 6). Thus, map (12) is a nontrivial integrable Kahantype discretization of (9).
Integrability of map (12) is in contrast to nonintegrability of the straightforward Kahan discretization (11) of (9). We say that singularities of a birational map f of \({\mathbb {C}}{\mathbb {P}}^2\) are not confined, if the orbits of \({\mathcal {I}}(f^{1})\) are disjoint from \({\mathcal {I}}(f)\). The nonintegrability of maps with nonconfined singularities is well studied, see [7]. The better the orbits of \({\mathcal {I}}(f^{1})\) are separated from \({\mathcal {I}}(f)\), the stronger nonintegrability properties hold.
Proposition 9
The map f generated by bilinear equations (11) is nonintegrable, in the sense that its singularities are not confined.
Proof
To show this, we restrict ourselves to the case \(\epsilon =1\). The resulting quadratic Cremona map has three singularities, \(p^+=(1,0)\) and two further points not lying on the line \(\{y=0\}\). Likewise, the inverse map has three singularities, \(p^=(1,0)\) and two further points not lying on the line \(\{y=0\}\). Observe that the line \(\{y=0\}\) is invariant. Thus, for the singularities to be confined, we need that some \(f^n(p^)=p^+\) for some \(n\in {\mathbb {N}}\). The restriction of the map to the line \(\{y=0\}\) is given by \(\widetilde{x} x =2x\widetilde{x}+c\), or \(\widetilde{x}=\varphi (x)=(x+c)/(2x+1)\). One easily sees that, for a generic c, the orbit of \(x=1\) under this Möbius transformation does not hit \(x=1\). Indeed, \(\varphi ^n(1)=1\) is a polynomial equation of degree n for c. Thus, for all c but a countable set this equation is not satisfied for any \(n\in {\mathbb {N}}\). \(\square \)
Conclusions
The results of the present paper confirm that the phenomenon discovered and described in [33] is not isolated, namely that in case of nonintegrability of the standard Kahan discretization (when applied to an integrable system), its coefficients can be adjusted to restore integrability. Recall that in the definition of Kahan’s discretization the small stepsize \(\epsilon \) only appears in the denominator of the differences \((\widetilde{x}x)/\epsilon \) which approximate the derivatives \(\dot{x}\), compare (1) and (2). On the contrary, the bilinear expressions on the right hand side of (2) are the exact polarizations of the quadratic vector fields on the right hand side of (1). This discretization method preserves integrability much more frequently than one would expect a priori, but not always. Our examples show that, if the straightforward recipe fails to preserve integrability, certain adjustments of the coefficients by quantities of the magnitude \(O(\epsilon ^2)\) may allow to restore integrability. Further extending the list of examples and finding their systematic explanation in terms of addition laws on Abelian varieties remains an important and entertaining task for the future. Note that some further examples of discretizations with coefficients depending on the stepsize \(\epsilon \) can be found in [22, Sect. 6.5], while an example of a system where polarization yields an integrable discretization in the homogeneous case, but must be adjusted to achieve an integrable discretization in the inhomogeneous case, was given in [34].
References
 1.
Bellon, M.P., Viallet, C.M.: Algebraic entropy. Commun. Math. Phys. 204(2), 425–437 (1999)
 2.
Celledoni, E., McLachlan, R.I., Owren, B., Quispel, G.R.W.: Geometric properties of Kahan’s method. J. Phys. A 46, 025201 (2013)
 3.
Celledoni, E., McLachlan, R.I., McLaren, D.I., Owren, B., Quispel, G.R.W.: Integrability properties of Kahan’s method. J. Phys. A 47, 365202 (2014)
 4.
Celledoni, E., McLachlan, R.I., McLaren, D.I., Owren, B., Quispel, G.R.W.: Discretization of polynomial vector fields by polarization. Proc. R. Soc. A 471, 20150390 (2015). (10 pp)
 5.
Celledoni, E., McLachlan, R.I., McLaren, D.I., Owren, B., Quispel, G.R.W.: Two classes of quadratic vector fields for which the Kahan map is integrable. MI Lecture Note, Kyushu University, vol. 74, pp. 60–62 (2016)
 6.
Celledoni, E., McLaren, D.I., Owren, B., Quispel, G.R.W.: Geometric and integrability properties of Kahan’s method: the preservation of certain quadratic integrals. J. Phys. A 52, 065201 (2019)
 7.
Diller, J.: Dynamics of birational maps of \({\mathbb{P}}^2\). Indiana Univ. Math. J. 45(3), 721–772 (1996)
 8.
Diller, J.: Cremona transformations, surface automorphisms, and plane cubics. Michigan Math. J. 60, 409–440 (2011)
 9.
Diller, J., Favre, C.: Dynamics of bimeromorphic maps of surfaces. Am. J. Math. 123(6), 1135–1169 (2001)
 10.
Duistermaat, J.J.: Discrete Integrable Systems. QRT Maps and Elliptic Surfaces. Springer, New York (2010)
 11.
Hirota, R.: Nonlinear partial difference equations. I. A difference analogue of the Kortewegde Vries equation. J. Phys. Soc. Jpn. 43, 1423–1433 (1977)
 12.
Hirota, R.: Nonlinear partial difference equations. II. Discrete time Toda equation. J. Phys. Soc. Jpn. 43, 2074–2078 (1977)
 13.
Hirota, R.: Nonlinear partial difference equations. III. Discrete sineGordon equation. J. Phys. Soc. Jpn. 43, 2079–2086 (1977)
 14.
Hirota, R.: Nonlinear partial difference equations. IV. Bäcklund transformation for the discretetime Toda equation. J. Phys. Soc. Jpn. 45, 321–332 (1978)
 15.
Hirota, R.: Nonlinear partial difference equations. V. Nonlinear equations reducible to linear equations. J. Phys. Soc. Jpn. 46, 312–319 (1979)
 16.
Hirota, R.: Discrete analogue of a generalized Toda equation. J. Phys. Soc. Jpn. 50, 3785–3791 (1981)
 17.
Hirota, R., Kimura, K.: Discretization of the Euler top. J. Phys. Soc. Jpn. 69(3), 627–630 (2000)
 18.
Hitchin, N.J., Manton, N.S., Murray, M.K.: Symmetric monopoles. Nonlinearity 8(5), 661–692 (1995)
 19.
Hone, A.N.W., Quispel, G.R.W.: Analogues of Kahan’s method for higher order equations of higher degree. In: Nijhoff, F., Shi, Y., Zhang, D. (eds.) Asymptotic, Algebraic and geometric Aspects of Integrable Systems, pp. 175–189. Springer, New York (2020)
 20.
Kahan, W.: Unconventional numerical methods for trajectory calculations. Unpublished Lecture Notes (1993)
 21.
Kimura, K., Hirota, R.: Discretization of the Lagrange top. J. Phys. Soc. Jpn. 69(10), 3193–3199 (2000)
 22.
Mickens, R.E.: Nonstandard Finite Difference Models of Differential Equations. World Scientific, Singapore (1994)
 23.
Petrera, M., Pfadler, A., Suris, Yu.B.: On integrability of Hirota–Kimuratype discretizations: experimental study of the discrete Clebsch system. Exp. Math. 18(2), 223–247 (2009)
 24.
Petrera, M., Pfadler, A., Suris, Y.B.: On integrability of Hirota–Kimura type discretizations. Regular Chaotic Dyn. 16(3–4), 245–289 (2011)
 25.
Petrera, M., Pfadler, A., Suris, Y.B.: On the construction of elliptic solutions of integrable birational maps. Exp. Math. 26(3), 324–341 (2017). ((with appendix by Y.N. Fedorov))
 26.
Petrera, M., Suris, Y.B.: On the Hamiltonian structure of Hirota–Kimura discretization of the Euler top. Math. Nachr. 283(11), 1654–1663 (2010)
 27.
Petrera, M., Suris, Yu.B.: A construction of a large family of commuting pairs of integrable symplectic birational 4dimensional maps. Proc. R. Soc. A 473, 20160535 (2017). (16 pp)
 28.
Petrera, M., Suris, Y.B.: New results on integrability of the Kahan–Hirota–Kimura discretizations. In: Euler, N. (ed.) Nonlinear Systems and Their Remarkable Mathematical Structures, pp. 94–120. CRC Press, Boca Raton, FL (2018)
 29.
Petrera, M., Suris, Y.B.: Geometry of the Kahan discretizations of planar quadratic Hamiltonian systems. II. Systems with a linear Poisson tensor. J. Comput. Dyn. 6, 401–408 (2019)
 30.
Petrera, M., Smirin, J., Suris, Yu.B.: Geometry of the Kahan discretizations of planar quadratic Hamiltonian systems. Proc. R. Soc. A 475, 20180761 (2019). (13 pp)
 31.
Petrera, M., Suris, Y.B., Wei, K., Zander, R.: Manin involutions for elliptic pencils and discrete integrable systems. Math. Phys. Anal. Geom. 24, 6 (2021)
 32.
Petrera, M., Zander, R.: New classes of quadratic vector fields admitting integralpreserving Kahan–Hirota–Kimura discretizations. J. Phys. A Math. Theor. 50, 205203 (2017). (13 pp)
 33.
Petrera, M., Suris, Y.B., Zander, R.: How one can repair nonintegrable Kahan discretizations. J. Phys. A Math. Theor. 53, 37LT01 (2020)
 34.
Quispel, G.R.W., McLaren, D.I., van der Kamp, P.H.: A novel 8parameter integrable map in \({\mathbb{R}}^4\). J. Phys. A Math. Theor. 53, 40LT01 (2020)
 35.
Quispel, G.R.W., Roberts, J.A.G., Thompson, C.J.: Integrable mappings and soliton equations II. Physica D 34, 183–192 (1989)
 36.
SanzSerna, J.M.: An unconventional symplectic integrator of W. Kahan. Appl. Numer. Math. 16, 245–250 (1994)
 37.
Suris, Y.B.: The Problem of Integrable Discretization: Hamiltonian Approach. Progress in Mathematics, vol. 219. Birkhäuser, Basel (2003)
 38.
van der Kamp, P.H., Celledoni, E., McLachlan, R.I., McLaren, D.I., Owren, B., Quispel, G.R.W.: Three classes of quadratic vector fields for which the Kahan discretization is the root of a generalised Manin transformation. J. Phys. A Math. Theor. 52, 045204 (2019)
 39.
van der Kamp, P.H., McLaren, D.I., Quispel, G.R.W.: Generalised Manin transformations and QRT maps. J. Comput. Dyn. 8(2), 183–211 (2021)
 40.
Zander, R.: On the singularity structure of Kahan discretizations of a class of quadratic vector fields. Eur. J. Math. 7, 1046–1073 (2021)
Acknowledgements
This work was done in the frame of a summer research project of MS and YT at Technische Universität Berlin in the SummerFall 2020 (which, due to the pandemic, was performed online). Research of YS is supported by the DFG Collaborative Research Center TRR 109 “Discretization in Geometry and Dynamics”.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there is no conflict of interests.
Additional information
Communicated by F. W. Nijhoff.
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
Schmalian, M., Suris, Y.B. & Tumarkin, Y. How One can Repair Nonintegrable Kahan Discretizations. II. A Planar System with Invariant Curves of Degree 6. Math Phys Anal Geom 24, 40 (2021). https://doi.org/10.1007/s11040021094132
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11040021094132
Keywords
 Birational maps
 Discrete integrable systems
 Elliptic pencil
 Rational elliptic surface
 Integrable discretization