Multiple divisor functions, their algebraic structure and the relation to multiple zeta values

Size: px
Start display at page:

Download "Multiple divisor functions, their algebraic structure and the relation to multiple zeta values"

Transcription

1 Multiple divisor functions, their algebraic structure and the relation to multiple zeta values Kyushu University - 13th November 2013 joint work: H.B., Ulf Kühn, arxiv: [math.nt]

2

3

4

5

6

7

8 Multiple divisor functions As a generalization of the classical divisor sums we define for r 1,..., r l 0 the multiple divisor sum by σ r1,...,r l (n) := u 1v 1+ +u l v l =n u 1> >u l >0 v r vr l l. With this we define for s 1,..., s l > 0 the multiple divisor function of weight s s l and length l by [s 1,..., s l ] := 1 (s 1 1)!... (s l 1)! σ s1 1,...,s l 1(n)q n Q[[q]]. n>0

9 Multiple divisor functions As a generalization of the classical divisor sums we define for r 1,..., r l 0 the multiple divisor sum by σ r1,...,r l (n) := u 1v 1+ +u l v l =n u 1> >u l >0 v r vr l l. With this we define for s 1,..., s l > 0 the multiple divisor function of weight s s l and length l by [s 1,..., s l ] := 1 (s 1 1)!... (s l 1)! σ s1 1,...,s l 1(n)q n Q[[q]]. n>0 Example I For l = 1 these are the classical divisor functions [2] = n>0 σ 1 (n)q n = q + 3q 2 + 4q 3 + 7q 4 + 6q q 6 + 8q q

10 Multiple divisor functions As a generalization of the classical divisor sums we define for r 1,..., r l 0 the multiple divisor sum by σ r1,...,r l (n) := u 1v 1+ +u l v l =n u 1> >u l >0 v r vr l l. With this we define for s 1,..., s l > 0 the multiple divisor function of weight s s l and length l by 1 [s 1,..., s l ] := σ s1 1,...,s (s 1 1)!... (s l 1)! l 1(n)q n Q[[q]]. Example II [4, 2] = 1 σ 3,1 (n)q n = n>0 n>0 ( ) q 3 + 3q q 5 }{{} +27q6 + 78q σ 3,1(5) = = 15, because 5 = = = = =

11 Multiple divisor functions As a generalization of the classical divisor sums we define for r 1,..., r l 0 the multiple divisor sum by σ r1,...,r l (n) := u 1v 1+ +u l v l =n u 1> >u l >0 v r vr l l. With this we define for s 1,..., s l > 0 the multiple divisor function of weight s s l and length l by [s 1,..., s l ] := 1 (s 1 1)!... (s l 1)! σ s1 1,...,s l 1(n)q n Q[[q]]. n>0 Example III [4, 4, 4] = 1 ( q 6 + 9q q q q q ), 216 [3, 1, 3, 1] = 1 ( q q q q q q ) 4

12 Multiple divisor functions - Filtration Weight and length filtration We define the vector space MD to be the Q vector space generated by [ ] = 1 Q[[q]] and all multiple divisor sums [s 1,..., s l ]. On MD we have the increasing filtration Fil W given by the weight and the increasing filtration Fil L given by the length, i.e., we have for A MD Fil W k (A) := [s 1,..., s l ] A 0 l k, s1 + + s l k Q Fil L l (A) := [s 1,..., s r ] A r l Q. If we consider the length and weight filtration at the same time we use the short notation Fil W,L k,l := Fil W k Fil L l. As usual gr W k (A) = FilW k (A)/ Fil W k 1(A) will denote the graded part (similar gr L l and gr W,L k,l ).

13 Multiple divisor functions - Algebra structure Theorem The Q-vector space MD has the structure of a bifiltered Q-Algebra (MD,, Fil W, Fil L ), where the multiplication is the natural multiplication of formal power series and the filtrations Fil W and FilL are induced by the weight and length, in particular Fil W,L k 1,l 1 (MD) Fil W,L k 2,l 2 (MD) Fil W,L k 1+k 2,l 1+l 2 (MD). It is a (homomorphic image of a) quasi-shuffle algebra in the sense of Hoffman. The first products of multiple divisor functions are given by [1] [1] = 2[1, 1] + [2] [1], [1] [2] = [1, 2] + [2, 1] + [3] 1 2 [2], [1] [2, 1] = [1, 2, 1] + 2[2, 1, 1] + [2, 2] + [3, 1] 3 [2, 1]. 2

14 Multiple divisor functions - Algebra structure To prove this theorem we need to rewrite the multiple divisor functions. For this we define a normalized polylogarithm by Li s (z) := Li 1 s(z), Γ(s) where for s, z C, z < 1 the polylogarithm Li s (z) of weight s is given by Li s (z) = n>0 z n n s. Proposition For q C with q < 1 and for all s 1,..., s l N we can write the multiple divisor functions as [s 1,..., s l ] = n 1> >n l >0 Li s1 (q n1 )... Li sl (q n l ).

15 Multiple divisor functions - Algebra structure The product of [s 1 ] and [s 2 ] can thus be written as [s 1 ] [s 2 ] = + + Li s1 (q n1 ) Li s2 (q n1 ) n 1>n 2>0 n 2>n 1>0 n 1=n 2>0 = [s 1, s 2 ] + [s 2, s 1 ] + Li s1 (q n ) Li s2 (q n ). n>0 In order to prove that this product is an element of Fil W s 1+s 2 (MD) we will show that the product Li s1 (q n ) Li s2 (q n ) is a rational linear combination of Li j (q n ) with 1 j s 1 + s 2.

16 Multiple divisor functions - Algebra structure Lemma For a, b N we have Li a (z) Li b (z) = where the coefficient λ j a,b a λ j Li a,b j (z) + j=1 b λ j Li b,a j (z) + Li a+b (z), j=1 Q for 1 j a is given by ( ) λ j a + b j 1 a,b = Ba+b j ( 1)b 1 a j (a + b j)!, with the Seki-Bernoulli numbers B n.

17 Proof: For the proof we use the generating function L(X) := k>0 Li k (z)x k 1 = k>0 n>0 n k 1 z n (k 1)! Xk 1 = e nx z n = ex z 1 e X z. n>0

18 Proof: For the proof we use the generating function L(X) := k>0 Li k (z)x k 1 = k>0 By direct calculation one can show that L(X) L(Y ) = n>0 n k 1 z n (k 1)! Xk 1 = e nx z n = ex z 1 e X z. n>0 1 e X Y 1 L(X) + 1 e Y X 1 L(Y ).

19 Proof: For the proof we use the generating function L(X) := k>0 Li k (z)x k 1 = k>0 By direct calculation one can show that L(X) L(Y ) = n>0 With the definition of Seki-Bernoulli numbers n k 1 z n (k 1)! Xk 1 = e nx z n = ex z 1 e X z. n>0 1 e X Y 1 L(X) + 1 e Y X 1 L(Y ). X e X 1 = n 0 B n n! Xn we find L(X) L(Y ) = n>0 + B n n! (X Y )n 1 L(X) + B n n! (Y X)n 1 L(Y ) n>0 L(X) L(Y ) X Y Considering the coefficient of X a 1 Y b 1 we get the result..

20 Multiple divisor functions - Algebra structure The structure of being a quasi-shuffle algebra is as follows: Let Q A be the noncommutative polynomial algebra over Q generated by words with letters in A = {z 1, z 2,... }. Let be a commutative and associative product on QA. Define on Q A recursively a product by 1 w = w 1 = w and z a w z b v := z a (w z b v) + z b (z a w v) + (z a z b )(w v). The commutative Q-algebra (Q A, ) is called a quasi-shuffle algebra. The harmonic algebra (Hoffman) is an example of a quasi-shuffle algebra with z a z b = z a+b which is closely related to MZV.

21 Multiple divisor functions - Algebra structure In our case we consider the quasi-shuffle algebra with a b z a z b = z a+b + λ j a,b z j + λ j b,a z j, j=1 j=1 where ( ) λ j a + b j 1 a,b = Ba+b j ( 1)b 1 a j (a + b j)!. Proposition The map [. ] : (Q A, ) (MD, ) defined on the generators by z s1... z sl [s 1,..., s l ] is a homomorphism of algebras, i.e. it fulfils [w v] = [w] [v].

22 Multiple divisor functions - Modular forms Proposition The ring of modular forms M Q (SL 2 (Z)) and the ring of quasi-modular forms M Q (SL 2 (Z)) are subalgebras of MD. For example we have G 2 = [2], G 4 = [4], G 6 = [6]. The proposition follows from the fact that M Q (SL 2 (Z)) = Q[G 4, G 6 ] and M Q (SL 2 (Z)) = Q[G 2, G 4, G 6 ]. Remark Due to an old result of Zagier we have M Q (SL 2 (Z)) Fil W,L k,2 (MD).

23 Multiple divisor functions - Derivation Theorem The operator d = q d dq Fil W,L k+2,l+1 (MD). Examples: is a derivation on MD and it maps FilW,L k,l (MD) to d[1] = [3] + 1 [2] [2, 1], 2 d[2] = [4] + 2[3] 1 [2] 4[3, 1], 6 d[2] = 2[4] + [3] + 1 [2] 2[2, 2] 2[3, 1], 6 d[1, 1] = [3, 1] [2, 1] + 1 [1, 2] + [1, 3] 2[2, 1, 1] [1, 2, 1]. 2 The second and third equation lead to the first linear relation between multiple divisor functions in weight 4: [4] = 2[2, 2] 2[3, 1] + [3] 1 3 [2].

24 Multiple divisor functions - Derivation To proof this theorem we need to consider the generating function of multiple divisor functions which is given by Example: T (X 1,..., X l ) := s 1,...,s l >0 = n 1,...,n l >0 j=1 T (X) = [k]x k 1 = 1 q n k>0 n>0 T (X, Y ) = [s 1, s 2 ]X s1 1 Y s2 1 = s 1,s 2>0 e nx [s 1,..., s l ]X s X s l 1 l qn e njxj q n1+ +nj 1 q n1+ +nj. n 1,n 2>0 e n1x+n2y l q n1 1 q n1 q n1+n2 1 q n1+n2

25 Multiple divisor functions - Derivation For these functions one can prove the following identity T (X) T (Y 1,..., Y l ) = T (X + Y 1,..., X + Y l, X) l + T (X + Y 1,..., X + Y j, Y j,..., Y l ) j=1 l T (X + Y 1,..., X + Y j, Y j+1,..., Y l ) j=1 where R l (X, Y 1,..., Y l ) satisfies + R l (X, Y 1,..., Y l ), D (R l (X, Y 1,..., Y l )) = d T (Y 1,..., Y l ), with D(f) = ( d dx f) X=0. Therefore applying D to the above equation one obtains the theorem.

26 Multiple divisor functions - Derivation In the lowest length we get several expressions for the derivative: Proposition Let k N, then for any s 1, s 2 1 with k = s 1 + s 2 2 we have the following expression for d[k]: ( ) ( ) k s 1 1 d[k] k k s 1 1 [k + 1] = [s 1] [s 2] a+b=k+2 (( ) ( )) a 1 a 1 + [a, b]. s 1 1 s 2 1 Observe that the right hand side is the formal shuffle product. The possible choices for s 1 and s 2 give k 2 linear relations in FilW,L k,2 (MD), which are conjecturally all relations in length two.

27 Multiple divisor functions - qmz We define the space of all admissible multiple divisor functions qmz as qmz := [s 1,..., s l ] MD s1 > 1 Q. Theorem The vector space qmz is a subalgebra of MD. We have MD = qmz[ [1] ]. The algebra MD is a polynomial ring over qmz with indeterminate [1], i.e. MD is isomorphic to qmz[ T ] by sending [1] to T.

28 Multiple divisor functions - qmz We define the space of all admissible multiple divisor functions qmz as qmz := [s 1,..., s l ] MD s1 > 1 Q. Theorem The vector space qmz is a subalgebra of MD. We have MD = qmz[ [1] ]. The algebra MD is a polynomial ring over qmz with indeterminate [1], i.e. MD is isomorphic to qmz[ T ] by sending [1] to T. Sketch of proof: The first two statements can be proven by induction using the quasi-shuffle product. The algebraic independency of [1] for the third statements follows from the fact that near q = 1 one has [1] log(1 q) 1 1 q but [s 1,..., s l ] (1 q) s 1 + +s l for [s 1,..., s l ] qmz.

29 Multiple divisor functions - Connections to MZV For the natural map Z : qmz MZ of vector spaces given by we have a factorization Z([s 1,..., s l ]) = ζ(s 1,..., s l ) qmz k gr W k (qmz) Z MZ, k Z k Remark If we endow qmz = k gr W k (qmz) with the induced multiplication given on equivalence classes, then the products in qmz satisfy the stuffle relations. Moreover the right hand arrow is a homomorphism of algebras.

30 Multiple divisor functions - Connections to MZV Extending Z by setting Z([s 1,..., s l ][1] r ) = ζ(s 1,..., s l )T r we obtain a homomorphisms of vector spaces MD = qmz[[1]] qmz[[1]] Z k Z k MZ[T ], such that the image of a multiple divisor function [s 1,..., s l ] with s 1 = 1 equals the stuffle regularised ζ(s 1,..., s l ) as given by Ihara, Kaneko and Zagier (2006). Remark Again the right hand arrow is a homomorphism of algebras.

31 Multiple divisor functions - Connections to MZV All relations between stuffle regularised multiple zeta values of weight k correspond to elements in the kernel of Z k. We approach ker(z k ) MD by using an analytical description of Z k. Proposition For [s 1,..., s l ] Fil W k (qmz) we have the alternative description In particular we have Z k ([s 1,..., s l ]) = lim q 1 (1 q) k [s 1,..., s l ]. Z k ([s 1,..., s l ]) = { ζ(s1,..., s l ), s s l = k, 0, s s l < k.

32 Multiple divisor functions - Connections to MZV Sketch of proof: The multiple divisor functions can be written as [s 1,..., s l ] = 1 (s 1 1)!... (s l 1)! l n 1> >n l >0 j=1 q nj P sj 1 (q nj ) (1 q nj ) sj, where P k (t) is the k-th Eulerian polynomial. These polynomials have the property that P k (1) = k! and therefore lim q 1 q n P k 1 (q n ) (k 1)! (1 q) k (1 q n ) k = 1 n k. Now doing some careful argumentation to justify the interchange of limit and summation one obtains Z s1+ +s l ([s 1,..., s l ]) = lim q 1 (1 q) s1+ +s l [s 1,..., s l ] = ζ(s 1 + +s l ).

33 Multiple divisor functions - Connections to other q-analogues Another example of a q-analogue of multiple zeta values are the modified multiple q-zeta values. They are defined for s 1 > 1,s 2,..., s l 1 as ζ q (s 1,..., s l ) = n n 1> >n l >0 j=1 Similar to the multiple divisor functions one derives q nj(sj 1) (1 q nj ) sj. lim q 1 (1 q)s1+ +s l ζ q (s 1,..., s l ) = ζ(s 1,..., s l ). They seem to have a close connection to multiple divisor functions an if all entries s i > 1 they are indeed elements of MD, e.g. ζ q (4) = [4] [3] [2]. But if at least one entry is 1 this connection is conjectural.

34 Multiple divisor functions - Connections to MZV Theorem For the kernel of Z k Fil W k (MD) we have If s s l < k then Z k ([s 1,..., s l ]) = 0. For any f Fil W k 2(MD) we have Z k (d(f)) = 0. If f Fil W k (MD) is a cusp form for SL 2 (Z), then Z k (f) = 0.

35 Multiple divisor functions - Connections to MZV Sketch of proof: First we extend the Z k to a larger space. We define for ρ R { } Q ρ = a n q n R[[q]] a n = O(n ρ 1 ) and n>0 { } Q <ρ = a n q n R[[q]] ε > 0 with a n = O(n ρ 1 ε ). n>0 For ρ > 1 define the map Z ρ for a f = n>0 a nq n R[[q]] by Z ρ (f) = lim (1 q) ρ a n q n. q 1 n>0 Lemma Z ρ is a linear map from Q ρ to R Q <ρ ker Z ρ. d Q <ρ 1 ker(z ρ ), where as before d = q d dq. For any s 1,..., s l 1 we have [s 1,..., s l ] Q <s1+ +s l +1.

36 Multiple divisor functions - Connections to MZV Example I: We have seen earlier that the derivative of [1] is given by d[1] = [3] + 1 [2] [2, 1] 2 and because of the theorem it is d[1], [2] ker Z 3 from which ζ(2, 1) = ζ(3) follows.

37 Multiple divisor functions - Connections to MZV Example II: (Shuffle product) We saw that for s 1 + s 2 = k + 2 ( k ) d[k] s 1 1 k = [s1] [s2] + ( ) ( k ( s 1 1 [k + 1] a 1 ) ( s a 1 s 2 1) ) [a, b] a+b=k+2 Applying Z k+2 on both sides we obtain the shuffle product for single zeta values ζ(s 1 ) ζ(s 2 ) = a+b=k+2 (( ) a 1 + s 1 1 ( )) a 1 ζ(a, b). s 2 1

38 Multiple divisor functions - Connections to MZV Example III: For the cusp form S 12 ker(z 12 ) one can derive the representation = 168[5, 7] + 150[7, 5] + 28[9, 3] [2] [4] [6] [8] [12]. Letting Z 12 act on both sides one obtains the relation 5197 ζ(12) = 168ζ(5, 7) + 150ζ(7, 5) + 28ζ(9, 3). 691

39 Multiple divisor functions - Connections to MZV To summarize we have the following objects in the kernel of Z k, i.e. ways of getting relations between multiple zeta values using multiple divisor functions. Remark Elements of lower weights, i.e. elements in Fil W k 1(MD). Derivatives Modular forms, which are cusp forms Since 0 ker Z k, any linear relation between multiple divisor functions in Fil W k (MD) gives an element in the kernel. The number of admissible ) multiple divisor functions [s 1,..., s l ] of weight k and length l equals. Since we have MD = qmz [ [1] ], it follows that knowing ( k 2 l 1 the dimension of gr W,L relations. k,l (qmz) is sufficient to know the number of independent

40 Multiple divisor functions - Dimensions k l ?? ????? ?????? ???????? dim Q gr W,L k,l (qmz): proven, conjectured.

41 Multiple divisor functions - Dimensions We observe that d k := dim Q gr W k (qmz) satisfies: d 0 = 1, d 1 = 0, d 2 = 1 and d k = 2d k 2 + 2d k 3, for 5 k 11. We see no reason why this shouldn t hold for all k > 11 also, i.e. we ask whether k 0 dim Q gr W k (qmz)x k = k 0 d kx k? = 1 X 2 + X 4 1 2X 2 2X 3. (1)

42 Multiple divisor functions - Dimensions We observe that d k := dim Q gr W k (qmz) satisfies: d 0 = 1, d 1 = 0, d 2 = 1 and d k = 2d k 2 + 2d k 3, for 5 k 11. We see no reason why this shouldn t hold for all k > 11 also, i.e. we ask whether k 0 dim Q gr W k (qmz)x k = k 0 d kx k? = 1 X 2 + X 4 1 2X 2 2X 3. (1) Compare this to the Zagier conjecture for the dimension d k of MZ k k 0 dim Q gr W k (MZ)X k = k 0 d k X k? = 1 1 X 2 X 3 k d k d k

43 Multiple divisor functions - Summary Multiple divisor functions are formal power series in q with coefficient in Q coming from the calculation of the Fourier expansion of multiple Eisenstein series. The space spanned by all multiple divisor functions form an differential algebra which contains the algebra of (quasi-) modular forms. A connection to multiple zeta values is given by the map Z k whose kernel contains all relations between multiple zeta values of weight k. Questions: What is the kernel of Z k? Is there an analogue of the Broadhurst-Kreimer conjecture? Is there a geometric/motivic interpretation of the multiple divisor functions? L-Series?

The algebra of multiple divisor functions and applications to multiple zeta values

The algebra of multiple divisor functions and applications to multiple zeta values The algebra of multiple divisor functions and applications to multiple zeta values ESF Workshop: New Approaches To Multiple Zeta Values ICMAT Madrid - 30th September 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920

More information

Generating series of multiple divisor sums and other interesting q-series

Generating series of multiple divisor sums and other interesting q-series Generating series of multiple divisor sums and other interesting q-series 1th July 2014 Content of this talk We are interested in a family of q-series which arises in a theory which combines multiple zeta

More information

Multiple Eisenstein series

Multiple Eisenstein series Workshop on Periods and Motives - YRS Madrid 4th June 2012 Motivation Motivation Motivation A particular order on lattices Given τ H we consider the lattice Zτ + Z, then for lattice points a 1 = m 1 τ

More information

A dimension conjecture for q-analogues of multiple zeta values

A dimension conjecture for q-analogues of multiple zeta values arxiv:708.07464v [math.nt] 24 Aug 207 A dimension conjecture for q-analogues of multiple zeta values Henrik Bachmann, Ulf Kühn March 3, 208 Abstract We study a class of q-analogues of multiple zeta values

More information

AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE

AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials

More information

An example of generalization of the Bernoulli numbers and polynomials to any dimension

An example of generalization of the Bernoulli numbers and polynomials to any dimension An example of generalization of the Bernoulli numbers and polynomials to any dimension Olivier Bouillot, Villebon-Georges Charpak institute, France C.A.L.I.N. team seminary. Tuesday, 29 th March 26. Introduction

More information

Sum Theorems for Multiple Zeta Values, Old and New. Michael E. Hoffman. Number Theory Talk Max-Planck-Institut für Mathematik, Bonn 29 June 2016

Sum Theorems for Multiple Zeta Values, Old and New. Michael E. Hoffman. Number Theory Talk Max-Planck-Institut für Mathematik, Bonn 29 June 2016 for Zeta, Michael E. Hoffman U. S. Naval Academy Number Theory Talk Max-Planck-Institut für Mathematik, Bonn 29 June 2016 1 2 3 4 5 6 For positive integers a 1,..., a k with a 1 > 1 we define the corresponding

More information

Transcendental Numbers and Hopf Algebras

Transcendental Numbers and Hopf Algebras Transcendental Numbers and Hopf Algebras Michel Waldschmidt Deutsch-Französischer Diskurs, Saarland University, July 4, 2003 1 Algebraic groups (commutative, linear, over Q) Exponential polynomials Transcendence

More information

Galois groups with restricted ramification

Galois groups with restricted ramification Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K

More information

FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2

FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued

More information

arxiv: v2 [math.nt] 3 Jan 2016

arxiv: v2 [math.nt] 3 Jan 2016 A NOTE ON FINITE REAL MULTIPLE ZETA VALUES HIDEKI MURAHARA Abstract. We prove three theorems on finite real multiple zeta values: the symmetric formula, the sum formula and the height-one duality theorem.

More information

13:00 13:50 poly-euler L

13:00 13:50 poly-euler L 4 2011 1 7 13:00 9 12:20 1 819-0395 744 ( ) ( ) ( ) 1 7 13:00 13:50 poly-euler L 14:05 14:45 15:05 15:55 Riemann 16:10 17:00 Double Eisenstein series for Γ 0 (2) 1 8 10:15 11:05 4 KZ 11:20 12:10 Multiple

More information

arxiv: v2 [math.nt] 1 Nov 2018

arxiv: v2 [math.nt] 1 Nov 2018 WEIGHTED SUM FORMULAS OF MULTIPLE ZETA VALUES WITH EVEN ARGUMENTS arxiv:16106563v [mathnt] 1 Nov 018 ZHONGHUA LI AND CHEN QIN Abstract We prove a weighted sum formula of the zeta values at even arguments,

More information

ZETA ELEMENTS IN DEPTH 3 AND THE FUNDAMENTAL LIE ALGEBRA OF A PUNCTURED ELLIPTIC CURVE

ZETA ELEMENTS IN DEPTH 3 AND THE FUNDAMENTAL LIE ALGEBRA OF A PUNCTURED ELLIPTIC CURVE ZETA ELEMENTS IN DEPTH 3 AND THE FUNDAMENTAL LIE ALGEBRA OF A PUNCTURED ELLIPTIC CURVE FRANCIS BROWN Abstract. This paper draws connections between the double shuffle equations and structure of associators;

More information

arxiv: v1 [math.nt] 16 Jan 2018

arxiv: v1 [math.nt] 16 Jan 2018 ROOTED TREE MAPS AND THE KAWASHIMA RELATIONS FOR MULTIPLE ZETA VALUES HENRIK BACHMANN AND TATSUSHI TANAKA arxiv:1801.05381v1 [math.nt] 16 Jan 2018 Abstract. Recently, inspired by the Connes-Kreimer Hopf

More information

On the renormalization problem of multiple zeta values

On the renormalization problem of multiple zeta values On the renormalization problem of multiple zeta values joint work with K. Ebrahimi-Fard, D. Manchon and J. Zhao Johannes Singer Universität Erlangen Paths to, from and in renormalization Universität Potsdam

More information

arxiv: v1 [math.nt] 24 Feb 2015

arxiv: v1 [math.nt] 24 Feb 2015 SHUFFLE PRODUCT OF FINITE MULTIPLE POLYLOGARITHMS arxiv:502.06693v [math.nt] 24 Feb 205 MASATAKA ONO AND SHUJI YAMAMOTO Abstract. In this paper, we define a finite sum analogue of multiple polylogarithms

More information

Section III.6. Factorization in Polynomial Rings

Section III.6. Factorization in Polynomial Rings III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)

More information

Renormalization and Euler-Maclaurin Formula on Cones

Renormalization and Euler-Maclaurin Formula on Cones Renormalization and Euler-Maclaurin Formula on Cones Li GUO (joint work with Sylvie Paycha and Bin Zhang) Rutgers University at Newark Outline Conical zeta values and multiple zeta values; Double shuffle

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics

More information

NOTES IN COMMUTATIVE ALGEBRA: PART 2

NOTES IN COMMUTATIVE ALGEBRA: PART 2 NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they

More information

Lecture 12 : Hecke Operators and Hecke theory

Lecture 12 : Hecke Operators and Hecke theory Math 726: L-functions and modular forms Fall 2011 Lecture 12 : Hecke Operators and Hecke theory Instructor: Henri Darmon Notes written by: Celine Maistret Recall that we found a formula for multiplication

More information

THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES. H(1, n)q n =

THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES. H(1, n)q n = THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO 1. Introduction and Statement of Results If H( n) denotes the Hurwitz-Kronecer class

More information

Lecture III. Five Lie Algebras

Lecture III. Five Lie Algebras Lecture III Five Lie Algebras 35 Introduction The aim of this talk is to connect five different Lie algebras which arise naturally in different theories. Various conjectures, put together, state that they

More information

A class of non-holomorphic modular forms

A class of non-holomorphic modular forms A class of non-holomorphic modular forms Francis Brown All Souls College, Oxford (IHES, Bures-Sur-Yvette) Modular forms are everywhere MPIM 22nd May 2017 1 / 35 Two motivations 1 Do there exist modular

More information

Moreover this binary operation satisfies the following properties

Moreover this binary operation satisfies the following properties Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

REPRESENTATIONS OF INTEGERS AS SUMS OF SQUARES. Ken Ono. Dedicated to the memory of Robert Rankin.

REPRESENTATIONS OF INTEGERS AS SUMS OF SQUARES. Ken Ono. Dedicated to the memory of Robert Rankin. REPRESENTATIONS OF INTEGERS AS SUMS OF SQUARES Ken Ono Dedicated to the memory of Robert Rankin.. Introduction and Statement of Results. If s is a positive integer, then let rs; n denote the number of

More information

Introduction to modular forms Perspectives in Mathematical Science IV (Part II) Nagoya University (Fall 2018)

Introduction to modular forms Perspectives in Mathematical Science IV (Part II) Nagoya University (Fall 2018) Introduction to modular forms Perspectives in Mathematical Science IV (Part II) Nagoya University (Fall 208) Henrik Bachmann (Math. Building Room 457, henrik.bachmann@math.nagoya-u.ac.jp) Lecture notes

More information

15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.

15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate. 15. Polynomial rings Definition-Lemma 15.1. Let R be a ring and let x be an indeterminate. The polynomial ring R[x] is defined to be the set of all formal sums a n x n + a n 1 x n +... a 1 x + a 0 = a

More information

Motivic Periods, Coleman Functions, and the Unit Equation

Motivic Periods, Coleman Functions, and the Unit Equation Motivic Periods, Coleman Functions, and the Unit Equation An Ongoing Project D. Corwin 1 I. Dan-Cohen 2 1 MIT 2 Ben Gurion University of the Negev April 10, 2018 Corwin, Dan-Cohen Motivic Periods, Coleman

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS

MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS ABDUL HASSEN AND HIEU D. NGUYEN Abstract. This paper investigates a generalization the classical Hurwitz zeta function. It is shown that many of the properties

More information

arxiv: v3 [math.nt] 9 May 2011

arxiv: v3 [math.nt] 9 May 2011 ON HARMONIC SUMS AND ALTERNATING EULER SUMS arxiv:02.592v3 [math.nt] 9 May 20 ZHONG-HUA LI Department of Mathematics, Tongji University, No. 239 Siping Road, Shanghai 200092, China Graduate School of Mathematical

More information

Vertex operator algebras, minimal models, and modular linear differential equations of order 4

Vertex operator algebras, minimal models, and modular linear differential equations of order 4 Submitted to Journal of the Mathematical Society of Japan Vertex operator algebras, minimal models, and modular linear differential equations of order 4 By Yusuke Arike, Kiyokazu Nagatomo and Yuichi Sakai

More information

arxiv: v2 [hep-th] 23 Apr 2016

arxiv: v2 [hep-th] 23 Apr 2016 MITP/15-048 Relations between elliptic multiple zeta values and a special derivation algebra arxiv:1507.02254v2 [hep-th] 23 Apr 2016 Johannes Broedel a, Nils Matthes b, Oliver Schlotterer c a Institut

More information

Symmetries of rational functions arising in Ecalle s study of multiple zeta values

Symmetries of rational functions arising in Ecalle s study of multiple zeta values Symmetries of rational functions arising in Ecalle s study of multiple zeta values A. Salerno, D. Schindler, A. Tucker September 17, 2015 Abstract In Ecalle s theory of multiple zeta values he makes frequent

More information

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

More information

Periods, Galois theory and particle physics

Periods, Galois theory and particle physics Periods, Galois theory and particle physics Francis Brown All Souls College, Oxford Gergen Lectures, 21st-24th March 2016 1 / 29 Reminders We are interested in periods I = γ ω where ω is a regular algebraic

More information

Ring Theory Problems. A σ

Ring Theory Problems. A σ Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional

More information

Lecture 3. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 3 E- and G-functions 1 / 20

Lecture 3. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 3 E- and G-functions 1 / 20 Lecture 3 Frits Beukers Arithmetic of values of E- and G-function Lecture 3 E- and G-functions 1 / 20 G-functions, definition Definition An analytic function f (z) given by a powerseries a k z k k=0 with

More information

THE PENNSYLVANIA STATE UNIVERSITY SCHREYER HONORS COLLEGE DEPARTMENT OF MATHEMATICS BERNOULLI POLYNOMIALS AND RIEMANN ZETA FUNCTION

THE PENNSYLVANIA STATE UNIVERSITY SCHREYER HONORS COLLEGE DEPARTMENT OF MATHEMATICS BERNOULLI POLYNOMIALS AND RIEMANN ZETA FUNCTION THE PENNSYLVANIA STATE UNIVERSITY SCHREYER HONORS COLLEGE DEPARTMENT OF MATHEMATICS BERNOULLI POLYNOMIALS AND RIEMANN ZETA FUNCTION YIXUAN SHI SPRING 203 A thesis submitted in partial fulfillment of the

More information

Differential Equations and Associators for Periods

Differential Equations and Associators for Periods Differential Equations and Associators for Periods Stephan Stieberger, MPP München Workshop on Geometry and Physics in memoriam of Ioannis Bakas November 2-25, 26 Schloß Ringberg, Tegernsee based on: St.St.,

More information

On a secant Dirichlet series and Eichler integrals of Eisenstein series

On a secant Dirichlet series and Eichler integrals of Eisenstein series On a secant Dirichlet series and Eichler integrals of Eisenstein series Oberseminar Zahlentheorie Universität zu Köln University of Illinois at Urbana Champaign November 12, 2013 & Max-Planck-Institut

More information

An application of the projections of C automorphic forms

An application of the projections of C automorphic forms ACTA ARITHMETICA LXXII.3 (1995) An application of the projections of C automorphic forms by Takumi Noda (Tokyo) 1. Introduction. Let k be a positive even integer and S k be the space of cusp forms of weight

More information

Elliptic multiple zeta values

Elliptic multiple zeta values and special values of L-functions Nils Matthes Fachbereich Mathematik Universität Hamburg 21.12.16 1 / 30 and special values of L-functions Introduction Common theme in number theory/arithmetic geometry:

More information

Problem Set 5 Solutions

Problem Set 5 Solutions Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true

More information

On the zeros of certain modular forms

On the zeros of certain modular forms On the zeros of certain modular forms Masanobu Kaneko Dedicated to Professor Yasutaka Ihara on the occasion of his 60th birthday. The aim of this short note is to list several families of modular forms

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

HILBERT FUNCTIONS. 1. Introduction

HILBERT FUNCTIONS. 1. Introduction HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each

More information

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add

More information

Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics. Tan Tran Junior Major-Economics& Mathematics

Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics. Tan Tran Junior Major-Economics& Mathematics Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics Tan Tran Junior Major-Economics& Mathematics History Groebner bases were developed by Buchberger in 1965, who later named

More information

A SURVEY OF CLUSTER ALGEBRAS

A SURVEY OF CLUSTER ALGEBRAS A SURVEY OF CLUSTER ALGEBRAS MELODY CHAN Abstract. This is a concise expository survey of cluster algebras, introduced by S. Fomin and A. Zelevinsky in their four-part series of foundational papers [1],

More information

(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1)

(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1) Automorphic forms on O s+2,2 (R) + and generalized Kac-Moody algebras. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 744 752, Birkhäuser, Basel, 1995. Richard E.

More information

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 31, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Symbolic Adjunction of Roots When dealing with subfields of C it is easy to

More information

q-multiple Zeta Values I: from Double Shuffle to Regularisation

q-multiple Zeta Values I: from Double Shuffle to Regularisation -Multiple Zeta Values I: from Double Shuffle to Regularisation Kurusch Ebrahimi-Fard β Paths to, from and in renormalisation Univ. Potsdam Institut für Mathematik 8-12 February 2016 β Joint work with J.

More information

Class Number Type Relations for Fourier Coefficients of Mock Modular Forms

Class Number Type Relations for Fourier Coefficients of Mock Modular Forms Class Number Type Relations for Fourier Coefficients of Mock Modular Forms Michael H. Mertens University of Cologne Lille, March 6th, 2014 M.H. Mertens (University of Cologne) Class Number Type Relations

More information

Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley

Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given

More information

The kappa function. [ a b. c d

The kappa function. [ a b. c d The kappa function Masanobu KANEKO Masaaki YOSHIDA Abstract: The kappa function is introduced as the function κ satisfying Jκτ)) = λτ), where J and λ are the elliptic modular functions. A Fourier expansion

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

p-adic families of modular forms II

p-adic families of modular forms II April 5, 2009 Leftovers from last time Lemma Proof. We have G k = (1 pk 1 V p )G k p d np d k 1 = p k 1 d n d k 1 So equality holds in all coefficients except possibly the constant. But then G k (1 pk

More information

On the Fourier coefficients of 2-dimensional vector-valued modular forms

On the Fourier coefficients of 2-dimensional vector-valued modular forms On the Fourier coefficients of 2-dimensional vector-valued modular forms arxiv:1009.0781v1 [math.nt] 3 Sep 2010 Geoffrey Mason University of California, Santa Cruz Abstract Let ρ : SL(2,Z) GL(2,C) be an

More information

Leapfrog Constructions: From Continuant Polynomials to Permanents of Matrices

Leapfrog Constructions: From Continuant Polynomials to Permanents of Matrices Leapfrog Constructions: From Continuant Polynomials to Permanents of Matrices Alberto Facchini Dipartimento di Matematica Università di Padova Padova, Italy facchini@mathunipdit André Leroy Faculté Jean

More information

(for k n and p 1,p 2,...,p k 1) I.1. x p1. x p2. i 1. i k. i 2 x p k. m p [X n ] I.2

(for k n and p 1,p 2,...,p k 1) I.1. x p1. x p2. i 1. i k. i 2 x p k. m p [X n ] I.2 October 2, 2002 1 Qsym over Sym is free by A. M. Garsia and N. Wallach Astract We study here the ring QS n of Quasi-Symmetric Functions in the variables x 1,x 2,...,x n. F. Bergeron and C. Reutenauer [4]

More information

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

More information

RANKIN-COHEN BRACKETS AND SERRE DERIVATIVES AS POINCARÉ SERIES. φ k M = 1 2

RANKIN-COHEN BRACKETS AND SERRE DERIVATIVES AS POINCARÉ SERIES. φ k M = 1 2 RANKIN-COHEN BRACKETS AND SERRE DERIVATIVES AS POINCARÉ SERIES BRANDON WILLIAMS Abstract. We give expressions for the Serre derivatives of Eisenstein and Poincaré series as well as their Rankin-Cohen brackets

More information

Some constructions and applications of Rota-Baxter algebras I

Some constructions and applications of Rota-Baxter algebras I Some constructions and applications of Rota-Baxter algebras I Li Guo Rutgers University at Newark joint work with Kurusch Ebrahimi-Fard and William Keigher 1. Basics of Rota-Baxter algebras Definition

More information

Primes in arithmetic progressions

Primes in arithmetic progressions (September 26, 205) Primes in arithmetic progressions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 205-6/06 Dirichlet.pdf].

More information

Analytic renormalization of multiple zeta functions Geometry and combinatorics of generalized Euler reflection formula for MZV

Analytic renormalization of multiple zeta functions Geometry and combinatorics of generalized Euler reflection formula for MZV 1 Analytic renormalization of multiple zeta functions Geometry and combinatorics of generalized Euler reflection formula for MZV Andrei Vieru Abstract The renormalization of MZV was until now carried out

More information

Cusp forms and the Eichler-Shimura relation

Cusp forms and the Eichler-Shimura relation Cusp forms and the Eichler-Shimura relation September 9, 2013 In the last lecture we observed that the family of modular curves X 0 (N) has a model over the rationals. In this lecture we use this fact

More information

arxiv: v2 [math.nt] 20 Oct 2017

arxiv: v2 [math.nt] 20 Oct 2017 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES JIANGTAO LI arxiv:1710.06135v2 [math.nt] 20 Oct 2017 Abstract. In this paper, we construct some maps related to the motivic Galois action on depth-graded

More information

Auslander s Theorem for permutation actions on noncommutative algebras

Auslander s Theorem for permutation actions on noncommutative algebras Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Joint with Ellen Kirkman, W. Frank Moore, Robert Won Invariant Theory Throughout,

More information

Ohno-type relation for finite multiple zeta values

Ohno-type relation for finite multiple zeta values Ohno-tye relation for finite multile zeta values Kojiro Oyama Abstract arxiv:1506.00833v3 [math.nt] 23 Se 2017 Ohno s relation is a well-known relation among multile zeta values. In this aer, we rove Ohno-tye

More information

A New Shuffle Convolution for Multiple Zeta Values

A New Shuffle Convolution for Multiple Zeta Values January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As

More information

arxiv: v1 [math.ag] 15 Jul 2018

arxiv: v1 [math.ag] 15 Jul 2018 . NOTE ON EQUIVARIANT I-FUNCTION OF LOCAL P n HYENHO LHO arxiv:1807.05501v1 [math.ag] 15 Jul 2018 Abstract. Several properties of a hyepergeometric series related to Gromov-Witten theory of some Calabi-Yau

More information

Noncommutative invariant theory and Auslander s Theorem

Noncommutative invariant theory and Auslander s Theorem Noncommutative invariant theory and Auslander s Theorem Miami University Algebra Seminar Robert Won Wake Forest University Joint with Jason Gaddis, Ellen Kirkman, and Frank Moore arxiv:1707.02822 November

More information

Towers of algebras categorify the Heisenberg double

Towers of algebras categorify the Heisenberg double Towers of algebras categorify the Heisenberg double Joint with: Oded Yacobi (Sydney) Alistair Savage University of Ottawa Slides available online: AlistairSavage.ca Preprint: arxiv:1309.2513 Alistair Savage

More information

INVARIANT POLYNOMIALS IN THE FREE SKEW FIELD. Robert Lee Wilson

INVARIANT POLYNOMIALS IN THE FREE SKEW FIELD. Robert Lee Wilson INVARIANT POLYNOMIALS IN THE FREE SKEW FIELD Robert Lee Wilson Introduction The free associative algebra on {x 1,..., x n } over a field F, denoted F < x 1,..., x n >, has a universal quotient ring F (

More information

Elliptic Multiple Zeta Values

Elliptic Multiple Zeta Values Elliptic Multiple Zeta Values τ α n ωkzb = k 1,...,k n I A (k 1,..., k n ; τ)x k 1 1 1... Xn kn 1 β α 1 (2πi) 2 I A (, 1,, ; τ) = 3ζ(3) + 6q + 27 4 q2 + 56 9 q3 +... Dissertation zur Erlangung des Doktorgrades

More information

Irrationality exponent and rational approximations with prescribed growth

Irrationality exponent and rational approximations with prescribed growth Irrationality exponent and rational approximations with prescribed growth Stéphane Fischler and Tanguy Rivoal June 0, 2009 Introduction In 978, Apéry [2] proved the irrationality of ζ(3) by constructing

More information

Presenting and Extending Hecke Endomorphism Algebras

Presenting and Extending Hecke Endomorphism Algebras Presenting and Extending Hecke Endomorphism Algebras Jie Du University of New South Wales Shanghai Conference on Representation Theory 7-11 December 2015 1 / 27 The Hecke Endomorphism Algebra The (equal

More information

Math 581 Problem Set 3 Solutions

Math 581 Problem Set 3 Solutions Math 581 Problem Set 3 Solutions 1. Prove that complex conjugation is a isomorphism from C to C. Proof: First we prove that it is a homomorphism. Define : C C by (z) = z. Note that (1) = 1. The other properties

More information

Hecke-Operators. Alex Maier. 20th January 2007

Hecke-Operators. Alex Maier. 20th January 2007 Hecke-Operators Alex Maier 20th January 2007 Abstract At the beginning we introduce the Hecke-operators and analyse some of their properties. Then we have a look at normalized eigenfunctions of them and

More information

arxiv: v3 [math.nt] 28 Jul 2012

arxiv: v3 [math.nt] 28 Jul 2012 SOME REMARKS ON RANKIN-COHEN BRACKETS OF EIGENFORMS arxiv:1111.2431v3 [math.nt] 28 Jul 2012 JABAN MEHER Abstract. We investigate the cases for which products of two quasimodular or nearly holomorphic eigenforms

More information

RECURSIVE RELATIONS FOR THE HILBERT SERIES FOR CERTAIN QUADRATIC IDEALS. 1. Introduction

RECURSIVE RELATIONS FOR THE HILBERT SERIES FOR CERTAIN QUADRATIC IDEALS. 1. Introduction RECURSIVE RELATIONS FOR THE HILBERT SERIES FOR CERTAIN QUADRATIC IDEALS 1 RECURSIVE RELATIONS FOR THE HILBERT SERIES FOR CERTAIN QUADRATIC IDEALS AUTHOR: YUZHE BAI SUPERVISOR: DR. EUGENE GORSKY Abstract.

More information

where c R and the content of f is one. 1

where c R and the content of f is one. 1 9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.

More information

Problem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A.

Problem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A. Problem 1A Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1 (Hint: 1 1 (something)dz) Solution: The volume is 1 1 4xydz where x = y = 1 z 2 This integral has value 16/3 Problem 2A Let f(x)

More information

Voevodsky s Construction Important Concepts (Mazza, Voevodsky, Weibel)

Voevodsky s Construction Important Concepts (Mazza, Voevodsky, Weibel) Motivic Cohomology 1. Triangulated Category of Motives (Voevodsky) 2. Motivic Cohomology (Suslin-Voevodsky) 3. Higher Chow complexes a. Arithmetic (Conjectures of Soulé and Fontaine, Perrin-Riou) b. Mixed

More information

Notes on Continued Fractions for Math 4400

Notes on Continued Fractions for Math 4400 . Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural

More information

Mock modular forms and their shadows

Mock modular forms and their shadows Mock modular forms and their shadows Zachary A. Kent Emory University Classical Eichler-Shimura Theory Modular Forms Basic Definitions Classical Eichler-Shimura Theory Modular Forms Basic Definitions Notation:

More information

An analogue of the Weierstrass ζ-function in characteristic p. José Felipe Voloch

An analogue of the Weierstrass ζ-function in characteristic p. José Felipe Voloch An analogue of the Weierstrass ζ-function in characteristic p José Felipe Voloch To J.W.S. Cassels on the occasion of his 75th birthday. 0. Introduction Cassels, in [C], has noticed a remarkable analogy

More information

Analytic Aspects of the Riemann Zeta and Multiple Zeta Values

Analytic Aspects of the Riemann Zeta and Multiple Zeta Values Analytic Aspects of the Riemann Zeta and Multiple Zeta Values Cezar Lupu Department of Mathematics University of Pittsburgh Pittsburgh, PA, USA PhD Thesis Overview, October 26th, 207, Pittsburgh, PA Outline

More information

DOUBLE ZETA VALUES AND MODULAR FORMS

DOUBLE ZETA VALUES AND MODULAR FORMS DOUBLE ZETA VALUES AND MODULAR FORMS HERBERT GANGL, MASANOBU KANEKO, AND DON ZAGIER Dedicated to the memory of Tsuneo Araawa. Introduction and main results The double zeta values, which are defined for

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

18. Cyclotomic polynomials II

18. Cyclotomic polynomials II 18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients

More information

CYCLOTOMIC POLYNOMIALS

CYCLOTOMIC POLYNOMIALS CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where

More information

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on

More information

7. Baker-Campbell-Hausdorff formula

7. Baker-Campbell-Hausdorff formula 7. Baker-Campbell-Hausdorff formula 7.1. Formulation. Let G GL(n,R) be a matrix Lie group and let g = Lie(G). The exponential map is an analytic diffeomorphim of a neighborhood of 0 in g with a neighborhood

More information