A local Theory of Domains and its (Noncommutative) Symbolic Counterpart

Abstract

It is widely accepted nowadays that polyzetas are connected by polynomial relations. One way to obtain relations among polyzetas is to consider their generating series and the relations among the coefficients of these generating series. This leads to the re-indexation of the coefficients of the generating series of polylogarithms itself, recently mentioned in [5,13] and, in a way, this work is a continuation of [6]. But, in order to understand the bridge between this extension of this "polylogarithmic calculus" and the world of harmonic sums, a local theory of domains has to be done, preserving quasi-shuffle identities, Taylor expansions and Hadamard products. In this contribution, we present a sketched and abridged version of this theory.As an example of generating series, one can consider the eulerian gamma function,and this may suggest to regularize the divergent zeta value ζ (1), for the quasi-shuffle structure, as to be Euler's γ constant. In the same vein, in [5], we introduce a family of eulerian functions,This being done, in this work, via their analytical aspects, we establish, on one side, their existence and the fact that their inverses are entire. On the other side, using the same symmetrization technique, we give their distributions of zeroes 1 .