  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.

Quantum Algebra