Related papers: Definite four-manifolds with exotic smooth structu…
In this paper, a lot of examples of four-dimensional manifolds with an almost hypercomplex pseudo-Hermitian structure are constructed in several explicit ways. The received 4-manifolds are characterized by their linear invariants in the…
We exhibit a family of metrizable manifolds such that any finite group appears as the fundamental group of one of them. These spaces are especially interesting as they can be easily visualized, as opposed to classical examples of spaces…
We compute a complete set of isomorphism classes of cubic fourfolds over $\mathbb{F}_2$. Using this, we are able to compile statistics about various invariants of cubic fourfolds, including their counts of points, lines, and planes; all…
We give conditions on a Haken hyperbolic rational homology three sphere that imply that any other 3-manifold with profinitely equivalent fundamental group must also be Haken. In the appendix, we show that a regular finite-sheeted cover of…
A strong KT (SKT) manifold consists of a Hermitian structure whose torsion three-form is closed. We classify the invariant SKT structures on four-dimensional solvable Lie groups. The classification includes solutions on groups that do not…
Understanding the relationships between geometry and topology is a central theme in Riemannian geometry. We establish two results on the fundamental groups of open (complete and noncompact) $n$-manifolds with nonnegative Ricci curvature and…
In this article we show that every closed orientable smooth $4$--manifold admits a smooth embedding in the complex projective $3$--space.
We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…
We show that there exist smooth, simply connected, four-dimensional spin manifolds which do not admit Einstein metrics, but nonetheless satisfy the strict Hitchin-Thorpe inequality. Our construction makes use of the Bauer/Furuta cohomotopy…
We provide information on diffeotopy groups of exotic smoothings of punctured 4-manifolds, extending previous results on diffeotopy groups of exotic $\mathbb{R}^4$'s. In particular, we prove that for a smoothable 4-manifold $M$ and for a…
We show that smooth well formed weighted complete intersections have finite automorphism groups, with several obvious exceptions.
We show that the set of even positive definite lattices that arise from smooth, simply-connected 4-manifolds bounded by a fixed homology 3-sphere can depend on more than the ranks of the lattices. We provide two homology 3-spheres with…
We prove an effective version of the Shafarevich conjecture (as proven by Faltings) for smooth quartic curves. To do so, we establish an effective version of Scholl's finiteness result for smooth del Pezzo surfaces of degree at most four.
We prove that any closed, convex hypersurface in an $(n+1)$-dimensional Riemannian manifold with $\lceil \frac{n}{2} \rceil$-positive curvature operator is a rational homology sphere with finite fundamental group. The same conclusion holds…
We show that every closed, oriented, topologically PSC 4-manifold can be obtained via 0 and 1-surgeries from a topologically PSC 4-orbifold with vanishing first Betti number and second Betti number at most as large as the original one.
We prove that if the $m$-th homotopy group for $m \geq 2$ of a closed manifold has non-trivial invariants or coinvariants under the action of the fundamental group, then there exist infinitely many geometrically distinct closed geodesics…
We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$…
We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a…
We construct an infinite family of hyperbolic, homologically thin knots that are not quasi-alternating. To establish the latter, we argue that the branched double-cover of each knot in the family does not bound a negative definite…
We introduce a topological invariant, it a type of a graph-manifold, which takes natural values. For a 4-dimensional graph-manifold, whose type does not exceed two, it is proved that its universal cover is bi-Lipschitz equivalent to a…