Related papers: One stabilization is not enough for closed knotted…

Since the first work on exotic smoothness in physics, it was folklore to assume a direct influence of exotic smoothness to quantum gravity. In the second paper, we calculate the "smoothness structure" part of the path integral in quantum…

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…

We prove that the homology of the mapping class group of any 3-manifold stabilizes under connected sum and boundary connected sum with an arbitrary 3-manifold when both manifolds are compact and orientable. The stabilization also holds for…

In a matter-filled spacetime, perhaps with positive cosmological constant, a stable marginally outer trapped 2-sphere must satisfy a certain area inequality. Namely, as discussed in the paper, its area must be bounded above by $4\pi/c$,…

We describe the GIT compactification for the moduli space of smooth quintic surfaces in projective space. In particular, we show that a normal quintic surface with at worst an isolated double point or a minimal elliptic singularity is…

It was proved by Tien-Cuong Dinh and me that there is a smooth complex projective surface whose automorphism group is discrete and not finitely generated. In this paper, we will show that there is a smooth projective surface, birational to…

We prove the regularity conjecture, namely Eisenbud-Goto conjecture, for a normal surface with rational, Gorenstein elliptic and log canonical singularities. Along the way, we bound the regularity for a dimension zero scheme by its Loewy…

A variety is said to satisfy Condition (A) if every finite abelian subgroup of its automorphism group has a fixed point. We show that a smooth Fano 3-fold not satisfying Condition (A) is K-polystable unless it is contained in eight…

We show that the difference between the topological 4-genus of a knot and the minimal genus of a surface bounded by that knot that can be decomposed into a smooth concordance followed by an algebraically simple locally flat surface can be…

In this article we construct a new family of simply connected symplectic 4-manifolds with $b_2^+ =1$ and $c_1^2 =2$ which are not diffeomorphic to rational surfaces by using rational blow-down technique. As a corollary, we conclude that a…

We show that whenever a closed symplectic manifold admits a Hamiltonian diffeomorphism with finitely many simple periodic orbits, the manifold has a spherical homology class of degree two with positive symplectic area and positive integral…

We show that the smooth homotopy 4-sphere obtained by Gluck twisting the m-twist n-roll spin of any unknotting number one knot is diffeomorphic to the standard 4-sphere, for any pair of integers (m,n). It follows as a corollary that an…

In this paper, we prove that for every Finsler $4$-dimensional sphere $(S^4,F)$ with reversibility $\lambda$ and flag curvature $K$ satisfying $\frac{25}{9}\left(\frac{\lambda}{1+\lambda}\right)^2<K\le 1$ with $\lambda<\frac{3}{2}$, either…

Tollefson described a variant of normal surface theory for 3-manifolds, called Q-theory, where only the quadrilateral coordinates are used. Suppose $M$ is a triangulated, compact, irreducible, boundary-irreducible 3-manifold. In Q-theory,…

We show that if $K$ is a knot in $S^3$ and $\Sigma$ is a bridge sphere for $K$ with high distance and $2n$ punctures, the number of perturbations of $K$ required to interchange the two balls bounded by $\Sigma$ via an isotopy is $n$. We…

For a smooth projective complex variety whose Albanese morphism is finite, we show that every Bridgeland stability condition on its bounded derived category of coherent sheaves is geometric, in the sense that all skyscraper sheaves are…

We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide…

The 2-twist spun trefoil is an example of a sphere that is knotted in 4-dimensional space. Here this example is shown to be distinct from the same sphere with the reversed orientation. To demonstrate this fact a state-sum invariant for…

The existence of closed trapped surfaces need not imply a cosmological singularity when the spatial hypersurfaces are compact. This is illustrated by a variety of examples, in particular de Sitter spacetime admits many closed trapped…

We show that standard cyclic actions on Brieskorn homology 3-spheres with non-empty fixed set do not extend smoothly to any contractible smooth 4-manifold it may bound. The quotient of any such extension would be an acyclic $4$-manifold…