MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

A famous theorem of Borel and Serre says that if $R$ is the ring of integers in an algebraic number field, then $\text{SL}_n(R)$ satisfies virtual Bieri-Eckmann duality. In other words, there exists a torsion-free finite-index subgroup $\Gamma$ of $\text{SL}_n(R)$ and a $\text{SL}_n(R)$-module $D$ such that

$$H^{\nu - k}(\Gamma;M) \cong H_{k}(\Gamma;M \otimes D)$$

for all $k$ and all $\text{SL}_n(R)$-modules $M$, where $\nu < \infty$ is the cohomological dimension of $\Gamma$.

Question : Are there any other rings $R$ such that $\text{SL}_n(R)$ is known to be a virtual duality group? Or where it is known not to be one? I suppose that one necessary condition is that $\text{SL}_n(R)$ has to have finite virtual cohomological dimension, so I'm only interested in counterexamples in which that holds (so, for instance, I'm not interested in $\text{SL}_n(\mathbb{C})$).

share|cite|improve this question

Actually, Borel and Serre proved the result you mention for S-arithmetic groups: If $K$ is a number field, $S$ a finite set of places of $K$ and $\mathcal{O}_S$ the subring of $K$ of elements that are integral outside $S$ (called $S$-integers) then $SL_n(\mathcal{O}_S)$ is a virtual duality group. This is shown in

Borel, Serre: Cohomologie d'immeubles et de groupes S-arithmétiques. Topology 15(1976), 211-232. Théorème 6.2

To give an example, if $K=\mathbb{Q}$ then $\mathcal{O}_S=\mathbb{Z}[\frac{1}{p_1},...,\frac{1}{p_s}]$ where $p_i$ are rational primes.

Of interest may also be a result of Behr in the functional field case: Let $K$ be a finite extension of the function field $\mathbb{F}_{p^n}(X)$. Then, with the same notation as above, $SL_n(\mathcal{O}_S)$ has a duality subgroup $\Gamma_0$ of finite index. However, in contrast to the number field case, $\Gamma_0$ has $p$-torsion. (see Theorem 1 of this paper).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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