Related papers: Rewriting Systems and Geometric 3-Manifolds

Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed,…

This is a survey of topological properties of open, complete nonpositively curved manifolds which may have infinite volume. Topics include topology of ends, restrictions on the fundamental group, as well as a review of known examples.

For several instances of metric largeness like enlargeability or having hyperspherical universal covers, we construct non-large vector subspaces in the rational homology of finitely generated groups. The functorial properties of this…

We extend the concept of renormalized volume for geometrically finite hyperbolic $3$-manifolds, and show that is continuous for geometrically convergent sequences of hyperbolic structures over an acylindrical 3-manifold $M$ with…

We prove that every finitely generated group with recursive aspherical presentation embeds into a group with finite aspherical presentation. This and several known facts about groups and manifolds imply that there exists a 4-dimensional…

A group is properly 3-realizable if it is the fundamental group of a compact polyhedron whose universal covering is proper homotopically equivalent to some 3-manifold. We prove that when such a group is also quasi-simply filtered then it…

Given a prime $p$, a group is called residually $p$ if the intersection of its $p$-power index normal subgroups is trivial. A group is called virtually residually $p$ if it has a finite index subgroup which is residually $p$. It is…

This paper studies complete rewriting systems and biautomaticity for three interesting classes of finite-rank homogeneous monoids: Chinese monoids, hypoplactic monoids, and sylvester monoids. For Chinese monoids, we first give new…

Assuming that every hyperbolic group is residually finite, we prove the congruence subgroup property for mapping class groups of hyperbolic surfaces of finite type. Under the same assumption, it follows that profinitely equivalent…

Properties of Term Rewriting Systems are called modular iff they are preserved under (and reflected by) disjoint union, i.e. when combining two Term Rewriting Systems with disjoint signatures. Convergence is the property of Infinitary Term…

We prove foundational results about the set of homomorphisms from a finitely generated group to the collection of all fundamental groups of compact 3-manifolds and answer questions of Reid-Wang-Zhou and Agol-Liu.

We prove that on closed Riemannian manifolds with infinite abelian, but not cyclic, fundamental group, any isometry that is homotopic to the identity possesses infinitely many invariant geodesics. We conjecture that the result remains true…

Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…

We continue our study of ends non-compact manifolds. The over-arching aim is to provide an appropriate generalization of Siebenmann's famous collaring theorem that applies to manifolds having non-stable fundamental group systems at…

This paper investigates the class of finitely presented monoids defined by homogeneous (length-preserving) relations from a computational perspective. The properties of admitting a finite complete rewriting system, having finite derivation…

We establish the equivalence between the family of closed uniformly regular Riemannian manifolds and the class of complete manifolds with bounded geometry.

The results of the paper concern the topological structure of complete riemannian manifolds with cyclic holonomy groups and low-dimensional orientable complete flat manifolds. We also discuss related results such as the affine…

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…

In any dimension at least five we construct examples of closed smooth manifolds with the following properties: 1) they have neither real projective nor flat conformal structures; 2) their fundamental group is a non-elementary Gromov…

A myriad of irreducible symplectic 4-manifolds with abelian non-cyclic fundamental group is constructed. The botany of manifolds with finite non-cyclic fundamental groups is also studied.