Rigidity of Furstenberg entropy for semisimple Lie group actions

Abstract

We consider the action of a semi-simple Lie group G on a compact manifold (and more generally a Borel space) X , with a measure ν stationary under a probability measure μ on G . We first establish some properties of the fundamental invariant associated with a (G,μ) -space (X,ν) , namely the Furstenberg entropy [? ], given by hμ(X,ν)=∫G∫X−logdg−1νdν(x)dν(x)dμ(g). We then prove that when (X,ν) is a P -mixing (G,μ) -space [? ], and R -rank (G)=r≥2 , the value of the Furstenberg entropy must coincide with one of the 2r values hμ(G/Q,ν0) , where Q⊂G is a parabolic subgroup. We also construct counterexamples to show that this conclusion fails for both non- P -mixing actions and actions of groups with R -rank 1 . We also characterize amenable actions with a stationary measure as the actions having the maximal possible value of the Furstenberg entropy. We give applications to geometric rigidity for actions with low Furstenberg entropy, to orbit equivalence and to the cohomology of actions with stationary measure. Nous considérons l'action d'un groupe de Lie semi-simple G sur une variété compacte, et plus généralement sur un espace borélien X muni d'une mesure ν qu'on suppose μ -stationnaire par rapport à une mesure de probabilité μ sur G . Nous établissons tout d'abord certaines propriétés de l'invariant fondamental associé à un (G,μ) -espace (X,ν) , l'entropie de Furstenberg [? ], donnée par hμ(X,ν)=∫G∫X−logdg−1νdν(x)dν(x)dμ(g). Nous prouvons alors que, lorsque (X,ν) est un (G,μ) -espace P mélangeant, [? ] dont le R -rang est r≥2 , la valeur de l'entropie de Furstenberg doit coı̈ncider avec une des 2r valeurs hμ(G/Q,ν0) , où Q est un sous-groupe parabolique de G . Nous construisons aussi des contre-exemples qui montrent que cette conclusion est fausse dans le cas d'actions non P -mélangeantes et d'actions de groupes dont le R -rang vaut 1 . Nous caractérisons aussi les actions moyennables avec mesure stationnaire en prouvant que ce sont les actions ayant une entropie de Furstenberg maximale. Nous donnons des applications à la rigidité géométrique pour des actions à faible entropie de Furstenberg, à l'équivalence d'orbites et à la cohomologie des actions à mesure stationnaire.

Locations

• Annales Scientifiques de l École Normale Supérieure - View
• French digital mathematics library (Numdam) - View - PDF