Related papers: Decision problems for 3-manifolds and their fundam…

We will describe some results regarding the algorithmic nature of homeomorphism problems for manifolds; in particular, the following theorem. Theorem 1: Every PL or smooth simply connected manifold M^n of dimension n at least 5 can be…

The problem of classifying, upto isometry (or similarity), the orientable spherical, Euclidean and hyperbolic 3-manifolds that arise by identifying the faces of a Platonic solid is formulated in the language of Coxeter groups. In the…

First the title could be also understood as ``3-manifolds related by non-zero degree maps" or "Degrees of maps between 3-manifolds" for some aspects in this survey talk. The topology of surfaces was completely understood at the end of 19th…

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 study the freeness problem for matrix semigroups. We show that the freeness problem is decidable for upper-triangular $2\times 2$ matrices with rational entries when the products are restricted to certain bounded languages.

In this paper we prove that the problem of deciding contractibility of an arbitrary closed curve on the boundary of a 3-manifold is in NP. We emphasize that the manifold and the curve are both inputs to the problem. Moreover, our algorithm…

In this paper we explore the topological properties of self-replicating, 3-dimensional manifolds, which are modeled by idempotents in the (2+1)-cobordism category. We give a classification theorem for all such idempotents. Additionally, we…

We provide a geometric characterization of manifolds of dimension 3 with fundamental groups of which all conjugacy classes except 1 are infinite, namely of which the von Neumann algebras are factors of type $II_1$: they are essentially the…

We study noncompact, complete, finite volume, Riemannian 4-manifolds $M$ with sectional curvature $-1<K<0$. We prove that $\pi_1 M$ cannot be a 3-manifold group. A classical theorem of Gromov says that $M$ is homeomorphic to the interior of…

We consider the Membership and the Half-Space Reachability problems for matrices in dimensions two and three. Our first main result is that the Membership Problem is decidable for finitely generated sub-semigroups of the Heisenberg group…

In this note we discuss three interconnected problems about dynamics of Hamiltonian or, more generally, just smooth diffeomorphisms. The first two concern the existence and properties of the maps whose iterations approximate the identity…

We consider various decision problems for automatic semigroups, which involve the provision of an automatic structure as part of the problem instance. With mild restrictions on the automatic structure, which seem to be necessary to make the…

Deciding the amalgamation property for a given class of finite structures is an important subroutine in classifying countable finitely homogeneous structures. We study the computational complexity of the amalgamation decision problem for…

The class of Riemannian orbifolds of dimension n defined by a lower bound on the sectional curvature and the volume and an upper bound on the diameter has only finitely many members up to orbifold homeomorphism. Furthermore, any class of…

We give an algorithm to solve the Conjugacy Problem for ascending HNN-extensions of free groups. To do this, we give algorithms to solve certain problems on dynamics of free group endomorphisms.

We discuss a number of open problems about mapping class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups.

For closed oriented manifolds, we establish oriented homotopy invariance of higher signatures that come from the fundamental group of a large class of orientable 3-manifolds, including the ``piecewise geometric'' ones in the sense of…

This is a continuation of an earlier preprint (math.GT/0209121) under the same title. These papers grew out of an attempt to find a suitable finite sheeted covering of an aspherical 3-manifold so that the cover either has infinite or…

A survey of some results and open questions related to the following algebraic invariants of compact complex manifolds, that can be obtained from differential forms: cohomology groups, Chern classes, rational homotopy groups, and higher…

We consider 3-manifolds admitting the action of an involution such that its space of orbits is homeomorphic to $S^3.$ Such involutions are called \textit{hyperelliptic} as the manifolds admitting such an action. We prove that the sectional…