In this series of talks, I will discuss my proof (2018–2022) of the existence of ergodic hyperfinite subgraphs in any locally countable measured ergodic graph (not necessarily pmp).
This result yields a pointwise ergodic theorem for measured graphs and serves as a starting point for several constructions in measured group theory for treeable equivalence relations, since it provides an ergodic hyperfinite free factor.
In the pmp setting, this theorem was first proved by R. Tucker-Drob, who ingeniously used a major result of Hutchcroft and Nachmias from percolation theory as a black box.
My proof differs even for pmp graphs and extends to the non-pmp setting. It relies only on basic tools from descriptive set theory for working with measured locally countable graphs and exploiting non-amenability.