2025-11-11T11:46:09.694245

Drinfeld associators and Kashiwara-Vergne associators in higher genera

Taniguchi

For $g\geq 0$, a genus $g$ Kashiwara-Vergne associator, introduced by Alekseev-Kawazumi-Kuno-Naef as a solution to the generalised KV equations in relation to the formality problem of the Goldman-Turaev Lie bialgebra on an oriented surface with a framing, is directly constructed from a genus $g$ analogue of a Drinfeld associator formulated by Gonzalez, which we call a Gonzalez-Drinfeld associator. The proof is based on Massuyeau's work in genus 0. The framing is automatically determined from the choice of a Gonzalez-Drinfeld associator, and in the case of genus 1, we show that only one particular framing is realised by our construction.

academic

Associateurs de Drinfeld et associateurs de Kashiwara-Vergne en genres supérieurs

Informations fondamentales

ID de l'article: 2511.00473
Titre: Drinfeld associators and Kashiwara-Vergne associators in higher genera
Auteur: Toyo TANIGUCHI (Graduate School of Mathematical Sciences, Université de Tokyo)
Classification: math.QA (Algèbre quantique), math.AT (Topologie algébrique)
Date de publication: 1er novembre 2025
Lien de l'article: https://arxiv.org/abs/2511.00473

Résumé

Cet article étudie les relations entre les associateurs de Drinfeld et les associateurs de Kashiwara-Vergne dans le cas des genres supérieurs. Pour $g \geq 0$ , l'auteur construit directement les associateurs de Kashiwara-Vergne de genre $g$ à partir des associateurs de Drinfeld de genre $g$ proposés par Gonzalez (appelés associateurs de Gonzalez-Drinfeld), qui sont des solutions aux équations KV généralisées introduites par Alekseev-Kawazumi-Kuno-Naef, liées aux problèmes de formalité de l'algèbre de Lie bi-graduée de Goldman-Turaev sur les surfaces orientées. La preuve s'appuie sur les travaux de Massuyeau dans le cas du genre 0. Le cadre est automatiquement déterminé par le choix de l'associateur de Gonzalez-Drinfeld ; dans le cas du genre 1, l'auteur démontre qu'un seul cadre spécifique peut être réalisé par cette construction.

Contexte et motivation de la recherche

Contexte du problème

Associateurs de Drinfeld: Définis initialement par Drinfeld dans la catégorie des représentations de quasi-algèbres de Hopf, représentés comme des exponentielles de séries de Lie en deux variables satisfaisant un système d'équations spécifique. Ils ont des applications importantes en topologie de basse dimension, notamment dans la construction des invariants de nœuds de Kontsevich.
Problème de Kashiwara-Vergne: Provenant d'objets connexes en théorie de Lie, étroitement liés aux associateurs de Drinfeld. Alekseev-Torossian ont démontré que l'on peut construire des solutions aux équations KV généralisées à partir des associateurs de Drinfeld.
Algèbre de Lie bi-graduée de Goldman-Turaev: Définie sur les surfaces orientées, son problème de formalité est presque équivalent aux associateurs KV. Massuyeau a déjà construit directement un morphisme de formalité à partir de l'associateur de Drinfeld dans le cas du genre 0.

Motivation de la recherche

Perfectionnement théorique: Généraliser les résultats connus du genre 0 à un genre arbitraire $g \geq 0$
Unification structurelle: Établir un lien direct entre les associateurs de Drinfeld de genre supérieur et les associateurs KV
Compréhension géométrique: Approfondir la compréhension des relations entre les structures algébriques et les propriétés topologiques sur les surfaces

Contributions principales

Construction de l'application $I_{g,n+1}: \text{Ass}'_g \to \text{Form}_{g,n+1}$ , de l'ensemble des associateurs de Gonzalez-Drinfeld de genre $g$ vers l'ensemble des morphismes de formalité de l'algèbre de Lie bi-graduée de Goldman-Turaev
Établissement de l'application de relèvement $\tilde{I}_{g,n+1}: \text{Ass}'_g \to \text{SolKV}_{g,n+1}$ , qui envoie les associateurs de Gonzalez-Drinfeld vers les solutions du problème KV
Preuve de l'équivariance de l'action de groupe: L'action du groupe de Grothendieck-Teichmüller $\widehat{GT}'_g$ sur $\text{SolKV}_{g,n+1}$ est équivariante par rapport à l'application $\tilde{I}_{g,n+1}$
Détermination des restrictions de cadre: Démonstration que dans le cas du genre 1, seul le cadre donné par les champs de vecteurs constants sur le tore plat peut être réalisé

Explication détaillée des méthodes

Définition de la tâche

Construire une application explicite de l'ensemble des associateurs de Gonzalez-Drinfeld de genre $g$ $\text{Ass}'_g$ vers l'ensemble des associateurs KV $\text{SolKV}_{g,n+1}$ , de sorte que cette application soit compatible avec les solutions connues du problème de formalité.

Cadre technique principal

1. Associateurs de Gonzalez-Drinfeld

Définis comme des isomorphismes d'opérades dans la catégorie des groupoïdes de Hopf complets: $\hat{K}\text{PaBf} \to \text{PaCDf}$ ainsi que les isomorphismes de modules d'opérades compatibles: $\hat{K}\text{PaBf}_g \to \text{PaCDf}_g$

où:

$\text{PaBf}$ : l'opérade du groupe de tresses pur encadré
$\text{PaCDf}$ : l'opérade de l'algèbre de Lie de Drinfeld-Kohno encadrée

2. Formules tridimensionnelles pour les opérations en anneau

Basées sur les travaux de Massuyeau, utilisant l'appairage de Fox $\eta$ et la quasi-dérivée $\mu_\vec{\cdot}$ :

Appairage de Fox: $\eta(\alpha, \beta) = \sum_{p \in \alpha \cap \beta} \text{sign}(p;\alpha,\beta) \alpha_{up}\beta_{pv}$

Quasi-dérivée: $\mu_\vec{\cdot}(\vec{\alpha}) = \alpha + \sum_{p \in \text{Self}(\alpha)} \text{sign}(p;\alpha)\alpha_{*p}\alpha_{p*}$

3. Lemme clé

Lemme 4.1: Il existe un diagramme commutatif

undefined