9
$\begingroup$

If $\Gamma\subseteq SL(n,\mathbb{R})$ is a lattice (i.e. discrete and finite covolume), does $\Gamma$ necessarily contain some $\mathbb{R}$-diagonalizable copy of $\mathbb{Z}^{n-1}$?

I know that the answer is yes if the lattice is cocompact, and that the answer is also yes in the case $\Gamma=SL(n,\mathbb Z)$. So I wonder if every lattice satisfies this property.

$\endgroup$
10
  • 1
    $\begingroup$ What exactly does your second sentence mean??? $\endgroup$
    – Igor Rivin
    Jul 3, 2012 at 23:46
  • $\begingroup$ I've edited the question to make it clearer. Hopefully I didn't change what the OP is asking. $\endgroup$ Jul 4, 2012 at 0:16
  • $\begingroup$ Ah, much better! $\endgroup$
    – Igor Rivin
    Jul 4, 2012 at 0:37
  • $\begingroup$ That is what I meant, thanks for the correction. $\endgroup$
    – ALB
    Jul 4, 2012 at 3:24
  • $\begingroup$ @ALB: I am curious as to why the proof is easier for uniform lattices?! $\endgroup$
    – Igor Rivin
    Jul 4, 2012 at 4:38

2 Answers 2

13
$\begingroup$

The answer is yes. It is theorem [2.13] of the following paper of Prasad and Raghunathan:

Prasad, Gopal; Raghunathan, M. S. Cartan subgroups and lattices in semi-simple groups. Ann. of Math. (2) 96 (1972), 296–317.

There is also a lot of information in this paper: http://www.math.bgu.ac.il/~barakw/papers/clorbit.pdf

Note that diagonalizable copies of $\mathbb{Z}^{n-1}$ in $\Gamma$ correspond to closed orbits for the action of the full diagonal subgroup of $SL(n,\mathbb{R})$ on $SL(n,\mathbb{R})/\Gamma$.

This is related to the Margulis conjecture which (with some caveats) states that the closure of any orbit of the full diagonal on $SL(n,\mathbb{R})/\Gamma$ is algebraic, i.e. is itself the closed orbit of some subgroup. This conjecture is the biggest open problem in homogeneous dynamics (and in particular implies the Littlewood conjecture in number theory).

$\endgroup$
1
  • $\begingroup$ The link to the paper is dead, but, it should be available here. $\endgroup$ Aug 3, 2023 at 19:19
8
$\begingroup$

This is a theorem of G. Prasad and M.S. Raghunathan. See Theorem 7.2 in this paper of Steve Hurder's (rigidity of Anosov actions) -- the original reference is a bit less friendly.

$\endgroup$
1
  • $\begingroup$ @Alex Eskin and Igor Rivin: Ok, thank you for your precise answers and additionnal information. $\endgroup$
    – ALB
    Jul 4, 2012 at 16:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.