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
    Commented 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$ Commented Jul 4, 2012 at 0:16
  • $\begingroup$ Ah, much better! $\endgroup$
    – Igor Rivin
    Commented Jul 4, 2012 at 0:37
  • $\begingroup$ That is what I meant, thanks for the correction. $\endgroup$
    – ALB
    Commented Jul 4, 2012 at 3:24
  • $\begingroup$ @ALB: I am curious as to why the proof is easier for uniform lattices?! $\endgroup$
    – Igor Rivin
    Commented 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$ Commented 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
    Commented Jul 4, 2012 at 16:22

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .