Related papers: 2-manifold recognition is in logspace

We show that a smooth embedding of a closed 3-manifold in S^3 x R can be isotoped so that every generic level divides S^3 x t into two handlebodies (i.e., is Heegaard) provided the original embedding has a unique local maximum with respect…

We consider uniformly semi-locally 1-connected sequences of closed connected Riemannian 2-manifolds. In particular, we assume that the manifolds are homeomorphic to each other and that their total absolute curvature is uniformly bounded.…

We introduce and motivate the definition of the virtual Rokhlin property for topological groups. We then classify the 2-manifolds whose homeomorphism groups have the virtual Rokhlin property. We also establish the analogous result for…

We use orbifold structures to deduce degeneracy statements for holomorphic maps into logarithmic surfaces. We improve former results in the smooth case and generalize them to singular pairs. In particular, we give applications on nodal…

The vanishing of Van Kampen's obstruction is known to be necessary and sufficient for embeddability of a simplicial n-complex into $R^{2n}$ for $n\neq 2$, and it was recently shown to be incomplete for $n=2$. We use algebraic-topological…

Graph canonization is the problem of computing a unique representative, a canon, from the isomorphism class of a given graph. This implies that two graphs are isomorphic exactly if their canons are equal. We show that graphs of bounded tree…

We show that three natural decision problems about links and 3-manifolds are computationally hard, assuming some conjectures in complexity theory. The first problem is determining whether a link in the 3-sphere bounds a Seifert surface with…

On negatively curved compact manifolds, it is possible to associate to every closed form a bounded cocycle - hence a bounded cohomology class - via integration over straight simplices. The kernel of this map is contained in the space of…

By a construction of Berstein and Edmonds every proper branched cover f between manifolds is a factor of a branched covering orbit map from a locally connected and locally compact Hausdorff space called the monodromy space of f to the…

We show that every topological n-manifold M admits a locally flat closed embedding $\iota\colon M \hookrightarrow \mathbb{R}^{2n+1}$ and is a retract of some neighbourhood $U \subseteq \mathbb{R}^{2n+1}$

We deal with the symmetries of a (2-term) graded vector space or bundle. Our first theorem shows that they define a (strict) Lie 2-groupoid in a natural way. Our second theorem explores the construction of nerves for Lie 2-categories,…

Starting from Borel's description of the mod-2 cohomology of real flag manifolds, we give a minimal presentation of the cohomology ring for semi complete flag manifolds $F_{k,m}:=F(1,\ldots,1,m)$ where $1$ is repeated $k$ times. The…

In the area of beyond-planar graphs, i.e. graphs that can be drawn with some local restrictions on the edge crossings, the recognition problem is prominent next to the density question for the different graph classes. For 1-planar graphs,…

Among plenty of applications, low-dimensional homogeneous spaces appear in cosmological models as both, classical factor spaces of multidimensional geometry and minisuperspaces in canonical quantization. Here a new tool to restrict their…

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is…

We describe the isometry group of $L^2(\Omega, M)$ for Riemannian manifolds $M$ of dimension at least two with irreducible universal cover. We establish a rigidity result for the isometries of these spaces: any isometry arises from an…

In this note we give a complete obstruction for two homotopic embeddings of a 2-sphere into a 5-manifold to be isotopic. The results are new even though the methods are classical, the main tool being the elimination of double points via a…

An invariant of orientable 3-manifolds is defined by taking the minimum $n$ such that a given 3-manifold embeds in the connected sum of $n$ copies of $S^2 \times S^2$, and we call this $n$ the embedding number of the 3-manifold. We give…

We propose a new homotopy invariant for Lie groupoids which generalizes the classical Lusternik-Schnirelmann category for topological spaces. We use a bicategorical approach to develop a notion of contraction in this context. We propose a…

We study the cohomology of the space of immersed genus g surfaces in a simply-connected manifold. We compute the rational cohomology of this space in a stable range which goes to infinity with g. In fact, in this stable range we are also…