[논문 리뷰] The Kashiwara-Vergne conjecture and Drinfeld's associators

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

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 11

한 줄 요약

이 논문은 Kashiwara-Vergne (KV) 추측과 Drinfeld의 이四十체 이론 사이의 깊은 연결 고리를 확장된 군 $\hat{\rm KV}_2$ 를 도입하여 확립한다. 이 군은 KV 문제의 해 공간 위에 자유롭고 추이적으로 작용하며, 해 집합이 선과 ${\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$ 를 정의한다.
• ${\rm Sol}(\hat{\rm KV})$ 해 공간 위에 $\hat{\rm KV}_2$ 의 작용을 정의하여 이것이 자유롭고 추이적임을 보인다.
• ${\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$ 내 오각형 방정식 해의 곱과 동형인가?
• RQ2 $\hat{\rm KV}_2$ 의 대칭군은 선과 Grothendieck-Teichmüller 군 ${\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})$ 위에 자유롭고 추이적으로 작용하여 해의 완전한 매개화를 확립한다.
• ${\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$ 의 순서형 리 대수와 ${\rm GRT}$ 가 차수 16까지 일치함을 보이며, 가능한 동형사상의 힌트를 제공한다.