Related papers: A presentation for Aut(F_n)

The group of automorphisms of the free group on two generators is known to act geometrically, in an essentially unique way, on a 2-dimensional CAT(0) space X. We prove that X contains precisely two Hamiltonian surfaces. By this we mean a…

Let $A=A(x_{1},...,x_{n})$ be a free associative algebra in $\mathcal{A}$ freely generated over $K$ by a set $X=\{x_{1},...,x_{n}\}$, $End A$ be the semigroup of endomorphisms of $A$, and $Aut End A$ be the group of automorphisms of the…

We develop a theory of generalized presentations of groups. We give generalized presentations of the symmetric group $\Sigma(X)$ for an arbitrary set $X$ and of the automorphism group of the free group of countable rank, $Aut(F_{\omega})$.

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…

A countable graph is ultrahomogeneous if every isomorphism between finite induced subgraphs can be extended to an automorphism. Woodrow and Lachlan showed that there are essentially four types of such countably infinite graphs: the random…

The observation that a graph of rank $n$ can be assembled from graphs of smaller rank $k$ with $s$ leaves by pairing the leaves together leads to a process for assembling homology classes for $Out(F_n)$ and $Aut(F_n)$ from classes for…

Let X be a compact Kaehler manifold of complex dimension n. Let G be a connected solvable subgroup of the automorphism group Aut(X), and let N(G) be the normal subgroup of G of elements of null entropy. One of the goals of this paper is to…

We show that if a field k contains sufficiently many elements(for instance, if k is infinite), and K is an algebraically closed field containing k, then every linear algebraic k-group over K is k-isomorphic to Aut(A\otimes_kK), where A is a…

Let F be an infinitely generated free group and R a fully invariant subgroup of F such that (a) R is contained in the commutator subgroup F' of F and (b) the quotient group F/R is residually torsion-free nilpotent. Then the automorphism…

We generalize Wagoner's representation of the automorphism group of a two-sided subshifts of finite type as the fundamental group of a certain CW-complex to groupoids having a certain refinement structure. This significantly streamlines the…

We show that the automorphism group of affine n-space $A^n$ determines $A^n$ up to isomorphism: If $X$ is a connected affine variety such that $Aut(X)$ is isomorphic to $Aut(A^n)$ as ind-groups, then $X$ is isomorphic to $A^n$ as a variety.…

We give a short proof of a theorem of Handel and Mosher stating that any finitely generated subgroup of $\text{Out}(F_N)$ either contains a fully irreducible automorphism, or virtually fixes the conjugacy class of a proper free factor of…

Let $X$ be a compact Riemann surface of genus $g\geq 2$, and let $Aut(X)$ be its group of automorphims. We show that the exponent of $Aut(X)$ is bounded by $42(g-1)$. We also determine explicitly the infinitely many values of $g$ for which…

We show that for any full and sufficiently transitive (i.e. \textit{flexible}) group $G$ of homeomorphisms of Cantor space, $\mathrm{Aut}(\mathrm{Aut}(G)) = \mathrm{Aut}(G)$. This class contains many generalisations of the Higman-Thompson…

Let $F_n$ be the free group on $n \geq 2$ generators. We show that for all $1 \leq m \leq 2n-3$ (respectively for all $1 \leq m \leq 2n-4$) there exists a subgroup of $\operatorname{Aut}(F_n)$ (respectively $\operatorname{Out}(F_n)$) which…

Let $G$ be a group. The orbits of the natural action of $Aut(G)$ on $G$ are called the automorphism orbits of $G$, and their number is denoted by $\omega(G)$. Let $\mathbb{F}$ be an infinite field, and let $UT_n(\mathbb{F})$ denote the…

We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

We prove that the automorphism group of an arbitrary non-abelian free group is complete. It generalizes the result by J.Dyer and E.Formanek (1975) stating the completeness of automorphism group of finitely generated free groups. Using the…

We define the symmetric (outer) automorphism group of a right-angled Artin group and construct for it a (spine of) Outer space. This `symmetric spine' is a contractible cube complex upon which the symmetric outer automorphism group acts…

We compute the cohomology groups of the automorphism group of the free group $F_n$, with coefficients in arbitrary tensor products of the standard representation $H_1(F_n, \mathbb{Q})$ and its dual, in a range where $n$ is sufficiently…