Related papers: The Unsolvability of the Homeomorphism Problem

Let $M$ be a compact manifold of dimension at least 2. If $M$ admits a minimal homeomorphism then $M$ admits a minimal noninvertible map.

We give a bounded runtime solution to the homeomorphism problem for closed hyperbolic 3-manifolds. This is an algorithm which, given two triangulations of hyperbolic 3-manifolds by at most $t$ tetrahedra, decides if they represent the same…

We prove that the homeomorphism problem for 2-manifolds can be decided in logspace. The proof relies on Reingold's logspace solution to the undirected $s,t$-connectivity problem in graphs.

Let $N_g$ be a closed non-orientable surface of genus $g\geq 3$. Let $\operatorname{Homeo}_0(N_g,\mu)$ be the identity component of the group of measure-preserving homeomorphisms of $N_g$. In this work we prove that the third bounded…

We investigate the manifold $\cal{M}$ of (real) quadratic forms in n > 1 variables having a multiple eigenvalue. In addition to known facts, we prove that 1) $\cal{M}$ is irreducible, 2) in the case of n = 3, scalar matrices and only them…

We outline the proof that non-triangulable manifolds exist in any dimension greater than four. The arguments involve homology cobordism invariants coming from the Pin(2) symmetry of the Seiberg-Witten equations. We also explore a related…

The Nielsen Conjecture for Homeomorphisms asserts that any homeomorphism $f$ of a closed manifold is isotopic to a map realizing the Nielsen number of $f$, which is a lower bound for the number of fixed points among all maps homotopic to…

We will give a new proof for the Gromov's theorem on almost flat manifolds, which is an inductive proof on dimension.

We give a summary of known results on Matveev's complexity of compact 3-manifolds. The only relevant new result is the classification of all closed orientable irreducible 3-manifolds of complexity 10.

We extend Matveev's theory of complexity for 3-manifolds, based on simple spines, to (closed, orientable, locally orientable) 3-orbifolds. We prove naturality and finiteness for irreducible 3-orbifolds, and, with certain restrictions and…

In this paper we develop the theory of finite-type invariants for homologically nontrivial 3-manifolds. We construct an infinite-dimensional affine space with a hypersurface in it corresponding to manifolds with Morse singularities.…

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…

Translational tiling problems are among the most fundamental and representative undecidable problems in all fields of mathematics. Greenfeld and Tao obtained two remarkable results on the undecidability of translational tiling in recent…

Following Thurston's geometrisation picture in dimension three, we study geometric manifolds in a more general setting in arbitrary dimensions, with respect to the following problems: (i) The existence of maps of non-zero degree (domination…

The incompressibility method is a counting argument in the framework of algorithmic complexity that permits discovering properties that are satisfied by most objects of a class. This paper gives a preliminary insight into Kolmogorov's…

We show that there is no algorithm to decide whether or not a given 4-manifold is homeomorphic to the connected sum of 12 copies of S^2 \times S^2.

We extend basic results in $3$-manifold topology to general three-dimensional Alexandrov spaces (or Alexandrov $3$-spaces for short), providing a unified framework for manifold and non-manifold spaces. We generalize the connected sum to…

We are interested in the question of the existence of flat manifolds for which all $\mathbb R$-irreducible components of the holonomy representation are either absolutely irreducible, of complex or of quaternionic type. In the first two…

We survey, complete, and modify a proof, involving knot theory, of Stiefel's theorem that all orientable $3$-manifolds are parallelizable. The completion of the proof is done by using the relationship between the tangent bundle and normal…

This paper features a Cram\'er's theorem for finite-state Markov chains indexed by rooted $d$-trees, obtained via the method of types in the classical analysis of large deviations. Along with the theorem comes two applications: an…