On quaternionic complexes over unimodular quaternionic manifolds

Abstract

Penrose's two-spinor notation for $4$-dimensional Lorentzian manifolds can be extended to two-component notation for quaternionic manifolds, which is a very useful tool for calculation. We construct a family of quaternionic complexes over unimodular quaternionic manifolds by elementary calculation. On complex quaternionic manifolds, which are essentially the complexification of real analytic quaternionic Kähler manifolds, the existence of these complexes was established by Baston by using twistor transformations and spectral sequences. Unimodular quaternionic manifolds constitute a nice and large class of quaternionic manifolds: the conformal change of a unimodular quaternionic structure is still unimodular quaternionic and the complexes over such manifolds are conformally invariant. This class of manifolds, including quaternionic Kähler manifolds, are the real version of torsion-free QCFs introduced by Bailey and Eastwood. We show the ellipticity of these complexes and its Hodge-type decomposition. We also obtain a Weitzenböck formula to establish vanishing of the cohomology groups of these complexes for quaternionic Kähler manifolds with negative scalar curvatures.

The appendix consists of proofs of several propositions that do not appear in the published version

References in corpus (2)

• On the Hodge-type decomposition and cohomolgy groups of $k$-Cauchy-Fueter complexes over domains in the quaternionic space
• The Neumann problem for the $k$-Cauchy-Fueter complexes over $k$-pseudoconvex domains in ${\mathbb{R}}^4$ and the $L^2$ estimate