Source author record

Robin Tucker-Drob

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DS math.GR math.OA math.LO math.PR math.CO

Catalog footprint

Research overview

13works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2025arXiv

The Radon--Nikodym topography of acyclic measured graphs

We study locally countable acyclic measure-class-preserving (mcp) Borel graphs by analyzing their "topography" -- the interaction between the geometry and the associated Radon--Nikodym cocycle. We identify three notions of topographic significance for ends in such graphs and show that the number of nonvanishing ends governs both amenability and smoothness. More precisely, we extend the Adams dichotomy from the pmp to the mcp setting, replacing the number of ends with the number of nonvanishing ends: an acyclic mcp graph is amenable if and only if a.e. component has at most two nonvanishing ends, while it is nowhere amenable exactly when a.e. component has a nonempty perfect (closed) set of nonvanishing ends. We also characterize smoothness: an acyclic mcp graph is essentially smooth if and only if a.e. component has no nonvanishing ends. Furthermore, we show that the notion of nonvanishing ends depends only on the measure class and not on the specific measure. At the heart of our analysis lies the study of acyclic countable-to-one Borel functions. Our critical result is that, outside of the essentially two-ended setting, all back ends in a.e. orbit are vanishing and admit cocycle-finite geodesics. We also show that the number of barytropic ends controls the essential number of ends for such functions. This leads to a surprising topographic characterization of when such functions are essentially one-ended. Our proofs utilize mass transport, end selection, and the notion of the Radon--Nikodym core for acyclic mcp graphs, a new concept that serves as a guiding framework for our topographic analysis.

preprint2021arXiv

Cost of inner amenable groupoids

Kida and Tucker-Drob recently extended the notion of inner amenability from countable groups to discrete p.m.p. groupoids. In this article, we show that inner amenable groupoids have "fixed priced 1" in the sense that every principal extension of an inner amenable groupoid has cost 1. This simultaneously generalizes and unifies two well known results on cost from the literature, namely, (1) a theorem of Kechris stating that every ergodic p.m.p. equivalence relation admitting a nontrivial asymptotically central sequence in its full group has cost 1, and (2) a theorem of Tucker-Drob stating that inner amenable groups have fixed price 1.

preprint2021arXiv

Dynamical alternating groups, stability, property Gamma, and inner amenability

We prove that the alternating group of a topologically free action of a countably infinite group $Γ$ on the Cantor set has the property that all of its $\ell^2$ -Betti numbers vanish and, in the case that $Γ$ is amenable, is stable in the sense of Jones and Schmidt and has property Gamma (and in particular is inner amenable). We show moreover in the realm of amenable $Γ$ that there are many such alternating groups which are simple, finitely generated, and C $^*$ -simple. The device for establishing nonisomorphism among these examples is a topological version of Austin's result on the invariance of measure entropy under bounded orbit equivalence.

preprint2020arXiv

Inner amenable groupoids and central sequences

We introduce inner amenability for discrete p.m.p. groupoids and investigate its basic properties, examples, and the connection with central sequences in the full group of the groupoid or central sequences in the von Neumann algebra associated with the groupoid. Among other things, we show that every free ergodic p.m.p. compact action of an inner amenable group gives rise to an inner amenable orbit equivalence relation. We also obtain an analogous result for compact extensions of equivalence relations which either are stable or have a non-trivial central sequence in their full group.

preprint2018arXiv

Folner tilings for actions of amenable groups

We show that every probability-measure-preserving action of a countable amenable group G can be tiled, modulo a null set, using finitely many finite subsets of G ("shapes") with prescribed approximate invariance so that the collection of tiling centers for each shape is Borel. This is a dynamical version of the Downarowicz--Huczek--Zhang tiling theorem for countable amenable groups and strengthens the Ornstein--Weiss Rokhlin lemma. As an application we prove that, for every countably infinite amenable group G, the crossed product of a generic free minimal action of G on the Cantor set is Z-stable.

preprint2016arXiv

Brooks's theorem for measurable colorings

We generalize Brooks's theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d \geq 3$ which contains no $(d+1)$ -cliques, then $G$ admits a $μ$ -measurable $d$ -coloring with respect to any Borel probability measure $μ$ on $X$ , and a Baire measurable $d$ -coloring with respect to any compatible Polish topology on $X$ . The proof of this theorem uses a new technique for constructing one-ended spanning subforests of Borel graphs, as well as ideas from the study of list colorings. We apply the theorem to graphs arising from group actions to obtain factor of IID $d$ -colorings of Cayley graphs of degree $d$ , except in two exceptional cases.

preprint2016arXiv

Cocycle superrigidity for translation actions of product groups

Let $G$ be either a profinite or a connected compact group, and $Γ, Λ$ be finitely generated dense subgroups. Assuming that the left translation action of $Γ$ on $G$ is strongly ergodic, we prove that any cocycle for the left-right translation action of $Γ\timesΛ$ on $G$ with values in a countable group is virtually cohomologous to a group homomorphism. Moreover, we prove that the same holds if $G$ is a (not necessarily compact) connected simple Lie group provided that $Λ$ contains an infinite cyclic subgroup with compact closure. We derive several applications to OE - and W $^*$ - superrigidity. In particular, we obtain the first examples of compact actions of $\mathbb F_2\times\mathbb F_2$ which are W $^*$ -superrigid.

preprint2016arXiv

Hyperfiniteness and Borel combinatorics

We study the relationship between hyperfiniteness and problems in Borel graph combinatorics by adapting game-theoretic techniques introduced by Marks to the hyperfinite setting. We compute the possible Borel chromatic numbers and edge chromatic numbers of bounded degree acyclic hyperfinite Borel graphs and use this to answer a question of Kechris and Marks about the relationship between Borel chromatic number and measure chromatic number. We also show that for every $d > 1$ there is a $d$ -regular acyclic hyperfinite Borel bipartite graph with no Borel perfect matching. These techniques also give examples of hyperfinite bounded degree Borel graphs for which the Borel local lemma fails, in contrast to the recent results of Csóka, Grabowski, Máthé, Pikhurko, and Tyros. Related to the Borel Ruziewicz problem, we show there is a continuous paradoxical action of $(\mathbb{Z}/2\mathbb{Z})^{*3}$ on a Polish space that admits a finitely additive invariant Borel probability measure, but admits no countably additive invariant Borel probability measure. In the context of studying ultrafilters on the quotient space of equivalence relations under $\mathrm{AD}$ , we also construct an ultrafilter $U$ on the quotient of $E_0$ which has surprising complexity. In particular, Martin's measure is Rudin-Kiesler reducible to $U$ . We end with a problem about whether every hyperfinite bounded degree Borel graph has a witness to its hyperfiniteness which is uniformly bounded below in size.

preprint2016arXiv

Weak containment rigidity for distal actions

We prove that if a measure distal action $α$ of a countable group $Γ$ is weakly contained in a strongly ergodic probability measure preserving action $β$ of $Γ$ , then $α$ is a factor of $β$ . In particular, this applies when $α$ is a compact action. As a consequence, we show that the weak equivalence class of any strongly ergodic action completely remembers the weak isomorphism class of the maximal distal factor arising in the Furstenberg-Zimmer Structure Theorem.

preprint2015arXiv

Approximations of standard equivalence relations and Bernoulli percolation at p\_u

The goal of this note is to announce certain results in orbit equivalence theory, especially concerning the approximation of p.m.p. standard equivalence relations by increasing sequence of sub-relations, with applications to the behavior of the Bernoulli percolation on graphs at the threshold pu. Résumé en Français. Approximations de relations d'équivalence standards et percolation de Bernoulli à p\_u.

preprint2014arXiv

Invariant random subgroups of strictly diagonal limits of finite symmetric groups

We classify the ergodic invariant random subgroups of strictly diagonal limits of finite symmetric groups.

preprint2012arXiv

Mixing actions of countable groups are almost free

A measure preserving action of a countably infinite group Γis called totally ergodic if every infinite subgroup of Γacts ergodically. For example, all mixing and mildly mixing actions are totally ergodic. This note shows that if an action of Γis totally ergodic then there exists a finite normal subgroup N of Γsuch that the stabilizer of almost every point is equal to N. Surprisingly the proof relies on the group theoretic fact (proved by Hall and Kulatilaka as well as by Kargapolov) that every infinite locally finite group contains an infinite abelian subgroup, of which all known proofs rely on the Feit-Thompson theorem. As a consequence we deduce a group theoretic characterization of countable groups whose non-trivial Bernoulli factors are all free: these are precisely the groups that posses no finite normal subgroup other than the trivial subgroup.

preprint2011arXiv

On a co-induction question of Kechris

This note answers a question of Kechris: if $H<G$ is a normal subgroup of a countable group $G$ , $H$ has property MD and $G/H$ is amenable and residually finite then $G$ also has property MD. Under the same hypothesis we prove that for any action $a$ of $G$ , if $b$ is a free action of $G/H$ , and $b_G$ is the induced action of $G$ then $\CInd_H^G(a|H) \times b_G$ weakly contains $a$ . Moreover, if $H<G$ is any subgroup of a countable group $G$ , and the action of $G$ on $G/H$ is amenable, then $\CInd_H^G(a|H)$ weakly contains $a$ whenever $a$ is a Gaussian action.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Robin Tucker-Drob

Research overview

Is this your work?

13 publications

The Radon--Nikodym topography of acyclic measured graphs

Cost of inner amenable groupoids

Dynamical alternating groups, stability, property Gamma, and inner amenability

Inner amenable groupoids and central sequences

Folner tilings for actions of amenable groups

Brooks's theorem for measurable colorings

Cocycle superrigidity for translation actions of product groups

Hyperfiniteness and Borel combinatorics

Weak containment rigidity for distal actions

Approximations of standard equivalence relations and Bernoulli percolation at p\_u

Invariant random subgroups of strictly diagonal limits of finite symmetric groups

Mixing actions of countable groups are almost free

On a co-induction question of Kechris

See the researcher in context

Building this map preview