A. Alekseev,E. Meinrenken
Abstract:We give a Poisson-geometric proof of the Kashiwara-Vergne conjecture for quadratic Lie algebras, based on the equivariant Moser trick.
What problem does this paper attempt to address?
This paper attempts to solve the proof problem of the Kashiwara - Vergne conjecture in quadratic Lie algebras. Specifically, the author provides a new proof for quadratic Lie algebras by introducing the method of Poisson geometry, especially using the equivariant Moser trick.
### Background of the Kashiwara - Vergne Conjecture
In 1977, Duflo [8] proved the local solvability of bi - invariant differential operators on any finite - dimensional Lie group \(G\). Subsequently, Kashiwara and Vergne [9] proposed a property of the Campbell - Hausdorff series, which not only implies Duflo's result but also covers more general statements of convolution (germs of) invariant distributions. They proved that this property holds for solvable Lie algebras.
Except for the case of \(\mathfrak{g}=\mathfrak{sl}(2,\mathbb{R})\) proved by Rouvière [10], little progress was made on this conjecture in the following two decades. Until Vergne [12] solved the case of quadratic Lie algebras, and soon after, [6, 5, 11] used Kontsevich's deformation quantization method to solve more general cases.
### Main Contributions of the Paper
This paper provides a new proof of the Kashiwara - Vergne conjecture for quadratic Lie algebras by the method of Poisson geometry. The specific steps are as follows:
1. **Poisson Structures and Moment Maps**:
- A family of Poisson structures \(P_t\) is introduced in the neighborhood of the origin of \(\mathfrak{g}\times\mathfrak{g}\).
- Ensure that the diagonal action of \(G\) is Hamiltonian and define the moment map \(\Phi_t(X,Y)=\frac{1}{t}\log(e^{tX}e^{tY})\).
2. **Application of the Moser Trick**:
- Use the Moser argument to define a time - dependent vector field \(v_t\), which interpolates the Poisson structures and the moment map, in particular, associates the addition \(\Phi_0 = X + Y\) and the multiplication \(\Phi_1=\log(e^X e^Y)\).
- Prove that the Moser vector field directly gives the solution to the Kashiwara - Vergne problem.
3. **Geometric Formulation and Volume Forms**:
- Define the volume form \(\kappa_t\) and prove that the vector field \(v_t\) intertwines \(\Phi_t\) and the volume form \(\kappa_t\Gamma\).
4. **Specific Constructions for Quadratic Lie Algebras**:
- For the quadratic Lie algebra \(\mathfrak{g}\), construct an equivariant closed equivariant 2 - form \(\sigma_G\), and relate it to the Kirillov Poisson structure through the exponential map.
- Obtain the Moser vector field \(v_t\) by scaling the Poisson structure \(P_t\) and applying the de Rham homotopy operator.
### Conclusion
This paper successfully provides a new proof of the Kashiwara - Vergne conjecture on quadratic Lie algebras by the method of Poisson geometry. This method not only shows the powerful tool of Poisson geometry in solving such problems but also provides new ideas and methods for follow - up research.
### Formula Summary
The specific conditions of the Kashiwara - Vergne conjecture are as follows:
1. There exist \(\mathfrak{g}\)-valued analytic functions \(A\) and \(B\) such that:
\[
\log(e^Y e^X)-X - Y=(1 - e^{-\text{ad}_X})A(X,Y)+(e^{\text{ad}_Y}-1)B(X,Y)
\]
2. Satisfy the following trace condition:
\[
\text{tr}(\t