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

In response to a question raised by Belolipetsky and the first author, we prove that for every finite group $G$ there are infinitely many isomorphism classes of compact complex hyperbolic $2$-manifolds with automorphism group isomorphic to…

We construct connected $2$-arc-transitive covers of the Petersen graph with non-solvable transformation groups, solving the long-standing problem for the existence of such covers.

The genus spectrum of a finite group $G$ is the set of all $g\geq 2$ such that $G$ acts faithfully and orientation-preserving on a closed compact orientable surface of genus $g$. This article is an overview of some results relating the…

Multifraction reduction is a new approach to the word problem for Artin-Tits groups and, more generally, for the enveloping group of a monoid in which any two elements admit a greatest common divisor. This approach is based on a rewrite…

We prove that a connected 2-dimensional orbifold with finitely generated and infinite orbifold fundamental group is good. We also describe all the good 2-dimensional orbifolds with finite orbifold fundamental groups

This paper investigates the new notion of $2$-word-$\pi$-repre\-sentable graphs: the nodes of the graph correspond to the letters of the two words and there exists an edge between two nodes if the projections of any two letters of both…

We consider word maps and word maps with constants on a simple algebraic group. We present results on the images of such maps, in particular, we prove a theorem on the dominance of general word maps with constants, which can be viewed as an…

The NP-hard general factor problem asks, given a graph and for each vertex a list of integers, whether the graph has a spanning subgraph where each vertex has a degree that belongs to its assigned list. The problem remains NP-hard even if…

We argue that for a smooth surface S, considered as a ramified cover over the projective plane branched over a nodal-cuspidal curve B one could use the structure of the fundamental group of the complement of the branch curve to understand…

The fundamental group of the Menger universal curve is uncountable and not free, although all of its finitely generated subgroups are free. It contains an isomorphic copy of the fundamental group of every one-dimensional separable metric…

Jae-Suk Park and the second-named author introduce the deformation problem of coisotropic submanifolds of a symplectic manifold as the study of Mauer-Cartan moduli problem of an $L_\infty$ algebra attached to the foliation de-Rham complex…

We prove that the inertia groups of all sufficiently-connected, high-dimensional $(2n)$-manifolds are trivial. This is a key step toward a general classification of manifolds in the metastable range. Specifically, for $m \gg 0$ and…

We prove that, under a simple condition on the cohomology ring, every closed 4-manifold has mod 2 Seiberg-Witten simple type. This result shows that there exists a large class of topological 4-manifolds such that all smooth structures have…

Motivated by the question of which completely regular semigroups have context-free word problem, we show that for certain classes of languages $\mathfrak{C}$(including context-free), every completely regular semigroup that is a union of…

The topology of symplectic 4-manifolds is related to that of singular plane curves via the concept of branched covers. Thus, various classification problems concerning symplectic 4-manifolds can be reformulated as questions about singular…

We show that the domino problem is undecidable on orbit graphs of non-deterministic substitutions which satisfy a technical property. As an application, we prove that the domino problem is undecidable for the fundamental group of any closed…

In this paper, an explicit classification result for certain 5-manifolds with fundamental group Z/2 is obtained. These manifolds include total spaces of circle bundles over simply-connected 4-manifolds.

We begin with a review of the notion of a braid group. We then discuss some known solutions to decision problems in braid groups. We then move on to proving new results in braid group algorithmics. We offer a quick solution to the…

Let $G$ be a finite group and $H$ a core-free subgroup of $G$. We will show that if there exists a solvable, generating transversal of $H$ in $G$, then $G$ is a solvable group. Further, if $S$ is a generating transversal of $H$ in $G$ and…

The orbifold braid groups of two dimensional orbifolds were defined in [1] (arXiv:math/9907194) to understand certain Artin groups as subgroups of some suitable orbifold braid groups. We studied orbifold braid groups in some more detail in…