English

Counterexamples to the xz-Conjecture and the Mathieu Conjecture for SU(2)

Group Theory 2026-07-21 v1 Commutative Algebra Classical Analysis and ODEs

Abstract

Let I(h)=01Th(x,z)dz2πizdx(hC[x,z,z1]). {\mathcal I}(h)=\int_0^1\int_{\mathbb T}h(x,z)\,\frac{dz}{2\pi iz}\,dx \qquad \bigl(h\in{\mathbb C}[x,z,z^{-1}]\bigr). We give the three-term Laurent polynomial f(x,z)=(1z1)((1x)+xz) f(x,z)=(1-z^{-1})\bigl((1-x)+xz\bigr) for which I(fn)=0,I(z1fn)=(1)n1n+10(n1). {\mathcal I}(f^n)=0, \qquad {\mathcal I}(z^{-1}f^n)=\frac{(-1)^{n-1}}{n+1}\neq0 \qquad(n\geq1). Since Sp(f)={1,0,1}{\operatorname{Sp}}(f)=\{-1,0,1\}, this disproves the xzxz-conjecture already with one interval variable and one torus variable, and it also shows that kerI\ker{\mathcal I} is not a Mathieu--Zhao subspace. Padding gives counterexamples to every mixed case of the xzxz-conjecture. Writing the coordinate functions on SU(2)SU(2) as g=(acbd), g=\begin{pmatrix}a&c\\ b&d\end{pmatrix}, the same example lifts, through the integration formula of M\"uger and Tuset, to the regular functions F=(1+c)(ad+b),G=c, F=(1+c)(ad+b),\qquad G=-c, which satisfy SU(2)Fndg=0,SU(2)FnGdg=(1)n1n+10 \int_{SU(2)}F^n\,dg=0, \qquad \int_{SU(2)}F^nG\,dg=\frac{(-1)^{n-1}}{n+1}\neq0 for every n1n\geq1. Thus the Mathieu conjecture for SU(2)SU(2) is false.

Keywords

Cite

@article{arxiv.2607.19012,
  title  = {Counterexamples to the xz-Conjecture and the Mathieu Conjecture for SU(2)},
  author = {Christopher D. Long},
  journal= {arXiv preprint arXiv:2607.19012},
  year   = {2026}
}

Comments

8 pages, 0 figures