Abstract:We determine Furstenberg entropy spectra of ergodic stationary actions of $SL(d,\mathbb{R})$ and its lattices. The constraints on entropy spectra are derived from a refinement of the Nevo-Zimmer projective factor theorem. The realisation part is achieved by means of building Poisson bundles over stationary random subgroups.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the Furstenberg entropy spectra of the ergodic stationary actions of the semisimple Lie group \( \text{SL}(d,\mathbb{R}) \) and its lattices. Specifically, the authors aim to:
1. **Determine the constraints of the entropy spectrum**: By improving the Nevo - Zimmer projection factor theorem, derive the constraints of the Furstenberg entropy spectrum. These constraints come from the refinement of the projection factor theorem, especially by considering the maximal standard projection factor \( (G/Q, \nu_Q) \), where \( Q \) is a parabolic subgroup.
2. **Realize entropy values**: Realize the entropy values under these constraints by constructing Poisson bundles. Specifically, the authors show how to realize a specific range of entropy values by constructing Poisson bundles on stationary random subgroups.
### Main contributions of the paper
1. **Establishment of the theoretical framework**:
- **Derivation of constraints**: The authors obtain more precise constraints on the entropy spectrum by refining the Nevo - Zimmer projection factor theorem. These conditions are related to the structure and action properties of parabolic subgroups.
- **Construction of Poisson bundles**: The authors propose a method to realize specific entropy values by constructing Poisson bundles. These Poisson bundles are induced on stationary random subgroups, enabling the continuous change of entropy values within the theoretical framework.
2. **Specific results**:
- **Description of the entropy spectrum**: For \( \text{SL}(d,\mathbb{R}) \) and its lattices, the authors give a specific description of the Furstenberg entropy spectrum. In particular, they prove that the entropy spectrum can be represented as a union of a series of intervals, which are determined by specific parabolic subgroups.
- **Entropy realization for free groups**: The authors also extend their method and prove that for a free group \( F \) of finite rank, when given a non - degenerate probability measure \( \mu \), the entropy spectrum can cover the entire interval from 0 to the maximum entropy \( h_\mu \).
### Formulas and symbols
- **Furstenberg entropy**:
\[
h_\mu(X, \eta)=-\int_G\int_X\log\frac{dg^{-1}\eta}{d\eta}(x)\,d\eta(x)\,d\mu(g)
\]
- **Poisson boundary**:
\[
(B, \nu_B)\quad\text{is}\quad(G, \mu)\quad\text{the Poisson boundary}
\]
- **Poisson bundle**:
\[
\beta_\eta: G/P\to P(X)\quad\text{is the boundary map related to the stationary measure}\quad\eta
\]
- **Entropy spectrum**:
\[
\text{EntSp}(G, \mu)=\{h_\mu(X, \nu):(X, \nu)\text{is an ergodic}\ (G, \mu)\text{-stationary system}\}
\]
### Conclusion
Through the above methods, the authors not only provide a detailed description of the Furstenberg entropy spectra of semisimple Lie groups and their lattices but also show how to realize these entropy values by constructing Poisson bundles. These results are of great significance for understanding the stationary actions of semisimple Lie groups and their dynamical properties.