arxiv: v2 [math.nt] 20 Oct 2017

Transcription

1 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES JIANGTAO LI arxiv: v2 [math.nt] 20 Oct 2017 Abstract. In this paper, we construct some maps related to the motivic Galois action on depth-graded motivic multiple zeta values. And from these maps we give some short exact sequences about depth-graded motivic multiple zeta values in depth two and three. In higher depth we conjecture that there are exact sequences of the same type. And we will show from three conjectures about depth-graded motivic Lie algebra we can nearly deduce the exact sequences conjectures in higher depth. At last we give a new proof of the result that the modulo ζ m (2) version motivic double zetavalues is generatedby the totally odd part. And we reduce the well-known conjecture that the modulo ζ m (2) version motivic triple zeta values is generated by the totally odd part to an isomorphism conjecture in linear algebra. 1. Introduction The multiple zeta values are defined by convergent series 1 ζ(n 1,...,n r ) = k n, (n 1 1,...,n r 1 > 0,n r > 1). 0<k 1 < <k r 1 knr r And they play important roles in many fields. For ζ(n 1,...,n r ), N = n 1 + +n r and r are called its weight and depth respectively. Let Z 0 = Q and Z N the Q-linear combination of multiple zeta values of weight N. Then it s clear that Z = + Z N N=0 is a graded commutative algebra over Q. In [5], Brown defined the motivic multiple zeta values by using an idea of Goncharov [12]. Motivic multiple zeta values satisfy the double shuffle relations [21], [19] and there s a motivic Galois action on them. Their elements are Q-linear combination of motivic multiple zeta values ζ m (n 1,...,n r ). What s more, there is a surjective graded algebra homomorphism: η : H Z ζ m (n 1,...,n r ) ζ(n 1,...,n r ) In [5], Brown proved a conjecture of Hoffman (Conjecture C in [15]) in multiple zeta values by using the motivic Galois action on motivic multiple zeta values. So the study of motivic multiple zeta values is helpful to understand the structure of multiple zeta values M athematics Subject Classif ication. Primary 11F32, Secondary 11F67. Keywords : Multiple zeta values, Period polynomial, Lie algebra, Motives. 1

2 2 JIANGTAO LI There is a depth filtration on H. For motivic multiple zeta values ζ m (n 1,...,n r ), we call r its depth. Denote by D r H the Q-linear combination of motivic multiple zeta values of depth r. Define gr D r H = D rh/d r 1 H. In [2], Broadhurst and Kreimer proposed a conjecture about the depth structure of multiple zeta values. In the motivic setting, Brown proposed the following motivic Broadhurst-Kreimer conjecture in [4]. Conjecture 1.1. (Broadhurst-Kreimer-Brown)Denote by grr DH N the weightn part of grr D H, then 1+ dim Q (grr D H N )x N y r 1+E(x)y = 1 O(x)y +S(x)y 2 S(x)y 4, where N,r>0 E(x) = x2 x3 1 x2, O(x) = 1 x 2, S(x) = x 12 (1 x 4 )(1 x 6 ). The case r = 2 is known due to the work of Gangl, Kaneko, Zagier [11], and a special case of the parity results about double shuffle relations which was firstly discoveredbyeuler. Thecaser = 3isknownduetotheworkofGoncharov[13],[14]. The higher depth cases remain unknown. If n 1,...,n r 3and all ofthem areoddnumbers, thenwe call themotivic multiple zeta value ζ m (n 1,...,n r ) totally odd. Denote by grr DAodd the image of Q-linear combinations of totally odd motivic multiple zeta values of depth r in grr DH modulo (ζ m (2)) grr D H. In [4], Brown proposed the following uneven part motivic Broadhurst-Kreimer conjecture. Conjecture 1.2. (Brown) Denote by grr D A odd N the weight N part of grd r A N, then 1+ dim Q (grr D A odd N )x N y r 1 = 1 O(x)y +S(x)y 2. N,r>0 In Conjecture 1.1 and Conjecture 1.2, the series E(x) and O(x) have geometric explanations that they are the generating series of the dimension space of even and odd single zeta values respectively. While S(x) is the generating series of the dimension space of the cusp forms of SL 2 (Z). Since each term in Conjecture 1.1 and Conjecture 1.2 has a geometric explanation, we believe that there are some inner structures behind Conjecture 1.1 and Conjecture 1.2. The main purpose of this paper is trying to understand these structures behind Conjecture 1.1 and Conjecture 1.2. In fact, we have Theorem 1.3. For r = 2, there is an exact sequence 0 gr D 2 A odd gr D 1 A odd gr D 1 A odd v P 0. In the above short exact sequence, P denotes the restricted even period polynomials which will be explained in detail later. And P denotes its weight dual vector space (taking dual in each weight). The definitions of the maps involved will be given in the next section.

3 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES 3 Theproofoftheinjectivityof followsfromtakingdual. Therelationbetweenthe free lie algebra generated by two words with Ihara bracket and even restricted period polynomials was first discovered by Ihara and Takao [17]. And the exactness of the middle part follows from the main result of Schneps [20] and the fact gr2 DAodd = gr2 D A. So the exact sequence we have established provide an explanation of the relation between the work of Gangl, Kaneko, Zagier [11] and Schneps [20]. In [18], Fei Liu and the author established a short exact sequence for the subspace generated by the images of ζ m (r,n r), where 3 r N 2, odd in gr2 DH N for N 5, odd. Theorem 1.1 in [18] is similar to Theorem 1.3 but the term which involved period polynomial becomes more complicate. Inspired by Theorem 1.3, for r 3, we construct the maps : grr D A odd gr1 D A odd grr 1A D odd and D : gr1 D A odd grr 1A D odd P grr 2A D odd. And we propose the following conjecture Conjecture 1.4. For r 3, there is an exact sequence 0 gr D r Aodd gr D 1 Aodd gr D r 1 Aodd D P gr D r 2 Aodd 0. We will show that why this conjecture should be true by analyzing the structure of the depth-graded motivic Lie algebra. And we will prove that Theorem 1.5. (i)for r = 3, the map is injective and the map D is surjective. (ii)for r 3, assuming three conjectures about depth-graded motivic lie algebra, there will be an exact sequence 0 gr D r Aodd gr D 1 Aodd gr D r 1 Aodd D P gr D r 2 Aodd 0. The three conjectures (non-degenerated conjecture, vanishing conjecture and surjective conjecture) involved will be given in Section 4. And what s more we will show the relationship between the results of Tasaka and Theorem 1.5. Thus we provide a geometric explanation of the linear map constructed by Tasaka in [22]. Denote by A = H/(ζ m (2)) and gr D r A = gr D r H/(ζ m (2)) gr D r H we can construct the map g : gr D r A grd 1 Aodd gr D r 1 A and the map D g : gr D 1 Aodd gr D r 1 A P gr D r 2 A the same way as and D respectively. Then we have the following theorem Theorem 1.6. (i)for r = 2, there is an exact sequence 0 gr2 D A g gr D 1 A odd gr1 D A vg P 0. (ii)for r = 3, there is an exact sequence 0 gr3 D A g gr D 1 A odd gr2 D A Dg P gr1 D A 0. The proof of Theorem 1.6 (ii) mainly use the result of Concharov [14]. Furthermore we propose the following conjecture which shows the existence of a long exact sequence in general case:

4 4 JIANGTAO LI Conjecture 1.7. For r 4, there is an exact sequence 0 P gr D r 4A gr D r A gr D 1 A odd gr D r 1A P gr D r 2A 0. The first map is not clear enough at present. It should have connection with the exceptional elements which are constructed by Brown in [4] if the exceptional elements are motivic. The following theorem shows the importance of the non-degenerated conjecture to tackle Conjecture 1.7. Theorem 1.8. Assuming the non-degenerated conjecture for all r 3, then there is an exact sequence for each r 3. grr D A g gr D 1 A odd grr 1A D Dg P grr 2A D 0 From Conjecture 1.7 we can deduce the motivic Broadhurst-Kreimer conjecture easily. And furthermore, if Conjecture 1.7 is true, from the analysis of Enriquez and Lochak [10], we will know the structure of the depth-graded motivic lie algebra and its Lie algebra homology in each weight and depth. The category equivalence between finite dimensional nilpotent lie algebra and unipotent algebraic group in characteristic 0 plays a key role in the proofs of our main results. So we give a short introduction in section 3. We point out that if we can find an injective map j : P grr 4 D A grd r A for each r 4 such that Imj Ker, then Conjecture 1.7 will follows from the non-degenerated conjecture since the dimension of A in each weight is known by the work of Brown [5]. The last section of this paper is devoted to the study of totally odd motivic multiple zeta values in depth 2 and 3. Using the work of Baumard and Schneps [1] we prove that gr2 DAodd = gr2 D A. This statement can also be proved by using the fact that motivic double zeta values satisfy double shuffle relations and main theorems in [11]. In depth three, we show that a surjective conjecture proposed by Tasaka in linear algebra is suffice to deduce gr3 DAodd = gr3 DA. In this paper all the dual vector space means compact dual (linear functional whose support is finite dimension). Since motivic multiple zeta values satisfy double shuffle relations [19], [21]. Any statement holds for the formal multiple zeta values also holds for the motivic multiple zeta values. So in this paper we will apply the results about formal multiple zeta values directly. 2. Motivic Galois action In this section we will define all the maps involved in the short exact sequence in section 1. These maps essentially come from the Galois action of motivic fundamental group of mixed Tate motives. The main references of this section are [4], [7], [9]. Denote by MT(Z) the category of mixed Tate motives over Z. Let π 1 (MT(Z)) its de-rham fundamental group. From [9], we have π 1 (MT(Z)) = G m U dr. Where the subgroup U dr is pro-unipotent and its graded Lie algebra (respective the action of G m ) is isomorphic to the free graded Lie algebra with one generator σ 2n+1 in every negative degree (2n+1), n 1.

5 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES 5 Let 0 Π 1 be the De-Rham realization of the motivic fundamental groupoid from 1 0 to 1 1 (the tangent vector 1 at 0 and the tangent vector 1 at 1). Its function ring over Q is isomorphic to O( 0 Π 1 ) Q e 0,e 1, where Q e 0,e 1 is equipped with the shuffle product. O( 0 Π 1 ) has a coaction from the function ring O(U dr ). Denote by dch 0 Π 1 (R) the de-rham image of the straight line from 0 to 1. dch determines a homomorphism dch : O( 0 Π 1 ) R. Let I O( 0 Π 1 ) be the kernel of dch. Denote by J MT I be the largest graded ideal contained in I which is stable under the coaction of O(U dr ). Define H = O( 0 Π 1 )/J MT and the image of the word e 1 e}{{} 0...e 0 e 1...e 1 }{{} e 0...e n 1 1 n r 1 as ζ m (n 1,...,n r ). From the work of Brown [5], we know that the elements of H are Q-linear combinations of ζ m (n 1,...,n r ). The motivic multiple zeta values satisfy the usual double shuffle relations by the work of Soudères [21]. Denote by x Π y the de-rham realization of motivic torsor of paths on P 1 \{0,1, } from x to y where x,y { 1 0, 1 1 }. For convenience we write 1 0, 1 1 as 0, 1 respectively for short. Denote by G the group of automorphisms of the groupoid xπ y for x,y 0,1 which respect to the following structures: (1) (Groupoid structure) The multiplication maps xπ y y Π z x Π z for all x,y,z {0,1}. (2) (Inertia) The automorphism fixes the elements exp(e 0 ) 0 Π 0 (Q), exp(e 1 ) 1 Π 1 (Q), where e 0,e 1 respectively denotes the differential dz z, dz 1 z. Then by Proposition 5.11 in [9], we know that x Π y is an G-torsor. Since the groupoid and inertia structures are preserved by U dr, we have a morphism ϕ : U dr G 0 Π 1. By the main results of [5], ϕ is injective. Denote by g the corresponding Lie algebra of U dr, we have an injective map on Lie algebra i : g LieG (L(e 0,e 1 ),{,}). Where L(e 0,e 1 ) is isomorphic to the free Lie algebra generated by e 0,e 1 as a vector space, but its Lie algebra bracket is given by the Ihara bracket [9], [20]. Denote by h = (L(e 0,e 1 ),{,}) for convenience and we define a decreasing depth filtration on h by D r h = {ξ h deg e1 ξ r}. 0

6 6 JIANGTAO LI FromThéorème 6.8(i) in [9], we know that i(σ 2n+1 ) = (ade 0 ) 2n (e 1 )+ terms of degree 2 in e 1. So g has an induced depth filtration. Since the Ihara bracket {, } is compatible with the depth filtration, dg = gr g = r 1 D r g/d r+1 g is also a Lie algebra with the induced Ihara bracket. DenotebyD r HtheQ-linearcombinationofelementsoftheformζ m (n 1,,n s ), s r. Let gr D r H = D rh/d r+1 H and A = H/ζ m (2)H, then there is an induced depth filtration on A which is defined by D r A = D r H/ζ m (2)H D r H. Define gr D r A = D ra/d r+1 A. Denote by gr D r Aodd the Q-linear subspace of gr D r A spanned by the natural image of ζ m (n 1,,n r ), n 1,,n r 3, odd in gr D r A. For n 1,,n r 3, odd, ζ m (n 1,,n r ) is called totally odd motivic multiple zeta value. From Proposition 10.1 in [4], the action of lie algebra g on D r A odd /D r 1 A factors through its abelianization g ab, so for n 1, there is a well-defined derivation 2n+1 : gr D r Aodd gr D r 1 Aodd which corresponds to the action of σ 2n+1 g ab Here we give the definition of restricted even period polynomial: Definition 2.1. For N 3, the restricted even period polynomial of weight N is the polynomial p(x 1,x 2 ) of degree N 2 which satisfies (i) p(x 1,0) = 0, i.e. p is restricted; (ii) p(±x 1,±x 2 ) = p(x 1,x 2 ), i.e. p is even; (iii) p(x 1,x 2 )+p(x 1 x 2,x 1 ) p(x 1 x 2,x 2 ) = 0. Denote P N the set of even restricted period polynomials of weight N. Since the action of Lie G on O( 0 Π 1 ) is compatible with the depth filtration of O( 0 Π 1 ), we have the following proposition: Proposition 2.2. If p = s+t=n,s,t 0 p s,t x1 s 1 x t 1 2 is a restricted even period polynomial, then we have (i) For a fixed pair r and s, if at least one of then p r,s = 0. (ii) By (i), the map s+t=n is well-defined and we have r,s / 3,5,...,2n+1,..., p s,t s t : gr D r Aodd gr D r 2 Aodd p s,t s t = 0. s+t=n

7 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES 7 Proof: (i) follows immediately from Definition 2.1. (ii) follows from that p s,t {i(σ s ),i(σ t )} 0 s+t=n modulo depth 3 elements of L(e 0,e 1 ), the fact that the action of Lie G on O( 0 Π 1 ) is compatible with the depth filtration and the even restricted period polynomial is anti-symmetry. While the formula p s,t {i(σ s ),i(σ t )} 0 s+t=n modulo depth 3 elements of L(e 0,e 1 ) follows from Corollary 4.2 in [20]. Definition 2.3. We construct a map : gr D r Aodd gr D 1 Aodd gr D r 1 Aodd by (ζ m (n 1,...,n r )) = nodd,n 3 ζ m (n) n (ζ m (n 1,...,n r )). Essentially the map is induce from the coaction of O(U dr ) on the modulo ζ m (2) version motivic multiple zeta values. The map is the depth-graded version of the coaction of Lie coalgebra g on the motivic multiple zeta values (modulo ζ m (2) version) restriced to the totally odd part. See Subsection 3.1 in [5] for the coaction of the Lie coalgebra g on motivic multiple zeta values. The explicit formula of was given by the formula (4.4) in [22]. By definition and the motivic action of g, the operator preserves the weight. Definition 2.4. Denote P = N 3P N, where P N is the dual vector space of P N, elements of P N of P. are called weight N elements Now we construct a map v : gr D 1 A odd Q gr D 1 A odd P suchthatv(ζ m (n 1 ) ζ m (n 2 ))isalinearfunctionalwhosevalueatp = p n1,n 2 x n x n P is p n1,n 2. By definition v is surjective. Next we construct a map for r 3 D : gr D 1 Aodd Q gr D r 1 Aodd P gr D r 2 Aodd such that D = (v id gr D r 2 A odd) (id gr1 D Aodd ). We will write D = (v id) (id ) for convenience.

8 8 JIANGTAO LI 3. Nilpotent Lie algebra and unipotent algebraic group In this section we will give a short introduction to the category equivalence between nilpotent Lie algebras and unipotent algebraic groups. All the results in this section are well-known. The main reference for this section is [8]. Let a be a finite dimensional nilpotent Lie algebra over Q, its universal enveloping algebra Ua is the tensor algebra T(a) generated by a modulo the two-sided ideal of T(a) generated by x y y x [x,y], x,y a, where [, ] is the Lie bracket of a. Ua is a Q-algebra with unit element 1. Moreover, we can endow Ua with a Hopf algebra structure by the following maps : x x 1+1 x,s : x x,ǫ : x 0 for all x a. Denote by O = (Ua) the compact dual of Ua. The elements of (Ua) are the linear functional of Ua with finite dimensional support. Then O is a Hopf algebra with commutative multiplication since the comultiplication of Ua is cocommutative. It s well-known that the above construction gives a category equivalence from the category of finite dimensional nilpotent lie algebras over Q to the category of Hopf algebra of unipotent algebraic groups over Q. And the category equivalence can be generalized to the pro-unipotent case exactly the same way. We will need the following result in the section 5. Proposition 3.1. If A is a pro-unipotent algebraic group over Q with Lie algebra a = LieA, then a has a natural action s : a O(A) O(A). The following action of a r : a Ua Ua (x,x 1 x 2... x n ) x x 1 x 2... x n is well-defined and compatible with the action s. Proof: Denote by : O(A) O(A) Q O(A) and ǫ : O(A) Q the comultiplication and counit map of the Hopf algebra O(A) respectively. Denote by I = Kerǫ, we view Q as the subspace of O(A) spanned by the unique unit element, then the image of the map id ǫ : O(A) O(A) is contained in I. So we can define id ǫ : O(A) I/I 2 as the map id ǫ modulo I 2. By the classical results of linear algebraic group, we know that a = (I/I 2 ) and the map s is determined by the following map ((id ǫ) id) : O(A) (I/I 2 ) O(A). Since the comultiplication of O(A) is dual to the multiplication of Ua, taking dual to the above map we have r : a Ua Ua, (x,x 1 x 2... x n ) x x 1 x 2... x n. r is well-defined by the definition of Ua. Now we consider the simplest unipotent algebraic group G a over Q as an example.

9 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES 9 The Lie algebra a of G a over Q is one dimensional Q-vector space Qx 1 with trivial Lie bracket. The universal enveloping algebra Ua is Ua = Q[x 1 ] with multiplication and comultiplication x m 1 x n 1 x m+n 1 x n 1 (x x 1 ) n = n k=0 ( ) n x k 1 k xn k 1. The function ring O(G a ) is O(G a ) = Q[x 1 ] with multiplication ( ) p+q (x 1 ) p (x 1 ) q (x 1 ) p+q p and comultiplication The action of a on Ua is (x 1 ) n n (x 1 ) k (x 1 ) n k. k=0 r : a Ua Ua, (x 1,x n 1 ) xn+1 1. While the action of a on O(G a ) is for q 1. s : a O(G a ) O(G a ), x 1 (x 1 ) q (x 1 ) q 1 Remark 3.2. Be ware that the ordinary differential of the polynomial ring Q[x] is x n nx n 1. But there is no contradiction since the multiplication rule of the ring O(G a ) = Q[x 1 ] is not the ordinary one. The two differentials that look different will be the same after suitably normalized. 4. Motivic Lie algebra 4.1. A non-degenerated conjecture. In this subsection we will propose a nondegenerated conjecture in dg. This non-degenerated conjecture will play an important role in proving Theorem 1.5(ii). If V is a vector space, denote by Lie n (V) V n the degree n part of the free lie algebra generated by V. For n 2, define by α : P dg 1 dg }{{} 1 Lie n (dg 1 ) n 2 α : p r,s x r 1 1 x s 1 2 σ i1 σ in 2 p r,s [ [[σ r,σ s ],σ i1 ],,σ in 2 ] where [, ] is the formal lie bracket. Denote by β : Lie n (dg 1 ) dg n the map that replacing the formal Lie bracket by the induced Ihara bracket. Then we have

10 10 JIANGTAO LI Conjecture 4.1. (non-degenerated conjecture) For n 2, the following sequence is exact. α P dg 1 dg }{{} 1 Lie n (dg 1 ) β dg n n 2 For n = 2, this follows from Corollary 4.2 in [20] since dg 1 is Q-linear combination of (ad e 0 ) 2n e 1, n 1 in h. In [4] Brown introduce linearized double shuffle Lie algebra ls h which is also bigraded by weight and depth. By exactly the same method in [19] it can be shown that dg ls. By definition dg 1 = ls 1. For n = 3, from Theorem 2.6 in [14] we can deduce that there is an exact sequence 0 P ls 1 Lie 3 (ls 1 ) ls 3 0 Since dg ls, dg 3 = ls 3 and Conjecture 4.1 is true for n = 3. The general cases are still open Multiplication structure on universal enveloping algebra. From the structure of h, we know that there is a natural isomorphism between the universal enveloping algebra of h which is denoted by Uh and Q e 0,e 1 : λ : Uh Q e 0,e 1. asaq-vector space. But when transformedto Q e 0,e 1, themultiplication structure of Uh is not the usual concatenation product of Q e 0,e 1. The new multiplication structure which transformed from Uh in some simple cases is calculated explicitly in section 2 and section 6 of Brown [4]. We review some basic facts of Brown [4] for convenience. Denote gr r D Q e 0,e 1 the subspace of Q e 0,e 1 spanned by noncommutative words in e 0,e 1 with exactly r occurrences of e 1, then we have the following isomorphism (polynomial representation). ρ : gr r DUh Q[y 0,...,y r ] e a 0 0 e 1 e a 1 0 e 1...e 1 e ar 0 y a 0 0 y a yr ar. If x h, then λ(x) is the usual Lie polynomial of x in Q e 0,e 1. If x 1,x 2 h and λ(x 1 ),λ(x 2 ) belong to grd rq e 0,e 1,grD sq e 0,e 1 respectively, denote by ρ(λ(x 1 )) = f(y 0,...,y r ) and ρ(λ(x 2 )) = g(y 0,...,y s ), then s ρ(λ(x 1 ) λ(x 2 )) = f(y i,y i+1,...,y i+r )g(y 0,...,y i,y i+r+1,...,y r+s ) i=0 s +( 1) degf+r f(y i+r,...,y i+1,y i )g(y 0,...,y i 1,y i+r,...,y r+s ) i=1 Remark 4.2. Be aware that the multiplication is not completely the same as the multiplication defined by Brown in Definition 2.1 and Definition 6.2 in Brown [4]. The two operations coincide on h Uh (Proposition 2.2 in Brown [4]). But in general, satisfies associative law while doesn t.

11 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES Totally odd and quasi-uneven. Since Q e 0,e 1 is dual to Q e 0,e 1 and A = O(U dr ) is the dual space of Ug and all the depth structures are compatible, we have gr D r A = gr r D Ug. Denote by E the linear subspace of Q e 0,e 1 spanned by the following elements e 1 e}{{} 0...e 0 e 1...e 1 }{{} e 0...e 0, n 1,...,n r 1 2n 1 2n r Since A is a quotient space of Q e 0,e 1, the image of E in A is exactly the modulo ζ m (2)A version totally odd motivic multiple zeta values. Definition 4.3. If x gr r D Q e 0,e 1 and the polynomial representation ρ(x) can be written as the form which the coefficients of y 2m 1 1 y 2m 2 then we call x quasi-uneven. ρ(x) = g 1 (y 0,...,y r )y 0 +g 2 (y 1,...,y r ) 2 yr 2mr,m 1,...,m r 1 in g 2 (y 1,...,y r ) are all zero, It s clear that all the quasi-uneven elements form a vector space. Furthermore, E is the dual space of Q e 0,e 1 modulo quasi-uneven elements. So grr D A odd is the dual space of grd r Ug modulo quasi-uneven elements. (Remember that Ug is a subalgebra of Uh = Q e 0,e 1 with new multiplication.) Denotebyγ : dg 1 dg }{{} 1 grd n Ugthenaturalmap, weproposethefollowing conjecture n Conjecture 4.4. (vanishing conjecture) For n 3, there are no quasi-uneven elements in Im γ. In [4], Brown defines uneven elements. But unfortunately uneven elements don t correspond to the totally odd motivic multiple zeta values directly. The space of quasi-uneven elements contains the space of uneven elements. Furthermore, if Conjecture 3 in [4] and Conjecture 4.4 are both true, then the space of quasi-uneven elements in grd rug is the same as the space of unven elements in grr D Ug. Denote by γ : dg 1 dg }{{} 1 (grd n Ug modulo quasi-uneven elements) the n natural quotient map of γ. Conjecture 4.5. (surjective conjecture) For n 3, the map γ is surjective. Recall themap β : Lie n (dg 1 ) dg n, denote by dg odd n thedg n modulo quasi-uneven elements and β : Lie n (dg 1 ) dg odd n the natural quotient of β, we have Theorem 4.6. For n 3, assuming Conjecture 4.1, Conjecture 4.4, Conjecture 4.5, there is an exact sequence α P dg 1 dg }{{} 1 Lie n (dg 1 ) β dg odd n 0 n 2 The surjective conjecture is true for n = 3. Actually the map γ is surjective for n = 3. From Theorem 2.6 in [14] we have ls 3 are generated by ls 1 via the Ihara bracket {, }. Since dg 1 = ls 1, dg 3 = ls 3 and the map γ is surjective for n = 3. The three conjectures in this section will play important roles for us to understand Brown s two conjectures (Conjecture 1.1, Conjecture 1.2).

12 12 JIANGTAO LI 5. The short exact sequences In this section we will prove Theorem 1.3 and give partial results of Conjecture 1.4. For r = 2, v is surjective by definition. From Theorem 2 in [11] about formal symbols related to double shuffle relation, we can deduce that gr2 D A odd = gr2 D A. By taking dual, Im = Ker v follows from Corollary 4.2 in [20], gr2 DAodd = gr2 D A and Proposition 3.1. While the injectivity of follows from the fact that the map with induced Ihara bracket dg 1 dg 1 dg 2 : σ r σ s {σ r,σ s } is suejective. So Theorem 1.3 is proved. By the results in Section 2, we have the following lemma Lemma 5.1. For r 3, Im Ker D, i.e. D = 0. Proof: By elementary calculation, we have D = (v id) (id ) ( ( ) = (v id) id ζ m (n 1 ) n1 ) ζ m (n 2 ) n2 n 1 odd, 3 n 2 odd, 3 ( ) = (v id) ζ m (n 2 ) ζ m (n 1 ) n1 n2 n 1,n 2 odd, 3 = v(ζ m (n 2 ) ζ m (n 1 )) n1 n2 n 1,n 2 odd, 3 = 0 The last equality is derived from the definition of v and Proposition 2.2. Since A = O(U dr ) is the dual space of Ug and the depth filtration on A and g is compatible, so we have grr DA is the dual space of grr D Ug. Since grd r Aodd is the totally odd part of grr DA, we have grd r Aodd is the dual space of grd r Ug modulo quasi-uneven elements. Proposition 5.2. If Conjecture 4.1, Conjecture 4.4 and Conjecture 4.5 are true for all r 3, then for each r 3 there is an exact sequence. 0 gr D r Aodd gr D 1 Aodd gr D r 1 Aodd D P gr D r 2 Aodd 0. Proof: Since grr D A odd is the totallyoddpart ofgrr D A, by taking dual, the injectivity of follows from the fact that γ is surjective and Proposition 3.1. From the surjective conjecture and vanishing conjecture, we know the dimension oftheweightn partof(grd r Ug)moduloquasi-uneven elementsisequaltothedimensionoftheweight N part ofthenatural imagedg 1 dg }{{} 1 ingrd r Ug. So fromthe r non-degenerated conjecture, Im = Ker D. At last, the surjectivity of D follows

13 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES 13 from Im = Ker D in depth r 1 and Goncharov s result P dg 1 dg 1 P = {0}. Now we discuss the map D using explicit matrix calculation, we first introduce some notation from Tasaka [22]. Denote by S N,r = {(n 1,...,n r ) Z r n n r = N,n 1,...,n r 3 : odd}. We write m = (m 1,...,m r ) for short, while Vect N,r = {(a n1,...,n r ) n SN,r a n1,...,n r Q}. ( ( )) m1,...,m r ForamatrixP = p,theactionofp ona = (a m1,...,m n 1,...,n r ) m SN,r r m SN,r n SN,r means ap = ( ) m1,...,m r a m1,...,m r p n 1,...,n r m SN,r Denote by P N,r the Q-vector space spanned by the set Obviously there is an isomorphism Denote by {x n x nr 1 r (n 1,...,n r ) S N,r }. π 1 : P N,r Vect N,r n SN,r n SN,r a n1,...,n r x n x nr 1 r (a n1,...,n r ) n SN,r. W N,r = {p P N,r p(x 1,...,x r ) = p(x 2 x 1,x 2,x 3,...,x r ) p(x 2 x 1,x 1,x 3,...,x r )}. From the formula (4.4) in [22], we have (ζ m (n 1,...,n r )) = ( ) m1,...,m r ζ m (m 1 ) ζ m (m 2,...,m r ). n 1,...,n r m SN,r e Where ( ) ( ) m1,...,m r m1,...,m r r 1 ( ) m2,...,m i,m i+2,...,m r e = δ + δ b m 1 n n 1,...,n r n 1,...,n r n 1,...,n i 1,n i+2,...,n i,n i+1. r And the b m n,n are defined by b m n,n = ( 1)n ( m 1 n 1 i=1 ) ( ) +( 1) n m m 1. n 1 The above formula of can be deduced from Proposition 2.2 and the calculation of Subsection 6.1 in [3]. And the matrix E (r i) N,r, i = 1,...,r 2 are defined by ( )) mi+1,...,m r And denote by E (r i) N,r = ( δ ( m1,...,m i n 1,...,n i ) e n i+1,...,n r C N,r = E (2) N,r E(3) N,r E(r 1) E N,r. m SN,r n SN,r

14 14 JIANGTAO LI In [22], Tasaka proposed the following conjecture Conjecture 5.3. For r 3, the map is injective. η : W N,r V N,r p(x 1,...,x r ) (π 1 (p(x 1,...,x r ))(E N,r I N,r ) Now we will prove Conjecture 5.3 in case r = 3. Proposition 5.4. The map η : W N,3 V N,3 p(x 1,x 2,x 3 ) (π 1 (p(x 1,x 2,x 3 ))(E N,3 I N,3 ) is injective. Proof: If p W N,3 satisfies η(p) = 0, denote p = m SN,3 a m1,m 2,m 3 x m x m x m 3 1 3, then we have So m SN,3 a m1,m 2,m 3 m SN,3 a m1,m 2,m 3 a m1,m 2,m 3 +a m2,m 1,m 3 = 0 ( ( ) m3 δ b m 1 n 1,n 2 +δ n 3 ( ( ) m1,m 2,m 3 δ +δ n 1,n 2,n 3 ( m2 n 1 ( m3 n 3 ) b m 1 n 2,n 3 ) = 0 ) b m 1 n 1,n 2 ) = 0. a n1,n 2,n 3 = ( ) m1,m 2,m 3 a m1,m 2,m 3 δ = a m1,m n 1,n 2,n 2,m 3 δ 3 m SN,3 m SN,3 ( m2 n 1 ) b m 1 n 2,n 3. Since b m 1 n 2,n 3 + b m 1 n 3,n 2 = 0, so a n1,n 2,n 3 + a n1,n 3,n 2 = 0. We identify P dg 1,dg 1 dg 1 dg 1 with W N,3, V N,3 respectively in the natural way, then we have p P dg 1 3 dg 1. By the main theorem of Goncharov [14], P dg 1 3 dg 1 = {0}, so p = 0. Now we have Proposition 5.5. For r = 3, the map D is surjective. And for r > 3, if Conjecture 5.3 is true, then D is surjective. Proof: Since the explicit formula of the map D is D(ζ m (n 1 ) ζ m (n 2,...,n r )) = ( ) m2,...,m r v(ζ m (n 1 ),ζ m (m 2 )) ζ m (m 3,...,m r ). n 2,...,n r m SN,r e ToprovethatD issurjective, itsuffices toprovethatthefollowingmapξ isinjective. (Be careful that ξ is not the dual map of D, but D is a quotient of the dual map of ξ in some sense)

15 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES 15 ξ : W N,r Vect N,r p(x 1,...,x r ) (π 1 (p(x 1,...,x r ))E (r 1) N,r. i.e., we need to prove that π 1 (W N,r ) kere (r 1) N,r = 0. Set π 1 (p) = (a n1,...,n r ) n SN,r for p W N,r, the assumption p W N,r implies (1) m SN,r ( ( ) ( ) m1,...,m r m3,...,m r δ +δ b m 1 n n 1,...,n r n 3,...,n 1,n 2 )a m1,...,m r = 0. r If (π 1 (p))e (r 1) N,r = 0, we will have (2) ( ( ) m1,...,m r r 1 δ + δ n 1,...,n r n 1,n 2,...,n i 1,n i+2,...,n r m SN,r i=2 Since (a n1,...,n r ) n SN,r π 1 (W N,r ) we have ( m1,m 3,...,m i,m i+2,...,m r (3) a m1,m 2,m 3,...,m r +a m2,m 1,m 3,...,m r = 0. m SN,r ) b m 2 n i,n i+1 )a m1,...,m r = 0. From the formulas (1) and (3), we have ( ( ) ( ) m1,...,m r m3,...,m r (4) δ +δ b m 2 n n 1,...,n r n 3,...,n 2,n 1 )a m1,...,m r = 0. r From the formulas (2) and (4) and the fact that b m 2 n 2,n 1 +b m 2 n 1,n 2 = 0, we have (π 1 (p))(e N,r I) = 0. So by Proposition 5.4 and Conjecture 5.3, the proposition is proved. Remark 5.6. Applying the method in [22] we can prove the following result in the proof of Proposition 5.5 : Imξ KerE (r 1) N,r E N,r. Using the above result we immediately obtain a second proof of Lemma 5.1 based on explicit calculation. So the maps we have established provide a geometric explanation of the results in [22]. 6. Further conjecture Now we consider the general cases. Exactly the same way as the totally odd case, we can construct the following map g : gr D r A grd 1 Aodd gr D r 1 A D g : gr D 1 Aodd gr D r 1 A P gr D r 2 A. And we have g gr D 1 A odd=, D g gr D 1 A odd gr D r 1 Aodd= D. This means that g and D g are the general cases of the map and D respectively.

16 16 JIANGTAO LI Proposition 6.1. (i)for r = 3, there is an exact sequence 0 gr3 D A g gr D 1 A odd gr2 D A D P gr1 D A 0 (ii)for r > 3, Im g Ker D g. And if Conjecture 4.1 is true for all r 2, then there is an exact sequence gr D r A gr D 1 A odd gr D r 1A D P gr D r 2A 0 Proof: From Theorem 2.6 (b) in [14], we can deduce that there is an exact sequence 0 P ls 1 Lie 3 (ls 1 ) ls 3 0 Since ls 1 = dg 1 and dg ls, we have dg 3 = ls 3 and the following exact sequence 0 P dg 1 Lie 3 (dg 1 ) dg 3 0 Since A = O(U dr ), by taking dual, (i) follows immediately from Proposition 3.1 and the above exact sequence. Forr > 3,assumingConjecture4.1,bytakingdualitsufficestoprovethefollowing sequence 0 P gr r 2 D Ug D g dg 1 gr r 1 g D Ug grd r Ug is exact. By Proposition 3.1, g is induced from the following map g Ug Ug a 1 (a 2 a r ) a 1 a 2 a r And D g is induced from the following map P Ug g g Ug g Ug p r,s x1 r 1 x2 s 1 b p r,s σ r σ s b p r,s σ r (σ s b) r,s 3, odd r,s 3, odd r,s 3, odd Denote by dg i the depth i elements of dg. Let a dg 1 gr r 1 D Ug. If a Ker, then by the definition of the depth filtration on Ug, a lift of a in g Ug should be the form ã = { { c k1, c k2 },, c ki } d ki+1, where c ki D m k i g, d ki+1 D r m k 1 m ki Ug and { { c k1, c k2 },, c ki } D m k 1 + +m ki +1 g. Denotebyc ki theimageof c ki indg mki andd ki+1 theimageof d ki+1 ingr r m k 1 m ki D Ug, then c ki must lie in the image of β : Lie mki (dg 1 ) dg mki. Otherwise a = Lie polynomial of { {c k1,c k2 },,c ki } d ki+1 can t lie in dg 1 gr r 1 D Ug. So if a Ker, assuming Conjecture 4.1, we have a Im D. We regard P as a subspace of dg 1 dg 1 via the following map t : P dg 1 dg 1

17 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES 17 r+s=n r,sodd, 3 p r,s x r 1 y s 1 r+s=n r,sodd, 3 Then by the work of Goncharov [13], we know that P dg 1 dg 1 P = 0 p r,s σ r σ s in dg 1 dg 1 dg 1. The map D g is surjective since its dual map is injective by the above formula and the fact Im g = KerD g in depth r 1. Inspired by Theorem 6.1, we propose the following conjecture. Conjecture 6.2. For r 4, there is an exact sequence 0 P gr D r 4 A grd r A grd 1 Aodd gr D r 1 A P gr D r 2 A 0. The first map is not clear enough at present. The exceptional elements which are constructed by Brown in Section 8 [4] should be useful to understand the first map if they are motivic. In [6], Brown constructed a map c : P dg 4. The map c should be enough to give the first map. Unfortunately the explicit formula of c is too complicated. The author doesn t know how to deduce the explicit formula of the first map from c. We have the following theorem Theorem 6.3. The motivic Broadhurst-Kreimer conjecture follows from the long exact sequence conjecture. Proof: For r = 1 it s clear that dim Q (gr1 D H N)x N = O(x)+E(x). From Corollary 8 (parity results) in [16], since the proof of parity results only use double shuffle relations, we know that gr D 2 A N = 0 if N is odd. From Theorem 1, 2 in [11], we can deduce that N even gr D 2 A = grd 2 Aodd by the same reason. The isomorphism H = O(U dr ) Q[ζ m (2)] implies So gr D 2 H = gr D 2 A Q[ζm (2)] gr D 1 A. dim Q (gr D 2 H N)x N = dim Q (gr D 2 A N)x N + From Theorem 1.3, we have dim Q (gr D 2 Aodd N )xn = dim Q (gr D 2 A N)x N +O(x) E(x) ( dim Q (gr D 1 A N)x N)2 + dim Q (gr D 1 A N)x N 1 1 x 2 dim Q (P N )xn = 0.

18 18 JIANGTAO LI So (5) dim Q (gr2 D A N )x N = O(x) 2 S(x) dim Q (gr2 D H N)x N = O(x) 2 S(x)+O(x) E(x) In the depth 3 case, we have So gr D 3 H = gr D 3 A Q[ζm (2)] gr D 2 A. dim Q (gr D 2 A N )x N E(x). Q (gr3 dim D H N )x N = dim Q (gr3 D A N )x N + By Proposition 6.1(i), we have ( )( ) dim Q (gr3 D A N)x N dim Q (gr1 D Aodd N )xn dim Q (gr2 D A N)x N ( N)( ) + Q (P dim N)x dim Q (gr1 D A)x N = 0. So (6) dim Q (gr3 D A N )x N ) = O(x) 3 2S(x) O(x) So dim Q (gr3 D H N)x N = O(x) 3 2O(x) S(x)+E(x) ( O(x) 2 S(x) ) For r 1, we have gr D r H = gr D r A Q[ζ m (2)] gr D r 1A. (7) dim Q (grr D H N )x N = dim Q (grr D A N )x N + Q (grr 1A dim D N )x N E(x). For r 4, if the long exact sequence conjecture is true, then ( )xn)( ) Q (P dim N dim Q (grr 4 D A N)x N dim Q (grr D A N)x N ( )( ) + dim Q (gr1 D A odd N )x N dim Q (grr 1A D N )x N ( )xn)( ) Q (P dim N dim Q (grr 2 D A N)x N = 0 So dim Q (grr D A N)x N O(x) dim Q (grr 1 D A N)x N (8) +S(x) dim Q (grr 2 D A N)x N S(x) dim Q (grr 4 D A N)x N = 0

19 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES 19 From formula (5), (6) and (8), it follows that (9) dim Q (grr D A N)x N y r 1 = 1 O(x)y +S(x)y 2 S(x)y 4. N,r>0 From formula (7) and (9), it follows that N,r>0 dim Q (gr D r H N)x N y r = 1+E(x) 1 O(x)y +S(x)y 2 S(x)y 4. According to the motivic Broadhurst-Kreimer conjecture, we should have gr D r Aodd gr D r A for r 4. So in order to prove the conjecture 6.2, we need to find the missing generators which should be related to the first map in conjecture 6.2. From H O(U dr ) Q[ζ m (2)] we have A = O(U dr ). Since U dr is a pro-unipotent algebraic group, from the long exact sequence conjecture we should have that dg = gr g = r 1 D r g/d r+1 g hasgenerator (ade 0 ) 2i e 1 indepth1andgeneratorisomorphic topindepth4andthe only relations between these generators are the period relations between (ade 0 ) 2i e 1. So from the analysis of section 4 in [10] we know the homology group H n (dg,q),n 0 in each weight and depth if the long exact sequence conjecture is true. We have the following result which may be useful to understand the motivic Broadhurst-Kreimer conjecture. Theorem 6.4. If for all r 4, there is an injective map j : P gr D r 4A gr D r A which satisfies g j = 0 and Conjecture 4.1 is true, then the long exact sequence conjecture is true. Proof: If such a map j existed for r 4, assuming Conjecture 4.1, from Proposition 6.1(ii) and formula (5), (6), by the same method in the proof of Theorem 6.3 we have (1+ dim Q grr D A N x N y r )(1 O(x)y +S(x)y 2 S(x)y 4 ) 1. N,r>0 The inequality means that the coefficient in the series of the left is not smaller than the coefficient of the right in each corresponding terms. And furthermore (1+ dim Q grr D A Nx N y r )(1 O(x)y +S(x)y 2 S(x)y 4 ) = 1 N,r>0 if and only if Im j = Ker g.

20 20 JIANGTAO LI Denote by then we have f(x,y) = (1+ N,r>0 dim Q gr D r A Nx N y r )(1 O(x)y +S(x)y 2 S(x)y 4 ), f(x,1) = (1+ N,r>0 dim Q gr D r A N x N )(1 O(x)) = (1+ dim Q A N x N )(1 O(x)) = 1, where A N denote the weight N part of A. Denote f(x,y) = 1+ a r,s x r y s r,s>0 Since f(x,y) 1 and f(x,1) = 1, we have a r,s 0, s>0 a r,s = 0, r > 0. So r,s > 0, a r,s = 0. Then we have f(x,y) = 1. So the long sequence is exact. In [3], Brown constructed a complex ((4.1) in [3]) and conjectured that this complex is an exact sequence (Conjecture 1 in [3]). Conjecture 1 in [3] is much stronger than Conjecture 6.2 here. If Conjecture 1 in [3] is true then Conjecture 6.2 follows from analyzing the relations between the generators of depth-graded motivic Lie algebra. But the conjectured exact sequence in [3] deals with the formal double shuffle equations and linearized double shuffle Lie algebra ls while Conjecture 6.2 deals with motivic multiple zeta values and depth-graded motivic Lie algebra directly. 7. Totally odd motivic multiple zeta values in depth two and three 7.1. The depth two case. In this subsection we will consider the polynomial representation of grd 2 Ug. We will show that there are no quasi-uneven elements in grd 2Ug. As a corollary we obtain a new proof of the fact that grd 2 A odd = gr2 D A which can be proved by Theorem 1 and Theorem 2 in [11]. By the work of Brown [4], the polynomial representation of grd 2 Ug is the Q-linear combinations of the following polynomials: (y 1 y 0 ) 2m 1 (y 2 y 0 ) 2m 2 +(y 2 y 1 ) 2m 1 (y 1 y 0 ) 2m 2 (y 2 y 1 ) 2m 1 (y 2 y 0 ) 2m 2. (Hint: Usingtheformulainsubsection4.2tocalculate(y 1 y 0 ) 2m 1 (y 1 y 0 ) 2m 2,m 1,m 2 1.) Now we have Proposition 7.1. For N 6, denote by V N the Q-vector space which is spanned by the following polynomials:

21 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES 21 (y 1 y 0 ) m 1 1 (y 2 y 0 ) m 2 1 +(y 2 y 1 ) m 1 1 (y 1 y 0 ) m 2 1 (y 2 y 1 ) m 1 1 (y 2 y 0 ) m 2 1, where m 1 +m 2 = N,m 1,m 2 odd, 3. Then there are no quasi-uneven elements in V N. By definition, Proposition 7.1 is equivalent to the following proposition: Proposition 7.2. For N 6, denote by W N the Q-vector space which is spanned by the following elements y m y m (y 2 y 1 ) m 1 1 (y m y m ),m 1 +m 2 = N,m 1,m 2 3,odd. If f W N and the coefficients of y n y n 2 1 2,n 1,n 2 3, odd in f are all zero, then f = 0. Proof: Denote by f = m SN,2 p m1,m 2 [y m y m (y 2 y 1 ) m 1 1 (y m y m )] and p = m SN,2 p m1,m 2 y m y m 2 1 2, then is f(y 1,y 2 ) = p(y 1,y 2 )+p(y 2 y 1,y 1 ) p(y 2 y 1,y 2 ). By explicit calculation, the totally even part of y m y m (y 2 y 1 ) m 1 1 (y m y m ) n SN,2 e ( m1,m 2 n 1,n 2 ) y n y n If the coefficients of y n y n 2 1 2,n 1,n 2 3,odd in f are all zero, then we have π 1 (p) Ker E N,2. Since π 1 (W N,2 ) = Ker E N,2 (main results in Baumard, Schneps [1] which is reproved in Tasaka [22]), we deduce that p is an even restricted period polynomial, i.e. f = 0. From Proposition 7.1 we know that there are no quasi-uneven elements in gr 2 D Ug. As a corollary we have: Corollary 7.1. gr 2 D Aodd = gr 2 D A The depth three case. By Theorem 2.6 in Goncharov [13], the natural map β : Lie n (dg 1 ) dg n is surjective for n = 3. So in Uh, grd 3 Ug is generated by elements of the form (ade 0 ) 2n 1 e 1 (ade 0 ) 2n 2 e 1 (ade 0 ) 2n 3 e 1.

22 22 JIANGTAO LI By the definition of we have γ((ade 0 ) 2n 1 e 1 (ade 0 ) 2n 2 e 1 (ade 0 ) 2n 3 e 1 ) = (ade 0 ) 2n 1 e 1 (ade 0 ) 2n 2 e 1 (ade 0 ) 2n 3 e 1 = (ade 0 ) 2n 1 e 1 ( (ade 0 ) 2n 2 e 1 (ade 0 ) 2n 3 e 1 ) By Proposition 2.2, Subsection 6.1 in [4] and Proposition 3.1 in Section 3, the polynomial representation of (ade 0 ) 2n 1 e 1 ((ade 0 ) 2n 2 e 1 (ade 0 ) 2n 3 e 1 ) is (y 1 y 0 ) 2m 1 [(y 2 y 0 ) 2m 2 (y 3 y 0 ) 2m 3 +(y 3 y 2 ) 2m 2 (y 2 y 0 ) 2m 3 (y 3 y 2 ) 2m 2 (y 3 y 0 ) 2m 3 ] +(y 2 y 1 ) 2m 1 [(y 1 y 0 ) 2m 2 (y 3 y 0 ) 2m 3 +(y 3 y 1 ) 2m 2 (y 1 y 0 ) 2m 3 (y 3 y 1 ) 2m 2 (y 3 y 0 ) 2m 3 ] +(y 3 y 2 ) 2m 1 [(y 1 y 0 ) 2m 2 (y 2 y 0 ) 2m 3 +(y 2 y 1 ) 2m 2 (y 1 y 0 ) 2m 3 (y 2 y 1 ) 2m 2 (y 2 y 0 ) 2m 3 ] (y 2 y 1 ) 2m 1 [(y 2 y 0 ) 2m 2 (y 3 y 0 ) 2m 3 +(y 3 y 2 ) 2m 2 (y 2 y 0 ) 2m 3 (y 3 y 2 ) 2m 2 (y 3 y 0 ) 2m 3 ] (y 3 y 2 ) 2m 1 [(y 1 y 0 ) 2m 2 (y 3 y 0 ) 2m 3 +(y 3 y 1 ) 2m 2 (y 1 y 0 ) 2m 3 (y 3 y 1 ) 2m 2 (y 3 y 0 ) 2m 3 ] In the above polynomial, the part which correspond to y m y m y m 3 1 3,n i, 3,odd,1 i 3 is ( ) m1,m 2,m 3 y n y n y n n 1,n 2,n 3 Where C N,3 = n SN,3 c ( ( m1,m 2,m 3 c n 1,n 2,n 3 )) = E (2) m SN,3 N,3 E N,3. n SN,3 Denote by (grd 3Ug) N the weight N part of grd 3 Ug, by Proposition 6.1(i), we have dim Q (grd 3 Ug) Nx N = O(x) 3 2O(x)S(x). So we have gr D 3 Aodd = gr D 3 A there are no quasi-uneven elements in gr3 D Ug rank C N,3x N = O(x) 3 2O(x)S(x). By the proof of Proposition 5.5 and the results of Tasaka, we know the map ξ : W N,3 Vect N,3 p(x 1,x 2,x 3 ) (π 1 (p(x 1,x 2,x 3 ))E (2) N,3 satisfies Im ξ Ker E N,3. By Goncharov s theorem P dg 1 3 dg 1 = 0, ξ is injective. So ξ induces an injective map ξ : W N,3 Ker E N,3 p(x 1,x 2,x 3 ) (π 1 (p(x 1,x 2,x 3 ))E (2) N,3. The following conjecture is due to Tasaka.

23 THE DEPTH STRUCTURE OF MOTIVIC MULTIPLE ZETA VALUES 23 Conjecture 7.3. ξ is isomorphic. Now we have Proposition 7.4. If Conjecture 7.3 is true, then gr D 3 Aodd = gr D 3 A. Proof: Since C N,3 = E (2) N,3 E N,3, so and Ker C N,3 = Ker E (2) N,3 Im E(2) N,3 Ker E N,3. If ξ is isomorphic, we will have Ker E N,3 Im E (2) N,3 and Ker E N,3 = W N,3. So Ker C N,3 = Ker E (2) N,3 W N,3 rank C N,3 x N = O(x) 3 2O(x)S(x). From the above formula we have gr D 3 Aodd = gr D 3 A. Remark 7.5. The proof of the injectivity of ξ is indirect and based on the result P dg 1 3 dg 1 = 0. A direct proof of the injectivity of ξ should be useful to tackle Conjecture 7.3. Acknowledgement In this paper, the author wants to thank Pierre Deligne for his explanations of the author s questions about mixed Tate motives. The author also thanks Yuancao Zhang for his help about understanding many details during the author s study. The author also thanks Leila Schneps for her detailed explanation of a fact in her and Samuel Baumard s paper [1]. At last, the author wants to thank his supervisor Qingchun Tian for his suggestion to choose this subject and helpful advice during the research.

24 24 JIANGTAO LI References [1] S. Baumard, L. Schneps, Period polynomial relations between double zeta values, Ramanujian J., 32(1) (2013), [2] D. Broadhurst, D. Kreimer, Association of multiple zeta values with positive knots via Feynman diagrams up to 9 loops, Phys. Lett. B 393 (1997), no. 3-4, [3] F. Brown, An exact sequence for the Broadhurst-Kreimer conjecture, ihes. fr/ brown /BKExactSeq1. pdf. [4] F. Brown, Depth-graded motivic multiple zeta value, arxiv: [5] F. Brown, Mixed Tate motives over Z, Ann. of Math., 175(2) (2012), [6] F. Brown, Zeta elements in depth 3 and the fundamental Lie algebra of a punctured elliptic curve, arxiv: [7] J. I. Burgos Gil, J. Fresán, Multiple zeta values: from numbers to motives, Clay Math. Proceedings, to appear [8] P. Cartier, A primer of hopf algebras, Frontiers in Number Theory, Physics, and Geometry II, (2007), [9] P. Deligne, A. B. Goncharov, Groupes fondamentaux motiviques de Tate mixte, Ann. Sci. École Norm. Sup., 38 (2005), [10] B. Enriquez, P. Lochak, Homology of depth-graded motivic Lie algebras and koszulity, arxiv: [11] H. Gangl, M. Kaneko, D. Zagier, Double zeta values and modular forms, Automorphic forms and zeta functions, In: Proceedings of the conference in memory of Tsuneo Arakawa, World Scientific (2006), [12] A. B. Goncharov, Galois symmetries of fundamental groupoids and noncommutative goemetry, Duke Math. J., 128 (2) (2005), [13] A. B. Goncharov, Multiple polylogarithms, cyclotomy and modular complexes, Mathematical Research Letters 5 (1998), [14] A. B. Goncharov, The dihedral Lie algebras and Galois symmetries of π (l) 1 (P1 {0, } µ N ), Duke Math. J., 110 (3) (2001), [15] M. E. Hoffman, The algebra of multiple harmonic series, J.Algebra, 194(2) (1997), [16] K. Ihara, M. Kaneko, D, Zagier, Derivation and double shuffle relations for multiple zeta values, Compos. Math, 142 (2006), [17] Y. Ihara, Some arithmetic aspects of Galois actions on the pro-p fundamental group of P {0, 1, }, in: Arithmetic Fundamental Groups and Noncommutative Algebra, Proc. Sympos. Pure Math. 70, Berkeley, CA, (1999,) [18] J. Li, F. Liu, Motivic double zeta values of odd weight, arxiv: [19] G. Racinet, Doubles mélanges des polylogarithmes multiples aux racines de l unité, Publ. Math. Inst. Hautes Études Sci. 95 (2002), [20] L. Schneps, On the Poisson Bracket on the Free Lie Algebra in two Generators, Journal of Lie Theory 16, no. 1 (2006), [21] I. Soudères, Motivic double shuffle, Int. J. Number Theory 6 (2010), [22] K. Tasaka, On linear relations among totally odd multiple zeta values related to period polynomials, arxiv: School of Mathematic Sciences, Peking University, Beijing, China address: ljt-math@pku.edu.cn