Related papers: Certifying a compact topological 4-manifold

In this paper, we first prove that any closed simply connected 4-manifold that admits a decomposition into two disk bundles of rank greater than 1 is diffeomorphic to one of the standard elliptic 4-manifolds: $\mathbb{S}^4$,…

We describe a procedure to construct infinite sets of pairwise smoothly inequivalent 2-spheres in simply connected 4-manifolds, which are topologically isotopic and whose complement has a prescribed fundamental group that satisfies some…

I show that one can explicitly construct topologically/geometrically distinguishable data which provide isomorphic copies (i.e. \emph{isomorphs}) of the tempered fundamental group of a geometrically connected, smooth, quasi-projective…

In this paper, we study the compactness of a boundary value problem for hyperkaehler 4-manifolds. We show that under certain topological conditions and the positive mean curvature condition on the boundary, a sequence of hyperkaehler…

In this paper we construct a family of simply connected, spin, non-complex, symplectic 4-manifolds which cover all but finitely many allowed lattice points $(\chi, c)$ lying in $0 \leq c \leq 8.76\chi$. Furthermore, as a corollary, we prove…

In this paper we develop a bubble tree structure for a degenerating class of Riemannian metrics satisfying some global conformal bounds on compact manifolds of dimension 4. Applying the bubble tree structure, we establish a gap theorem, a…

We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data.…

Under certain homological hypotheses on a compact 4-manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of finite connected sums of 4-manifolds with…

In this paper, we study a circle action on a compact oriented manifold with a discrete fixed point set. The fixed point data consists of the weights of the $S^1$-representations at the fixed points. We prove various results and properties…

It is well-known that there are 19 classes of geometries for 4-dimensional manifolds in the sense of Thurston. We could ask that to what extent the geometric information is revealed by the profinite completion of the fundamental group of a…

It is shown that there are infinitely many compact orientable smooth 4-manifolds which do not admit Einstein metrics, but nevertheless satisfy the strict Hitchin-Thorpe inequality 2 chi > 3 |tau|. The examples in question arise as…

We obtain an effective enumeration of the family of finitely generated groups admitting a faithful, properly discontinuous action on some 2-manifold contained in the sphere. This is achieved by introducing a type of group presentation…

We prove that if $T: X \to X$ is a selfmap of a set $X$ such that $\bigcap \{T^{n}X: n\in N}\}$ is a one-point set, then the set $X$ can be endowed with a compact Hausdorff topology so that $T$ is continuous.

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

We show that for a C^infty stable map of an oriented 4-manifold into a 3-manifold, the algebraic number of singular fibers of a specific type coincides with the signature of the source 4-manifold.

We show that if a compact, oriented 4-manifold admits a coassociative-free immersion into the Euclidean 7-space then its Euler characteristic and signature vanish. Moreover, in the spin case the Gauss map is contractible, so that the…

We show NP-completeness for several planar variants of the monotone satisfiability problem with bounded variable appearances. With one exception the presented variants have an associated bipartite graph where the vertex degree is bounded by…

In this note, we present a simpler way to prove the compactness of the closed intervals in simply ordered set with order topology.

We demonstrate the existence of quasiconformal mappings on closed manifolds that cannot be decomposed as a composition of mappings with arbitrarily small conformal distortion.

This paper deals with a fourth order elliptic equation on compact Riemannian manifolds.We establish the existence of solutions to the equation with critical Sobolev growth which is the subject of the first theorem. In the second one, we…