A Torelli-type theorem for gravitational instantons (Q1119917): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Peter B. Kronheimer / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Nigel J. Hitchin / rank | |||
Normal rank |
Revision as of 06:47, 14 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Torelli-type theorem for gravitational instantons |
scientific article |
Statements
A Torelli-type theorem for gravitational instantons (English)
0 references
1989
0 references
In ibid. 29, 665-683 (1989; see above) the author gave a natural construction for asymptotically locally Euclidean hyper-Kähler 4- manifolds. In this paper he proves that his construction gives all such manifolds. To do this, he makes use of the Penrose twistor space Z of such a manifold. This is a 3-dimensional complex manifold whose holomorphic geometry determines the hyper-Kähler metric. The author's proof first of all makes use of the ALE property to compactify the twistor space as an orbifold by adding a projective line at infinity. He then studies the structure of the graded ring \(A(Z)=H^ 0(Z;{\mathcal O}(k))\) making use of vanishing theorems for higher cohomology groups which are implied by the Penrose transform which relates solutions of the zero rest mass field equations on the ALE space to sheaf cohomology groups on Z. The algebraic structure of A(Z) and its relation to the line at infinity then gives algebraic equations for a singular model of Z which effectively determine the twistor space and its relationship to resolutions of quotient singularities. The ``Torelli theorem'' in the title refers to the fact that the hyper-Kähler metric on the ALE space is determined up to isometry by the periods of the covariant constant 2-forms \(\omega_ 1\), \(\omega_ 2\) and \(\omega_ 3\), a corollary of the completeness of the result.
0 references
Einstein metric
0 references
asymptotically locally Euclidean hyper-Kähler 4- manifolds
0 references
Penrose twistor space
0 references
vanishing theorems
0 references
cohomology groups
0 references
Penrose transform
0 references
Torelli theorem
0 references