Inverse monoids and immersions of 2-complexes

It is well known that under mild conditions on a connected topological space $\mathcal X$, connected covers of $\mathcal X$ may be classified via conjugacy classes of subgroups of the fundamental group of $\mathcal X$. In this paper, we extend these results to the study of immersions into 2-dimensional CW-complexes. An immersion $f : {\mathcal D} \rightarrow \mathcal C$ between CW-complexes is a cellular map such that each point $y \in {\mathcal D}$ has a neighborhood $U$ that is mapped homeomorphically onto $f(U)$ by $f$. In order to classify immersions into a 2-dimensional CW-complex $\mathcal C$, we need to replace the fundamental group of $\mathcal C$ by an appropriate inverse monoid. We show how conjugacy classes of the closed inverse submonoids of this inverse monoid may be used to classify connected immersions into the complex

On subgroups of R. Thompson's group FF

We provide two ways to show that the R. Thompson group $F$ has maximal subgroups of infinite index which do not fix any number in the unit interval under the natural action of $F$ on $(0,1)$, thus solving a problem by D. Savchuk. The first way employs Jones' subgroup of the R. Thompson group $F$ and leads to an explicit finitely generated example. The second way employs directed 2-complexes and 2-dimensional analogs of Stallings' core graphs, and gives many implicit examples. We also show that $F$ has a decreasing sequence of finitely generated subgroups $F>H_1>H_2>...$ such that $\cap H_i=\{1\}$ and for every $i$ there exist only finitely many subgroups of $F$ containing $H_i$.Comment: 20 pages; v2: fixed some misprints, filled a gap in the proof of Theorem 4.1, added Remark 4.1 that Homeo^+(R) and many subgrioups of that group are quasi-residually finite; v3: Section 5 added, final version accepted to Transactions of the AM

Stallings graphs for quasi-convex subgroups

We show that one can define and effectively compute Stallings graphs for quasi-convex subgroups of automatic groups (\textit{e.g.} hyperbolic groups or right-angled Artin groups). These Stallings graphs are finite labeled graphs, which are canonically associated with the corresponding subgroups. We show that this notion of Stallings graphs allows a unified approach to many algorithmic problems: some which had already been solved like the generalized membership problem or the computation of a quasi-convexity constant (Kapovich, 1996); and others such as the computation of intersections, the conjugacy or the almost malnormality problems. Our results extend earlier algorithmic results for the more restricted class of virtually free groups. We also extend our construction to relatively quasi-convex subgroups of relatively hyperbolic groups, under certain additional conditions.Comment: 40 pages. New and improved versio

On the lattice of subgroups of a free group: complements and rank

A $\vee$-complement of a subgroup $H \leqslant \mathbb{F}_n$ is a subgroup $K \leqslant \mathbb{F}_n$ such that $H \vee K = \mathbb{F}_n$. If we also ask $K$ to have trivial intersection with $H$, then we say that $K$ is a $\oplus$-complement of $H$. The minimum possible rank of a $\vee$-complement (resp. $\oplus$-complement) of $H$ is called the $\vee$-corank (resp. $\oplus$-corank) of $H$. We use Stallings automata to study these notions and the relations between them. In particular, we characterize when complements exist, compute the $\vee$-corank, and provide language-theoretical descriptions of the sets of cyclic complements. Finally, we prove that the two notions of corank coincide on subgroups that admit cyclic complements of both kinds.Comment: 27 pages, 5 figure

Intersection problem for Droms RAAGs

We solve the subgroup intersection problem (SIP) for any RAAG G of Droms type (i.e., with defining graph not containing induced squares or paths of length 3): there is an algorithm which, given finite sets of generators for two subgroups H,K of G, decides whether $H \cap K$ is finitely generated or not, and, in the affirmative case, it computes a set of generators for $H \cap K$. Taking advantage of the recursive characterization of Droms groups, the proof consists in separately showing that the solvability of SIP passes through free products, and through direct products with free-abelian groups. We note that most of RAAGs are not Howson, and many (e.g. F_2 x F_2) even have unsolvable SIP.Comment: 33 pages, 12 figures (revised following the referee's suggestions