Factors $\frac{X}{Y}$ in a free group $F$ with $Y$ normal in $X$ are considered. Precise results on the free structure of ${Y}$ relative to the free structure of ${X}$ when $\frac{X}{Y}$ is abelian are obtained. Some extensions and applications are given, as for example to the construction of lower central factors in general groups. A collecting process on free generators, which gives basic commutator-type free generators for some subgroups, is also presented. The notion of {\em relative basic commutators} is developed.
Measure free factors are a generalization of the notion of free factors of a group, in a measure theoretic context. We find new families of cyclic measure free factors of free groups and some virtually free groups, following a question by D. Gaboriau.
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths of the generators of H and exponential in the rank of F. We show that the latter dependency can be made exponential in the rank difference rank(F) - rank(H), which often makes a significant change.
In this note we give a new proof of the fact that an elementary subgroup (in the sense of first-order theory) of a non abelian free group $\mathbb{F}$ must be a free factor. The proof is based on definability of orbits of elements of under automorphisms of $\mathbb{F}$ fixing a large enough subset of $\mathbb{F}$.
Profinite detection of free products and free factors
Instituto de Ciencias Matemáticas, CSIC-UAM-UC3M-UCM（数学科学研究所）；Departamento de Matemáticas, Universidad Autónoma de Madrid（马德里自治大学数学系）；Departamento de Matemática, Universidade de Brasília（巴西利亚大学数学系）
We develop the geometry of folding paths in Outer space and, as an application, prove that the complex of free factors of a free group of finite rank is hyperbolic.
We show how to derive hyperbolicity of the free factor complex of $F_N$ from the Handel-Mosher proof of hyperbolicity of the free splitting complex of $F_N$, thus obtaining an alternative proof of a theorem of Bestvina-Feighn. We also show that under the natural map $τ$ from the free splitting complex to free factor complex, a geodesic $[x,y]$ maps to a path that is uniformly Hausdorff-close to a geodesic $[τ(x),τ(y)]$ .
It is well known that a nontrivial commutator in a free group is never a proper power. We prove a theorem that generalizes this fact and has several worthwhile corollaries. For example, an equation $[ x_1, y_1] \ldots [ x_k, y_k] = z^n$, where $n \ge 2k$, in a free product $\mathcal{F}$ of groups without nontrivial elements of order $\le n$ implies that $z$ is conjugate to an element of a free factor of $\mathcal{F}$. If a nontrivial commutator in a free group factors into a product of elements which are conjugate to each other then all these elements are distinct.
We provide an effective algorithm for determining whether an element of the outer automorphism group of a free group is fully irreducible. Our method produces a finite list which can be checked for periodic proper free factors.
In this paper we prove that a fully irreducible outer automorphism relative to a non-exceptional free factor system acts loxodromically on the relative free factor complex as defined by Handel and Mosher. We also prove a north-south dynamic result for the action of such outer automorphisms on the closure of relative outer space.
We show that the complex of free factors of a free group of rank n > 1 is homotopy equivalent to a wedge of spheres of dimension n-2. We also prove that for n > 1, the complement of (unreduced) Outer space in the free splitting complex is homotopy equivalent to the complex of free factor systems and moreover is (n-2)-connected. In addition, we show that for every non-trivial free factor system of a free group, the corresponding relative free splitting complex is contractible.
Let $F$ be any finite-rank free group, and $R$ be any finite subset of $\{g, [g]: g \in F-\{1\}\}$, where $[g]:= \{fgf^{-1}:f\in F\}$. By an $R$-allocating $F$-factorization we mean a set $\mathcal{H}$ of nontrivial subgroups of $F$ such that $\ast_{H \in \mathcal{H}} H = F$ and $R \subseteq \{h, [h] : h \in H, H\in \mathcal{H}\}$. We show that Whitehead's (fast) cutvertex algorithm inputs the pair $(F,R)$ and outputs a maximum-size $R$-allocating $F$-factorization. Richard Stong showed this in the case where $R \subseteq F$ or $R \subseteq \{[g] : g \in F\}$, thereby unifying and generalizing…
Let $F$ be a finite-rank free group and $H$ be a finite-rank subgroup of $F$. We discuss proofs of two algorithms that sandwich $H$ between an upper-layer free-product factor of $F$ that contains $H$ and a lower-layer free-product factor of $F$ that is contained in $H$. Richard Stong showed that the unique smallest-possible upper layer, denoted $\operatorname{Cl}(H)$, is visible in the output of the polynomial-time cut-vertex algorithm of J. H. C. Whitehead. Stong's proof used bi-infinite paths in a Cayley tree and sub-surfaces of a three-manifold. We give a variant of his proof that uses edge…
We give a description of the boundary of a complex of free factors that is analogous to E. Klarreich's description of the boundary of a curve complex. The argument uses the geometry of folding paths developed by Bestvina and Feighn as well as structural results about very small trees developed by Coulbois, Hilion, Lustig, and Reynolds.
We introduce the factorization graph of a finite group and study its connectedness and forbidden structures. We characterize all finite groups with connected factorization graphs and classify those with connected bipartite factorization graphs. Also, we obtain a classification of all groups with claw-free, $K_{1,4}$-free, and square-free factorization graphs, excluding the non-solvable groups in the latter case.
We prove that for any free ergodic probability measure preserving action \F_n \actson (X,μ) of a free group on n generators \F_n, 2 \leq n \leq \infty, the associated group measure space II_1 factor $L^\infty(X) \rtimes \F_n$ has L^\infty(X) as its unique Cartan subalgebra, up to unitary conjugacy. We deduce that group measure space II_1 factors arising from actions of free groups with different number of generators are never isomorphic. We actually prove unique Cartan decomposition results for II_1 factors arising from arbitrary actions of a rather large family of groups, including all free p…
We develop a refinement of Whitehead's algorithm for primitive words in a free group. We generalize to subgroups, establishing a strengthened version of Whitehead's algorithm for free factors. We make use of these refinements in proving new results about primitive elements and free factors in a free group. These include a relative version of Whitehead's algorithm, and a criterion that tests whether a subgroup is a free factor just by looking at its primitive elements. We develop an algorithm to determine whether or not two vertices in the free factor complex have distance $d$ for $d=1,2,3$, as…
It is proved that all finitely generated subgroups of generalized free product of two groups are finitely separable provided that free factors have this property and amalgamated subgroups are normal in corresponding factors and satisfy the maximum condition for subgroups.
In this paper we introduce a new family of icc groups $Γ$ which satisfy the following product rigidity phenomenon, discovered in [DHI16] (see also [dSP17]): all tensor product decompositions of the II$_1$ factor $L(Γ)$ arise only from the canonical direct product decompositions of the underlying group $Γ$. Our groups are assembled from certain HNN-extensions and amalgamated free products and include many remarkable groups studied throughout mathematics such as graph product groups, poly-amalgam groups, Burger-Mozes groups, Higman group, various integral two-dimensional Cremona groups, etc. As …
We study Cartan subalgebras in the context of amalgamated free product II$_1$ factors and obtain several uniqueness and non-existence results. We prove that if $Γ$ belongs to a large class of amalgamated free product groups (which contains the free product of any two infinite groups) then any II$_1$ factor $L^{\infty}(X)\rtimesΓ$ arising from a free ergodic probability measure preserving action of $Γ$ has a unique Cartan subalgebra, up to unitary conjugacy. We also prove that if $\mathcal R=\mathcal R_1*\mathcal R_2$ is the free product of any two non-hyperfinite countable ergodic probability …
We give an elementary proof for Lewis Bowen's theorem saying that two Bernoulli actions of two free groups, each having arbitrary base probability spaces, are stably orbit equivalent. Our methods also show that for all compact groups K and every free product Γof n infinite amenable groups, the factor K^Γ/K of the Bernoulli action of Γon K^Γ by the diagonal action of K, is isomorphic with a Bernoulli action of Γ.
For every finite graph $Γ$, we define a simplicial complex associated to the outer automorphism group of the RAAG $A_Γ$. These complexes are defined as coset complexes of parabolic subgroups of $Out^0(A_Γ)$ and interpolate between Tits buildings and free factor complexes. We show that each of these complexes is homotopy Cohen-Macaulay and in particular homotopy equivalent to a wedge of d-spheres. The dimension d can be read off from the defining graph $Γ$ and is determined by the rank of a certain Coxeter subgroup of $Out^0(A_Γ)$. In order to show this, we refine the decomposition sequence for…
We prove that the normalizer of any diffuse amenable subalgebra of a free group factor $L(\Bbb F_r)$ generates an amenable von Neumann subalgebra. Moreover, any II$_1$ factor of the form $Q \vt L(\Bbb F_r) $, with $Q$ an arbitrary subfactor of a tensor product of free group factors, has no Cartan subalgebras. We also prove that if a free ergodic measure preserving action of a free group $\Bbb F_r$, $2\leq r \leq \infty$, on a probability space $(X,μ)$ is profinite then the group measure space factor $L^\infty(X)\rtimes \Bbb F_r$ has unique Cartan subalgebra, up to unitary conjugacy.
Given a countable group $G$ splitting as a free product $G=G_1\ast\dots\ast G_k\ast F_N$, we establish classification results for subgroups of the group $Out(G,\mathcal{F})$ of all outer automorphisms of $G$ that preserve the conjugacy classes of each $G_i$. We show that every finitely generated subgroup $H\subseteq Out(G,\mathcal{F})$ either contains a relatively fully irreducible automorphism, or else it virtually preserves the conjugacy class of a proper free factor relative to the decomposition (the finite generation hypothesis on $H$ can be dropped for $G=F_N$, or more generally when $G$ …
