Leibman's conjecture on polynomial nilmanifold orbit averages

From papers

Let W=N/ΛW=N/\Lambda be a connected nilmanifold, let Y=π(H)Y=\pi(H) be a connected subnilmanifold of WW, where HH is a connected closed subgroup of NN and π:NW\pi:N\to W is the quotient map. Let g:ZNg:\mathbb Z\to N be a polynomial sequence with g(0)=IdNg(0)=\operatorname{Id}_N such that g(Z)Yg(\mathbb Z)Y is dense in WW, and assume that NN is generated by its connected component NoN^o and the elements of gg. Let ZZ be the normal closure of YY in WW. Leibman's conjecture. For every fC(W)f\in C(W),

limn(g(n)Yfdμg(n)Yg(n)Zfdμg(n)Z)=0.\lim_{n\to\infty}\left(\int_{g(n)Y}f\,d\mu_{g(n)Y}-\int_{g(n)Z}f\,d\mu_{g(n)Z}\right)=0.

The paper's appendix is explicitly devoted to disproving this conjecture, so the asserted statement is refuted by the paper's example.

Progress summary

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

Sources & referencesView supporting material

Primary source

Or Shalom, “Non-vanishing of multiple correlation sequences”, arXiv:2607.13286 (2026).

Solutions 0

No solutions have been posted yet.