Leibman's connected orbit-closure conjecture for polynomial sequences

About 1 year old · traced to

Let (X=G/Γ,a)(X=G/\Gamma,a) be a totally minimal nilsystem, let p1,…,pd∈Z[x]p_1,\ldots,p_d\in\mathbb{Z}[x] satisfy pi(0)=0p_i(0)=0, and define the polynomial sequence g(n)=ap1(n)⊗⋯⊗apd(n)g(n)=a^{p_1(n)}\otimes\cdots\otimes a^{p_d(n)} in GdG^d. Let ΔXd={(x,…,x):x∈X}\Delta_{X^d}=\{(x,\ldots,x):x\in X\} be the diagonal.

Leibman's conjecture. The orbit closure

{g(n)ΔXd:n∈Z}‾\overline{\{g(n)\Delta_{X^d}:n\in\mathbb{Z}\}}

is connected.

The paper presents this as a special case of Leibman's Conjecture 11.4 and proves that it is equivalent to the polynomial odd-recurrence conjecture above. The conjecture remains open in the supplied source.

References

Primary source

Daniel Glasscock, Andreas Koutsogiannis, Anh N. Le, Joel Moreira, Florian K. Richter and Donald Robertson, “A structure theorem for polynomial return-time sets in minimal systems”, arXiv:2511.02080 (2026).

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.