Related papers: 2-manifold recognition is in logspace
We show that the number of double points of smoothly immersed 2-spheres representing certain homology classes of an oriented, smooth, closed, simply-connected 4-manifold X must increase with the complexity of corresponding h-cobordisms from…
We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof…
We determine the homeomorphism (resp. diffeomorphism) types of those 2-connected 7-manifolds (resp. smooth 2-connected 7-manifolds) that admit regular circle actions (resp. smooth regular circle actions).
Two smooth manifolds M and N are called R-diffeomorphic if their product with the real line are diffeomorphic. We consider the following simplification problem: does R-diffeomorphism imply diffeomorphism or homeomorphism? For compact…
In the focus of our paper is a system of axioms that serves as a basis for introducing structural data for $(2n,k)$-manifolds $M^{2n}$, where $M^{2n}$ is a smooth, compact $2n$-dimensional manifold with a smooth effective action of the…
We show how, given a sufficiently large point cloud sampled from an embedded 2-manifold in $\mathbb{R}^n$, we may obtain a global representation as a cell complex with vertices given by a representative subset of the point cloud. The vertex…
In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $\Theta$-graphs. As corollaries of…
A manifold is locally \emph{$k$-fold symmetric}, if for any point and any $k$-dimensional vector subspace tangent to this point there exists a local isometry such that this point is a fixed point and the differential of the isometry…
In this paper, we consider a simple class of stratified spaces -- 2-complexes. We present an algorithm that learns the abstract structure of an embedded 2-complex from a point cloud sampled from it. We use tools and inspiration from…
Using instanton homology with coefficients in $Z/2$ we construct a homomorphism $q_2$ from the homology cobordism group in dimension 3 to the integers which is not a rational linear combination of the instanton $h$--invariant and the…
$2$-stratifolds are a generalization of $2$-manifolds in that there are disjoint simple closed curves where several sheets meet. We show that the word problem for fundamental groups of $2$-stratifolds is solvable.
It is proved that isomorphisms between algebras of smooth functions on Hausdorff smooth manifolds are implemented by diffeomorphisms. It is not required that manifolds are second countable nor paracompact. This solves a problem stated by A.…
In this paper we prove two results, one semi-historical and the other new. The semi-historical result, which goes back to Thurston and Riley, is that the geometrization theorem implies that there is an algorithm for the homeomorphism…
We give a systematic construction of epimorphisms between 2-bridge link groups. Moreover, we show that 2-bridge links having such an epimorphism between their link groups are related by a map between the ambient spaces which only have a…
Just as links may be algebraically described as certain morphisms in the category of tangles, compact surfaces smoothly embedded in R^4 may be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. In this…
We show that in every codimension greater than one there exists a mod 2 homology class in some closed manifold (of sufficiently high dimension) which cannot be realized by an immersion of closed manifolds. The proof gives explicit…
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4…
We exhibit examples of closed Riemannian 7-manifolds with holonomy G_2 such that the underlying manifolds are diffeomorphic but whose associated G_2-structures are not homotopic. This is achieved by defining two invariants of certain…
In this survey, we describe invariants that can be used to distinguish connected components of the moduli space of holonomy G_2 metrics on a closed 7-manifold, or to distinguish G_2-manifolds that are homeomorphic but not diffeomorphic. We…
We show NP-completeness for the recognition problem of 2-line-bend graphs.