# Formal descriptions of Turaev's loop operations

Abstract : Using intersection and self-intersection of loops, Turaev introduced in the seventies two fundamental operations on the algebra $\mathbb{Q}[\pi]$ of the fundamental group $\pi$ of a surface with boundary. The first operation is binary and measures the intersection of two oriented based curves on the surface, while the second operation is unary and computes the self-intersection of an oriented based curve. It is already known that Turaev's intersection pairing has an algebraic description when the group algebra $\mathbb{Q}[\pi]$ is completed with respect to powers of its augmentation ideal and is appropriately identified to the degree-completion of the tensor algebra $T(H)$ of $H:=H_1(\pi;\mathbb{Q})$. In this paper, we obtain a similar algebraic description for Turaev's self-intersection map in the case of a disk with $p$ punctures. Here we consider the identification between the completions of $\mathbb{Q}[\pi]$ and $T(H)$ that arises from a Drinfeld associator by embedding $\pi$ into the pure braid group on $(p+1)$ strands; our algebraic description involves a formal power series which is explicitly determined by the associator. The proof is based on some three-dimensional formulas for Turaev's loop operations, which involve $2$-strand pure braids and are shown for any surface with boundary.
Keywords :
Document type :
Journal articles
Domain :

https://hal.archives-ouvertes.fr/hal-01228376
Contributor : Gwénaël Massuyeau <>
Submitted on : Friday, November 13, 2015 - 9:14:20 AM
Last modification on : Friday, October 19, 2018 - 1:27:26 PM

### Citation

Gwenael Massuyeau. Formal descriptions of Turaev's loop operations. Quantum Topology, 2018, 9 (1), pp.39-117. ⟨10.4171/QT/103⟩. ⟨hal-01228376⟩

Record views