[論文レビュー] The Kashiwara-Vergne conjecture and Drinfeld's associators

Anton Alekseev, Charles Torossian|ArXiv.org|Feb 28, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 11

ひとこと要約

本稿は、拡張された群 $\hat{\rm KV}_2$ を導入することで、Kashiwara-Vergne (KV) 予想と Drinfeld の型形式理論の間に深い接続を確立する。この群 $\hat{\rm KV}_2$ は、KV 問題の解空間に自由かつ推移的に作用し、解の集合が $\mathbb{K}$ と ${\rm KV}_3$ 内の五角形方程式の解の積に同型であることを証明する。この同型により、Drinfeld の型形式が存在することを根拠に、KV 予想の新たな証明が得られる。

ABSTRACT

The Kashiwara-Vergne (KV) conjecture is a property of the Campbell-Hausdorff series put forward in 1978. It has been settled in the positive by E. Meinrenken and the first author in 2006. In this paper, we study the uniqueness issue for the KV problem. To this end, we introduce a family of infinite dimensional groups KV_n, and an extension \hat{KV}_2 of the group KV_2. We show that the group \hat{KV}_2 contains the Grothendieck-Teichmueller group GRT as a subgroup, and that it acts freely and transitively on the set of solutions of the KV problem Sol(KV). Furthermore, we prove that Sol(KV) is isomorphic to a direct product of a line \k (\k being a field of characteristic zero) and the set of solutions of the pentagon equation with values in the group KV_3. The latter contains the set of Drinfeld's associators as a subset. As a by-product, we obtain a new proof of the Kashiwara-Vergne conjecture based on the Drinfeld's theorem on existence of associators.

研究の動機と目的

• KV 予想の解の一意性問題を解決すること。
• KV 問題と Drinfeld の型形式理論との間の構造的関係を確立すること。
• KV 問題の解空間に自由かつ推移的に作用する拡張群 $\hat{\rm KV}_2$ を構成すること。
• KV 問題の対称的解が ${\rm KV}_3$ に値をとる Drinfeld の型形式に対応することを示すこと。
• Drinfeld の型形式の存在を根拠に、Kashiwara-Vergne 予想の新たな証明を与えること。

提案手法

• $n \geq 2$ に対して無限次元群 ${\rm KV}_n$ の族を導入し、${\rm KV}_2$ の拡張 $\hat{\rm KV}_2$ を定義する。
• $\hat{\rm KV}_2$ が解空間 ${\rm Sol}(\hat{\rm KV})$ に作用することを定義し、それが自由かつ推移的であることを示す。
• ${\rm Sol}(\hat{\rm KV})$ と $\mathbb{K} \times {\rm Sol}_{\text{pent}}({\rm KV}_3)$ の間に同型を構成する。ここで ${\rm Sol}_{\text{pent}}({\rm KV}_3)$ は ${\rm KV}_3$ 内の五角形方程式の解の集合を表す。
• 対合 $\tau$ を導入して対称的解を選別し、${\rm Sol}^\tau(\hat{\rm KV}) \cong \mathbb{K} \times \text{Drinfeld の型形式 in } {\rm KV}_3$ を得る。
• Drinfeld の型形式の既知の存在性を用いて、対称的 KV 解の存在を示し、これにより KV 予想の新たな証明を得る。
• $\hat{\rm KV}_2$ の次数付きリーヒューリー代数構造を解析し、${\rm GRT}$ と比較することで、数値実験で次数 16 まで一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 KV 問題の解空間は、${\rm KV}_3$ 内の五角形方程式の解の集合と直積 $\mathbb{K}$ に同型であるか？
• RQ2 $\hat{\rm KV}_2$ の対称性群は、直積 $\mathbb{K} \times {\rm GRT}$ と同一視可能か？
• RQ3 KV 問題のすべての解は、${\rm KV}_3$ に制限したときに Drinfeld の型形式から得られるか？
• RQ4 型形式の存在性を根拠に、Kashiwara-Vergne 予想を変形量子化とは独立に証明できるか？
• RQ5 対合 $\tau$ は KV 問題の対称的解を選別する際に果たす役割は何か？

主な発見

• ${\rm Sol}(\hat{\rm KV})$ は $\mathbb{K} \times {\rm Sol}_{\text{pent}}({\rm KV}_3)$ に同型であり、ここで ${\rm Sol}_{\text{pent}}({\rm KV}_3)$ は ${\rm KV}_3$ 内の五角形方程式の解の集合である。
• $\hat{\rm KV}_2$ は ${\rm Sol}(\hat{\rm KV})$ に自由かつ推移的に作用し、解の完全なパrametrizationを確立する。
• ${\rm GRT}$ が $\hat{\rm KV}_2$ に埋め込まれており、KV 理論と Grothendieck-Teichmüller 理論との間に深い構造的関係があることを示している。
• 対称的解の集合 ${\rm Sol}^\tau(\hat{\rm KV})$ は $\mathbb{K} \times \text{Drinfeld の型形式 in } {\rm KV}_3$ に同型であり、対称的 KV 解が正確に型形式に対応することを証明する。
• Drinfeld の型形式の存在性から、対称的 KV 解の存在が導かれ、変形量子化とは独立した Kashiwara-Vergne 予想の新たな証明が得られる。
• 数値的証拠から、$\hat{\rm KV}_2$ の次数付きリーヒューリー代数は、次数 16 まで ${\rm GRT}$ と一致しており、同型である可能性を示唆している。