Une notion de multizêtas finis associée au Frobenius du groupe fondamental de $ {\mathbb{P}}^{1}\backslash \{0,1,\infty \}$

David Jarossay

doi:10.1016/j.crma.2015.07.008

Théorie des nombres

Une notion de multizêtas finis associée au Frobenius du groupe fondamental de

P^{1} \ {0, 1, \infty}

Présenté par : le comité de rédaction

David Jarossay ¹

¹ Institut de mathématiques de Jussieu Paris Rive-Gauche, Université Paris-Diderot, 75005 Paris, France

Comptes Rendus. Mathématique, Volume 353 (2015) no. 10, pp. 877-882.

Résumé
Abstract

Nous montrons que les sommes harmoniques multiples de la forme

\sum_{a p^{k} < n_{1} < \dots < n_{d} < (a + 1) p^{k}} \frac{1}{n_{1}^{s_{1}} \dots n_{d}^{s_{d}}}, pour a \in Z, k \in N^{⁎}, s_{d}, \dots, s_{1} \in N^{⁎},

admettent un développement canonique simple en termes de multizêtas p-adiques. Plus généralement, nous interprétons géométriquement la multiplication par p de la borne supérieure d'une somme harmonique multiple. Cela équivaut à l'inversion des sommes de séries qui expriment les multizêtas p-adiques. Le résultat entraîne la définition d'une notion de multizêtas finis qui est d'origine géométrique ; il donne un cadre pour étudier les propriétés algébriques des sommes harmoniques multiples dont la borne supérieure est une puissance d'un nombre premier. Le résultat a aussi des applications à une conjecture de Kaneko et Zagier.

We show that multiple harmonic sums of the form

\sum_{a p^{k} < n_{1} < \dots < n_{d} < (a + 1) p^{k}} \frac{1}{n_{1}^{s_{1}} \dots n_{d}^{s_{d}}}, for a \in Z, k \in N^{⁎}, s_{d}, \dots, s_{1} \in N^{⁎},

admit a simple canonical expansion in terms of p-adic multiple zeta values. More generally, we interpret geometrically the multiplication by p of the upper bound of a multiple harmonic sum. This is equivalent to the inversion of the sums of series that express p-adic multiple zeta values. The result leads to the definition of a notion of finite multiple zeta values that is of geometric origin; it gives a framework to study the algebraic properties of those multiple harmonic sums whose upper bound is a power of a prime number. The result also has applications to a conjecture of Kaneko and Zagier.

Reçu le : 2015-07-16
Accepté le : 2015-07-23
Publié le : 2015-08-24

DOI : 10.1016/j.crma.2015.07.008

Affiliations des auteurs :

David Jarossay ¹

¹ Institut de mathématiques de Jussieu Paris Rive-Gauche, Université Paris-Diderot, 75005 Paris, France

@article{CRMATH_2015__353_10_877_0,
     author = {David Jarossay},
     title = {Une notion de multiz\^etas finis associ\'ee au {Frobenius} du groupe fondamental de $ {\mathbb{P}}^{1}\backslash \{0,1,\infty \}$},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {877--882},
     publisher = {Elsevier},
     volume = {353},
     number = {10},
     year = {2015},
     doi = {10.1016/j.crma.2015.07.008},
     language = {fr},
}

TY  - JOUR
AU  - David Jarossay
TI  - Une notion de multizêtas finis associée au Frobenius du groupe fondamental de $ {\mathbb{P}}^{1}\backslash \{0,1,\infty \}$
JO  - Comptes Rendus. Mathématique
PY  - 2015
SP  - 877
EP  - 882
VL  - 353
IS  - 10
PB  - Elsevier
DO  - 10.1016/j.crma.2015.07.008
LA  - fr
ID  - CRMATH_2015__353_10_877_0
ER  -

%0 Journal Article
%A David Jarossay
%T Une notion de multizêtas finis associée au Frobenius du groupe fondamental de $ {\mathbb{P}}^{1}\backslash \{0,1,\infty \}$
%J Comptes Rendus. Mathématique
%D 2015
%P 877-882
%V 353
%N 10
%I Elsevier
%R 10.1016/j.crma.2015.07.008
%G fr
%F CRMATH_2015__353_10_877_0

David Jarossay. Une notion de multizêtas finis associée au Frobenius du groupe fondamental de $ {\mathbb{P}}^{1}\backslash \{0,1,\infty \}$. Comptes Rendus. Mathématique, Volume 353 (2015) no. 10, pp. 877-882. doi : 10.1016/j.crma.2015.07.008. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2015.07.008/

Bibliographie
Cité par

[1] P. Deligne Le groupe fondamental de la droite projective moins trois points, Berkeley, CA, 1987 (Math. Sci. Res. Inst. Publ.), Volume vol. 16 (1989)

[2] P. Deligne; A.B. Goncharov Groupes fondamentaux motiviques de Tate mixtes, Ann. Sci. Éc. Norm. Super., Volume 38 (2005) no. 1, pp. 1-56

[3] H. Furusho p-Adic multiple zeta values I – p-adic multiple polylogarithms and the p-adic KZ equation, Invent. Math., Volume 155 (2004) no. 2, pp. 253-286

[4] H. Furusho p-Adic multiple zeta values II – Tannakian interpretations, Amer. J. Math., Volume 129 (2007) no. 4, pp. 1105-1144

[5] D. Jarossay p-Adic multiple zeta values and multiple harmonic sums – I: p-adic multiple polylogarithms as explicit functions (prépublication) | arXiv

[6] D. Jarossay p-Adic multiple zeta values and multiple harmonic sums – II: p-adic decompositions of multiple harmonic sums (prépublication) | arXiv

[7] D. Jarossay Double mélange des multizêtas finis et multizêtas symétrisés, C. R. Acad. Sci. Paris, Ser. I, Volume 352 (2014), pp. 767-771

[8] D. Jarossay Finite multiple zeta values, formal algebraic relations and the fundamental group of $M_{0, 4}$ and $M_{0, 5}$ – I (prépublication) | arXiv

[9] D. Jarossay Un cadre explicite pour les polylogarithmes multiples p-adiques et les multizêtas p-adiques, C. R. Acad. Sci. Paris, Ser. I, Volume 353 (2015) no. 10, pp. 871-876 | DOI

[10] J. Rosen Asymptotic relations for weighted finite multiple zeta values | arXiv

[11] L.C. Washington p-Adic L-functions and sums of powers, J. Number Theory, Volume 69 (1998) no. 1, pp. 50-61

[12] S. Yasuda, Notes d'un exposé donné à l'université de Kyushu (Japon) le 22 août 2014.

Cité par Sources :

Commentaires - Politique

Ces articles pourraient vous intéresser

Un cadre explicite pour les polylogarithmes multiples p-adiques et les multizêtas p-adiques

David Jarossay

C. R. Math (2015)

Double mélange des multizêtas finis et multizêtas symétrisés

David Jarossay

C. R. Math (2014)

The algebra of Hurwitz multizeta functions

Olivier Bouillot

C. R. Math (2014)