BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Gabor Elek contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Hyperfiniteness or amenability of measurable equivalence relations and group actions has been studied for almost fifty years. Recently, unexpected applications of hyperfiniteness were found in computer science in the context of testability of graph properties. In this paper we propose a unified approach to hyperfiniteness. We establish some new results and give new proofs of theorems of Schramm, Lovász, Newman-Sohler and Ornstein-Weiss.
First, we answer a question of Pestov, by proving that the full group of a sofic equivalence relation is a sofic group. Then, we give a short proof of the theorem of Grigorchuk and Medynets that the topological full group of a minimal Cantor homeomorphism is LEF. Finally, we show that for certain non-amenable groups all the generalized lamplighter groups are sofic.
In the paper we are dealing with metric measure spaces of diameter at most one and of total measure one. Gromov introduced the sampling compactification of the set of these spaces. He asked whether the metric measure space invariants extend to the compactification. Using ideas of the newly developed theory of graph limits we identify the elements of the compactification with certain geometric objects and show how to extend various invariants to this space. We will introduce the notion of ultralimit of metric measure spaces, that will be the main technical tool of our paper.
We introduce the notion of hyperfiniteness for permutation actions of countable groups on countable sets and give a geometric and analytic characterization, similar to the known characterizations for amenable actions. We also answer a question of van Douwen on actions of the free group on two generators on countable sets.
Let $Γ$ be a countable group acting on a countable set $X$ by permutations. We give a necessary and sufficient condition for the action to have a quasi-invariant mean with a given cocycle. This can be viewed as a combinatorial analogue of the condition for the existence of a quasi-invariant measure in the Borel case given by Miller. Then we show a geometric condition that guarantees that the corresponding action on the Stone-Čech compactification is Zimmer amenable. The geometric condition (weighted hyperfiniteness) resembles Property A. We do not know the exact relation between the two notions, however, we can show that amenable groups and groups of finite asymptotic dimension are weighted hyperfinite.
The analytic von Neumann regular closure $R(Γ)$ of a complex group algebra $\CΓ$ was introduced by Linnell and Schick. This ring is the smallest $*$-regular subring in the algebra of affiliated operators $U(Γ)$ containing $\CΓ$. We prove that all the algebraic von Neumann regular closures corresponding to sofic representations of an amenable group are isomorphic to $R(Γ)$. This result can be viewed as a structural generalization of Lück's Approximation Theorem. \noindent The main tool of the proof which might be of independent interest is that an amenable group algebra $KΓ$ over any field $K$ can be embedded to the rank completion of an ultramatricial algebra.
Using probabilistic methods, Collins and Dykema proved that the free product of two sofic groups amalgamated over a monotileably amenable subgroup is sofic as well. We show that the restriction is unnecessary; the free product of two sofic groups amalgamated over an arbitrary amenable subgroup is sofic. We also prove a group theoretical analogue of a result of Kenley Jung. A finitely generated group is amenable if and only if it has only one sofic representation up to conjugacy equivalence.