Given an SO(3)-bundle with connection, the associated twosphere bundle carries a natural closed 2-form. Asking that this be symplectic gives a curvature inequality first considered by Reznikov [34]. We study this inequality in the case when the base has dimension four, with three main aims. Firstly, we use this approach to construct symplectic six-manifolds with c1 = 0 which are never K¨ahler; e.g., we produce such manifolds with b1 = 0 = b3 and also with c2 · [ω] < 0, answering questions posed by Smith–Thomas–Yau [37]. Examples come from Riemannian geometry, via the Levi–Civita connection on +. The underlying six-manifold is then the twistor space and often the symplectic structure tames the Eells–Salamon twistor almost complex structure. Our second aim is to exploit this to deduce new results about minimal surfaces: if a certain curvature inequality holds, it follows that the space of minimal surfaces (with fixed topological invariants) is compactifiable; the minimal surfaces must also satisfy an adjunction inequality, unifying and generalising results of Chen–Tian [6]. One metric satisfying the curvature inequality is hyperbolic four-space H4. Our final aim is to show that the corresponding symplectic manifold is symplectomorphic to the small resolution of the conifold xw −yz = 0 in C4. We explain how this fits into a hyperbolic description of the conifold transition, with isometries of H4 acting symplectomorphically on the resolution and isometries of H3 acting biholomorphically on the smoothing.

We construct noncompact solutions to the affine normal flow of hypersurfaces, and show that all ancient solutions must be either ellipsoids (shrinking solitons) or paraboloids (translating solitons). We also provide a new proof of the existence of a hyperbolic affine sphere asymptotic to the boundary of a convex cone containing no lines, which is originally due to Cheng-Yau. The main techniques are local second-derivative estimates for a parabolic Monge-Amp`ere equation modeled on those of Ben Andrews and Guti´errez-Huang, a decay estimate for the cubic form under the affine normal flow due to Ben Andrews, and a hypersurface barrier due to Calabi.

We generalize the results of Adams–Schoenfeld [2], finding large classes of totally geodesic Seifert surfaces in hyperbolic knot and link complements, each covering a rigid 2-orbifold embedded in some hyperbolic 3-orbifold. In addition, we provide a uniqueness theorem and demonstrate that many knots cannot possess totally geodesic Seifert surfaces by giving bounds on the width invariant in the presence of such a surface. Finally, we utilize these examples to demonstrate that the Six Theorem is sharp for knot complements in the 3-sphere.

In this paper, we classify n-dimensional ($n\ge 4$) complete Bach-flat gradient shrinking Ricci solitons. More precisely, we prove that any 4-dimensional Bach-flat gradient shrinking Ricci soliton is either Einstein, or locally conformally flat hence a finite quotient of the Gaussian shrinking soliton R^4 or the round cylinder S^3 x R. More generally, for $n\ge 5$, a Bach-flat gradient shrinking Ricci soliton is either Einstein, or a finite quotient of the Gaussian shrinking soliton $R^n$ or the product $N^{n-1}xR$, where $N^{n-1}$ is Einstein.

We define non-pluripolar products of an arbitrary number of closed positive (1, 1)-currents on a compact Kähler manifold$X$. Given a big (1, 1)-cohomology class$α$on$X$(i.e. a class that can be represented by a strictly positive current) and a positive measure$μ$on$X$of total mass equal to the volume of$α$and putting no mass on pluripolar sets, we show that$μ$can be written in a unique way as the top-degree self-intersection in the non-pluripolar sense of a closed positive current in$α$. We then extend Kolodziedj’s approach to sup-norm estimates to show that the solution has minimal singularities in the sense of Demailly if$μ$has$L$^{1+$ε$}-density with respect to Lebesgue measure. If$μ$is smooth and positive everywhere, we prove that$T$is smooth on the ample locus of$α$provided$α$is nef. Using a fixed point theorem, we finally explain how to construct singular Kähler–Einstein volume forms with minimal singularities on varieties of general type.