Showing 1–34 of 34 results for author: Nekrashevych, V

Simplicity of $C^*$-algebras of contracting self-similar groups

Authors: Eusebio Gardella, Volodymyr Nekrashevych, Benjamin Steinberg, Alina Vdovina

Abstract: We show that the $C^*$-algebra associated by Nekrashevych to a contracting self-similar group is simple if and only if the corresponding complex $\ast$-algebra is simple. We also improve on Steinberg and Szakać's algorithm to determine if the $\ast$-algebra is simple. This provides an interesting class of non-Hausdorff amenable, effective and minimal ample groupoids for which simplicity of the… ▽ More We show that the $C^*$-algebra associated by Nekrashevych to a contracting self-similar group is simple if and only if the corresponding complex $\ast$-algebra is simple. We also improve on Steinberg and Szakać's algorithm to determine if the $\ast$-algebra is simple. This provides an interesting class of non-Hausdorff amenable, effective and minimal ample groupoids for which simplicity of the $C^*$-algebra and the complex $\ast$-algebra are equivalent. △ Less

Submitted 20 January, 2025; originally announced January 2025.

Comments: All comments welcome

MSC Class: 46L99; 20F65; 20F10

Liouville property for groups and conformal dimension

Authors: Nicolás Matte Bon, Volodymyr Nekrashevych, Tianyi Zheng

Abstract: Conformal dimension is a fundamental invariant of metric spaces, particularly suited to the study of self-similar spaces, such as spaces with an expanding self-covering (e.g. Julia sets of complex rational functions). The dynamics of these systems are encoded by the associated iterated monodromy groups, which are examples of contracting self-similar groups. Their amenability is a well-known open q… ▽ More Conformal dimension is a fundamental invariant of metric spaces, particularly suited to the study of self-similar spaces, such as spaces with an expanding self-covering (e.g. Julia sets of complex rational functions). The dynamics of these systems are encoded by the associated iterated monodromy groups, which are examples of contracting self-similar groups. Their amenability is a well-known open question. We show that if $G$ is an iterated monodromy group, and if the (Alfhors-regular) conformal dimension of the underlying space is strictly less than 2, then every symmetric random walk with finite second moment on $G$ has the Liouville property. As a corollary, every such group is amenable. This criterion applies to all examples of contracting groups previously known to be amenable, and to many new ones. In particular, it implies that for every sub-hyperbolic complex rational function $f$ whose Julia set is not the whole sphere, the iterated monodromy group of $f$ is amenable. △ Less

Submitted 20 February, 2025; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: 41 pages, 5 figures, v3: revised version after referee reports

Self-similar groups and topological dimension

Authors: Volodymyr Nekrashevych

Abstract: We give various characterizations of the covering dimension of the limit space of a contracting self-similar group. In particular, we show that it is equal to the minimal dimension of a contracting affine model, to the asymptotic dimension of the orbital graphs of its action on the boundary of the tree, to the dynamical asymptotic dimension of its groupoid of germs, and give a combinatorial descri… ▽ More We give various characterizations of the covering dimension of the limit space of a contracting self-similar group. In particular, we show that it is equal to the minimal dimension of a contracting affine model, to the asymptotic dimension of the orbital graphs of its action on the boundary of the tree, to the dynamical asymptotic dimension of its groupoid of germs, and give a combinatorial description of the dimension in terms of a partition of the levels of the tree. We analyze separately the one-dimensional example. In particular, we show that the limit space is one-dimensional if and only if the group is the faithful quotient of a self-similar contracting virtually free group. △ Less

Submitted 21 April, 2023; originally announced April 2023.

MSC Class: 37D20 20F69

Growth of groups with linear Schreier graphs

Authors: Laurent Bartholdi, Volodymyr Nekrashevych, Tianyi Zheng

Abstract: We introduce a new method of proving upper estimates of growth of finitely generated groups and constructing groups of intermediate growth using graphs of their actions. These estimates are of the form $\exp(n^α)$ for some $α<1$, and provide the first examples of such bounds for simple groups of intermediate growth. We introduce a new method of proving upper estimates of growth of finitely generated groups and constructing groups of intermediate growth using graphs of their actions. These estimates are of the form $\exp(n^α)$ for some $α<1$, and provide the first examples of such bounds for simple groups of intermediate growth. △ Less

Submitted 3 May, 2022; originally announced May 2022.

Substitutional subshifts and growth of groups

Authors: Volodymyr Nekrashevych

Abstract: We show how to use symbolic dynamics of Schreier graphs to embed the Grigorchuk group into a simple torsion group of intermediate growth and to construct uncountably many growth types of simple torsion groups. We show how to use symbolic dynamics of Schreier graphs to embed the Grigorchuk group into a simple torsion group of intermediate growth and to construct uncountably many growth types of simple torsion groups. △ Less

Submitted 11 August, 2020; originally announced August 2020.

Comments: 17 pages, 2 figures

MSC Class: 20E32 20F69 37B10

Mating, paper folding, and an endomorphism of PC^2

Authors: Volodymyr Nekrashevych

Abstract: We are studying topological properties of the Julia set of the map $F(z, p)=((2z/(p+1)-1)^2, ((p-1)/(p+1))^2)$ of the complex projective plane $PC^2$ to itself. We show a relation of this rational function with an uncountable family of "paper folding" plane filling curves. We are studying topological properties of the Julia set of the map $F(z, p)=((2z/(p+1)-1)^2, ((p-1)/(p+1))^2)$ of the complex projective plane $PC^2$ to itself. We show a relation of this rational function with an uncountable family of "paper folding" plane filling curves. △ Less

Submitted 29 February, 2016; originally announced March 2016.

Comments: 53 pages, 36 figures

MSC Class: 37F15; 37F20

On topological full groups of Z^d-actions

Authors: M. Chornyi, K. Juschenko, V. Nekrashevych

Abstract: We give new examples of simple finitely generated groups arising from actions of free abelian groups on the Cantor sets. As particular examples, we discuss groups of interval exchange transformations, and a group naturally associated with the Penrose tilings. Many groups in this class are amenable. We give new examples of simple finitely generated groups arising from actions of free abelian groups on the Cantor sets. As particular examples, we discuss groups of interval exchange transformations, and a group naturally associated with the Penrose tilings. Many groups in this class are amenable. △ Less

Submitted 28 November, 2016; v1 submitted 12 February, 2016; originally announced February 2016.

Palindromic subshifts and simple periodic groups of intermediate growth

Authors: Volodymyr Nekrashevych

Abstract: We describe a new class of groups of Burnside type, giving a procedure transforming an arbitrary non-free minimal action of the dihedral group on a Cantor set into an orbit-equivalent action of an infinite finitely generated periodic group. We show that if the associated Schreier graphs are linearly repetitive, then the group is of intermediate growth. In particular, this gives first examples of s… ▽ More We describe a new class of groups of Burnside type, giving a procedure transforming an arbitrary non-free minimal action of the dihedral group on a Cantor set into an orbit-equivalent action of an infinite finitely generated periodic group. We show that if the associated Schreier graphs are linearly repetitive, then the group is of intermediate growth. In particular, this gives first examples of simple groups of intermediate growth. △ Less

Submitted 7 March, 2016; v1 submitted 5 January, 2016; originally announced January 2016.

Comments: 40 pages, 12 figures

MSC Class: 20F50; 20E32; 20F69; 37B05

Simple groups of dynamical origin

Authors: Volodymyr Nekrashevych

Abstract: We associate with every etale groupoid G two normal subgroups S(G) and A(G) of the topological full group of G, which are analogs of the symmetric and alternating groups. We prove that if G is a minimal groupoid of germs (e.g., of a group action), then A(G) is simple and is contained in every non-trivial normal subgroup of the full group. We show that if G is expansive (e.g., is the groupoid of ge… ▽ More We associate with every etale groupoid G two normal subgroups S(G) and A(G) of the topological full group of G, which are analogs of the symmetric and alternating groups. We prove that if G is a minimal groupoid of germs (e.g., of a group action), then A(G) is simple and is contained in every non-trivial normal subgroup of the full group. We show that if G is expansive (e.g., is the groupoid of germs of an expansive action of a group), then A(G) is finitely generated. We also show that S(G)/A(G) is a quotient of H_0(G, Z/2Z). △ Less

Submitted 7 February, 2017; v1 submitted 25 November, 2015; originally announced November 2015.

Comments: 25 pages, 3 figures

MSC Class: 20E32; 20L05; 37B05; 37B50

From self-similar groups to self-similar sets and spectra

Authors: Rostislav Grigorchuk, Volodymyr Nekrashevych, Zoran Sunic

Abstract: The survey presents developments in the theory of self-similar groups leading to applications to the study of fractal sets and graphs, and their associated spectra. The survey presents developments in the theory of self-similar groups leading to applications to the study of fractal sets and graphs, and their associated spectra. △ Less

Submitted 23 March, 2015; originally announced March 2015.

MSC Class: 37A30; 28A80; 05C50; 20E08; 43A07

Growth of etale groupoids and simple algebras

Authors: Volodymyr Nekrashevych

Abstract: We study growth and complexity of étale groupoids in relation to growth of their convolution algebras. As an application, we construct simple finitely generated algebras of arbitrary Gelfand-Kirillov dimension $\ge 2$ and simple finitely generated algebras of quadratic growth over arbitrary fields. We study growth and complexity of étale groupoids in relation to growth of their convolution algebras. As an application, we construct simple finitely generated algebras of arbitrary Gelfand-Kirillov dimension $\ge 2$ and simple finitely generated algebras of quadratic growth over arbitrary fields. △ Less

Submitted 4 January, 2015; originally announced January 2015.

Comments: 19 pages

MSC Class: 16P90 22A22 20L05

Self-similar groups, automatic sequences, and unitriangular representations

Authors: R. Grigorchuk, Y. Leonov, V. Nekrashevych, V. Sushchansky

Abstract: We study natural linear representations of self-similar groups over finite fields. In particular, we show that if the group is generated by a finite automaton, then obtained matrices are automatic. This shows a new relation between two separate notions of automaticity: groups generated by automata and automatic sequences. We also show that if the group acts on the tree by $p$-adic automorphisms, t… ▽ More We study natural linear representations of self-similar groups over finite fields. In particular, we show that if the group is generated by a finite automaton, then obtained matrices are automatic. This shows a new relation between two separate notions of automaticity: groups generated by automata and automatic sequences. We also show that if the group acts on the tree by $p$-adic automorphisms, then the corresponding linear representation is a representation by infinite triangular matrices. We relate this observation with the notion of height of an automorphism of a rooted tree due to L.Kaloujnine. △ Less

Submitted 17 September, 2014; originally announced September 2014.

Comments: 56 pages, 7 figures

MSC Class: 20E08 20C99

Finitely presented groups associated with expanding maps

Authors: Volodymyr Nekrashevych

Abstract: We associate with every locally expanding self-covering $f:M\to M$ of a compact path connected metric space a finitely presented group $V_f$. We prove that this group is a complete invariant of the dynamical system: two groups $V_{f_1}$ and $V_{f_2}$ are isomorphic as abstract groups if and only if the corresponding dynamical systems are topologically conjugate. We also show that the commutator su… ▽ More We associate with every locally expanding self-covering $f:M\to M$ of a compact path connected metric space a finitely presented group $V_f$. We prove that this group is a complete invariant of the dynamical system: two groups $V_{f_1}$ and $V_{f_2}$ are isomorphic as abstract groups if and only if the corresponding dynamical systems are topologically conjugate. We also show that the commutator subgroup of $V_f$ is simple, and give a topological interpretation of $V_f/V_f'$. △ Less

Submitted 19 December, 2013; originally announced December 2013.

Comments: 46 pages, 13 figures

MSC Class: 20F65; 37D20

Extensions of amenable groups by recurrent groupoids

Authors: Kate Juschenko, Volodymyr Nekrashevych, Mikael de la Salle

Abstract: We show that amenability of a group acting by homeomorphisms can be deduced from a certain local property of the action and recurrency of the orbital Schreier graphs. This covers amenability of a wide class groups, the amenability of which was an open problem, as well as unifies many known examples to one general proof. In particular, this includes Grigorchuk's group, Basilica group, the full topo… ▽ More We show that amenability of a group acting by homeomorphisms can be deduced from a certain local property of the action and recurrency of the orbital Schreier graphs. This covers amenability of a wide class groups, the amenability of which was an open problem, as well as unifies many known examples to one general proof. In particular, this includes Grigorchuk's group, Basilica group, the full topological group of Cantor minimal system, groups acting on rooted trees by bounded automorphisms, groups generated by finite automata of linear activity growth, groups that naturally appear in holomorphic dynamics. △ Less

Submitted 24 May, 2013; v1 submitted 12 May, 2013; originally announced May 2013.

Comments: The last condition of the main thm was removed, the proofs are streamlined

Journal ref: Invent. Math. 206 (2016), no. 3, 837-867

An uncountable family of 3-generated groups with isomorphic profinite completions

Authors: Volodymyr Nekrashevych

Abstract: We construct an uncountable family of 3-generated residually finite just-infinite groups with isomorphic profinite completions. We also show that word growth rate is not a profinite property. We construct an uncountable family of 3-generated residually finite just-infinite groups with isomorphic profinite completions. We also show that word growth rate is not a profinite property. △ Less

Submitted 26 March, 2013; v1 submitted 22 March, 2013; originally announced March 2013.

Comments: 12 pages, 3 figures

MSC Class: 20E18

Locally connected Smale spaces, pinched spectrum, and infra-nilmanifolds

Authors: Volodymyr Nekrashevych

Abstract: We show that if (X, f) is a locally connected Smale space such that the local product structure on X can be lifted by a covering with virtually nilpotent group of deck transformations to a global direct product, then (X, f) is topologically conjugate to a hyperbolic infra-nilmanifold automorphism. We use this result to give a generalization to Smale spaces of a theorem of M. Brin and A. Manning on… ▽ More We show that if (X, f) is a locally connected Smale space such that the local product structure on X can be lifted by a covering with virtually nilpotent group of deck transformations to a global direct product, then (X, f) is topologically conjugate to a hyperbolic infra-nilmanifold automorphism. We use this result to give a generalization to Smale spaces of a theorem of M. Brin and A. Manning on Anosov diffeomorphisms with pinched spectrum, and to show that every locally connected codimension one Smale space is topologically conjugate to a hyperbolic automorphism of a torus. △ Less

Submitted 17 August, 2020; v1 submitted 27 October, 2012; originally announced October 2012.

Comments: 55 pages, 5 figures

MSC Class: 37D20

Hyperbolic groupoids: metric and measure

Authors: Volodymyr Nekrashevych

Abstract: We construct Patterson-Sullivan measure and a natural metric on the unit space of a hyperbolic groupoid. In particular, this gives a new approach to defining SRB measures on Smale spaces using Gromov hyperbolic graphs. We construct Patterson-Sullivan measure and a natural metric on the unit space of a hyperbolic groupoid. In particular, this gives a new approach to defining SRB measures on Smale spaces using Gromov hyperbolic graphs. △ Less

Submitted 15 November, 2012; v1 submitted 20 September, 2011; originally announced September 2011.

Comments: 36 pages

MSC Class: 37D20; 20L05

On a family of Schreier graphs of intermediate growth associated with a self-similar group

Authors: Ievgen Bondarenko, Tullio Ceccherini-Silberstein, Alfredo Donno, Volodymyr Nekrashevych

Abstract: For every infinite sequence $ω=x_1,x_2,...$, with $x_i\in\{0,1\}$, we construct an infinite 4-regular graph $X_ω$. These graphs are precisely the Schreier graphs of the action of a certain self-similar group on the space $\{0,1\}^{\infty}$. We solve the isomorphism and local isomorphism problems for these graphs, and determine their automorphism groups. Finally, we prove that all graphs $X_ω$ have… ▽ More For every infinite sequence $ω=x_1,x_2,...$, with $x_i\in\{0,1\}$, we construct an infinite 4-regular graph $X_ω$. These graphs are precisely the Schreier graphs of the action of a certain self-similar group on the space $\{0,1\}^{\infty}$. We solve the isomorphism and local isomorphism problems for these graphs, and determine their automorphism groups. Finally, we prove that all graphs $X_ω$ have intermediate growth. △ Less

Submitted 20 June, 2011; originally announced June 2011.

Comments: 18 pages

MSC Class: 20F65; 05C63; 05C60; 20E08; 05C25

Journal ref: European J. Combin. 33, Issue 7 (2012), 1408-1421

Hyperbolic groupoids and duality

Authors: Volodymyr Nekrashevych

Abstract: We define hyperbolic groupoids, generalizing the notion of a Gromov hyperbolic group. Examples of hyperbolic groupoids include actions of Gromov hyperbolic groups on their boundaries, pseudogroups generated by expanding self-coverings, natural pseudogroups acting on leaves of stable (or unstable) foliation of an Anosov diffeomorphism, e.t.c.. We show that for every hyperbolic groupoid G there is a… ▽ More We define hyperbolic groupoids, generalizing the notion of a Gromov hyperbolic group. Examples of hyperbolic groupoids include actions of Gromov hyperbolic groups on their boundaries, pseudogroups generated by expanding self-coverings, natural pseudogroups acting on leaves of stable (or unstable) foliation of an Anosov diffeomorphism, e.t.c.. We show that for every hyperbolic groupoid G there is a naturally defined dual groupoid G' acting on the Gromov boundary of a Cayley graph of G, which is also hyperbolic and such that (G')' is equivalent to G. △ Less

Submitted 19 December, 2013; v1 submitted 28 January, 2011; originally announced January 2011.

Comments: 120 pages, 28 figures

MSC Class: 37D20; 20F67

The Julia set of a post-critically finite endomorphism of PC^2

Authors: Volodymyr Nekrashevych

Abstract: We construct a combinatorial model of the Julia set of the endomorphism $f(z, w)=((1-2z/w)^2, (1-2/w)^2)$ of $PC^2$. We construct a combinatorial model of the Julia set of the endomorphism $f(z, w)=((1-2z/w)^2, (1-2/w)^2)$ of $PC^2$. △ Less

Submitted 3 February, 2010; v1 submitted 17 November, 2008; originally announced November 2008.

Comments: 60 pages, 28 figures

MSC Class: 37F10; 37F15

Scale-invariant groups

Authors: Volodymyr Nekrashevych, Gábor Pete

Abstract: Motivated by the renormalization method in statistical physics, Itai Benjamini defined a finitely generated infinite group G to be scale-invariant if there is a nested sequence of finite index subgroups G_n that are all isomorphic to G and whose intersection is a finite group. He conjectured that every scale-invariant group has polynomial growth, hence is virtually nilpotent. We disprove his con… ▽ More Motivated by the renormalization method in statistical physics, Itai Benjamini defined a finitely generated infinite group G to be scale-invariant if there is a nested sequence of finite index subgroups G_n that are all isomorphic to G and whose intersection is a finite group. He conjectured that every scale-invariant group has polynomial growth, hence is virtually nilpotent. We disprove his conjecture by showing that the following groups (mostly finite-state self-similar groups) are scale-invariant: the lamplighter groups F\wr\Z, where F is any finite Abelian group; the solvable Baumslag-Solitar groups BS(1,m); the affine groups A\ltimes\Z^d, for any A\leq GL(\Z,d). However, the conjecture remains open with some natural stronger notions of scale-invariance for groups and transitive graphs. We construct scale-invariant tilings of certain Cayley graphs of the discrete Heisenberg group, whose existence is not immediate just from the scale-invariance of the group. We also note that torsion-free non-elementary hyperbolic groups are not scale-invariant. △ Less

Submitted 21 December, 2009; v1 submitted 2 November, 2008; originally announced November 2008.

Comments: 25 pages. The paper is reorganized, with more details in several arguments. To appear in Groups, Geometry and Dynamics

Journal ref: Groups, Geometry and Dynamics 5 (2011), 139-167

Combinatorial models of expanding dynamical systems

Authors: Volodymyr Nekrashevych

Abstract: We define iterated monodromy groups of more general structures than partial self-covering. This generalization makes it possible to define a natural notion of a combinatorial model of an expanding dynamical system. We prove that a naturally defined "Julia set" of the generalized dynamical systems depends only on the associated iterated monodromy group. We show then that the Julia set of every ex… ▽ More We define iterated monodromy groups of more general structures than partial self-covering. This generalization makes it possible to define a natural notion of a combinatorial model of an expanding dynamical system. We prove that a naturally defined "Julia set" of the generalized dynamical systems depends only on the associated iterated monodromy group. We show then that the Julia set of every expanding dynamical system is an inverse limit of simplicial complexes constructed by inductive cut-and-paste rules. △ Less

Submitted 29 December, 2009; v1 submitted 27 October, 2008; originally announced October 2008.

Comments: The new version differs substantially from the first one. Many parts are moved to other (mostly future) papers, the main open question of the first version is solved

MSC Class: 37F15

Journal ref: Ergod. Th. Dynam. Sys. 34 (2014) 938-985

Classification of groups generated by 3-state automata over a 2-letter alphabet

Authors: Ievgen Bondarenko, Rostislav Grigorchuk, Rostyslav Kravchenko, Yevgen Muntyan, Volodymyr Nekrashevych, Dmytro Savchuk, Zoran Sunic

Abstract: This article contains most of the known results on the classification of groups generated by 3-state automata over a 2-letter alphabet, extending the previous papers 0704.3876 and math/0612178. This article contains most of the known results on the classification of groups generated by 3-state automata over a 2-letter alphabet, extending the previous papers 0704.3876 and math/0612178. △ Less

Submitted 25 March, 2008; originally announced March 2008.

Comments: 151 pages, 251 figures. Takes a looooong time to compile. Please, be patient

MSC Class: 20E08

On amenability of automata groups

Authors: Laurent Bartholdi, Vadim A. Kaimanovich, Volodymyr V. Nekrashevych

Abstract: We show that the group of bounded automatic automorphisms of a rooted tree is amenable, which implies amenability of numerous classes of groups generated by finite automata. The proof is based on reducing the problem to showing amenability just of a certain explicit family of groups ("Mother groups") which is done by analyzing the asymptotic properties of random walks on these groups. We show that the group of bounded automatic automorphisms of a rooted tree is amenable, which implies amenability of numerous classes of groups generated by finite automata. The proof is based on reducing the problem to showing amenability just of a certain explicit family of groups ("Mother groups") which is done by analyzing the asymptotic properties of random walks on these groups. △ Less

Submitted 20 February, 2008; originally announced February 2008.

Journal ref: Duke Math. J. 154, no. 3 (2010), 575-598

Free subgroups in groups acting on rooted trees

Authors: Volodymyr Nekrashevych

Abstract: We show that if a group $G$ acting faithfully on a rooted tree $T$ has a free subgroup, then either there exists a point $w$ of the boundary $\partial T$ and a free subgroup of $G$ with trivial stabilizer of $w$, or there exists $w\in\partial T$ and a free subgroup of $G$ fixing $w$ and acting faithfully on arbitrarily small neighborhoods of $w$. This can be used to prove absence of free subgrou… ▽ More We show that if a group $G$ acting faithfully on a rooted tree $T$ has a free subgroup, then either there exists a point $w$ of the boundary $\partial T$ and a free subgroup of $G$ with trivial stabilizer of $w$, or there exists $w\in\partial T$ and a free subgroup of $G$ fixing $w$ and acting faithfully on arbitrarily small neighborhoods of $w$. This can be used to prove absence of free subgroups for different known classes of groups. For instance, we prove that iterated monodromy groups of expanding coverings have no free subgroups and give another proof of a theorem by S. Sidki. △ Less

Submitted 18 February, 2008; originally announced February 2008.

MSC Class: 20E08

Groups generated by 3-state automata over a 2-letter alphabet, II

Authors: Ievgen Bondarenko, Rostislav Grigorchuk, Rostyslav Kravchenko, Yevgen Muntyan, Volodymyr Nekrashevych, Dmytro Savchuk, Zoran Sunic

Abstract: Classification of groups generated by 3-state automata over a 2-letter alphabet started in the first paper (see https://arxiv.boxedpaper.com/sub/www/abs/math/0612178) is continued. Classification of groups generated by 3-state automata over a 2-letter alphabet started in the first paper (see https://arxiv.boxedpaper.com/sub/www/abs/math/0612178) is continued. △ Less

Submitted 30 April, 2007; originally announced April 2007.

Comments: 26 pages, 31 figures

MSC Class: 20E08

Post-critically finite self-similar groups

Authors: Ievgen Bondarenko, Volodymyr Nekrashevych

Abstract: We describe in terms of automata theory the automatic actions with post-critically finite limit space. We prove that these actions are precisely the actions by bounded automata and that any self-similar action by bounded automata is contracting. We describe in terms of automata theory the automatic actions with post-critically finite limit space. We prove that these actions are precisely the actions by bounded automata and that any self-similar action by bounded automata is contracting. △ Less

Submitted 28 January, 2007; originally announced January 2007.

Comments: 13 pages

MSC Class: 20E08; 28A80; 39A12

Journal ref: Algebra and Discrete Mathematics, 4: 21-32, 2003

Self-similar groups, algebras and Schur complements

Authors: Rostislav Grigorchuk, Volodymyr Nekrashevych

Abstract: In the first part of the article we introduce $C^*$-algebras associated to self-similar groups and study their properties and relations to known algebras. The algebras are constructed as sub-algebras of the Cuntz-Pimsner algebra (and its homomorphic images) associated with the self-similarity of the group. We study such properties as nuclearity, simplicity and Morita equivalence with algebras re… ▽ More In the first part of the article we introduce $C^*$-algebras associated to self-similar groups and study their properties and relations to known algebras. The algebras are constructed as sub-algebras of the Cuntz-Pimsner algebra (and its homomorphic images) associated with the self-similarity of the group. We study such properties as nuclearity, simplicity and Morita equivalence with algebras related to solenoids. The second part deals with the Schur complement transformations of elements of self-similar algebras. We study properties of such transformations and apply them to the spectral problem for Markov type elements in self-similar $C^*-$algebras. This is related to the spectral problem of the discrete Laplace operator on groups and graphs. Application of the Schur complement method in many situations reduces the spectral problem to study of invariant sets (very often of the type of a ``strange attractor'') of a multidimensional rational transformation. A number of illustrating examples is provided. Finally we observe a relation between the Schur complement transformations and Bartholdi-Kaimanovich-Virag transformations of random walks on self-similar groups. △ Less

Submitted 8 March, 2007; v1 submitted 14 December, 2006; originally announced December 2006.

Comments: 44 pages with 11 figures

MSC Class: 20E08; 47C15; 37D20

Groups generated by 3-state automata over a 2-letter alphabet, I

Authors: Ievgen Bondarenko, Rostislav Grigorchuk, Rostyslav Kravchenko, Yevgen Muntyan, Volodymyr Nekrashevych, Dmytro Savchuk, Zoran Sunic

Abstract: An approach to a classification of groups generated by 3-state automata over a 2-letter alphabet and the current progress in this direction are presented. Several results related to the whole class are formulated. In particular, all finite, abelian, and free groups are classified. In addition, we provide detailed information and complete proofs for several groups from the class, with the intenti… ▽ More An approach to a classification of groups generated by 3-state automata over a 2-letter alphabet and the current progress in this direction are presented. Several results related to the whole class are formulated. In particular, all finite, abelian, and free groups are classified. In addition, we provide detailed information and complete proofs for several groups from the class, with the intention of showing the main methods and techniques used in the classification. △ Less

Submitted 6 December, 2006; originally announced December 2006.

Comments: 37 pages, 52 figures

MSC Class: 20E08

Iterated Monodromy Groups of Quadratic Polynomials, I

Authors: Laurent Bartholdi, Volodymyr V. Nekrashevych

Abstract: We describe the iterated monodromy groups associated with post-critically finite quadratic polynomials, and explicit their connection to the `kneading sequence' of the polynomial. We then give recursive presentations by generators and relations for these groups, and study some of their properties, like torsion and `branchness'. We describe the iterated monodromy groups associated with post-critically finite quadratic polynomials, and explicit their connection to the `kneading sequence' of the polynomial. We then give recursive presentations by generators and relations for these groups, and study some of their properties, like torsion and `branchness'. △ Less

Submitted 20 February, 2008; v1 submitted 7 November, 2006; originally announced November 2006.

Comments: 18 pages, 3 EPS figures

Journal ref: Groups Geom. Dyn. 2 (2008), no. 3, 309--336

Thurston equivalence of topological polynomials

Authors: Laurent Bartholdi, Volodymyr Nekrashevych

Abstract: We answer Hubbard's question on determining the Thurston equivalence class of ``twisted rabbits'', i.e. images of the ``rabbit'' polynomial under n-th powers of the Dehn twists about its ears. The answer is expressed in terms of the 4-adic expansion of n. We also answer the equivalent question for the other two families of degree-2 topological polynomials with three post-critical points. In… ▽ More We answer Hubbard's question on determining the Thurston equivalence class of ``twisted rabbits'', i.e. images of the ``rabbit'' polynomial under n-th powers of the Dehn twists about its ears. The answer is expressed in terms of the 4-adic expansion of n. We also answer the equivalent question for the other two families of degree-2 topological polynomials with three post-critical points. In the process, we rephrase the questions in group-theoretical language, in terms of wreath recursions. △ Less

Submitted 16 June, 2006; v1 submitted 4 October, 2005; originally announced October 2005.

Comments: 40 pages, lots of figures

MSC Class: 37F10; 37F20; 20E08

Journal ref: Acta Math. 197 (2006), no. 1, 1--51

Automata, Groups, Limit Spaces, and Tilings

Authors: Laurent Bartholdi, Andre G. Henriques, Volodymyr V. Nekrashevych

Abstract: We explore the connections between automata, groups, limit spaces of self-similar actions, and tilings. In particular, we show how a group acting ``nicely'' on a tree gives rise to a self-covering of a topological groupoid, and how the group can be reconstructed from the groupoid and its covering. The connection is via finite-state automata. These define decomposition rules, or self-similar tili… ▽ More We explore the connections between automata, groups, limit spaces of self-similar actions, and tilings. In particular, we show how a group acting ``nicely'' on a tree gives rise to a self-covering of a topological groupoid, and how the group can be reconstructed from the groupoid and its covering. The connection is via finite-state automata. These define decomposition rules, or self-similar tilings, on leaves of the solenoid associated with the covering. △ Less

Submitted 21 October, 2005; v1 submitted 18 December, 2004; originally announced December 2004.

Comments: to appear in J. Algebra

MSC Class: 20E08; 37B10

Journal ref: J. Algebra 305 (2006), no. 2, 629--663

Iterated Monodromy Groups

Authors: Volodymyr Nekrashevych

Abstract: We associate a group $IMG(f)$ to every covering $f$ of a topological space $M$ by its open subset. It is the quotient of the fundamental group $π_1(M)$ by the intersection of the kernels of its monodromy action for the iterates $f^n$. Every iterated monodromy group comes together with a naturally defined action on a rooted tree. We present an effective method to compute this action and show how… ▽ More We associate a group $IMG(f)$ to every covering $f$ of a topological space $M$ by its open subset. It is the quotient of the fundamental group $π_1(M)$ by the intersection of the kernels of its monodromy action for the iterates $f^n$. Every iterated monodromy group comes together with a naturally defined action on a rooted tree. We present an effective method to compute this action and show how the dynamics of $f$ is related to the group. In particular, the Julia set of $f$ can be reconstructed from $\img(f)$ (from its action on the tree), if $f$ is expanding. △ Less

Submitted 16 December, 2003; originally announced December 2003.

Comments: about 40 pages, 6 figures

MSC Class: 20E08; 37B10; 28A80

From fractal groups to fractal sets

Authors: Laurent Bartholdi, Rostislav I. Grigorchuk, Volodymyr V. Nekrashevych

Abstract: This paper is a survey, with few proofs, of ideas and notions related to self-similarity of groups, semi-groups and their actions. It attempts to relate these concepts to more familiar ones, such as fractals, self-similar sets, and renormalizable dynamical systems. In particular, it presents a plausible definition of what a "fractal group" should be, and gives many examples of such groups. A p… ▽ More This paper is a survey, with few proofs, of ideas and notions related to self-similarity of groups, semi-groups and their actions. It attempts to relate these concepts to more familiar ones, such as fractals, self-similar sets, and renormalizable dynamical systems. In particular, it presents a plausible definition of what a "fractal group" should be, and gives many examples of such groups. A particularly interesting class of examples, derived from monodromy groups of iterated branch coverings, or equivalently from Galois groups of iterated polynomials, is presented. This class contains interesting groups from an algebraic point of view (just-non-solvable groups, groups of intermediate growth, branch groups,...), and at the same time the geometry of the group is apparent in that a limit of the group identifies naturally with the Julia set of the covering map. In its survey, the paper discusses finite-state transducers, growth of groups and languages, limit spaces of groups, hyperbolic spaces and groups, dynamical systems, Hecke-type operators, C^*-algebras, random matrices, ergodic theorems and entropy of non-commuting transformations. Self-similar groups appear then as a natural weaving thread through these seemingly different topics. △ Less

Submitted 13 September, 2002; v1 submitted 31 January, 2002; originally announced February 2002.

Comments: about 75 pages, with many postscript figures

MSC Class: 20E08; 37B10; 28A80

Journal ref: Fractals in Graz 2001, 25--118, Trends Math., Birkhauser, Basel, 2003