[논문 리뷰] Drinfeld associators, braid groups and explicit solutions of the Kashiwara-Vergne equations

Anton Alekseev, Benjamin Enriquez외 1명|ArXiv.org|2009. 03. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 6

한 줄 요약

이 논문은 드린펠트 애수기터에서 형식적 카시와라–베르느(Kashiwara–Vergne) 방정식의 해로의 명시적, 표준적인 사상 구축을 통해, 이것이 토르서의 준동형임을 증명한다. 애수기터 Φ를 통해 정의된 자기동형사상 μΦ가 유효한 헥사곤 항등식을 통해 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.

연구 동기 및 목표

• 드린펠트 애수기터의 집합에서 형식적 카시와라–베르느(Kashiwara–Vergne) 방정식의 해의 집합으로의 명시적, 표준적인 사상 구축.
• 이 사상이 애수기터와 KV 해에 작용하는 갈루아 군 GT₁과 GRT₁과 호환되는 토르서 준동형임을 증명.
• 애수기터 Φ로부터 정의된 자기동형사상 μΦ가 유효한 헥사곤 항등식을 통해 KV 방정식을 만족함을 보임.
• 이 구축을 KZ 애수기터로 특수화하면 원래 KV 추측에 대한 실수 해를 얻을 수 있음을 보임.
• 브레이드 군 표현과 리 대수의 코homology를 사용하여 애수기터와 KV 해를 연결하는 핵심 항등식 (2)에 대한 직접적인 대수적 증명 제공.

제안 방법

• 두 생성자에 대한 위상적으로 자유로운 리 대수 위에서 μΦ(x) = Φ(x, -x−y)xΦ(x, -x−y)⁻¹ 및 μΦ(y) = e⁻⁽ˣ⁺ʸ⁾∕²Φ(y, -x−y)yΦ(y, -x−y)⁻¹e⁽ˣ⁺ʸ⁾∕²로 정의된 자기동형사상 μΦ를 정의.
• 자기동형사상 μΦ에 대해 항등식 μΦ¹²,³∘μΦ¹,² = μΦ¹,²³∘μΦ²,³ 가 성립함을 증명하여, 그 자코비안이 코boundary임을 유도.
• 순수 브레이드 군의 프루니피otent 완비화에서 지수화된 호로노미 리 대수로의 동형사상 μΦᴼ을 자유군으로 제한.
• 다른 괄호화 방식을 연결하기 위해 재귀적 항등식 μᴼ⁽ⁱ⁾ = μᴼ¹,²,...,ⁱⁱ⁺¹,...,ⁿ∘μ•(••)ⁱ,ⁱ⁺¹를 수립하고 핵심 항등식을 유도.
• 드린펠트 애수기터의 유효한 헥사곤 및 대칭 항등식을 직접 활용하여 μΦ(log(eˣeʸ)) = x + y 가 성립함을 검증.
• GT₁(k)과 GRT₁(k)의 작용이 애수기터와 KV 해에 각각 작용함에 따라, 이 사상 Φ ↦ μΦ 가 군 준동형을 통해 호환됨을 보임.

실험 결과

연구 질문

• RQ1 드린펠트 애수기터에서 형식적 카시와라–베르느(Kashiwara–Vergne) 방정식의 해로의 명시적, 표준적인 사상 구축이 가능한가?
• RQ2 이 사상이 애수기터와 KV 해에 작용하는 GT₁과 GRT₁의 작용을 유지하는 토르서 준동형인가?
• RQ3 애수기터 Φ로부터 정의된 자기동형사상 μΦ가 KV 방정식을 만족하는가, 특히 핵심 항등식 μΦ¹²,³∘μΦ¹,² = μΦ¹,²³∘μΦ²,³가 성립하는가?
• RQ4 KZ 애수기터를 사용하여 원래 카시와라–베르느 추측에 대한 실수 해를 구성할 수 있는가?
• RQ5 브레이드 군 표현, 애수기터, KV 방정식을 연결하는 대수적 구조는 무엇인가?

주요 결과

• 사상 Φ ↦ μΦ 는 드린펠트 애수기터의 집합에서 형식적 KV 방정식의 해의 집합으로의 잘 정의된 토르서 준동형이다.
• 자기동형사상 μΦ 는 항등식 μΦ¹²,³∘μΦ¹,² = μΦ¹,²³∘μΦ²,³ 를 만족하며, 이는 그 자코비안이 코boundary임을 의미한다.
• 모든 애수기터에 대해 항등식 μΦ(log(eˣeʸ)) = x + y 가 성립하며, 이는 헥사곤 및 대칭 항등식을 직접 활용하여 검증되었다.
• KZ 애수기터로 특수화할 경우 원래 카시와라–베르느 추측에 대한 ℝ 위의 해를 얻는다.
• GT₁(k)과 GRT₁(k)의 작용이 애수기터에서 KV 해로의 작용으로 유도되며, 군 준동형 αf와 ag를 통해 호환된다.
• 애수기터에 관련된 KV 해의 애핀 선은 {Inn(eˢ⁽ˣ⁺ʸ⁾)∘μΦ | s ∈ k} 의 형태를 가지며, 이는 이전 연구에서 예측한 구조를 확인한다.