Source author record

Yair Glasner

Yair Glasner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GR math.DS math.AG math.MG math.RA

Catalog footprint

What is connected

13works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Extensions of invariant random orders on groups

In this paper we study the action of a countable group $Γ$ on the space of orders on the group. In particular, we are concerned with the invariant probability measures on this space, known as invariant random orders. We show that for any countable group the space of random invariant orders is rich enough to contain an isomorphic copy of any free ergodic action, and characterize the non-free actions realizable. We prove a Glasner-Weiss dichotomy regarding the simplex of invariant random orders. We also show that the invariant partial order on $\mathrm{SL}_3(\mathbf{Z})$ corresponding to the semigroup of positive matrices cannot be extended to an invariant random total order. We thus provide the first example for a partial order (deterministic or random) that cannot be randomly extended.

preprint2022arXiv

Faithful invariant random subgroups in acylindrically hyperbolic groups

Building on work from Sun and Kechris-Quorning, we prove that every acylindrically hyperbolic group $G$ admits a weakly mixing probability measure preserving action $G \curvearrowright (X,\mathcal{B},μ)$ which is faithful but not essentially free. In other words, $G$ admits a weakly mixing nontrivial faithful IRS. We also prove that every non-elementary hyperbolic group admits a characteristic random subgroup with the same properties.

preprint2020arXiv

Maximal subgroups of countable groups, a survey

This paper is a survey on the works [MS77, MS79, MS81] on maximal subgroups in finitely generated linear groups, and the works that followed it [GG08, GG13b, GG13a, Kap03, Iva92, HO16, GM16, AGS14, Sf90, Sf98, Per05, AKT16, FG18, GS17] concerning maximal subgroups of infinite index in linear groups as well as in various other groups possessing a suitable geometry or dynamics.

preprint2016arXiv

Automorphism Groups of Trees: Generalities and Prescribed Local Actions

This article is an expanded version of the talks given by the authors at the Arbeitsgemeinschaft "Totally Disconnected Groups", held at Oberwolfach in October 2014. We recall the basic theory of automorphisms of trees and Tits' simplicity theorem, and present two constructions of tree groups via local actions with their basic properties: the universal group associated to a finite permutation group by M. Burger and S. Mozes, and the $k$-closures of a given group by C. Banks, M. Elder and G. Willis.

preprint2016arXiv

Invariant random subgroups of linear groups

Let $Γ< \mathrm{GL}_n(F)$ be a countable non-amenable linear group with a simple, center free Zariski closure, $\mathrm{Sub}(Γ)$ the space of all subgroups of $Γ$ with the, compact, metric, Chabauty topology. An invariant random subgroup (IRS) of $Γ$ is a conjugation invariant Borel probability measure on $\mathrm{Sub}(Γ)$. An $\mathrm{IRS}$ is called nontrivial if it does not have an atom in the trivial group, i.e. if it is nontrivial almost surely. We denote by $\mathrm{IRS}^{0}(Γ)$ the collection of all nontrivial $\mathrm{IRS}$ on $Γ$. We show that there exits a free subgroup $F < Γ$ and a non-discrete group topology $\mathrm{St}$ on $Γ$ such that for every $μ\in \mathrm{IRS}^{0}(Γ)$ the following properties hold: (i) $μ$-almost every subgroup of $Γ$ is open. (ii) $F \cdot Δ= Γ$ for $μ$-almost every $Δ\in \mathrm{Sub}(Γ)$. (iii) $F \cap Δ$ is infinitely generated, for every open subgroup. (iv) The map $Φ: (\mathrm{Sub}(Γ),μ) \rightarrow (\mathrm{Sub}(F),Φ_* μ)$ given by $Δ\mapsto Δ\cap F$, is an $F$-invariant isomorphism of probability spaces. We say that an action of $Γ$ on a probability space, by measure preserving transformations, is almost surely non free (ASNF) if almost all point stabilizers are non-trivial. As a corollary of the above theorem we show that the product of finitely many ANSF $Γ$-spaces, with the diagonal $Γ$ action, is ASNF. Let $Γ< \mathrm{GL}_n(F)$ be a countable linear group, $A \lhd Γ$ the maximal normal amenable subgroup of $Γ$. We show that if $μ\in \mathrm{IRS}(Γ)$ is supported on amenable subgroups of $Γ$ then in fact it is supported on $\mathrm{Sub}(A)$. In particular if $A(Γ) = \langle e \rangle$ then $Δ= \langle e \rangle, μ$ almost surely.

preprint2015arXiv

Generic IRS in free groups, after Bowen

Let $E$ be a measure preserving equivalence relation, with countable equivalence classes, on a standard Borel probability space $(X,B,μ)$. Let $([E],d_{u})$ be the the (Polish) full group endowed with the uniform metric. If $F_r = \langle s_1, \ldots, s_r \rangle$ is a free group on $r$-generators and $α\in \operatorname{Hom}(F_r,[E])$ then the stabilizer of a $μ$-random point $α(F_r)_x$ is a random subgroup of $F_r$ whose distribution is conjugation invariant. Such an object is known as an "invariant random subgroup" or an IRS for short. Bowen's generic model for IRS in $F_r$ is obtained by taking $α$ to be a Baire generic element in the Polish space $\operatorname{Hom}(F_r, [E])$. The "lean aperiodic model" is a similar model where one forces $α(F_r)$ to have infinite orbits by imposing that $α(s_1)$ be aperiodic. In this setting we show that for $r < \infty$ the generic IRS $α(F_r)_x$ is of finite index in $F_r$ a.s. if and only if $E = E_0$ is the hyperfinite equivalence relation. For any ergodic equivalence relation we show that a generic IRS coming from the lean aperiodic model is co-amenable and core free. Finally, we consider the situation where $α(F_r)$ is highly transitive on almost every orbit and in particular the corresponding IRS is supported on maximal subgroups. Using a result of Le-Maître we show that such examples exist for any aperiodic ergodic $E$ of finite cost. For the hyperfinite equivalence relation $E_0$ we show that high transitivity is generic in the lean aperiodic model.

preprint2014arXiv

A note on LERF groups and generic group actions

Let $G$ be a finitely generated group, $\mathrm{Sub}(G)$ the (compact, metric) space of all subgroups of $G$ with the Chaubuty topology and $X!$ the (Polish) group of all permutations of a countable set $X$. We show that the following properties are equivalent: (i) Every finitely generated subgroup is closed in the profinite topology, (ii) the finite index subgroups are dense in $\mathrm{Sub}(G)$, (iii) A Baire generic homomorphism $ϕ: G \rightarrow X!$ admits only finite orbits. Property (i) is known as the LERF property. We introduce a new family of groups which we call {\it{A-separable}} groups. These are defined by replacing, in (ii) above, the word "finite index" by the word "co-amenalbe". The class of A-separable groups contains all LERF groups, all amenable groups and more. We investigate some properties of these groups.

preprint2014arXiv

Geometric density for invariant random subgroups of groups acting on CAT(0) spaces

We prove that an IRS of a group with a geometrically dense action on a CAT(0) space also acts geometrically densely; assuming the space is either of finite telescopic dimension or locally compact with finite dimensional Tits boundary. This can be thought of as a Borel density theorem for IRSs.

preprint2013arXiv

An Aschbacher--O'Nan--Scott theorem for countable linear groups

The purpose of this note is to extend the classical Aschbacher--O'Nan--Scott theorem for finite groups to the class of countable linear groups. This relies on the analysis of primitive actions carried out in a previous paper. Unlike the situation for finite groups, we show here that the number of primitive actions depends on the type: linear groups of almost simple type admit infinitely (and in fact unaccountably) many primitive actions, while affine and diagonal groups admit only one. The abundance of primitive permutation representations is particularly interesting for rigid groups such as simple and arithmetic ones.

preprint2013arXiv

Sharply 2-transitive linear groups

A group G is sharply 2-transitive if it admits a faithful permutation representation that is transitive and free on pairs of distinct points. Conjecturally, for all such groups there exists a near-field N (i.e. a skew field that is distributive only from the left) such that G is isomorphic to the semidirect product of the multiplicative and additive groups of N. This is well known in the finite case. We prove this conjecture when G < GL(n,F) is a linear group. Here we have to assume that both the characteristic of the field F and the permutational characteristic of the group G (see Definition 2.1) are not equal to 2.

preprint2012arXiv

Kesten's theorem for Invariant Random Subgroups

An invariant random subgroup of the countable group Γ is a random subgroup of Γ whose distribution is invariant under conjugation by all elements of Γ. We prove that for a nonamenable invariant random subgroup H, the spectral radius of every finitely supported random walk on Γ is strictly less than the spectral radius of the corresponding random walk on Γ/H. This generalizes a result of Kesten who proved this for normal subgroups. As a byproduct, we show that for a Cayley graph G of a linear group with no amenable normal subgroups, any sequence of finite quotients of G that spectrally approximates G converges to G in Benjamini-Schramm convergence. In particular, this implies that infinite sequences of finite d-regular Ramanujan Schreier graphs have essentially large girth.

preprint2011arXiv

Highly Transitive Actions of Out(Fn)

An action of a group on a set is called k-transitive if it is transitive on ordered k-tuples and highly transitive if it is k-transitive for every k. We show that for n>3 the group Out(Fn) = Aut(Fn)/Inn(Fn) admits a faithful highly transitive action on a countable set.

preprint2005arXiv

Amenable actions, free products and a fixed point property

We investigate the class of groups admitting an action on a set with an invariant mean. It turns out that many free products admit such an action. We give a complete characterisation of such free products in terms of a strong fixed point property.