Gluing construction of compact Spin(7)-manifolds
We give a differential-geometric construction of compact manifolds with holonomy Spin(7) which is based on Joyce's second construction of compact Spin(7)-manifolds in \cite{Joyce00} and Kovalev's gluing construction of G2-manifolds in \cite{Kovalev03}. We also give some examples of compact Spin(7)-manifolds, at least one of which is \emph{new}. Ingredients in our construction are \emph{orbifold admissible pairs with} a compatible antiholomorphic involution. Here in this paper we need orbifold admissible pairs (X,D) consisting of a four-dimensional compact Kähler orbifold X with isolated singular points modelled on C4/Z4, and a smooth anticanonical divisor D on X. Also, we need a compatible antiholomorphic involution σ on X which fixes the singular points in X and acts freely on the anticanoncial divisor D. If two orbifold admissible pairs (X1,D1), (X2,D2) with dimCXi=4 and compatible antiholomorphic involutions σi on Xi satisfy the \emph{gluing condition}, we can glue (X1∖D1)/⟨σ1⟩ and (X2∖D2)/⟨σ2⟩ together to obtain a compact Riemannian 8-manifold (M,g) whose holonomy group Hol(g) is contained in Spin(7). Furthermore, if the A-genus of M equals 1, then M is a Spin(7)-manifold, i.e., a compact Riemannian manifold with holonomy Spin(7). We shall investigate our gluing construction using (Xi,Di) with i=1,2 when D1=D2=D and D is a complete intersection in a weighted projective space, as well as when (X1,D1)=(X2,D2) and σ1=σ2 (the \emph{doubling} case).