Multiplicative convolution and double shuffle relations: convolution

TL;DR

This paper explores a geometric interpretation of the Deligne-Terasoma approach to regularized double shuffle relations, focusing on isomorphisms related to vanishing cycles and convolution of perverse sheaves.

Contribution

It introduces a specific functorial isomorphism that ensures compatibility with convolution, linking geometric structures to algebraic relations in multiple zeta values.

Findings

Isomorphism between vanishing cycles and tensor products of perverse sheaves.

Compatibility of the isomorphism with convolution implies double shuffle relations.

Framework sets the stage for further study of associator relations.

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.