Invariant affinor metric structures on Lie groups (Q416982): Difference between revisions

Let \(G\) be a connected Lie group with associated Lie algebra \(\mathfrak g\), let \(\alpha\) be a left-invariant \(1\)-form and \(\beta\) a left-invariant \(2\)-form on \(G\). The radical rad\(\,\beta\) of \(\beta\) is defined as rad\(\,\beta=\{X\in {\mathfrak g}\, |\, \beta(X,Y)=0 \text{\;for\;all\;}Y\in{\mathfrak g}\}\). The radical rad\(\,\alpha\) of \(\alpha\) is defined as the radical of its exterior derivative d\(\alpha\). If \(\dim G = 2n+1\) and \((\text{d}\alpha)^n \wedge \alpha \neq 0\), then \(\alpha\) is usually called a contact form. It is known that the radical of a contact form is one-dimensional. The author generalizes results known for contact forms to 1-forms with a radical of arbitrary dimension. A triple \((\alpha, \Phi, \beta)\) with a left-invariant \(1\)-form \(\alpha\) and \(\dim\,\)rad\(\,\alpha > 0\), a symmetric left-invariant 2-form \(\beta\), whose restriction to rad\(\,\alpha\) is a Riemannian metric, and \(\phi\) a field of linear operators on \(G\) turning the form d\(\alpha\) into a Riemannian metric on \((\text{rad}\,\alpha)^\perp\), is called an \textit{affinor metric structure}, \(\beta\) is called the \textit{radical metric} and \(\Phi\) is referred to as an \textit{affinor}. An affinor metric structure is called left-invariant, if all of its components are left-invariant. Let \((\alpha, \Phi, \beta)\) be an affinor metric structure and let \(R\) be the radical subgroup of \(\alpha\). Let \(L\) be the fibration \(G \to G/R\) and denote by \(\nabla\) the Levi-Civita connection of \({\mathfrak g}\). Put \(D := \)rad\(\, \beta\). If \((\alpha, \Phi, \beta)\) is an Ad\(_R\)-invariant affinor metric structure and \(\alpha\) is a noncontact 1-form, the following statements are proved by the author: (1) The subalgebra \(D\) is a connection for \(L\). If \(R\) is commutative, then \(D\) is flat and the connection form can be expressed as \[ \omega(X) = \sum_{i=1}^m g(X,E_i)E_i, \] where \(E_1,\dots,E_m\) is some basis of rad\(\,\alpha\). (2) The radical subgroup \(R\) is a totally geodesic submanifold of \(G\) and is thus the collection of all geodesics from \(1_G\) tangent to rad\(\,\alpha\). (3) The restriction \(\nabla|_D\) is the Levi-Civita connection of the metric d\(\alpha_\phi\) on the subgroup generated by \(\Phi\). Some special classes of affinor metric structures are introduced and studied by the author as well.