Related papers: Decision problems for 3-manifolds and their fundam…
A complete classification is given of finite groups whose elements are partitioned into three orbits by the automorphism groups, solving the long-standing classification problem initiated by G. Higman in 1963. As a consequence, a…
We investigate the group of large diffeomorphisms fixing a frame at a point for general closed 3-manifolds. We derive some general structural properties of these groups which relate to the picture of the manifold as being composed of…
Let $f\colon M\to N$ be a proper map between two aspherical compact orientable 3-manifolds with empty or toroidal boundary. We assume that $N$ is not a closed graph-manifold. Suppose that $f$ induces an epimorphism on fundamental groups. We…
This manuscript represents the author's PhD dissertation thesis.The first part studies decision problems in Thompson's groups F,T,V and some generalizations. The simultaneous conjugacy problem is determined to be solvable for Thompson's…
This paper presents, with explanatory details, the handle decompositions, fundamental groups and homology groups of 3-manifolds, including some knot complements. Hence, along this paper, when the word manifold appears it is implicit that…
An algorithm is proposed that solves two decision problems for pseudo-Anosov elements in the mapping class group of a surface with at least one marked fixed point. The first problem is the root problem: decide if the element is a power and…
We prove:(1) the existence, for every integer n > 3, of a noncompact smooth n-dimensional topological manifold whose diffeomorphism group contains an isomorphic copy of every finitely presented group; (2) a finiteness theorem on finite…
We present about twenty conjectures, problems and questions about flat manifolds. Many of them build the bridges between the flat world and representation theory of the finite groups, hyperbolic geometry and dynamical systems.
In this short note, we study the bordism problem for group actions on the torus and give examples of groups acting on the torus by diffeomorphisms isotopic to the identity that cannot be extended to an action on a bounding 3-manifold. This…
Finite-order invariants of knots in arbitrary 3-manifolds (including non-orientable ones) are constructed and studied by methods of the topology of discriminant sets. Obstructions to the integrability of admissible weight systems to…
We study both the Submonoid Membership problem and the Rational Subset Membership problem in finitely generated nilpotent groups. We give two reductions with important applications. First, Submonoid Membership in any nilpotent group can be…
This paper poses some basic questions about instances (hard to find) of a special problem in 3-manifold topology. "Important though the general concepts and propositions may be with the modern industrious passion for axiomatizing and…
We investigate the orderability properties of fundamental groups of 3-dimensional manifolds. Many 3-manifold groups support left-invariant orderings, including all compact P^2-irreducible manifolds with positive first Betti number. For…
We summarize several results about non-simplicity, solvability and normal structure of finite groups related to the number of conjugacy classes appearing in the product or the power of conjugacy classes. We also collect some problems that…
This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…
In this article, we study connections between representation theory and efficient solutions to the conjugacy problem on finitely generated groups. The main focus is on the conjugacy problem in conjugacy separable groups, where we measure…
We provide two new proofs of a theorem of Cooper, Long and Reid which asserts that, apart from an explicit finite list of exceptional manifolds, any compact orientable irreducible 3-manifold with non-empty boundary has large fundamental…
We give a precise definition of ``generic-case complexity'' and show that for a very large class of finitely generated groups the classical decision problems of group theory - the word, conjugacy and membership problems - all have…
Decision problems are problems of the following nature: given a property P and an object O, find out whether or not the object O has the property P. On the other hand, witness problems are: given a property P and an object O with the…
We demonstrate how a 3-manifold, a Heegaard diagram, and a group presentation can each be interpreted as a pair of signed permutations in the symmetric group $S_d.$ We demonstrate the power of permutation data in programming and discuss an…