THE MAHLER MEASURE FOR ARBITRARY TORI
|
|
- Stephany Garrett
- 5 years ago
- Views:
Transcription
1 THE MAHLER MEASURE FOR ARBITRARY TORI MATILDE LALÍN AND TUSHANT MITTAL Abstract We consider a variation of the Mahler measure where the defining integral is performed over a more general torus We focus our investigation on two particular polynomials related to certain elliptic curve E and we establish new formulas for this variation of the Mahler measure in terms of L (E, 0) Introduction The (logarithmic) Mahler measure of a non-zero rational function P C(x,, x n ) is defined by m(p ) := (πi) n log P (x,, x n ) dx dx n, T x n x n where T n = {(x,, x n ) C n : x = = x n = } This construction, when applied to multivariable polynomials, often yields values of special functions, including some of number theoretic interest, such as the Riemann zeta-function and L-functions associated to arithmetic-geometric objects such as elliptic curves The initial formulas for multivariable polynomials were due to Smyth [Smy8, MS8] These early results included where L(χ 3, s) = m(x + y + ) = 3 3 4π L(χ 3, ) = L (χ 3, ), n= χ 3 (n) n s and χ 3 (n) = if n mod 3, if n mod 3, 0 if n 0 mod 3, is a Dirichlet L-function The formula above was generalized by Cassaigne and Maillot [Mai00] in the following fashion Let a, b, c be nonzero complex numbers Then α log a + β log b + γ log c + D ( a b e iγ), () πm(ax + by + c) = π log max{ a, b, c } not, where stands for the statement that a, b, and c are the lengths of the sides of a triangle; and α, β, and γ are the angles opposite to the sides of lengths a, b and 00 Mathematics Subject Classification Primary R06; Secondary G05, F66, 9F7, 33E05 Key words and phrases Mahler measure; special values of L-functions; elliptic curve; elliptic regulator This research was supported by the Natural Sciences and Engineering Research Council of Canada [Discovery Grant to ML] and Mitacs [Globalink Research Internship to TM]
2 MATILDE LALÍN AND TUSHANT MITTAL γ a α b c β Figure Relation among the parameters in Maillot s formula c respectively (Figure ) The function D is the Bloch Wigner dilogarithm (to be defined in Section, equation (4)) and the corresponding term then codifies the volume of an ideal hyperbolic tetrahedron in H 3 = C R 0 with basis the triangle whose sides are a, b, and c and fourth vertex infinity We remark that the formulas above also apply when the constant coefficient is replaced by a variable, in the sense that m(ax + by + cz) = m(ax + by + c) The connection of Mahler measure with elliptic curves was predicted by Deninger [Den97], and examined in detail by Boyd [Boy98] and Rodriguez-Villegas [RV99] Boyd computed numerical examples very systematically for several families of polynomials For example, he considered the families R α (x, y) :=( + x)( + y)(x + y) αxy, S k,β (x, y) =y + kxy x 3 βx, where α, k, β are integral parameters Boyd found that for α 00, and for many cases of β, k, m(r α (x, y))? =r α L (E N(α), 0), m(s k,β (x, y))? = 4 log β + s k,βl (E N(k,β), 0), where r α, s k,β are rational numbers of low height, the L-functions are attached to elliptic curves that are defined by R α (x, y) = 0, and S k,β (x, y) = 0 respectively, and the question mark stands for a numerical formula that is true for at least 0 decimal places In all cases, N denotes the conductor of the elliptic curve, which is a function on the coefficients of the corresponding polynomial Some of Boyd s conjectures have been proven In particular, Rogers and Zudilin [RZ] proved that () m(r (x, y)) = 5 π L(E 0, ) = 3L (E 0, 0), m(r 4 (x, y)) = 0 π L(E 0, ) = L (E 0, 0) Mellit [Mel] proved similar formulas for α =, 7, 8, which correspond to the conductor 4 case On the other hand, the Mahler measure of S, (x, y), which is the Weierstrass form of an elliptic curve of conductor 0, was studied by Touafek [Tou08a, Tou08b], Boyd gave precise conjectural conditions for β and k
3 THE MAHLER MEASURE FOR ARBITRARY TORI 3 who exhibited an argument that leads to m(s, (x, y)) = 3 m(r (x, y)), provided that one properly establishes a relationship between certain cycles in H (E, Z) (More details of this argument were completed by Bertin [Ber5] who developed this idea to give an alternative proof of equation ()) In this work, we consider the following extension of Mahler measure Definition Let a,, a n R >0 The (a,, a n )-Mahler measure of a nonzero rational function P C(x,, x n ) is defined by m a,,a n (P ) := (πi) n log P (x,, x n ) dx dx n, T a T an x x n where T a = {x C : x = a} This idea of considering arbitrary tori in the integration was initially proposed to us by Rodriguez-Villegas a long time ago Given this definition, Cassaigne and Maillot s formula can be interpreted as m a,b,c (x + y + z) Some cases of the formula of Vandervelde [Van03] for the Mahler measure of axy + bx + cy + d may be also viewed in this context Our goal is to explore this definition for other formulas, in particular those involving elliptic curves More precisely, we connect this idea with Boyd s examples in order to prove the following results Theorem We have log a + L (E 0, 0) m a,a (y + xy x 3 + x) = In addition, for a 5 a + 5, 3 log a a 3+ 3, log a 0 < a , we have m a,a(( + x)( + y)(x + y) + xy) = 3 log a + 3L (E 0, 0) The results above are, in some sense, quite restricted, due to the technical difficulties involving the study of the integration path They are similar in generality to some earlier formulas from [Lal03] that involve a single varying parameter and relate Mahler measures to polylogarithms By changing variables y ay and x ax and dividing by a in the first polynomial, and y ay and x a x and dividing by a in the second polynomial, we obtain the following corollary which expresses the same results in terms of the classical Mahler measure of non-tempered polynomials (as defined in Section, Definition 4), which are very interesting in their own, since the K-theory framework does not completely apply to these cases
4 4 MATILDE LALÍN AND TUSHANT MITTAL Corollary 3 We have L (E 0, 0) m(y + xy ax 3 + a x) = In addition, for a 5 a + 5, log a a 3+ 3, log ( a ) 0 < a , we have m(( + a x)( + ay)(ax + y) + a xy) = log a + 3L (E 0, 0) Our method of proof follows several steps In Section we recall the relationship between the Mahler measure of polynomials associated to elliptic curves and the regulator Then, in Section 3 we analyze what happens to the regulator integral when the integration domain is changed according to our new definition We start working with our particular examples in Section 4, where we establish the relationship between the regulators of these two families After that, it remains to discuss the integration paths and to characterize them as elements in the homology, which is done in Sections 5 and 6 Section 7 deals with a technical residue computation The proof of our result is completed in Section 8 In the Appendix we include additional information on the homology cycles While this information is not strictly necessary for the proof of Theorem, we believe it provides a valuable perspective to the proof under consideration The connection between Mahler measure and the regulator In this section we recall the definition of the regulator on the second K-group of an elliptic curve E given by Bloch and Beĭlinson and explain how it can be computed in terms of the elliptic dilogarithm We then discuss the relationship between Mahler measure and the regulator Let F be a field Thanks to Matsumoto s theorem, the second K-group of F can be described as K (F ) = Λ F /{x ( x) : x F, x 0, } Definition 4 Let P (x, y) C[x ±, y ± ] be a two variable polynomial The Newton polygon (P ) R is given by the convex hull of {(m, n) Z the coefficient of x m y n of P is non-zero} For each side of, one can associate a one-variable polynomial whose coefficients are the coefficients of P associated to the points that lie on that side P is said to be tempered if the set of roots of its side polynomials consists of roots of unity only (See Section III of [RV99] for more details on these definitions) Let E/Q be an elliptic curve given by an equation P (x, y) = 0 Rodriguez- Villegas [RV99] associates the condition that the polynomial P is tempered to the conditions that the tame symbols in K-theory are trivial In that case we can think of K (E) Q K (Q(E)) Q Let x, y Q(E) We will work with the differential form (3) η(x, y) := log x d arg y log y d arg x, where d arg x is defined by Im(dx/x)
5 THE MAHLER MEASURE FOR ARBITRARY TORI 5 The Bloch Wigner dilogarithm is given by (4) D(x) = Im(Li (x)) + arg( x) log x, where x log( z) Li (x) = dz 0 z The form η(x, y) is closed in its domain of definition, multiplicative, antisymmetric, and satisfies η(x, x) = dd(x) We are now ready to define the regulator Definition 5 The regulator map of Bloch [Blo00] and Beĭlinson [Bl80] is given by r E : K (E) Q H (E, R) { {x, y} [γ] γ } η(x, y) In the above definition, we take [γ] H (E, Z) and interpret H (E, R) as the dual of H (E, Z) We remark that the regulator is actually defined over K (E), where E is the Néron model of the elliptic curve K (E) Q is a subgroup of K (E) Q determined by finitely many extra conditions as described in [BG86] Remark 6 Due to the action of complex conjugation on η, the regulator map is trivial for the classes that remain invariant by complex conjugation, denoted by H (E, Z) + It therefore suffices to consider the regulator as a function on H (E, Z) We proceed to discuss the integral of η(x, y) Since E/Q is an elliptic curve, we can write (5) E(C) C/(Z + τz) C /q Z P = ( (u), (u)) u mod Λ z = e πiu, where is the Weierstrass function, Λ is the lattice Z + τz, τ H, and q = e πiτ The next definition is due to Bloch [Blo00] Definition 7 The elliptic dilogarithm is a function on E(C) given for P E(C) corresponding to z C /q Z by (6) D E (P ) := n Z D(q n z), where D is the Bloch Wigner dilogarithm defined by (4) Let Z[E(C)] be the group of divisors on E and let Z[E(C)] = Z[E(C)]/{(P ) + ( P ) : P E(C)} Let x, y C(E) We define a diamond operation by : Λ C(E) Z[E(C)] (x) (y) = i,j m i n j (S i T j ),
6 6 MATILDE LALÍN AND TUSHANT MITTAL where (x) = i m i (S i ) and (y) = j n j (T j ) With these elements, we have the following result Theorem 8 (Bloch [Blo00]) The elliptic dilogarithm D E extends by linearity to a map from Z[E(Q)] to C Let x, y Q(E) and {x, y} K (E) Then where [γ] is a generator of H (E, Z) r E ({x, y})[γ] = D E ((x) (y)), Deninger [Den97] was the first to write a formula of the form (7) m(p ) = r({x, y})[γ] π Rodriguez-Villegas [RV99] made a thorough study of the properties of η(x, y), defining the notion of tempered polynomial to characterize those polynomials that fit in the above picture He also combined the above expression with Theorem 8 to prove an identity between two Mahler measures (originally conjectured in Boyd [Boy98]) in [RV0] We will now discuss how to reach formula (7) in a concrete two-variable polynomial Let P (x, y) C[x, y] be a polynomial of degree on y We may then write P (x, y) = P (x)(y y (x))(y y (x)), where y (x), y (x) are algebraic functions We recall a particular case of Jensen s formula Let α C Then log z α dz { log α α, πi T z = 0 α By applying Jensen s formula in the Mahler measure formula of P (x, y) with respect to the variable y, we have m(p ) m(p ) = (πi) log P (x, y) dx dy T x y m(p ) = (πi) (log y y (x) + log y y (x) ) dx dy T x y = πi x =, y (x) log y (x) dx x + πi Recalling formula (3) for η(x, y), we have, m(p ) m(p ) = η(x, y ) π π x =, y (x) x =, y (x) x =, y (x) log y (x) dx x η(x, y ) Sometimes we will encounter the case that one of the roots y (x) has always absolute value greater than or equal to as x = and the other root has always absolute value smaller than or equal to as x = This will allow us to write the right-hand side as a single term, an integral over a closed path When P corresponds to an elliptic curve and when the set { x =, y i (x) } can be seen as a cycle in H (E, Z), then we may be able to recover a formula of the type (7) This has to be examined on a case by case basis
7 THE MAHLER MEASURE FOR ARBITRARY TORI 7 3 The initial analysis with an arbitrary torus When working with an arbitrary torus, we can still do a similar analysis to the one in the previous section We continue with the notation that P (x, y) C[x, y] is a polynomial of degree on y Let x = a x and y = bỹ We have m a,b (P ) m a,b (P ) = (πi) = (πi) = log b π = log b π x =a, y =b x = ỹ = log P (x, y) dx x x =, ỹ dy y m a,b(p ) log P (a x, bỹ) d x x dỹ ỹ m a,b(p ) η( x, ỹ ) η( x, ỹ ) π x =, ỹ η(x/a, y /b) η(x/a, y /b) π x =a, y b x =a, y b Now, each of the terms above can be further simplified in the following way η(x/a, y i /b) = (η(x, y i ) η(a, y i ) η(x, b)) π π x =a, y i b In order to evaluate (8) π = π x =a, y i b x =a, y i b x =a, y i b (η(x, y i ) log(a)d arg y i ) log b η(x, y i ) subject to the condition P (x, y i ) = 0, where P (x, y i ) is a tempered polynomial, we reduce to the classical case In favorable cases, { x = a, y i b} leads to a closed path which can be characterized as an element of H (E, Z) The term (9) log a π x =a, y i b d arg y i must also be considered for each case If, as above, { x = a, y i b} leads to a closed path, then this leads to a term that equals a multiple of log a Now that we have described the general situation, we will concentrate in the particular polynomials involved in Theorem 4 The connection between the regulator and the L-function for our polynomials In this section we prove a relationship between regulators for R (x, y) and S, (X, Y ) The goal of this step is to relate the differential forms in the integral (8) This will allow us to use formula () in order to evaluate those terms A substantial part of what we present in this section was done by Touafek [Tou08a, Tou08b] We include it here for the sake of completeness To make the notation easier to follow, we write the variables of S, with capital letters
8 8 MATILDE LALÍN AND TUSHANT MITTAL and (0) The change of variables X = Y = gives a birational transformation (α + )(x + y) x + y α (α + )((α )x (α + )y) (x + y α) x y = = (α + )X + Y (X (α + )) (α )X Y (X (α + )) () ϕ : R α (x, y) E α (X, Y ) between and R α (x, y) := ( + x)( + y)(x + y) αxy ( ( ) ) α E α (X, Y ) := Y + XY X α 3 X + (α + )X Remark that this last equation yields S, (X, Y ) when α = We may continue this computation for arbitrary α ( ) The torsion group of E α has order 6 and is generated by P = α +, (α )(α+), with P = ( ) ( ) ), α, 3P = (0, 0), 4P =, α+, 5P = (α +, (α+)(α+) Proposition 9 We have the following relation in Z[E (Q)] : (X) (Y ) = 3 (x ϕ ) (y ϕ ) Proof We compute the divisors of some of the rational functions in the case of α = (X) = (3P ) O, (Y ) = (3P ) + (4P ) + (5P ) 3O, (X + Y ) = (3P ) + (P ) + (P ) 3O, (X + ) = (P ) + (5P ) O Combining the above with the change of variables (0), we obtain, (x ϕ ) = (3P ) + (4P ) (P ) O, (y ϕ ) = (3P ) + (P ) (5P ) O Finally, the diamond operations of {X, Y } and {x ϕ, y ϕ } yield and this proves the desired identity (X) (Y ) = 4(P ) 4(P ), (x ϕ ) (y ϕ ) = 6(P ) + 6(P ),
9 THE MAHLER MEASURE FOR ARBITRARY TORI 9 5 The integration path The goal of this section is to determine conditions for the integration paths in integrals (8) and (9) corresponding to S, (X, Y ) and R (x, y) to be closed paths This will allow us to determine their homology class later We start with S, (X, Y ) By solving the equation for Y, we find the roots Y + XY X 3 + X = 0 () Y ± = X( ± X + X ), where we choose the branch of the square-root that is defined over C \ (, 0] and takes a number of argument π < φ < π to a number of argument φ We wish to determine the values of a > 0 for which the path X = a, Y ± a is a closed path Namely, we seek to determine the a s for which we always have Y ± a as long as X = a Lemma 0 Let t = a a Then we have the following Proof Let X = a, Y a is a closed path for any t R X = a, Y + a is a closed path for any t 3 X = a, Y + a is a closed path for any t Ỹ ± = Y ± X, and write X = ae iθ with π θ < π Requesting that Y ± a for X = a is equivalent to requesting that for all π θ < π Let Ỹ± = ± + ae iθ a e iθ = ± + (a a ) cos(θ) + i(a + a ) sin(θ) R := + (a a ) cos(θ) + i(a + a ) sin(θ) By taking absolute values we can write R = ( + (a a ) cos(θ)) + ((a + a ) sin(θ)) ( ) ( = 5 + t 4 cos(θ) t ) 4 4 ( t ), where the last inequality becomes an equality if θ = π, 0, according to the sign of t Starting from now, we assume that t so that R 0 Let φ be such that cos(φ) = + (a a ) cos(θ) R, sin(φ) = (a + a ) sin(θ) R
10 0 MATILDE LALÍN AND TUSHANT MITTAL Notice that φ = ±π only when θ = π and t > or θ = 0 and t < In these cases Ỹ± = ± t = + ( t ) = t > Otherwise we have π < φ < π and this allows us to write Now notice that From here, we get that Ỹ± = ± R(cos(φ/) + i sin(φ/)) + cos(φ) = + R R = + R (R + + t cos(θ)) Ỹ± R ± (R + + t cos(θ)) Ỹ for t, and this can be extended to the cases t = by continuity We now look for conditions for having Ỹ+ (3) Ỹ+ R (R + + t cos(θ)) 3 + t 4 cos(θ) 5 + t 4 cos(θ) + t cos(θ) Consider θ = 0 Thus, cos(θ) = and we have Now consider θ = π and cos(θ) = Ỹ+ t t + t + t 3 or t Ỹ+ t t t + t 3 or t This explains the conditions in the statement of the Lemma We will work now with general θ We have just seen that, for selective values of θ, inequality (3) is true for t 3, while the opposite inequality is true for t < We want to see that this is the case for any π θ < π The case where the opposite inequality is always true certainly happens when the left-hand side is negative Therefore, we at most add more restrictions by squaring both sides Thus consider ( 3 + t 4 cos(θ) ) 4 ( 5 + t 4 cos(θ) + t cos(θ) ) (4) =6 cos 4 (θ) 8 cos (θ)(t + ) 8t cos(θ) + ( t 4 + t ) =(4 cos (θ) (t + )) 8t cos(θ) and request that this expression is non-negative for t 3 and non-positive for t
11 THE MAHLER MEASURE FOR ARBITRARY TORI Let t 3 Then t + 0 > 4 cos θ and (4 cos (θ) (t + )) 8t cos(θ) (4 (t + )) 8 t t 4 6t 3 8 t where the last inequality was obtained by inspecting the roots of the polynomial Let t Let us consider (4) as a polynomial in x = cos(θ) 0, f(x) = 6x 4 8x (t + ) 8xt + (t 4 + t ) f (x) = 8 ( 8x 3 x(t + ) t ) f (x) = 6 ( x (t + ) ) Let β such that f (β) = 0 is a local maximum for f We have f(β) = 4β (t + ) 6βt + t 4 + t and it suffices to analyze the function g(x) = 4x (t + ) 6xt + t 4 + t 3t which is easily seen to have a maximum at 4(t +) We have, for t, ( ) 3t 9t f(β) g 4(t = + ) 4(t + ) + t4 + t < 0 We now proceed with the analysis of the integration paths corresponding to R (x, y) The equation can be rewritten as ( + x)( + y)(x + y) + xy = 0 (x + )y + (x + 4x + )y + (x + x) = 0 It is convenient to make the change of variables x = x as well as y = y/x We then have y ± = (x x ) ± x 4 + 4x x + x 4 (5) = ( + (x + x ) ) ± (x + x ) 4 + (x + x )4 (x + x ), where, as before, the square-root is defined over C \ (, 0] and takes a number of argument π < φ < π to a number of argument φ Following the previous notation, we set (6) y ± = x y ± We wish to determine the values of a > 0 for which the path x = a, y ± a is a closed path After the aforementioned change of variables, this result is equivalent to the path x = a, y ± being closed
12 MATILDE LALÍN AND TUSHANT MITTAL Lemma Let and are closed paths a x = a, x = a, Then y a y + a Proof Write x = ae iθ with 0 θ < π For the particular case when a =, we have y ± = ( + cos θ) ± + 4 cos 4 θ cos θ Observe that 0 < + 4 cos 4 θ and both roots y ± are real Since + 4 cos 4 θ ( + cos θ), y = + cos θ cos 4 θ cos θ + 4 cos4 θ = cos θ cos θ + 4 cos θ > On the other hand, y + y = implies that y + < From now on, we assume that a > 0 and a Consider the case θ = 0 Then y = ( + (a + a ) ) (a + a ) 4 (a + a ) 4 + (a + a ) 4 > > a + a > (a + a ) Since y + y =, this means that our goal is to find conditions on a under which y for 0 θ < π and we will automatically obtain y + Consider the case of θ = π Then ( + (ia ia ) ) (ia ia y = ) 4 (ia ia ) ( (a a ) ) (a a = ) 4 (a a ) Observe that (a a ) 4 + (a a ) 4 To see this, it suffices to take squares in both sides of the inequality Then we can always write y = ( (a a ) ) (a a ) 4 a a We want to see under which conditions we have y, which is equivalent to 4 + (a a ) 4 (a a ) + a a The above is always true for 3 < a a 3 because the right-hand side is negative Otherwise, we square both sides and after simplification we obtain a a,
13 THE MAHLER MEASURE FOR ARBITRARY TORI 3 or (7) 3 < a < + 3 For general θ 0, π, a > 0 and a, our first step is to find conditions on a so that the argument in the square root is never a real non-positive number Then we consider = x 4 + 4x x + x 4 =(a 4 + a 4 ) cos(4θ) + 4(a + a ) cos(θ) i((a 4 a 4 ) sin(4θ) + 4(a a ) sin(θ)), and we want to ensure that (, 0] For to be a non-positive real number, we need that the imaginary part be zero, namely, Im( ) = (a 4 a 4 ) sin(4θ) + 4(a a ) sin(θ) = 0 Since we work under the assumption that a and that sin(θ) 0, we can divide the above identity by (a a ) sin(θ) Then the above is equivalent to (8) cos(θ) = a + a Now we consider the real part of under the above condition, ( ) Re( ) =(a 4 + a 4 8 ) (a + a ) + = (a4 a a + a 4 )(a 4 + a + a + a 4 ) (a + a ) Notice that a 4 + a + a + a 4 = (a a ) + (a + a ) > 0 and similarly (a + a ) > 0 In order for C \ (, 0] we therefore need (9) a 4 a a + a 4 < 0 This happens when < a < Since we also assume that a is positive, we will impose the condition (0) < a < We remark that this condition implies condition (7) From now on we will assume (0) and we will prove that y under this condition for any 0 θ < π Notice that we proved that y > when θ = 0, π If for some θ we have y <, then we must have y = at some intermediate point and we search for this point If y =, then we also have y + = and + (x + x ) 4 + (x + x )4 = + (x + x ) (x + x )4 An elementary computation shows that this can only happen when there is a C R such that + (x + x ) = ic 4 + (x + x )4
14 4 MATILDE LALÍN AND TUSHANT MITTAL After squaring both sides and doing some manipulations, we need () ( + C )(4 + (x + x )4 ) + 4(x + x ) = 0 Considering the imaginary part, we obtain ( + C )((a 4 a 4 ) sin(4θ) + 4(a a ) sin(θ)) + 4(a a ) sin(θ) = 0 Notice that sin(θ) = 0 implies that θ = 0 or π These cases were already discussed Similarly with a = In all other cases we divide the equation above by (a a ) sin(θ) After some simplification, we obtain () ( + C ) = + (a + a ) cos(θ) Replacing this in equation () and taking the real part, we obtain, (a 4 + a 4 ) cos(4θ) + 4(a + a ) cos(θ) + 0 = ( + (a + a ) cos(θ)) After further simplification, 4 = (a + a + cos(θ)) Since a + a, the number inside the parenthesis is positive, so we can write = a + a + cos(θ) and further 4 sin θ = a + a Thus, given a with condition (0), we find at most two solutions 0 < θ < π to the equation above, with one solution in (0, π ) and the other in ( π, π) Since we already verified that y > for θ = 0, π and the case θ = π is similar to the case θ = 0, and in each interval we have only once that y =, we conclude that we never get y < Finally, we can extend condition (0) to the extremes by continuity 6 The cycle of the integration path Now that we have given conditions for the integration path in (8) to be a closed path, we need to understand its class in the homology group H (E, Z) More precisely, our goal is to prove that the homology classes [ X = a] and [ϕ ( x = a )] in the elliptic curve defined by S, (X, Y ) = 0 are equal In order to prove that the classes are equal, one can show that the integral of the invariant holomorphic differential for ω over each path are equal Since both paths are closed and they do not self-intersect, they must correspond to generators in the homology Therefore, it suffices to prove that these integrals are positive multiples of each other In view of Remark 6, we will show that both of them have a purely imaginary value Lemma Let a R be such that 5 a + 5 Then ω ir where the integral is performed over the path X = a, Y a and Y is given by () In addition, the sign of the integral is independent of the value of a
15 THE MAHLER MEASURE FOR ARBITRARY TORI 5 Proof Assume that 5 < a < + 5 The extreme cases follow by continuity By working with the Weierstrass form S, (X, Y ) and setting X = ae iθ, we obtain the following ω = = π = i Re dx (Y + X) = idθ π π dx X X + X + (a a ) cos θ + i(a + a ) sin θ 0 dθ + (a a ) cos θ + i(a + a ) sin θ Finally, in order for the square root to be purely imaginary, we must have a+a = 0, but a is real Therefore, the sign of the integral above is independent of the value of a, Lemma 3 Let a R be such that a Then ω ir, ϕ ( x =a ) where the integral is performed over the path x = a, y a, y is given by (5) and (6) and satisfies R (x, y ) = 0, and ϕ is given by () In addition, the sign of the integral is independent of the value of a Proof As before, we assume that < a < The extreme cases follow by continuity Since we have ω = ϕ ω, ϕ ( x =a ) x =a we proceed to find ϕ ω By looking at the equations for ϕ, we have By differentiating R (x, y), we get Thus, we obtain, (dx + dy) dx = (x + y + ) (x(y + ) + y + 4y + )dx + (y(x + ) + x + 4x + )dy = 0 dx = Therefore ϕ ω is given by Equations (5) and (6) for y imply (y x)dx (x + y + )(y(x + ) + x + 4x + ) dx (X + Y ) = dx y(x + ) + x + 4x + ϕ dx ω = x 4 + (x + x )4
16 6 MATILDE LALÍN AND TUSHANT MITTAL Therefore, we find, ϕ ( x =a ) ω = x =a dx x 4 + (x + x )4 We have omitted a factor of because we are integrating in the full circle over x, which corresponds to twice the circle over x Setting x = ae iθ, we get, after some manipulations, ϕ ( x =a ) ω = 4i Re π 0 dθ 4 + (ae iθ + a e iθ ) 4 The sign of the integral above is independent of the value of a, by a similar argument as in Lemma and the analysis leading to equation (8) in the proof of Lemma Lemmas and 3 imply that [ X = a] = ±[ϕ ( x = a )] and this is also independent of the value of the parameter a as long as a satisfies the conditions that we discovered in Section 5 This corresponds to the result we need with the exception of a sign to be determined later Remark 4 With some additional work, it can be proven that 5 ( ( )) 5 ω = ω = i K i, where ϕ ( x =a ) K(k) := π 0 dθ k sin θ is the complete Elliptic Integral of the First Kind Since we do not need this level of precision in order to prove our result, this proof will be considered in the Appendix 7 The integral over arg y In this section we compute the integrals (9) Lemma 5 Let Y be the root of S, (X, Y ) = 0 defined by () and let a R be such that 5 a + 5 Then d arg Y = π Proof As usual, assume that 5 < a < + 5 The extreme cases follow by continuity First recall that Y = X( X + X ) and (3) where π d arg Y = πi = πi dx X + πi dx X + π Im f(t) = (t + + t + ) d( + X + X ) + X + X X + X dx f(x X ) X,
17 THE MAHLER MEASURE FOR ARBITRARY TORI 7 It is clear that dx πi X = We need to prove that the second term in (3) equals zero Let I(a) = π Im By setting τ = π θ, I(a) = π Re X + X dx f(x X ) X = π Re π π π 0 ae iθ + a e iθ f(ae iθ a e iθ ) dθ ae iτ a e iτ f( ae iτ + a e iτ ) dτ = I(a ) In particular, I() = 0 Recall that we are choosing a such that < a a < This guarantees that X + X (, 0] as long as X = a Therefore we can take a branch of the square root and further a branch of the logarithm so that g(x) = log( + X + X ) is well-defined and holomorphic in an open ring containing X = a and X = This shows that I(a) = I() = 0 for a such that < a a < Lemma 6 Let y be the root of R (x, y) = 0 defined by (5) and (6), and let a R be such that a Then { 0 a >, d arg y = π x =a a <, The ex- while the value at a = is undefined Proof As usual, assume that < a < treme cases follow by continuity Write as before x = x and Then we have d arg y = π x =a 4π (4) Notice that πi x =a y = x ( + (x + x ) ) x =a d arg y = dx + d 4πi x =a x 4πi x =a 4πi x =a 4 + (x + x )4 (x + x ) d(x + x ) x + x ( + (x + x ) + + (x + x ) + d(x + x ) x + x = x x { dx a >, πi x =a x + x = x a <, ) 4 + (x + x )4 4 + (x + x )4
18 8 MATILDE LALÍN AND TUSHANT MITTAL by Cauchy s formula It can be proven that the second integral in (4) is zero by the same reasoning that we did in Lemma 5 We get the final result by combining the possible values 8 The proof of Theorem We have now all the elements to prove Theorem First consider the case of S, (X, Y ) By Lemma 0 from Section 5, there are two cases where the integration [ paths are closed Either t, which implies 5 ] a a and a, or t 3, which implies a a 3 and, + 5 a 3+ 3 or a a 3 and 0 a 3+ 3 [ 5 ] For a, + 5, by Lemma 0, Y a and Y + a Following the discussion from Section 3, we have m a,a (S, ) = log a (η(x, Y ) log(a)d arg Y ) log a π Lemma from Section 6 implies that η(x, Y ) = π π X = η(x, Y ) We also have by combining Lemmas and 3 and Proposition 9, η(x, Y ) = ± η(x ϕ, y ϕ ) π X = 3 π ϕ ( x =) The result of Rogers and Zudilin () implies η(x ϕ, y ϕ ) = 3L (E 0, 0) π ϕ ( x =) By combining all the above equations, we finally obtain η(x, Y ) = ±L (E 0, 0) π On the other hand, by Lemma 5 from Section 7, d arg Y = π Combining all of the above, m a,a (S, ) = log a ± L (E 0, 0) By setting a =, we see that the positive sign must be chosen, since the Mahler measure is always non-negative
19 THE MAHLER MEASURE FOR ARBITRARY TORI 9 When a 3+ 3 or a 3+ 3, Lemma 0 implies that we have Y ± a Following the discussion from Section 3, we have m a,a (S, ) = log a (η(x, Y ) log(a)d arg Y ) log a π (η(x, Y + ) log(a)d arg Y + ) log a π = (η(x, X 3 X) log(a)d arg(x 3 X)) π = (log X d arg(x 3 X) log X 3 X d arg X log(a)d arg(x 3 X)) π =m a (X 3 X) =m(a 3 X 3 ax), where we have used that Y + Y = X 3 + X On the one hand, when a 3+ 3 >, we have that m(a 3 X 3 ax) = 3 log a + m(x /a ) = 3 log a On the other hand, when 0 < a 3+ 3 <, we have that m(a 3 X 3 ax) = 3 log a + m(x /a ) = 3 log a + log a = log a Now we work with R (x, y) By Lemma, the only case that we can consider is a, where we recall that we have x = a while y a and y + a By the discussion from Section 3, we have m a,a(r ) m a (x + ) = log a (η(x, y ) log(a)d arg y ) log a π x =a, y a By combining Lemma 3 from Section 6 together with formula (), we can write η(x, y ) = η(x, y ) = 3L (E 0, 0) π x =a π x = On the other hand, by Lemma 6 from Section 7, log(a) { 0 a, d arg y = π x =a log a a We also have Putting everything together, m a (x + ) = m(a x + ) = { log a a, 0 a m a,a(r ) =3 log a + 3L (E 0, 0) This completes the proof of our main result
20 0 MATILDE LALÍN AND TUSHANT MITTAL 9 Conclusion There are several directions for further exploration The most immediate question that we have is the completion of the statement of Theorem, in the sense that we would like to give formulas for m a,b (S, ) and m a,b (R ) for any positive parameters a and b This is a challenging problem, as it requires to integrate η(x, y) in a path that is not closed and cannot be easily identified as a cycle in the homology group A different direction would be to consider other polynomials from Boyd s families Finally, it would be also natural to explore this new definition of Mahler measure over arbitrary tori for arbitrary polynomials in a more general context and to relate it to other constructions, such as the Ronkin function associated to amoebas (see [Lun5] for further details) Appendix: a more precise computation of the homology cycles In this Appendix we include a proof of the Remark 4 from Section 6, namely, 5 ( ( )) 5 ω = ω = i K i ϕ ( x =a ) First we consider the integral over [ X = a] Recall that we proved in Lemma that π dθ ω = i Re 0 + (a a ) cos θ + i(a + a ) sin θ We make the change of variables t = i tan(θ/) This gives (5) ir ω = i Im lim R 0 dt ( ( a + a )(t ) t ) ( ) 5+a+a a+a t 5+a+a a+a Since 5 < a < + 5, we have a + a > 0 Notice that the polynomial inside the square-root has 4 real roots, 5 + a + a (6) α = a + a, α =, α 3 = 5 + a + a a + a, α 4 =, which satisfy α > α > 0 > α 3 > α 4 In order to compute integral (5), we complete the vertical line with a horizontal line and a quarter of a circle of radius R The integrand has no poles in the interior of this region, but it has two poles on the segment 0 t R when R is sufficiently large Thus, we modify the integration path by substracting a semicircle of radius ε around each pole One can see that the integrals over these semicircles approach zero as ε 0 and that the integral over the quarter of a circle of radius R also approaches [ 5+a+a zero as R ) In addition, the imaginary parts of the integrals over [0, ] and, equal zero since the integrand is real in these intervals a+a
21 THE MAHLER MEASURE FOR ARBITRARY TORI Finally we get i ω = Im a + a 5+a+a a+a dt ( (t ) t ) ( ) 5+a+a a+a t 5+a+a a+a We need the following result Proposition 7 ([BF7], formula 5600 page 0) Let α > α > α 3 > α 4 be real numbers and α γ > α Then γ dt α (α t)(t α )(t α 3 )(t α 4 ) ( ( ) ) = (α α 3 )(α α 4 ) F sin (α α 3 )(γ α ) (α α )(α 3 α 4 ),, (α α )(γ α 3 ) (α α 3 )(α α 4 ) where F (φ, k) = φ 0 dθ k sin θ Recalling that K(k) = F ( π, k), and the values of the α i given by (6), we have ( ) i ω = ( a + a ) (α α 3 )(α α 4 ) K (α α )(α 3 α 4 ) (α α 3 )(α α 4 ) 5 = i 4 K 5 5 By formula 600 on page 38 from [BF7], ( ( ) ) + k F (φ, ik) = F sin + k + k sin φ sin φ k, + k In particular, for φ = π, ( ) K(ik) = K k + k + k Substituting k by ik, ( ) ik K( k) = K(k) = K k k Thus, 5 5 ( ( )) i 4 K 5 5 = i K i 5 We now proceed to consider the integral over [ϕ ( x = a )] Recall from Lemma 3 that we proved ϕ ( x =a ) π ω = 4i Re 0 dθ 4 + (ae iθ + a e iθ ) 4
22 MATILDE LALÍN AND TUSHANT MITTAL (7) Let t = (aeiθ +a e iθ ) 4 This yields, ϕ ( x =a ) ω = i +(a +a ) Re 4 (a +a ) 4 dt t( t)(t + /4), where the integral takes place over an arc connecting the two real points (a +a ) 4 and +(a +a ) 4 We close this arc with the segment of the real line connecting these two points One can see that t = a +a + cos(θ) 4 Choosing θ according to equation (8) so that t is purely imaginary shows that t < iff a4 a a + a 4 < 0, which is guaranteed by hypothesis (see condition (9)) Thus, the integrand has no poles in the interior of this region[ and the integral in (7) ] equals the integral over the corresponding real segment (a +a ) 4, +(a +a ) 4 Since (a + a ) for any a > 0, this segment always contains [0, ] Moreover, the polynomial under the square-root is positive only in [0, ] Therefore, we get ϕ ( x =a ) ω = i 0 dt t( t)(t + /4) Now we make the change of variables z = (+ 5)t ( We obtain 5)t 5 dz ϕ ( x =a ) ω = i 0 ( z ) ( + 5 ( ( )) 5 = i K i Acknowledgments ( ) 5 z ) We are thankful to Marie-José Bertin for providing us a copy of Touafek s doctoral thesis [Tou08b] We are very grateful to the anonymous referees for their dedicated work and for their several corrections and suggestions that greatly improved the exposition We would like to specially thank the referee who found a mistake in one of our main formulas References [Ber5] Marie-José Bertin, Mahler measure, regulators, and modular units, Workshop lecture at The Geometry, Algebra and Analysis of Algebraic Numbers, Banff International Research Station, Banff, Canada, 05 [BF7] Paul F Byrd and Morris D Friedman, Handbook of elliptic integrals for engineers and scientists, Die Grundlehren der mathematischen Wissenschaften, Band 67, Springer-Verlag, New York-Heidelberg, 97, Second edition, revised MR [BG86] S Bloch and D Grayson, K and L-functions of elliptic curves: computer calculations, Applications of algebraic K-theory to algebraic geometry and number theory, Part I, II (Boulder, Colo, 983), Contemp Math, vol 55, Amer Math Soc, Providence, RI, 986, pp MR 8663 [Bl80] A A Beĭ linson, Higher regulators and values of L-functions of curves, Funktsional Anal i Prilozhen 4 (980), no, MR 57506
23 THE MAHLER MEASURE FOR ARBITRARY TORI 3 [Blo00] Spencer J Bloch, Higher regulators, algebraic K-theory, and zeta functions of elliptic curves, CRM Monograph Series, vol, American Mathematical Society, Providence, RI, 000 MR [Boy98] David W Boyd, Mahler s measure and special values of L-functions, Experiment Math 7 (998), no, 37 8 MR 688 [Den97] Christopher Deninger, Deligne periods of mixed motives, K-theory and the entropy of certain Z n -actions, J Amer Math Soc 0 (997), no, 59 8 MR 4530 [Lal03] Matilde N Lalín, Some examples of Mahler measures as multiple polylogarithms, J Number Theory 03 (003), no, MR [Lun5] Johannes Lundqvist, An explicit calculation of the Ronkin function, Ann Fac Sci Toulouse Math (6) 4 (05), no, 7 50 MR [Mai00] Vincent Maillot, Géométrie d Arakelov des variétés toriques et fibrés en droites intégrables, no 80, 000 MR [Mel] A Mellit, Elliptic dilogarithms and parallel lines, ArXiv e-prints (0) [MS8] Gerald Myerson and C J Smyth, Corrigendum: On measures of polynomials in several variables [Bull Austral Math Soc 3 (98), no, 49 63; MR 8k:0074] by Smyth, Bull Austral Math Soc 6 (98), no, MR [RV99] F Rodriguez-Villegas, Modular Mahler measures I, Topics in number theory (University Park, PA, 997), Math Appl, vol 467, Kluwer Acad Publ, Dordrecht, 999, pp 7 48 MR [RV0] Fernando Rodriguez-Villegas, Identities between Mahler measures, Number theory for the millennium, III (Urbana, IL, 000), A K Peters, Natick, MA, 00, pp 3 9 MR [RZ] Mathew Rogers and Wadim Zudilin, From L-series of elliptic curves to Mahler measures, Compos Math 48 (0), no, MR 9049 [Smy8] C J Smyth, On measures of polynomials in several variables, Bull Austral Math Soc 3 (98), no, MR 653 [Tou08a] Nouressadat Touafek, From the elliptic regulator to exotic relations, An Ştiinţ Univ Ovidius Constanţa Ser Mat 6 (008), no, 7 5 MR [Tou08b], Thèse de doctorat, 008, Université de Constantine, Algeria [Van03] S Vandervelde, A formula for the Mahler measure of axy+bx+cy+d, J Number Theory 00 (003), no, 84 0 MR 9753 Départment de Mathématique et de Statistique, Université de Montréal CP 68, succ Centre-Ville Montreal, QC H3C 3J7, Canada address: mlalin@dmsumontrealca Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, India address: mittaltushant@gmailcom
Some aspects of the multivariable Mahler measure
Some aspects of the multivariable Mahler measure Séminaire de théorie des nombres de Chevaleret, Institut de mathématiques de Jussieu, Paris, France June 19th, 2006 Matilde N. Lalín Institut des Hautes
More informationExamples of Mahler Measures as Multiple Polylogarithms
Examples of Mahler Measures as Multiple Polylogarithms The many aspects of Mahler s measure Banff International Research Station for Mathematical Innovation and Discovery BIRS, Banff, Alberta, Canada April
More informationFrom the elliptic regulator to exotic relations
An. Şt. Univ. Ovidius Constanţa Vol. 16(), 008, 117 16 From the elliptic regulator to exotic relations Nouressadat TOUAFEK Abstract In this paper we prove an identity between the elliptic regulators of
More informationOn Mahler measures of several-variable polynomials and polylogarithms
On Mahler measures of several-variable polynomials and polylogarithms Zeta Functions Seminar University of California at Berkeley May 17th, 2004 Matilde N. Lalín University of Texas at Austin 1 1. Mahler
More informationOn the friendship between Mahler measure and polylogarithms
On the friendship between Mahler measure and polylogarithms Number Theory Seminar University of Texas at Austin September 30th, 2004 Matilde N. Lalín 1. Mahler measure Definition 1 For P C[x ±1 1,...,x±1
More informationThere s something about Mahler measure
There s something about Mahler measure Junior Number Theory Seminar University of Texas at Austin March 29th, 2005 Matilde N. Lalín Mahler measure Definition For P C[x ±,...,x± n ], the logarithmic Mahler
More informationMahler s measure : proof of two conjectured formulae
An. Şt. Univ. Ovidius Constanţa Vol. 6(2), 2008, 27 36 Mahler s measure : proof of two conjectured formulae Nouressadat TOUAFEK Abstract In this note we prove the two formulae conjectured by D. W. Boyd
More informationMahler measure and special values of L-functions
Mahler measure and special values of L-functions Matilde N. Laĺın University of Alberta mlalin@math.ualberta.ca http://www.math.ualberta.ca/~mlalin October 24, 2008 Matilde N. Laĺın (U of A) Mahler measure
More informationThe Mahler measure of elliptic curves
The Mahler measure of elliptic curves Matilde Lalín (Université de Montréal) joint with Detchat Samart (University of Illinois at Urbana-Champaign) and Wadim Zudilin (University of Newcastle) mlalin@dms.umontreal.ca
More informationMahler measure as special values of L-functions
Mahler measure as special values of L-functions Matilde N. Laĺın Université de Montréal mlalin@dms.umontreal.ca http://www.dms.umontreal.ca/~mlalin CRM-ISM Colloquium February 4, 2011 Diophantine equations
More informationOn K2 T (E) for tempered elliptic curves
On K T 2 (E) for tempered elliptic curves Department of Mathematics, Nanjing University, China guoxj@nju.edu.cn hrqin@nju.edu.cn Janurary 19 2012 NTU 1. Preliminary and history K-theory of categories Let
More informationHigher Mahler measures and zeta functions
Higher Mahler measures and zeta functions N Kuroawa, M Lalín, and H Ochiai September 4, 8 Abstract: We consider a generalization of the Mahler measure of a multivariable polynomial P as the integral of
More informationCopyright. Matilde Noemi Lalin
Copyright by Matilde Noemi Lalin 005 The Dissertation Committee for Matilde Noemi Lalin certifies that this is the approved version of the following dissertation: Some relations of Mahler measure with
More informationIntegral Expression of Dirichlet L-Series
International Journal of Algebra, Vol,, no 6, 77-89 Integral Expression of Dirichlet L-Series Leila Benferhat Université des Sciences et de la technologie Houari Boumedienne, USTHB BP 3 El Alia ALGER (ALGERIE)
More informationHyperbolic volumes and zeta values An introduction
Hyperbolic volumes and zeta values An introduction Matilde N. Laĺın University of Alberta mlalin@math.ulberta.ca http://www.math.ualberta.ca/~mlalin Annual North/South Dialogue in Mathematics University
More informationA combinatorial problem related to Mahler s measure
A combinatorial problem related to Mahler s measure W. Duke ABSTRACT. We give a generalization of a result of Myerson on the asymptotic behavior of norms of certain Gaussian periods. The proof exploits
More informationarxiv: v2 [math.nt] 31 Jul 2011
MODULAR EQUATIONS AND LATTICE SUMS MATHEW ROGERS AND BOONROD YUTTANAN arxiv:11.4496v2 [math.nt] 31 Jul 211 Abstract. We highlight modular equations discovered by Somos and Ramanujan, and use them to prove
More informationMahler measure of K3 surfaces
Mahler measure of K3 surfaces Marie José BERTIN Institut Mathématique de Jussieu Université Paris 6 4 Place Jussieu 75006 PARIS bertin@math.jussieu.fr November 7, 2011 Introduction Introduced by Mahler
More informationCopyright by Matilde Noem ı Lal ın 2005
Copyright by Matilde Noemí Lalín 005 The Dissertation Committee for Matilde Noemí Lalín certifies that this is the approved version of the following dissertation: Some relations of Mahler measure with
More informationLecture 1 Complex Numbers. 1 The field of complex numbers. 1.1 Arithmetic operations. 1.2 Field structure of C. MATH-GA Complex Variables
Lecture Complex Numbers MATH-GA 245.00 Complex Variables The field of complex numbers. Arithmetic operations The field C of complex numbers is obtained by adjoining the imaginary unit i to the field R
More informationMahler measure of K3 surfaces (Lecture 4)
Mahler measure of K3 surfaces (Lecture 4) Marie José BERTIN Institut Mathématique de Jussieu Université Paris 6 4 Place Jussieu 75006 PARIS bertin@math.jussieu.fr June 25, 2013 Introduction Introduced
More informationPolylogarithms and Hyperbolic volumes Matilde N. Laĺın
Polylogarithms and Hyperbolic volumes Matilde N. Laĺın University of British Columbia and PIMS, Max-Planck-Institut für Mathematik, University of Alberta mlalin@math.ubc.ca http://www.math.ubc.ca/~mlalin
More informationFunctional equations for Mahler measures of genus-one curves
Functional equations for Mahler measures of genus-one curves Matilde N. Lalín, Mathew D. Rogers Department of Mathematics, University of British Columbia Vancouver, BC, V6T-Z, Canada e-mails: mlalin@math.ubc.ca,
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationThe Calculus of Residues
hapter 7 The alculus of Residues If fz) has a pole of order m at z = z, it can be written as Eq. 6.7), or fz) = φz) = a z z ) + a z z ) +... + a m z z ) m, 7.) where φz) is analytic in the neighborhood
More informationA GEOMETRIC VIEW OF RATIONAL LANDEN TRANSFORMATIONS
Bull. London Math. Soc. 35 (3 93 3 C 3 London Mathematical Society DOI:./S4693393 A GEOMETRIC VIEW OF RATIONAL LANDEN TRANSFORMATIONS JOHN HUBBARD and VICTOR MOLL Abstract In this paper, a geometric interpretation
More informationCOMPLEX MULTIPLICATION: LECTURE 14
COMPLEX MULTIPLICATION: LECTURE 14 Proposition 0.1. Let K be any field. i) Two elliptic curves over K are isomorphic if and only if they have the same j-invariant. ii) For any j 0 K, there exists an elliptic
More informationMahler measure of the A-polynomial
Mahler measure of the A-polynomial Abhijit Champanerkar University of South Alabama International Conference on Quantum Topology Institute of Mathematics, VAST Hanoi, Vietnam Aug 6-12, 2007 Outline History
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationAN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES
AN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES Abstract. We give a proof of the group law for elliptic curves using explicit formulas. 1. Introduction In the following K will denote an algebraically
More informationTAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS
TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.
More informationThe Mahler Measure of Parametrizable Polynomials
The Mahler Measure of Parametrizable Polynomials Sam Vandervelde St. Lawrence University, Canton, NY 367 svandervelde@stlawu.edu Abstract Our aim is to explain instances in which the value of the logarithmic
More informationSolutions to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
More informationMahler measures and computations with regulators
Journal of Number Theory 18 008) 131 171 www.elsevier.com/locate/jnt Mahler measures and computations with regulators Matilde N. Lalín 1 Department of Mathematics, University of British Columbia, Vancouver,
More informationarxiv: v1 [math.nt] 15 Mar 2012
ON ZAGIER S CONJECTURE FOR L(E, 2): A NUMBER FIELD EXAMPLE arxiv:1203.3429v1 [math.nt] 15 Mar 2012 JEFFREY STOPPLE ABSTRACT. We work out an example, for a CM elliptic curve E defined over a real quadratic
More informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More information20 The modular equation
18.783 Elliptic Curves Spring 2015 Lecture #20 04/23/2015 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationMTH4101 CALCULUS II REVISION NOTES. 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) ax 2 + bx + c = 0. x = b ± b 2 4ac 2a. i = 1.
MTH4101 CALCULUS II REVISION NOTES 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) 1.1 Introduction Types of numbers (natural, integers, rationals, reals) The need to solve quadratic equations:
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationTopic 4 Notes Jeremy Orloff
Topic 4 Notes Jeremy Orloff 4 auchy s integral formula 4. Introduction auchy s theorem is a big theorem which we will use almost daily from here on out. Right away it will reveal a number of interesting
More information= 10 such triples. If it is 5, there is = 1 such triple. Therefore, there are a total of = 46 such triples.
. Two externally tangent unit circles are constructed inside square ABCD, one tangent to AB and AD, the other to BC and CD. Compute the length of AB. Answer: + Solution: Observe that the diagonal of the
More informationOn the number of ways of writing t as a product of factorials
On the number of ways of writing t as a product of factorials Daniel M. Kane December 3, 005 Abstract Let N 0 denote the set of non-negative integers. In this paper we prove that lim sup n, m N 0 : n!m!
More informationThe arithmetic geometric mean (Agm)
The arithmetic geometric mean () Pictures by David Lehavi This is part of exercise 5 question 4 in myc> calculus class Fall 200: a = c a n+ =5a n 2 lim n an = a = a an + bn a n+ = 2 b = b b n+ = a nb n
More informationFormal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More informationKLEIN-FOUR COVERS OF THE PROJECTIVE LINE IN CHARACTERISTIC TWO
ALBANIAN JOURNAL OF MATHEMATICS Volume 1, Number 1, Pages 3 11 ISSN 1930-135(electronic version) KLEIN-FOUR COVERS OF THE PROJECTIVE LINE IN CHARACTERISTIC TWO DARREN GLASS (Communicated by T. Shaska)
More information(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.
1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of
More informationComplex numbers, the exponential function, and factorization over C
Complex numbers, the exponential function, and factorization over C 1 Complex Numbers Recall that for every non-zero real number x, its square x 2 = x x is always positive. Consequently, R does not contain
More informationExplicit Examples of Strebel Differentials
Explicit Examples of Strebel Differentials arxiv:0910.475v [math.dg] 30 Oct 009 1 Introduction Philip Tynan November 14, 018 In this paper, we investigate Strebel differentials, which are a special class
More informationMaxima and Minima. (a, b) of R if
Maxima and Minima Definition Let R be any region on the xy-plane, a function f (x, y) attains its absolute or global, maximum value M on R at the point (a, b) of R if (i) f (x, y) M for all points (x,
More informationTypes of Real Integrals
Math B: Complex Variables Types of Real Integrals p(x) I. Integrals of the form P.V. dx where p(x) and q(x) are polynomials and q(x) q(x) has no eros (for < x < ) and evaluate its integral along the fol-
More informationOn the recurrence of coefficients in the Lück-Fuglede-Kadison determinant
Biblioteca de la Revista Matemática Iberoamericana Proceedings of the Segundas Jornadas de Teoría de Números (Madrid, 2007), 1 18 On the recurrence of coefficients in the Lück-Fuglede-Kadison determinant
More informationINTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to
More informationcarries the circle w 1 onto the circle z R and sends w = 0 to z = a. The function u(s(w)) is harmonic in the unit circle w 1 and we obtain
4. Poisson formula In fact we can write down a formula for the values of u in the interior using only the values on the boundary, in the case when E is a closed disk. First note that (3.5) determines the
More informationarxiv: v1 [math.dg] 28 Jun 2008
Limit Surfaces of Riemann Examples David Hoffman, Wayne Rossman arxiv:0806.467v [math.dg] 28 Jun 2008 Introduction The only connected minimal surfaces foliated by circles and lines are domains on one of
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationMATH 452. SAMPLE 3 SOLUTIONS May 3, (10 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic.
MATH 45 SAMPLE 3 SOLUTIONS May 3, 06. (0 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic. Because f is holomorphic, u and v satisfy the Cauchy-Riemann equations:
More informationMath Precalculus I University of Hawai i at Mānoa Spring
Math 135 - Precalculus I University of Hawai i at Mānoa Spring - 2013 Created for Math 135, Spring 2008 by Lukasz Grabarek and Michael Joyce Send comments and corrections to lukasz@math.hawaii.edu Contents
More informationTEST CODE: MMA (Objective type) 2015 SYLLABUS
TEST CODE: MMA (Objective type) 2015 SYLLABUS Analytical Reasoning Algebra Arithmetic, geometric and harmonic progression. Continued fractions. Elementary combinatorics: Permutations and combinations,
More informationHigher Mahler measures and zeta functions
Higher Mahler measures and zeta functions N Kuroawa, M Lalín, and H Ochiai arxiv:987v [mathnt] 3 Aug 9 November 5, 8 Abstract: We consider a generalization of the Mahler measure of a multivariablepolynomialp
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationLines, parabolas, distances and inequalities an enrichment class
Lines, parabolas, distances and inequalities an enrichment class Finbarr Holland 1. Lines in the plane A line is a particular kind of subset of the plane R 2 = R R, and can be described as the set of ordered
More informationERIC LARSON AND LARRY ROLEN
PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant
More information1. Introduction This paper investigates the properties of Ramanujan polynomials, which, for each k 0, the authors of [2] define to be
ZEROS OF RAMANUJAN POLYNOMIALS M. RAM MURTY, CHRIS SMYTH, AND ROB J. WANG Abstract. In this paper, we investigate the properties of Ramanujan polynomials, a family of reciprocal polynomials with real coefficients
More informationFor k a positive integer, the k-higher Mahler measure of a non-zero, n-variable, rational function P (x 1,..., x n ) C(x 1,..., x n ) is given by
HIGHER MAHLER MEASURE OF AN n-variable FAMILY MATILDE N LALÍN AND JEAN-SÉBASTIEN LECHASSEUR Abstract We prove formulas for the k-higher Mahler measure of a family of rational functions with an arbitrary
More informationEfficient packing of unit squares in a square
Loughborough University Institutional Repository Efficient packing of unit squares in a square This item was submitted to Loughborough University's Institutional Repository by the/an author. Additional
More informationMORE EXERCISES FOR SECTIONS II.1 AND II.2. There are drawings on the next two pages to accompany the starred ( ) exercises.
Math 133 Winter 2013 MORE EXERCISES FOR SECTIONS II.1 AND II.2 There are drawings on the next two pages to accompany the starred ( ) exercises. B1. Let L be a line in R 3, and let x be a point which does
More informationP -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More informationAN ALGEBRAIC INTEGRATION FOR MAHLER MEASURE
AN ALGEBRAIC INTEGRATION FOR MAHLER MEASURE MATILDE N. LALÍN Abstract There are many eamples of several variable polynomials whose Mahler measure is epressed in terms of special values of polylogarithms.
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationON THE GAPS BETWEEN ZEROS OF TRIGONOMETRIC POLYNOMIALS
Real Analysis Exchange Vol. 8(), 00/003, pp. 447 454 Gady Kozma, Faculty of Mathematics and Computer Science, Weizmann Institute of Science, POB 6, Rehovot 76100, Israel. e-mail: gadyk@wisdom.weizmann.ac.il,
More informationON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING
italian journal of pure and applied mathematics n. 31 2013 (63 76) 63 ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING A.M. Aghdam Department Of Mathematics University of Tabriz
More informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationFeynman Integrals, Regulators and Elliptic Polylogarithms
Feynman Integrals, Regulators and Elliptic Polylogarithms Pierre Vanhove Automorphic Forms, Lie Algebras and String Theory March 5, 2014 based on [arxiv:1309.5865] and work in progress Spencer Bloch, Matt
More informationGeometry of points over Q of small height Part II
Geometry of points over Q of small height Part II Georgia Institute of Technology MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties January 21, 2006 Lehmer s problem
More informationIn Z: x + 3 = 2 3x = 2 x = 1 No solution In Q: 3x = 2 x 2 = 2. x = 2 No solution. In R: x 2 = 2 x = 0 x = ± 2 No solution Z Q.
THE UNIVERSITY OF NEW SOUTH WALES SCHOOL OF MATHEMATICS AND STATISTICS MATH 1141 HIGHER MATHEMATICS 1A ALGEBRA. Section 1: - Complex Numbers. 1. The Number Systems. Let us begin by trying to solve various
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationBernstein s analytic continuation of complex powers
(April 3, 20) Bernstein s analytic continuation of complex powers Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Analytic continuation of distributions 2. Statement of the theorems
More informationDETERMINANT IDENTITIES FOR THETA FUNCTIONS
DETERMINANT IDENTITIES FOR THETA FUNCTIONS SHAUN COOPER AND PEE CHOON TOH Abstract. Two proofs of a theta function identity of R. W. Gosper and R. Schroeppel are given. A cubic analogue is presented, and
More informationComplex Analysis Math 185A, Winter 2010 Final: Solutions
Complex Analysis Math 85A, Winter 200 Final: Solutions. [25 pts] The Jacobian of two real-valued functions u(x, y), v(x, y) of (x, y) is defined by the determinant (u, v) J = (x, y) = u x u y v x v y.
More informationarxiv:math/ v1 [math.nt] 29 Sep 2006
An algebraic integration for Mahler measure arxiv:math/0609851v1 [math.nt] 9 Sep 006 Matilde N. Lalín Institut des Hautes Études Scientifiques Le Bois-Marie, 35, route de Chartres, F-91440 Bures-sur-Yvette,
More informationTwisted L-Functions and Complex Multiplication
Journal of umber Theory 88, 104113 (2001) doi:10.1006jnth.2000.2613, available online at http:www.idealibrary.com on Twisted L-Functions and Complex Multiplication Abdellah Sebbar Department of Mathematics
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationFuchsian groups. 2.1 Definitions and discreteness
2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this
More informationLECTURE-15 : LOGARITHMS AND COMPLEX POWERS
LECTURE-5 : LOGARITHMS AND COMPLEX POWERS VED V. DATAR The purpose of this lecture is twofold - first, to characterize domains on which a holomorphic logarithm can be defined, and second, to show that
More informationImplicit Functions, Curves and Surfaces
Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More information1 Discussion on multi-valued functions
Week 3 notes, Math 7651 1 Discussion on multi-valued functions Log function : Note that if z is written in its polar representation: z = r e iθ, where r = z and θ = arg z, then log z log r + i θ + 2inπ
More informationHere are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook.
Phys374, Spring 2008, Prof. Ted Jacobson Department of Physics, University of Maryland Complex numbers version 5/21/08 Here are brief notes about topics covered in class on complex numbers, focusing on
More informationFRACTIONAL HYPERGEOMETRIC ZETA FUNCTIONS
FRACTIONAL HYPERGEOMETRIC ZETA FUNCTIONS HUNDUMA LEGESSE GELETA, ABDULKADIR HASSEN Both authors would like to dedicate this in fond memory of Marvin Knopp. Knop was the most humble and exemplary teacher
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 25, Time Allowed: 150 Minutes Maximum Marks: 30
NATIONAL BOARD FOR HIGHER MATHEMATICS M. A. and M.Sc. Scholarship Test September 25, 2010 Time Allowed: 150 Minutes Maximum Marks: 30 Please read, carefully, the instructions on the following page 1 INSTRUCTIONS
More informationF (z) =f(z). f(z) = a n (z z 0 ) n. F (z) = a n (z z 0 ) n
6 Chapter 2. CAUCHY S THEOREM AND ITS APPLICATIONS Theorem 5.6 (Schwarz reflection principle) Suppose that f is a holomorphic function in Ω + that extends continuously to I and such that f is real-valued
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More informationChapter 8B - Trigonometric Functions (the first part)
Fry Texas A&M University! Spring 2016! Math 150 Notes! Section 8B-I! Page 79 Chapter 8B - Trigonometric Functions (the first part) Recall from geometry that if 2 corresponding triangles have 2 angles of
More informationR- and C-Differentiability
Lecture 2 R- and C-Differentiability Let z = x + iy = (x,y ) be a point in C and f a function defined on a neighbourhood of z (e.g., on an open disk (z,r) for some r > ) with values in C. Write f (z) =
More informationIntroduction to Complex Analysis
Introduction to Complex Analysis George Voutsadakis 1 1 Mathematics and Computer Science Lake Superior State University LSSU Math 413 George Voutsadakis (LSSU) Complex Analysis October 2014 1 / 67 Outline
More informationa 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real
More information