Multiplicative convolution and double shuffle relations: convolution

Abstract

This is the first of two parts of a project devoted to a geometric interpretation of the Deligne-Terasoma approach to regularized double shuffle relations. The central fact of this approach is the isomorphism between vanishing cycles of multiplicative convolution of certain perverse sheaves and the tensor product of vanishing cycles, which may be written in two different ways. These isomorphisms depend on a choice of a functorial isomorphism $\varphi$ between vanishing cycles of a perverse sheaf on $\mathbb{C}^*$ and cohomology of its certain extension on $\mathbb{P}^1$. The isomorphism chosen in the present paper guarantees compatibilities with the isomorphisms. In the second part of the project, we will study other choices of $\varphi$. We will see that its compatibilities with convolution imply regularized double shuffle relations. In particular, associator relations imply them.