# nLab Drinfeld associator

### Context

#### Algebra

higher algebra

universal algebra

# Contents

## Definition

Let $\mathbf{k}$ be a field of characteristic 0 and $\lambda \in \mathbf{k}^*$. A $\lambda$-Drinfeld associator, or just $\lambda$-associator, is a grouplike element $\Phi(a,b)$ of the $\mathbf{k}$-algebra of formal power series in two non-commuting variables $a,b$ satisfying:

1. The pentagon equation
$\Phi(t_{12} , t_{23} + t_{24} )\Phi(t_{13} + t_{23} , t_{34} ) = \Phi(t_{23} , t_{34} )\Phi(t_{12} + t_{13} , t_{24} + t_{34} )\Phi(t_{12} , t_{23} )$

in $\widehat{U(L_4)}$

2. the hexagon equation
$\exp(\lambda a/2)\Phi(c,a)\exp(\lambda c/2)\Phi(b,c)\exp(\lambda b/2)\Phi(a,b)=1$

where $L_4$ is the fourth Drinfeld-Kohno Lie algebra and $c=-a-b$.

###### Remark

The set of “0-associators” is the what is called the Grothendieck-Teichmueller group. This acts freely on the set of Drinfeld associators.

## Relations with braided monoidal categories

These equations are modelled on the defining axioms of braided monoidal categories. Indeed, associators provides a universal way of constructing braided monoidal categories out of some Lie algebraic data.

Drinfeld associators are also used to construct quasi-Hopf algebras.

###### Theorem

Let $(\mathfrak{g},t)$ be a metrizable Lie algebra, that is a Lie algebra $\mathfrak{g}$ together with a non-degenerate symmetric $\mathfrak{g}$-invariant 2-tensor $t$. Then if $\Phi$ is a $\lambda$-associator and $\hbar$ a formal variable, then the action of

$\Phi(\hbar (t \otimes 1),\hbar (1\otimes t)) \in U(\mathfrak{g})^{\otimes 3}[[\hbar]]$

and $e^{\hbar \lambda t/2}\circ P$ turns the category of $U(\mathfrak{g} ) [ [ \hbar ] ]$ module into a braided monoidal category, where $P$ is the flip: $P(a\otimes b)=b\otimes a$.

###### Remark

Examples of metrizable Lie algebras are provided by simple Lie algebras, in which case $t$ is a scalar mutliple of the Killing form. The braided monoidal category obtained this way is equivalent to that constructed from the corresponding quantum group, by the Drinfeld-Kohno theorem.

## Existence

An explicit associator over $\mathbf{C}$ was constructed by Drinfeld from the monodromy of a universal version of the Knizhnik-Zamolodchikov equation. Using the non-emptiness of the set of associators, and the fact that is is a torsor under the action of the Grothendieck-Teichmueller group, he show that associators over $\mathbf{Q}$ also exists.

## Applications

Revised on November 25, 2013 10:50:14 by Derek Wise (62.156.45.174)