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

Drinfeld associators and Kashiwara-Vergne associators in higher genera

Basic Information

  • Paper ID: 2511.00473
  • Title: Drinfeld associators and Kashiwara-Vergne associators in higher genera
  • Author: Toyo TANIGUCHI (Department of Mathematical Sciences, University of Tokyo)
  • Classification: math.QA (Quantum Algebra), math.AT (Algebraic Topology)
  • Publication Date: November 1, 2025
  • Paper Link: https://arxiv.org/abs/2511.00473

Abstract

This paper investigates the relationship between Drinfeld associators and Kashiwara-Vergne associators in the higher genus setting. For g≥0g \geq 0, the author directly constructs genus gg Kashiwara-Vergne associators from the genus gg Drinfeld associators (called Gonzalez-Drinfeld associators) proposed by Gonzalez. These are solutions to the generalized KV equations introduced by Alekseev-Kawazumi-Kuno-Naef, which are related to the formality problem of Goldman-Turaev Lie bialgebras on oriented surfaces. The proof is based on Massuyeau's work in the genus 0 case. The framework is automatically determined by the choice of Gonzalez-Drinfeld associators. In the genus 1 case, the author proves that only one specific framework can be realized through this construction.

Research Background and Motivation

Problem Background

  1. Drinfeld Associators: Originally defined by Drinfeld in the associators of quasi-Hopf algebra representation categories, represented as exponentials of two-variable Lie series satisfying specific equations. They have important applications in low-dimensional topology, particularly in the construction of Kontsevich knot invariants.
  2. Kashiwara-Vergne Problem: Originating from related objects in Lie theory, closely connected to Drinfeld associators. Alekseev-Torossian proved that solutions to generalized KV equations can be constructed from Drinfeld associators.
  3. Goldman-Turaev Lie Bialgebras: Defined on oriented surfaces, their formality problem is almost equivalent to the KV associator problem. Massuyeau has already constructed formality morphisms directly from Drinfeld associators in the genus 0 case.

Research Motivation

  • Theoretical Completion: Generalize known genus 0 results to arbitrary genus g≥0g \geq 0
  • Structural Unification: Establish direct connections between higher genus Drinfeld associators and KV associators
  • Geometric Understanding: Deepen understanding of the relationship between algebraic structures and topological properties on surfaces

Core Contributions

  1. Constructed the map Ig,n+1:Assg′→Formg,n+1I_{g,n+1}: \text{Ass}'_g \to \text{Form}_{g,n+1}, mapping genus gg Gonzalez-Drinfeld associators to formality morphisms of Goldman-Turaev Lie bialgebras
  2. Established the lifting map I~g,n+1:Assg′→SolKVg,n+1\tilde{I}_{g,n+1}: \text{Ass}'_g \to \text{SolKV}_{g,n+1}, mapping Gonzalez-Drinfeld associators to solutions of the KV problem
  3. Proved equivariance of group action: The action of the Grothendieck-Teichmüller group GT^g′\widehat{GT}'_g on SolKVg,n+1\text{SolKV}_{g,n+1} is equivariant with respect to the map I~g,n+1\tilde{I}_{g,n+1}
  4. Determined framework restrictions: Proved that in the genus 1 case, only the framework given by constant vector fields on the flat torus can be realized

Methodology Details

Task Definition

Construct an explicit map from the set of genus gg Gonzalez-Drinfeld associators Assg′\text{Ass}'_g to the set of KV associators SolKVg,n+1\text{SolKV}_{g,n+1}, such that this map maintains compatibility with known solutions to the formality problem.

Core Technical Framework

1. Gonzalez-Drinfeld Associators

Defined as operadic isomorphisms in the category of complete Hopf groupoids: K^PaBf→PaCDf\hat{K}\text{PaBf} \to \text{PaCDf} and compatible operadic module isomorphisms: K^PaBfg→PaCDfg\hat{K}\text{PaBf}_g \to \text{PaCDf}_g

where:

  • PaBf\text{PaBf}: operads of framed pure braid groups
  • PaCDf\text{PaCDf}: operads of framed Drinfeld-Kohno Lie algebras

2. Three-Dimensional Formulas for Loop Operations

Based on Massuyeau's work, using Fox pairing η\eta and quasi-derivatives \mu_\vec{\cdot}:

Fox Pairing: η(α,β)=∑p∈α∩βsign(p;α,β)αupβpv\eta(\alpha, \beta) = \sum_{p \in \alpha \cap \beta} \text{sign}(p;\alpha,\beta) \alpha_{up}\beta_{pv}

Quasi-derivative: \mu_\vec{\cdot}(\vec{\alpha}) = \alpha + \sum_{p \in \text{Self}(\alpha)} \text{sign}(p;\alpha)\alpha_{*p}\alpha_{p*}

3. Key Lemma

Lemma 4.1: There exists a commutative diagram

1 @>>> \hat{\vec{\pi}} @>>> \widehat{PB}^f_{g,12\cdots n*0} @>>> \widehat{PB}^f_{g,12\cdots n0} @>>> 1\\ @. @V{Z_p}VV @V{Z_p}VV @V{Z_{\varepsilon_*(p)}}VV @.\\ 1 @>>> \exp(\hat{L}(H) \oplus Kt_{**}) @>>> \exp(t^f_{g,12\cdots n*0}) @>>> \exp(t^f_{g,12\cdots n0}) @>>> 1 \end{CD}$$ ### Construction Process #### Step One: Framework Definition For $\vec{\alpha} \in \vec{\pi}$, define the associated framework: $$\text{fr}_{\vec{Z}}(\vec{\alpha}) = -2 \cdot (\text{coefficient of } t_{**} \text{ in } \log Z_p(\vec{\alpha}))$$ #### Step Two: Formality Verification Verify through computation: - **Goldman bracket preservation**: $E = (-\odot-) + \rho_{s(\omega)}$ - **Turaev cobracket compatibility**: utilizing properties of quasi-derivatives #### Step Three: KV Solution Construction Lift the formality morphism to a tangential automorphism $\tilde{F} \in t\text{Aut}_+(\hat{L}(H))$ satisfying: - **(KVI)**: $F(\omega) = \xi$ - **(KVII)**: $j^{\text{fr}}_{\text{gr}}(\tilde{F}^{-1}) - r + p^{\text{fr}} \in |\sum_j z_j K[[z_j]] + \xi^2 K[[\xi]]|$ ## Experimental Setup ### Theoretical Verification This paper primarily involves theoretical construction and proof, with no numerical experiments. Verification methods include: 1. **Commutative Diagram Verification**: Checking compatibility between various natural maps 2. **Relation Verification**: Verifying preservation of Lie algebra relations throughout the construction 3. **Special Case Computations**: Detailed calculations of framework restrictions in the genus 1 case ### Computational Examples In Section 7, the author provides detailed calculations of the framework in the genus 1 case: For the relation $(D_g)$: $C^a_{(12),\emptyset} = C^a_{1,2}R_{1,2}C^a_{2,1}R_{2,1}$ By expanding $Z(A^a_{1,2}) = \exp(\xi^a_1 + s_a \cdot t_{11})$ and analyzing coefficients, one obtains: $$\text{fr}_{\vec{Z}}(A^{1,2}_a) = -2s_a = \sum_b 2(\nu^{xy})^a_{bb} - 1$$ ## Experimental Results ### Main Theorems **Theorem 5.5**: For $g,n \geq 0$, there exists a map $I_{g,n+1}: \text{Ass}'_g \to \text{Form}_{g,n+1}$ **Theorem 6.6**: There exists a map $\tilde{I}_{g,n+1}: \text{Ass}'_g \to \text{SolKV}_{g,n+1}$ as a lifting of $I_{g,n+1}$ **Theorem 6.9**: The map $\tilde{I}_{g,n+1}$ is $\widehat{GT}'_g$-equivariant **Theorem 7.1**: In the genus 1 case, only the framework given by constant vector fields on the flat torus can be realized ### Commutative Diagram Upon completion of the construction, the following commutative diagram is obtained: $$\begin{CD} \text{Ass}'_g @>{\tilde{I}_{g,n+1}}>> \text{SolKV}_{g,n+1}\\ @V{I_{g,n+1}}VV @VVV\\ \text{Form}_{g,n+1} @= \text{Form}_{g,n+1} \end{CD}$$ ## Related Work ### Historical Development 1. **Drinfeld (1990)**: Introduced the concept of Drinfeld associators 2. **Kashiwara-Vergne (1978)**: Proposed the KV problem 3. **Alekseev-Torossian (2012)**: Established connections between Drinfeld associators and KV solutions 4. **Massuyeau (2018)**: Explicit construction in the genus 0 case 5. **AKKN (2018, 2023)**: Introduction of higher genus KV equations ### Higher Genus Generalizations - **Enriquez (2014)**: Elliptic associators (genus 1) - **Gonzalez (2020)**: Drinfeld associators for arbitrary genus - **Felder (2021)**, **Campos-Idrissi-Willwacher (2019)**: Other higher genus generalizations ### Contribution of This Paper Compared to the indirect construction of Alekseev-Torossian, this paper provides a more direct construction method, though with less understanding of the properties of the map $\tilde{I}_{g,n+1}$. ## Conclusions and Discussion ### Main Conclusions 1. Successfully generalized Massuyeau's method to arbitrary genus 2. Established direct connections between Gonzalez-Drinfeld associators and KV associators 3. Proved equivariance properties of the construction 4. Determined uniqueness of the framework in the genus 1 case ### Limitations 1. **Existence Problem**: The existence of higher genus Gonzalez-Drinfeld associators remains an open question 2. **Map Properties**: Limited understanding of properties such as injectivity of the constructed map 3. **Computational Complexity**: Explicit computations become extremely complex in higher genus cases ### Future Directions 1. **Question 6.11**: Study the injectivity of the map $\text{Ass}'_g \to \prod_{n \geq 0} \text{SolKV}_{g,n+1}$ 2. Explore relationships with other higher genus associator definitions 3. Find concrete examples of solutions to higher genus KZB equations ## In-Depth Evaluation ### Strengths 1. **Theoretical Completeness**: Provides a complete construction chain from Drinfeld associators to KV associators 2. **Methodological Innovation**: Cleverly generalizes Massuyeau's three-dimensional formulas to higher genus 3. **Technical Depth**: Involves multiple profound theories including operadic theory, Lie bialgebras, and Grothendieck-Teichmüller groups 4. **Geometric Insight**: Reveals deep connections between surface geometry and algebraic structures ### Weaknesses 1. **Dependence on Assumptions**: Construction depends on the existence of Gonzalez-Drinfeld associators 2. **Computational Complexity**: Proofs involve extensive technical computations, affecting readability 3. **Limited Applications**: Primarily theoretical construction with limited practical applications ### Impact 1. **Theoretical Contribution**: Provides new tools for understanding algebraic structures on higher genus surfaces 2. **Methodological Value**: Construction methods may apply to other related problems 3. **Open Questions**: Raises several meaningful follow-up research questions ### Applicable Scenarios - Cross-disciplinary research between quantum algebra and algebraic topology - Study of Lie algebra structures on surfaces - Development of Grothendieck-Teichmüller theory - Algebraic methods in low-dimensional topology ## References The paper cites 40 related references, primarily including: - Drinfeld's original work [Dri90] - Foundational results of Alekseev-Torossian [AT12] - Massuyeau's genus 0 construction [Mas18] - AKKN's higher genus KV theory [AKKN18, AKKN23] - Gonzalez's higher genus Drinfeld associators [Gon20] --- This paper makes important theoretical contributions at the intersection of quantum algebra and algebraic topology. While highly technical, it provides new perspectives and tools for understanding algebraic structures on higher genus surfaces.