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

Asociadores de Drinfeld y asociadores de Kashiwara-Vergne en géneros superiores

Información Básica

  • ID del Artículo: 2511.00473
  • Título: Asociadores de Drinfeld y asociadores de Kashiwara-Vergne en géneros superiores
  • Autor: Toyo TANIGUCHI (Instituto de Ciencias Matemáticas, Universidad de Tokio)
  • Clasificación: math.QA (Álgebra Cuántica), math.AT (Topología Algebraica)
  • Fecha de Publicación: 1 de noviembre de 2025
  • Enlace del Artículo: https://arxiv.org/abs/2511.00473

Resumen

Este artículo estudia la relación entre asociadores de Drinfeld y asociadores de Kashiwara-Vergne en el caso de géneros superiores. Para g≥0g \geq 0, el autor construye directamente asociadores de Kashiwara-Vergne de género gg a partir de los asociadores de Drinfeld de género gg propuestos por Gonzalez (denominados asociadores de Gonzalez-Drinfeld), que son soluciones de la ecuación KV generalizada introducida por Alekseev-Kawazumi-Kuno-Naef, relacionadas con el problema de formalidad del álgebra de Lie bialgebra de Goldman-Turaev en superficies orientadas. La demostración se basa en el trabajo de Massuyeau en el caso de género 0. El marco se determina automáticamente por la elección del asociador de Gonzalez-Drinfeld; en el caso de género 1, el autor demuestra que solo existe un marco específico que puede realizarse mediante esta construcción.

Antecedentes y Motivación de la Investigación

Contexto del Problema

  1. Asociadores de Drinfeld: Originalmente definidos por Drinfeld en la categoría de representaciones de cuasi-álgebras de Hopf, expresados como la forma exponencial de series de Lie en dos variables que satisfacen un conjunto específico de ecuaciones. Tienen aplicaciones importantes en topología de baja dimensión, particularmente en la construcción del invariante de nudos de Kontsevich.
  2. Problema de Kashiwara-Vergne: Originario de objetos relacionados en la teoría de Lie, estrechamente relacionado con asociadores de Drinfeld. Alekseev-Torossian demostraron que es posible construir soluciones de la ecuación KV generalizada a partir de asociadores de Drinfeld.
  3. Álgebra de Lie bialgebra de Goldman-Turaev: Definida en superficies orientadas, su problema de formalidad es casi equivalente al asociador KV. Massuyeau ya ha construido un morfismo de formalidad directamente a partir del asociador de Drinfeld en el caso de género 0.

Motivación de la Investigación

  • Perfeccionamiento teórico: Generalizar los resultados conocidos de género 0 a géneros arbitrarios g≥0g \geq 0
  • Unificación estructural: Establecer una conexión directa entre asociadores de Drinfeld de género superior y asociadores KV
  • Comprensión geométrica: Profundizar en la comprensión de la relación entre estructuras algebraicas y propiedades topológicas en superficies

Contribuciones Principales

  1. Construcción del mapeo Ig,n+1:Assg′→Formg,n+1I_{g,n+1}: \text{Ass}'_g \to \text{Form}_{g,n+1}, del asociador de Gonzalez-Drinfeld de género gg al mapeo de formalidad del álgebra de Lie bialgebra de Goldman-Turaev
  2. Establecimiento del mapeo de levantamiento I~g,n+1:Assg′→SolKVg,n+1\tilde{I}_{g,n+1}: \text{Ass}'_g \to \text{SolKV}_{g,n+1}, que mapea asociadores de Gonzalez-Drinfeld a soluciones del problema KV
  3. Demostración de la equivariancia de la acción de grupo: La acción del grupo de Grothendieck-Teichmüller GT^g′\widehat{GT}'_g en SolKVg,n+1\text{SolKV}_{g,n+1} es equivariante con respecto al mapeo I~g,n+1\tilde{I}_{g,n+1}
  4. Determinación de restricciones de marco: Se demuestra que en el caso de género 1, solo el marco dado por campos vectoriales constantes en el toro plano puede realizarse

Explicación Detallada de Métodos

Definición de la Tarea

Construir un mapeo explícito del conjunto de asociadores de Gonzalez-Drinfeld de género gg Assg′\text{Ass}'_g al conjunto de asociadores KV SolKVg,n+1\text{SolKV}_{g,n+1}, de modo que este mapeo mantenga compatibilidad con las soluciones conocidas del problema de formalidad.

Marco Técnico Principal

1. Asociadores de Gonzalez-Drinfeld

Definidos como isomorfismos de operadas en la categoría de grupoide de Hopf completo: K^PaBf→PaCDf\hat{K}\text{PaBf} \to \text{PaCDf} y isomorfismos de módulos de operadas compatibles: K^PaBfg→PaCDfg\hat{K}\text{PaBf}_g \to \text{PaCDf}_g

Donde:

  • PaBf\text{PaBf}: Operada del grupo de trenzas puro enmarcado
  • PaCDf\text{PaCDf}: Operada del álgebra de Lie de Drinfeld-Kohno enmarcada

2. Fórmula Tridimensional para Operaciones de Anillo

Basada en el trabajo de Massuyeau, utilizando el emparejamiento de Fox η\eta y la cuasiderivada \mu_\vec{\cdot}:

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

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

3. Lema Clave

Lema 4.1: Existe un diagrama conmutativo

undefined