-
Sp(2)-invariant expanders and shrinkers in Laplacian flow
Authors:
Mark Haskins,
Rowan Juneman,
Johannes Nordström
Abstract:
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 co…
▽ More
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.
△ Less
Submitted 22 April, 2025; v1 submitted 9 January, 2025;
originally announced January 2025.
-
Uniqueness of Asymptotically Conical Gradient Shrinking Solitons in G_2-Laplacian Flow
Authors:
Mark Haskins,
Ilyas Khan,
Alec Payne
Abstract:
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 gra…
▽ More
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.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Cohomogeneity-one solitons in Laplacian flow: local, smoothly-closing and steady solitons
Authors:
Mark Haskins,
Johannes Nordström
Abstract:
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 chara…
▽ More
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.
△ Less
Submitted 21 February, 2025; v1 submitted 16 December, 2021;
originally announced December 2021.
-
Infinitely many new families of complete cohomogeneity one G_2-manifolds: G_2 analogues of the Taub-NUT and Eguchi-Hanson spaces
Authors:
Lorenzo Foscolo,
Mark Haskins,
Johannes Nordström
Abstract:
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 asym…
▽ More
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.
△ Less
Submitted 5 February, 2021; v1 submitted 7 May, 2018;
originally announced May 2018.
-
Complete non-compact G2-manifolds from asymptotically conical Calabi-Yau 3-folds
Authors:
Lorenzo Foscolo,
Mark Haskins,
Johannes Nordström
Abstract:
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 famil…
▽ More
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.
△ Less
Submitted 28 December, 2020; v1 submitted 14 September, 2017;
originally announced September 2017.
-
New G2 holonomy cones and exotic nearly Kaehler structures on the 6-sphere and the product of a pair of 3-spheres
Authors:
Lorenzo Foscolo,
Mark Haskins
Abstract:
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 gro…
▽ More
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.
△ Less
Submitted 29 July, 2016; v1 submitted 30 January, 2015;
originally announced January 2015.
-
Asymptotically cylindrical Calabi-Yau manifolds
Authors:
Mark Haskins,
Hans-Joachim Hein,
Johannes Nordström
Abstract:
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…
▽ More
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}$.
△ Less
Submitted 26 November, 2014; v1 submitted 31 December, 2012;
originally announced December 2012.
-
G_2-manifolds and associative submanifolds via semi-Fano 3-folds
Authors:
Alessio Corti,
Mark Haskins,
Johannes Nordström,
Tommaso Pacini
Abstract:
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 "ma…
▽ More
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.
△ Less
Submitted 5 August, 2013; v1 submitted 18 July, 2012;
originally announced July 2012.
-
Asymptotically cylindrical Calabi-Yau 3-folds from weak Fano 3-folds
Authors:
Alessio Corti,
Mark Haskins,
Johannes Nordström,
Tommaso Pacini
Abstract:
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-F…
▽ More
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.
△ Less
Submitted 5 August, 2013; v1 submitted 11 June, 2012;
originally announced June 2012.
-
Twisted products and $SO(p)\times SO(q)$-invariant special Lagrangian cones
Authors:
Mark Haskins,
Nikolaos Kapouleas
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 May, 2010;
originally announced May 2010.
-
Obstructions to special Lagrangian desingularizations and the Lagrangian prescribed boundary problem
Authors:
Mark Haskins,
Tommaso Pacini
Abstract:
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 re…
▽ More
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.
△ Less
Submitted 22 April, 2009; v1 submitted 13 September, 2006;
originally announced September 2006.
-
Special Lagrangian cones with higher genus links
Authors:
M. Haskins,
N. Kapouleas
Abstract:
For every odd natural number g=2d+1 we prove the existence of a countably infinite family of special Lagrangian cones in C^3 over a closed Riemann surface of genus g, using a geometric PDE gluing method.
For every odd natural number g=2d+1 we prove the existence of a countably infinite family of special Lagrangian cones in C^3 over a closed Riemann surface of genus g, using a geometric PDE gluing method.
△ Less
Submitted 8 December, 2005;
originally announced December 2005.
-
The geometric complexity of special Lagrangian $T^2$-cones
Authors:
Mark Haskins
Abstract:
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.
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.
△ Less
Submitted 17 January, 2004; v1 submitted 9 July, 2003;
originally announced July 2003.
-
The geodesic approximation for lump dynamics and coercivity of the Hessian for harmonic maps
Authors:
M. Haskins,
J. M. Speight
Abstract:
The most fruitful approach to studying low energy soliton dynamics in field theories of Bogomol'nyi type is the geodesic approximation of Manton. In the case of vortices and monopoles, Stuart has obtained rigorous estimates of the errors in this approximation, and hence proved that it is valid in the low speed regime. His method employs energy estimates which rely on a key coercivity property of…
▽ More
The most fruitful approach to studying low energy soliton dynamics in field theories of Bogomol'nyi type is the geodesic approximation of Manton. In the case of vortices and monopoles, Stuart has obtained rigorous estimates of the errors in this approximation, and hence proved that it is valid in the low speed regime. His method employs energy estimates which rely on a key coercivity property of the Hessian of the energy functional of the theory under consideration. In this paper we prove an analogous coercivity property for the Hessian of the energy functional of a general sigma model with compact Kähler domain and target. We go on to prove a continuity property for our result, and show that, for the CP^1 model on S^2, the Hessian fails to be globally coercive in the degree 1 sector. We present numerical evidence which suggests that the Hessian is globally coercive in a certain equivariance class of the degree n sector for n>1. We also prove that, within the geodesic approximation, a single CP^1 lump moving on S^2 does not generically travel on a great circle.
△ Less
Submitted 20 February, 2003; v1 submitted 20 January, 2003;
originally announced January 2003.
-
Special Lagrangian Cones
Authors:
Mark Haskins
Abstract:
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-…
▽ More
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.
△ Less
Submitted 16 May, 2000;
originally announced May 2000.
