The weighted Laurent-polynomial Mathieu conjecture

Let M,NM,N be non-negative integers. Let f,gC[x1,,xN,z1±1,,zM±1]f,g\in\mathbb{C}[x_1,\ldots,x_N,z_1^{\pm1},\ldots,z_M^{\pm1}], and let δC[x1,,xN]\delta\in\mathbb{C}[x_1,\ldots,x_N] be a monomial of odd degree in all variables. Let (N,M)\int_{(N,M)} denote the integral used in the paper.

Weighted Laurent-polynomial Mathieu conjecture. If

(N,M)fnδ=0\int_{(N,M)}f^n\delta=0

for all nNn\in\mathbb{N}, then

(N,M)fngδ=0\int_{(N,M)}f^n g\delta=0

for all but finitely many nNn\in\mathbb{N}.

The conjecture is formulated to imply Mathieu's conjecture while eliminating reference to Lie groups. The case N=0N=0 is known from the supplied context, while the general case remains open; only partial results are mentioned for N=1N=1, M=0M=0.

Sources & referencesView supporting material

Primary source

Michael Müger and Lars Tuset, “An integral formula for Lie groups, and the Mathieu conjecture reduced to Abelian non-Lie conjectures”, arXiv:2410.11622 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.