Gelfand pairs admit an Iwasawa decomposition

Every Gelfand pair (G, K) admits a decomposition G = K P, where P < G is an amenable subgroup. In particular, the Furstenberg boundary of G is homogeneous. Applications include the complete classification of non-positively curved Gelfand pairs, relying on earlier joint work with Caprace, as well as a canonical family of pure spherical functions in the sense of Gelfand-Godement for general Gelfand pairs.