We study probability measure preserving (p.m.p.) nonfree actions of free
groups and the associated IRSs. The perfect kernel of a countable group
is the largest closed subspace of the space of subgroups of
without
isolated points. We introduce the class of totipotent ergodic p.m.p. actions of
: those
for which almost every point-stabilizer has dense conjugacy class in the perfect kernel.
Equivalently, the support of the associated IRS is as large as possible, namely it is equal
to the whole perfect kernel. We prove that every ergodic p.m.p. equivalence relation
of
cost
can be realized by the orbits of an action of the free group
on
generators that is totipotent and such that the image in the full group
is
dense. We explain why these actions have no minimal models. This also provides a
continuum of pairwise orbit inequivalent invariant random subgroups of
, all of
whose supports are equal to the whole space of infinite-index subgroups.
We are led to introduce a property of topologically generating pairs for
full groups (which we call evanescence) and establish a genericity result
about their existence. We show that their existence characterizes cost
.
Keywords
measurable group actions, nonfree actions, free groups,
transitive actions of countable groups, IRS, space of
subgroups, ergodic equivalence relations, orbit equivalence