Related papers: The cogrowth inequality from Whitehead's algorithm

Let $f(x)$ be a non-zero polynomial with integer coefficients. An automorphism $\varphi$ of a group $G$ is said to satisfy the elementary abelian identity $f(x)$ if the linear transformation induced by $\varphi$ on every characteristic…

We consider amalgamated free product II$_1$ factors $M = M_1 *_B M_2 *_B ...$ and use ``deformation/rigidity'' and ``intertwining'' techniques to prove that any relatively rigid von Neumann subalgebra $Q\subset M$ can be intertwined into…

Voiculescu's random matrix model for freeness is extended to the non-Gaussian case and also the case of constant block diagonal matrices. Thus we are able to investigate free products of free group factors with matrix algebras and with the…

Let $G = H\times A$ be a group, where $H$ is a purely non-abelian subgroup of $G$ and $A$ is a non-trivial abelian factor of $G$. Then, for $n \geq 2$, we show that there exists an isomorphism $\phi : Aut_{Z(G)}^{\gamma_{n}(G)}(G)…

McCarthy's Theorem for the mapping class group of a closed hyperbolic surface states that for any two mapping classes $\sigma,\tau \in \mathrm{Mod}(S)$ there is some power $N$ such that the group $\langle \sigma^N,\tau^N\rangle$ is either…

Let $F_n$ be a free group of rank $n$. In this paper we discuss three algorithmic problems related to automorphisms of $F_2$. A word $u$ of $F_n$ is called positive if $u$ does not have negative exponents. A word $u$ in $F_n$ is called…

We study the combinatorial, algebraic and geometric properties of the free product operation on matroids. After giving cryptomorphic definitions of free product in terms of independent sets, bases, circuits, closure, flats and rank…

A new infinite series of rational affine algebraic varieties is constructed whose automorphism group contains the automorphism group ${\rm Aut}(F_n)$ of the free group $F_n$ of rank $n$. The automorphism groups of such varieties are…

Let $G$ be a group and let ${\mathcal G}$ be a free factor system of $G$, namely a free splitting of $G$ as $G=G_1*\dots*G_k*F_r$. In this paper, we study the set of train track points for ${\mathcal G}$-irreducible automorphisms $\phi$…

This paper, which is the last of a series of three papers, studies dynamical properties of elements of $\mathrm{Out}(F_{\tt n})$, the outer automorphism group of a nonabelian free group $F_{\tt n}$. We prove that, for every subgroup $H$ of…

For an epimorphism pi of the free group F_n onto a finite group G write Gamma(G,pi) for the group of all automorphisms f of F_n for which pi*f = pi. This is called the standard congruence subgroup of Aut(F_n) associated to G and pi. In the…

Given a finite set $A$ and a group homomorphism $\phi : H \to G$, a $\phi$-cellular automaton is a function $\mathcal{T} : A^G \to A^H$ that is continuous with respect to the prodiscrete topologies and $\phi$-equivariant in the sense that…

For an ordinary K3 surface over an algebraically closed field of positive characteristic we show that every automorphism lifts to characteristic zero. Moreover, we show that the Fourier-Mukai partners of an ordinary K3 surface are in…

We study the intersection of finitely generated subgroups of free groups by utilizing the method of linear programming. We prove that if $H_1$ is a finitely generated subgroup of a free group $F$, then the WN-coefficient $\sigma(H_1)$ of…

We study Fourier coefficients of $GL_n(\A)$-automorphic functions $\phi$, for $\A$ being the adele group of a number field $\kkk$. Let FC be an abbreviation for such a Fourier coefficient (and FCs for plural). Roughly speaking, in the…

Given a family $\mathcal{F}$ of graphs, a graph is \emph{$\mathcal{F}$-subgraph-free} if it has no subgraph isomorphic to a member of $\mathcal{F}$. We present a fixed-parameter linear-time algorithm that decides whether a planar graph can…

We make a systematic study of filtrations of a free group F defined as products of powers of the lower central series of F. Under some assumptions on the exponents, we characterize these filtrations in terms of the group algebra, the Magnus…

A classic conjecture of F\"{u}redi, Kahn and Seymour (1993) states that given any hypergraph with non-negative edge weights $w(e)$, there exists a matching $M$ such that $\sum_{e \in M} (|e|-1+1/|e|)\, w(e) \geq w^*$, where $w^*$ is the…

Let F_2 be a free group of rank 2. We prove that there is an algorithm that decides whether or not, for given two elements u, v of F_2, u and v are translation equivalent in F_2, that is, whether or not u and v have the property that the…

Let $W\ltimes L$ be an irreducible affine Weyl group with Coxeter complex $\Sigma$, where $W$ denotes the associated finite Weyl group and $L$ the translation subgroup. The Steinberg torus is the Boolean cell complex obtained by taking the…