Abstract:We prove many new cases of Zimmer's conjecture for actions by lattices in non-$\mathbb{R}$-split semisimple Lie groups $G$. By prior arguments, Zimmer's conjecture reduces to studying certain probability measures invariant under a minimal parabolic subgroup for the induced $G$-action.
Two techniques are introduced to give lower bounds on the dimension of a manifold $M$ admitting a non-isometric action. First, when the Levi component of the stabilizer of the measure has higher-rank simple factors, cocycle superrigidity provides a lower bound on the dimension of $M$. Second, when certain fiberwise coarse Lyapunov distributions are one-dimensional, a measure rigidity argument provides additional invariance of the measure if the associated root spaces are higher-dimensional.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
The paper aims to prove many new cases of Zimmer's conjecture in non - split semisimple Lie groups. Specifically, the paper focuses on the actions generated by the lattices of these Lie groups and reduces the study of Zimmer's conjecture by studying the probability measures invariant under the action of the minimal parabolic subgroup.
### Background and motivation
Zimmer's conjecture is a series of statements that extend the rigidity results of linear representations to non - linear actions (i.e., non - linear representations) on compact manifolds. For a connected Lie group \(G\), \(v(G)\) represents the minimum dimension of a compact manifold that can admit a non - trivial \(G\)-action. If \(G\) is a non - compact semisimple Lie group with a high rank, Zimmer's conjecture predicts that if \(\Gamma\subset G\) is a lattice, then the minimum dimension of a compact manifold \(M\) that admits a \(\Gamma\)-action without an invariant Riemannian metric is equal to \(v(G)\). In other words, if we consider non - linear representations with invariant Riemannian metrics as "trivial", then the minimum dimension of "non - trivial" non - linear representations contains the same amount of information about \(G\). This is a non - linear extension of Margulis' super - rigidity theorem.
### Main results
The main results of the paper are as follows:
1. **Theorem 1.3**:
- For certain specific non - split semisimple Lie groups \(G\), if \(\Gamma\subset G\) is a lattice, \(M\) is a compact manifold, and \(\alpha:\Gamma\rightarrow\text{Diff}^{1 + \kappa}(M)\) is an action, then:
- If \(\dim(M)<v(G)\), then \(\alpha\) preserves a continuous Riemannian metric.
- If \(\dim(M)<\min\{v(G), v(G_{\text{cpt}})\}\), then \(\alpha(\Gamma)\) is finite.
2. **Theorem 1.6**:
- For certain specific Lie groups \(G\), if \(\Gamma\) is a lattice of \(G\), \(M\) is a compact manifold, and \(\alpha:\Gamma\rightarrow\text{Diff}^{1 + \kappa}(M)\) is an action that preserves a smooth volume density, then \(\alpha\) preserves a continuous Riemannian metric.
### New techniques and methods
To prove these results, the paper introduces two new techniques:
1. **Super - rigidity method**:
- When a certain simple factor of the Levi subgroup has a high rank, use the super - rigidity theorem to provide a lower bound on the dimension of the manifold \(M\).
2. **Measure rigidity method**:
- When some fiber - coarse Lyapunov distributions are one - dimensional and the associated root spaces are high - dimensional, use measure rigidity theory to provide additional invariance of the measure, thereby giving a lower bound on the dimension of the manifold \(M\).
### Conclusion
Through these techniques and methods, the paper successfully proves many new cases of Zimmer's conjecture in non - split semisimple Lie groups, further expanding our understanding of these Lie groups and their lattice actions.