Easure and Integration in the Alternative set Theory
Equivariant measurable liftings
We discuss equivariance for linear liftings of measurable functions. Existence is established when a transformation group acts amenably, as e.g. the Möbius group of the projective line. Since the general proof is very simple but not explicit, we also provide a much more explicit lifting for semisimple Lie groups acting on their Furstenberg boundary, using unrestricted Fatou convergence. This setting is relevant to -cocycles for characteristic classes.