[论文解读] Drinfeld associators, braid groups and explicit solutions of the Kashiwara-Vergne equations

Anton Alekseev, Benjamin Enriquez+1 more|ArXiv.org|Mar 24, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 6

一句话总结

本文構造了一個從 Drinfeld 關聯器到形式 Kashiwara–Vergne (KV) 方程解的顯式、規範映射，證明其為扭子的同態。它確立了透過關聯器 Φ 定義的自同構 μΦ 滿足 KV 方程，其依據是六邊形恆等式；當特化至 KZ 關聯器時，可得出原始 KV 猜想的一個實解。

ABSTRACT

The Kashiwara-Vergne (KV) conjecture states the existence of solutions of a pair of equations related with the Campbell-Baker-Hausdorff series. It was solved by Meinrenken and the first author over the real numbers, and in a formal version, by the first and last authors over a field of characteristic 0. In this paper, we give a simple and explicit formula for a map from the set of Drinfeld associators to the set of solutions of the formal KV equations. Both sets are torsors under the actions of prounipotent groups, and we show that this map is a morphism of torsors. When specialized to the KZ associator, our construction yields a solution over the reals of the original KV conjecture.

研究动机与目标

• 構造從 Drinfeld 關聯器集合到形式 Kashiwara–Vergne 方程解集合的顯式、規範映射。
• 證明此映射是扭子的同態，且與 GT₁ 和 GRT₁ 群作用相容，分別作用於關聯器與 KV 解。
• 證明由關聯器 Φ 定義的自同構 μΦ 透過六邊形恆等式滿足 KV 方程。
• 示範將構造特化至 KZ 關聯器時，可得出原始 KV 猜想的一個實解。
• 提供關聯器與 KV 解之間關鍵恆等式 (2) 的直接代數證明，使用 braid 群表示與李代數上同調。

提出的方法

• 透過 μΦ(x) = Φ(x, -x−y)xΦ(x, -x−y)⁻¹ 和 μΦ(y) = e⁻⁽ˣ⁺ʸ⁾∕²Φ(y, -x−y)yΦ(y, -x−y)⁻¹e⁽ˣ⁺ʸ⁾∕²，定義在兩個生成元的拓撲自由李代數上的自同構 μΦ。
• 證明自同構 μΦ 的恆等式 μΦ¹²,³∘μΦ¹,² = μΦ¹,²³∘μΦ²,³ 成立，此式暗示其雅可比行列式為上邊界。
• 使用從純 braid 群的偽冪零完備化到指數化holonomy 李代數的同構 μΦᴼ，限制於自由群。
• 建立遞歸恆等式 μᴼ⁽ⁱ⁾ = μᴼ¹,²,...,ⁱⁱ⁺¹,...,ⁿ∘μ•(••)ⁱ,ⁱ⁺¹，以關聯不同括號化形式，並推導出關鍵恆等式。
• 利用 Drinfeld 關聯器的六邊形與對偶恆等式，直接驗證 μΦ(log(eˣeʸ)) = x + y。
• 證明映射 Φ ↦ μΦ 與 GT₁(k) 和 GRT₁(k) 在關聯器與 KV 解上的作用相容，透過群同態實現。

实验结果

研究问题

• RQ1 能否從 Drinfeld 關聯器到形式 Kashiwara–Vergne 方程解構造出一個規範的顯式映射？
• RQ2 此映射是否為扭子同態，並保持 GT₁ 與 GRT₁ 群作用於關聯器與 KV 解上的結構？
• RQ3 由關聯器 Φ 定義的自同構 μΦ 是否滿足 KV 方程，包括關鍵恆等式 μΦ¹²,³∘μΦ¹,² = μΦ¹,²³∘μΦ²,³？
• RQ4 KZ 關聯器能否用於構造原始 Kashiwara–Vergne 猜想的一個實解？
• RQ5 braid 群表示、關聯器與 KV 方程之間的代數結構為何？

主要发现

• 映射 Φ ↦ μΦ 是從 Drinfeld 關聯器集合到形式 KV 方程解集合的良定義扭子同態。
• 自同構 μΦ 滿足 KV 方程恆等式 μΦ¹²,³∘μΦ¹,² = μΦ¹,²³∘μΦ²,³，此式暗示其雅可比行列式為上邊界。
• 對所有關聯器，恆等式 μΦ(log(eˣeʸ)) = x + y 成立，透過六邊形與對偶恆等式直接驗證。
• 將構造特化至 KZ 關聯器時，可得出原始 Kashiwara–Vergne 猜想在 ℝ 上的一個解。
• GT₁(k) 與 GRT₁(k) 在關聯器上的群作用，透過群同態 αf 與 ag，誘導出對 KV 解的相容作用。
• 與關聯器相關的 KV 解仿射直線形式為 {Inn(eˢ⁽ˣ⁺ʸ⁾)∘μΦ | s ∈ k}，確認了先前研究預測的結構。