Four-dimensional Riemannian geometry via 2-forms

TL;DR

This paper extends the encoding of geometric structures via differential forms beyond spinorial G-structures, developing a four-dimensional framework that unifies Riemannian, Kähler, and hyper-Kähler geometries.

Contribution

It introduces a novel approach to describe four-dimensional Riemannian geometries using 2-forms valued in associated bundles, linking intrinsic torsion to H-connections.

Findings

Describes Riemannian geometry as SO(4)-structures with a unique SO(3)-invariant functional.

Provides a unified framework for Riemannian, Kähler, and hyper-Kähler geometries.

Identifies critical points of the functional as Einstein metrics.

Abstract

In differential geometry, geometric structures can often be encoded by differential forms satisfying algebraic and differential constraints. This is in particular the case for spinorial G-structures, where the defining tensors are differential forms arising as spinor bilinears and their exterior derivatives determine the intrinsic torsion. In this paper we show that, in certain situations, this can be extended beyond the setting of spinorial G-structures. Thus, when tilde(G)/G is a Lie group H, a tilde(G)-structure with tilde(G) supset G can be described in terms of a spinorial G-structure by allowing the defining forms to take values in an associated H-bundle, and converting the intrinsic torsion of the G-structure into an H-connection. We develop this idea in four dimensions, where the triple of 2-forms associated with a spinorial SU(2)-structure can be encoded as a 2-form with values in the associated H=SO(4)/SU(2)=SO(3) vector bundle. This gives a description of Riemannian geometry, i.e. SO(4)-structures, and leads to a unique SO(3)-invariant functional of SU(2)-structures whose critical points are Einstein. This perspective also provides a unified framework for Riemannian, Kahler and hyper-Kahler geometries in four dimensions.