Furstenberg boundary

It is named for Harry Furstenberg, who introduced it in a series of papers beginning in 1963 (in the case of semisimple Lie groups).

The Furstenberg boundary, roughly speaking, is a universal moduli space for the Poisson integral, expressing a harmonic function on a group in terms of its boundary values.

This function is then harmonic in the sense that it satisfies the mean-value property with respect to a measure on the Möbius group induced from the usual Lebesgue measure of the disc, suitably normalized.

In general, let G be a semi-simple Lie group and μ a probability measure on G that is absolutely continuous.

However, it turns out that although there are many possibilities for the measure ν (which always depends genuinely on μ), there are only a finite number of spaces Π (up to isomorphism): these are homogeneous spaces of G that are quotients of G by some parabolic subgroup, which can be described completely in terms of root data and a given Iwasawa decomposition.