Geometric structures of vectorial type

DOI10.1016/J.GEOMPHYS.2005.12.007MaRDI QIDQ857398zbMATH OpenOpenAlexWikidataFDO

Publication date 14 December 2006

Published in Journal of Geometry and Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0509147

\(G\)-structure characteristic connection characteristic torsion connection Hopf structure intrinsic torsion Killing spinor Killing vector field parallel form parallel spinor special \(G\)-structure spin group Weyl geometry

Mathematics Subject Classification ID

Special Riemannian manifolds (Einstein, Sasakian, etc.) (53C25) String and superstring theories; other extended objects (e.g., branes) in quantum field theory (81T30)

Abstract: We study geometric structures of

m a t h c a l W_{4}

-type in the sense of A. Gray on a Riemannian manifold. If the structure group

m a t h r m G s u b s e t S O (n)

preserves a spinor or a non-degenerate differential form, its intrinsic torsion

G a m m a

is a closed 1-form (Proposition ef{dGamma} and Theorem ef{Fixspinor}). Using a

m a t h r m G

-invariant spinor we prove a splitting theorem (Proposition ef{splitting}). The latter result generalizes and unifies a recent result obtained in cite{Ivanov&Co}, where this splitting has been proved in dimensions

n = 7, 8

only. Finally we investigate geometric structures of vectorial type and admitting a characteristic connection

a b l a^{m a t h r m c}

. An interesting class of geometric structures generalizing Hopf structures are those with a

a b l a^{m a t h r m c}

-parallel intrinsic torsion

G a m m a

. In this case,

G a m m a

induces a Killing vector field (Proposition ef{Killing}) and for some special structure groups it is even parallel.

Review text

Let \((M^n,g)\) be an oriented Riemannian manifold, \(\mathcal{F}(M^n)\) its Riemannian frame bundle, which is a principal \(SO(n)\)-bundle, \(G\) a fixed subgroup of \(SO(n)\) and \(\mathcal{R}\subset\mathcal{F}(M^n)\) a \(G\)-structure. Let \(Z\) be the Levi-Civita connection on \(\mathcal{F}(M^n)\). \(Z\) is a \(1\)-form on \(\mathcal{F}(M^n)\) with values in the Lie algebra \(so(n)=\Lambda^2(\mathbb{R}^n)\). Decompose \(so(n)=\mathfrak{g}\oplus \mathfrak{m}\) into the Lie algebra \(\mathfrak{g}\) of \(G\) and its orthogonal complement \(\mathfrak{m}\). With respect to this decomposition, \(Z| _{T(\mathcal{R})}:=Z^*\oplus \Gamma\), where \(Z^*\) is a connection in the principal \(G\)-bundle \(\mathcal{R}\) and \(\Gamma\) is a \(1\)-form on \(M^n\) with values in the associated bundle \(\mathcal{R}\times_G\mathfrak{m}\) called intrinsic torsion of \(\mathcal{R}\). The different types of \(G\)-structures on a Riemannian manifold correspond to the irreducible \(G\)-components of the representation \(\mathbb{R}^n\otimes\mathfrak{m}\). The mapping \(\Theta:\mathbb{R}^n\to \mathbb{R}^n\times\mathfrak{m}\), \(\Theta(u):=\sum^n_{i=1}e_i\otimes pr_{\mathfrak{m}}(e_i\wedge u)\), shows that the space \(\mathbb{R}^n\otimes\mathfrak{m}\) contains \(\mathbb{R}^n\) in a natural way. \(\mathcal{R}\) is called of vectorial type (or \(\mathcal{W}_4\)-structure) if the element \(\Gamma\in\mathbb{R}^n\otimes\mathfrak{m}\) belongs to \(\mathbb{R}^n\). If the structure group \(G\) preserves a non-degenerate differential \(k\)-form or if \(G\) lifts into the spin group \(\text{Spin}(n)\) and admits a \(G\)-invariant algebraic spinor \(\Psi\in\Delta_n\) in the \(n\)-dimensional spin representation \(\Delta_n(n\geq 5)\), the authors show that for any \(G\)-structure of vectorial type, \(\Gamma\) is a closed \(1\)-form. From the point of view of Weyl geometry, this last result means that any \(G\)-structure with a fixed spinor on a compact manifold \(M^n\) induces a Weyl-Einstein geometry with a closed form \(\Gamma\) \((n\geq 5)\). The authors prove that -- up to a conformal change of the metric -- compact \(G\)-structures of vectorial type admitting a parallel spinor are locally conformal to products of \(\mathbb{R}\) with Einstein manifolds with positive scalar curvature admitting a real Riemannian Killing spinor. This splitting result generalizes and unifies a result established by \textit{S. Ivanov, M. Parton, P. Piccinni} [Math. Res. Lett. 13, No. 2--3, 167--177 (2006; Zbl 1118.53028)] in dimensions \(n=7,8\) only. \(G\)-structures of vectorial type admitting a characteristic connection \(\nabla^c\) (that is a \(G\)-connection with totally skew-symmetric torsion tensor) are also investigated. If \(\mathcal{R}\) is such a \(G\)-structure and \(\nabla^c\Gamma=0\) holds, \(\mathcal{R}\) is called a generalized Hopf structure. In this case it is shown that \(\Gamma\) is a Killing vector field and for the structure groups \(G=G_2\), Spin(7) and \(U(n)\), \(n\geq 3\), it is even parallel.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Geometric structures of vectorial type

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q857398)