Commensurated subgroups of arithmetic groups, totally disconnected groups and adelic rigidity (Q382292)

The goal of this paper is the study of the commensurated subgroup problem (CMSP) in characteristic zero, for which Margulis and Zimmer conjectured that the answer should be positive. Let \(K\) denote a global field, \(\mathcal O\) its ring of integers, \(G\) an absolutely simple, simply connected algebraic group defined over \(K\), \(V\) the set of all inequivalent valuations and \(V^{\infty}\) the Archimedean ones. The main results of the paper state: a) any group commensurable with \(G(\mathcal O)\), for \(G\) a Chevalley group over \(K\), has the outer commensurate-normalizer property; b) for any \(V^{\infty} \subseteq S \subseteq V\), any \(S\)-arithmetic subgroup of \(G(V)\) has standard description of commensurated subgroups. The paper also shows interesting results in the theory so as their connections with other topics and applications (for instance the congruence subgroup problem, the normal subgroup theorem, superrigidity, the Margulis-Platonov conjecture and Deligne questions).