We present necessary and sufficient conditions for the existence of a splitting over $\mathbb{Z}$ of the mapping torus $M_ϕ=F\rtimes \mathbb{Z}$ of a free group automorphism $ϕ$.
If F is a finitely generated free group and ϕis an automorphism of F then the mapping torus of ϕadmits a quadratic isoperimetric inequality. This is the third and final paper in a series proving this theorem. The first two were math.GR/0211459 and math.GR/0507589.
The mapping torus of an endomorphism Φof a group G is the HNN-extension G*_G with bonding maps the identity and Φ. We show that a mapping torus of an injective free group endomorphism has the property that its finitely generated subgroups are finitely presented and, moreover, these subgroups are of finite type.
We prove that if the order of a splitting automorphism of free Burnside group~$B(m,n)$ of odd period~$n\ge1003$ is a prime power, then the automorphism is inner. Thus, we give an affirmative answer to the question on the coincidence of splitting and inner automorphisms of free Burnside groups $B(m,n)$ for automorphisms of orders~$p^k$ ($p$ is a prime number). This question was posed in the Kourovka Notebook in 1990 (see 11th ed., Question 11.36.~b).
Let G be an abelian p-group sum of finite homocyclic groups Gi. Here, we determine in which cases the automorphism group of G splits over ker(h), where h: Aut(G)-->Xi Aut(Gi/pGi) is the natural epimorphism.
Let $G$ be the mapping torus of a polynomially growing automorphism of a finitely generated free group. We determine which epimorphisms from $G$ to $\mathbb{Z}$ have finitely generated kernel, and we compute the rank of the kernel. We thus describe all possible ways of expressing $G$ as the mapping torus of a free group automorphism. This is similar to the case for 3--manifold groups, and different from the case of mapping tori of exponentially growing free group automorphisms. The proof uses a hierarchical decomposition of $G$ and requires determining the Bieri-Neumann-Strebel invariant of th…
An n-dimensional quantum torus is a twisted group algebra of the group $\Z^n$. It is called rational if all invertible commutators are roots of unity. In the present note we describe a normal form for rational n-dimensional quantum tori over any field. Moreover, we show that for $n = 2$ the natural exact sequence describing the automorphism group of the quantum torus splits over any field.
For an amalgam of two free groups and a particular kind of automorphism, we show that the Dehn function of the corresponding mapping torus is quadratic.
We show that the group of type-preserving automorphisms of any irreducible semi-regular thick right-angled building is abstractly simple. When the building is locally finite, this gives a large family of compactly generated (abstractly) simple locally compact groups. Specializing to appropriate cases, we obtain examples of such simple groups that are locally indecomposable, but have locally normal subgroups decomposing non-trivially as direct products.
We prove that every simplicial automorphism of the free splitting graph of a free group of at least rank 3 is induced by an outer automorphism of the free group.
We give a cohomological criterion for existence of outer automorphisms of a semisimple algebraic group over an arbitrary field. This criterion is then applied to the special case of groups of type D_2n over a global field, which completes some of the main results from the paper "Weakly commensurable arithmetic groups and isospectral locally symmetric spaces" (Pub. Math. IHES, 2009) by Prasad and Rapinchuk and gives a new proof of a result from another paper by the same authors.
Let $G$ be a finite group of Lie type $E_l$ with $l\in\{6,7,8\}$ over $F_q$ and $W$ be the Weyl group of $G$. We describe all maximal tori $T$ of $G$ such that $T$ has a complement in its algebraic normalizer $N(G,T)$. Let $T$ correspond to an element $w$ of $W$. When $T$ does not have a complement, we show that $w$ has a lift in $N(G,T)$ of order $|w|$ in all considered groups, except the simply-connected group $E_7(q)$. In the latter case we describe the elements $w$ that have a lift in $N(G,T)$ of order $|w|$.
We study the loxodromic elements for the action of $Out(F_n)$ on the free splitting complex of the rank $n$ free group $F_n$. We prove that each outer automorphism is either loxodromic, or has bounded orbits without any periodic point, or has a periodic point; and we prove that all three possibilities can occur. We also prove that two loxodromic elements are either co-axial or independent, meaning that their attracting/repelling fixed point pairs on the Gromov boundary of the free splitting complex are either equal or disjoint as sets. Each of the alternatives in these results is also characte…
We prove that any isometry of the graph of cyclic splittings of a finitely generated free group $F_N$ of rank $N\ge 3$ is induced by an outer automorphism of $F_N$. The same statement also applies to the graphs of maximally-cyclic splittings, and of very small splittings.
We show that an outer automorphism acts loxodromically on the cyclic splitting complex if and only if it has a filling lamination and no generic leaf of the lamination is carried by a vertex group of a cyclic splitting. This is the analog for the cyclic splitting complex of Handel-Mosher's theorem on loxodromics for the free splitting complex. We also show that such outer automorphisms have virtually cyclic centralizers.
We study smooth actions of SAut(Fn), the unique subgroup of index two in the automorphism group of a free group of rank n, as a part of the generalized 'Zimmer program'. In particular, we show that every action of SAut(Fn) on a low dimensional torus is trivial.
Given an octonion algebra over a field k, its automorphism group G is an algebraic semisimple k-group of type G_2. We study the maximal tori of G in terms of the algebra C.
We show that, if $H$ is a random subgroup of a finitely generated free group $F_k$, only inner automorphisms of $F_k$ may leave $H$ invariant. A similar result holds for random subgroups of toral relatively hyperbolic groups, more generally of groups which are hyperbolic relative to slender subgroups. These results follow from non-existence of splittings over slender groups which are relative to a random group element. Random subgroups are defined using random walks or balls in a Cayley tree of $F_k$.
We study automorphisms of a relatively hyperbolic group G. When G is one-ended, we describe Out(G) using a preferred JSJ tree over subgroups that are virtually cyclic or parabolic. In particular, when G is toral relatively hyperbolic, Out(G) is virtually built out of mapping class groups and subgroups of GL_n(Z) fixing certain basis elements. When more general parabolic groups are allowed, these subgroups of GL_n(Z) have to be replaced by McCool groups: automorphisms of parabolic groups acting trivially (i.e. by conjugation) on certain subgroups. Given a malnormal quasiconvex subgroup P of a h…
The JSJ decomposition encodes the automorphisms and the virtually cyclic splittings of a hyperbolic group. For general finitely presented groups, the JSJ decomposition encodes only their splittings. In this sequence of papers we study the automorphisms of a hierarchically hyperbolic group that satisfies some weak acylindricity conditions. To study these automorphisms we construct an object that can be viewed as a higher rank JSJ decomposition. In the first paper we demonstrate our construction in the case of a right angled Artin group. For studying automorphisms of a general HHG we construct w…
By using a notion of a geometric Dehn twist in $\sharp_k(S^2 \times S^1)$, we prove that when projections of two $\mathbb{Z}$-splittings to the free factor complex are far enough from each other in the free factor complex, Dehn twist automorphisms corresponding to the $\mathbb{Z}$-splittings generate a free group of rank $2$. Moreover, every element from this free group is either conjugate to a power of one of the Dehn twists or it is a fully irreducible outer automorphism of the free group. We also prove that, when projected to the intersection graph, the same group of Dehn twists produce ato…
Tree-graded spaces are generalizations of R-trees. They appear as asymptotic cones of groups (when the cones have cut points). Since many questions about endomorphisms and automorphisms of groups, solving equations over groups, studying embeddings of a group into another group, etc. lead to actions of groups on the asymptotic cones, it is natural to consider actions of groups on tree-graded spaces. We develop a theory of such actions which generalizes the well known theory of groups acting on R-trees. As applications of our theory, we describe, in particular, relatively hyperbolic groups with …
In this article we show how to calculate the group of automorphisms of flat Kähler manifolds. Moreover we are interested in the problem of classification of such manifolds up to biholomorphism. We consider these problems from two points of view. The first one treats the automorphism group as a subgroup of the group of affine transformations, while in the second one we analyze it using automorphisms of complex tori. This leads us to the analogues of the Bieberbach theorems in the complex case. We end with some examples, which in particular show that in general the finiteness of the automorphism…