Compact 8-manifolds with holonomy \(\text{Spin}(7)\)
type: Item
instance of: scholarly article
title: Compact 8-manifolds with holonomy \(\text{Spin}(7)\)
zbMATH Open document ID: 0858.53037
published in: Inventiones Mathematicae
publication date: 1997-03-10T00:00:00Z
full work available at URL: https://eudml.org/doc/144358
review text: The author constructs many examples of Riemannian metrics \(g\) with the exceptional holonomy group Spin(7) on some compact 8-manifolds \(M\). A metric \(g\) with the holonomy group \(H \subset \text{Spin}(7)\) is canonically defined by a closed 4-form \(\Omega\) such that the stabilizer of \(\Omega\) in the group SO(8) at each point is equal to Spin(7). Such form \(\Omega\) is called a Spin(7)-structure or, more generally, if it is not necessarily closed, an almost Spin(7)-structure. The manifold \(M\) is constructed as a desingularization of the Spin(7)-orbifold \(T^8/\Gamma\), where \(\Gamma\) is a finite group of automorphisms of the flat Spin(7)-structure on an 8-torus \(T^8\). The author proves the existence of an almost Spin(7)-structure \(\Omega\) on \(M\) with sufficiently small differential \(d\Omega\). Then, using the theory of nonlinear elliptic differential equations, he proves that \(\Omega\) can be deformed into a Spin(7)-structure \(\Omega_0\). To prove that the metric associated with \(\Omega_0\) has holonomy group exactly Spin(7) (and not smaller), he uses a characterisation of the holonomy group in terms of existence of parallel spinor fields. Then, using the Atiyah-Singer index theorem for the Dirac operator, he proves that for simply connected manifolds the holonomy group is Spin(7) if and only if the \(\widehat{A}\)-genus of \(M\) is equal to 1.
Mathematics Subject Classification ID: 53C25
zbMATH DE Number: 922461
zbMATH Keywords: orbifolds
zbMATH Keywords: resolution of singularities
zbMATH Keywords: A-genus
zbMATH Keywords: exceptional holonomy group
zbMATH Keywords: closed 4-form
zbMATH Keywords: Spin(7)-structure
zbMATH Keywords: almost Spin(7)-structure
zbMATH Keywords: nonlinear elliptic differential equations
zbMATH Keywords: parallel spinor fields
zbMATH Keywords: Atiyah-Singer index theorem
Wikidata QID: Q56991069
author: Dominic Joyce
reviewed by: Dmitri Alekseevsky
MaRDI profile type: Publication
OpenAlex ID: W2185338182
cites work: Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions II
cites work: Q3657016
cites work: The index of elliptic operators. III
cites work: Sur les groupes d'holonomie homogènes de variétés à connexion affine et des variétés riemanniennes
cites work: Q4720334
cites work: Metrics with exceptional holonomy
cites work: On the construction of some complete metrics with exceptional holonomy
cites work: Q5605734
cites work: Lipschitz convergence of Riemannian manifolds
cites work: Geometrische Methoden zur Gewinnung von a-priori-Schranken für harmonische Abbildungen
cites work: Compact Riemannian 7-manifolds with holonomy \(G_ 2\). II
cites work: Q3967968
cites work: Counter-examples to the generalized positive action conjecture
cites work: A Kummer-type construction of self-dual 4-manifolds
cites work: Q5510503
cites work: Quaternionic Kaehler manifolds
cites work: Q3995081
cites work: A new proof of the existence of Kähler-Einstein metrics on K3. I
cites work: Parallel spinors and parallel forms
cites work: Q4711174
DOI: 10.1007/S002220050039
description: scientific article; zbMATH DE number 922461