arxiv: v1 [math.nt] 24 Feb 2015

Transcription

1 SHUFFLE PRODUCT OF FINITE MULTIPLE POLYLOGARITHMS arxiv: v [math.nt] 24 Feb 205 MASATAKA ONO AND SHUJI YAMAMOTO Abstract. In this paper, we define a finite sum analogue of multiple polylogarithms inspired by the work of Kaneko and Zaiger [KZ] and prove that they satisfy a certain analogue of the shuffle relation. Our result is obtained by using a certain partial fraction decomposition due to Komori-Matsumoto-Tsumura [KMT]. As a corollary, we give an algebraic interpretation of our shuffle product. Contents. Introduction 2. A variant of finite multiple zeta values 4 3. Proof of the main theorem 7 4. An algebraic interpretation References 3 Multiple polylogarithms Li k,...,k r (T = l,...,l r Z. Introduction Tl+ +lr l k (l +l 2 k 2 (l + +l r kr (r Z and their values at T =, i.e., multiple zeta values (MZVs ζ(k,...,k r = Li k,...,k r ( = l,...,l r Z l k (l +l 2 k 2 (l + +l r kr are related to many areas including number theory ([DG], topology ([LM] and mathematical physics ([BK], and studied by many authors (for example, [BBBL, BH, Gon]. Here k,...,k r are positive integers, and k r is larger than for MZVs. One important property of multiple polylogarithms is the shuffle relation Li k (TLi k (T = Li kxk (T, fortwofinitesequencesk = (k,...,k r andk = (k,...,k r ofpositiveintegerswithk r,k r (r,r Z. Here, kxk is the shuffle product of k and k and Li kxk (T is the finite sum of multiple polylogarithms corresponding to kxk. See Definition 3.5 for the definition of shuffle products.

2 2 MASATAKA ONO AND SHUJI YAMAMOTO In this paper, we introduce a finite sum version li k (T of multiple polylogarithms and prove that they satisfy a certain analogue of shuffle relation. Definition.. We define a Q-algebra B by ( /( B := F p [T] p:prime p:prime F p [T] Thus, an element of B is represented by a family (f p p of polynomial f p F p [T], and two families (f p p and (g p p represent the same element of B if and only if f p = g p for all but finitely many primes p. We also denote such an element of B simply by f p omitting ( p if there is no fear of confusion. For instance, T p denotes an element of B whose p-component is T p F p [T]. Definition.2 (Finite multiple polylogarithm. For a positive integer r and k = (k,...,k r (Z r, we define the finite multiple polylogarithm (FMP li k (T B by T l + +l r li k (T = li k,...,k r (T = 0<l,...,l r<p l k (l (r, +l 2 k 2 (l + +l r kr (r = 0. Here, denotes the sum of fractions whose denominators are prime to p. Our main theorem is the following: Theorem.3 (=Theorem 3.6. For non-negative integers r,r and k = (k,...,k r (Z r, k = (k,...,k r (Z r, set k := k + +k r,k := k + +k r. Then we have li k (Tli k (T li kxk (T (mod R k+k,k+k. Moreover, li k (Tli k (T li kxk (T R k+k,k+k can be calculated explicitly from li k (T and li k (T. Here, li kxk (T is the finite sum of FMPs corresponding to kxk. See Definition 3.5 for the definition of FMP corresponding to kxk. R a,b is a certain Q-vector subspace of B defined in Definition 3.3. One of our motivations is to generalize the studies on the finite analogue of polylogarithms by Kontsevich [Kon], Elbaz-Vincent and Gangl [EG] and Besser [Bes] to the multiple case. Their finite polylogarithm is defined as L k (T := 0<n<p T n n k F p[t] for each prime p. The idea to work in the ring B is inspired by the definition of finite multiple zeta values introduced by Kaneko and Zagier [KZ]:.

3 SHUFFLE PRODUCT OF FINITE MULTIPLE POLYLOGARITHMS 3 Definition.4. (i A Q-algebra A is defined as A := ( /( F p F p. p;prime p;prime As in the case of B, we omit ( p to represent an element of A. (ii For positive integer r and k = (k,...,k r (Z r, we define the finite multiple zeta value (FMZV ζ A (k A by l ζ A (k = ζ A (k,...,k r :=,...,l r Z l k (l (r, + +l r kr l + +l r<p (r = 0. Taking the usual complex case into account, finite analogues of multiple polylogarithms should coincide with the corresponding FMZVs at T =. Unfortunately, our definition of FMPs does not give FMZVs at T = (conjecturally, at least. Indeed, we can prove that li k ( = 0, so our definition is unsatisfactory in this sense. It is important, however, that our FMPs satisfy the shuffle relation. We hope that the study in this paper will be a base to find a better definition. Thecontentsofthispaperareasfollows. Insection2, wewillintroduceavariantζ (i A (k,...,k r of FMZVs and prove that ζ (i A (k,...,k r is expressed as a sum of FMZVs of the same weight. In section 3, we will prove the main theorem (Theorem 3.6. In the proof, we use the method of partial fraction decomposition (Lemma 3.8 due to [KMT]. In section 4, we will give an algebraic interpretation of our main theorem using the stuffle-shuffle algebra. Notation For non negative integers a,b,c and l,...,l a,m,...,m b,n,...,n c, we set new positive integers L i,m j,n k : ( L i := l + +l i ( i a, M j := m + +m j ( j b, N k := n + +n k ( k c. Let I denote the following set: I = r Z 0 I r, I r := (Z r. An element in I is called an index. For an index k = (k,...,k r, the integers k + +k r and r are called the weight of k and depth of k respectively, and denoted by wt(k and dep(k. The unique index in I 0 is denoted by, for which we understand wt( = dep( = 0.

4 4 MASATAKA ONO AND SHUJI YAMAMOTO For two indices λ = (λ,...,λ a,µ = (µ,...,µ b I, we define two new indices λ µ and λ µ by λ µ := (λ,...,λ a,µ,...,µ b, λ µ := (λ,...,λ,λ a +µ b,µ b,...,µ. For a positive integer r, we set [r] := {,...,r}. Finally, for a non negative integer k, we define the Q-vector subspace Z A,k of A by Z A,k := ζ A (k k I,wt(k = k Q and set Z A := k=0 Z A,k. Note that Z A forms a Q-algebra by the stuffle relation of FMZVs. 2. A variant of finite multiple zeta values In this section, we define a variant ζ (i A of FMZVs. This variant turns out to be a sum of FMZVs (Proposition 2.4, and will play an important role in the proof of the main theorem. Definition 2.. For an index k = (k,...,k r in I and i r, we define a variant of FMZVs as an element in A by ζ (i A (k :=. 0<l,...,l r<p (i p<l r<ip Note that ζ ( A (k coincides with ζ A(k by definition. L k Lkr r Remark 2.2. By setting l i := l i p, we see that ζ (r A (k = ( wt(k ζ A (k. To explain that ζ (i A can be expressed as a sum of ζ A s, we introduce more notation. For a positive integers r and s, set Φ r := X r := {(l,...,l r [p ] r (L,p = (L 2,p = = (L r,p = }, r Φ r,s, Φ r,s := {φ : [r] [s] : surjective φ(a φ(a+ for all a [r ]}, s= and we define an integer δ φ (i by Y s := {(A,...,A s [p ] s 0 < A < < A s < p} (2 δ φ (i := #{a [i ] φ(a > φ(a+} ( i r for φ Φ r. Next, for x X r, there exist s [r], φ = φ x Φ r,s, (A,...,A s Y s uniquely satisfying that l + + l i A φ(i (mod p for i =,...,r. Moreover, using s,φ and (A,...,A s above, we define the map f : X r r s= (Φ r,s Y s by sending x X r to (φ,(a,...,a s. Lemma 2.3. f is a bijection.

5 SHUFFLE PRODUCT OF FINITE MULTIPLE POLYLOGARITHMS 5 Proof. We construct the inverse map of f. For any φ Φ r,s,(a,...,a s Y s and i [r], we define an integer l i as follows: A φ( (i =, (3 l i := (A φ(i +δ φ (ip (A φ(i +δ φ (i p (2 i r. Since 0 if φ(i < φ(i, (4 δ φ (i δ φ (i = if φ(i > φ(i, we have 0 < l i < p for all i. Moreover, since l + +l i =A φ( +(A φ(2 +δ φ (2p A φ( +(A φ(3 +δ φ (3p (A φ(2 +δ φ (2p + +(A φ(i +δ φ (ip (A φ(i +δ φ (i p =A φ(i +δ φ (ip, the remainder of l + +l i modulo p is A φ(i and l + +l i is prime to p. Thus we obtain a map g : r s= (Φ r,s Y s X r by g(φ,(a,...,a s = (l,...,l r. We can easily prove that g is the inverse of f by (2 and (3. Next we define two maps as follows: α : X r [r], β : Φ r [r] α(l,...,l r is defined to be the unique integer n satisfying (n p < l + +l r < np, Using α and β, for i r, we set β(φ := δ φ (r+. X i r := α (i, Φ i r := β (i, and X φ := {x X r φ x = φ} for φ Φ r. Then we have (5 Xr i = φ Φ i r for i r. Further, for φ Φ i r,s := Φi r Φ r,s, the composition f pr (6 X φ 2 {φ} Ys Ys is a bijection. The following is the main result in this section. X φ

6 6 MASATAKA ONO AND SHUJI YAMAMOTO Proposition 2.4. For i r and an index k = (k,...,k r in I r, we have ζ (i A (k = φ Φ i r ζ A φ(j= k j,..., φ(j=s k j. Proof. By the definition of Xr i, (5 and (6, we obtain ζ (i A (k,...,k r = l k (l,...,l r Xr i = φ Φ i r = (l (definition of Xr i +l 2 k 2 (l + +l r kr l k (l,...,l r X φ (l (by (5 +l 2 k 2 (l + +l r kr (by (6 φ Φ i r 0<A < <A s<p = φ Φ i r 0<A < <A s<p = φ Φ i r ζ A φ(j= A k φ( Akr φ(r φ(j= A k j φ(j=s k j As k j,...,. φ(j=s k j Example 2.5. We present non-trivial examples of ζ (i A (k,...,k r for r = 3,4. ( ζ (2 A (k,k 2,k 3 = ζ A (k 3,k,k 2 +ζ A (k,k 3,k 2 +ζ A (k 2,k 3,k +ζ A (k 2,k,k 3 +ζ A (k + k 3,k 2 +ζ A (k 2,k +k 3. (2 ζ (2 A (k,k 2,k 3,k 4 =ζ A (k 4,k,k 2,k 3 +ζ A (k 3,k 4,k,k 2 +ζ A (k 2,k 3,k 4,k +ζ A (k,k 4,k 2,k 3 +ζ A (k 3,k,k 4,k 2 +ζ A (k 2,k 3,k,k 4 +ζ A (k,k 2,k 4,k 3 +ζ A (k 3,k,k 2,k 4 +ζ A (k 2,k,k 3,k 4 +ζ A (k,k 3,k 4,k 2 +ζ A (k,k 3,k 2,k 4 +ζ A (k +k 3,k 2,k 4 +ζ A (k 2,k +k 3,k 4 +ζ A (k +k 3,k 4,k 2 +ζ A (k +k 4,k 2,k 3 +ζ A (k 3,k +k 4,k 2 +ζ A (k 2,k 3,k +k 4 +ζ A (k,k 2 +k 4,k 3 +ζ A (k 3,k,k 2 +k 4 +ζ A (k,k 3,k 2 +k 4 +ζ A (k +k 3,k 2 +k 4.

7 ζ (3 A (k,k 2,k 3,k 4 SHUFFLE PRODUCT OF FINITE MULTIPLE POLYLOGARITHMS 7 =ζ A (k 3,k 2,k,k 4 +ζ A (k 2,k,k 4,k 3 +ζ A (k,k 4,k 3,k 2 +ζ A (k 3,k 2,k 4,k +ζ A (k 2,k 4,k,k 3 +ζ A (k 4,k,k 3,k 2 +ζ A (k 3,k 4,k 2,k +ζ A (k 4,k 2,k,k 3 +ζ A (k 4,k 3,k,k 2 +ζ A (k 2,k 4,k 3,k +ζ A (k 4,k 2,k 3,k +ζ A (k 4,k 2,k +k 3 +ζ A (k 4,k +k 3,k 2 +ζ A (k 2,k 4,k +k 3 +ζ A (k 3,k 2,k +k 4 +ζ A (k 2,k +k 4,k 3 +ζ A (k +k 4,k 3,k 2 +ζ A (k 3,k 2 +k 4,k +ζ A (k 2 +k 4,k,k 3 +ζ A (k 2 +k 4,k 3,k +ζ A (k 2 +k 4,k +k Proof of the main theorem In this section, we define FMPs li(λ,µ,ν;t of type (λ,µ,ν and prove the main theorem using a method inspired by [KMT]. li(λ,µ,ν;t is a generalization of both FMPs and products of two FMPs. Definition 3.. For indices λ = (λ,...,λ a,µ = (µ,...,µ b and ν = (ν,...,ν c in I (a,b,c Z 0, we define a FMP of type (λ,µ,ν by li(λ,µ,ν;t := a x= x b y= Recall the definitions of L x,m y and N z defined in (. T La+M b+n c M µy y Remark 3.2. By the definition of li(λ,µ,ν;t, we have B. c (L a +M b +N z νz z= li(λ,, ;T = li(,λ, ;T = li(,,λ;t = li λ (T, and li(λ,,µ;t = li(,λ,µ;t = li λ µ (T, li(λ,µ, ;T = li λ (Tli µ (T. Next, to state our main theorem, we introduce Z A [T p ]-submodule R := k I Z A [T p ]li k (T of B, and Q-subspaces R R a R a,b as follows. Definition 3.3. For a non-negative integer a, we define a Q-subspace R a := ζ A (k (T p n li k (T n Z 0,wt(k+wt(k = a Q of R. Then we have R = a=0 R a. Moreover, for non-negative integers a and b {0,...,a}, we define a Q-subspace R a,b := ζ A (k (T p n li k (T n Z 0,wt(k+wt(k = a,wt(k b Q

8 8 MASATAKA ONO AND SHUJI YAMAMOTO of R a. Then we have an increasing filtration of Q-vector spaces. R a,0 R a, R a, R a,a = R a To define the shuffle product kxk of indices k and k, we prepare some terminologies. Let H be the noncommutative polynomial ring Q x,y of variables x and y over Q, and we set H := Q+Hy, H 0 := Q+xHy. Note that H is generated by z k := x k y (k =,2, as a Q-algebra. Definition 3.4. We define the shuffle product x : H H H on H by the following rule and Q-bilinearity. (i wx = xw = w for all w H. (ii (u w x(u 2 w 2 = u (w xu 2 w 2 +u 2 (u w xw 2 for all w,w 2 H and u,u 2 {x,y}. For instance, we have z 2 xz 3 = z 2 z 3 +3z 3 z 2 +6z 4 z. Definition 3.5. For k = (k,...,k r I, we set z k := z k z kr. We define the shuffle product kxk of indices k and k as the formal sum of indices corresponding to z k xz k. For instance, (2x(3 = (2,3+3(3,2+6(4,. Further, for indices k and k, we define Li kxk (T as the finite linear sum of multiple polylogarithmswithindicescorrespondingtokxk. For instance, since(2x(3 = (2,3+3(3,2+6(4,, Li (2x(3 (T := Li 2,3 (T+3Li 3,2 (T+6Li 4, (T. Also li kxk (T is defined in the same way. The main theorem of this paper is the following. Theorem 3.6. For indices k = (k,...,k r,k = (k,...,k r in I with k := wt(k and k := wt(k, we have li k (Tli k (T li kxk (T (mod R k+k,k+k. To prove Theorem 3.6, we first show the following proposition.

9 SHUFFLE PRODUCT OF FINITE MULTIPLE POLYLOGARITHMS 9 Proposition 3.7. Assume that λ,µ. Then we have the following equality. (7 li(λ,µ,ν;t µ b ( λa + = li((λ,...,λ,(µ,...,µ b,µ b,(λ a + ν;t + λ ( µb + ( a+b +( wt(µ i= ( λa +µ b λ a li((λ,...,λ,λ a,(µ,...,µ b,(µ b + ν;t ζ (i A (λ µ(tp i j= ( λa +µ b b µ b j= ζ (j li ν (T A (λ,...,λ (T p j li µ,...,µ b,λ a+µ b,ν(t A (µ,,µ b (T p j li λ,...,λ,λ a+µ b,ν(t. ζ (j The next lemma plays the most important role in the proof of Proposition 3.7. Lemma 3.8 ([KMT] equation(26. For indeterminates X and Y and positive integers α and β, we have the following partial fraction decomposition; β X α Y β = ( α + α (X +Y α+ Y β + ( β + (X +Y β+ X α. Proof of Proposition 3.7. First, we separate li(λ,µ,ν;t into two parts according to that L a + M b is prime to p or not: ( (8 li(λ,µ,ν;t = p L a+m b The second term in (8 is calculated as a+b i= L a+m b =ip =( wt(µ a+b i= a x= x b y= + p L a+m b T La+M b+n c M µy y (T p i a x= x c (L a +M b +N z νz z= 0<m 2,...,m b <p (i p<l a+m b + +m 2 <ip x= b y= b x Lλa+µ b a y= T La+M b+n c M µy y. c (L a +M b +N z νz z= T Nc c (L a +m b + +m y+ µy z= N νz z,

10 0 MASATAKA ONO AND SHUJI YAMAMOTO by using the congruences L a +m b + +m y+ M y (mod p ( y b. If we regard that l a+ := m b,...,l a+b := m 2, we see that the second term in (8 coincides with ( a+b ( wt(µ ζ (i A (λ µ(tp i li ν (T. i= Next, using Lemma 3.8 for (X,Y = (L a,m b and (α,β = (λ a,µ b, we calculate the first term in (8 as follows: (9 µ b (0 + ( λa + λ ( µb + p L a x= p M b Here, (9 is separated as follows: x x= p L a, b M y µy M µ b b y= b x Lλa a y= = T La+M b+n c (L a +M b λa+ T La+M b+n c M µy y (L a +M b µ b+ p L a. c (L a +M b +N z νz z=. c (L a +M b +N z νz The first sum in the right hand side coincides with li((λ,...,λ,(µ,...,µ b,µ b,(λ a + ν;t. The second can be calculated as follows: z= j= = L a=jp x= (T p j j= = j= ζ (j x 0<l,...,l <p (j p<l <jp b M y µy M µ b b y= x= x b y= T La+M b+n c (L a +M b λa+ T M b+n c M µy y M λa+µ b b c (L a +M b +N z νz z= c (M b +N z νz z= A (λ,...,λ (T p j li µ,...,µ b,λ a+µ b,ν(t. By the same calculation for (0, we obtain the desired formula.

11 SHUFFLE PRODUCT OF FINITE MULTIPLE POLYLOGARITHMS Proof of Theorem 3.6. By Proposition 2.4, we see that the variant ζ (i A of FMZV is contained in Z A. Further, note that all terms in (7 have total weight w := wt(λ+wt(µ+wt(ν, and all the 3rd, 4th and 5th terms in the right hand side belong in (7 to R w,w. Hence we have ( li(λ,µ,ν;t µ b + ( λa + λ ( µb + li((λ,...,λ,(µ,...,µ b,µ b,(λ a + ν;t li((λ,...,λ,λ a,(µ,...,µ b,(µ b + ν;t in R w /R w,w. Therefore, the main theorem is obtained from the same argument in [KMT]. Namely, consider the Q-linear map Z : H R; z k li k (T. Thenbyinductionondep(λ+dep(µ, wecanprovez((z λ xz µ z ν li(λ,µ,ν;tinr w /R w,w by using (. Thus we can prove li λ (Tli µ (T li λxµ (T (mod R w,w by equation (7 in [KMT]. This completes the proof of Theorem 3.6. The following is a corollary of Theorem 3.6. Corollary 3.9. R forms a Z A [T p ]-subalgebra of B. Remark 3.0. Let P be the Q-vector space generated by the multiple polylogarithms: P := k I QLi k (T. Then Corollary 3.9 may be regarded as a finite analogue of the fact that P is a Q-algebra, which is a consequence of the shuffle relation. 4. An algebraic interpretation In this section, we will give an algebraic interpretation of our main theorem (Theorem 3.6. Note that by Corollary 3.9, we have (2 R a,b R a2,b 2 R a +a 2,b +b 2 for all a,a 2,b,b 2 with a b 0 and a 2 b 2 0. Definition 4.. For non-negative integers a and b {0,...,a}, we define Q-vector spaces R a,b := R a,b /R a,b and set R := R a,b. a b 0 Note that R has a natural Q-algebraic structure induced from (2.

12 2 MASATAKA ONO AND SHUJI YAMAMOTO Definition 4.2. We define the stuffle product : H H H on H by the following rule and Q-bilinearity. (i w = w = w for all w H. (ii (z k w (z l w 2 = z k (w z l w 2 +z l (z k w w 2 +z k+l (w w 2 for all w,w 2 H and k,l Z. For instance, we have z 2 z 3 = z 2 z 3 +z 3 z 2 +z 5. We definethe stuffle product k k of indices k and k as the formal sum of indices corresponding to z k z k. For instance, (2 (3 = (2,3+(3,2+(5. Definition 4.3. We define a Q-vector space S by S := Qu k v k. k,k I Here u k and v k are indeterminates associated to k and k. We define the product on S by the usual product of Q, the stuffle product for u k and the shuffle product for v k, i.e., for a,b Q and k,k 2,k,k 2 I, (auk vk (bu k 2 v k 2 := ab(u k u k2 (v k xv k 2. Then (S, is a Q-algebra and we call S the stuffle-shuffle algebra over Q. An algebraic interpretation of our main theorem is as follows. Corollary 4.4. The Q-linear homomorphism is a Q-algebra homomorphism. ϕ : S R ; u k v k ζ A (kli k (T Proof. Note that FMZVs satisfy the stuffle relation. For any ζ A (k (T p n li k (T R a,b and ζ A (k 2 (T p n 2 li k 2 (T R a2,b 2 (n,n 2,a,a 2,b,b 2 Z 0 with a b 0 and a 2 b 2 0, we have the following equality by Theorem 3.6 and the stuffle relation of FMZVs: ζ A (k (T p n li k (T ζ A (k 2 (T p n 2 li k 2 (T = ζ A (k k 2 (T p n +n 2 li k xk 2 (T R a +a 2,b +b 2. This completes the proof. Acknowledgement The authors would like to thank the members of the KiPAS-AGNT group for giving us a great environment to study and reading the manuscript carefully, and members of the Department of Mathematics at Keio University for their hospitality. This research was supported in part by JSPS KAKENHI ,

13 SHUFFLE PRODUCT OF FINITE MULTIPLE POLYLOGARITHMS 3 References [BBBL] M. J. Borwein, M. D. Bradley, D. J. Broadhurst, P. Lisoněk. Special values of multiple polylogarithms. Trans. Amer. Math. Soc. 353 (200, no. 3, [Bes] A. Besser, Finite and p-adic polylogarithms, Compositio Math. 30 (2002, [BH] A. Bayad, Y. Hamahata, Multiple polylogarithms and multi-poly-bernoulli polynomials. Funct. Approx. Comment. Math. 46 (202, part, [BK] D. J. Broadhurst, D. Kreimer, Association of multiple zeta values with positive knots via Feynman diagrams up to 9 loops, Physics Lett. B 393 (997, [DG] P. Deligne, A. Goncharov, Groupes fondamentaux motiviques de Tate mixte, Ann. Sci. Ecole Norm. Sup. (4 38 (2005, -56. [EG] P. Elbaz-Vincent, H. Gangl, On Poly(analogs I, Compositio Math. 30 (2002, [Fur] H. Furusho, p-adic multiple zeta values, I;p-adic multiple polylogarithms and the p-adic KZ equation, Invent. Math. 55 ( [Gon] A. B. Goncharov, Multiple polylogarithms, cyclotomy and modular complexes. Math. Res. Lett. 5 (998, no. 4, [KMT] Y. Komori, K. Matsumoto and H. Tsumura, Shuffle products of multiple zeta values and partial fraction decompositions of zeta-functions of root systems, Math. Z. 268 (20, [KZ] M. Kaneko, D. Zagier, finite multiple zeta values, in preparation. [Kon] M. Kontsevich, The +/2 logarithm, Appendix to On Poly(analogs I by Philippe Elbaz-Vincent, Herbert Gangl, Compositio Math. 30 (2002, [LM] T. Q. T. Le, J. Murakami, Kontsevich s integral for the Homfly polynomial and relations between values of the multiple zeta functions, Topology Appl. 62 (995, Department of Mathematics, Keio University, 3-4- Hiyoshi, Kouhoku-ku,Yokohama , Japan address: onomath2@gmail.com Department of Mathematics, Keio University, 3-4- Hiyoshi, Kouhoku-ku,Yokohama , Japan address: yamashu@math.keio.ac.jp