CC BY
6
УДК 519.21
The Trigonometry of Harnack Curves
Mikael Passare*
Received 20.06.2016, received in revised form 20.06.2016, accepted 20.06.2016 Derive an explicit integral formula for the amoeba-to-coamoeba mapping in the case of polynomials that define Harnack curves. As a consequence obtain an exact description of the coamoebas of such polynomials. This formula can be viewed as a generalization of the familiar law of cosines that is used for solving triangles.
Keywords: Harnack curves, amoeba of polynomial, coamoeba of polynomial, Newton polygon, Ronkin
function, law of cosines.
DOI: 10.17516/1997-1397-2016-9-3-347-352.
Introduction
When studying Laurent expansions and Mellin transforms of multivariate rational functions, or equivalently Fourier series and Fourier transforms of rational functions in exponentials, one is naturally led to the concepts of amoebas and coamoebas. We recall that the amoeba Af of a polynomial f € C[z^... ,zn] is by definition the image of the zero set f-1(0) c (C \ {0})" under the logarithmic projection given by Log(z) = (log \z1\,..., log |zn|). The coamoeba A' is defined similarly by means of the argument projection Arg(z) = (arg z1,..., arg zn).
In this paper we shall only be interested in the bivariate case n = 2 and we denote the coordinates by (z, w) rather than (z1, z2). We also write z = exp(x + id) and w = exp(y + iw), so that our amoebas and coamoebas live in real (x, y)-space and (0,w)-space respectively.
Suppose we want to determine all Laurent series expansions (centered at the origin) of a rational function 1/f, where f is a polynomial. It is then not hard to realize that there is one such expansion for each connected component of the amoeba complement Rn \ Af. Similarly, there is a different Mellin transform of 1/f associated with each connected component of the complement of the coamoeba A', see [6]. To each component of the amoeba complement there is associated an integer vector in the Newton polygon Af, called the order of the component, see [1].
Let us look at the simple example f (z,w) = 1 — z — w. The amoeba of this polynomial, depicted on the upper left in Fig. 1, has three complement components determined by the explicit inequalities ex + ey < 1, 1 + ey < ex, and 1 + ex < ey. Their respective orders are (0, 0), (1,0), and (0,1). The three corresponding Laurent series expansions of 1/(1 — z — w) are given by
ajkzjwk, hikz-1-j-kwk, and cikzjw-1-j-k,
where ajk = (j+k), bjk = ( —1)1+k(j+k), and cjk = ( —1)1+j(j+k). The Mellin transform of the same function has the explicit form r(s)r(i)r(1 — s — t), see [6].
The condition f(z, w) = 1 — z — w = 0 may be rephrased as the requirement that the three complex numbers 1, —z, and —w should form the sides of a (possibly degenerate) triangle. For
* Mikael Passare (1959 — 2011) was a Professor in Mathematics at Stockholm University. He died from a sudden cardiac arrest in Oman in the evening of 2011 September 15. At the time of his death he was an Editor of the Journal of Siberian Federal University. The draft of the present paper was found in his office. © Siberian Federal University. All rights reserved
each point (x,y) in the interior of the amoeba there are two points, conjugate to each other, on the complex line 1 — 2 — w = 0 that get mapped to (x, y) by the mapping Log. These two points are mapped by the coamoeba shown on the lower left in Fig. 1. The boundary points of Af correspond to real values of 2 and w =1 — and such points (2, w) are mapped by Arg to the vertices of the coamoeba A'.
The composed mapping Arg o Log-1 from the amoeba to the coamoeba, which is thus well defined up to sign, can easily be written down in this case. It just a question of finding the angles
in a triangle with given side lengths 1, arrive at the formula
ex, and ey. Using the classical law of cosines we readily
Arg o Log 1 (x, y) = ± ^ arccos
1 + e2x - e2y 1 - e
-, — arccos
2x
+ e
2y
2ex
2ey
>
(1)
One can of course also go in the reverse direction, by means of the law of sines, and write down the formula
a n A, sin w sin w \
Log o Arg (0,w)= log —-—, log——--
V sin(w — 0) sm(0 — w)J
for the inverse mapping.
It is the purpose of the present note to extend the formula (1) to more general polynomials than affine linear ones. The class of polynomials which we shall be considering consists of those f for which there are at most two points on the complex algebraic curve f -1(0) above each point in the amoeba Af. For reasons that will presently be explained, we will refer to them as Harnack polynomials.
1. Harnack curves and Ronkin functions
In [8] an optimal upper bound was obtained for the area of a planar amoeba Af in terms of the area of the Newton polygon Af .In fact, one always has the inequality
Area Af < n2 AreaAf,
and for any given lattice polygon A one can find a polynomial f, with Af = A, such that its amoeba has the maximal area. Polynomials with this property are special in several ways, and the following beautiful result was proved in [5].
Theorem (Mikhalkin-Rullgard). Provided that Af has non-zero area, the following three conditions are equivalent:
(i) The amoeba Af is of maximal area.
(ii) The mapping Log : f _1(0) ^ R2 is at most two-to-one, and there are constants a,b,c G C* such that af (bz, cw) has real coefficients.
(iii) There are constants a,b,c G C* such that af (bz,cw) has real coefficients, and the corresponds real algebraic curve is a Harnack curve for the polygon Af.
Polynomials having the above properties will be called Harnack polynomials. Condition (ii) can be thought of as saying that topologically the amoeba is obtained from the complex curve f _1(0) by flat-ironing it so well that there are no wrinkles at all, except for the fold along the boundary. The exact definition of a Harnack curve for a given polygon is somewhat involved, see [5] for the details. Essentially it is a real algebraic curve in (R*)2 with one bounded component (possibly reduced to a point) associated with each interior lattice point of the polygon, plus some unbounded curve pieces coming from a single curve component in the corresponding
toric compactification that cyclically intersects the toric divisors associated with the edges of the polygon. Under the mapping Log the Harnack curve gets sent to the boundary dAf of the amoeba of the corresponding complex curve f -1(0). The bounded components of the Harnack curve are mapped to the boundaries of the bounded holes of the amoeba, whereas the unbounded pieces are mapped to the outer boundary pieces of the amoeba.
Examples. The following polynomials are special instances of Harnack polynomials of degree one, two, and three respectively:
f (2, w) = 1 — 2 — w; f (2, w) = 1 — 2 — w — 2w; f (2, w) = 1 — 42 — w + 22 — 62W — 2w2.
The amoebas and the coamoebas of these polynomials are shown in Fig. 1 below. It may be instructive for the reader to draw the corresponding Newton polygons and to visually examine what the order of each component of the amoebas should be. The appearance of the Newton polygons will also allow the reader to anticipate our result below, Corollary 1, on the structure of the coamoebas of Harnack polynomials.
*.....
Fig. 1. The amoebas (top row) and the coamoebas (bottom row) of the three example polynomials. Each half of the coamoeba has the same area as the corresponding amoeba: n2/2, n2, and 5n2/2. The dashed square is centered at the origin and has side length 2n
Definition 1. We say that a Harnack polynomial f is normalized if it has real coefficients and if the following two conditions are satisfied:
• (0,0) is a vertex of the Newton polygon Af;
• the piece of d Af that bounds the complement component of order (0,0) is included in the image Log(f-1(0) nR+).
The first of these two conditions will be fulfilled after multiplying f by a monomial, which does not affect the (co)amoeba, but adds a fixed integer vector to the order of each complement component. The second property may then be achieved by changing the sign of 2 and/or w, which does not affect the amoeba, but translates the coamoeba by n in the direction of d and/or w.
Given a Harnack polynomial f we shall be dealing with the amoeba-to-coamoeba mapping Arg o Log-1 that sends each point (x, y) e Af to the coordinatewise arguments (arg 2, arg w) of two points on the complex curve f-1(0) whose absolute values (|2|, |w|) are (ex,ey). Since we may, and will, assume that f has real coefficients, the two points on f-1(0) will be conjugate to
each other and hance the two values of the amoeba-to-coamoeba mapping will just differ by a sign.
Our aim is to generalize the explicit formula (1) for the mapping Arg o Log-1 and to this end it is beneficial to first express it as an integral formula. This may be done with the help of the so-called Ronkin function, which we now define.
Definition 2. The Ronkin function Nf : R2 ^ R associated with a polynomial p is given by the mean value integral
^'^(¿f/lQg\{z>w)\d-dr = W2 ,f lQgK^V^^,
where Tx,y denotes the real torus defined by (\z\, \w\) = (ex,ey).
The Ronkin function is convex and it is affine linear precisely outside the amoeba Af. In any component of R2 \ Af its gradient (dNf /dx,dNf /dy) is thus constant. It is actually integer-valued and equal to the order of the complement component in question, see [8]. The derivatives of the Ronkin function can also be express as integrals
dNf ( 1 r fZ(z'w)dzdw = 1 r ex+i0fZ(ex+ie,ey+iu)d,0dw
~3x~(X'y) = (2ni)2 J ~
f(Z'w)w (2n)2 J f(ex+id,ey+iu) '
Tx,y [ — n,n]2
and similarly for dNf /dy.
2. The generalized law of cosines
From our discussion in the previous section we know that for a Harnack polynomial f with real coefficients the amoeba-to-coamoeba mapping is well-defined up to sing. In other words, as soon as the absolute values of the monomials of f are given, the condition f (z, w) = 0 that their sum should vanish, automatically determines their arguments. This generalizes the familiar fact that the side lengths of a triangle determine its angles. Our main result provides an explicit formula for computing the arguments, when the absolute values are given. For convenience we formulate it for normalized Harnack polynomials, but this is not essential.
Theorem 1. If f is a normalized Harnack polynomial, then the amoeba-to-coamoeba mapping is given by
j _1 , ( dNf . . dNf .
Arg o Log = ± [n-dy- (x,y), (x,y)) ■
Proof. Since both Log and Arg are real-analytic mapping, it is clear that so is the amoeba-to-coamoeba mapping Arg o Log—1. Moreover, the derivatives of the Ronkin function also depend analytically on x and y. It will therefore be enough to prove the identity locally, that is, for (x, y) in some small open subset of Af. To be specific, we choose a point (x1, y1) on the piece of dAf that bounds the complement component of order (0,0), and we assume that the boundary curve has a finite non-zero slope at (x1,y1). Let (z1,w1) = Log—1(x,y) be the corresponding unique point on the complex curve f—1 (0). In fact, the assumed normalization of f implies that Arg(z1,z2) = 0, which means that z1 = exi and w2 = eyi. since the normal direction to the boundary at (x1,y1) is given by [z1fZ(z1,w1) : w1fW(z1,w1)], we see that neither fZ nor fW vanishes at z1 ,w1, so the implicit function theorem provides us with locally defined complex
analytic functions z(w) and w(z) that are inverse to each other and satisfy f (z(w),w) = 0 = f (z,w(z)).
Now let (x0,y0) be an interior point of the amoeba Af very close to the boundary point (x1,y1). We shall show that the claimed identity holds at (x0,y0), and we begin by computing dNf /dy. Consider the auxiliary function
fW (
xo+iO
})dw
2ni
f (
xo+iO
)
д £ [-п,п].
(3)
Since f is a Harnack polynomial, and (x0,y0) is an interior point of Af, there are precisely two values of 0 for which the denominator vanishes, and since f has real coefficients these points are located symmetrically around the origin. Let us denote them by ±00 with 00 > 0. In fact, since (xo, yo) is close to the boundary point (x1, y1), the value 00 is close to zero. Since we are close to the (0,0) component of the amoeba complement the polynomial w ^ f (ex°+ld,w) has one root inside the circle |w| = ey0 for 101 < 00, and no such root for 101 > 00. Elementary residue calculus then shows that the function (3) is a simple step function equal to 1 for 0 <00 and equal 0 for 0 > 00. Recalling the formula (2), we see that the derivative dNf /dy is obtained as the mean value of the function (3), that is, we arrive at the formula dNf /dy(x0,y0) = 200/(2n) = 00/n. By analogous reasoning one obtains dNf /dx(x0,y0) = w0/n, where w0 > 0 and ±w0 are the two values of w for which the polynomial 2 ^ f (2, ey°+iu) has a root on the circle |2| = ex0.
We thus know that the coordinates of ArgoLog-1(x0,y0) are equal to
±00 = ±ndNf /dy(x0,y0), and ± W0 = ±ndNf /dx(x0,y0),
so what remains is to combine the sings properly. More precisely, we must show that the two values of Arg o Log-1(x0,y0) are ±(00, —w0). The fact that the argument 00 goes together with —w0 is a consequence of the conformality of the local holomorphic mapping 2(w). Indeed, the positively oriented circle |2| = ex0 and the oriented curve w ^ 2(ey0+iU) intersect at the points 2 = ex°±ie°, see Fig. 2 below. Their biholomorphic image curves in the w-plane have the intersection points w = ey°±iU°. Since holomorphic functions preserve orientation, we find by inspection in Fig. 2 that ex0±l°0 must be mapped to ey°TiU° as claimed. The theorem follows. □
Fig. 2. The 2-plane (left) with the oriented circle |2| = ex0 and part of the curve w ^ 2(ey°+iu), and the w-plane (right) with the oriented circle |w| = ey0 and part of the curve 0 ^ w(ex°+ie).
Having established the connection between the gradient of the Ronkin function and the amoeba-to-coamoeba mapping, we can now give a precise description of the coamoeba of a normalized Harnack polynomial f. It turns out that it consists of dilated and rotated images of the Newton polygon Af.
Corollary 1. The coamoeba of a normalized Harnack polynomial f is given by
A' = in A f U —inAf,
where the factor ±i indicates a rotation around the origin through the angle ±n/2. The vertices of the polygons, but not the remaining parts of their edges, belong to the coamoeba.
1
w =eyo
Remark. The fact that (each half of) the coamoeba has the same area n2 Area Af as the amoeba can also be seen by considering the Jacobian of the amoeba-to-coamoeba mapping. It is not hard to prove that this Jacobian is in fact = 1, so that the mapping is even locally area-preserving. See [7] for a proof in the case of a linear polynomial. It can easily be modified to give the general statement.
References
[1] M.Forsberg, M.Passare, A.Tsikh, Laurent determinants and arrangements of hyperplane amoebas, Adv. in Math., 151(2000), 45-70.
[2] I.Gelfand, M.Kapranov, A.Zelevinsky, Discriminants, Resultants and Multidimentional Determinants, Bikhauser, Boston, 1994.
[3] R.Kenyon, A.Okounkov, Planar dimers and Harnack curves, Duke Math J., 131(2006), 499-524.
[4] G.Mikhalkin, A.Okounkov, Geometry of planar log-fronts, Mosc. Math. J., 7(2007), 507531.
[5] G.Mikhalkin, Real algebraic curves, the moment map and amoebas, Ann. of Math., 151(2000), 309-326.
[6] G.Mikhalkin, H.Rullgard, Amoebas of maximal area, Internat. Math. Res. Notices, (2001), 441-451.
[7] L.Nilsson, M.Passare, Mellin transforms of multivariate rational functions, J. Geom. Anal., 23(2013), 24-46.
[8] M.Passare, How to compute 1/n2 by solving triangles, Amer. Math. Monthly, 115(2008), 745-752.
[9] M.Passare, H.Rullgard, Amoebas, Monge-Ampere measures, and triangulations of the Newton polytope, Duke Math. J., 121(2004), 281-507.
Тригонометрия гарнаковских кривых
Микаэл Пассаре
Выводится явная интегральная формула отображения амёбы в коамёбу для случая полиномов, определяющих кривые Гарнака. Как следствие, получается точное описание коамёб таких полиномов. Эта формула может быть 'рассмотрена как обобщение известной теоремы косинусов, которая используется для решения треугольников.
Ключевые слова: гарнаковские кривые, амёба полинома, коамёба полинома, многоугольник Ньютона, функция Ронкина, теорема косинусов.
