Stable-perturbation conjecture for bounded cone orbits

About 1 year old · traced to

Let d≥3d\geq 3, let Xd=SLd(R)/SLd(Z)X_d=\mathrm{SL}_d(\mathbb{R})/\mathrm{SL}_d(\mathbb{Z}), and let a\mathfrak{a} be the diagonal subalgebra of sld(R)\mathfrak{sl}_d(\mathbb{R}). For an open cone C⊆aC\subseteq\mathfrak{a}, let ACA_C be its image under the exponential map. A bounded ACA_C-orbit is an ACA_C-stable perturbation of a compact AA-orbit if it has the form x=gyx=gy, where g∈H0−(AC)g\in H^{0-}(A_C) and AyAy is compact, with

H0−(AC)=⋂a∈A{g∈G:lim⁡n→+∞anga−n exists}.H^{0-}(A_C)=\bigcap_{a\in A}\{g\in G:\lim_{n\to+\infty}a^nga^{-n}\ \text{exists}\}.

Stable-perturbation conjecture. For every open cone C⊆aC\subseteq\mathfrak{a}, every bounded ACA_C-orbit in XdX_d contains an ACA_C-stable perturbation of a compact AA-orbit. This is presented as a refined form of Margulis' conjecture for general cones, and no resolution is given.

References

Primary source

Dmitry Kleinbock and Chengyang Wu, “Simultaneously bounded and dense orbits for commuting Cartan actions”, arXiv:2509.05272 (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.