{'fraction_non_alphanumeric': 0.05142452161587527, 'fraction_numerical': 0.021157571462319866, 'mean_word_length': 3.880147567442933, 'pattern_counts': {'":': 0, '<': 16, '<?xml version=': 0, '>': 37, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 54, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Complete non-compact Spin(7) manifolds from self-dual Einstein 4-orbifolds

We present an analytic construction of complete non-compact 8-dimensional Ricci-flat manifolds with holonomy Spin(7). The construction relies on the study of the adiabatic limit of metrics with holonomy Spin(7) on principal Seifert circle bundles over asymptotically conical G2 orbifolds. The metrics we produce have an asymptotic geometry, so-called ALC geometry, that generalises to higher dimensions the geometry of 4-dimensional ALF hyperk\"ahler metrics. We apply our construction to asymptotically conical G2 metrics arising from self-dual Einstein 4-orbifolds with positive scalar curvature. As illustrative examples of the power of our construction, we produce complete non-compact Spin(7) manifolds with arbitrarily large second Betti number and infinitely many distinct families of ALC Spin(7) metrics on the same smooth 8-manifold.


Introduction
In this paper we provide a new analytic construction of complete non-compact Ricci-flat 8manifolds with holonomy Spin (7) and non-maximal volume growth. The starting point of the construction is an asymptotically conical (AC) 7-dimensional orbifold (B, g 0 ) with holonomy G 2 together with a suitable principal circle orbibundle π : M → B with total space M a smooth 8-manifold (we will then say that π : M → B is a Seifert bundle). Our method then produces a 1parameter family {g ǫ } ǫ>0 of circle invariant Spin(7)-metrics on M such that (M, g ǫ ) collapses back to the orbifold (B, g 0 ) as ǫ → 0. The metric g ǫ has controlled asymptotic geometry, so-called ALC (asymptotically locally conical) geometry: along the (unique) end of M the metric g ǫ approaches a Riemannian submersion with base a conical (orbifold) metric and circle fibres of fixed finite length. Theorem A. Let M 8 be a smooth non-compact 8-manifold with an almost-free circle action, i.e. such that the quotient space B = M/S 1 is an orbifold. Assume that B carries an AC orbifold metric g 0 with holonomy G 2 and that the principal circle orbibundle M → B satisfies the topological condition c orb 1 (M ) ∪ [ϕ 0 ] = 0 ∈ H 5 orb (B). Here ϕ 0 is the closed and coclosed G 2 3-form on B inducing the G 2 -metric g 0 .
Then for every ǫ > 0 sufficiently small there exists a circle-invariant ALC Spin(7)-metric g ǫ on M such that the sequence (M, g ǫ ) collapses to (B, g 0 ) with bounded curvature as ǫ → 0.
We refer the reader to Theorem 3.35 later in the paper for a more precise statement.
Motivation and applications. In [31], in collaboration with Haskins and Nordström, we developed a similar construction of highly collapsed ALC G 2 -holonomy metrics on suitable principal circle bundles over smooth AC Calabi-Yau 3-folds. The construction of [31] allowed us to exploit recent progress on the existence of Calabi-Yau cone metrics [22,35,39] and AC Calabi-Yau metrics [23,42,85] to produce infinitely many complete non-compact G 2 -manifolds and complete G 2 -metrics depending on an arbitrarily large number of parameters. Only a handful of complete non-compact G 2 -manifolds was previously known.
The existence of an analogous construction of Spin(7)-metrics from AC G 2 -manifolds as in Theorem A is therefore not in itself surprising. The fact that such a construction can be used to produce significant results in Spin(7)-geometry, however, is a priori much less clear: the naive generalisation of [31] to the Spin(7)-setting using only smooth manifolds would be a theorem that currently applies to only one example! The simultaneous extension of [31] to the orbifold setting is the crucial new ingredient that makes Theorem A useful. Indeed, in contrast to the Calabi-Yau case, our current knowledge of smooth AC G 2 -manifolds is extremely limited: in 1989 Bryant-Salamon [17] constructed three (explicit) examples of AC G 2 -metrics; only very recently [32, Theorem C] an infinite family of new simply connected examples has been found. On the other hand, Bryant-Salamon's construction of AC G 2 -metrics yields an AC orbifold G 2 -metric on the total space of the orbibundle of anti-self-dual 2-forms over any self-dual Einstein 4-orbifold with positive scalar curvature. This construction yields a large supply of AC G 2 -orbifolds since many self-dual Einstein orbifold metrics can be constructed using the quaternionic Kähler quotient construction of Galicki-Lawson [36]. By using such orbifolds we are able to produce a wealth of new complete non-compact Spin(7)-manifolds.
Theorem B. For every k ≥ 1 there exists a smooth non-compact 8-manifold that retracts onto ♯ k (S 2 × S 3 ) and carries a family of complete ALC Spin(7)-metrics. In particular, there exist complete non-compact Spin(7)-manifolds with arbitrarily large second Betti number.
Only a handful of complete non-compact Spin(7)-metrics was previously known [5,6,17,26,27,44,64]. As a further illustration of the power of our construction, we also find a smooth non-compact 8-manifold that can be described as a circle orbibundle over an AC G 2 -orbifold in infinitely many different ways.
Theorem C. The non-trivial rank-3 real vector bundle over S 5 carries infinitely many families of complete ALC Spin(7)-metrics. Different families are distinguished by their (unique) tangent cone at infinity.
In other words there are infinitely many inequivalent circle actions on the 8-manifold M in question such that the orbit space M/S 1 is the orbibundle of anti-self-dual 2-forms over a self-dual Einstein 4-orbifold with positive scalar curvature.
The analytic framework introduced in this paper to work on AC orbifolds can also be exploited to extend the construction of complete ALC G 2 -metrics in [31] to the orbifold setting. In [31] examples of ALC G 2 -metrics arose from AC Calabi-Yau metrics on crepant resolutions of Calabi-Yau cones. Often it is natural to consider only partial resolutions of Calabi-Yau cones, which replace the singularity of the cone with simpler (albeit non-isolated) orbifold singularities. Combining the techniques of this paper with [31] allows us to construct complete G 2 -metrics on suitable circle orbibundles over these orbifold partial resolutions. As an illustration of the possible complete G 2metrics arising from this construction, Theorem 4.12 establishes an analogue of Theorem C in the G 2 setting by constructing infinitely many distinct families of ALC G 2 -metrics on S 3 × R 4 .
Considering sequences of Spin(7)-metrics collapsing to G 2 -orbifolds and not only smooth manifolds is also very natural from the point of view of the theory of Riemannian collapse. Indeed, Fukaya [34,Proposition 11.5] has shown that Gromov-Hausdorff limits of Riemannian manifolds that collapse with bounded curvature in codimension 1 must be orbifolds. Thus, besides extending it to the Spin(7) setting, Theorem A extends the construction of [31] to its most general context.
There are three main aspects to the proof of Theorem A and of its corollaries Theorems B and C. The general strategy of the proof of Theorem A relies on the adiabatic limit of Spin(7)-metrics with a circle symmetry. The strategy is partially motivated by known families of cohomogeneity one ALC Spin(7)-metrics and the duality between M theory and Type IIA String theory in theoretical physics. Successfully implementing this strategy requires a refined knowledge of closed and coclosed forms on AC manifolds and orbifolds. Note that the orbifolds we consider in this paper are noncompact and have a singular set that is allowed to extend all the way to infinity. Describing the analytic framework to work on such orbifolds is an important technical aspect of this paper. Finally, the third aspect of this work is the search for self-dual Einstein 4-orbifolds with positive scalar curvature that give rise to concrete examples of AC G 2 -orbifolds to feed into Theorem A. In the rest of this Introduction we discuss each of these three aspects.
The adiabatic limit of circle invariant Spin(7)-metrics. In [17] Bryant-Salamon constructed the first known example of a complete metric with holonomy Spin (7). The Bryant-Salamon metric is an explicit AC Spin(7)-metric on the spinor bundle / S(S 4 ) of the round 4-sphere. The metric is asymptotic at infinity to the Riemannian cone over the squashed Einstein metric on S 7 [55].
The Bryant-Salamon metric on / S(S 4 ) is in fact invariant under the natural cohomogeneity one action of Sp(2) (recall that Sp(2) ≃ Spin (5)). In [26] Cvetič-Gibbons-Lü-Pope studied the ODE system describing general Sp(2)-invariant Spin(7)-metrics. They found a new explicit example and argued that it moved in a 1-parameter family up to scale, the existence of which was further studied in [27] and rigorously proved in [6]. The asymptotic behaviour of the metrics in this family, labelled B 8 in the physics literature, is different from the Bryant-Salamon metric: the B 8 metrics have nonmaximal volume growth r 7 ; at infinity the metric approaches a Riemannian submersion with base metric the Riemannian cone over the nearly Kähler metric on CP 3 and circle fibres with fixed finite length ℓ. In [26] the acronym ALC (asymptotically locally conical) was introduced to describe this asymptotic geometry: the ALC asymptotic geometry is analogous to the asymptotic geometry of ALF (asymptotically locally flat) 4-dimensional manifolds, except that the tangent cone at infinity is not necessarily flat. Up to scale, the asymptotic length ℓ of the circle fibres can be taken as the parameter that distinguishes different members of the B 8 family. In fact, the asymptotic circle action extends to a global symmetry of the B 8 metrics, which are not only invariant under the left action of Sp (2), but also under the circle acting on the fibres of / S(S 4 ) as the Hopf circle action. This circle action is not free since it fixes the zero-section, but the quotient space is still a smooth manifold, Λ − T * S 4 . As ℓ → 0 the family of ALC B 8 metrics collapses to the Bryant-Salamon AC G 2 -metric on Λ − T * S 4 [17], which is asymptotic to the cone over the nearly Kähler metric on CP 3 . As ℓ → 0 the curvature of the B 7 metrics blows up along the zero-section S 4 , the fixed locus of the circle action on / S(S 4 ). These first examples lead to an explosion of activity in the physics and, later, mathematics literature discussing further (conjectural) families of ALC manifolds with exceptional holonomy. An explicit ALC Spin(7)-metric on R 8 was found in [26] and a new family of Sp(2)-invariant ALC Spin(7)-metrics on the canonical line bundle of CP 3 was studied numerically in [25,Section 2] and later constructed rigorously in [5]. Further work concentrated on the case of cohomogeneity one SU(3)-invariant Spin(7)-metric with principal orbits the Aloff-Wallach spaces SU(3)/U (1) k,l , where the integers k, l determine the embedding of U(1) in the maximal torus of SU(3): the discovery of some explicit solutions, numerical investigations of the relevant ODE systems and a rigorous study of local solutions defined in a neighbourhood of the possible singular orbits were carried out by various authors [25,44,45,59,60,78]. In general, however, the existence of complete solutions remains open.
From the physics perspective, the interest in ALC metrics with exceptional holonomy arises from the equivalence between M theory and Type IIA String theory in the limit of weak string coupling constant. Kaluza-Klein reduction of supersymmetric M-theory solutions along a circle of small radius proportional to the string coupling constant corresponds geometrically to the study of sequences of manifolds with exceptional holonomy collapsing in codimension 1 along a (degenerate) circle fibration. For instance, the collapse of the B 8 family of ALC Spin(7)-metrics to the Bryant-Salamon AC G 2 -metric in the limit ℓ → 0 realises the duality between M theory "compactified" on / S(S 4 ) and Type IIA String theory on Λ − T * S 4 with a D6-brane wrapping the zero-section. The geometric interpretation of the latter physical jargon is that / S(S 4 )\S 4 can be regarded as a principal circle bundle over Λ − T * S 4 \ S 4 with first Chern class evaluating to one on the 2-sphere linking the zero-section. The collapse with bounded curvature exhibited by the families of ALC Spin(7)metrics in Theorem A corresponds instead to the physical statement that the weak coupling limit of Type IIA theory on the G 2 -orbifold B with Ramond-Ramond 2-form flux representing c orb 1 (M ) is equivalent to the low energy limit of M-theory on the total space M of the circle orbibundle.
The idea of proof of Theorem A is close to this physical interpretation, see for example [24,62]. We consider a Spin(7)-manifold (M, g) with an isometric circle action. Denote by B the orbit space M/S 1 and assume for simplicity it is a smooth manifold. A Spin(7)-metric is uniquely determined by a closed 4-form Φ on M satisfying certain point-wise nonlinear algebraic constraints. In the presence of a Killing field ξ (that we assume preserves also Φ) we can write the metric g on M as g = h 1 3 g B + h −1 θ 2 , where θ is an S 1 -invariant 1-form on M dual to ξ, i.e. a connection 1-form on the principal circle bundle M → B, and h and g B are a positive function and a Riemannian metric on B. We can then formulate the holonomy reduction of g as a system of nonlinear partial differential equations Ψ(θ, h, ϕ) = 0. Here ϕ = ξ Φ defines a G 2 -structure on B inducing the metric g B . In dimension 4, the analogous dimensional reduction of hyperkähler metrics along the orbits of a triholomorphic vector field yields the famous Gibbons-Hwaking Ansatz [40], which reduces the existence of the hyperkähler metric to a linear equation on the orbit space R 3 . The system of equations Ψ(θ, h, ϕ) = 0 arising from the dimensional reduction of Spin(7)-metrics is nonlinear and in general it is not at all clear how to study existence of solutions.
The first step is to understand elements in the kernel of the linearisation L of Ψ at (0, 1, ϕ 0 ), since they correspond to formal tangent vectors to curves of solutions to Ψ(ǫ θ, h, ϕ) = 0 for ǫ ∈ [0, ǫ 0 ). A dichotomy arises at this stage: it is geometrically meaningful to consider bounded solutions to the linearised problem as well as unbounded solutions with prescribed singularities in codimension 4. In this paper we only consider the former case, which corresponds to sequences of Spin(7)-metrics collapsing with bounded curvature; the case of codimension-4 singularities, related to collapse with unbounded curvature along the fibres of a circle fibration which degenerates in codimension 4, is more involved and will be treated elsewhere. It turns out that bounded solutions (θ 0 , h 0 , ρ 0 ) to the linearised problem L(θ 0 , h 0 , ρ 0 ) = 0 are completely determined by the choice of a principal circle bundle M → B with c 1 (M ) = [dθ 0 ]. The topological constraint c 1 (M ) ∪ [ϕ 0 ] = 0 ∈ H 5 (B) arises at this stage as the necessary and sufficient condition for solving the linearised problem.
We can now imagine reconstructing a curve of solutions to Ψ(ǫ θ, h, ϕ) = 0 for ǫ ≥ 0 sufficiently small by deforming away from the initial solution (0, 1, ϕ 0 ) in the direction of (θ 0 , h 0 , ρ 0 ) via an application of the Implicit Function Theorem. The key step is the study of the mapping properties of the linear operator L. Now, L is not obviously elliptic as it involves a combination of differential, codifferential and decomposition of differential forms into different types induced by the representation theory of G 2 (analogous to the (p, q)-type decomposition on complex manifolds). It is therefore not immediately obvious how to identify the cokernel of L. In the construction of ALC G 2 -metrics from AC Calabi-Yau 3-folds in [31] the linearised problem was complicated enough that we were only able to prove existence of solutions by solving the analogue of the equation Ψ(ǫ θ, h, ϕ) = 0 as a power series in ǫ, exploiting special cancellations that were only evident by solving the equation order-by-order in ǫ. In this paper we are instead able to set up a direct argument using the Implicit Function Theorem. The key difference with respect to [31] is that the space of G 2 -structures on R 7 is an open set in a linear space, while the space of SU(3)-structures on R 6 is cut out by nonlinear constraints and thereofore a further choice of "exponential map" is necessary. In order to understand the mapping properties of the linearised operator L and therefore prove Theorem A, we need to exploit the interplay between the Laplacian, the Dirac operator and type decomposition of differential forms on AC G 2 -orbifolds and, crucially, the fact that we restrict to variations of the G 2 -structure ϕ in the same cohomology class as ϕ 0 .
Analysis on AC orbifolds. The discussion so far has been formal. In order to implement the strategy we have just outlined we need to develop analytic tools to work on AC orbifolds. There are two main issues to take into account: the fact that we work on non-compact spaces and the orbifold singularities. The analysis of linear elliptic operators on smooth AC manifolds using weighted Sobolev and Hölder spaces is well established. Analysis on compact orbifolds has also been used in many geometric applications. However, the orbifolds we consider in this paper are non-compact and in view of the applications we have in mind we cannot insist that the singular set be compact. The simultaneous presence of an AC end and orbifold singularities allowed to extend to infinity seems not to have been considered before in the literature. We therefore felt it was necessary to include a self-contained exposition of the geometric and analytic tools we need. Since the orbifolds we consider arise as global quotients of smooth non-compact manifolds by a circle action, we develop the theory in a way that makes crucial use of this assumption. Instead of working on the AC orbifold B itself we work on the smooth total space M of the circle orbibundle over B: elliptic operators acting on differential forms on B are replaced with transversally elliptic operators acting on basic forms on M . Note that since every Riemannian orbifold arises as the quotient of a smooth manifold by the action of a compact Lie group (the orthogonal frame orbibundle of an orbifold is always a smooth manifold, see [1, Corollary 1.24]), a similar strategy can be (and has been) applied more generally. The case of Seifert circle bundles (i.e. principal circle orbibundles with smooth total space) allows us to give a particularly clean exposition.
The central object in our exposition is the so-called adapted connection ∇ of a Riemannian foliation, see [8,Definition 1.7] and [79, Definition 3.13]: a certain metric connection with torsion on T M that preserves the splitting of the tangent bundle of M into vertical and horizontal subbundles. We use ∇ instead of the Levi-Civita connection of M to define natural elliptic operators acting on basic sections of appropriate vector bundles. For instance, the exterior differential and codifferential acting on differential forms are replaced by the covariant differential and codifferential induced by ∇. Restricting these "adapted" operators to basic forms allows us to develop the linear theory of elliptic operators acting on weighted Banach spaces on AC orbifolds exactly as in the case of smooth AC manifolds. Once the right language has been developed, the only new analytic and geometric ingredient is Parker's Equivariant Sobolev Inequality [77].
As non-experts in the theory of Riemannian foliations, we are unable to evaluate the originality in our treatment and how much our clean exposition depends on the restriction to the simple case of foliations with totally geodesic 1-dimensional leafs. For example other authors use different "adapted" connections for different purposes instead of our uniform approach using ∇, see [84]. An original contribution of this paper is a calculation of all the topological contributions to the weighted L 2 -cohomology of AC manifolds and orbifolds. The L 2 -cohomology of smooth AC manifolds is well known, see [47,Theorem 1.A] and [68,Example 0.15]. For geometric applications, however, it is often important to work with differential forms that are not necessarily square-integrable. For instance, there are many examples of higher-dimensional AC manifolds with special holonomy that are asymptotic to their tangent cone at infinity with a non-L 2 rate of decay. In Theorem 2.31 we apply the Fredholm theory we develop in Section 2 to give a complete description of the topological contributions to the weighted L 2 -cohomology of AC manifolds. Our elementary proof immediately generalises to the case of AC orbifolds. Special cases of our result have been derived by other authors (see for example [61,Section 4.5]), but as far as we are aware a proof in arbitrary dimension is not currently available in the literature.
Self-dual Einstein 4-orbifolds and special holonomy. The analytic tools we develop in Section 2, including our results about weighted L 2 -cohomology of AC orbifolds, allow us to implement the adiabatic limit strategy and prove our main abstract existence result Theorem A. The final part of the paper is devoted to the study of concrete examples produced by this construction. All the examples we consider in the paper are obtained by applying Theorem A to Bryant-Salamon's AC G 2 -metrics arising from suitable self-dual Einstein 4-orbifolds with positive scalar curvature. It is well known that self-dual Einstein metrics with positive scalar curvature in dimension 4 generate many different geometries related to special holonomy, see [11, §13.4]. If Q is a selfdual Einstein 4-manifold (or orbifold) with positive scalar curvature then its twistor space Z, the unit sphere bundle in the (orbi)bundle of anti-self-dual 2-forms, carries two Einstein metrics with positive scalar curvature: a Kähler-Einstein metric [80] and a nearly Kähler metric [29]. The Konishi bundle S, the principal SU(2) or SO(3) bundle associated with Z, also has two Einstein metrics: a 3-Sasaki metric [63,83] and a (strict) nearly parallel G 2 -metric [33,38]. Except for the Kähler-Einstein metric, these higher dimensional compact Einstein spaces carry real Killing spinors and are therefore related to special holonomy via the cone construction [3]: the cone over the nearly Kähler metric on Z has holonomy G 2 , the cone over the 3-Sasaki metric on S is hyperkähler and the one over the nearly parallel G 2 -metric on S has holonomy Spin(7). Furthermore, vector-bundle constructions of Ricci-flat metrics on (orbi)bundles over Q can be used to produce non-compact spaces with special holonomy (partially) desingularising these cones. For example, a well known seminal construction by Calabi [18] yields an AC Calabi-Yau metric on the canonical line bundle over the Kähler-Einstein 3-fold Z; this metric is asymptotic to the cone over a finite quotient of S by a cyclic group that only preserves one Sasaki structure in the 3-Sasaki structure. Bryant-Salamon's construction [17] of a (unique up to scale) AC G 2 -metric on the (orbi)bundle of anti-self-dual 2-forms on Q plays a distinguished role in this paper.
There are also known constructions of Spin(7)-holonomy metrics from self-dual Einstein 4manifolds: in [17] Bryant-Salamon construct an AC Spin(7)-metric on the spinor bundle of a spin self-dual Einstein 4-manifold with positive scalar curvature; in [6] Bazaȋkin shows that the Bryant-Salamon AC metric is in fact the limit of a 1-parameter family of ALC Spin(7)-metrics on the same 8-manifold; Bazaȋkin [5] also constructs families of ALC Spin(7)-metrics arising as deformations of Calabi's AC Calabi-Yau metrics on K Z . By a result of Hitchin [51] the only smooth self-dual Einstein 4-manifolds with positive scalar curvature are S 4 and CP 2 . As a consequence, there are only three smooth Spin(7)-manifolds produced by these constructions. Bryant-Salamon's and Bazaȋkin's constructions immediately generalise to self-dual Einstein 4-orbifolds Q to produce many singular Spin(7)-metrics. The reasons these metrics are never complete is that the self-dual Einstein 4-orbifold Q or its twistor space Z (which is always singular if Q is) are always embedded in the resulting spaces. If one considers principal orbibundles instead of vector bundles, however, it is instead often possible to obtain smooth manifolds. For example, Boyer-Galicki and their collaborators constructed infinitely many smooth 3-Sasaki manifolds using self-dual Einstein 4-orbifolds [14]. Similarly, many smooth Sasaki-Einstein manifolds arise as circle orbibundles over Kähler-Einstein Fano orbifolds, see [11,Chapter 11]. Theorem A allows us to obtain smooth Spin(7)-manifolds from self-dual Einstein 4-orbifolds in an analogous way. Now, a self-dual Einstein 4-orbifold Q with positive scalar curvature yields complete Spin(7)metrics via Theorem A if and only if there exists a smooth 8-manifold M arising as a circle orbibundle over B = Λ − T * Q. Indeed, note that H 5 orb (B) = 0 since B retracts onto Q and therefore the necessary topological condition in Theorem A is vacuous. We prove in Lemma 4.2 that B is the circle quotient of a smooth 8-manifold if and only if Q itself is the circle quotient of a smooth 5-manifold; whenever this happens we say that Q is Spin(7)-admissible. Theorem A is useful only if we can find a large supply of Spin(7)-admissible self-dual Einstein 4-orbifolds with positive scalar curvature.
Infinitely many self-dual Einstein 4-orbifolds with positive scalar curvature are known thanks to the quaternionic Kähler quotient construction of Galicki-Lawson [36]. For example, infinitely many self-dual Einstein 4-orbifolds with positive scalar curvature arise as quaternionic Kähler reductions of quaternionic projective space HP n by a subgroup of Sp(n + 1). In [36] Galicki-Lawson illustrate their quotient construction by considering self-dual Einstein metrics on weighted complex projective planes WCP 2 [q 1 , q 2 , q 3 ] arising as quotients of HP 2 by a circle. All these orbifolds are clearly Spin(7)-admissible since weighted projective planes are all circle quotients of S 5 . Theorem C follows from applying our main existence result Theorem A to these Galicki-Lawson examples. It is likely that many more examples of self-dual Einstein 4-orbifolds are Spin(7)-admissible. For example, all toric self-dual Einstein 4-orbifolds, i.e. 4-orbifolds with a T 2 -symmetry, must arise as quaternionic Kähler quotients of HP n by an (n − 1)-dimensional torus [19]. The geometry of these toric orbifolds is then completely encoded in the combinatorics of the embedding of the Lie algebra of T n−1 into the Lie algebra of the maximal torus of Sp(n+1). It is likely that combinatorial conditions characterising Spin(7)-admissibility can be given in the same way that clear combinatorial criteria characterise the existence of a smooth 3-Sasaki Konishi bundle [14, Theorem 2.14]. Instead of pursuing such a systematic combinatorial approach, however, in this paper we construct by hand an explicit family of examples with unbounded second orbifold Betti number. In the proof of Theorem B we use an infinite list of self-dual Einstein 4-orbifolds with positive scalar curvature arising from ALE gravitational instantons of type A n via the hyperkähler/quaternionic Kähler correspondence. This correspondence associates to each hyperkähler metric with a circle action that preserves only one complex structure in the twistor sphere an S 1 -invariant quaternionic Kähler space of the same dimension. The examples of self-dual Einstein 4-orbifolds we consider (originally considered by Galicki-Nitta [37] without any reference to the hyperkähler/quaternionic Kähler correspondence) give rise to 8-manifolds that are rank-3 real vector bundles over ♯ k (S 2 ×S 3 ) for any k ≥ 1. Joyce's analytic constructions of compact Spin(7)-manifolds [56,57] can also be adapted to produce complete non-compact Spin(7)-metrics by desingularising orbifold quotient singularities of non-compact flat orbifolds [58, § §13.1 and 15.1] or asymptotically cylindrical Calabi-Yau 4folds [64]. However, the variety of examples produced by Theorem B is new.
ALC G 2 -manifolds from AC Calabi-Yau orbifolds. The geometric and analytic framework to work on AC orbifolds we introduce in this paper allows us to extend the construction of ALC G 2manifolds from AC Calabi-Yau 3-folds in [31] to the orbifold case. While [31] already yields infinitely many examples of complete non-compact G 2 -manifolds, as a simple application of our orbifold extension we produce infinitely many distinct families of ALC G 2 -metrics on S 3 × R 4 , see Theorem 4.12. As in Theorem C the families are distinguished by their tangent cones at infinity. In order to prove Theorem 4.12 we show that there are infinitely many ways of realising S 3 × R 4 as a circle orbibundle over a small orbifold partial resolution of a Gorenstein toric Kähler cone. For example, there is an infinite list of S 1 -actions on S 3 × R 4 labelled by two coprime positive integers p, q such that B = S 3 × R 4 /S 1 p,q is a small partial resolution of the Calabi-Yau cone over the so-called Y p,q Sasaki-Einstein 5-manifold [39]. AC Calabi-Yau metrics on B are constructed by Martelli-Sparks [73] using the formalism of Hamiltonian 2-forms. The construction of [31], suitably extended to the orbifold setting using the analysis of Section 2 in this paper, then immediately yields families of highly collapsed ALC G 2 -metrics on S 3 × R 4 .
Plan of the paper. The rest of the paper is organised in three main sections corresponding to the three different aspects of the proof of Theorem A and of its applications. Section 2 develops the necessary geometric and analytic framework to work on AC orbifolds and includes the proof of Theorem 2.31 about weighted L 2 -cohomology of AC orbifolds. Section 3 contains the proof of Theorem A implementing the adiabatic limit strategy we have outlined. Finally, Section 4 presents the concrete examples of Theorems B and C.
4-orbifolds and their twistor spaces and about collapse of ALC metrics with exceptional holonomy. The author also thanks Olivier Biquard and Paul Gauduchon for suggesting the connection with the HK/QK correspondence in Remark 4.10.

Asymptotically conical orbifolds
In this section we develop the necessary geometric and analytic framework to work on AC orbifolds. For the geometric applications of the paper it will suffice to consider orbifolds arising as quotients of smooth manifolds by a circle action. While we will restrict to this situation for ease of exposition, note that every (effective) orbifold arises as the quotient of a smooth manifold by an effective almost-free (i.e. with finite stabilisers) action of a compact Lie group [1, Corollary 1.24]. In Section 2.1 we collect preliminary materials on orbifolds and foliations and introduce the language we are going to use in the rest of the paper. In Section 2.2 we develop a good Fredholm theory for linear elliptic operators on AC orbifolds. We apply this theory in Section 2.3 to provide a computation of the weighted L 2 -cohomology of AC orbifolds.
2.1. Orbifolds and principal Seifert circle bundles. As a preliminary, we collect the facts about orbifolds and foliations that we are going to use throughout the section. We use the traditional notion of an orbifold, i.e. an effective orbifold in the sense of [1, Definitions 1.1 and 1.2], and avoid almost completely the language of groupoids. Indeed, the orbifolds we will consider all arise as quotients of an effective almost-free (i.e. with finite stabilisers) circle action on a smooth manifold. Our exposition uses this fact in an essential way.
Let ξ be a nowhere-vanishing vector field on a smooth manifold M of dimension n + 1. Assume that the orbits of ξ are all closed, i.e. (possibly after an appropriate normalisation) ξ generates an effective almost-free circle action on M . The orbit space B = M/S 1 has a natural orbifold structure and π : M → B is a principal circle orbibundle. We refer to [1, Chapters 1 and 2] and [11,Chapter 4] for basics on orbifolds and orbibundles. Since its total space is smooth, π : M → B is a Seifert fibration in the sense of [41,Definition 1.2]. An alternative viewpoint is that the vector field ξ defines a foliation on M . We are going to use various notions from the theory of foliations [75,79,84].
We fix a Riemannian metric g on M such that (a) ξ has unit length, and (b) the orbits of ξ are geodesics. By [84, Proposition 6.7] such a metric exists if and only if there exists a 1-form θ on M such that θ(ξ) = 1 and L ξ θ = 0. Denote by H the horizontal bundle ker θ = ξ ⊥ . Observe that H can be identified with the pull-back to M of the orbifold tangent bundle of B. The restriction of g to H will be denoted by g B since it defines a Riemannian metric on the orbifold B. We will refer to the data (M, π, θ, g B ) as a Riemannian principal Seifert (circle) bundle.
We will always assume that M is oriented with volume form dv g = θ ∧ dv B , where dv B = ξ dv g is a nowhere-vanishing section of Λ n H * satisfying L ξ dv B = 0. We will denote by * M the Hodge-star operator of (M, g, dv g ).

Projectable bundles and connections.
Let π : M → B be a Riemannian principal Seifert circle bundle and let P → M be a principal G-bundle, where G is a compact Lie group. We say that P is projectable if the circle action on M lifts to a circle action on P commuting with the G-action. Projectable principal bundles on M are in one-to-one correspondence with principal orbibundles on the orbifold B. In the theory of foliations there is a weaker notion of a foliated bundle [75, §2.6], where one only assumes that the vector field ξ lifts to a vector fieldξ on P . The restriction of a foliated bundle P to an orbit O ≃ S 1 of ξ is a trivial principal G-bundle endowed with a flat connection. If P is projectable then this flat connection has trivial holonomy.
Let V be a G-representation and consider the associated vector bundle E = P × G V → M . If P is foliated with liftξ of ξ, we say that a section s : M → E of E is basic if Lξs = 0, wherẽ s : P → V is the G-equivariant function corresponding to s. If P is projectable we can interpret basic sections as sections of the orbibundle E/S 1 → B. For this reason we will denote the space of basic smooth sections of E by C ∞ (B; E). When the circle action on M is free and B is a manifold then C ∞ (B; E) coincides with the space of smooth sections of the bundle E/S 1 → B. Spaces of basic sections with lower regularity (for example L 2 sections) are defined in a similar way.
A connection A on P , thought of as a Lie algebra-valued 1-form on P , is projectable ifξ A = 0 = ξ F A . Doing analysis on M with projectable connections acting on basic sections is a replacement for doing analysis on the orbifold B without worrying about its singularities.
The oriented orthonormal frame bundle of M is projectable but the Levi-Civita connection ∇ LC of g is not. Following [79,Definition 3.13] (see also [8,Definition 1.7] in the case where B is smooth and M → B is an arbitrary fibration) we will introduce an adapted connection ∇ which is better suited to the Seifert fibration structure than the Levi-Civita connection. Let ξ be the vertical vector field generating the circle action on M and let θ be its dual 1-form. Let X, Y denote vectors in H. The Levi-Civita connection ∇ LC of g is We will refer to ∇ as the adapted connection of the Seifert bundle π : M → B. The adapted connection is a projectable metric connection, but it has non-vanishing torsion A basic tensor is an S 1 -invariant section of r H ⊗ s H * . Since L ξ coincide with ∇ ξ , the adapted connection preserves basic tensors. Hence if P is a differential operator defined using the adapted connection and acting on sections of (a sub-bundle of) r T M ⊗ s T * M ⊗ E, then the restriction of P to basic E-valued tensors is well-defined. We will refer to the restriction of P to basic tensors as a transverse (or basic) operator. A basic operator is elliptic if its extension as an operator acting on arbitrary E-valued tensors is elliptic.
We are particularly interested in "basic versions" of d + d * , the rough Laplacian and the Dirac operator D acting on differential forms and spinors on M with values in E. Fix an orthonormal frame e 1 , . . . , e n+1 for (M, g). We will assume that {e 1 , . . . , e n+1 } is an adapted frame, i.e. e 1 , . . . , e n are basic vector fields and e n+1 = ξ. We then define acting on E-valued differential forms and arbitrary E-valued tensors, respectively. As the notation suggests, d * ∇ is the formal L 2 -adjoint of d ∇ , where the L 2 -inner product on forms is defined using the metric g and the volume form θ ∧ dv B . We want to understand the restriction of d ∇ and d * ∇ to basic forms. According to our definition of basic tensors, a differential form γ on M is basic if and only if ξ γ = 0 = L ξ γ. Let Ω • (B) denote the space of smooth basic forms. We now define a transverse Hodge-star operator * by for every basic form γ. Note that we also have The following lemma follows from straightforward manipulations of (2.2) using the relations between * M and * and between ∇ LC and the adapted connection ∇.
The formulas for d ∇ and its restriction to basic forms are immediate. The formula for d * ∇ is deduced from the formula for d ∇ using the fact that d * ∇ is the formal L 2 -adjoint of d ∇ . The description of the restriction of d * ∇ to basic forms uses the fact that if γ is a basic k-form.
By abuse of notation, in the rest of the paper we use the notation . In particular, we will say that a basic form is coclosed if d * ∇ γ = 0. Similarly, we will denote by △ the restriction of d ∇ d * ∇ + d * ∇ d ∇ to basic forms and say that a basic form γ is harmonic if △γ = 0. Remark. When M is closed every basic harmonic form is closed and coclosed (in the sense we have just defined), but this is not necessarily the case if M is not compact. We will therefore always keep a distinction between harmonic and closed and coclosed (basic) forms.
In order to define the adapted Dirac operator / D we need to assume that M is spin. The spin structure might not be projectable but the associated Spin c -structure always is (since the frame bundle is projectable). Since every complex representation of Spin(n) is also a representation of Spin c (n), we can always define a twisted Dirac operator acting on spinors with values in a Hermitian vector bundle by where γ denotes Clifford multiplication. The restriction of / D to basic (complex) spinors plays the role of the Dirac operator of the orbifold B.
The fact that we defined basic elliptic operators as the restriction to basic tensors of elliptic operators on M allows us to extend basic properties of elliptic operators on compact manifolds (elliptic regularity estimates, properties of the spectrum, etc.) to transversally elliptic operators.

Proposition 2.6. Let M be a closed Riemannian principal Seifert circle bundle with orbit space B.
Let P : C ∞ (B; E) → C ∞ (B; F ) be a self-adjoint basic elliptic operator. Then P has discrete spectrum λ 1 ≤ λ 2 ≤ . . . and there exists an orthonormal basis of L 2 (B; E) consisting of eigensections of P . Moreover, every eigensection of P is smooth.
The second advantage of introducing operators based on the adapted connection is that local computations with basic tensors coincide with local computations in the standard Riemannian case as if B were smooth. In particular, one can define transverse (or basic) curvature tensors and prove Weitzenböck formulas relating squares of Dirac-type operators (such as / D and d ∇ + d * ∇ ) and the rough Laplacian ∇ * ∇. Vanishing results and eigenvalue estimates based on positivity properties of curvature terms in these Weitzenböck formulas are then deduced in the usual way; see [84,Chapter 8] for details about this technique. The following proposition is an example of the results obtained using this method. (i) The first non-zero eigenvalue of the Laplacian △ acting on basic functions is greater than or equal to n. (ii) The first eigenvalue of the Laplacian △ acting on coclosed basic 1-forms is greater than or equal to 2(n − 1) and the eigenspace with eigenvalue 2(n − 1) consists of basic 1-forms dual to basic Killing vector fields which are also eigenvectors for the transverse Ricci-curvature with eigenvalue 2(n − 1).
Proof. When B is smooth, part (i) is the classical Lichnerowicz-Obata Theorem and part (ii) is less well known but also classical, see [21,Theorem 7.6] or [49,Lemma B.2]. In light of the remarks before the proposition the same proof extends to the case where B is singular. Remark 2.9. There is a natural Gysin sequence relating the cohomology of M with its basic cohomology [84, Theorem 6.13]. Indeed, there is an exact sequence of complexes is the space of S 1 -invariant forms on M and the second map is contraction with ξ. The long exact sequence in cohomology replaces the Gysin sequence of a circle fibration since the cohomology of (Ω • S 1 (M ), d) is isomorphic to the standard de Rham cohomology of M by averaging along the (compact) orbits of ξ.
The following proposition discusses the topological interpretation of basic cohomology. We continue this topological parenthesis with two further observations. First of all, the isomorphism classes of principal circle orbibundles (not necessarily Seifert bundles) π : M → B are classified by the orbifold first Chern class c orb 1 (M ) ∈ H 2 orb (B; Z), see [11,Theorem 4.3.15]. Secondly, we can define orbifold homotopy groups π orb i (B) of an orbifold B as the homotopy groups of the classifying space of the associated groupoid. A result of Thurston yields an interpretation of the orbifold fundamental group π orb 1 (B) as the group of deck transformations of an orbifold universal cover, see [11,Theorem 4.3.19]. Note also that there is an exact sequence of homotopy groups associated with a Seifert circle bundle π : M → B [11, Theorem 4.3.18] the orbifold first Chern class modulo torsion).
Remark 2.12. There is an orbifold version of Bonnet-Myers' Theorem: if the transverse Riccicurvature of a complete Riemannian Seifert bundle π : M → B is strictly positive then π orb 1 (B) is finite. Indeed, by [9, Corollary 21] the diameters of B and its orbifold universal cover must then be bounded.
Returning to basic cohomology, we conclude with a discussion of the basic version of Hodge theory. Exploiting the fact that d ∇ + d * ∇ is an elliptic operator, the same reasoning that lead us to Proposition 2.6 allows us to deduce a basic Hodge theorem, see [84,Theorem 7.22].
Then the map that assigns to each closed and coclosed basic form its basic cohomology class is an isomorphism H k (B) ≃ H k (B).

Seifert bundles that are transversally AC.
Let N be a connected, oriented, closed nmanifold and π ∞ : N → Σ be a Riemannian principal Seifert circle bundle over a closed (n − 1)orbifold Σ. Denote by ξ ∞ , θ ∞ and g Σ the choice of a nonsingular vector field, dual 1-form and horizontal metric on N . In particular, N is endowed with the Riemannian metric g N = g Σ + θ 2 ∞ . The Riemannian cone C(N ) over a Riemannian manifold (N, g N ) is R + × N endowed with the (incomplete) Riemannian metric g C = dr 2 + r 2 g N . Instead of this conical metric, exploiting the Seifert bundle structure of N we will consider BC(N ) = BC(N, π, θ ∞ , g Σ ) = R + × N endowed with the bundle-like transversally conical metric (2.14) be a complete connected oriented Riemannian manifold with only one end. We assume that π : M → B is a Riemannian principal Seifert circle bundle with generating vector field ξ, connection 1-form θ and horizontal metric g B . Here B denotes the orbit space M/S 1 . Definition 2.15. We say that (M, π, θ, g B ) is transversally asymptotically conical (AC) asymptotic to BC(N ) with rate ν < 0 if there exists a compact set K ⊂ M , a positive number R > 0 and a diffeomorphism f : Remark. Since |dθ ∞ | g BC = O(r −2 ), here we can compute covariant derivatives using either the adapted or the Levi-Civita connection of BC(N ) obtaining equivalent definitions.
By averaging along the circle orbits, the diffeomorphism f : BC(N ) ∩ {r > R} → M \ K can be assumed to intertwine the circle actions, i.e. f * ξ ∞ = ξ. Indeed, since g and g BC are circle invariant this averaging procedure does not destroy the asymptotic decay of f * g to g BC . Note that the decay condition (2.16) then is equivalent to Here the decay of f * θ to θ ∞ allows to compare the horizontal metrics since the horizontal spaces are isomorphic for r sufficiently large.
Here h ∞ is an S 1 -invariant metric on the bundle E ∞ and ∇ ∞ preserves it. By abuse of notation we will use the same symbols to denote the pull-back of (E ∞ , h ∞ , ∇ ∞ ) to BC(N ). Definition 2.17. Let (M, π, θ, g B ) be a transversally AC principal Seifert circle bundle asymptotic to BC(N ) with rate ν < 0. Let (E, h, ∇) be a projectable metric bundle and connection over M . We . We will mostly be interested in (sub)bundles of r H ⊗ s H * , where H is the horizontal bundle of M . By (2.16), any such bundle together with the metric induced by g and the connection induced by the adapted connection (2.1) of g is admissible.
Remark. In Definition 2.17 we used the same rate of decay ν of the transversally AC Seifert bundle for ease of exposition and because we will mostly be working with tensor bundles and connections induced by the adapted connection. This restriction is of course unnecessary.
Fix once and for all an extension of the radial function f * r from M \ K to the interior of M . By abuse of notation we will denote this extension by r and assume that r ≥ 1 and |∇ k r| is uniformly bounded for all k ≥ 1.

Definition 2.18.
Let (E, h, ∇) be an admissible bundle. For all p ≥ 1, k ∈ N 0 , α ∈ (0, 1) and ν ∈ R we define the weighted Sobolev space L p k,ν (B) and the weighted Hölder space C k,α ν (B) of basic sections of E as the closure of C ∞ c (B; E) with respect to the norms By dropping the Hölder seminorm  obtained by applying standard estimates for basics sections on these rescaled regions, rescaling back and summing/taking supremums over k ∈ Z ≥0 . Combined with interior estimates for basic sections on a compact set in M , this method yields estimates for basic sections on the whole manifold.
The following embedding theorem can be proved using this strategy. The necessary local interior estimate is Parker's Equivariant Sobolev Embedding Theorem [77, §1], which states that for basic sections the Sobolev inequalities work as if we were in dimension n rather than n + 1.
Theorem 2.19. Let M be an (n + 1)-dimensional transversally AC manifold. All Banach spaces below are spaces of basic sections of an admissible vector bundle E.
There are further results about embeddings and products that follow more easily from Definition 2.18. For example the first statement below only uses Hölder's inequality. ( is continuous. In the next section we will use (iv) to control the nonlinearities in the equations describing circle invariant Spin(7)-metrics.

Admissible operators.
Consider a transversally elliptic operator P ∞ of order k on BC(N ). The fact that the conical metric dr 2 + r 2 g Σ is conformal to the cylindrical metric dt 2 + g Σ , where r = e t , motivates us to consider the rescaled operator r k P ∞ . Using the conformal equivalence between cones and cylinders, it makes sense to require that r k P ∞ acting on basic sections is invariant under translations in t.
be a transversally elliptic operator on BC(N ) such that r k P ∞ acting on basic sections is a translation invariant operator. We say that P is an admissible operator asymptotic to P ∞ if is an elliptic operator of order k between admissible vector bundles defined as the composition of ∇ k : and the Dirac operator (2.5) acting on basic spinors and differential forms on a transversally AC principal Seifert bundle are all admissible operators.
With this definition the theory of admissible transversally elliptic operators on transversally AC principal Seifert bundles acting on basic sections is identical to the standard theory of elliptic operators on AC manifolds. We will now briefly state the main analytic results we are going to use in the paper. We omit proofs as they are identical to the standard case of AC manifolds, for which we refer to [68,69,74], [71, §4.3] and the brief summary in [31,Appendix B].
First of all, the following integration-by-parts formula will be repeatedly used throughout the paper.
be an admissible operator of order 1 and let P * its formal adjoint. Then for every The following elliptic regularity estimates can be proved using the scaling and covering technique discussed earlier.

Fredholm theory for transversally elliptic operators.
In order to proceed further it is necessary to study in more details the mapping properties of the model operator P ∞ . This can be done explicitly by separation of variables.

Definition 2.24.
Let P ∞ be a transversally elliptic operator on BC(N ) acting on basic sections of a projectable bundle E ∞ → BC(N ) and assume that r k P ∞ is a translation invariant operator.
(i) We say that a basic section u of E ∞ is homogeneous of order λ if L r∂r u = λu. In the particular case of differential forms, however, we adopt the convention that a basic k-form γ on BC(N ) is homogeneous of order λ if L r∂r γ = (λ + k)γ. (ii) We say that λ is an indicial root of P ∞ if there exists a homogeneous basic section u of rate λ such that P ∞ u = 0. We denote the set of indicial roots of P ∞ by D(P ∞ ).
Because of the translation invariance, the indicial roots of P ∞ are completely determined by the spectrum of a transversally elliptic operator P ∞ | N on the compact Seifert bundle N . In particular, Proposition 2.6 implies that D(P ∞ ) is discrete.
In the rest of the paper we are going to make extensive use of the following results. First of all, separation of variables on BC(N ) and decomposition of basic sections on N into eigenspaces of P ∞ | N using Proposition 2.6 allow one to prove the following result about the asymptotic behaviour of solutions to P u = v.
There exists a compact set The analysis of the asymptotic operator P ∞ by separation of variables is then used to derive the main results about the Fredholm property and index of admissible operators acting on weighted Hölder spaces.
for all smooth basic section u. In particular, P : Finally, we describe the obstructions to solve the equation P u = v. . For our applications later in the paper it will be important to understand the space of basic closed and coclosed forms that do not necessarily have an L 2 -rate of decay; more precisely, we will need to determine all topological contributions to the space of basic closed and coclosed forms. This is not widely known even in the case of AC manifolds and we provide an elementary proof using the tools we have introduced.
Let π : M → B a transversally AC Riemannian principal Seifert circle bundle asymptotic to BC(N ). Recall that the basic de Rham cohomology (with compact support) of M and N is defined as the cohomology of the de Rham complex of smooth basic differential forms (with compact support). As in (2.16) we identify the complement of a compact set in M with an exterior region in BC(N ) using a diffeomorphism f such that f * ξ = ξ ∞ . In particular, basic differential forms on M pull back to basic differential forms on BC(N ).
We introduce the main piece of topological data we will use. Regard M as a manifold with boundary N , and similarly B as a topological space with boundary Σ. Despite we do not require that the singularities of B are contained in a compact set, the circle action on M still has some finiteness properties: outside of a compact set the circle action on M is determined by the circle action on the compact manifold N . In particular, the finiteness assumption in Proposition 2.10 is certainly satisfied and we can therefore deduce a long exact sequence in basic cohomology from the long exact sequence in singular cohomology (with real coefficients) for the pair (B, Σ): where χ is a basic cut-off function with χ ≡ 1 outside a compact set. In order to define the map H k (B) → H k (Σ) we use the following representation for basic cohomology classes on M .
Here d Σ denoted the restriction of d ∇ on N to basic forms, where ∇ is the adapted connection of π ∞ : N → Σ. We now use basic Hodge theory Proposition 2.13 on N to write β = β 0 + d Σ γ, where β 0 is basic harmonic on N and γ is a coclosed basic (k − 1)-form on N depending smoothly on r ≥ R. Note that β 0 is independent of r because of the first equation in (2.30). This same equation Fix a basic cut-off function χ which vanishes for r ≤ R and is equal to 1 on r ≥ R + 1 and define Then The rest of the section contains a proof of this theorem, which involves various steps. We begin with the following calculation of excluded indicial roots. Proof. If γ is a basic harmonic p-form of class C ∞ λ for some λ < − n 2 + 1, then the integration by parts formula Lemma 2.22 implies If p < n 2 − 1 then by Lemma 2.32 (i) and elliptic regularity every basic harmonic p-form in C ∞ λ with λ < −p is in fact in C ∞ −n+p+2+ǫ for every ǫ > 0. Choose ǫ sufficiently small so that 2p ≤ n − 2 − 2ǫ. Then 2(−n + p + 2 + ǫ) − 1 ≤ −n + 1 and we can apply the first part of the proof.
We can now prove the first and third part of Theorem 2.31.
Proof of Theorem 2.31 (i) and (iii). Fix k < n 2 and δ > 0 as in the statement of the theorem and set ν = −k−δ. Since ν is not an indicial root, every σ ∈ H k ν (B) is in fact of class C ∞ ν (B) by weighted elliptic regularity. As in the proof of Lemma 2.29, outside a compact set we write σ = dr ∧ α + β, where (α, β) is a smooth curve in Ω k−1 (Σ) ⊕ Ω k (Σ) parametrised by r ∈ [R, ∞) for some R > 0 and satisfying r|α| + |β| = O(r ν+k ). In particular, observe that γ = −´∞ r α ds is well defined and satisfies dγ = σ. Then, for χ a basic cut-off functions with χ ≡ 1 for r ≥ R + 1, σ − d(χγ) is closed and compactly supported. We then define Φ k for every ǫ > 0 and therefore the form γ defined earlier by radial integration lies in C ∞ −n+k+1+ǫ . Hence if Φ k − (σ) = 0, i.e. σ − d(χγ) is the differential of a basic compactly supported form, then σ = dγ ′ with γ ′ ∈ C ∞ −n+k+1+ǫ (B). Since 2k < n, as in Lemma 2.33 integration by parts is justified and we obtain If σ is a closed basic smooth compactly supported form fix α ∈ (0, 1) and consider the equation △γ = d * σ for γ ∈ C 3,α ν+1 (B). By Proposition 2.27 the obstructions to solve this equation lie in the space of basic harmonic (k − 1)-forms in C ∞ −n−ν+1 (B). By Lemma 2.33 every such form is closed and therefore all obstructions to solve △γ = d * σ vanish. Moreover, d * γ is a basic harmonic (k − 2)-form in C 2,α ν (B) and therefore a second application of Lemma 2.33 implies that dd * γ = 0. We conclude that σ − dγ ∈ H k ν (B) and as desired. We will now study H k ν (B) where ν = −k + δ and k < n 2 . By Proposition 2.25 and Lemma 2.32 (iv) every σ ∈ H k ν (B) can be written in the form σ = τ + σ ′ outside a compact set, where τ ∈ H k (Σ) and σ ′ ∈ C ∞ −k−ǫ (B) for every ǫ > 0 sufficiently small. It is also clear that τ represents the image of . By basic Hodge theory Proposition 2.13 on N the kernel of Φ k . By assumption and Lemma 2.29 there exists a basic closed k-form σ on M with σ = τ outside a compact set. Moreover, since M is asymptotic to BC(N ) and τ is basic closed and coclosed on BC(N ), we have d * σ ∈ C 0,α −k−1−ǫ for all sufficiently small ǫ > 0. We now study the equation △γ = d * σ for a basic (k − 1)-form γ ∈ C 3,α −k+1−ǫ (B). As before, if a solution γ exists then dd * γ = 0 and the obstructions to solve the equation lie in the space of basic harmonic (k − 1)-forms in C ∞ −n+k+1+ǫ (B), which are all closed by Lemma 2.33. Moreover, taking ǫ > 0 smaller if necessary, we can assume that 2k < −n − ǫ; then −n + k + 1 + ǫ < −k + 1 and therefore every harmonic (k − 1)-forms γ ∈ C ∞ −n+k+1+ǫ (B) actually lies in C ∞ −n+k−1+ǫ ′ (B) for every ǫ ′ > 0. Then we can integrate by parts d * σ, γ L 2 = σ, dγ L 2 = 0 and conclude that all obstructions to solve △γ = d * σ vanish. It follows that σ − dγ ∈ H k ν (B) and The case k > n 2 can be understood by duality. Namely, there is a natural pairing This pairing is non-degenerate since by Lemma 2.32 (iii) for every , which is simply the map that assigns to a basic closed and coclosed form its basic cohomology class. Moreover, using this isomorphism, Proposition 2.25 and Lemma 2.32 (iv), it is also clear that by exactness of (2.28).
The case n = 2k is more challenging, but parts of Theorem 2.31 can be proved with very similar arguments to the ones we used. Lemma 2.34. Let 2k = n and fix δ > 0 sufficiently small. There is a natural isomorphism

assigns to each closed and coclosed form its cohomology class is injective.
Proof. Set k = n 2 . By Proposition 2.25 and Lemma 2.32 (iv) outside a compact set every σ ∈ H k −k+δ (B) can be written as , one can show that for every σ ∈ C ∞ −k+δ (B) it is always possible to solve △γ = d * σ for γ ∈ C ∞ −k+1+δ (B) with dd * γ = 0. This is done exactly as in the proof of the surjectivity of Φ k − in the proof of Theorem 2.31 (i), see Proposition 2.35 below.
In order to prove the second part of the lemma, define Φ k by exactness of (2.28). The proof of the injectivity of Φ k − is analogous to the one in the proof of Theorem 2.31 (i).

It remains to prove that
This requires a refined analysis of the equation △γ = d * σ for γ a basic (k − 1)-form of class C ∞ −k+1−δ . Proposition 2.35. Let n = 2k and δ > 0 sufficiently small. Let σ be a basic smooth k-form The obstructions to solve △γ = d * σ with γ ∈ C ∞ −k+1∓δ (B) lie in the space of basic harmonic (k−1)-forms of class C ∞ −k+1±δ (B) which are not closed. In particular, we can always solve △γ = d * σ with γ ∈ C ∞ −k+1+δ (B) since every basic harmonic (k − 1)-form of class C ∞ −k+1−δ (B) is closed by Lemma 2.33. Note also that by Lemma 2.33 any solution satisfies dd * γ = 0 since d * γ is a basic harmonic (k − 2)-form of class C ∞ −k+δ (B) and we can always assume that δ is small enough so that −k + δ = − n 2 + δ < − n 2 + 1. We need to show that we can take γ with dγ ∈ C ∞ −k−δ . The proof of this fact follows the lines of the proof of [31,Proposition 5.16]. We sketch the key ideas.

Proof of Theorem 2.31 (ii). In view of Lemma 2.34 it remains only to prove that
Consider then a closed compactly supported basic k-form σ. By Proposition 2.35 we can solve △γ = d * σ with dγ ∈ C ∞ −k−δ (B) and dd * γ = 0. Then

Highly collapsed Spin(7)-metrics on principal Seifert circle bundles
In this section we prove our main existence result Theorem A: the existence of highly collapsed Spin(7)-metrics on the total space of a principal Seifert circle bundle over an AC G 2 -orbifold. In Section 3.1 we establish properties of AC G 2 -orbifolds we use in Section 3.2 to prove Theorem A.
3.1. Asymptotically conical G 2 -orbifolds. In this section we study 8-dimensional transversally AC principal Seifert circle bundles π : M → B carrying a transverse G 2 -structure which is parallel with respect to the adapted connection. We introduce the necessary notation and prove results about harmonic and closed and coclosed basic forms on such manifolds.
3.1.1. Basic torsion-free G 2 -structures. Let π : M 8 → B be a principal Seifert circle bundle endowed with a connection 1-form θ. A basic G 2 -structure is a reduction of the structure group of the horizontal subbundle H = ker θ to G 2 . Equivalently, a basic G 2 -structure is the choice of a basic 3-form ϕ ∈ Ω 3 (B) that is point-wise equivalent, under an appropriate identification of the fibres of H with R 7 , to the standard flat G 2 -structure (u, v, w) → uv, w on R 7 = Im O. Every basic G 2 -structure determines a horizontal Riemannian metric g B = g ϕ on M and (M, θ, g B ) is then a Riemannian principal Seifert circle bundle. We will denote by ψ the basic 4-form ψ = * ϕ. The triple (M, π, θ, ϕ) will be called a G 2 principal Seifert circle bundle.
We will now collect important identities for basic forms on G 2 principal Seifert circle bundles. We refer the reader to [16] for their proof.
For a proof, see [16,Proposition 1]. If dϕ = 0 = dψ, i.e. τ i = 0 for all i, we say that ϕ is torsion-free. Linear algebra and representation theory of G 2 then imply that ϕ is parallel for the adapted connection. Since G 2 is the stabiliser in GL(7, R) of the flat G 2 -structure on R 7 one then concludes that the existence of a torsion-free transverse G 2 -structure implies that the holonomy of the adapted connection reduces from SO(7) to G 2 . We also note that a crucial consequence of the torsion-free condition is the vanishing of the transverse Ricci-curvature, see [16, §4.5.3]. From now on we will concentrate on torsion-free basic G 2 -structures. In this case we will refer to (M, π, θ, ϕ) as a G 2 -holonomy principal Seifert circle bundle.
We collect some useful identities for basic functions and 1-forms on a G 2 -holonomy principal Seifert circle bundle. In the following lemma the curl operator acting on basic 1-forms is defined by (3.6) curl γ = * (dγ ∧ ψ).

Lemma 3.7.
For f ∈ Ω 0 (B) and γ ∈ Ω 1 (B) with X = γ ♯ , the following identities hold: The basic Dirac operator / D can be identified with either of the following two operators: Proof. The lemma can be deduced from [16,Proposition 3] and the identification of the Dirac operator of a G 2 -manifold B via the isomorphism between the spinor bundle with R ⊕ T B, see for example [76, Equation (6.2)].

Nearly Kähler orbifolds and transversally AC G 2 -holonomy Seifert bundles.
Let N be a closed oriented 7-manifold. Assume that π ∞ : N → Σ is a principal Seifert circle bundle over a closed 6-orbifold Σ and fix a connection θ ∞ on π ∞ . We say that N admits a basic SU(3)-structure if there exist basic forms ω ∈ Ω 2 (Σ) and Re Ω, Im Ω ∈ Ω 3 (Σ) such that ω and Ω are, respectively, a non-degenerate 2-form and a complex volume form on the horizontal subspace H satisfying ω∧Ω = 0 and 2ω 3 = 3 Re Ω ∧ Im Ω. Every basic SU(3)-structure defines a horizontal metric g Σ and, together with θ ∞ , the structure of a Riemannian Seifert bundle on N . A basic SU(3)-structure (ω, Ω) is called nearly Kähler if If (ω, Ω) is a basic nearly Kähler structure on N then BC(N ) has a basic torsion-free G 2 -structure (3.9) ϕ C = r 2 dr ∧ ω + r 3 Re Ω.
In particular, since the metric on BC(N ) has vanishing transverse Ricci-curvature, every basic nearly Kähler structure induces a transversally Einstein metric g Σ with Einstein constant 5.
Since the horizontal metric induced by (3.9) is of the form g C = dr 2 + r 2 g Σ , it makes sense to talk of a transversally AC G 2 -holonomy principal Seifert circle bundle (M, π, θ, ϕ) asymptotic to (BC(N ), π ∞ , θ ∞ , ϕ C ). Since ϕ and ϕ C determine the horizontal metrics g B and g C = dr 2 + r 2 g Σ , we can replace (2.16) in Definition 2.15 with a similar polynomial decay for θ and ϕ (and their covariant derivatives) to θ ∞ and ϕ C .
In the discussion so far the choice of the connection 1-form θ ∞ on π ∞ : N → Σ (and, by radial extension, on BC(N )) remained free. In fact, up to gauge transformations there is a canonical choice. Indeed, if (ω, Ω) is a basic nearly Kähler structure on N then it follows from [30, Theorem 3.8] that every basic closed and coclosed 2-form κ on N satisfies i.e. κ is a basic primitive (1, 1)-form. Conversely, every basic closed primitive (1, 1)-form κ is necessarily coclosed since * κ = −κ ∧ ω. In particular, by adding a basic 1-form to θ ∞ so that dθ ∞ is closed and coclosed, we can always assume that dθ ∞ satisfies (3.10) and this requirement uniquely determines θ ∞ up to gauge transformations. In the rest of the section we say that (N, π ∞ , θ ∞ , ω, Ω) is a nearly Kähler principal Seifert circle bundle if (ω, Ω) is a basic nearly Kähler structure and θ ∞ is normalised so that dθ ∞ is a primitive (1, 1)-form.
In the rest of the paper we will also work under the following assumption.
Assumption. The principal Seifert circle bundle π ∞ : N → Σ is not flat.
Since we assume that dθ ∞ is the unique basic closed and coclosed representative of its cohomology class, the assumption is equivalent to the requirement that the image of c orb 1 (N ) in H 2 orb (Σ; R) does not vanish. Note that if (M, π, θ, ϕ) is asymptotic to BC(N ), then necessarily dθ = 0 also. Proof. The proof of part (i) is analogous to the one of [31,Proposition 5.9]. Observe that, since the horizontal metric g Σ is Einstein with uniform positive Einstein constant, the orbifold Σ has finite orbifold fundamental group by Remark 2.12. Since dθ ∞ = 0, the homotopy exact sequence (2.11) then presents π 1 (N ) as an extension of π orb 1 (Σ) by a finite group. We therefore conclude that N has finite fundamental group. Now, the map π 1 (M \ K) → π 1 (M ) is surjective, since otherwise, as in [46, Lemma 2.18], a finite cover of M would be a Riemannian submersion over a Ricci-flat orbifold with at least two asymptotically conical ends: this is impossible by the orbifold version of Cheeger-Gromoll's Splitting Theorem [10] or, considering a sequence of metrics on M that collapse to the orbifold B, Cheeger-Colding's Almost Splitting Theorem [20,Theorem 6.64].
For part (ii) it is enough to observe that there are no parallel basic 1-forms on BC(N ). In order to show that this is true, observe that there is a correspondence between basic parallel 1-forms on BC(N ) and basic functions f on N satisfying ∇df = f g Σ (this follows from an explicit calculation of the Levi-Civita connection of a Riemannian cone). In particular, any such f would satisfy △f = 6f and by Remark 2.8 Σ would then be isometric to a finite quotient of the round 6-sphere. In this case however π ∞ : N → Σ would be forced to be flat.
Remark. In view of part (i), the irreducibility assumption of part (ii) is equivalent to the requirement that the holonomy of the adapted connection is the whole group G 2 by [15, Lemma 1].
Although we have outlined some of its important consequences, at this stage the assumption dθ ∞ = 0 may seem unmotivated. In fact, it is a necessary condition for obtaining non-trivial examples from Theorem A, see Remark 3.34 below.
where, since M is transversally Ricci-flat, we used the fact that △ = ∇ * ∇ on basic 1-forms. We conclude that u is constant and therefore vanishes since it decays at infinity and γ = 0 since M is irreducible. On the other hand, by Lemma 3.12 there are no indicial roots for the Laplacian acting on functions and 1-forms in the interval (−5, 0). Remark 3.14. In particular, if σ ∈ C ∞ ν (B) is a basic harmonic 2-form and ρ ∈ C ∞ ν (B) is a basic harmonic 3-form on M for ν < 0 then σ ∈ Ω 2 14 (B) and ρ ∈ Ω 3 27 (B). Indeed, the basic Laplacian preserves the decomposition of Lemma 3.1 and its restriction to Ω • 1 (B) and Ω • 7 (B) coincides with the basic Laplacian on functions and 1-forms, respectively.
In view of this remark, we can always normalise the choice of θ on M so that dθ ∈ Ω 2 14 (B). Indeed, by the exact sequence (2.28) and Theorem 2.31 the basic cohomology class of dθ is represented by a unique basic closed and coclosed form decaying with rate −2. Therefore we can add a decaying basic 1-form to θ so that dθ is closed and coclosed, thus of type 14 by Remark 3.14, and θ is still asymptotic to θ ∞ . In the rest of the section we will include this assumption in the definition of a transversally AC G 2 -holonomy Seifert bundle (M, π, θ, ϕ). Proof. Using the vanishing of the transverse Ricci-curvature we conclude that every basic (f, γ) in the kernel of / D is actually harmonic. Then Lemma 3.13 implies that / D is injective if ν < 0 and, by duality, surjective if ν > −6. Fix α ∈ (0, 1), k ≥ 1 and a generic ν ∈ (−4, 0). Then there exists C > 0 with the following significance. Let κ be a basic 2-form of class C k−1,α ν−1 (B). If κ, κ L 2 = 0 for all κ ∈ H 2 −6−ν (B) then there exists a unique σ ∈ C k+1,α ν+1 Ω 2 (B) which is L 2 ν+1 -orthogonal to basic harmonic 2-forms of class C ∞ ν+1 (B) and satisfies △σ = κ and

Proposition 3.16.
. Moreover if d * κ = 0 then d * σ = 0 and κ = d * dσ and if dκ = 0 then dσ ∈ Ω 3 27 (B). Proof. Since 2 < 7 2 − 1 and ν > −4, Lemma 2.33 shows that every basic harmonic 2-form of class C ∞ −6−ν (B) is closed and coclosed. The first part of the Proposition follows immediately. Since ν < 0, the last two statements follow immediately from Lemma 3.13 and Remark 3.14 since d * σ and dσ are then a basic (weakly) harmonic 1-form and 3-form, respectively, of class C k ν (B). We can now combine the two previous propositions to deduce a normal form for basic exact 5-forms.

Adiabatic limit of circle invariant Spin(7)-metrics.
In [31] we developed a construction of complete G 2 -holonomy metrics on appropriate principal circle bundles over AC Calabi-Yau 3folds. In [2] Apostolov-Salamon described the dimensional reduction of the nonlinear PDEs for G 2 -holonomy in the presence of a Killing field. The resulting equations, called the Apostolov-Salamon equations in [31], form a complicated system of nonlinear PDEs. The strategy of [31] is to construct solutions of the Apostolov-Salamon equations by studying the adiabatic limit of the equations as the orbits of the Killing field shrink to zero size. In this section we describe a similar construction of complete Spin(7)-holonomy metrics on principal Seifert circle bundles over AC G 2 -orbifolds.
We consider a Spin(7)-manifold admitting an isometric circle action. We interpret the dimensional reduction of the equations for Spin(7)-holonomy in terms of the intrinsic torsion of the G 2 -structure induced on the 7-dimensional orbifold quotient and a coupled abelian G 2 -monopole. These equations can be thought of as a Spin (7) analogue of the Gibbons-Hawking construction of 4-dimensional hyperkähler metrics with a triholomorphic circle action. As for the Apostolov-Salalmon equations, however, the dimensional reduction of the Spin(7)-holonomy equations to 7 dimensions still consists of nonlinear equations and in general it is not clear how to solve them directly. We therefore consider the adiabatic limit of these equations when the circle orbits have uniformly small length. This formal picture is then turned into our existence result Theorem A using the analysis of the previous sections. With respect to [31] we are able to give a more streamlined argument by applying the Implicit Function Theorem directly instead of proving convergence of a formal power series solution. (7)-manifolds. Let π : M 8 → B be a principal Seifert circle bundle over a 7-orbifold B. Denote by ξ the vector field that generates the fibre-wise circle action, normalised to have period 2π. A Spin (7)

Gibbons-Hawking-type ansatz for Spin
where g B is the horizontal metric induced by the basic G 2 -structure ϕ.

19) is torsion-free if and only if
The aim of this section is to construct solutions to (3.22). The equations are nonlinear, so it is unclear how to find solutions in general. We make however two easy remarks.
The equation (3.25) is a known gauge-theoretic equation that arises as the dimensional reduction of the (abelian) Spin(7)-instanton equations to dimension 7; its solutions are called abelian G 2 (or octonionic) monopoles.

Formal analysis of the adiabatic limit equations.
Lacking a better understanding of (3.22), our strategy to produce solutions to (3.22) is to degenerate the equations by introducing a small parameter ǫ > 0 and study solutions in the limit ǫ → 0: we assume the existence of a solution to the formal limit of the equations when ǫ = 0 and prove that it can be perturbed to a solution of the system for small ǫ > 0. The particular degeneration we introduce is geometrically very natural: we consider a 1-parameter family {Φ ǫ } ǫ>0 of S 1 -invariant torsion-free Spin(7)-structures on M such that the circle orbits shrink to zero length as ǫ → 0. By rescaling along the circle orbits we write where g B is the horizontal metric induced by the basic G 2 -structure ϕ. The PDE system (3.22) for Φ ǫ then becomes For ǫ > 0 the system (3.26) is equivalent to (3.22). In the limit ǫ → 0, however, the equations simplify: Lemma 3.3 implies that solutions to (3.26) satisfy dh 0 = 0 and dϕ 0 = 0 = dψ 0 . Assume then the existence of a basic torsion-free G 2 -structure ϕ 0 on M and set h 0 = 1. We want to perturb this solution of the limiting equations (3.26) with ǫ = 0 to a solution of the system with ǫ > 0.
To this end, we reinterpret (3.26) as the vanishing of a nonlinear map Ψ defined by Here ϕ is a closed basic G 2 -structure, ψ is its dual 4-form, h is a basic function and κ is a basic closed 2-form (satisfying additional conditions that we will impose below). In particular, note that Ψ(ξ) is a closed 5-form.
Remark. It is also interesting to consider the case where ζ 0 is not bounded, which corresponds to families of Spin(7)-metrics collapsing in codimension 1 with unbounded curvature. A natural assumption is then to assume that (f 0 , θ 0 ) is an abelian G 2 -monopole with Dirac-type singularities along a coassociative submanifold. This more challenging case is beyond the scope of this paper.

Implementation of the adiabatic limit strategy.
In the rest of the section we exploit the analysis on AC G 2 -orbifolds we have developed earlier in the paper to implement this strategy. Let π : M 8 → B be a principal Seifert circle bundle with connection 1-form θ 0 . We assume that M carries a basic torsion-free G 2 -structure ϕ 0 inducing a transversally AC metric on M . There are three main points we need to address in order to apply the Implicit Function Theorem: (i) construct a bounded solution of the linearised problem L 0 (ζ 0 ) = 0; (ii) understand the mapping properties of L 0 ; (iii) prove that L 0 can be inverted on Ψ(ξ 0 + ǫζ 0 ) and on the image of N ǫ .
Mapping properties of the linearisation. We now consider the linear operator L 0 acting on the space of triples (ρ, f, κ) of a basic closed 3-form ρ, a basic function f and a basic closed 2-form κ. In fact we must further restrict κ to be exact, i.e. we vary dθ 0 in the fixed basic cohomology class c orb 1 (M ). We now fix ν = −2 + δ for an arbitrarily small δ > 0 and α ∈ (0, 1). Given a basic 5-form τ of class C 0,α ν−1 (B), we look for a basic closed 3-form ρ, basic 1-form η and basic function f of class The nonlinear equation. This discussion suggests we now write ζ = dσ, − 3 2 d * γ, d curl γ and consider (3.31) as an equation for a basic 2-form σ and a basic 1-form γ of class C 2,α ν+1 (B), where ν = −2 + δ with δ > 0 small.

The existence result.
We have now all the ingredients to apply the Implicit Function Theorem and guarantee the existence of solutions to (3.31) for ǫ > 0 sufficiently small. We now summarise the resulting existence result for solutions to (3.22).
Let (N, π ∞ , θ ∞ , ω, Ω) be a nearly Kähler principal Seifert circle bundle and (M, π, θ 0 , ϕ 0 ) be a transversally AC G 2 -holonomy principal Seifert circle bundle asymptotic to BC(N ). Given ǫ > 0 we modify the metric on BC(N ) by rescaling g BC in the direction of the circle orbits: for all k ≥ 0 and some µ < 0. Here covariant derivatives and norms are computed using the Riemannian metric g BC,ǫ . Theorem 3.35. Let π : M 8 → B be a principal Seifert circle bundle endowed with a transversally AC basic torsion-free G 2 -structure ϕ 0 and let θ 0 be the (unique up to diffeomorphisms) connection 1-form on π such that dθ 0 ∈ Ω 2 14 (B).
Proof. The existence of torsion-free S 1 -invariant Spin(7)-structures Φ ǫ on M for all ǫ > 0 follows from the previous discussion. We start with the solution (ϕ 0 , 1, 0) of the limiting equation (3.31) with ǫ = 0. We have explained how to construct a solution (dσ 0 , 0, dθ 0 ) to the linearised problem L 0 (dσ 0 , 0, dθ 0 ). We then consider (3.31) as an equation for a basic 2-form σ and a basic 1-form γ of class C 2,α ν+1 (B), where ν = −2 + δ with δ > 0 small. An application of the Implicit Function Theorem (in the quantitative version stated for example in [7, Lemma 1.3]) yields the existence of a torsion-free Spin(7)-structure Φ ǫ on M for every ǫ > 0 sufficiently small. The induced Spin(7)metric g Φǫ is ALC (with µ the maximum between the rate of decay of (π, θ, ϕ) to (π ∞ , θ ∞ , ϕ C ) and −1 + δ) and satisfies the limiting behaviour in (ii) only in a C 1,α -sense. Higher regularity follows from elliptic regularity since Φ ǫ is a closed and coclosed form with respect to a metric which differs from the model metric g BC,ǫ by C 1,α µ -terms. Finally, in order to prove that g Φǫ has holonomy Spin(7) we use [15,Lemma 2], which states that the holonomy of a metric induced by a torsion-free Spin(7)-structure on a simply connected 8-manifold M is equal to Spin (7) if and only if there are no parellel 1-forms and 2-forms on M . By Proposition 3.11 (i), up to a finite cover we can assume that M is simply connected. We first consider parallel forms of degree 1 and 2 on BC(N ), since these determine the asymptotic behaviour of parallel forms on M . In fact, since |dθ ∞ | g BC = O(r −2 ) we can consider forms on BC(N ) parallel with respect to the adapted connection. Since the holonomy of the adapted connection of BC(N ) is G 2 , there are no parallel 2-forms and the only parallel 1-form is θ ∞ . Since we assume that dθ ∞ = 0, however, θ ∞ cannot extend to a parallel 1-form on M . Hence every parallel form on M of degree 1 and 2 must decay and therefore vanish.

Examples
In this final section we use our existence result Theorem 3.35 to construct concrete examples of complete Spin(7)-metrics. Given the currently limited knowledge of AC G 2 -manifolds, using orbifolds is essential. We are able to use Theorem 3.35 to produce infinitely many different topological types of complete Spin(7)-metrics and examples of 8-manifolds carrying infinitely many distinct families of ALC Spin(7)-metrics (Theorems B and C in the Introduction). Previously only a handful of complete non-compact Spin(7)-metrics was known.
In Section 4.3 we use the analysis on AC orbifolds we have developed in this paper to extend the construction in [31] of ALC G 2 -manifolds from AC Calabi-Yau 3-folds to the case of AC Calabi-Yau orbifolds. As an illustrative example, we use this extension to produce infinitely many distinct families of ALC G 2 -metrics on S 3 × R 4 . 4.1. Self-dual Einstein 4-orbifolds and Bryant-Salamon's AC G 2 -metrics. The starting point for the construction of Theorem 3.35 is an AC G 2 -manifold or orbifold satisfying appropriate topological conditions. AC G 2 -manifolds are hard to construct. All currently known examples of AC G 2 -manifolds admit a symmetry group that acts with cohomogeneity one, i.e. with generic orbits of codimension 1. The large symmetry group affords a reduction of the PDE for the holonomy reduction to G 2 to a system of nonlinear ODEs. Studying solutions to these ODE systems is still non-trivial: in 1989 Bryant-Salamon [17] constructed three explicit AC G 2 -metrics, but only very recently [32,Theorem C] have further examples of AC G 2 -manifolds been found; these examples are not explicit and their existence is based on the qualitative analysis of the relevant ODE system.
From a different point of view, Bryant-Salamon's examples of AC G 2 -manifolds in [17] fall into the class of constructions, pioneered by Calabi [18] in the Calabi-Yau and hyperkähler case, of complete Ricci-flat metrics on total spaces of vector bundles over compact manifolds satisfying appropriate curvature conditions. In particular, Bryant-Salamon's construction yields an AC G 2metric (unique up to scale) on the total space of the bundle of anti-self-dual 2-forms over a self-dual Einstein 4-manifold Q with positive scalar curvature. By a theorem of Hitchin [51] the only such manifolds are S 4 and CP 2 with their standard metrics. On the other hand, there are infinitely many self-dual Einstein 4-orbifolds with positive scalar curvature and Bryant-Salamon's construction extends immediately (as observed in the introduction of [17]) to the case where Q is an orbifold and B is the total space for the orbibundle of anti-self-dual 2-forms on Q.
The most powerful known method of construction of self-dual Einstein 4-orbifolds is the quaternionic Kähler quotient construction of Galicki-Lawson [36]. We briefly recall this here. The construction is based on the tight relationship between quaternionic Kähler and hyperkähler geometry [83]. Let C be a hyperkähler cone acted upon by a group K of triholomorphic isometries. Using the conical structure one can always find a hyperkähler moment map µ : C → k * ⊗ Im H, see [11,Proposition 13.6.1]. Besides the triholomorphic action of K, there is an action of H * on C generated by the Euler vector field r∂ r . Letting H * act on k * ⊗ Im H via conjugation on Im H, the moment map µ is equivariant with respect to the action of K · H * , where K · H * = (K × H * )/Z 2 if −1 ∈ K and K · H * = K × H * otherwise. The hyperkähler quotient construction [50] yields the existence of a hyperkähler stucture on (the smooth part of) µ −1 (0)/K. Using the H * -equivariance property of the moment map one can show that µ −1 (0)/K is a new hyperkähler cone C ′ . Now, to each hyperkähler cone C there is a naturally associated positive quaternionic Kähler "space" Q, obtained as the quotient of C by the H * action generated by r∂ r . Here we say that Q is a positive quaternionic Kähler space if its smooth part carries a Riemannian metric with holonomy contained in Sp(1)·Sp(n) (in particular the dimension of Q must be a multiple of 4); any such metric is Einstein and the qualification 'positive' refers to the sign of the Einstein constant. In dimension 4 this definition must be modified: we say that Q 4 is quaternionic Kähler if it is self-dual and Einstein. Because of the H * -equivariance of the moment map µ : C → k * ⊗ Im H, the construction of the hyperkähler cone C ′ as a hyperkähler quotient of the cone C yields a quaternionic Kähler structure on Q ′ = C ′ /H * as a quaternionic Kähler quotient of Q = C/H * [36].
Many interesting self-dual Einstein 4-orbifolds with positive scalar curvature can be obtained in this way even from the simplest hyperkähler cone, C = H n+1 . (Here we regard H n+1 as the hyperkähler cone over the round sphere S 4n+3 ; the associated quaternionic Kähler manifold is HP n = S 4n+3 /Sp(1).) For example, all toric self-dual Einstein 4-orbifolds with positive scalar curvature, i.e. those self-dual Einstein 4-orbifolds with a T 2 -symmetry, arise in this way [19], see [11, § §12.4-12.5 and 13.7] for further details.

Remark.
There are also self-dual Einstein 4-orbifolds with positive scalar curvature that are not obtained via quaternionic Kähler reduction, for example the families of SO(3)-invariant self-dual Einstein orbifold metrics on S 4 and CP 2 constructed by Hitchin in [52]. We will not use these metrics in this paper. Now, in view of the assumptions of Theorem 3.35, amongst all self-dual Einstein 4-orbifolds with positive scalar curvature we are interested in those that satisfy the following additional property. The relevance of this assumption is explained by the following lemma.  (7)-admissible. In the rest of the section we will limit ourselves to discuss families of examples that give a sense of the rich variety of ALC Spin (7)-metrics that can be obtained using Theorem 3.35 and defer a more systematic study to elsewhere. We discuss three sets of examples. Our first theorem provides a proof of the existence of a 1-parameter family of ALC Spin(7)-metrics conjectured by Gukov-Sparks-Tong [45]; currently this is the only example that can be obtained from Theorem 3.35 starting from a smooth AC G 2 -manifold. Using AC G 2 -orbifolds, we then prove that the same smooth 8-manifold in fact carries infinitely many distinct families of ALC Spin(7)-metrics. Finally, we construct infinitely many smooth 8-manifolds carrying complete ALC Spin(7)-metrics.  Remark. The existence of this 1-parameter family of ALC Spin(7)-metrics was conjectured by Gukov-Sparks-Tong [45]. The family is expected to be part of a geometric transition in Spin(7)geometry which physically corresponds to a duality between Type IIA String Theory on Λ − T * CP 2 with D6 branes/Ramond-Ramond fluxes. The family of ALC metrics of Theorem 4.3 provides the M theory lift of Type IIA Theory on Λ − T * CP 2 with fluxes, while the lift of Type IIA Theory on Λ − T * CP 2 with a D6-brane wrapping the coassociative CP 2 corresponds to an explicit ALC Spin(7)-metric found by Gukov-Sparks [44] and its conjectural 1-parameter family of deformations up to scale. A complete geometric explanation of the physical duality would involve constructing AC Spin(7)-metrics arising as limits of the two 1-parameter families of ALC Spin(7)-metrics as well as an ALC Spin(7)-metric on R + × SU(3)/U(1) with an isolated conical singularity. This is completely analogous to the analysis of [32] in the G 2 setting. In fact, since the metrics in Theorem 4.3 admit a cohomogeneity one action of SU (3), it is likely that the methods of [32] can address these conjectures. (7)-metrics on the same smooth 8-manifold. The first examples of self-dual Einstein 4-orbifolds obtained by  via the quaternionic Kähler construction were weighted projective planes arising from quotients of HP 2 by a circle. In this section we use these examples to produce infinitely many distinct families of ALC Spin(7)metrics on the smooth 8-manifold of Theorem 4.3.

Infinitely many families of ALC Spin
In order to describe the main features of Galicki-Lawson's self-dual Einstein metrics we follow [12, § §7 and 8] (that generalises the construction to circle quotients of quaternionic projective spaces of arbitrary dimension), see also [11,Proposition 12.5.3]. Fix p 1 , p 2 , p 3 ∈ Z >0 with gcd (p 1 , p 2 , p 3 ) = 1 and consider the circle action e iθ ·[u 1 : u 2 : u 3 ] = [e ip 1 θ u 1 : e ip 2 θ u 2 : e ip 3 θ u 3 ] on HP 2 . The quaternionic Kähler quotient of HP 2 by the circle action is By [12, Proposition 7.5] the equation p 1 u 1 iu 1 + p 2 u 2 iu 2 + p 3 u 3 iu 3 = 0 cuts out in S 11 ⊂ H 3 a smooth 8-manifold diffeomorphic to the complex Stiefel manifold V 2 (C 3 ) ≃ SU(3). There is an action of S 1 · SU(2) on V 2 (C 3 ) arising from the circle action on HP 2 and the standard Sp(1)-action on the 3-Sasakian S 11 . The quotient Q = V 2 (C 3 )/S 1 · SU(2) then has a quaternionic Kähler metric. Note that in general only the maximal torus of SU(3) commutes with the S 1 -action on V 2 (C 3 ) and therefore, contrary to the example of Theorem 3.35, Q is only toric and not SU(3)-invariant. We also obtain two natural orbibundles over Q: the Konishi bundle V 2 (C 3 )/S 1 and the principal circle orbibundle S 5 = V 2 (C 3 )/SU (2). Studying the fibre-wise S 1 -action on S 5 one can show that Q is isomorphic to the weighted projective plane WCP 2 [q 1 , q 2 , q 3 ], with q i = p j + p k if p 1 + p 2 + p 3 is odd and 2q i = p j + p k otherwise. Here (ijk) runs through cyclic permutations of (123). It is now clear that Q is Spin(7)-admissible and that the 8-dimensional principal Seifert circle bundle over Theorem 4.4. The total space of the non-trivial rank-3 real vector bundle over S 5 carries infinitely many distinct families of ALC Spin(7)-metrics.
Proof. The existence of highly collapsed ALC Spin(7)-metrics follows from Theorem 3.35 applied to the Spin(7)-admissible self-dual Einstein 4-orbifolds Q obtained as quotients of HP 2 by circles labelled by (p 1 , p 2 , p 3 ). The fact that, up to obvious symmetries, different choices of (p 1 , p 2 , p 3 ) give rise to non-isometric families of Spin(7)-metrics follows from the fact that their tangent cones at infinity, the Bryant-Salamon AC orbifold G 2 -metrics on Λ − T * Q, are distinct.
It is likely that many more examples of toric self-dual Einstein 4-orbifolds are Spin(7)-admissible. For example, an infinite family of orbifolds Q with 2-dimensional H 2 orb (Q) (therefore not weighted projective planes) can be obtained by quaternionic Kähler quotient of Gr 2 (C 4 ) by a circle (these examples can also be described as particular reductions of HP 3 by a 2-torus, since Gr 2 (C 4 ) is itself a circle quotient of HP 3 ). The generic Q constructed in this way is Spin(7)-admissible: indeed, the zero-level set of the 3-Sasakian moment map in the Konishi bundle of Gr 2 (C 4 ), a circle orbibundle over the 4-orbifold, is smooth for a generic choice of embedding of S 1 into the symmetry group SU(4) of Gr 2 (C 4 ). In general, however, we do not know how to recognise which toric self-dual Einstein 4-orbifolds are Spin(7)-admissible. In [14] very clear combinatorial conditions for such an orbifold to admit a smooth 3-Sasaki Konishi bundle are given and it is likely that similar combinatorial conditions characterise Spin(7)-admissibility. Instead of pursuing such a systematic combinatorial approach, in the next section we construct by hand an explicit family of examples with unbounded second orbifold Betti number.
Remark. Let Q be a toric self-dual Einstein 4-orbifold, which must be obtained as a quotient of HP n by an (n − 1)-torus T n−1 by [19]. Denote by µ : H n+1 → R n−1 ⊗ Im H the associated hyperkähler moment map and recall that, thinking of µ as a section of the bundle S 4n+3 × SU(2) su 2 → HP n , Q = µ −1 (0)/T n−1 . The orbifold Q is Spin(7)-admissible if there exists a subtorus T n−2 ⊂ T n−1 such that S = µ −1 (0)/T n−2 is a smooth 5-manifold. If this were the case, then we could consider the principal G-bundle P = {u ∈ S 4n+3 | µ(u) = 0}/T n−2 → S, with G = SU(2) or SO(3) depending on whether −1 ∈ T n−2 or not, and M = P × SU(2) su 2 would carry ALC Spin(7)-metrics by Theorem 3.35. In general P is an orbifold. In [13], motivated by the fact that P carries a natural hypercomplex structure, Boyer-Galicki-Mann determine conditions on T n−2 ⊂ T n−1 under which P is a smooth 8-manifold, but they do not study which additional conditions guarantee that the action of G on P is free.

Examples with arbitrarily large second Betti number from A n ALE spaces.
In this section we prove the existence of infinitely many diffeomorphism-types of simply connected 8-manifolds carrying complete Spin (7) metrics. The examples we will consider arise from an extension of Kronheimer's construction of ALE spaces [65,66] to the quaternionic Kähler setting due to Galicki-Nitta [37].
Let Γ be a finite subgroup of SU(2) acting freely on C 2 \ {0}. Kronheimer [65] constructs ALE hyperkähler metrics on the minimal resolution of C 2 /Γ using the hyperkähler quotient construction. Let R 0 , . . . , R r be the irreducible representations of Γ, with R 0 the trivial representation. Set where Γ acts on H ≃ C 2 via its embedding in SU (2). The McKay correspondence implies that n = |Γ|. DefineK as the group of unitary transformations of R that commute with the action of Γ; by the Schur LemmaK = r i=0 U(n i ). Then K = K/△U(1) ≃ r i=1 U(n i ) acts effectively and triholomorphically on H n . Let µ : H n → k * ⊗ Im H denote the hyperkähler moment map for the action of K on H n and let z denote the Lie algebra of the centre of K. By the hyperkähler quotient construction, for each ζ ∈ z * ⊗ Im H the smooth part of the quotient X ζ = µ −1 (ζ)/K carries a natural hyperkähler structure. Kronheimer shows that for generic ζ ∈ z * ⊗ Im H, X ζ is a smooth manifold diffeomorphic to the minimal resolution of C 2 /Γ and that its natural hyperkähler structure is asymptotic at infinity to the flat hyperkähler structure on C 2 /Γ (with rate −4). Conversely, in [66] Kronheimer shows that any asymptotically locally Euclidean (ALE) hyperkähler 4-manifold is obtained from this quotient construction.
For the extension of this construction to the quaternionic Kähler setting in [37], Galicki-Nitta think of ζ ∈ k * ⊗Im H as a map k → Im H ≃ su 2 and assume that there exists a group homomorphism ρ : K → SU(2) with ρ * = −ζ. We use ρ to define an action of K on HP n by The quaternionic Kähler quotient of HP n by K is Q =μ −1 (0)/K, wherê Galicki-Nitta show [37,Theorem 3.2] that if ζ is generic in the sense of Kronheimer (i.e. µ −1 (ζ)/K is smooth) thenμ −1 (0)/K is a quaternionic Kähler 4-orbifold. Now, denote by K ρ the kernel of ρ and assume that K/K ρ ≃ U(1), i.e. ρ : K → U(1) ⊂ SU(2). In this case S =μ −1 (0)/K ρ →μ −1 (0)/K is a principal circle orbibundle over Q. Up to rotations and using a K-invariant metric to identify k with its dual, we must have ζ = 2πiζ, where ζ ∈ z. Since K = r i=1 U(n i ) we can identify z with R r and since ζ integrates to a group homomorphism K → U(1) we must have ζ ∈ Z r ⊂ R r . We then define a 1-dimensional representation R ζ of Γ by Thus a dense open set of Q and the ALE manifold X ζ are obtained as quotients of µ −1 (ζ) by K, but the K-action is different in the two cases. However, since the K-actions agree when restricted to K ρ ,μ −1 (0)∩H n /K ρ coincides with the principal circle bundle µ −1 (ζ)/K ρ → X ζ . In particular, the dense open setμ −1 (0) ∩ H n /K ρ of S is smooth.
Consider now a point [0 : u] ∈ HP n−1 such that µ(u) = 0. We must show that the stabiliser of [0 : u] in K ρ is trivial. Now, in [65, Lemma 3.1] Kronheimer shows that there exists a copy of C 2 in µ −1 (0) ⊂ H n such that every orbit of the K-action on µ −1 (0) meets a single orbit of the Γ-action on C 2 . Even if not explicitly mentioned in [65], the identification of µ −1 (0)/K with C 2 /Γ can be made equivariant with respect to the action of Sp(1) given by the (diagonal) right quaternionic multiplication on C 2 = H and µ −1 (0) ⊂ H n . Thus Q is obtained by adding a single point ∞ with isotropy Γ to the open setμ −1 (0) ∩ H n /K. To show that S is smooth, we need to show that the induced action of Γ on the fibre S 1 over ∞ of the orbibundle S → Q is free. This follows from the assumption that R ζ is an effective Γ-representation, since the action of Γ on the fibre of S over ∞ is precisely given by R ζ by [67, Proposition 2.2 (ii)].
In other words, S is obtained by compactifying the principal circle bundle µ −1 (ζ)/K ρ → X ζ by adding the circle fibre over the orbifold point in the natural orbifold compactification of X ζ . The circle bundle µ −1 (ζ)/K ρ → X ζ carries a natural anti-self-dual connection which is asymptotic to the flat connection on C 2 /Γ with monodromy R. Hence if R is an effective representation of Γ, S is smooth.
Proof. As in the proof of Proposition 4.5, we write S = S 0 ∪ S ∞ , where S 0 is a principal circle bundle over the 4-manifold X ζ and S ∞ = (C 2 × S 1 )/Z n . The intersection S 0 ∩ S ∞ = (S 3 × S 1 )/Z n .
Consider first the fundamental group of S. We have π 1 (S ∞ ) = π 1 (S 0 ∩ S ∞ ) ≃ Z. Moreover, if gcd (ζ 1 , . . . , ζ r ) = 1 then the first Chern class of S 0 → X ζ is primitive in H 2 (X ζ , Z) and therefore S 0 is simply connected. Van Kampen's Theorem then implies that S is simply connected.
In order to prove that S is spin, note that w 2 (S) ∈ H 2 (S, Z 2 ) must be the image of w orb 2 (Q) ∈ H 2 orb (Q, Z 2 ) since π : S → Q is a principal circle orbibundle and therefore T S ≃ π * T Q ⊕ R. On the other hand, in dimension 4 we have w orb 2 (Q) = ε(Q) ∈ H 2 orb (Q, Z 2 ), where ε(Q) is the Marchiafava-Romani class of Q, the obstruction to lift the structure group of the standard R 3 -orbibundlê µ −1 (0)/K × SU(2) R 3 over Q from SO(3) to SU(2); here we think ofμ as defined on S 4n+3 . As already noticed, since K ρ does not contain −1 ∈ Sp(n + 1) we have ε(Q) = 0.
The diffeomorphism-type of S now follows from the Smale classification of simply connected spin 5-manifolds [82].
Since the 8-manifold M retracts onto S, applying Theorem 3.35 to the Spin(7)-admissible selfdual Einstein 4-orbifolds we have constructed immediately yields the following result. Theorem 4.9. There exists infinitely many smooth non-compact simply connected 8-manifolds carrying complete Spin(7)-metrics. Remark 4.10. As an aside, we note that the self-dual Einstein 4-orbifolds we considered in this section and their relationship with ALE gravitational instantons are instances of the so-called hyperkähler/quaternionic Kähler correspondence [48,53]. The correspondence relates a hyperkähler manifold X with a circle action that fixes one complex structure and rotates the other two (a rotating circle action) with a quaternionic Kähler manifold Q (in general incomplete) with circle symmetry. Consider for example the triholomorphic circle action e iθ · (u 1 , u 2 ) = (e iθ u 1 , e iθ u 2 ) on H 2 , the corresponding moment map µ(u) = u 1 iu 1 + u 2 iu 2 and the Eguchi-Hanson space X = µ −1 (−i)/S 1 . The particular choice of level set of the moment map implies that X admits a rotating circle action, denoted by S 1 R . We fix a choice of lift of S 1 R to H 2 by e iθ · (u 1 , u 2 ) = (e imθ u 1 e −iθ , e imθ u 2 e −iθ ) for some m ∈ Z. Haydys [48] and Hitchin [53,54] then consider the principal circle bundle µ −1 (−i) over X and construct a quaternionic Kähler metric on µ −1 (−i)/S 1 R . When m = 0 we can realise this quaternionic Kähler metric as a quaternionic Kähler quotient of HP 2 . Indeed, define an action of S 1 on HP 2 by e iθ · [u 0 : u 1 : u 2 ] = [e iθ u 0 : e imθ u 1 , e imθ u 2 ]. The quaternionic Kähler quotient of HP 1 by this action is Q = {[u 0 : u 1 : u 2 ] ∈ HP 2 | m µ(u) + u 0 iu 0 = 0}/S 1 and therefore the open set Q 0 ⊂ Q where u 0 = 0 is identified with µ −1 (−i)/S 1 R via the map [u 0 : u 1 : u 2 ] → √ m |u 0 | 2 (u 1 u 0 , u 2 u 0 ). In the limiting case m = 0 we can identify µ −1 (−i)/S 1 R with (the complement of µ −1 (0) in) HP 1 ≃ S 4 : if (v 1 , v 2 ) ∈ H 2 satisfies µ(v) = 0 then there exists v 0 ∈ H * , unique up to a circle factor, such that µ(v 1 v 0 , v 2 v 0 ) = −i. According to [48,Theorem 3], the general hyperkähler/quaternionic Kähler corrrespondence consists in replacing H 2 with an arbitrary hyperkähler cone C admitting a triholomorphic circle action and HP 2 with the (singular) quaternionic Kähler space (H × C)/H * associated with the split hyperkähler cone H × C. Here H * acts diagonally on H and C. The hyperkähler space X is the hyperkähler quotient of C by S 1 at level set −i, say, of the hyperkähler moment map. The corresponding quaternionic Kähler space Q can be realised as the quaternionic Kähler quotient of (H × C)/H * by the circle action Here [u 0 : u], where u 0 ∈ H and u ∈ C, denotes a point in (H × C)/H * , e iψ · u denotes the triholomorphic circle action on C and m ∈ Z. In particular, if X is a hyperkähler quotient µ −1 (ζ)/K of H n by a subgroup K of Sp(n), as in the cases we have considered, for X to admit a rotating circle action we must require that ζ exponentiates to a (non-trivial) group homomorphism ρ : K → U(1). The cone C is then the hyperkähler quotient of H n by ker ρ at the zero level-set (with induced triholomorphic action of K/ ker ρ ≃ S 1 ) and similarly (H × C)/H * is the quaternionic Kähler quotient of HP n by the action of ker ρ induced by K ρ×id −→ U(1) × K ⊂ Sp(1) × Sp(n) ⊂ Sp(n + 1). Choosing m = 1 in (4.11), the quaternionic Kähler space Q corresponding to X is the quaternionic Kähler quotient of HP n by K.

4.3.
Complete G 2 -manifolds from Calabi-Yau orbifolds. The framework introduced in this paper to do weighted analysis on AC orbifolds allows us to extend the results of [31] to the construction of highly collapsed ALC G 2 -holonomy metrics on principal Seifert circle bundles over AC Calabi-Yau orbifolds of complex dimension 3. Given the language introduced in Section 2 and our calculation of the basic weighted L 2 -cohomology of a Seifert circle bundle of arbitrary dimension in Theorem 2.31, the main result of [31] and its proof can be extended to the orbifold setting without any further complication.
In contrast to the Spin(7)-case, the construction of [31], which uses only circle bundles over smooth AC Calabi-Yau manifolds, already yielded infinitely many complete G 2 -manifolds. The freedom to consider AC Calabi-Yau orbifolds is simply an addition of further examples to this already rich landscape. However, using Calabi-Yau orbifolds we will now construct infinitely many families of ALC G 2 -metrics on a manifold as simple as S 3 × R 4 : given the wealth of examples arising in [31] it seemed likely that many different families of ALC G 2 -metrics would end up being defined on the same underlying smooth 7-manifold, but no concrete example was given. Proof. We will describe S 3 × R 4 as the total space of a Seifert circle bundle over an AC Calabi-Yau orbifold B in infinitely many different ways. Forgetting for the moment the AC Calabi-Yau metric, we construct B as a Kähler manifold with trivial canonical bundle as the Kähler quotient of C 4 by a circle in SU(4). Up to conjugation we assume that the circle is embedded in SU(4) via e iθ → diag e ip 1 θ , e ip 2 θ , e −iq 1 θ , e −iq 2 θ for non-negative integers p 1 , p 2 , q 1 , q 2 such that p 1 + p 2 = q 1 + q 2 . Then B = B ζ = {(z 1 , z 2 , z 3 , z 4 ) ∈ C 4 such that p 1 |z 1 | 2 + p 2 |z 2 | 2 − q 1 |z 3 | 2 − q 2 |z 4 | 2 = ζ}/S 1 , where ζ ∈ R is a parameter. If ζ = 0 then B is an orbifold; indeed, the level set M = {(z 1 , z 2 , z 3 , z 4 ) ∈ C 4 such that p 1 |z 1 | 2 + p 2 |z 2 | 2 − q 1 |z 3 | 2 − q 2 |z 4 | 2 = ζ} is a smooth manifold and S 1 acts on M with nontrivial finite stabilisers: M → M/S 1 = B is a principal Seifert circle bundle over the orbifold B.
If we further assume that gcd (p i , q j ) = 1 for all i, j = 1, 2 (in particular, p i , q j > 0) then M is diffeomorphic to S 3 × R 4 and B is smooth outside a compact set. In order to see this, assume without loss of generality that ζ > 0. Then up to an anisotropic rescaling (z 1 , z 2 , z 3 , z 4 ) → √ p 1 z 1 , √ p 2 z 2 , √ q 1 z 3 , √ q 2 z 4 , M is cut out by the equation |z 1 | 2 + |z 2 | 2 = |z 3 | 2 + |z 4 | 2 + ζ and therefore, identifying C 2 and R 4 with H and S 3 with the unit sphere in H, can be parametrised by (x, y) → |y| 2 + ζ x, y for (x, y) ∈ S 3 × R 4 . Moreover, the assumptions gcd (p i , q j ) = 1 for all i, j = 1, 2 also imply that the only points in M with non-trivial stabiliser are those with z 1 = 0 = z 2 or z 3 = 0 = z 4 and since ζ > 0 the former case is impossible. The circle action is therefore free on the complement of S 3 × {0} ⊂ S 3 × R 4 ≃ M .
Still working under the assumption that ζ > 0 to fix ideas, B is a C 2 -orbibundle over the weighted projective line It remains to show that B carries an AC orbifold Calabi-Yau metric in the same Kähler class. First of all, note that under our assumptions the Kähler reduction B 0 of C 4 at the zero-level set of the moment map has an isolated singularity at the origin and is in fact a Gorenstein toric Kähler cone. The existence of a Calabi-Yau cone metric on B 0 follows from a general result of Futaki-Ono-Wang [35]. The Calabi-Yau cone metric on B 0 is in fact explicit: the case where p 1 = p 2 = p, q 1 = p − q and q 2 = p + q where p > q > 0 and gcd (p, q) = 1 coincides with the Y p,q Sasaki-Einstein manifolds of [39]; the general case was considered in [28,72].
The existence of an AC Calabi-Yau metric on B asymptotic to the Calabi-Yau cone metric on B 0 now follows from the general existence theory for AC Calabi-Yau metrics on crepant resolutions of Calabi-Yau cones, in particular [42] (since the orbifold Kähler class [ω 0 ] is not compactly supported). Indeed, we can regard B as an orbifold partial small (therefore necessarily crepant) resolution of the cone B 0 . Strictly speaking the existence result of [42] applies to a smooth manifold B; however, since the orbifold singularities of B are contained in a compact set, the extension to the orbifold setting should pose no additional difficulty. In fact, in the special case where p 1 = p 2 = p, q 1 = p − q and q 2 = p + q, Martelli-Sparks [73, Theorems 1.1 and 1.3] constructed an explicit AC Calabi-Yau metric (unique up to scale) on B asymptotic to B 0 .
In summary, M = S 3 × R 4 is a principal Seifert circle bundle over the AC Calabi-Yau orbifold B and the topological constraint c orb 1 (M ) ∪ [ω 0 ] = 0 ∈ H 4 orb (B) is automatically satisfied. The main existence result of [31] guarantees the existence of a 1-parameter family up to scale of highly collapsed ALC G 2 -metrics on M . Up to obvious symmetries, families corresponding to different choices of p 1 , p 2 , q 1 , q 2 cannot be isometric to each other since their (unique) tangent cones at infinity are distinct.
Remark. All the complete G 2 -metrics constructed in the proof of the theorem are toric in the sense of Madsen-Swann [70], i.e. they admit a multi-Hamiltonian isometric action of a 3-torus preserving the G 2 -structure. Indeed, the AC Calabi-Yau orbifold metric on B is itself toric (in the usual sense of Kähler and symplectic geometry), but only a 2-dimensional sub-torus also preserves the holomorphic volume form. The 2-torus symmetry lifts to a symmetry of the ALC G 2 -metrics because of uniqueness results in the construction of [31]. Finally, the G 2 -metrics are also invariant under the circle action on the fibres of the Seifert bundle.
Remark. Since in Theorem 4.12 B has no orbifold singularities outside a compact set, the application of [31] does not really require the machinery of Section 2. However, there are likely very many other examples with non-compact singular set.