An integral formula for Lie groups, and the Mathieu conjecture reduced to Abelian non-Lie conjectures

TL;DR

The paper derives an explicit integral formula for Haar measures on compact Lie groups using Poisson geometry and reduces the Mathieu conjecture to simpler conjectures involving Laurent polynomials, removing Lie group dependencies.

Contribution

It provides a new explicit integration formula for Haar integrals on compact Lie groups based on Poisson structures and reduces the Mathieu conjecture to Abelian polynomial conjectures.

Findings

Explicit Haar integral formula for compact Lie groups.

Reduction of Mathieu conjecture to Abelian polynomial conjectures.

Connection to known formulas by Reshetikhin-Yakimov.

Abstract

We present an explicit integration formula for the Haar integral on a compact connected Lie group. This formula relies on a known decomposition of a compact connected simple Lie group into symplectic leaves, when one views the group as a Poisson Lie group. In this setting the Haar integral is constructed using the Kostant harmonic volume form on the corresponding flag manifold, and explicit coordinates are known for these invariant differential forms. The formula obtained is related to one found by Reshetikhin-Yakimov. Using our integration formula, we reduce the Mathieu conjecture to two stronger conjectures about Laurent polynomials in several complex variables with polynomial coefficients in several real variable polynomials. In these stronger conjectures there is no reference to Lie group theory.