Skip to main content
MathOverflow

Return to Question

added 146 characters in body
Source Link
Colin Reid
Colin Reid
  • 4.7k
  • 27
  • 38

CommensuratedLet $G$ be a group and let $K$ be a subgroup. Say $K$ is commensurated in $G$ if $gKg^{-1} \cap K$ has finite index in $K$ for all $g \in G$. Commensurated subgroups are an inherent feature of totally disconnected, locally compact groups: namely, if $G$ is t.d.l.c. and neither discrete nor compact, then $G$ has an infinite open profinite subgroup $K$ of infinite index, which is then commensurated in $G$. Moreover, given any group $G$ with a commensurated subgroup $K$, there is a natural localised profinite completion $\hat{G}_K$ of $G$ at $K$, which is a t.d.l.c. group such that the closure of the image of $K$ is an open compact subgroup of $\hat{G}_K$.

What I am looking for is examples of classes of countable groups where interesting commensurated subgroups arise naturally and/or have some significance, so that t.d.l.c. methods might be useful (similar to the way countable residually finite groups are sometimes studied via profinite groups). Here 'interesting' basically means 'not commensurate to a normal subgroup'. I know for instance they show up in linear groups over number fields, e.g. $\mathrm{SL}_n(\mathbb{Z})$ inside $\mathrm{SL}_n(\mathbb{Q})$. (In this vein, there is an article by Yehuda Shalom and George Willis on the arXiv about commensurated subgroups of arithmetic groups.) Any more examples coming from different contexts?

Commensurated subgroups are an inherent feature of totally disconnected, locally compact groups: namely, if $G$ is t.d.l.c. and neither discrete nor compact, then $G$ has an infinite open profinite subgroup $K$ of infinite index, which is then commensurated in $G$. Moreover, given any group $G$ with a commensurated subgroup $K$, there is a natural localised profinite completion $\hat{G}_K$ of $G$ at $K$, which is a t.d.l.c. group such that the closure of the image of $K$ is an open compact subgroup of $\hat{G}_K$.

What I am looking for is examples of classes of countable groups where interesting commensurated subgroups arise naturally and/or have some significance, so that t.d.l.c. methods might be useful (similar to the way countable residually finite groups are sometimes studied via profinite groups). Here 'interesting' basically means 'not commensurate to a normal subgroup'. I know for instance they show up in linear groups over number fields, e.g. $\mathrm{SL}_n(\mathbb{Z})$ inside $\mathrm{SL}_n(\mathbb{Q})$. (In this vein, there is an article by Yehuda Shalom and George Willis on the arXiv about commensurated subgroups of arithmetic groups.) Any more examples coming from different contexts?

Let $G$ be a group and let $K$ be a subgroup. Say $K$ is commensurated in $G$ if $gKg^{-1} \cap K$ has finite index in $K$ for all $g \in G$. Commensurated subgroups are an inherent feature of totally disconnected, locally compact groups: namely, if $G$ is t.d.l.c. and neither discrete nor compact, then $G$ has an infinite open profinite subgroup $K$ of infinite index, which is then commensurated in $G$. Moreover, given any group $G$ with a commensurated subgroup $K$, there is a natural localised profinite completion $\hat{G}_K$ of $G$ at $K$, which is a t.d.l.c. group such that the closure of the image of $K$ is an open compact subgroup of $\hat{G}_K$.

What I am looking for is examples of classes of countable groups where interesting commensurated subgroups arise naturally and/or have some significance, so that t.d.l.c. methods might be useful (similar to the way countable residually finite groups are sometimes studied via profinite groups). Here 'interesting' basically means 'not commensurate to a normal subgroup'. I know for instance they show up in linear groups over number fields, e.g. $\mathrm{SL}_n(\mathbb{Z})$ inside $\mathrm{SL}_n(\mathbb{Q})$. (In this vein, there is an article by Yehuda Shalom and George Willis on the arXiv about commensurated subgroups of arithmetic groups.) Any more examples coming from different contexts?

Source Link
Colin Reid
Colin Reid
  • 4.7k
  • 27
  • 38

Interesting commensurated subgroups of countable groups

Commensurated subgroups are an inherent feature of totally disconnected, locally compact groups: namely, if $G$ is t.d.l.c. and neither discrete nor compact, then $G$ has an infinite open profinite subgroup $K$ of infinite index, which is then commensurated in $G$. Moreover, given any group $G$ with a commensurated subgroup $K$, there is a natural localised profinite completion $\hat{G}_K$ of $G$ at $K$, which is a t.d.l.c. group such that the closure of the image of $K$ is an open compact subgroup of $\hat{G}_K$.

What I am looking for is examples of classes of countable groups where interesting commensurated subgroups arise naturally and/or have some significance, so that t.d.l.c. methods might be useful (similar to the way countable residually finite groups are sometimes studied via profinite groups). Here 'interesting' basically means 'not commensurate to a normal subgroup'. I know for instance they show up in linear groups over number fields, e.g. $\mathrm{SL}_n(\mathbb{Z})$ inside $\mathrm{SL}_n(\mathbb{Q})$. (In this vein, there is an article by Yehuda Shalom and George Willis on the arXiv about commensurated subgroups of arithmetic groups.) Any more examples coming from different contexts?