arXiv subjects

Mark Haskins

Publications and source records attributed to Mark Haskins.

14 recordsLinked to original sources

arXiv2026

Complete noncompact G2-manifolds with ALC asymptotics

We prove existence, uniqueness and structure results for complete noncompact 7-dimensional G2-holonomy metrics with ALC (asymptotically locally conical) asymptotics. We regard such spaces as G2-analogues of ALF gravitational instantons in 4-dimensional hyperk\"ahler geometry. Our main results include the existence of a G2-analogue of the Atiyah-Hitchin metric in 4-dimensional hyperk\"ahler geometry, the existence of a good moduli theory for ALC G2-holonomy metrics and rigidity results for ALC G2-metrics in terms of the symmetries of their asymptotic model. The analytic toolkit needed to prove all these results is a robust Fredholm theory for the natural geometric linear elliptic operators on ALC spaces. We provide a self-contained derivation of this Fredholm theory for arbitrary Riemannian manifolds with ALC asymptotics. Since our ALC Fredholm theory does not rely on imposing any holonomy reduction or curvature conditions it may also be of utility beyond the setting of ALC special holonomy metrics. As one such application of our general Fredholm theory we prove some Hodge-theoretic results on general ALC spaces.

math.DG↗

arXiv2025

Sp(2)-invariant expanders and shrinkers in Laplacian flow

We show that the complete Sp(2)-invariant expanding solitons for Bryant's Laplacian flow on the anti-self-dual bundle of the 4-sphere form a 1-parameter family, and that they are all asymptotically conical (AC). We determine their asymptotic cones, and prove that this cone determines the complete expander (up to scale). Neither the unique Sp(2)-invariant torsion-free G_2-cone nor the asymptotic cone of the explicit AC Sp(2)-invariant shrinker from arxiv:2112.09095 occurs as the asymptotic cone of a complete AC Sp(2)-invariant expander. We determine all possible end behaviours of Sp(2)-invariant solitons, identifying novel forward-complete end solutions for both expanders and shrinkers with faster-than-Euclidean volume growth. We conjecture that there exists a 1-parameter family of complete SU(3)-invariant expanders on the anti-self-dual bundle of the complex projective plane CP^2 with such asymptotic behaviour. We also conjecture that, in contrast to the Sp(2)-invariant case, there exist complete SU(3)-invariant AC expanders with asymptotic cone matching that of the explicit AC SU(3)-invariant shrinker from arxiv:2112.09095. The latter conjecture suggests that Laplacian flow may naturally implement a type of surgery in which a CP^2 shrinks to a conically singular point, but after which the flow can be continued smoothly, expanding a topologically different CP^2 from the singularity.

math.DG↗

arXiv2022

Uniqueness of Asymptotically Conical Gradient Shrinking Solitons in G_2-Laplacian Flow

We prove a uniqueness result for asymptotically conical (AC) gradient shrinking solitons for the Laplacian flow of closed G_2-structures: If two gradient shrinking solitons to Laplacian flow are asymptotic to the same closed G_2-cone, then their G_2-structures are equivalent, and in particular, the two solitons are isometric. The proof extends Kotschwar and Wang's argument for uniqueness of AC gradient shrinking Ricci solitons. We additionally show that the symmetries of the G_2-structure of an AC shrinker end are inherited from its asymptotic cone; under a mild assumption on the fundamental group, the symmetries of the asymptotic cone extend to global symmetries.

math.DG↗

arXiv2021

Cohomogeneity-one solitons in Laplacian flow: local, smoothly-closing and steady solitons

We initiate a systematic study of cohomogeneity-one solitons in Bryant's Laplacian flow of closed G_2-structures on a 7-manifold, motivated by the problem of understanding finite-time singularities of that flow. Here we focus on solitons with symmetry groups Sp(2) and SU(3); in both cases we prove the existence of continuous families of local cohomogeneity-one gradient Laplacian solitons and characterise which of these local solutions extend smoothly over their unique singular orbits. The main questions are then to determine which of these smoothly-closing solutions extend to complete solitons and furthermore to understand the asymptotic geometry of these complete solitons. We provide complete answers to both questions in the case of steady solitons. Up to the actions of scaling and discrete symmetries, we show that the set of all smoothly-closing SU(3)-invariant steady Laplacian solitons defined on a neighbourhood of the zero-section of the anti-self-dual bundle of CP^2 is parametrised by the set of nonnegative reals. An open interval I=(0,c) corresponds to complete nontrivial gradient solitons that are asymptotic to the unique SU(3)-invariant torsion-free G_2 cone. The boundary point 0 of I corresponds to the well-known Bryant--Salamon asymptotically conical G_2-manifold, while the other boundary point c corresponds to an explicit complete gradient steady soliton with exponential volume growth and novel asymptotic geometry. The open interval (c, oo) consists entirely of incomplete solutions. In addition, we find an explicit complete gradient shrinking soliton on the anti-self-dual bundle of S^4 and CP^2. Both these shrinkers are asymptotic to closed but non-torsion-free G_2 cones. Like the nontrivial AC gradient steady solitons on the anti-self-dual bundle of CP^2, these shrinkers appear to be potential singularity models for finite-time singularities of Laplacian flow.

math.DG↗

arXiv2021

Infinitely many new families of complete cohomogeneity one G_2-manifolds: G_2 analogues of the Taub-NUT and Eguchi-Hanson spaces

We construct infinitely many new 1-parameter families of simply connected complete noncompact G_2-manifolds with controlled geometry at infinity. The generic member of each family has so-called asymptotically locally conical (ALC) geometry. However, the nature of the asymptotic geometry changes at two special parameter values: at one special value we obtain a unique member of each family with asymptotically conical (AC) geometry; on approach to the other special parameter value the family of metrics collapses to an AC Calabi-Yau 3-fold. Our infinitely many new diffeomorphism types of AC G_2-manifolds are particularly noteworthy: previously the three examples constructed by Bryant and Salamon in 1989 furnished the only known simply connected AC G_2-manifolds. We also construct a closely related conically singular G_2 holonomy space: away from a single isolated conical singularity, where the geometry becomes asymptotic to the G_2-cone over the standard nearly Kähler structure on the product of a pair of 3-spheres, the metric is smooth and it has ALC geometry at infinity. We argue that this conically singular ALC G_2-space is the natural G_2 analogue of the Taub-NUT metric in 4-dimensional hyperKaehler geometry and that our new AC G_2-metrics are all analogues of the Eguchi-Hanson metric, the simplest ALE hyperKähler manifold. Like the Taub-NUT and Eguchi-Hanson metrics, all our examples are cohomogeneity one, i.e. they admit an isometric Lie group action whose generic orbit has codimension one.

math.DG↗

arXiv2020

Complete non-compact G2-manifolds from asymptotically conical Calabi-Yau 3-folds

We develop a powerful new analytic method to construct complete non-compact G2-manifolds, i.e. Riemannian 7-manifolds (M,g) whose holonomy group is the compact exceptional Lie group G2. Our construction starts with a complete non-compact asymptotically conical Calabi-Yau 3-fold B and a circle bundle M over B satisfying a necessary topological condition. Our method then produces a 1-parameter family of circle-invariant complete G2-metrics on M that collapses to the original Calabi-Yau metric on the base B as the parameter converges to 0. The G2-metrics we construct have controlled asymptotic geometry at infinity, so-called asymptotically locally conical (ALC) metrics, and are the natural higher-dimensional analogues of the ALF metrics that are well known in 4-dimensional hyperkähler geometry. We give two illustrations of the strength of our method. Firstly we use it to construct infinitely many diffeomorphism types of complete non-compact simply connected G2-manifolds; previously only a handful of such diffeomorphism types was known. Secondly we use it to prove the existence of continuous families of complete non-compact G2-metrics of arbitrarily high dimension; previously only rigid or 1-parameter families of complete non-compact G2-metrics were known.

math.DG↗

arXiv2016

New G2 holonomy cones and exotic nearly Kaehler structures on the 6-sphere and the product of a pair of 3-spheres

There is a rich theory of so-called (strict) nearly Kaehler manifolds, almost-Hermitian manifolds generalising the famous almost complex structure on the 6-sphere induced by octonionic multiplication. Nearly Kaehler 6-manifolds play a distinguished role both in the general structure theory and also because of their connection with singular spaces with holonomy group the compact exceptional Lie group G2: the metric cone over a Riemannian 6-manifold M has holonomy contained in G2 if and only if M is a nearly Kaehler 6-manifold. A central problem in the field has been the absence of any complete inhomogeneous examples. We prove the existence of the first complete inhomogeneous nearly Kaehler 6-manifolds by proving the existence of at least one cohomogeneity one nearly Kaehler structure on the 6-sphere and on the product of a pair of 3-spheres. We conjecture that these are the only simply connected (inhomogeneous) cohomogeneity one nearly Kaehler structures in six dimensions.

math.DG↗

arXiv2014

Asymptotically cylindrical Calabi-Yau manifolds

Let $M$ be a complete Ricci-flat Kahler manifold with one end and assume that this end converges at an exponential rate to $[0,\infty) \times X$ for some compact connected Ricci-flat manifold $X$. We begin by proving general structure theorems for $M$; in particular we show that there is no loss of generality in assuming that $M$ is simply-connected and irreducible with Hol$(M)$ $=$ SU$(n)$, where $n$ is the complex dimension of $M$. If $n > 2$ we then show that there exists a projective orbifold $\bar{M}$ and a divisor $\bar{D}$ in $|{-K_{\bar{M}}}|$ with torsion normal bundle such that $M$ is biholomorphic to $\bar{M}\setminus\bar{D}$, thereby settling a long-standing question of Yau in the asymptotically cylindrical setting. We give examples where $\bar{M}$ is not smooth: the existence of such examples appears not to have been noticed previously. Conversely, for any such pair $(\bar{M}, \bar{D})$ we give a short and self-contained proof of the existence and uniqueness of exponentially asymptotically cylindrical Calabi-Yau metrics on $\bar{M}\setminus\bar{D}$.

math.DG↗

arXiv2013

G_2-manifolds and associative submanifolds via semi-Fano 3-folds

We provide a significant extension of the twisted connected sum construction of G_2-manifolds, i.e. Riemannian 7-manifolds with holonomy group G_2, first developed by Kovalev; along the way we address some foundational questions at the heart of the twisted connected sum construction. Some of the main contributions of the paper are: (i) We correct, clarify and extend several aspects of the K3 "matching problem" that occurs as a key step in the twisted connected sum construction. (ii) We show that the large class of asymptotically cylindrical Calabi-Yau 3-folds built from semi-Fano 3-folds (a subclass of weak Fano 3-folds) can be used as components in the twisted connected sum construction. (iii) We construct many new topological types of compact G_2-manifolds by applying the twisted connected sum to asymptotically Calabi-Yau 3-folds of semi-Fano type studied in arXiv:1206.2277. (iv) We obtain much more precise topological information about twisted connected sum G_2-manifolds; one application is the determination for the first time of the diffeomorphism type of many compact G_2-manifolds. (v) We describe "geometric transitions" between G_2-metrics on different 7-manifolds mimicking "flopping" behaviour among semi-Fano 3-folds and "conifold transitions" between Fano and semi-Fano 3-folds. (vi) We construct many G_2-manifolds that contain rigid compact associative 3-folds. (vii) We prove that many smooth 2-connected 7-manifolds can be realised as twisted connected sums in numerous ways; by varying the building blocks matched we can vary the number of rigid associative 3-folds constructed therein. This leads to speculation that the moduli space of G_2-metrics on a given 7-manifold may consist of many different connected components.

math.DG↗

arXiv2013

Asymptotically cylindrical Calabi-Yau 3-folds from weak Fano 3-folds

We prove the existence of asymptotically cylindrical (ACyl) Calabi-Yau 3-folds starting with (almost) any deformation family of smooth weak Fano 3-folds. This allow us to exhibit hundreds of thousands of new ACyl Calabi-Yau 3-folds; previously only a few hundred ACyl Calabi-Yau 3-folds were known. We pay particular attention to a subclass of weak Fano 3-folds that we call semi-Fano 3-folds. Semi-Fano 3-folds satisfy stronger cohomology vanishing theorems and enjoy certain topological properties not satisfied by general weak Fano 3-folds, but are far more numerous than genuine Fano 3-folds. Also, unlike Fanos they often contain P^1s with normal bundle O(-1) + O(-1), giving rise to compact rigid holomorphic curves in the associated ACyl Calabi-Yau 3-folds. We introduce some general methods to compute the basic topological invariants of ACyl Calabi-Yau 3-folds constructed from semi-Fano 3-folds, and study a small number of representative examples in detail. Similar methods allow the computation of the topology in many other examples. All the features of the ACyl Calabi-Yau 3-folds studied here find application in arXiv:1207.4470 where we construct many new compact G_2-manifolds using Kovalev's twisted connected sum construction. ACyl Calabi-Yau 3-folds constructed from semi-Fano 3-folds are particularly well-adapted for this purpose.

math.AG↗

arXiv2010

Twisted products and $SO(p)\times SO(q)$-invariant special Lagrangian cones

We construct $\sorth{p} \times \sorth{q}$-invariant special Lagrangian (SL) cones in $\C^{p+q}$. These SL cones are natural higher-dimensional analogues of the $\sorth{2}$-invariant SL cones constructed previously by MH and used in our gluing constructions of higher genus SL cones in $\C^{3}$. We study in detail the geometry of these $\sorth{p}\times \sorth{q}$-invariant SL cones, in preparation for their application to our higher dimensional special Legendrian gluing constructions. In particular the symmetries of these cones and their asymptotics near the spherical limit are analysed. All $\sorth{p} \times \sorth{q}$-invariant SL cones arise from a more general construction of independent interest which we call the special Legendrian twisted product construction. Using this twisted product construction and simple variants of it we can construct a constellation of new special Lagrangian and Hamiltonian stationary cones in $\C^{n}$. We prove the following theorems: A. there are infinitely many topological types of special Lagrangian and Hamiltonian stationary cones in $\C^{n}$ for all $n\ge 4$, B. for $n\ge 4$ special Lagrangian and Hamiltonian stationary torus cones in $\C^{n}$ can occur in continuous families of arbitrarily high dimension and C. for $n\ge 6$ there are infinitely many topological types of special Lagrangian and Hamiltonian stationary cones in $\C^{n}$ that can occur in continuous families of arbitrarily high dimension.

math.DG↗

arXiv2009

Obstructions to special Lagrangian desingularizations and the Lagrangian prescribed boundary problem

We exhibit infinitely many, explicit special Lagrangian isolated singularities that admit no asymptotically conical special Lagrangian smoothings. The existence/ nonexistence of such smoothings is an important component of the current efforts to understand which singular special Lagrangians arise as limits of smooth special Lagrangians. We also use soft methods from symplectic geometry (the relative version of the h--principle) and tools from algebraic topology to prove (both positive and negative) results about Lagrangian desingularizations of Lagrangian submanifolds with isolated singularities; we view the Lagrangian desingularization problem as the natural soft analogue of the special Lagrangian smoothing problem.

math.DG↗

arXiv2004

The geometric complexity of special Lagrangian $T^2$-cones

We prove a number of results relating various measures (volume, Legendrian index, stability index, and spectral curve genus) of the geometric complexity of special Lagrangian $T^2$-cones. We explain how these results fit into a program to understand the "most common" three-dimensional isolated singularities of special Lagrangian submanifolds in almost Calabi-Yau manifolds.

math.DG↗

arXiv2000

Special Lagrangian Cones

We study special Lagrangian cones in $\C^n$ with isolated singularities. Our main result constructs an infinite family of special Lagrangian cones in $\C^3$ each of which has a toroidal link. We obtain a detailed geometric description of these tori. We prove a regularity result for special Lagrangian cones in $\C^3$ with a spherical link -- any such cone must be a plane. We also construct a one-parameter family of asymptotically conical special Lagrangian submanifolds from any special Lagrangian cone.

math.DG↗