Abstract: We show that S-arithmetic lattices in semisimple Lie groups with no rank one factors are quasi-isometrically rigid.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the quasi - isometric rigidity of high - rank S - arithmetic lattices. Specifically, the author Kevin Wortman explored whether non - compact S - arithmetic lattices in semisimple Lie groups without rank - one factors have quasi - isometric rigidity.
### Background and Problem Description
1. **Definition of Quasi - Isometric Rigidity**: A discrete group \(\Gamma\) is said to be quasi - isometrically rigid if it remains invariant under all of its quasi - isometric mappings (that is, any quasi - isometric mapping is at a finite distance from a conjugate mapping).
2. **Existing Results**:
- Kleiner and Leeb proved that in semisimple Lie groups over local fields, compact lattices are quasi - isometrically rigid.
- Eskin and Farb gave a different proof in real Lie groups.
- Eskin further proved that non - compact irreducible lattices are also quasi - isometrically rigid in the absence of rank - one factors.
3. **Unsolved Problem**: The quasi - isometric rigidity problem for non - compact S - arithmetic lattices had not been fully explored prior to this paper.
### Research Objectives
The author's goal is to prove that in semisimple Lie groups without rank - one factors, non - compact S - arithmetic lattices are also quasi - isometrically rigid. Specifically, the author used the "punctured quasi - flat" theorem to study the quasi - isometric properties of these lattices and finally proved their quasi - isometric rigidity.
### Main Results
The main results of the paper can be summarized as follows:
1. **Theorem 1.1**: For a global field \(K\) and a set of inequivalent valuations \(S\) (including all Archimedean valuations), assume that \(G\) is a connected simple \(K\)-group and is not pointwise rank - one with respect to \(S\). Then:
- If \(G\) is \(K\)-isotropic and \(K\) is a number field, there exists a topological group isomorphism:
\[
QI(G(O_S))\cong Comm(G(O_S))
\]
- If \(G\) is \(K\)-isotropic and \(K\) is a function field, there exists a topological group embedding:
\[
Comm(G(O_S))\hookrightarrow QI(G(O_S))\hookrightarrow Aut(G)
\]
- If \(G\) is \(K\)-anisotropic, there exists a topological group isomorphism:
\[
QI(G(O_S))\cong Aut(G)
\]
2. **Corollary 1.2**: Assume that \(K, S, G\) satisfy the conditions of Theorem 1.1 and \(G\) is of adjoint type. Let \(\Lambda\) be a finitely generated group and there exists a quasi - isometric mapping \(\phi:\Lambda\rightarrow G(O_S)\). Then:
- If \(G\) is \(K\)-isotropic and \(K\) is a number field, there exists a finite - index subgroup \(\Lambda_S\subset\Lambda\) and a homomorphism \(\varphi:\Lambda_S\rightarrow G(O_S)\) such that the kernel and cokernel of \(\varphi\) are finite, and:
\[
\sup_{\lambda\in\Lambda_S}d(\varphi(\lambda),\phi(\lambda)) < \infty
\]
- If \(G\) is \(K\)-isotropic and \(K\) is a function field, there exists a finite group \(F\) and an exact sequence:
\[
1\rightarrow F\rightarrow\Lambda\rightarrow\Gamma\rightarrow 1
\]
where \(\Gamma\) is a non - compact lattice in \(Aut(G)\).
- If \(G\) is \(K\)-anisotropic, there exists a finite group \(F\) and an exact sequence:
\[
1\rightarrow F\rightarrow\