Let $G$ be a locally compact group and $\Gamma$ a lattice (=discrete subgroup of $G$ such that $G/\Gamma$ carries a probability measure $\mu$ that is invariant under the action of $G$ by left-multiplication).

My vague question is: "How to measure the lack of cocompactness of $\Gamma$"?.

Edit: My question was indeed unclear. I am not looking for a criterion that says me whether a lattice is cocompact. Given a non-cocompact lattice, I am looking for a way of quantifying "how much non-cocompact" it is. I propose below such a measurement (and ask what can be said about it), but if somebody has other propositions I will be happy.

A natural such measurement in the case when $G$ has a compact generating set is the following. One can equip $G$ with the word length metric $d$ corresponding to some compact generating set, and consider the sequence $n \mapsto u_n=1 - \mu (B(0,n) \Gamma)$. It is easy to see that $\Gamma$ is cocompact if and only if $u_n=0$ for all sufficiently large $n$. The speed of convergence of $u_n$ to zero in some sense should measure how far we are from this ideal situation. This is related to the integrability properties of $w \mapsto d(1,w)$ on a suitably chosen fundamental domain $\Omega \in G$ for the action of $\Gamma$ on $G$ by right-multiplication.

Has this been studied? What is the typical behaviour of $u_n$ in the case of (arithmetic) lattices in Lie or algebraic groups? In a first time I would already be happy to have an answer for $\Gamma=SL(3,\mathbf Z)$. My guess is that number theorists may have already studied this.

  • 3
    $\begingroup$ You might first mention the case of the hyperbolic plane, where $u_n$ tends exponentially fast to zero. In general, I don't know (although I'd guess naively that it's always exponential convergence for lattices in semisimple Lie groups). You might like to look at the Benoist-Quint papers, they consider random walks on $G/\Gamma$ and address the problem of estimating how the walk is likely to visit a cusp (I know I'm vague but certainly it's relevant to your question even if maybe it's not exactly the same issue!). $\endgroup$ – YCor Oct 24 '12 at 13:05
  • $\begingroup$ Thanks Yves for these usefull comments. I will have a look at the Benoist-Quint papers. I am not familiar with the result you mention about the hyperbolic plane. Do you know a reference? $\endgroup$ – Mikael de la Salle Oct 24 '12 at 17:30
  • 1
    $\begingroup$ I think this may be related to the $\mathbb{Q}$-rank. You might have a look at Chapter 2 of Dave Witte-Morris' book on arithmetic groups. people.uleth.ca/~dave.morris/books/IntroArithGroups.html $\endgroup$ – Ian Agol Oct 24 '12 at 18:47
  • $\begingroup$ In the Lie semisimple case, my feeling is that your function is equivalent (in the sense which allows a linear factor on the variable) to the function $r\mapsto 1-\mu(B(n))$ where $B(n)$ is the ball in the geodesic metric of the symmetric space. Then in the case of a cusp in the hyperbolic plane it's just an obvious computation (essentially, you measure the rectangle $[-1,1]+[e^r,\infty[i$ in the Poincaré model). $\endgroup$ – YCor Oct 24 '12 at 19:52

It seems to be that what you are asking for is roughly the measure of a neighborhood of the "cusp" of $G/\Gamma$.

For the case of $\Omega(n) = SL(n,\mathbb{R})/SL(n,\mathbb{Z})$ there is a classical calculation of a closely related quantity. Recall that $\Omega(n)$ is the moduli space of unimodular lattices in $\mathbb{R}^n$.

For $\epsilon > 0$, let $\Omega_\epsilon(n) \subset \Omega(n)$ denote the subset parametrizing lattices in which the shortest vector has length at least $\epsilon$. Then the complement of $\Omega_\epsilon(n)$ is compact (This is called Mahler compactness).

I will describe below how to estimate the measure $\mu(\Omega_\epsilon(n))$. (This is similar to the quantity you wanted to compute).

Let $f: \mathbb{R}^n \to \mathbb{R}$ be a compactly supported function. Define the "Siegel Transform" $\hat{f}: \Omega_n \to \mathbb{R}$ by $$\hat{f}(\Delta) = \sum_{v \in \Delta'} f(v),$$ where $\Delta'$ is the set of primitive vectors in the lattice $\Delta$. The Siegel integral formula (which you can prove by unfolding) says that $$\int_{\Omega_n} \hat{f} \\,d\mu = \frac{1}{\zeta(n)} \int_{\mathbb{R}^n} f.$$ Now take $f$ to be the characterisric function of the ball of radius $\epsilon$ around the origin. Then the integral on the left is supported on $\Omega_\epsilon(n)$, and $\hat{f} \ge 1$ on $\Omega_\epsilon(n)$. It turns out that to compute the leading term in the asymptotics as $\epsilon \to 0$, you might as well assume that $\hat{f} = 1$ on $\Omega_{\epsilon}(n)$. You get, that as $\epsilon \to 0$, $$\mu(\Omega_\epsilon(n)) \sim \frac{1}{\zeta(n)} Vol(B(0,\epsilon)).$$

Similar calculations can be done for other non-uniform lattices but things get more technical. The terms to google for are "Eisenstein Series" and "precise reduction theory".

| cite | improve this answer | |
  • $\begingroup$ Great! I will have to digest all this, but this seems to be the kind of answer I was looking for. $\endgroup$ – Mikael de la Salle Oct 25 '12 at 6:21

If $G$ is a simple linear algebraic group defined over the rationals, then $G({\mathbb Z}\subset G({\mathbb R})$ is a lattice (a result of Borel and Harisch-Chandra). Moreover, $G({\mathbb R}/G({\mathbb Z})$ is non-compact if and only if $G({\mathbb Z})$ contains unipotent elements (this is called Godement's criterion).

In particular, in your case, $SL_3({\mathbb Z})$ is indeed a non-cocompact lattice in $SL_n({\mathbb R})$ although this special case was known probably to Hermite (if not earlier).

Actually, this is true for all lattices in simple Lie groups (I believe this is due to Kazhdan-Margulis).

There is aslo a result of Selberg which says that if $\Gamma $ is a lattice in a locally compact group $G$, and if $G/\Gamma $ is non-compact, then there exists a sequence of elements $\gamma _n \neq 1$ in the lattice, and a sequence of elements $g_n\in G$ such that $g_n\gamma _n g_n^{-1}$ tends to the identity.

| cite | improve this answer | |
  • $\begingroup$ Thanks for these comments, but how is this related to my question? Can we relate the behaviour of my sequence $u_n$ in terms of the location in $G(\mathbb Z)$ of the unipotents elements? $\endgroup$ – Mikael de la Salle Oct 24 '12 at 12:39
  • $\begingroup$ Well, the Godement criterion measures the lack of cocompactness; I did not know you wanted it onlyin your terms. Sorry! Aakumadula $\endgroup$ – Venkataramana Oct 24 '12 at 12:46
  • 1
    $\begingroup$ Ok, my question was not clear, sorry. I do not want a criterion that says wether a lattice is cocompact. I want, given a non-cocompact lattice, to measure how non-cocompact it is. I will change my question accordingly. $\endgroup$ – Mikael de la Salle Oct 24 '12 at 12:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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