Let $A=k\mathbb \Pi$ be the group algebra of an abelian group $\Pi$ and let $B(A)=\bigoplus\_{k=0}^\infty\,B^k(A)$ be the unnormalized bar complex of $A$ with generators $[a\_0,\dots,a\_k] \in B^k(A)=A^{\otimes (k+1)}$. Geometrically, we can think of these generators as labelled $k$-simplices. That is, vertices are labelled by $a\_i$'s, edges are labelled by pairs $(a\_i,a\_j)$ for $i<j$ and so on.


On $B(A)$ we have a shuffle product $\ast\_{p,q}:B^p(A)\otimes B^q(A) \to B^{p+q}(A)$.


My question is, do you have a reference for a geometric interpretation of the shuffle $[a\_0,\dots,a\_p]\ast[b\_0,\dots,b\_q]$ as a simplicial complex? For simplicity, we assume that there are no relations between the $a\_i$'s and $b\_j$'s.



Geometric interpretation of shuffle product
Perhaps this is more naïve than you are looking for, but here is one interpretation: one representation of an $n$ simplex is the following


$$\Delta\_n=\{(t\_1,t\_2,\dotsc,t\_n)\mid 0\leq t\_1\leq t\_2\leq\dotsb\leq t\_n\leq 1\}.$$


The product of two such simplices has a canonical decomposition into a disjoint union of subsimplices


$$\Delta\_m\times\Delta\_n=\bigsqcup \Delta\_{m+n,\sigma}$$


where, if we use $s\_i$ ($t\_i$) for coordinates on $\Delta\_m$ ($\Delta\_n$), $\sigma$ represents a total order on the union $\{s\_1,\ldots,s\_m,t\_1,\ldots,t\_n\}$ compatible with the internal orders of each set of coordinates. In particular, $\sigma$ is a shuffle. So every term in a shuffle product corresponds to a subsimplex in this decomposition


Then, thinking of the elements of $A$ as functions on $[0,1]$ and of $[a\_1,\dotsc,a\_m]$ as an integral over $\Delta\_m$, and similarly for the $b$ term, the product $[a\_1,\dotsc,a\_m]\star [b\_1,\dotsc, b\_n]$ represents an integral on the product of simplices, which is equal to the sum of the integrals over the subsimplices.


A good example here is Chen's iterated integrals, and the iterated integral representation of multiple zeta values, where this is used to show that the product of two iterated integrals is equal to a sum over shuffles.


