Related papers: Certifying a compact topological 4-manifold

We prove that the optimal way to enclose and separate four planar regions with equal area using the less possible perimeter requires all regions to be connected. Moreover, the topology of such optimal clusters is uniquely determined.

This is a slightly altered version of the authors thesis from 2014. In the first main part we show that the quotient space of a compact, simply connected and nonnegatively curved Riemannian 4-manifold by an effective, isometric…

Let M be a 4-manifold with residually finite fundamental group G having b_1(G) > 0. Assume that M carries a symplectic structure with trivial canonical class K = 0 in H^2(M). Using a theorem of Bauer and Li, together with some classical…

In this article we study certain notions of `tameness' for the persistence modules studied in topological data analysis. In particular, we show that after adding infinitary points the so called finitely determined modules become finitely…

We prove there exists a compact embedded minimal surface in a complete finite volume hyperbolic $3$-manifold $\mathcal{N}$. We also obtain a least area, incompressible, properly embedded, finite topology, $2$-sided surface. We prove a…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

We prove that any closed simply-connected smooth 4-manifold is 16-fold branched covered by a product of an orientable surface with the 2-torus, where the construction is natural with respect to spin structures. In particular this solves…

We show that for any finitely presented group $G$, there is a simply connected closed 4-manifold containing an infinite family of topologically isotopic but smoothly inequivalent 2-links whose 2-link group is $G$. We also show that, if $G$…

We prove that for each closed smooth spin 4-manifold M there exists a closed smooth 4-manifold N such that the connected sum M # N admits a conformally flat Riemannian metric.

We show that two closed, connected $4$-manifolds with finite fundamental groups are $\mathbb{CP}^2$-stably homeomorphic if and only if their quadratic $2$-types are stably isomorphic and their Kirby-Siebenmann invariant agrees.

We mostly determine which closed smooth oriented 4-manifolds fibering over lower dimensional manifolds are virtually symplectic, i.e. finitely covered by symplectic 4-manifolds.

We show that any simply connected topological closed $4$-manifold punctured along any compact, totally disconnected tame subset $\Lambda$ admits a continuum of smoothings which are not diffeomorphic to any leaf of a $C^{1,0}$ codimension…

This note proves the geodesic completeness of any compact manifold endowed with a linear connection such that the closure of its holonomy group is compact.

We prove a parametrized compactness theorem on manifolds of bounded Ricci curvature, upper bounded diameter and lower bounded injectivity radius.

Given a compact four dimensional manifold, we prove existence of conformal metrics with constant $Q$-curvature under generic assumptions. The problem amounts to solving a fourth-order nonlinear elliptic equation with variational structure.…

For each integer $n$ we construct a simply connected $4$-manifold $X$ admitting a smoothly embedded surface $\Sigma$ of self intersection number $n$ such that the complement of the surface has non-trivial fundamental group. This answers a…

Let $S$ be a connected orientable surface of finite topological type. We prove that there is an exhaustion of the curve complex $\mathcal{C}(S)$ by a sequence of finite rigid sets.

We show the finiteness of log pluricanonical representations under the assumption of the existence of a good minimal model.

We prove that a positive definite smooth four-manifold with $b_2^+ \geq 2$ and having either no 1-handles or no 3-handles cannot admit a symplectic structure.

We show examples of pairs of smooth, compact, homeomorphic 4-manifolds, whose diffeomorphism types are distinguished by the topology of the singular sets of smooth stable maps defined on them. In this distinction we rely on results from…