[論文レビュー] 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

ひとこと要約

本稿は、ドリンフェルトの結び目関数から形式的カシワラ＝ベルンの（KV）方程式の解への明示的・標準的な写像を構成し、これが torsor の準同型であることを証明する。この写像により、関数 Φ から定義される自己同型 μΦ が六角形恒等式を用いて 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.

研究の動機と目的

• ドリンフェルトの結び目関数の集合から形式的カシワラ＝ベルン方程式の解の集合への明示的・標準的な写像を構成すること。
• この写像が、結び目関数と KV 解の両方に作用するガロア群 GT₁ と GRT₁ と整合する torsor の準同型であることを証明すること。
• 結び目関数 Φ から定義される自己同型 μΦ が、六角形恒等式を用いて KV 方程式を満たすことを示すこと。
• この構成を KZ 結び目関数に特殊化することで、元の KV 猜想の実数解が得られることを示すこと。
• ぶらうど群表現とリー代数コホモロジーを用いて、結び目関数と KV 解を結ぶ重要な恒等式 (2) の直接的な代数的証明を提供すること。

提案手法

• 2つの生成元を持つ位相的に自由なリー代数上に、μΦ(x) = Φ(x, -x−y)xΦ(x, -x−y)⁻¹ および μΦ(y) = e⁻⁽ˣ⁺ʸ⁾∕²Φ(y, -x−y)yΦ(y, -x−y)⁻¹e⁽ˣ⁺ʸ⁾∕² により自己同型 μΦ を定義する。
• 自己同型 μΦ に対して、恒等式 μΦ¹²,³∘μΦ¹,² = μΦ¹,²³∘μΦ²,³ が成り立つことを証明し、これによりそのヤコビアンがコバウンダリーであることを示す。
• 純ぶらうど群のプロユニポテンツ完成から指数化されたホロノミー・リー代数への同型 μΦᴼ を定義し、自由群に制限する。
• 異なる括弧の付け方を関連付ける再帰的恒等式 μᴼ⁽ⁱ⁾ = μᴼ¹,²,...,ⁱⁱ⁺¹,...,ⁿ∘μ•(••)ⁱ,ⁱ⁺¹ を確立し、重要な恒等式を導出する。
• ドリンフェルトの結び目関数の六角形恒等式と双対性恒等式を直接用いて、μΦ(log(eˣeʸ)) = x + y が成り立つことを検証する。
• GT₁(k) と GRT₁(k) の作用が、それぞれ結び目関数と KV 解に作用する際に、群準同型を通じて写像 Φ ↦ μΦ と整合することを示す。

実験結果

リサーチクエスチョン

• RQ1 ドリンフェルトの結び目関数から形式的カシワラ＝ベルン方程式の解への標準的で明示的な写像を構成できるか？
• RQ2 この写像は、GT₁ と GRT₁ が結び目関数と KV 解に作用するのと整合する torsor の準同型か？
• RQ3 結び目関数 Φ から定義される自己同型 μΦ は、恒等式 μΦ¹²,³∘μΦ¹,² = μΦ¹,²³∘μΦ²,³ を含めて KV 方程式を満たすか？
• RQ4 KZ 結び目関数を用いて、元のカシワラ＝ベルンの予想の実数解を構成できるか？
• RQ5 ぶらうど群表現、結び目関数、および KV 方程式を結ぶ代数的構造は何か？

主な発見

• 写像 Φ ↦ μΦ は、ドリンフェルトの結び目関数の集合から形式的 KV 方程式の解の集合へのwell-definedな torsor の準同型である。
• 自己同型 μΦ は、恒等式 μΦ¹²,³∘μΦ¹,² = μΦ¹,²³∘μΦ²,³ を満たし、これによりそのヤコビアンがコバウンダリーであることが示される。
• すべての結び目関数に対して、直接的に六角形恒等式と双対性恒等式を用いて、恒等式 μΦ(log(eˣeʸ)) = x + y が成り立つ。
• KZ 結び目関数に特殊化することで、元のカシワラ＝ベルン予想に対する ℝ 上の解が得られる。
• GT₁(k) と GRT₁(k) の結び目関数への作用は、群準同型 αf と ag を介して KV 解への作用に誘導され、整合的である。
• 結び目関数に対応する KV 解のアフィン直線は、{Inn(eˢ⁽ˣ⁺ʸ⁾)∘μΦ | s ∈ k} の形を取り、以前の研究で予測された構造を確認する。