Algèbre de Hopf quasi triangulaire
# Algèbre de Hopf quasi triangulaire

En mathématiques, une algèbre de Hopf $H$ est dite quasi triangulaire s'il existe un élément inversible $R\in H\otimes H$ qui vérifie :

* $\forall x\in H,\ \Delta ^{op}(x)=R\Delta (x)R^{-1}$
* $(1\otimes \Delta )(R)=R_{13}R_{12}$
* $(\Delta \otimes 1)(R)=R_{13}R_{23}$

où :

* $\Delta$ est le coproduit de $H$
* Si $\Delta (x)=\sum x_{i}^{(1)}\otimes x_{i}^{(2)}$, alors $\Delta ^{op}(x)=\sum x_{i}^{(2)}\otimes x_{i}^{(1)}$
* Si $R=\sum a_{i}\otimes b_{i}$, alors
   * $R_{12}=\sum a_{i}\otimes b_{i}\otimes 1$
   * $R_{13}=\sum a_{i}\otimes 1\otimes b_{i}$
   * $R_{23}=\sum 1\otimes a_{i}\otimes b_{i}$

## Applications

### Mécanique statistique

À partir des relations précédente, on prouve que $R$ fournit une solution de l'équation de Yang-Baxter quantique :

$R_{12}R_{13}R_{23}=R_{23}R_{13}R_{12}$

### Algèbre et topologie

La donnée d'un algèbre de Hopf quasi triangulaire permet de construire des représentations du groupe de tresse. Plus précisément, la catégorie des représentations d'une algèbre de Hopf quasi triangulaire est une catégorie monoïdale tressée.

