Source author record

Marcin Sabok

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

ResearcherUnclaimed source record

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

Catalog footprint

Research overview

10works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Perfect matchings in hyperfinite graphings

We characterize hyperfinite bipartite graphings that admit measurable perfect matchings. In particular, we prove that every regular hyperfinite bipartite graphing admits a measurable perfect matching if it is one-ended or the degree is odd. We give several applications of this result, answering various open questions in the field. For instance, we extend the Lyons--Nazarov theorem by characterizing bipartite Cayley graphs which admit a factor of iid perfect matching, answering the bipartite case of a well-known question of Lyons and Nazarov, popularized by Kechris and Marks. Moreover, we show how our results apply to measurable equidecompositions and, in particular, generalize the recent result of Grabowski, Máthé and Pikhurko on the measurable circle squaring. Our approach applies more generally to rounding measurable perfect fractional matchings.

preprint2020arXiv

Hyperfiniteness of boundary actions of hyperbolic groups

We prove that for every finitely generated hyperbolic group $G$ , the action of $G$ on its Gromov boundary induces a hyperfinite equivalence relation.

preprint2017arXiv

Hyperfiniteness of boundary actions of cubulated hyperbolic groups

We show that if a hyperbolic group acts geometrically on a CAT(0) cube complex, then the induced boundary action is hyperfinite. This means that for a cubulated hyperbolic group the natural action on its Gromov boundary is hyperfinite, which generalizes an old result of Dougherty, Jackson and Kechris for the free group case.

preprint2015arXiv

On the complexity of topological conjugacy of Toeplitz subshifts

In this paper, we study the descriptive set theoretic complexity of the equivalence relation of conjugacy of Toeplitz subshifts of a residually finite group $G$ . On the one hand, we show that if $G = \mathbb{Z}$ , then topological conjugacy on Toeplitz subshifts with separated holes is amenable. In contrast, if $G$ is non-amenable, then conjugacy of Toeplitz $G$ -subshifts is a non-amenable equivalence relation. The results were motivated by a general question, asked by Gao, Jackson and Seward, about the complexity of conjugacy for minimal, free subshifts of countable groups.

preprint2015arXiv

The classification problem for finitely generated operator systems and spaces

The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for arbitrary separable operator systems and spaces are intractable. On the other hand we show that the finitely generated operator systems and spaces are completely classifiable (or smooth); in fact a finitely generated operator system is classified by its complete theory when regarded as a structure in continuous logic. In the particular case of operator systems generated by a single unitary, a complete invariant is given by the spectrum of the unitary up to a rigid motion of the circle, provided that the spectrum contains at least 5 points. As a consequence of these results we show that the relation on compact subsets of $\mathbb{C}^{n}$ , given by homeomorphism via a degree 1 polynomial, is smooth.

preprint2013arXiv

Completeness of the isomorphism problem for separable C*-algebras

We prove that the isomorphism problem for separable nuclear C*-algebras is complete in the class of orbit equivalence relations. In fact, already the isomorphism of simple, separable AI C*-algebras is a complete orbit equivalence relation. This means that any isomorphism problem arsing from a continuous action of a separable completely metrizable group can be reduced to the isomorphism of simple, separable AI C*-algebras. As a consequence, we get that the isomorphism problems for separable nuclear C*-algebras and for separable C*-algebras have the same complexity. This answers questions posed by Elliott, Farah, Paulsen, Rosendal, Toms and Törnquist.

preprint2013arXiv

Topological representations

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$ , a $σ$ -ideal $I$ on $X$ and a dense countable subset $D$ of $X$ such that the ideal consists of those subsets of $D$ whose closure belongs to $I$ . It turns out that this definition is indepedent of the choice of $D$ . We show that an ideal is of this form if and only if it is dense and countably separated. The latter is a variation of a notion introduced by Todor\vcević for gaps. As a corollary, we get that this class is invariant under the Rudin--Blass equivalence. This also implies that the space $X$ can be always chosen to be compact so that $I$ is a $σ$ -ideal of compact sets. We compute the possible descriptive complexities of such ideals and conclude that all analytic equivalence relations induced by such ideals are $\mathbfΠ^0_3$ . We also prove that a coanalytic ideal is an intersection of ideals of this form if and only if it is weakly selective.

preprint2012arXiv

Extreme amenability of abelian $L_0$ groups

We show that for any abelian topological group $G$ and arbitrary diffused submeasure $μ$ , every continuous action of $L_0(μ,G)$ on a compact space has a fixed point. This generalizes earlier results of Herer and Christensen, Glasner, Furstenberg and Weiss, and Farah and Solecki. This also answers a question posed by Farah and Solecki. In particular, it implies that if $H$ is of the form $L_0(μ,\mathbb{R})$ , then $H$ is extremely amenable if and only if $H$ has no nontrivial characters, which gives an evidence for an affirmative answer to a question of Pestov. The proof is based on estimates of chromatic numbers of certain graphs on $\mathbb{Z}^n$ . It uses tools from algebraic topology and builds on the work of Farah and Solecki.

preprint2010arXiv

Complexity of Ramsey null sets

We show that the set of codes for Ramsey positive analytic sets is $\mathbfΣ^1_2$ -complete. This is a one projective-step higher analogue of the Hurewicz theorem saying that the set of codes for uncountable analytic sets is $\mathbfΣ^1_1$ -complete. This shows a close resemblance between the Sacks forcing and the Mathias forcing. In particular, we get that the $σ$ -ideal of Ramsey null sets is not ZFC-correct. This solves a problem posed by Ikegami, Pawlikowski and Zapletal.

preprint2010arXiv

Forcing properties of ideals of closed sets

With every $σ$ -ideal $I$ on a Polish space we associate the $σ$ -ideal $I^*$ generated by the closed sets in $I$ . We study the forcing notions of Borel sets modulo the respective $σ$ -ideals $I$ and $I^*$ and find connections between their forcing properties. To this end, we associate to a $σ$ -ideal on a Polish space an ideal on a countable set and show how forcing properties of the forcing depend on combinatorial properties of the ideal. For $σ$ -ideals generated by closed sets we also study the degrees of reals added in the forcing extensions. Among corollaries of our results, we get necessary and sufficient conditions for a $σ$ -ideal $I$ generated by closed sets, under which every Borel function can be restricted to an $I$ -positive Borel set on which it is either 1-1 or constant.

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.

Marcin Sabok

Research overview

Is this your work?

10 publications

Perfect matchings in hyperfinite graphings

Hyperfiniteness of boundary actions of hyperbolic groups

Hyperfiniteness of boundary actions of cubulated hyperbolic groups

On the complexity of topological conjugacy of Toeplitz subshifts

The classification problem for finitely generated operator systems and spaces

Completeness of the isomorphism problem for separable C*-algebras

Topological representations

Extreme amenability of abelian $L_0$ groups

Complexity of Ramsey null sets

Forcing properties of ideals of closed sets

See the researcher in context

Building this map preview

Marcin Sabok

Research overview

Is this your work?

10 publications

Perfect matchings in hyperfinite graphings

Hyperfiniteness of boundary actions of hyperbolic groups

Hyperfiniteness of boundary actions of cubulated hyperbolic groups

On the complexity of topological conjugacy of Toeplitz subshifts

The classification problem for finitely generated operator systems and spaces

Completeness of the isomorphism problem for separable C*-algebras

Topological representations

Extreme amenability of abelian L0L_0L0​ groups

Complexity of Ramsey null sets

Forcing properties of ideals of closed sets

See the researcher in context

Building this map preview

Extreme amenability of abelian $L_0$ groups