Infinitesimal homogeneity and bundles (Q2227512)

Consider a Riemannian manifold \((M,g)\), a Lie group \(K\), a principal \(K\)-bundle \(P \to M\) on \(M\) and a connection \(A_0\) on \(P\). \begin{itemize} \item[(1)] The triple \((g, P \to M, A_0)\) is called ``locally symmetric'' if, for each point \(x \in M\), there exists an open neighborhood \(U\) of \(x\) and: {\begin{itemize} \item[(i)] a local isometry \(s_x : U \to U\) such that \(s_x (x) = x\) and \(d_x s_x = -id_{T_xM}\); \item[(ii)] A \(s_x\) -covering bundle isomorphism \(\Phi_x : P_U \to P_U\) which leaves any point \(y \in P_x\) and the connection \((A_0)_U\) invariant. \end{itemize}} \item[(2)] ``locally homogeneous'' if for any two points \(x_1\), \(x_2 \in M\) there exist open neighborhoods \(U_1\) and \(U_2\) of \(x_1\) and \(x_2\) and: \begin{itemize} \item[(a)] a local isometry \(\varphi : U_1 \to U_2\) with \(\varphi(x_1) = x_2\); \item[(b)] a \(\varphi\)-covering bundle isomorphism \(\Phi : P_{U_1} \to P_{U_2}\), such that \(\Phi^*(A_{U_2} ) = A_{U_1}\). \end{itemize} \end{itemize} These notions have also global analogues. In the paper under review, the authors define and use locally symmetric triples and locally homogeneous triples, in order to prove bundle versions of the Cartan theorem and Ambrose-Singer theorem. The main result states that a triple as above is: \begin{itemize} \item[(i)] locally symmetric if and only if \(\nabla^g R^g = 0\), \((\nabla^g \otimes \nabla^{A_0} )\; F^{A_0} = 0\); \item[(ii)] locally homogeneous if and only if there exist a metric connection \(\nabla\) on M and a connection \(A\) on \(P\), such that \(\nabla R^{\nabla} = 0\), \(\nabla T^{\nabla} = 0\), \((\nabla \otimes \nabla^A)\; F^A = 0\), \((\nabla \otimes \nabla^A)(A - A_0) = 0\). \end{itemize} \(F^A\) denotes the curvature of \(A\). This result helps the authors not only to recover, in a unifying manner, previous particular results, but also to prove new ones, such as a characterization of locally homogeneous pairs, consisting of a Riemannian metric on a spin manifold and a spinor.