Let $G=\ast_{i=1}^{n}G_{i}$ and let $ϕ$ be a symmetric endomorphism of $G$. If $ϕ$ is a monomorphism or if $G$ is a finitely generated residually finite group, then the fixed subgroup $Fix(ϕ)=\{g\in G:ϕ(g)=g\}$ of $ϕ$ has Kurosh rank at most $n$.
We prove that for any finitely generated relatively hyperbolic group G and any symmetric endomorphism f of G with relatively quasiconvex image, Fixf is relatively quasiconvex subgroup of G.
The concepts of the scale and tidy subgroups for an automorphism of a totally disconnected locally compact group were defined in seminal work by George A. Willis in the 1990s, and recently generalized to the case of endomorphisms (G. A. Willis, Math. Ann. 361 (2015), 403--442). We show that central facts concerning the scale, tidy subgroups, quotients, and contraction groups of automorphisms extend to the case of endomorphisms. In particular, we obtain results concerning the domain of attraction around an invariant closed subgroup.
We consider the subgroup of points of finite orbit through the action of an endomorphism of a virtually free group, with particular emphasis on the subgroup of eventually fixed points, EvFix($φ$): points whose orbit contains a fixed point. We provide an algorithm to compute the subgroup of fixed points of an endomorphism of a finitely generated virtually free group and prove that finite orbits have cardinality bounded by a computable constant, which allows us to solve several algorithmic problems: deciding if $φ$ is a finite order element of End($G$), if $φ$ is aperiodic, if EvFix($φ$) is fini…
Let G be a group and f be an endomorphism of G. A subgroup H of G is called f-inert if the meet of Hf and H has finite index in the image Hf. The subgroups that are f-inert for all inner automorphisms of G are widely known and studied in the literature, under the name inert subgroups. The related notion of inertial endomorphism, namely an endomorphism f such that all subgroups of G are f-inert, was introduced in [30] and thoroughly studied in [31, 33]. The dual notion of fully inert subgroup, namely a subgroup that is f-inert for all endomorphisms of an abelian group A, was introduced in [42] …
Lie groups over local fields furnish prime examples of totally disconnected, locally compact groups. We discuss the scale, tidy subgroups and further subgroups (like contraction subgroups) for analytic endomorphisms of such groups. The text is both a research article and a worked out set of lecture notes for a mini-course held June 27-July 1, 2016 at the MATRIX research center in Creswick (Australia) as part of the "Winter of Disconnectedness". The text can be read in parallel to the earlier lecture notes arXiv:0804.2234 which are devoted to automorphisms, with sketches of proof. Complementary…
We give an algorithm which computes the fixed subgroup and the stable image for any endomorphism of the free group of rank two $F_2$, answering for $F_2$ a question posed by Stallings in 1984 and a question of Ventura.
We study the scale and tidy subgroups of an endomorphism of a totally disconnected locally compact group using a geometric framework. This leads to new interpretations of tidy subgroups and the scale function. Foremost, we obtain a geometric tidying procedure which applies to endomorphisms as well as a geometric proof of the fact that tidiness is equivalent to being minimizing for a given endomorphism. Our framework also yields an endomorphism version of the Baumgartner-Willis tree representation theorem. We conclude with a construction of new endomorphisms of totally disconnected locally comp…
We prove that ascending HNN extensions of free groups are word-hyperbolic if and only if they have no Baumslag-Solitar subgroups. This extends the theorem of Brinkmann that free-by-cyclic groups are word-hyperbolic if and only if they have no free abelian subgroups of rank 2. The paper is split into two independent parts: 1) We study the dynamics of injective nonsurjective endomorphisms of free groups. We prove a canonical structure theorem that initializes the development of improved relative train tracks for endomorphisms; this structure theorem is of independent interest since it makes many…
The interplay between set-theoretic solutions of the Yang--Baxter equation of Mathematical Physics, skew braces, regular subgroups, and Hopf--Galois structures has spawned a considerable body of literature in recent years. In a recent paper, Alan Koch generalised a construction of Lindsay N.~Childs, showing how one can obtain bi-skew braces $(G, \cdot, \circ)$ from an endomorphism of a group $(G, \cdot)$ whose image is abelian. In this paper, we characterise the endomorphisms of a group $(G, \cdot)$ for which Koch's construction, and a variation on it, yield (bi-)skew braces. We show how the s…
Let $G$ be a Lie group over a totally disconnected local field and $α$ be an analytic endomorphism of $G$. The contraction group of $α$ ist the set of all $x\in G$ such that $α^n(x)\to e$ as $n\to\infty$. Call sequence $(x_{-n})_{n\geq 0}$ in $G$ an $α$-regressive trajectory for $x\in G$ if $α(x_{-n})=x_{-n+1}$ for all $n\geq 1$ and $x_0=x$. The anti-contraction group of $α$ is the set of all $x\in G$ admitting an $α$-regressive trajectory $(x_{-n})_{n\geq 0}$ such that $x_{-n}\to e$ as $n\to\infty$. The Levi subgroup is the set of all $x\in G$ whose $α$-orbit is relatively compact, and such t…
We describe the endomorphisms of the direct product of two free groups of finite rank and obtain conditions for which the subgroup of fixed points is finitely generated and we do the same for periodic points. We also describe the automorphisms of such a group and solve the three Whitehead problems for automorphisms, monomorphisms and endomorphisms for groups in this class. We also obtain conditions for an endomorphism to be uniformly continuous when a suitable metric is considered and study infinite fixed points of the extension to the completion of the group.
We give an explicit characterization of which direct products $G$ of surface groups of Euclidean type satisfy that the fixed subgroup of any automorphism (or endomorphism) of $G$ is compressed, and of which is it always inert.
We prove that the property of a free group endomorphism being irreducible is a group invariant of the ascending HNN extension it defines. This answers a question posed by Dowdall-Kapovich-Leininger. We further prove that being irreducible and atoroidal is a commensurability invariant. The invariance follows from an algebraic characterization of ascending HNN extensions that determines exactly when their defining endomorphisms are irreducible and atoroidal; specifically, we show that the endomorphism is irreducible and atoroidal if and only if the ascending HNN extension has no infinite index s…
We prove that the mapping torus of a graph immersion has a word-hyperbolic fundamental group if and only if the corresponding endomorphism does not produce Baumslag-Solitar subgroups. Due to a result by Reynolds, this theorem applies to all injective endomorphisms of $F_2$ and nonsurjective fully irreducible endomorphisms of $F_n$. We also give a framework for extending the theorem to all injective endomorphisms of $F_n$.
A finitely generated group $Γ$ is called strongly scale-invariant if there exists an injective endomorphism $φ: Γ\to Γ$ with the image $φ(Γ)$ of finite index in $Γ$ and the subgroup $\displaystyle \bigcap_{n>0}φ^n(Γ)$ finite. The only known examples of such groups are virtually nilpotent, or equivalently, all examples have polynomial growth. A question by Nekrashevych and Pete asks whether these groups are the only possibilities for such endomorphisms, motivated by the positive answer due to Gromov in the special case of expanding group morphisms. In this paper, we study this question for the …
We give a sufficient criterion for generic local functional equations for submodule zeta functions associated to nilpotent algebras of endomorphisms defined over number fields. This allows us, in particular, to prove various conjectures on such functional equations for ideal zeta functions of nilpotent Lie lattices. Via the Mal'cev correspondence, these results have corollaries pertaining to zeta functions enumerating normal subgroups of finite index in finitely generated nilpotent groups, most notably finitely generated free nilpotent groups of any given class.
The classical result by Dyer--Scott about fixed subgroups of finite order automorphisms of $F_n$ being free factors of $F_n$ is no longer true in $Z^m\times F_n$. Within this more general context, we prove a relaxed version in the spirit of Bestvina--Handel Theorem: the rank of fixed subgroups of finite order automorphisms is uniformly bounded in terms of $m,n$. We also study periodic points of endomorphisms of $Z^m\times F_n$, and give an algorithm to compute auto-fixed closures of finitely generated subgroups of $Z^m\times F_n$. On the way, we prove the analog of Day's Theorem for real eleme…
Determinant for automorphisms of Zappa-Szép product of groups
Desh Bhagat Pandit Chetan Dev Government College of Education, Faridkot, Punjab, India(法里德科特德斯·巴哈格特·潘迪特·切坦·德夫政府教育学院);Manipal University, Jaipur, Rajasthan, India(斋浦尔马匹阿尔大学);Central University of Rajasthan, Ajmer, Rajasthan, India(阿杰梅尔拉贾斯坦中央大学)
We obtain conditions of uniform continuity for endomorphisms of free-abelian times free groups for the product metric defined by taking the prefix metric in each component and establish an equivalence between uniform continuity for this metric and the preservation of a coarse-median, which was recently introduced by Fioravanti. Considering the extension of an endomorphism to the completion we count the number of orbits for the action of the subgroup of fixed points (resp. periodic) points on the set of infinite fixed (resp. periodic) points. Finally, we study the dynamics of infinite points: f…
Let $G$ be a countable monoid and let $A$ be an Artinian group (resp. an Artinian module). Let $Σ\subset A^G$ be a closed subshift which is also a subgroup (resp. a submodule) of $A^G$. Suppose that $Γ$ is a finitely generated monoid consisting of pairwise commuting cellular automata $Σ\to Σ$ that are also homomorphisms of groups (resp. homomorphisms of modules) with monoid binary operation given by composition of maps. We show that the valuation action of $Γ$ on $Σ$ satisfies a natural intrinsic shadowing property. Generalizations are also established for families of endomorphisms of admissib…