Abstract :
Recently there has been much interest in multiple harmonic seriesimage(which converge when the exponentsijare positive integers andi1 > 1), also known as multiple zeta values or Euler/Zagier sums. Starting with the noncommutative polynomial algebraQleft angle bracketx, yright-pointing angle bracket, we define a second multiplication which is commutative and associative, and call the resulting structure the harmonic algebra image. As a graded commutative algebra, image turns out to be a free polynomial algebra with the number of generators in degreengiven by the Witt formula for the numberN(n) of basis elements of degreenin the free Lie algebra on two generators. Multiple harmonic series can be thought of as images under a map ζ : image0 → Rwhich is a homomorphism with respect to the commutative multiplication, where image0is an appropriate subalgebra of image. If we calli1 + ··· + ikthe weight of the series ζ(i1,…,ik), then (forn > 1) there are at mostN(n) series of weightnthat are irreducible in the sense that they are not sums of rational multiples of products of multiple harmonic series of lower weight. In fact, our approach gives an explicit set of “algebraically” irreducible multiple harmonic series. We also show that there is a subalgebra image0 subset of image1 subset of image related to the shuffle algebra which contains the algebra image of symmetric functions: in fact, ζ maps the elements of image ∩ image0to algebraic combinations of zeta values ζ(i), for integeri ≥ 2. The map ζ is not injective; we show how several results about multiple harmonic series can be recast as statements about the kernel of ζ, and propose some conjectures on the structure of the algebra image0/ker ζ.
