# Commensurators of thin normal subgroups and abelian quotients

## TL;DR

This paper proves that for certain infinite normal subgroups of arithmetic lattices in rank one Lie groups, the commensurator is discrete when the quotient admits a surjective homomorphism to integers, extending previous results.

## Contribution

It establishes discreteness of the commensurator for a broad class of thin normal subgroups with abelian quotients in rank one Lie groups.

## Key findings

- Discreteness of the commensurator under specified conditions
- Normalizers have finite index in the commensurator
- Generalizes previous results on subgroups of PSL_2(Z)

## Abstract

We give an affirmative answer to many cases of a question due to Shalom, which asks if the commensurator of a thin subgroup of a Lie group is discrete. In this paper, let $K<\Gamma<G$ be an infinite normal subgroup of an arithmetic lattice $\Gamma$ in a rank one simple Lie group $G$, such that the quotient $Q=\Gamma/K$ is infinite. We show that the commensurator of $K$ in $G$ is discrete, provided that $Q$ admits a surjective homomorphism to $\mathbb{Z}$. In this case, we also show that the commensurator of $K$ contains the normalizer of $K$ with finite index. We thus vastly generalize a result of the authors, which showed that many natural normal subgroups of $\mathrm{PSL}_2(\mathbb{Z})$ have discrete commensurator in $\mathrm{PSL}_2(\mathbb{R})$.