Unimodularity of Invariant Random Subgroups
arXiv:1402.1042 · doi:10.1090/tran/6755
Abstract
An invariant random subgroup is a random closed subgroup whose law is invariant to conjugation by all elements of . When is locally compact and second countable, we show that for every invariant random subgroup there almost surely exists an invariant measure on . Equivalently, the modular function of is almost surely equal to the modular function of , restricted to . We use this result to construct invariant measures on orbit equivalence relations of measure preserving actions. Additionally, we prove a mass transport principle for discrete or compact invariant random subgroups.
23 pages, one figure