Valeurs zêta multiples. Une introduction

Michel Waldschmidt

Journal de théorie des nombres de Bordeaux (2000)

  • Volume: 12, Issue: 2, page 581-595
  • ISSN: 1246-7405

Abstract

top
For positive integers s 1 , ⋯ , s k with s 1 ≥ 2 , the series ∑ n 1 > ⋯ > n k ≥ 1 n 1 - s k ⋯ n k - s k converges and its sum is denoted by ζ ( s 1 , ⋯ , s k ) . In case k = 1 this is nothing else than the value of the Riemann zeta function at the point s 1 . What are the algebraic relations between these numbers? these numbers? The product of two multiple zeta values is again a multiple zeta value: this is easily checked by multiplying the two series, and using a shuffie» product. An example is ζ ( 2 ) ζ ( 3 ) = ζ ( 2 , 3 ) + ζ ( 3 , 2 ) + ζ ( 5 ) , There are other quadratic relations between these numbers, which arise from another expression of ζ ( s ̲ ) = ζ ( s 1 , ⋯ , s k ) as a (Chen) iterated integral: ζ ( s ̲ ) = ∫ Δ p ω ϵ 1 ( t 1 ) ⋯ ω ϵ p ( t p ) , with the following notation : p = s 1 + ⋯ + s k , the sequence ( ϵ 1 , ⋯ , ϵ p ) of elements in {0, 1} is defined by writing the word x 0 s 1 - 1 x 1 ⋯ x 0 s k - 1 x 1 = x ϵ 1 ⋯ x ϵ p on the alphabet X = { x 0 , x 1 } , the differential forms ω ϵ are defined by ω 0 ( t ) = d t t et ω 1 ( t ) = d t 1 - t and Δ p is the following simplex in ℝ P : Δ p = { t ̲ ∈ ℝ p ; 1 > t 1 > ⋯ > t p > 0 } . Again this yields an expression of the product of two multiple zeta values as a linear combination of multiple zeta values, a simple example being ζ ( 2 ) ζ ( 3 ) = ζ ( 2 , 3 ) + 3 ζ ( 3 , 2 ) + 6 ζ ( 4 , 1 ) . The main conjecture is that these two types of relations are sufficient to describe all algebraic relations between these numbers. This subject has deep connections with many other mathematical topics: combinatoric (the theory of quasisymmetric functions, Radford’s Theorem and Lyndon words), Lie and Hopf algebras, Écalle’s theory of resurgent series, Goncharov’s work on mixed Tate motives on Spec ℤ , polylogarithms, monodromy of differential equations, the fundamental group of the projective line minus three points and Belyi’s Theorem, the absolute Galois group of ℚ , the group of Grothendieck-Teichmüller, knots theory and Vassiliev invariants, K -theory, Feynman diagrams and quantum field theory, quasi-triangular quasi-Hopf algebras and Drinfeld’s associator Φ K Z (related to the connexion of Knizhnik-Zamolodchikov).

How to cite

top

Waldschmidt, Michel. "Valeurs zêta multiples. Une introduction." Journal de théorie des nombres de Bordeaux 12.2 (2000): 581-595. <http://eudml.org/doc/248505>.

@article{Waldschmidt2000,
abstract = {Soit $\underline\{s\} = (s_1,\dots , s_k)$ un $k$-uplet d’entiers positifs avec $k \ge 1.$ Pour $s_1 \ge 2$, la série\begin\{equation*\}\sum \_\{n\_1 &gt; \dots &gt; n\_k \ge 1\} n^\{-s\_k\}\_1 \dots n^\{-s\_k\}\_k\end\{equation*\}converge et sa somme est notée $\zeta (\underline\{s\})$. Dans le cas $k = 1$ il s’agit simplement des valeurs de la fonction zêta de Riemann aux entiers positifs. Quelles relations algébriques existent entre ces nombres ? Le produit $\zeta (s^\{\prime \}) \zeta (s^\{\prime \prime \})$ de deux valeurs de fonctions zêta multiples est une combinaison linéaire de $\zeta (\underline\{s\})$, comme on le voit facilement en multipliant les séries : c’est le produit de mélange lié aux séries. D’autre part une autre expression pour le nombre $\zeta (\underline\{s\})$ est donnée par une intégrale itérée (intégrale de Chen); cela fournit une autre relation quadratique exprimant de nouveau le produit $\zeta (s^\{\prime \}) \zeta (s^\{\prime \prime \})$ comme une combinaison linéaire de $\zeta (\underline\{s\})$ : c’est le produit de mélange lié aux intégrales. On conjecture que ces deux produits de mélange suffisent à décrire toutes les relations algébriques entre les nombres $\zeta (\underline\{s\})$. Se pose alors le problème d’étudier l’algèbre engendrée par des générateurs (les multizêta symboliques) indexés par les $k$-uplets $\underline\{s\}$ et définie par les relations données par ces deux produits de mélange; on obtient ainsi l’algèbre MZV, dont Écalle est en train de déterminer la structure. Pour définir des séries génératrices permettant de coder simultanément tous les multizêta symboliques il convient d’inclure les $\underline\{s\}$ correspondant à des séries divergentes (avec $s_1 = 1$). Nous mentionnons enfin brièvement quelques résultats de l’équipe de Petitot sur les polylogarithmes, et encore plus brièvement plusieurs sujets connexes.},
author = {Waldschmidt, Michel},
journal = {Journal de théorie des nombres de Bordeaux},
keywords = {multiple zeta values; algebraic relations; polylogarithms},
language = {fre},
number = {2},
pages = {581-595},
publisher = {Université Bordeaux I},
title = {Valeurs zêta multiples. Une introduction},
url = {http://eudml.org/doc/248505},
volume = {12},
year = {2000},
}

TY - JOUR
AU - Waldschmidt, Michel
TI - Valeurs zêta multiples. Une introduction
JO - Journal de théorie des nombres de Bordeaux
PY - 2000
PB - Université Bordeaux I
VL - 12
IS - 2
SP - 581
EP - 595
AB - Soit $\underline{s} = (s_1,\dots , s_k)$ un $k$-uplet d’entiers positifs avec $k \ge 1.$ Pour $s_1 \ge 2$, la série\begin{equation*}\sum _{n_1 &gt; \dots &gt; n_k \ge 1} n^{-s_k}_1 \dots n^{-s_k}_k\end{equation*}converge et sa somme est notée $\zeta (\underline{s})$. Dans le cas $k = 1$ il s’agit simplement des valeurs de la fonction zêta de Riemann aux entiers positifs. Quelles relations algébriques existent entre ces nombres ? Le produit $\zeta (s^{\prime }) \zeta (s^{\prime \prime })$ de deux valeurs de fonctions zêta multiples est une combinaison linéaire de $\zeta (\underline{s})$, comme on le voit facilement en multipliant les séries : c’est le produit de mélange lié aux séries. D’autre part une autre expression pour le nombre $\zeta (\underline{s})$ est donnée par une intégrale itérée (intégrale de Chen); cela fournit une autre relation quadratique exprimant de nouveau le produit $\zeta (s^{\prime }) \zeta (s^{\prime \prime })$ comme une combinaison linéaire de $\zeta (\underline{s})$ : c’est le produit de mélange lié aux intégrales. On conjecture que ces deux produits de mélange suffisent à décrire toutes les relations algébriques entre les nombres $\zeta (\underline{s})$. Se pose alors le problème d’étudier l’algèbre engendrée par des générateurs (les multizêta symboliques) indexés par les $k$-uplets $\underline{s}$ et définie par les relations données par ces deux produits de mélange; on obtient ainsi l’algèbre MZV, dont Écalle est en train de déterminer la structure. Pour définir des séries génératrices permettant de coder simultanément tous les multizêta symboliques il convient d’inclure les $\underline{s}$ correspondant à des séries divergentes (avec $s_1 = 1$). Nous mentionnons enfin brièvement quelques résultats de l’équipe de Petitot sur les polylogarithmes, et encore plus brièvement plusieurs sujets connexes.
LA - fre
KW - multiple zeta values; algebraic relations; polylogarithms
UR - http://eudml.org/doc/248505
ER -

References

top
  1. [1] L. Euler, Meditationes circa singulare serierum genus. In: Leonhardi Euleri Opera Omnia, Series Prima XV, Commentationes Analyticae Vol. 2, 217-267; Novi Comm. Acad. Sci. Petropol.20 (1775), 140-186. 
  2. [2] V.G. Drinfeld, On quasitriangular Quasi-Hopf algebras and a group closely connected with Gal(/Q). Leningrad Math. J.24 (1991), 829-860. Zbl0728.16021MR1080203
  3. [3] D. Zagier, Values of zeta functions and their applications. Proc. First European Congress of Mathematics, Vol. 2, Birkhäuser, Boston (1994), 497-512. Zbl0822.11001MR1341859
  4. [4] A.B. Goncharov, Polylogarithms in arithmetic and geometry. roc. ICM-94 Zürich, Vol. 1, Birkhäuser, Boston (1995), 374-387. Zbl0849.11087MR1403938
  5. [5] D. Bar-Natan, On associators and the Grothendieck-Teichmuller Group I. In http://xxx.lanl.gov/abs/q-alg/9606021 and http://www.ma.huji.ac.il/~drorbn 
  6. [6] M.E. Hoffman, The Algebra of Multiple Harmonic Series. J. Algebra194 (1997), 477-495. Zbl0881.11067MR1467164
  7. [7] Hoang Ngoc Minh, M. Petitot, J. Van Der Hoeven, Shuffle algebra and polylogarithms. Proc. of FPSAC'98, 10-th international Conference on Formal Power Series and Algebraic Combinatorics, June 98, Toronto. Zbl0965.68129
  8. [8] J.M. Borwein, D.M. Bradley, D.J. Broadhurst, P. Lisonk, Combinatorial Aspects of Multiple Zeta Values. The Electronic Journal of Combinatorics5 (1998), #R38. Zbl0904.05012MR1637378
  9. [9] A.B. Goncharov, Multiple polylogarithms, cyclotomy and modular complexes. Math. Research Letter5 (1998), 497-516. Zbl0961.11040MR1653320
  10. [10] Hoang Ngoc Minh, M. Petitot, J. Van Der Hoeven, L'algèbre des polylogarithmes par les séries génératrices. Proc. of FPSAC'99, 11-th international Conference on Formal Power Series and Algebraic Combinatorics, June 99, Barcelona. 
  11. [11] M. Kontsevich, Periods. Journée annuelle de la Société Mathématique de France1999, 28-39. Zbl1058.11501MR1798435
  12. [12] U. Müller, C. Schubert, A Quantum Field Theoretical Representation of Euler-Zagier Sums. http://xxx.lanl.gov/abs/math/9908067 Zbl1085.05016
  13. [13] Hoang Ngoc Minh, M. Petitot, Lyndon words, polylogarithms and the Riemann ζ function. Formal power series and algebraic combinatorics (Vienna, 1997). Discrete Math.217 (2000), 273-292. Zbl0959.68144
  14. [14] J Écalle, La libre génération des multizêtas et leur décomposition canonico-explicite en irréductibles. Manuscrit, 1999. 
  15. [15] Hoang Ngoc Minh, M. Petitot, Contribution à l'étude des MZV. Manuscrit, 1999. 
  16. [16] Hoang Ngoc Minh, G. Jacob, M. Petitot, N.E. Oussous, Aspects combinatoires des polylogarithmes et des sommes d'Euler-Zagier. Sém. Lothar. Combin.43 (1999), Art. B43e, 29 pp. (electronic). Zbl0964.33003

Citations in EuDML Documents

top
  1. Jean-Yves Enjalbert, Hoang Ngoc Minh, Analytic and combinatoric aspects of Hurwitz polyzêtas
  2. Stéphane Fischler, Groupes de Rhin-Viola et intégrales multiples
  3. Tanguy Rivoal, Séries hypergéométriques et irrationalité des valeurs de la fonction zêta de Riemann
  4. J. Cresson, S. Fischler, T. Rivoal, Séries hypergéométriques multiples et polyzêtas
  5. Francis C. S. Brown, Multiple zeta values and periods of moduli spaces 𝔐 ¯ 0 , n
  6. Stéphane Fischler, Irrationalité de valeurs de zêta

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.