arxiv:math/ v1 [math.nt] 29 Sep 2006

Transcription

1 An algebraic integration for Mahler measure arxiv:math/ v1 [math.nt] 9 Sep 006 Matilde N. Lalín Institut des Hautes Études Scientifiques Le Bois-Marie, 35, route de Chartres, F Bures-sur-Yvette, France Abstract There are many eamples of several-variable polynomials whose Mahler measure is epressed in terms of special values of polylogarithms. These eamples are epected to be related to computations of regulators, as observed by Deninger, and later Rodriguez- Villegas, and Maillot. While Rodriguez-Villegas made this relationship eplicit for the two variable case, it is our goal to understand the three variable case and shed some light on the eamples with more variables. Classification 11G55, 19F99 Keywords Mahler measure, regulator, polylogarithms, Riemann zeta function, L-functions, polynomials 1 Introduction The logarithmic) Mahler measure of a Laurent polynomial P C[ ±1 1,...,±1 n ] is defined by mp) := log Pe πiθ 1,...,e πiθn ) dθ 1... dθ n. 1) Because of Jensen s formula, there is a simple epression for the Mahler measure in the one-variable case, as a function on the roots of the polynomial. It is natural then, to wonder what happens with several variables. The problem of finding eplicit closed formulas for Mahler measures of several variable polynomials is hard. However, several eamples have been found, especially for two and three variables. Some formulas have been completely proved and some others have been established numerically and are strongly believed to be true. A remarkable fact is that in most of these eamples the Mahler measure of polynomials with integral coefficients can be epressed in terms of special values of L-series or polylogarithms that is to say, Riemann zeta-functions, Dirichlet L-series, L-series of varieties, zeta functions of number fields, etcetera). For instance, the first and simplest eample in two variables was discovered by Smyth [Smy81]: m1++y) = 3 3 4π Lχ 3,) = L χ 3, 1) ) where χ 3 is the character of conductor 3. address: mlalin@math.ubc.ca 1

2 Another eample was computed numerically by Boyd [Boy98] and studied by Deninger [Den97] and Rodriguez-Villegas [R-V99]), m + 1 +y + 1y ) +1? = L E,0) 3) where E is the elliptic curve of conductor 15 which is the projective closure of the curve + 1 +y + 1 y +1 = 0 and LE,s) is the L-function of E. Deninger [Den97] interpreted computations of Mahler measure in terms of Deligne periods of mied motives eplaining some of the relations to the L-series via Beilinson s conjectures. Rodriguez-Villegas [R-V99] has clarified this relationship by eplicitly computing the regulator, and relating this machinery to the cases already numerically) known by Boyd, proving some of them, and deeply understanding the cases with two variables. Recently Maillot has sketched how one could continue these ideas for more variables. It is our goal to develop these ideas and to apply them in order to understand the few known eamples with three and more variables involving Dirichlet L-series, Riemann zeta functions and polylogarithms. In this work we describe a general situation and illustrate our eplanation with a few eamples. In [Lal07] we will show the computational power of our method by showing how to prove many other formulas of Mahler measures and generalized Mahler measures as well. Background In this section we describe some ingredients that will be used in our construction..1 Polylogarithms The cases that we are going to study involve zeta functions or Dirichlet L-series, but they all may be thought as special values of polylogarithms. In fact, this common feature seems to be the most appropriate way of dealing with the interpretation of these formulas. Here we proceed to recall some definitions and establish some common notation. Definition 1 The nth polylogarithm is the function defined by the power series Li n ) := k=1 k k n C, < 1. 4) This function can be continued analytically to C \ 1, ). We will work with Zagier s modification of the polylogarithm [Zag91b]): n 1 L n ) := Re n j B j log ) j Li n j ) 5) j! j=0 where B j is the jth Bernoulli number and Re k denotes Re or Im depending on whether n is odd or even. This function is one-valued, continuous in P 1 C), and real analytic in P 1 C)\0,1, }.

3 L n satisfies very clean functional equations. The simplest ones are ) 1 L n = 1) n 1 L n ) L n ) = 1) n 1 L n ). For n =, one obtains the Bloch Wigner dilogarithm, D) = ImLi ) log Li 1 )) = ImLi ))+log arg1 ) 6) which satisfies the well-known five-term relation ) ) 1 y 1 D)+D1 y)+dy)+d +D = 0. 7) 1 y 1 y For n = 3 we obtain L 3 ) = Re Li 3 ) log Li )+ 1 ) 3 log Li 1 ). 8) This modified trilogarithm satisfies more functional equations, such as the Spence Kummer relation: ) ) ) ) ) 1 y) 1 y) y1 ) 1 y) L 3 y1 ) +L 3 y)+l 3 L 3 L 3 L 3 y y1 ) y 1 1 ) 1 y L 3 L 3 ) L 3 y)+l 3 1) = 0. 9) 1. Polylogarithmic motivic complees Given a field F, consider Z[P 1 F ], the free abelian group generated by the elements of P1 F. For each n we are interested in working with this group modulo the rational) functional equations of the nth polylogarithm. Unfortunately, the functional equations of higher polylogarithms are not known eplicitly. For X an algebraic variety, Goncharov [Gon95a, Gon0, Gon05], has constructed some groups that conjecturally correspond to the groups in the above paragraph and they fit into polylogarithmic motivic complees whose cohomology is related to Bloch groups and is conjectured to be the motivic cohomology of X. A regulator can be defined in these complees and is conjectured to coincide with Beilinson s regulator. From now on we will follow [Gon95a, Gon0, Gon05]. We state definitions and results, the proofs may be found in the mentioned works. Given a field F one defines inductively some subgroups R n F), then lets B n F) := Z[P 1 F]/R n F). 10) The classes of in Z[P 1 F ] and in B nf) will be denoted by } and } n respectively. We begin by setting R 1 F) := }+y} y};,y F,0}, }. 11) Thus B 1 F) = F. Now we proceed to construct a family of morphisms; Z[P 1 F] δn Bn 1 F) F ifn 3 F ifn = 3

4 Then one defines } n 1 ifn 3 δ n }) = 1 ) ifn = 0 if} = 0},1}, } 1) A n F) := kerδ n. 13) Note that any element αt) = n i f i t)} Z[P 1 Ft) ] has a specialization αt 0) = ni f i t 0 )} Z[P 1 F ], for every t 0 P 1 F. Thus, R n F) := α0) α1);αt) A n Ft)). 14) Goncharov proves that R n C) is the subgroup of all the rational functional equations for the n-polylogarithm in C. As stated before, the philosophy is that R n F) should be the subgroup of all the rational functional equations for the n-polylogarithm in F. Because of δ n R n F)) = 0, it induces morphisms in the quotients δ n : B n F) B n 1 F) F n 3, δ : B F) F. One obtains the comple: B F n) : B n F) δ B n 1 F) F δ Bn F) where n p n p δ : } p y i δ p } p ) y i. i=1 F δ δ B F) n F δ n F The following conjecture relates the cohomology of the comple B F n) to motivic cohomology: Conjecture [Gon0] i=1 H i B F n) Q) = gr γ n K n if) Q. 15) Evidence supporting this conjecture is found, for instance, in the cases n = 1,. First, it is clear that H 1 B F 1)) = F = K 1 F). For n = it is known that B F) = Z[P 1 F ]/ R,y);,y F,0}, } where } } 1 1 y R,y) := }+y}+1 y}+ + 1 y 1 y is the five-term relation of the dilogarithm. Besides, H 1 B F )) Q = K ind 3 F) Q 16) H B F )) = K F) 17) H n B F n)) = Kn M F) 18) The first assertion was proved by Suslin. The second one is Matsumoto s theorem, and the last one corresponds to the definition of Milnor s K-theory. 4

5 .3 Regulators Deninger [Den97] observed that the Mahler measure can be seen as a regulator evaluated in a cycle that may or may not have trivial boundary. More precisely, mp) = mp 1 )+ πi) n 1 η n n) 1,..., n ). 19) We have to eplain theingredients in this formula. In this section we will beconcerned with η n n) 1,..., n ). This form will be described in the contet of Goncharov s construction of the regulator on the polylogarithmic motivic complees. Let us establish some notation: For any integers p 1 and k 0, define β k,p := 1) p p 1)! k +p+1)! where the B i are Bernoulli numbers. L n z) := Ln z) n > 1 odd il n z) n even [ p 1 ] j=0 G ) k+p+1 k+p j B k+p j j +1 Definition 3 L p,q ) := L p )log q 1 dlog p L 1,q ) := log dlog 1 log 1 dlog )log q 1 Recall that Alt m Ft 1,...t m ) := 1) σ F σ1),..., σm) ). σ S m Now, we are ready to describe the differential forms: Definition 4 Let, i rational functions on a comple variety X. η n+m m+1) : } n 1 m L n )Alt m 1 p m dlog j p+1)!m p)! p 0 j=1 j=p+1 diarg j + 1 k, 1 p m β k,p Ln k,k ) Alt m log 1 p 1)!m p)! p j= η m m) : 1 m dlog j m j=p+1 diarg j 0) Alt m p+1 log 1 p+1)!m p 1)! p 0 j= dlog j m j=p+ diarg j 1) 5

6 These differential forms typically will have singularities. In order to work with them we need to have control of the residues. Let F be a field with discrete valuation v, residue field F v, and group of units U. Let u ū the projection U Fv, and π a uniformizer for v. There is a homomorphism n n 1 θ : F F v defined by θπ u 1 u n 1 ) = ū 1 ū n 1 θu 1 u n ) = 0. Now define s v : Z[P 1 F ] Z[P1 F v ] by s v }) = }. It induces s v : B m F) B m F v ). Then n m v := s v θ : B m F) F B m F v ) n m 1 F v ) defines a morphism of complees v : B F n) B Fv n 1)[ 1]. 3) Observation 5 The induced morphism v : H n B F n)) H n 1 B Fv n 1)) coincides with the tame symbol defined by Milnor v : K M n F) KM n 1 F v). Let X be a comple variety. Let X 1) denote the set of the codimension one closed irreducible subvarieties. Let A j X)k) denote the space of smooth j-forms with values in πi) k R. Let d bethe derham differential on A j X) and let D bethe derham differential on distributions. So d darg) = 0 D darg) = πδ) The difference D d is the de Rham residue homomorphism. Goncharov [Gon0] proves the following, Theorem 6 η n m) induces a homomorphism of complees B n CX)) δ B n 1 CX)) CX) δ... δ n CX) η n 1) η n ) η n n) A 0 X)n 1) d A 1 X)n 1) d... d A n 1 X)n 1) such that η n 1)} n ) = L n ). dη n n) 1 n ) = βre n d1 1 dn n ), where β = 1 if n is odd and i if n is even. 6

7 η n m) ) defines a distribution on XC). The morphism η n m) is compatible with residues: D η n m) η n m+1) δ = πi η n 1 m 1) vy, m < n 4) Y X 1) d1 D η n n) βre n d ) n = πi η n 1 n 1) vy, 5) 1 n Y X 1) where v Y is the valuation defined by the divisor Y. The relation of η n ) to the regulator is roughly as follows. As we mentioned in Conjecture, the cohomology of the first comple corresponds to the Adams filtration which is the absolute cohomology. On the other hand, a slight modification of the second comple leads to Deligne cohomology. Now, η n ) as seen as a map between the cohomologies of these two complees is conjectured to have the same image as the regulator [Gon05]). We should also remark that the final goal is not to work with CX), but with X itself. For X a regular projective variety over a field F Goncharov [Gon05] describes the difficulties for defining the comple B X n) as opposed to B FX) n). Basically, it is known how to define B X n) when X = SpecF) for an arbitrary field F, X is a regular curve over an arbitrary field F, or X is an arbitrary regular scheme but n 3. Now, in terms of the relation between η n ), the regulator, and Beilinson s conjectures, the picture is much less known. As an illustration, the case X = SpecF) for F a number field corresponds to Zagier s conjecture [Zag90], [ZG00]. 3 The two-variable case Rodriguez-Villegas [R-V99] has performed the eplicit construction of the regulator and applied the ideas of Deninger [Den97] to eplain many eamples in two variables. This work was later continued by Boyd and Rodriguez-Villegas [BR-V0, BR-V03]. Let P C[,y]. Then we may write By Jensen s formula, Here mp) = ma d )+ 1 πi P,y) = a d )y d + +a 0 ) P,y) = a d ) d n=1 d y α n )). n=1 T 1 log + α n ) d = mp ) 1 π η,y) := iη ) y) = log dargy log y darg γ η,y). 6) is the regulator in this case, defined in the set C = P,y) = 0} minus the set Z of zeros ans poles of and y. Also, P = a d ), and γ is the union of paths in C where = 1 and y 1. Finally, note that γ = P,y) = 0} = y = 1}. 7

8 ) In general, η,y) is closed in C \Z, since dη,y) = Im d dy y see Theorem 6). Now, if we would like to be able to perform this computation, we wish to arrive to one of these two situations: 1. η is eact, and γ 0. In this case we can integrate using Stokes Theorem.. η is not eact and γ = 0. In this case we can compute the integral by using the Residue Theorem. Eamples for the second case are found, for instance, in the family of Laurent polynomials + 1 +y+ 1 y +k studied by Boyd [Boy98], Deninger [Den97], and Rodriguez-Villegas [R-V99]. Technically one needs k [ 4,4] for these eamples to be in the first case, otherwise γ 0. However Deninger has given an interpretation that allows an adaptation of the cases of k 4,4)\0} into this frame as well. Following Theorem 6, η,1 ) = dd). 7) Thus, η is eact when y = i r i i 1 i ) 8) in CC) ) Q. This condition may be rephrased as the symbol,y} is trivial in K CC)). In fact, if condition 8) is satisfied, we obtain η,y) = ) r i dd i ) = dd r i i }. 9) i i Finally we write γ = k where w k CC), w k ) = yw k ) = 1. Thus ǫ k [w k ], ǫ k = ±1 Theorem 7 [BR-V0, BR-V03] Let P C[,y] be irreducible and such that,y satisfies equation 8). Then πlog a d mp)) = Dξ) for ξ = ǫ k r i i w k )}. k i Boyd and Rodriguez-Villegas prove even more. Under certain assumptions, it is possible to apply Zagier s Theorem [Zag91a] and relate the Mahler measure of P to a rational combination of terms of the form 1 ζ F ) π [F:Q] for certain number fields F which depend on P or more specifically, on w k ). 3.1 An eample for the two-variable case To be concrete, we are going to eamine the simplest eample for the eact case in two variables. Consider Smyth s formula: πm+y 1) = Lχ 3,). 8

9 ξ6 y γ) = 1 y = 1 Figure 1: Integration path for +y 1 For this case, Then Here y = 1 ). πmp) = η,y) = η,1 ) = D γ) γ γ γ =,y) = 1, 1 1} = e πiθ,1 e πiθ ) θ [1/6;5/6]}. Figure 1 shows the integration path γ. Then γ = [ ξ 6 ] [ξ 6 ] where ξ 6 = 1+ 3i ) and we obtain πm+y 1) = Dξ 6 ) D ξ 6 ) = Dξ 6 ) = 3 3 Lχ 3,). 4 The three-variable case Our goal is to etend this situation to three variables. Let P C[,y,z]. We will take 1 η,y,z) := η 3 3) y z) = log 3 ) dlog y dlog z dargy dargz ) 1 +log y dlog z dlog dargz darg 3 ) 1 +log z dlog dlog y darg dargy. 30) 3 This differential form is defined in the surface S = P,y,z) = 0} minus the set Z of poles and zeros of, y and z. We can epress the Mahler measure of P as mp) = mp ) 1 π) Γ η,y,z). 31) Where P, following the previous notation, is the principal coefficient of the polynomial P C[,y][z] and Γ = P,y,z) = 0} = y = 1, z 1}. 9

10 ) Recall η in closed in S\Z since it verifies dη,y,z) = Re d dy y dz z. Typically, one epects that integral 31) can be computed if we are in one of the two ideal situations that we described before. Either the form η,y,z) is not eact and the set Γ consists of closed subsets and the integral is computed by residues, or the form η,y,z) is eact and the set Γ has nontrivial boundaries, so Stokes Theorem is used. The first case would lead to instances of Beilinson s conjectures and produces special values of L-functions of surfaces. Eamples in this direction can be found in Bertin s work [Be05]. Bertin relates the Mahler measure of some K3 surfaces to Eisenstein-Kronecker series in a similar way as Rodriguez-Villegas does for two-variable cases [R-V99]. In the second case we need that η,y,z) is eact. We are going to concentrate on this case. We are integrating on a subset of the surface S. In order for the element in the cohomology to be defined everywhere in the surface S, we need the residues to be zero. This situation is fulfilled when the tame symbols are zero see Section.). This condition will not be a problem for us because when η is eact the tame symbols are zero. As in the two-variable case, Theorem 6 implies where η,1,y) = dω,y) 3) ω,y) := η 3 )} y) = D) dargy+ 1 log y log 1 dlog log dlog 1 ). 3 33) Thus, in order to apply Stokes Theorem, we need to require that y z = r i i 1 i ) y i 34) in 3 CS) ) Q for η to be eact. An equivalent way of epressing this condition is that,y,z} is trivial in K3 MCS)). In this case, η,y,z) = r i η i,1 i,y i ) = r i ω i,y i ), where Γ Γ Γ = P,y,z) = 0} = y = z = 1}. This set Γ seems to have no boundary. However, Γ as described above may contain singularities which may give rise to a boundary when desingularized. We will change our point of view. Namely, assume that P R[,y,z] and nonreciprocal this condition is true for all the eamples we study), then P,y,z) = P,ȳ, z). This property, together with the condition = y = z = 1, allows us to write Γ = P,y,z) = P 1,y 1,z 1 ) = 0} = y = 1}. This idea was proposed by Maillot). Observe that we are integrating now on a path = y = 1} inside the curve C = Res z P,y,z),P 1,y 1,z 1 )) = 0}. 10 Γ

11 In order to easily compute Γ ω, y) we have again the two possibilities that we had before. We are going to concentrate, as usual, in the case when ω,y) is eact. The differential form ω is defined in this new curve C. As before, to be sure that it is defined everywhere, we need to ask that the residues are trivial. This fact is guaranteed by the triviality of tame symbols. This last condition is satisfied if ω is eact. Indeed, we have changed our ambient variety, and we now wonder when ω is eact in C ω is not eact in S since that would imply that η is zero). Fortunately we have ω,) = dl 3 ) 35) by Theorem 6. The condition for ω to be eact is not as easily established as in the preceding cases because ω is not multiplicative in the first variable. In fact, the first variable behaves as the dilogarithm, in other words, the transformations are ruled by the five-term relation. We may epress the condition we need as: } y = r i i } i 36) in B CC)) CC) ) Q. Assuming Conjecture, this is equivalent to saying that a certain symbol for and y is trivial in gr γ 3 K 4CC)) Q. Then we have ω,y) = r i L 3 i ) γ. where γ = C T. Now assume that γ = ǫ k [w k ], ǫ k = ±1 k where w k CC), w k ) = yw k ) = 1. Thus we have proved γ Theorem 8 Let P,y,z) R[,y,z] be irreducible and nonreciprocal, and let S = P,y,z) = 0} and C = Res z P,y,z),P 1,y 1,z 1 )) = 0}. Assume that y z = i r i i 1 i ) y i 37) in 3 CS) ) Q, and i } y i = j r i,j i,j } i,j 38) in B CC)) CC) ) Q for all i. Then 4π mp ) mp)) = L 3 ξ) for ξ = k ǫ k r i r i,j i,j w k )} 3. 39) By using Zagier s conjecturesee Zagier [Zag90], Zagier and Gangl [ZG00]), it is possible to formulate a conjecture that would imply, under certain additional circumstances, a relationship with ζ F 3) in a similar fashion as Boyd and Rodriguez-Villegas have done for the two-variable case. We will illustrate this phenomenon at the end of the eample that follows. 11 i,j

12 4.1 The case of Res 0,m,m+n} We will proceed to the study of a family of three-variable polynomials that come from the world of resultants, namely, Res 0,m,m+n}. This family was computed in [DL06] and the computation is quite involved, though elementary. The Mahler measure of Res 0,m,m+n} is the same as the Mahler measure of a certain rational function. More precisely, Theorem 9 [DL06] m z 1 )m 1 y) n ) 1 y) m+n = n π L 3φ m ) L 3 φ m 1 ))+ m π L 3φ n 1) L 3 φ n )) 40) where φ 1 is the root of m+n + n 1 = 0 that lies in the interval [0,1] and φ is the root of m+n n 1 = 0 that lies in [1, ). Proof. Since we would like to see that η,y,z) is eact, we need to solve equation 37) for this case. The equation for the wedge product becomes y z = m y 1 )+n y 1 y) m+n) y 1 y) = m 1 ) y +ny 1 y) +my 1 y) y ny 1 y). After performing Stokes Theorem for the first time we will have to evaluate the form ω in the following element of B CC)) CC) : = my} y } y) ny} y} ). We need to compute the corresponding curve C. We take advantage of the fact that our equation has the shape z = R,y). In order to compute C, we simply need to consider For this case Let us denote R,y)R 1,y 1 ) = z z 1 = 1. 41) 1 ) m 1 y) n 1 1 ) m 1 y 1 ) n 1 y) m+n 1 1 y 1 ) m+n = 1. 1 = 1 1 y y 1 = 1 y 1 y then we may rewrite the equation for C as Now we use the five-term relation: Then we obtain m 1 yn 1 n 1ŷm 1 = 1. 1 = 1 1 ŷ 1 = 1 y 1. } +y} +1 y} + 1 } +y 1 } = 0. = my} y + 1 } y +y 1 } y) n} + 1 } +y 1 } ). 1

13 Observe that = 1 y 1, y = ŷ1 Thus, we may write 1. = my} y + 1 } ŷ 1 1 } 1 +y 1 } ŷ 1 y 1 } 1 ) n} + 1 } 1 1 } y 1 +y 1 } 1 y 1 } y 1 ) = my} y + 1 } ŷ1 m m 1 } 1 mŷ 1 } ŷ 1 y 1 } m 1 n} +n 1 } } y1 n y 1 } n 1 +ny 1 } y 1. Because of the equation for C, 1 } y1ŷ n 1 m y 1 } m 1 n 1 = 1 } m 1 n 1 +y 1 } y1ŷ n 1 m = m 1 } 1 +n 1 } 1 +ny 1 } y 1 mŷ 1 } ŷ 1, we obtain, = my} y ŷ 1 } ŷ 1 1 } 1 ŷ 1 } ŷ 1 1 } 1 ) n} 1 } 1 y 1 } y 1 1 } 1 y 1 } y 1 ). = my} y ŷ 1 } ŷ 1 1 } 1 ) n} 1 } 1 y 1 } y 1 ) We now need to study the path of integration. First write = e iα, y = e iβ, for π α,β π. Then, 1 = e iβ sinα sinα+β) y 1 = e iα sinβ sinα+β) and Let a = sinα sinα+β) 1 = e iα sinβ ŷ 1 = e iβ sinα sinα+β) sinα+β). sinβ, b =. Then we may write sinα+β) 1 = ±ae iβ y 1 = ±be iα 1 = ±be iα ŷ 1 = ±ae iβ. By means of the Sine theorem, we may think of a, b and 1 as the sides of a triangle with the additional condition a m b n = 1. Thetriangledeterminestheangles, αandβ, whichareoppositetothesidesa, brespectively. We need to be careful and take the complement of an angle if it happens to be greater than π, this corresponds to the cases when the sines are negatives). However, we need to be cautious. In fact, the problem of constructing the triangle given the sides has always two symmetric solutions. We are going to count each triangle once, so we will need to multiply our final result by two. To sum up, a and b are enough to describe the set where the integration is performed. 13

14 a b β α β α α β 1) ) 3) Figure : We are integrating over all the possible triangles. The angles have to be measured negatively if they are greater than π as α in the case ). We will not count the triangles pointing down as in 3). Now, the boundaries where the triangle degenerates) are three: b +1 = a, a+1 = b and a+b = 1. Let φ 1 be the root of m+n + n 1 = 0, with 0 φ 1 1, φ be the root of m+n n 1 = 0, with 1 φ. Then the first two conditions are translated as a = φ n 1, b = φm 1, α = 0, β = 0, a = φ n, b = φm, α = 0, β = 0. The third condition is inconsequential, since it requires both a,b 1 but they can not be both equal to 1 at the same time) and a m b n = 1. Hence, the integration path from condition a+1 = b to b+1 = a) is 0 α θ 1, 0 β π, θ 1 α π, π β θ, π α 0, θ β 0. Here θ 1 is the angle that is opposite to the side a when the triangle is right-angled with hypotenuse b and θ is opposite to b when a is the hypotenuse. We do not need to compute those angles. In fact, we may describe the integration path as either 0 α π, π α 0, or 0 β π, π β 0. It is appropriate to think of it in this way, because 1 } 3 + ŷ 1 } 3 and 1 } 3 + y 1 } 3 change continuously around the right-angled triangles. Moreover, because of this property, everything reduces to evaluating L 3 in Ω = my} 3 ŷ 1 } 3 1 } 3 ) n} 3 1 } 3 y 1 } 3 ) 14

15 in the cases of b+1 = a and a+1 = b and computing the difference. One could have problems when z is zero or has a pole. z is zero for = 1 and y = 1, but these conditions correspond to = my} y and = n}. They lead to Ω = my} 3 and Ω = n} 3 and integrate to zero when the variables move in the unit circle. The poles are at y = 1, which corresponds to = m n)}. Integrating, we obtain Ω = m n)} 3 which leads to zero when moves in the unit circle. We obtain Finally, 4π mp) = 4nL 3 φ m ) L 3 φ m 1 ))+4mL 3φ n 1 ) L 3 φ n ))). mp) = n π L 3φ m ) L 3 φ m 1 ))+ m π L 3φ n 1) L 3 φ n )), so we recover the result of [DL06]. The case with m = n = 1 is especially elegant. Here the rational function has the form z = 1 )1 y) 1 y), and mp) = 4 π L 3φ) L 3 φ)) where φ +φ 1 = 0 and 0 φ 1 in other words, φ = 1+ 5 ). Moreover, we may use Zagier s conjecture to describe this result in terms of the zeta function of Q 5). According to the conjecture, H 1 B Q 5) 3)) has rank. We may take 1} 3,φ} 3 } as basis. In order to see this we need to check that φ} φ is trivial. That is the case because φ} = 1 φ } = φ } = φ} φ} = 1+φ} φ} = φ 1 } φ} = 0, which implies φ} φ = 0. Then the conjecture predicts ζ L Q 5) 3) Q 5 3 φ) L 3 1) L 3 φ 1 ) L 3 1) = 5ζ3)L 3 φ) L 3 φ)). Indeed, ζ Q 5) 3) = ζ3) 5 L 3 φ) L 3 φ)). Which allows us to write mres 0,1,} ) = 4 5ζ Q 5) 3) π. ζ3) 15

16 5 A few words about the four-variable case Unfortunately, we do not have a general systematic method to algebraically describe the successive integration domains in more than three variables. Hence, we can not formulate a precise general result. However, this does not prevent us from using a similar technique for some four-variable cases. In this section we recall the list of differentials in four variables. The sequence of differentials should be as follows: η,y,w,z) := iη 4 4),y,w,z) = 1 4 d log z Im dy y dw w d log y Im dw w dz ) dy +log Im z y dw w dz ) z ) d +log w Im dy y dz z ) +η,y,w) dargz η,y,z) dargw+η,w,z) dargy ηy,w,z) darg) 4) where η, y, z) denotes the differential previously defined for three variables. We have, η,1,y,w) = dω,y,w) 43) where ω,y,w) := iη 4 3),y,w) = D) ) 1 dlog y dlog w dargy dargw ηy,w) log dlog 1 log 1 dlog ). 44) 3 with Net, Finally, ω,,y) = dµ,y) 45) µ,y) := iη 4 ),y) = L 3 ) dargy 1 D)log y dlog. 46) 3 µ,) = dl 4 ). 47) 5.1 An eample in four variables In spite of the fact that we do not know how to treat the integration domains, we may still be able to do the algebraic integration for some eamples of four-variable polynomials. Here is an eample. We will study the case of Res 0,0),1,0),0,1)}, whose Mahler measure was first computed in [DL06]. This is the case of the nine-variable polynomial that is the general 3 3 determinant. Because of homogeneities, this Mahler measure problem may be reduced to computing the Mahler measure of a four-variable polynomial. The result is Theorem 10 [DL06] m1 )1 y) 1 w)1 z)) = 9 πζ3). 48) 16

17 Proof. First we have to solve the equation with the wedge product: y w z = 1 y w z = 1 y 1 1 ) w z ) w z. Now the first term on the right-hand side is 1 y 1 1 ) w z = w y y ) w z = 1 y + y ) y y ) w z 1 y + y ) y y ) w z. w = Net, we use the formula for z as a function of the other variables: 1 y + y ) y y ) +y y w z = w w +y y w y y ) w 1 +y y w y y ) w ++y y w w1 w) ) +y y y y ) w 1 w). w Note that +y y) y y ) w 1 w) = 1 y + y ) y y ) w 1 w) y y ) w 1 w). Hence y w z = ) w z + y y ) 1 y + y ) w z1 w) +y y + 1 w ) +y y y y ) w w 1 w) y y ). w The form ω will be evaluated in the following element: } 1 = w z + y y } w z1 w) } +y y + w = } w z + y y ) w w} y y ) y y } w z1 w) z z } y y ) w w} w y y ). For applying Stokes Theorem, we still apply the technique that is analogous to the computation of the equation for C in the three-variable case. We can apply the analogue of the equation 41): 1 1 )1 y) ) )1 y 1 ) ) 1 w 1 w 1 = 1, 17

18 w π 0 π π y =w y=1 =w=1 =y=w =y=w y=w=1 y=w =1 =w y=w =w y=1 =y=1 =y=1 y=w =1 y=1 =1 =w=1 y=w=1 Figure 3: Integration set for Res 0,0),1,0),0,1)}. 18

19 which can be simplified as = 1, y = 1, w =, or w = y. The above conditions correspond to two pyramids in the torus T 3, as seen in picture 3. We will make the computation over the lower pyramid and then multiply the result by. When = 1, in this case, w = 1 or z = 1. If w = 1, = 0. If z = 1, = 1 1 } y w. w Then µ will be evaluated on Ω = w} 3 y. Ω will be integrated on the boundary, which is y = 1, w = 1 and y = w. If y = 1, Ω = 0. If w = 1, Ω = 1} 3 y, which yields πζ3). If y = w, Ω = y} 3 y, whose integral is zero. When y = 1, in this case, w = 1 or z = 1. If w = 1, = 0. If z = 1, = 1 1 } w 1 w) 1 1 } 1 1 ) w w} 1 1 ). w Only the term in the middle yields a nonzero differential form. In fact, the term in the middle yields Ω = w} ). Ω will be integrated on the boundary which is = 1, w = 1 and = w. If = 1, Ω = 0. If w = 1, Ω = 1} ). This integration is equal to πζ3). If = w, Ω = } ), which integrates to zero. When w =, in this case, z = y unless = 1). = } y + y y } y1 ) y y } y y ) } y y ). Then Ω = } 3 y y y } } ). 3 19

20 Now Ω is to be integrated on the boundary, which is = 1, y = 1 and = y see picture 3). If = 1, Ω = 1} 3 y, which gives 4πζ3). If y = 1, Ω = 1 1 } } ). 3 Now use that } 3 +1 } } = 1} 3 3 and the fact that = 1 to conclude 1 1 } = } 3 1} 3. The total integration in this case is πζ3). If = y, Ω = } 3 1} 3 } ) 3 which leads to µ 1,) we will not need to compute this integral for the final result). When w = y, in this case, z = unless y = 1), By the five-term relation, 1 1 } +y} + = } y + y y } ) y y } y y ) y y} y y ) y = } y +y} y y} 1 1 ) y y } ) y } y y ) y. y y 1 y 1 1 )} + 1 +y y } +y} y y } +y y} } } 1 y + 1 y + y = 0 } y Then we obtain = } y +y} y y} 1 1 ) } ) y y} ) y++y y} ) y+ } ) y y y y y y 0 = 0.

21 } y y ) y y} y y ) y++y y} y y ) y+ y y } y y ) y = } y +y} y y} 1 1 ) } 1 )1 y) y y} 1 )1 y) y + } y ++y y} 1 )1 y) y + y y } y y Now y} 1 1 ) } 1 y) y ) y y ) y. is zero in the differential form. Therefore, Ω = } 3 y +y} 3 +1 } 3 y +y} 3 1 )1 y)+ } y y 3 1 )1 y)} 3 y + y y } y. 3 Ω will be integrated on the boundary, which is = 1, y = 1 and = y. If = 1, whose integral is 3πζ3). If y = 1, which gives 3πζ3). If = y, Ω = 1} 3 y +y} 3 1 y)+ 1 1 } y y 3 Ω = 1} 3 +1} 3 1 ) Ω = } 3 +1 } 3 +} 3 1 )+ 1} 3 1 ) } 3 = } 3 31 } 3 +} 3 1 ) 1} 3, which yields 3πζ3)+ µ 1,). The poles are with w = 1 but = 0 in this case. On the other hand, if z = 0, then w = +y y. But w = 1 implies that = 1, y = 1 or = y. In the first two cases, w = 1 and = 0. In the third case = } 1 ) } 1 ), which corresponds to zero if = 1. Thus, 8π 3 mp) = 36πζ3). Finally, mp) = 9 π ζ3). 1

22 6 The n-variable case. The usual application of Jensen s formula as in equation 6) ) allows us to write, for P C[ 1,..., n ], mp) = mp 1 )+ πi) n 1 η n n) 1,..., n ), 49) G where G = P 1,..., n ) = 0} 1 = = n 1 = 1, n 1}. Recall that this is due to Deninger [Den97]). It is easy to see that we can then follow a process that is analogous to the ones we followed for up to four variables. It remains, of course, to find an general algebraic way of describing the successive sets that we obtain by taking boundaries. Suppose that we do have a good description of the boundaries inside certain algebraic varieties, say S 1 = P 1,..., n ) = 0},...,S n 1. Write, as usual, γ = k ǫ k [w k ], ǫ k = ±1 where γ is the collection of paths S n 1 1 = 1}. In principle, we should epect: Conjecture 11 Let P 1,..., n ) R[ 1,..., n ] be nonreciprocal. Assume that the following conditions are satisfied: 1 n = i 1 r i1 z i1 1 z i1 ) Y i1 50) in n CS 1 ) ) Q, z i1 } Y i1 = i r i1,i z i1,i } z i1,i Y i1,i 51) in B CS )) n CS ) ) Q, for all i 1 ; More generally, assume that for k = 4,...,n we have z i1,...i k 1 } k Y i1,...i k 1 = i k r i1,...,i k 1,i k z i1,...,i k 1,i k } k z i1,...,i k 1,i k Y i1,...,i k 1,i k 5) in B k CS k )) n k CS k ) ) Q, for all i 1,...,i k 1. Finally, assume z i1,...,i n } n 1 Y i1,...,i n = i n 1r i1,...,i n,i n 1 z i1,...,i n,i n 1 } n 1 z i1,...,i n,i n 1 53) in B n 1 CS n 1 )) CS n 1 ) ) Q, for all i 1,...,i n. Then we may write π) n 1 mp ) mp)) = L n ξ) 54) for ξ = k i 1,...,i n 1 ǫ k r i1...r i1,...,i n 1 z i1,...,i n 1 w k )} n

23 HerewehavewrittenY i1,y i1,i,..., todenoteelementsin n CS 1 ) ) Q, n 3 CS ) ) Q,... A solution to equation 50) determines the Y i1 s. Once the Y i1 s are defined, we solve equation 51) and obtain the Y i1,i s. Theprocedurecontinues in this fashion until we reach the Y i1,...,i n s. Ideally, we would epect that this setting eplains the nature of the n-variable eamples described in [Lal06]. 6.1 The case of an n-variable family. Let us consider the case of the family of n+1-variable rational functions ) ) n z =..., n whose Mahler measure was computed in [Lal06]. Though we are not able to perform all the steps for general n, we can at least prove that the first two differentials η n+1 n+1) and η n+1 n) are eact. In this case the wedge product is 1 n z = n 1 n 1 i ) 1 n 1+ i )) i=1 = n 1) in 1) i 1 i ) i+1 i+n 1 i 1+ i ) i+1 i+n 1 ), i=1 with the cyclical convention that i+n = i. Thusweprovedthatη = η n+1 n+1) 1,..., n,z)iseact. Thenetstepistointegrate η n+1 n) evaluated on the following element: = n 1) in 1) i } i+1 i+n 1 i } i+1 i+n 1 ). i=1 We are going to prove that ω = η n+1 n) ) is eact. This form is defined in the variety Z which is the projective closure of the algebraic set determined by ) ) 1) n n = n We wish to show that ω is trivial in H n 1 DR Z). First observe that Z = Z + Z, where Z ± is given by the equation ) ) ±z n = n and z = 1 n even i n odd 3

24 In general, consider the variety given by the projective closure of the zeros of ) ) n α = n with α a nonzero comple number. This variety is birational to P n 1 this is easy to see by setting y i = 1 i 1+ i ). Hencewemay thinkof each Z ± as acopy of P n 1. Thesingular pointsforthis birational map are when i = ±1. Now suppose that n is even, n = k. If we prove that ω can beetended to the whole Z ± and that this etension is consistent with the birationality of Z ±, it would imply that ω is closed, and that it could be seen as a class in H k 1 DR Pk 1 ) = 0 and then ω would be eact. Inorder to etend ω, we need to consider the points wheresome i is equal to 1, 1the points where the equation has singularities) and 0, the points where ω is not defined). Consider the diagram B CZ)) n 1 CZ) v B CZ) v ) n CZ) v η n+1 n) η nn 1) A n 1 Z)n) Res v A n Z v )n 1) which describes the relation between the tame symbol and the residue morphism. We would like to see that Res v η n+1 n) 1 } n )) = 0, where v is the valuation defined by i = ±1,0, for some i. Instead, we will see that η n n 1) v 1 } n )) = 0. First suppose i = 1. Then if i 1, reducing modulo i 1 implies that i = 1 and the onlytermthatispossiblynonzeroin v 1 } n )isv i ) 1 } i n. However, i is clearly not a uniformizer for i 1. Then the tame symbol is zero. If i = 1, 1 } reduces to 1} which corresponds to zero in η n n 1), so we get zero again. The case i = 1 is analogous. Now consider the case with i = 0 for some i. Then it is easy to see that 1 } i n if i 1 v 1 } n ) = 55) 0 if i = 1 Since i = 0, we are now in the variety defined by the projective closure of the zeros of the equation ) ) 1 1 ) 1 i 1 n 1 = i 1+ n We are in a situation that is analogous to the initial one. In other words, we are in the projective space P k. We would like to proceed by induction. In order to prove that 4

25 η n 1 n ) 1 } i n ) is trivial, we can prove that the tame symbols w 1 } i n ) are trivial by induction. However, H k DR Pk ) = R, so even if the symbols are trivial we will not be able to conclude that the form η n 1 n ) 1 } i n ) is eact. What we can conclude is that it is either a generator for H k DR Pk ) or trivial. We would like to eliminate the first possibility. Suppose, in order to make notation easier, that n = i. Assume that η n 1 n ) 1 } n 1 ) is a generator for H k DR Pk ). By Poincaré duality, the integral I = ) ) k 1 η k 1 k ) 1 } k 1 ) 1= k 1 must be nonzero. Now the transformation i 1 i does not change the orientation of the variety but changes the sign of the differential ω. Hence, I = I and that implies that I = 0. Hence ω can not be a generator for H k DR Pk ) and it must be eact. The case when i = is analogous. Now suppose that n = k +1 is odd. Then we may proceed as before. We have that ω can be seen as a class in HDR k Pk ) = R and we can conclude that is eact by using the same idea that we used for the even case. To conclude, ω = η n+1 n) ) is eact and it must be the differential of certain µ = η n+1 n 1)Ω). However, we were unable to find the precise formula for µ. The results of [Lal06] suggest that one should be able to continue this process to reach η n+1 1). Acknowledgments I would like to epress my deepest gratitude to my Ph.D. supervisor, Fernando Rodriguez- Villegas, for his invaluable guidance and encouragement along this and other projects. I am grateful to Vincent Maillot for many enlightening discussions about cohomology and the n-variable case. I am also thankful to Herbert Gangl for helpful discussions about polylogarithms and Bloch groups. I wish to epress my appreciation for the careful work of the referees, which has certainly improved the clarity and eposition of this paper. This work is part of my Ph.D. dissertation at the Department of Mathematics at the University of Teas at Austin. I am indebted to John Tate and the Harrington fellowship for their generous financial support during my graduate studies. This research was partially completed while I was a visitor at the Institut des Hautes Études Scientifiques. I am grateful for their support. References [Be05] M. J. Bertin, Mesure de Mahler d hypersurfaces K3, preprint, January 005). [Boy98] D. W. Boyd, Mahler s measure and special values of L-functions, Eperiment. Math ), [BR-V0] D. W. Boyd, F. Rodriguez-Villegas, Mahler s measure and the dilogarithm I), Canad. J. Math ), [BR-V03] D. W. Boyd, F. Rodriguez-Villegas, with an appendi by N. M. Dunfield, Mahler s measure and the dilogarithm II), preprint, July 003). 5

26 [DL06] C. D Andrea, M. N. Lalín, On The Mahler measure of resultants in small dimensions, to appear in J. Pure Appl. Algebra). [Den97] C. Deninger, Deligne periods of mied motives, K-theory and the entropy of certain Z n -actions, J. Amer. Math. Soc ), no., [Gon95a] A. B. Goncharov, Geometry of Configurations, Polylogarithms, and Motivic Cohomology, Adv. Math ), no., [Gon0] A. B. Goncharov, Eplicit regulator maps on polylogarithmic motivic complees. Motives, polylogarithms and Hodge theory, Part I Irvine, CA, 1998), 45 76, Int. Press Lect. Ser., 3, I, Int. Press, Somerville, MA, 00. [Gon05] A. B. Goncharov, Regulators. Handbook of K-theory. Vol. 1,, , Springer, Berlin, 005. [Lal06] [Lal07] M. N. Lalín, Mahler measure of some n-variable polynomial families, J. Number Theory ), no. 1, M. N. Lalín, Mahler measures and computations with regulatorsin preparation). [R-V99] F. Rodriguez-Villegas, Modular Mahler measures I, Topics in number theory University Park, PA 1997), 17 48, Math. Appl., 467, Kluwer Acad. Publ. Dordrecht, [Smy81] C. J. Smyth, On measures of polynomials in several variables, Bull. Austral. Math. Soc. Ser. A ), Corrigendum with G. Myerson): Bull. Austral. Math. Soc ), [Zag90] D. Zagier, The Bloch-Wigner-Ramakrishnan polylogarithm function. Math. Ann ), no. 1 3, [Zag91a] D. Zagier, Special values and functional equations of polylogarithms. Structural properties of polylogarithms, , Math. Surveys Monogr., 37, Amer. Math. Soc., Providence, RI, 1991 [Zag91b] D. Zagier, Polylogarithms, Dedekind Zeta functions, and the Algebraic K-theory of Fields, Arithmetic algebraic geometry Teel, 1989), , Progr. Math., 89, Birkhäuser Boston, Boston, MA, [ZG00] D. Zagier, H. Gangl, Classical and elliptic polylogarithms and special values of L-series, The arithmetic and geometry of algebraic cycles Banff, AB, 1998), , NATO Sci. Ser. C Math. Phys. Sci., 548, Kluwer Acad. Publ., Dordrecht,