Related papers: $2$-stratifold groups have solvable Word Problem

A finitary automaton group is a group generated by an invertible, deterministic finite-state letter-to-letter transducer whose only cycles are self-loops at an identity state. We show that, for this presentation of finite groups, the…

We prove a topological rigidity result for simple, thick, hyperbolic P-manifolds of dimension 2: isomorphism of the fundamental groups implies homeomorphism of the P-manifolds. An immediate application is a diagram rigidity theorem for…

We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category…

We show that P2T - the problem of deciding whether the edge set of a simple graph can be partitioned into two trees or not - is NP-complete.

We show that the Membership Problem for finitely generated subgroups of 3-manifold groups is solvable.

This paper is concerned with the problem of stable diffeomorphism classification of 4-manifolds obtained using the surgery on loops. The main theorem states that under the assumption that the normal 1-type of two 4-manifolds in question is…

A class of groups is investigated, each of which has a fairly simple presentation . For example the group $R = (a, b, c, d | a^3 = b^3 = c^3 = d^3 = 1, ba^{-1} =dc^{-1}, ca^{-1} = db^{-1}) $ is in the class. Such a group does not have as a…

The literature on word-representable graphs is quite rich, and a number of variations of the original definition have been proposed over the years. We are initiating a systematic study of such variations based on formal languages. In our…

We show that the word problem for an amalgam $[S_1,S_2;U,\omega_1,\omega_2]$ of inverse semigroups may be undecidable even if we assume $S_1$ and $S_2$ (and therefore $U$) to have finite $\mathcal{R}$-classes and $\omega_1,\omega_2$ to be…

This article is a revised version of the talk I gave at the conference ``Beauville Surfaces and groups'' held in Newcastle in June 2012. It presents some group theoretical methods to give bounds on the number of connected components of the…

A notion of dual curve for pseudoholomorphic curves in 4--manifolds turns out to be possible only if the notion of almost complex structure structure is slightly generalized. The resulting structure is as easy (perhaps easier) to work with,…

The question whether non-isomorphic finite $p$-groups can have isomorphic modular group algebras was recently answered in the negative by Garc\'ia-Lucas, Margolis and del R\'io [J. Reine Angew. Math. 783 (2022), pp. 269-274]. We embed these…

A special inverse monoid is one defined by a presentation where all the defining relations have the form $r = 1$. By a result of Ivanov Margolis and Meakin the word problem for such an inverse monoid can often be reduced to the word problem…

We give a combinatorial description of closed curves on oriented surfaces in terms of certain permutations, called charts. We describe automorphisms of curves in terms of charts and compute the total number of curves counted with…

Introducing the notion of stabilized fundamental group for the complement of a branch curve in $CP^2$, we define effectively computable invariants of symplectic 4-manifolds that generalize those previously introduced by Moishezon and…

Let $C \s \pr^2$ be an irreducible plane curve whose dual $C^* \s \pr^{2*}$ is an immersed curve which is neither a conic nor a nodal cubic. The main result states that the Poincar\'e group $\pi_1(\pr^2 \se C)$ contains a free group with…

Given a group $G$ with bounded torsion that acts properly on a systolic complex, we show that every solvable subgroup of $G$ is finitely generated and virtually abelian of rank at most $2$. In particular this gives a new proof of the above…

Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the…

We prove that the word problem of the Brin-Thompson group nV over a finite generating set is coNP-complete for every n \ge 2. It is known that the groups nV are an infinite family of infinite, finitely presented, simple groups. We also…

We consider in general two-block substitutions and their fixed points. We prove that some of them have a simple structure: their fixed points are morphic sequences. Others are intrinsically more complex, such as the Kolakoski sequence. We…