On identities for zeta values in Tate algebras

Abstract

Zeta values in Tate algebras were introduced by Pellarin in 2012. They are generalizations of Carlitz zeta values and play an increasingly important role in function field arithmetic. In this paper we prove a conjecture of Pellarin on identities for these zeta values. The proof is based on arithmetic properties of Carlitz zeta values and an explicit formula for Bernoulli-type polynomials attached to zeta values in Tate algebras.