Related papers: Exotic smooth structures on $CP^2#5{\bar CP^2}$

Topological classification of the 4-manifolds bridges computation theory and physics. A proof of the undecidability of the homeomorphy problem for 4-manifolds is outlined here in a clarifying way. It is shown that an arbitrary Turing…

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…

We introduce topological prismatoids, a combinatorial abstraction of the (geometric) prismatoids recently introduced by the second author to construct counter-examples to the Hirsch conjecture. We show that the `strong $d$-step Theorem'…

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…

We prove a localization theorem for exotic diffeomorphisms, showing that every diffeomorphism of a compact simply-connected 4-manifold that is isotopic to the identity after stabilizing with one copy of $S^2 \times S^2$, is smoothly…

In this paper, we show that a smooth 4-manifold diffeomorphic to a complex hypersurface in $\mathbb{CP}^3 $ of degree $d\geq 5$ can be decomposed as the union of $d(d-4)^2$ copies of 4-dimensional pair-of-pants and certain subsets of K3…

We prove that a compact smooth 4-manifold admits generalized complex structures of odd type if and only if it has a transversely holomorphic 2-foliation. Consequently, there exist generalized complex structures of odd type on a circle…

We show that smooth isoperimetric profiles are exceptional for real analytic Riemannian manifolds. For instance, under some extra assumption, this can happen only on topological spheres.

We extend a result of M. Katz on conformal systoles to all four-manifolds with b^+=1 which have odd intersection form. The same result holds for all four-manifolds with b^+=1 with even intersection form and which are symplectic or satisfy…

This paper considers aspects of 4-manifold topology from the point of view of the null cone of a neutral metric, a point of view we call neutral causal topology. In particular, we construct and investigate neutral 4-manifolds with null…

This paper shows that the complex projective plane $\mathbb{P}^2$ can be realized as the underlying space for a closed hyperbolic $4$-orbifold. This is the first example of a closed hyperbolic $4$-orbifold whose underlying space is…

We reprove and strengthen some old difficult theorems of 4-manifolds by the aid of recently discovered modern tools, which involve contact structures on 3-manifolds, compact Stein domains, etc.

Compact pseudo-Riemannian manifolds that have parallel Weyl tensor without being conformally flat or locally symmetric are known to exist in infinitely many dimensions greater than 4. We prove some general topological properties of such…

We consider the canonical action of the compact torus $T^4$ on the Grassmann manifold $G_{4,2}$ and prove that the orbit space $G_{4,2}/T^4$ is homeomorphic to the sphere $S^5$. We prove that the induced differentiable structure on $S^5$ is…

In this paper, we study an extension of the CPE conjecture to manifolds $M$ which support a structure relating curvature to the geometry of a smooth map $\varphi : M \to N$. The resulting system, denoted by $(\varphi-\mathrm{CPE})$, is…

We review recent developments in differential topology with special concern for their possible significance to physical theories, especially general relativity. In particular we are concerned here with the discovery of the existence of…

We classify $5$-manifolds with fundamental group $\mathbb Z$ and $\pi_{2}$ a finitely generated abelian group in terms of the cup product on the second cohomology of the universal covering. The classification result is applied to study…

Singular fibrations generalize achiral Lefschetz fibrations of 4-manifolds over surfaces while sharing some of their properties. For instance, relatively minimal singular fibrations are determined by their monodromy. We explain how to…

We initiate a study of positive multisections of Lefschetz fibrations via positive factorizations in framed mapping class groups of surfaces. Using our methods, one can effectively capture various interesting symplectic surfaces in…

We develop a $\mathrm{Pin}(2) \times \mathbb{Z}_2$-equivariant refinement of the lattice homotopy type for computing equivariant Seiberg--Witten Floer homotopy types. As an application, we construct a relatively exotic diffeomorphism on a…