Showing 1–10 of 10 results for author: Touikan, N W M

On the quasi-isometric rigidity of graphs of surface groups

Authors: Alexander Taam, Nicholas W. M. Touikan

Abstract: Let $Γ$ be a word hyperbolic group with a cyclic JSJ decomposition that has only rigid vertex groups, which are all fundamental groups of closed surface groups. We show that any group $H$ quasi-isometric to $Γ$ is abstractly commensurable with $Γ$. Let $Γ$ be a word hyperbolic group with a cyclic JSJ decomposition that has only rigid vertex groups, which are all fundamental groups of closed surface groups. We show that any group $H$ quasi-isometric to $Γ$ is abstractly commensurable with $Γ$. △ Less

Submitted 12 June, 2023; v1 submitted 23 April, 2019; originally announced April 2019.

Comments: After some revisions, the referee identified a gap in the proof of Lemma 4.20. The following results are impacted: Corollary 4.28, Corollary 5.19, and Theorem A. The authors believe that Corollary 4.28 may be false. What can be recovered from Sections 5 and 6 is that Churro-Waffle spaces are action rigid. The authors still believe that Theorem A is true and are currently working on another proof

MSC Class: 20F67; 20E08; 22E40; 57M12

Panel collapse and its applications

Authors: Mark F. Hagen, Nicholas W. M. Touikan

Abstract: We describe a procedure called panel collapse for replacing a CAT(0) cube complex $Ψ$ by a "lower complexity" CAT(0) cube complex $Ψ_\bullet$ whenever $Ψ$ contains a codimension-$2$ hyperplane that is extremal in one of the codimension-$1$ hyperplanes containing it. Although $Ψ_\bullet$ is not in general a subcomplex of $Ψ$, it is a subspace consisting of a subcomplex together with some cubes that… ▽ More We describe a procedure called panel collapse for replacing a CAT(0) cube complex $Ψ$ by a "lower complexity" CAT(0) cube complex $Ψ_\bullet$ whenever $Ψ$ contains a codimension-$2$ hyperplane that is extremal in one of the codimension-$1$ hyperplanes containing it. Although $Ψ_\bullet$ is not in general a subcomplex of $Ψ$, it is a subspace consisting of a subcomplex together with some cubes that sit inside $Ψ$ "diagonally". The hyperplanes of $Ψ_\bullet$ extend to hyperplanes of $Ψ$. Applying this procedure, we prove: if a group $G$ acts cocompactly on a CAT(0) cube complex $Ψ$, then there is a CAT(0) cube complex $Ω$ so that $G$ acts cocompactly on $Ω$ and for each hyperplane $H$ of $Ω$, the stabiliser in $G$ of $H$ acts on $H$ essentially. Using panel collapse, we obtain a new proof of Stallings's theorem on groups with more than one end. As another illustrative example, we show that panel collapse applies to the exotic cubulations of free groups constructed by Wise. Next, we show that the CAT(0) cube complexes constructed by Cashen-Macura can be collapsed to trees while preserving all of the necessary group actions. (It also illustrates that our result applies to actions of some non-discrete groups.) We also discuss possible applications to quasi-isometric rigidity for certain classes of graphs of free groups with cyclic edge groups. Panel collapse is also used in forthcoming work of the first-named author and Wilton to study fixed-point sets of finite subgroups of $\mathrm{Out}(F_n)$ on the free splitting complex. Finally, we apply panel collapse to a conjecture of Kropholler, obtaining a short proof under a natural extra hypothesis. △ Less

Submitted 21 August, 2019; v1 submitted 18 December, 2017; originally announced December 2017.

Comments: Revised according to referee comments. This version accepted in "Groups, Geometry, and Dynamics"

Magnus pairs in, and free conjugacy separability of, limit groups

Authors: Larsen Louder, Nicholas W. M. Touikan

Abstract: There are limit groups having non-conjugate elements whose images are conjugate in every free quotient. Towers over free groups are freely conjugacy separable. There are limit groups having non-conjugate elements whose images are conjugate in every free quotient. Towers over free groups are freely conjugacy separable. △ Less

Submitted 1 December, 2016; originally announced December 2016.

Comments: 18 pages

MSC Class: 20F65; 20E05; 57M07

Multipass automata and group word problems

Authors: Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Paul E. Schupp, Nicholas W. M. Touikan

Abstract: We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class o… ▽ More We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class of poly-context-free languages, that is, languages which are the intersection of finitely many context-free languages. We illustrate the use of these automata by studying groups whose word problems are in the above classes. △ Less

Submitted 3 July, 2015; v1 submitted 29 April, 2014; originally announced April 2014.

MSC Class: 03B25; 05C05; 37B10; 37B15; 68Q70; 68Q80

Journal ref: Theoret. Comput. Sci. 600 (2015), 19-33

Bulitko's Lemma for acylindrical splittings

Authors: Nicholas W. M. Touikan

Abstract: We generalize Bulitko's Lemma to equations over (or homomorphisms into) groups that have $κ$-acylindrical splittings. We generalize Bulitko's Lemma to equations over (or homomorphisms into) groups that have $κ$-acylindrical splittings. △ Less

Submitted 7 March, 2011; v1 submitted 4 December, 2009; originally announced December 2009.

Comments: 19 pages, 7 figures. The introduction has been modified to reflect the fact that the result of this paper is a key component of the author's track finding algorithm. There was also a slight change to the formulation of the main theorem

MSC Class: 20E06; 20F06; 20F10

Journal ref: J. Algebra, 406 (2014), 251 -- 271

Detecting geometric splittings in finitely presented groups

Authors: Nicholas W. M. Touikan

Abstract: We present an algorithm which given a presentation of a group $G$ without 2-torsion, a solution to the word problem with respect to this presentation, and an acylindricity constant $κ$, outputs a collection of tracks in an appropriate presentation complex. We give two applications: the first is an algorithm which decides if $G$ admits an essential free decomposition, the second is an algorithm whi… ▽ More We present an algorithm which given a presentation of a group $G$ without 2-torsion, a solution to the word problem with respect to this presentation, and an acylindricity constant $κ$, outputs a collection of tracks in an appropriate presentation complex. We give two applications: the first is an algorithm which decides if $G$ admits an essential free decomposition, the second is an algorithm which; if $G$ is relatively hyperbolic; decides if it admits an essential elementary splitting. △ Less

Submitted 9 January, 2017; v1 submitted 21 June, 2009; originally announced June 2009.

Comments: This is a rewritten version of the paper "Finding tracks in 2-complexes". The statements of the main theorems are unchanged and the proof is essentially the same, but the presentation has been substantially improved. To appear in Transactions of the American Mathematical Society

MSC Class: 20F10; 20F65

The fully residually F quotients of F*<x,y>

Authors: Nicholas W. M. Touikan

Abstract: We describe the fully residually F; or limit groups relative to F; (where F is a free group) that arise from systems of equations in two variables over F that have coefficients in F. We describe the fully residually F; or limit groups relative to F; (where F is a free group) that arise from systems of equations in two variables over F that have coefficients in F. △ Less

Submitted 18 October, 2010; v1 submitted 8 October, 2008; originally announced October 2008.

Comments: 64 pages, 2 figures. Following recommendations from a referee, the paper has been completely reorganized and many small mistakes have been corrected. There were also a few gaps in the earlier version of the paper that have been fixed. In particular much of the content of Section 8 in the previous version had to be replaced. This paper is to appear in Groups. Geom. Dyn

MSC Class: 20E99; 20E08; 20E05

Journal ref: Groups Geom. Dyn. 6 (2012), no. 1, 155 -- 220

A Fast Algorithm for Stallings' Folding Process

Authors: Nicholas Wembley Matheson Touikan

Abstract: We show that for a fixed free group F and an arbitrary finitely generated subgroup H (as given above) we can perform the Stalling's folding process in time O(N log^*(N)), where N is the sum of the word lengths of the given generators of H. We show that for a fixed free group F and an arbitrary finitely generated subgroup H (as given above) we can perform the Stalling's folding process in time O(N log^*(N)), where N is the sum of the word lengths of the given generators of H. △ Less

Submitted 15 May, 2008; originally announced May 2008.

MSC Class: 20F10; 6BR10

Journal ref: Internat. J. Algebra Comput. 16 (2006), no. 6, 1031--1045

Quadratic equations over free groups are NP-complete

Authors: O. Kharlampovich, I. G. Lysenok, A. G Myasnikov, N. W. M. Touikan

Abstract: We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete. We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete. △ Less

Submitted 26 February, 2008; originally announced February 2008.

MSC Class: 68Q17 (Primary); 20E05; 57M07 (Secondary)

Journal ref: Theor. Comput. Syst.47 (2010), no 1, 250 -- 258

The equation w(x,y)=u over free groups

Authors: Nicholas W M Touikan

Abstract: Using the theory developed by Olga Kharlampovich, Alexei Miasnikov, and, independently, by Zlil Sela to describe the set of homomorphisms of a f.g. group G into a free group F, we describe the solutions to equations with coefficients from F and unknowns x,y of the form w(x,y) = u, where u lies in F and w(x,y) is a word in {x,y}^\{pm 1}. We also give an example of a single equation whose solution… ▽ More Using the theory developed by Olga Kharlampovich, Alexei Miasnikov, and, independently, by Zlil Sela to describe the set of homomorphisms of a f.g. group G into a free group F, we describe the solutions to equations with coefficients from F and unknowns x,y of the form w(x,y) = u, where u lies in F and w(x,y) is a word in {x,y}^\{pm 1}. We also give an example of a single equation whose solutions cannot be described with only one "level" of automorphisms. △ Less

Submitted 25 September, 2008; v1 submitted 29 May, 2007; originally announced May 2007.

Comments: 1 Figure. Modifications made after referee comments

MSC Class: 20F65; 20E06; 20C99

Journal ref: J. Group Theory, 12 (2009), no 4, 611 -- 634