Related papers: 2-manifold recognition is in logspace

Let $M$ be a closed, oriented, simply connected 6-manifold. After localization away from 2, we give a homotopy decomposition of $\Sigma M$ in terms of spheres, Moore spaces and other recognizable spaces. As applications we calculate…

We will prove a Moser-type theorem for self-dual harmonic 2-forms on closed 4-manifolds, and use it to classify local forms on neighborhoods of singular circles on which the 2-form vanishes. Removing neighborhoods of the circles, we obtain…

In [Pal13] (arXiv:1106.4540) the second author proved that the sequence of "oriented" configuration spaces on an open connected manifold exhibits homological stability as the number of particles goes to infinity. To complement that result…

We introduce a diffeomorphism invariant of $4$-manifolds, the $\mathrm{Pin}^-(2)$-monopole invariant, defined by using the $\mathrm{Pin}^-(2)$-monopole equations. We compute the invariants of several $4$-manifolds, and prove gluing…

We present a logspace algorithm that constructs a canonical intersection model for a given proper circular-arc graph, where `canonical' means that models of isomorphic graphs are equal. This implies that the recognition and the isomorphism…

Gabai showed that the Whitehead manifold is the union of two submanifolds each of which is homeomorphic to $\mathbb R^3$ and whose intersection is again homeomorphic to $\mathbb R^3$. Using a family of generalizations of the Whitehead Link,…

This is the sequel to our first paper concerning the balanced embedding of a non-compact complex manifold into an infinite-dimensional projective space. We prove the uniqueness of such an embedding. The proof relies on fine estimates of the…

Unordered flag manifolds are the manifolds of unordered $n$-tuple of mutually orthogonal lines in $\mathbb{R}^n$. In this paper, we develop some basic tools to compute the mod-$2$ cohomology groups of these spaces, and apply them for…

Motivated by the rich theory of harmonic maps from a 2-sphere, we study biharmonic maps from a 2-sphere in this paper. We first derive biharmonic equation for rotationally symmetric maps between rotationally symmetric 2-manifolds. We then…

A meromorphic quadratic differential on a compact Riemann surface defines a complex projective structure away from the poles via the Schwarzian equation. In this article we first prove the analogue of Thurston's Grafting Theorem for the…

We study a 2-parameter family of enumerative problems over the reals. Over the complex field, these problems can be solved by Schubert calculus. In the real case the number of solutions can be different on the distinct connected components…

We prove that there is an algorithm which determines whether or not a given 2-polyhedron can be embedded into some integral homology 3-sphere. This is a corollary of the following main result. Let $M$ be a compact connected orientable…

We determine the bounded cohomology of the group of homeomorphisms of certain low-dimensional manifolds. In particular, for the group of orientation-preserving homeomorphisms of the circle and of the closed 2-disc, it is isomorphic to the…

We study the potentially undecidable problem of whether a given 2-dimensional CW complex can be embedded into $\mathbb{R}^4$. We provide operations that preserve embeddability, including joining and cloning of 2-cells, as well as…

It is a classical important problem of differential topology by Thom; for a homology class of a compact manifold, can we realize this by a closed submanifold with no boundary? This is true if the degree of the class is smaller or equal to…

We show that if a closed, oriented 3-manifold M is promised to be homeomorphic to a lens space L(n,k) with n and k unknown, then we can compute both n and k in polynomial time in the size of the triangulation of M. The tricky part is the…

We classify all 2-term $L_\infty$-algebras up to isomorphism. We show that such $L_\infty$-algebras are classified by a Lie algebra, a vector space, a representation (all up to isomorphism) and a cohomology class of the corresponding Lie…

Let $(X,J,\omega,g)$ be a complete $n$-dimensional K\"ahler manifold. A Theorem by Gromov \cite{G} states that the if the K\"ahler form is $d$-bounded, then the space of harmonic $L_2$ forms of degree $k$ is trivial, unless $k=\frac{n}{2}$.…

We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming $S^3$-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we unconditionally…

This paper is dedicated to the study of deformations of coassociative 4-folds in a G_2 manifold which have conical singularities. We stratify the types of deformations allowed into three problems. The main result for each problem states…