The nonexistence conjecture for cocompact quotients of SL(n,R)/SL(m,R)SL(n,\mathbb{R})/SL(m,\mathbb{R})

Let m<nm<n and let [?][?] be a non-trivial homomorphism from SL(m,R)SL(m,\mathbb{R}) to SL(n,R)SL(n,\mathbb{R}).

Nonexistence conjecture. The homogeneous space

SL(n,R)/ψ(SL(m,R))SL(n,\mathbb{R})/\psi(SL(m,\mathbb{R}))

does not admit a cocompact discontinuous group.

This is stated as a special case of the standard quotient conjecture. The supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Toshiyuki Kobayashi, “Proper Actions and Representation Theory”, arXiv:2506.15616 (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.