New cohomogeneity one metrics with Spin(7) holonomy

We construct new explicit non-singular metrics that are complete on non-compact Riemannian 8-manifolds with holonomy Spin(7). One such metric, which we denote by , is complete and non-singular on . The other complete metrics are defined on manifolds with the topology of the bundle of chiral spinors over S⁴, and are denoted by , and . The metrics on and occur in families with a non-trivial parameter. The metric on arises for a limiting value of this parameter, and locally this metric is the same as the one for . The new Spin(7) metrics are asymptotically locally conical (ALC): near infinity they approach a circle bundle with fibres of constant length over a cone whose base is the squashed Einstein metric on . We construct the covariantly constant spinor and calibrating 4-form. We also obtain an L²-normalisable harmonic 4-form for the manifold, and two such 4-forms (of opposite dualities) for the manifold.