arXiv subjects
Publications and source records attributed to Gabor Elek.
We prove that any countable non-amenable group G admits a free minimal amenable purely infinite action on the non-compact Cantor set. This answers a question of Kellerhals, Monod and R{\o}rdam.
In this survey we give a concise introduction to a continuous version of Borel combinatorics. Our approach will have a certain algorithm-theoretic nature and we will give special emphasis to the notion of almost finiteness introduced by Matui as a continuous analogue of Borel hyperfiniteness. We also show how the theory can be used to study spectral convergence for graph Laplacians.
We study uniformly recurrent subgroups (URS) introduced by Glasner and Weiss \cite{GW}. Answering their query we show that any URS $Z$ of a finitely generated group is the stability system of a minimal $Z$-proper action. We also show that for any sofic $URS$ $Z$ there is a $Z$-proper action admitting an invariant measure. We prove that for a $URS$ $Z$ all $Z$-proper actions admits an invariant measure if and only if $Z$ is coamenable. In the second part of the paper we study the separable $\C^*$-algebras associated to URS's. We prove that if an URS is generic then its $\C^*$-algebra is simple. We give various examples of generic URS's with exact and nuclear $\C^*$-algebras and an example of a URS $Z$ for which the associated simple $\C^*$-algebra is not exact and not even locally reflexive, in particular, it admits both a uniformly amenable trace and a nonuniformly amenable trace.
We prove that if $G$ is a finitely generated group and $Z$ is a uniformly recurrent subgroup of $G$ then there exists a minimal system $(X,G)$ with $Z$ as its stability system. This answers a query of Glasner and Weiss \cite{GW} in the case of finitely generated groups. Using the same method (introduced by Alon, Grytczuk, Haluszczak and Riordan \cite{AGHR}) we will prove that finitely generated sofic groups have free Bernoulli-subshifts admitting an invariant probability measure.
Equationally compact subgroups of countable groups were introduced by Banaschewski. For all known cases the orbit closure of such a subgroup is a countable subset in the space of subgroups and has finite Cantor-Bendixson rank. We show that there exists a finitely generated group $Γ$ such that for any countable ordinal $α$ we have an equationally compact subgroup $H\subset Γ$ for which the Cantor-Bendixson rank of the orbit closure of $H$ equals to $α+2$. Then we give an explicite construction of continuum many equationally compact subgroups of $Γ$ such that the associated ergodic Bernoulli shift actions are pairwise weakly incomparable. We also answer two questions on equational compactness posed by Prest and Rajani.
We present a novel approach to the representation theory of finite dimensional algebras motivated by the emerging theory of graph limits. We introduce the rank spectrum of a finite dimensional algebra $R$ over a finite field. The elements of the rank spectrum are representations of the algebra into von Neumann regular rank algebras, and two representations are considered to be equivalent if they induce the same Sylvester rank functions on $R$-matrices. Based on this approach, we can divide the finite dimensional algebras into three types: finite, amenable and non-amenable representation types. We prove that string algebras are of amenable representation type, but the wild Kronecker algebras are not. Here, the amenability of the rank algebras associated to the limit points in the rank spectrum plays a very important part. We also show that the limit points of finite dimensional representations of algebras of amenable representation type can always be viewed as representations of the algebra in the continuous ring invented by John von Neumann in the 1930's. As an application in algorithm theory, we introduce and study the notion of testing of parameters of modules over finite dimensional algebras, that is analogous to the property testing of bounded degree graphs introduced by Goldreich and Ron. We shall see that for string algebras all the reasonable (stable) parameters are testable.
Motivated by the theory of graph limits, we introduce and study the convergence and limits of linear representations of finite groups over finite fields. The limit objects are infinite dimensional representations of free groups in continuous algebras. We show that under a certain integrality condition, the algebras above are skew fields. Our main result is the extension of Schramm's characterization of hyperfiniteness to linear representations.
Let $Γ$ be a discrete group. Following Linnell and Schick one can define a continuous ring $c(Γ)$ associated with $Γ$. They proved that if the Atiyah Conjecture holds for a torsion-free group $Γ$, then $c(Γ)$ is a skew field. Also, if $Γ$ has torsion and the Strong Atiyah Conjecture holds for $Γ$, then $c(Γ)$ is a matrix ring over a skew field. The simplest example when the Strong Atiyah Conjecture fails is the lamplighter group $Γ=Z_2\wr Z$. It is known that $C(Z_2\wr Z)$ does not even have a classical ring of quotients. Our main result is that if $H$ is amenable, then $c(Z_2\wr H)$ is isomorphic to a continuous ring constructed by John von Neumann in the $1930's$.
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.
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.
Grigorchuk and Medynets recently announced that the topological full group of a minimal Cantor Z-action is amenable. They asked whether the statement holds for all minimal Cantor actions of general amenable groups as well. We answer in the negative by producing a minimal Cantor Z^2-action for which the topological full group contains a non-abelian free group.
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.
We introduce a natural pseudometric on the space of actions of d-generated groups. In this pseudometric, the zero classes correspond to the weak equivalence classes defined by Kechris, and the metric identification is compact. We achieve this by employing symbolic dynamics and an ultraproduct construction which also facilitates the extension of our results to unitary representations. As a byproduct, we show that the weak equivalence class of every free non-amenable action contains an action that satisfies the measurable von Neumann problem.
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.
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.
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.
We prove that the Betti numbers of simplicial complexes of bounded vertex degrees are testable in constant time.