scholarly journals An Abramov formula for stationary spaces of discrete groups

2013 ◽  
Vol 34 (3) ◽  
pp. 837-853 ◽  
Author(s):  
YAIR HARTMAN ◽  
YURI LIMA ◽  
OMER TAMUZ

AbstractLet $(G, \mu )$ be a discrete group equipped with a generating probability measure, and let $\Gamma $ be a finite index subgroup of $G$. A $\mu $-random walk on $G$, starting from the identity, returns to $\Gamma $ with probability one. Let $\theta $ be the hitting measure, or the distribution of the position in which the random walk first hits $\Gamma $. We prove that the Furstenberg entropy of a $(G, \mu )$-stationary space, with respect to the action of $(\Gamma , \theta )$, is equal to the Furstenberg entropy with respect to the action of $(G, \mu )$, times the index of $\Gamma $ in $G$. The index is shown to be equal to the expected return time to $\Gamma $. As a corollary, when applied to the Furstenberg–Poisson boundary of $(G, \mu )$, we prove that the random walk entropy of $(\Gamma , \theta )$ is equal to the random walk entropy of $(G, \mu )$, times the index of $\Gamma $ in $G$.

2020 ◽  
Vol 30 (5) ◽  
pp. 1439-1463
Author(s):  
Richard C. H. Webb

AbstractWe prove that almost all arc complexes do not admit a CAT(0) metric with finitely many shapes, in particular any finite-index subgroup of the mapping class group does not preserve such a metric on the arc complex. We also show the analogous statement for all but finitely many disc complexes of handlebodies and free splitting complexes of free groups. The obstruction is combinatorial. These complexes are all hyperbolic and contractible but despite this we show that they satisfy no combinatorial isoperimetric inequality: for any n there is a loop of length 4 that only bounds discs consisting of at least n triangles. On the other hand we show that the curve complexes satisfy a linear combinatorial isoperimetric inequality, which answers a question of Andrew Putman.


2013 ◽  
Vol 156 (1) ◽  
pp. 115-121
Author(s):  
ANITHA THILLAISUNDARAM

AbstractIn a previous paper, Button and Thillaisundaram proved that all finitely presented groups of p-deficiency greater than one are p-large. Here we prove that groups with a finite presentation of p-deficiency one possess a finite index subgroup that surjects onto the integers. This implies that these groups do not have Kazhdan's property (T). Additionally, we show that the aforementioned result of Button and Thillaisundaram implies a result of Lackenby.


2012 ◽  
Vol 22 (03) ◽  
pp. 1250026
Author(s):  
UZY HADAD

We prove that for any finite index subgroup Γ in SL n(ℤ), there exists k = k(n) ∈ ℕ, ϵ = ϵ(Γ) > 0, and an infinite family of finite index subgroups in Γ with a Kazhdan constant greater than ϵ with respect to a generating set of order k. On the other hand, we prove that for any finite index subgroup Γ of SL n(ℤ), and for any ϵ > 0 and k ∈ ℕ, there exists a finite index subgroup Γ′ ≤ Γ such that the Kazhdan constant of any finite index subgroup in Γ′ is less than ϵ, with respect to any generating set of order k. In addition, we prove that the Kazhdan constant of the principal congruence subgroup Γn(m), with respect to a generating set consisting of elementary matrices (and their conjugates), is greater than [Formula: see text], where c > 0 depends only on n. For a fixed n, this bound is asymptotically best possible.


2014 ◽  
Vol 17 (1) ◽  
pp. 206-208
Author(s):  
Thomas Hamilton ◽  
David Loeffler

AbstractWe give a computationally effective criterion for determining whether a finite-index subgroup of $\mathrm{SL}_2(\mathbf{Z})$ is a congruence subgroup, extending earlier work of Hsu for subgroups of $\mathrm{PSL}_2(\mathbf{Z})$.


Author(s):  
Frédérique Bassino ◽  
Cyril Nicaud ◽  
Pascal Weil

We count the finitely generated subgroups of the modular group [Formula: see text]. More precisely, each such subgroup [Formula: see text] can be represented by its Stallings graph [Formula: see text], we consider the number of vertices of [Formula: see text] to be the size of [Formula: see text] and we count the subgroups of size [Formula: see text]. Since an index [Formula: see text] subgroup has size [Formula: see text], our results generalize the known results on the enumeration of the finite index subgroups of [Formula: see text]. We give asymptotic equivalents for the number of finitely generated subgroups of [Formula: see text], as well as of the number of finite index subgroups, free subgroups and free finite index subgroups. We also give the expected value of the isomorphism type of a size [Formula: see text] subgroup and prove a large deviation statement concerning this value. Similar results are proved for finite index and for free subgroups. Finally, we show how to efficiently generate uniformly at random a size [Formula: see text] subgroup (respectively, finite index subgroup, free subgroup) of [Formula: see text].


Author(s):  
Thomas Haettel

Abstract We give a conjectural classification of virtually cocompactly cubulated Artin–Tits groups (i.e., having a finite index subgroup acting geometrically on a CAT(0) cube complex), which we prove for all Artin–Tits groups of spherical type, FC type, or two-dimensional type. A particular case is that for $n \geqslant 4$, the $n$-strand braid group is not virtually cocompactly cubulated.


1998 ◽  
Vol 41 (2) ◽  
pp. 303-313 ◽  
Author(s):  
D. Cooper ◽  
D. D. Long ◽  
A. W. Reid

We prove that any infinite Coxeter group has a finite index subgroup which surjects ℤ.


Author(s):  
Ashot Minasyan

Abstract If $G$ is a group, a virtual retract of $G$ is a subgroup, which is a retract of a finite index subgroup. Most of the paper focuses on two group properties: property (LR), that all finitely generated subgroups are virtual retracts; and property (VRC), that all cyclic subgroups are virtual retracts. We study the permanence of these properties under commensurability, amalgams over retracts, graph products, and wreath products. In particular, we show that (VRC) is stable under passing to finite index overgroups, while (LR) is not. The question whether all finitely generated virtually free groups satisfy (LR) motivates the remaining part of the paper, studying virtual free factors of such groups. We give a simple criterion characterizing when a finitely generated subgroup of a virtually free group is a free factor of a finite index subgroup. We apply this criterion to settle a conjecture of Brunner and Burns.


2011 ◽  
Vol 21 (04) ◽  
pp. 547-574 ◽  
Author(s):  
J. O. BUTTON ◽  
A. THILLAISUNDARAM

We use Schlage-Puchta's concept of p-deficiency and Lackenby's property of p-largeness to show that a group having a finite presentation with p-deficiency greater than 1 is large, which implies that Schlage-Puchta's infinite finitely generated p-groups are not finitely presented. We also show that for all primes p at least 7, any group having a presentation of p-deficiency greater than 1 is Golod–Shafarevich, and has a finite index subgroup which is Golod–Shafarevich for the remaining primes. We also generalize a result of Grigorchuk on Coxeter groups to odd primes.


2018 ◽  
Vol 68 (2) ◽  
pp. 353-360
Author(s):  
Mark Shusterman

Abstract We show that given a finitely generated LERF group G with positive rank gradient, and finitely generated subgroups A, B ≤ G of infinite index, one can find a finite index subgroup B0 of B such that [G : 〈A ∪ B0〉] = ∞. This generalizes a theorem of Olshanskii on free groups. We conclude that a finite product of finitely generated subgroups of infinite index does not cover G. We construct a transitive virtually faithful action of G such that the orbits of finitely generated subgroups of infinite index are finite. Some of the results extend to profinite groups with positive rank gradient.


Sign in / Sign up

Export Citation Format

Share Document