Abstract
A positive answer is given to the existence of Sasakian structures on the tangent sphere bundle of some Riemannian manifold whose sectional curvature is not constant. Among other results, it is proved that the tangent sphere bundle \(T_{r}(G/K),\) for any \(r> 0,\) of a compact rank-one symmetric space G/K, not necessarily of constant sectional curvature, admits a unique G-invariant K-contact structure whose characteristic vector field is the standard field of T(G/K). Such a structure is in fact Sasakian and it can be expressed as an induced structure from an almost Hermitian structure on the punctured tangent bundle \(T(G/K){\setminus } \{\text{ zero } \text{ section }\}.\)
Similar content being viewed by others
1 Introduction
The tangent sphere bundle of radius \(r>0\) over a Riemannian manifold (M, g) is the hypersurface \(T_{r}M = \{u\in TM:g(u,u)= r^{2}\}\) of the tangent bundle TM. There is an extensive bibliography on the Riemannian geometry of \(T_{r}M\) equipped with the induced metric \({\widetilde{g}}^{S}\) from the Sasaki metric \(g^{S},\) specially about the unit tangent sphere bundle \(T_{1}M.\) See E. Boeckx and L. Vanhecke [6, 7] and G. Calvaruso [9] for surveys of \(T_{1}M\) and O. Kowalski and M. Sekizawa [12,13,14] of \(T_{r}M,\) for an arbitrary radius \(r>0.\) The induced metric on \(T_{1}M\) from a g-natural metric, which generalizes the Sasaki and the Cheeger–Gromoll metric, has been treated by Abbassi, Calvaruso and Sarih (see, for example, [1,2,3]).
With respect to the standard almost complex structure J, the Sasaki metric on TM is Hermitian, in fact it is almost Kähler [18]. Then \(T_{r}M,\) as hypersurface of \((TM,J,g^{S}),\) inherits an almost contact metric structure \((\varphi ,\xi ,\eta , {\widetilde{g}}^{S})\) and the unit vector field \(\xi = -JN,\) where N is the outward normal unit vector field to the singular foliation \(\{T_{r}M\}_{r\ge 0},\) is defined on \(TM{\setminus } \{\mathrm{zero section}\}.\) We say that \(\xi \) is the standard vector field of TM.
On \(T_{1}M,\) the pair \((\frac{1}{2}\eta ,\frac{1}{4}{\widetilde{g}}^{S})\) becomes a contact metric structure and Tashiro [19] proved it is K-contact if and only if the base manifold (M, g) has constant sectional curvature 1. Moreover, in this case, \(T_{1}M\) is Sasakian. For g-natural metrics, (M, g) must be of constant sectional curvature [1, Theorem 2] and again the structure on \(T_{1}M\) is Sasakian. Sasakian manifolds can be considered in many respects as the class analogous to that of the Kähler manifolds for the odd dimensional case. Principal circle bundles over Kähler manifolds, together with the standard structure on \({{\mathbb {R}}}^{2n+1},\) are the best known examples (see, for example, [5, Ch. 6]).
The main objective of this paper is to find Sasakian structures on tangent sphere bundles \(T_{r}M,\) for any radius \(r>0,\) over Riemannian manifolds (M, g) with non-constant sectional curvature. As far as the author knows, there are no examples satisfying these conditions in the literature.
The most natural Riemannian manifolds (M, g) in this search should be complex or quaternionic projective spaces, or even the Cayley plane since the tangent sphere bundle of any compact rank-one symmetric space G/K is, among other properties, G-homogeneous (see [8, 15]) and its standard vector field \(\xi \) is G-invariant. To achieve our objective, it is necessary to go further and carry out a detailed study of compact rank-one symmetric spaces and their tangent bundles and tangent sphere bundles. Such a study is included in Sects. 3 and 4, while in Sect. 2 some basic concepts about almost contact metric structures and homogeneous manifolds are exposed.
Given a compact rank-one symmetric space G/K, we set a Cartan decomposition \({{\mathfrak {g}}} = {{\mathfrak {m}}}\oplus {{\mathfrak {k}}}\) and a Cartan subspace \({{\mathfrak {a}}}={{\mathbb {R}}}\{X\}\) of \({{\mathfrak {m}}}.\) Then the punctured tangent bundle \(D^{+}(G/K):= T(G/K){\setminus } \{\text{ zero } \text{ section }\}\) can be identified with \(G/H\times {{\mathbb {R}}}^{+}\) and \(T_{r}(G/K),\) for each \(r>0,\) with the quotient G/H via G-equivariant diffeomorphisms, where H is the closed subgroup \(H = \{k\in K:\mathrm{Ad}_{k} X=X\}\) of K (Proposition 4.1).
The homogeneity of \(T_{r}(G/K)\) is discussed in Sect. 4, where the quotient expressions G/H, for each compact rank-one symmetric space, together with the sphere-homogeneous fibration associated to the projection \(\pi ^{T}:T_{r}(G/K) = G/H\rightarrow G/K\) are given. As a direct consequence, a natural diffeomorphism is established between \(T_{r}{{\mathbb {K}}}{{\mathbf {P}}}^{n}\) and the \({{\mathbb {K}}}\)-projective Stiefel manifold \(W_{2}({{\mathbb {K}}}^{n+1}),\) \({\mathbb K}\) being the field of real or complex numbers or the algebra of quaternions.
On the other hand, we consider the system \(\Sigma \) of restricted roots of \(({{\mathfrak {g}}},{{\mathfrak {k}}},{{\mathfrak {a}}}),\) which is either \(\Sigma = \{\pm \varepsilon \}\) or \(\Sigma =\{\pm \varepsilon ,\pm \varepsilon /2\},\) where \(\varepsilon \in ({{\mathfrak {a}}}^{{\mathbb {C}}})^{*},\) together with the subspaces
Because the tangent space \(T_{o_{H}}(G/H)\) at the origin \(o_{H} = \{H\}\) is identified with \(\overline{{\mathfrak {m}}} = ({\mathfrak a}\oplus {{\mathfrak {m}}}_{\varepsilon }\oplus {\mathfrak m}_{\varepsilon /2}) \oplus ({{\mathfrak {k}}}_{\varepsilon }\oplus {{\mathfrak {k}}}_{\varepsilon /2})\) and this decomposition is \(\mathrm{Ad}(H)\)-irreducible, all the G-invariant metrics on \(T_{r}(G/K)\) are obtained (Proposition 4.4). In particular, the induced metric \({\tilde{g}}^{S}\) of Sasaki metric is analyzed in this context, which allows obtaining, among other results, a version of Tashiro’s Theorem for tangent sphere bundles of any radius (Corollary 5.5).
In the last section, Sect. 5, we use all the material developed in the previous sections to prove our main result.
Theorem 1.1
Let G/K be a compact rank-one symmetric space and let \(\xi \) be the standard vector field of T(G/K). Then, for each smooth function \(f:{{\mathbb {R}}}^{+}\rightarrow {{\mathbb {R}}}^{+},\) there exists a G-invariant almost Hermitian structure on \(T(G/K){\setminus }\{\text{ zero } \text{ section }\}\) such that its induced almost contact metric structure on \(T_{r}(G/K),\) for all \(r>0,\) is K-contact and \(f(r)^{-1}\xi \) is the characteristic vector field.
Such K-contact structure on \(T_{r}(G/K),\) for each \(r>0,\) is Sasakian and it is given by \((\kappa ^{-1}\xi ,\tilde{\mathbf{g}}^{\kappa }),\) where \(\kappa = f(r)\) and the G-invariant metric \(\tilde{{\mathbf {g}}}^{\kappa }\) is determined by
Moreover, \((\kappa ^{-1}\xi ,\tilde{{\mathbf {g}}}^{\kappa })\) is the unique G-invariant K-contact structure on \(T_{r}(G/K)\) whose characteristic vector field is \(\kappa ^{-1}\xi .\)
We must point out that, from Proposition 5.2, the G-invariant almost Hermitian structure in Theorem 1.1 cannot be differentially extended to all T(G/K) and, from Proposition 4.8, the standard contact structure \((\frac{1}{2}\eta ,\frac{1}{4}{\tilde{g}}^{S})\) on \(T_{1}{\mathbb S}^{n}\) or on \(T_{1}{{\mathbb {R}}}{{\mathbf {P}}}^{n}\) is the Sasakian structure for \(\kappa = \frac{1}{2}.\)
2 Preliminaries
2.1 Almost Contact Metric Structures
We briefly recall some basic concepts of almost contact metric structures. For more information, see [5]. An odd-dimensional smooth manifold M is called almost contact if it admits a \((\varphi ,\xi ,\eta )\)-structure, where \(\varphi \) is a tensor field of type (1, 1), \(\xi \) is a vector field and \(\eta \) is a 1-form, such that
Then \(\varphi \xi = 0\) and \(\eta \circ \varphi =0.\) If M is equipped with a Riemannian metric g such that
for all \(X,Y\in {{\mathfrak {X}}}(M),\) where \({{\mathfrak {X}}}(M)\) is the Lie algebra of the vector fields on M, \((M,\varphi ,\xi ,\eta ,g)\) is said to be an almost contact metric manifold and g is called a compatible metric. We say it is contact metric if \(d\eta (X,Y) =g(X,\varphi Y).\) Then a contact metric structure is determined by the pair \((\xi ,g)\) (or \((\eta ,g))\) and \(\xi \) is known as its characteristic vector field. If, in addition, \(\xi \) is a Killing vector field, then the manifold is called K-contact.
An almost contact structure \((\varphi ,\xi ,\eta )\) is said to be normal if the (1, 1)-tensor field \({{\mathbf {N}}}(X,Y) = [\varphi ,\varphi ](X,Y) + 2\mathrm{d}\eta (X,Y)\xi \) vanishes for all \(X,Y\in {{\mathfrak {X}}}(M),\) where \([\varphi ,\varphi ]\) is the Nijenhuis torsion of \(\varphi ,\)
A contact metric structure \((\xi , g)\) which is normal is called a Sasakian structure. A useful characterization for Sasakian manifolds is the following: An almost contact metric manifold \((\varphi ,\xi ,\eta ,g)\) is Sasakian if and only if
where \(\nabla \) is the Levi-Civita connection of (M, g). Any Sasakian manifold is always K-contact. The converse holds for the three-dimensional case, but it may not true in higher dimension.
2.2 Homogeneous Manifolds
A connected homogeneous manifold M can be described as a quotient manifold G/K, where G is a Lie group, which is supposed to be connected, acting transitively and effectively on M and K is the isotropy subgroup of G at some point \(o\in M,\) the origin of G/K. Denote by \(\pi _{K}\) the projection \(\pi _{K}:G\rightarrow G/K,\) \(\pi _{K}(a) = aK,\) and by \(\tau _{b},\) for each \(b\in G,\) the translation \(\tau _{b}:G/K\rightarrow G/K,\) \(\tau _{b}(aK) = baK.\) If, moreover, g is a G-invariant Riemannian metric on \(M = G/K,\) then (M, g) is said to be a homogeneous Riemannian manifold.
When G is compact, there exists a positive-definite \(\mathrm{Ad}(G)\)-invariant 2-form \(\langle \cdot ,\cdot \rangle \) on the Lie algebra \({{\mathfrak {g}}}\) of G and we have the reductive decomposition \({{\mathfrak {g}}} = {{\mathfrak {m}}}\oplus {{\mathfrak {k}}},\) \({{\mathfrak {m}}}\) being the \(\langle \cdot ,\cdot \rangle \)-orthogonal complement of the Lie algebra \({{\mathfrak {k}}}\) of K. Then the restriction of \(\langle \cdot ,\cdot \rangle \) to \({{\mathfrak {m}}}\) determines a G-invariant metric g on M.
The differential map \((\pi _{K})_{*e}\) of \(\pi _{K}\) at the identity element e of G gives a linear isomorphism of \({{\mathfrak {m}}}\) onto \(T_{o}(G/K).\) Here and in what follows, \(T_{o}(G/K)\) is identified with \({{\mathfrak {m}}}\) via \((\pi _{K})_{*e}.\) It is clear that there exists a sufficiently small neighborhood \(O_{\mathfrak m}\subset {{\mathfrak {m}}}\) of zero in \({{\mathfrak {m}}}\) such that \(\exp (O_{{\mathfrak {m}}})\) is a submanifold of G and the mapping \(\pi _{K\mid \exp (O_{{\mathfrak {m}}})}\) is a diffeomorphism onto a neighborhood \({{\mathcal {U}}}_{o}\) of o. Then, for each \(\xi \in {{\mathfrak {m}}},\) define \(\xi ^{\tau }\) as the vector field on \({{\mathcal {U}}}_{o}\) such that \(\xi ^{\tau }_{\exp x K} = (\tau _{\exp x})_{*o}\xi ,\) for all \(x\in O_{{\mathfrak {m}}}.\) Then \(\xi ^{\tau } = (\pi _{K})_{*}\xi ^\mathtt{l},\) where \(\xi ^\mathtt{l}\) denotes the left G-invariant vector field on G such that \(\xi ^\mathtt{l}_{e} = \xi .\) Under the identification \(T_{o}(G/K)\cong {{\mathfrak {m}}},\) \(\xi ^{\tau }_{o}=\xi \) and \([\xi _{1}^{\tau },\xi ^{\tau }_{2}]_{o} = [\xi _{1},\xi _{2}]_{{\mathfrak {m}}},\) where \([\cdot ,\cdot ]_{\mathfrak m}\) denotes the \({{\mathfrak {m}}}\)-component of \([\cdot ,\cdot ]\) (see [16]).
Let \(\alpha :{{\mathfrak {m}}}\times {{\mathfrak {m}}}\rightarrow {\mathfrak m}\) be the \(\mathrm{Ad}(K)\)-invariant bilinear function that determines \(\nabla ,\) given by \(\alpha (\xi _{1},\xi _{2}) = \nabla _{\xi _{1}}\xi _{2}^{\tau },\) for all \(\xi _{1},\xi _{2}\in {{\mathfrak {m}}}.\) Then, using the Koszul formula, we have
where \({{\mathfrak {U}}}\) is the symmetric bilinear function on \({{\mathfrak {m}}}\times {{\mathfrak {m}}}\) such that
When \({{\mathfrak {U}}} = 0,\) (G/K, g) is said to be naturally reductive. A G-invariant vector field X on G/K is Killing if and only if \(\langle \alpha (\xi _{1},\xi ),\xi _{2}\rangle + \langle \alpha ({\xi _{2}},\xi ),\xi _{1}\rangle = 0,\) for all \(\xi _{1},\xi _{2}\in {{\mathfrak {m}}},\) where \(\xi = X_{o}\in {\mathfrak m}.\) But, from (2.4) and (2.5), we get \(\langle \alpha (\xi _{1},\xi ),\xi _{2}\rangle + \langle \alpha ({\xi _{2}},\xi ),\xi _{1}\rangle = -2\langle {\mathfrak U}(\xi _{1},\xi _{2}),\xi \rangle .\) Hence, X is a Killing vector field if and only if \(\langle {{\mathfrak {U}}}(\cdot ,\cdot ),\xi \rangle = 0.\) In particular, on naturally reductive homogeneous manifolds any G-invariant vector field must be Killing.
2.3 Tangent Bundles
Let \(M = G/K\) be a homogeneous manifold. On the trivial vector bundle \(G\times {{\mathfrak {m}}}\) consider two Lie group actions which commute on it: the left G-action, \(l_b :(a,x)\mapsto (ba,x)\) and the right K-action \(r_k :(a,x)\mapsto (ak,\mathrm{Ad}_{k^{-1}}x)\).
Let \(\pi :G\times {{\mathfrak {m}}}\rightarrow G\times _K {{\mathfrak {m}}},\) \((a,x)\mapsto [(a,x)],\) be the natural projection for this right K-action. Then \(\pi \) is G-equivariant and, because the linear isotropy group \(\{(\tau _{k})_{*o} \, : k\in K\}\) acting on \(T_{o}(G/K)\) corresponds under \((\pi _{K})_{*e}\) with \(\mathrm{Ad}(K)\) on \({{\mathfrak {m}}},\) the mapping \(\phi \) given by
is a G-equivariant diffeomorphism.
Next, we determine the tangent space \(T_{[(a,x)]}G\times _{K}{{\mathfrak {m}}}\) for all \((a,x)\in G\times {{\mathfrak {m}}}.\) For each \(\xi \in {{\mathfrak {g}}},\) \(\xi = \xi _{{\mathfrak {m}}} + \xi _{{\mathfrak {k}}}\in {\mathfrak m}\oplus {{\mathfrak {k}}},\)
Then, since \(\pi _{*(a,x)}(\xi ^\mathtt{l}_{g},u_{x}) = \pi _{*(a,x)}(((\xi _{{\mathfrak {m}}})^\mathtt{l}_{a},u_{x}) +( (\xi _{{\mathfrak {k}}})^\mathtt{l}_{a},0)),\) it follows that
and we have
3 Compact Rank-One Symmetric Spaces
3.1 Restricted Roots of Symmetric Spaces of Compact Type
We review a few facts about complex simple Lie algebras and symmetric spaces. See [11, Ch. III and Ch. VII] for more details. Suppose that \({{\mathfrak {g}}}\) is a compact simple Lie algebra and denote by \({{\mathfrak {g}}}^{{\mathbb {C}}}\) its complexification. If \({{\mathfrak {t}}}^{{\mathbb {C}}}\) is a Cartan subalgebra of \({{\mathfrak {g}}}^{{\mathbb {C}}},\) we have the root space decomposition
where \(\Delta \) is the root system of \({{\mathfrak {g}}}^{{\mathbb {C}}}\) with respect to \({{\mathfrak {t}}}^{{\mathbb {C}}}\) and \({\mathfrak g}_{\alpha } = \{\xi \in {{\mathfrak {g}}}^{{\mathbb {C}}}\;:\;\mathrm{ad}_{t}\xi = \alpha (t)\xi ,\;t\in {{\mathfrak {t}}}^{{\mathbb {C}}}\}.\)
Let \(\Pi = \{\alpha _{1},\dots ,\alpha _{l}\}\) be a basis of \(\Delta .\) Because the restriction of the Killing form \({{\mathbf {B}}}\) of \({{\mathfrak {g}}}^{{\mathbb {C}}}\) to \({{\mathfrak {t}}}^{{\mathbb {C}}} \times {{\mathfrak {t}}}^{{\mathbb {C}}}\) is nondegenerate, there exists a unique element \(t_{\alpha }\in {{\mathfrak {t}}}^{{\mathbb {C}}}\) such that \({{\mathbf {B}}}(t,t_{\alpha }) = \alpha (t),\) for all \(t\in {\mathfrak t}^{{\mathbb {C}}}\) and \({{\mathfrak {t}}}^{{\mathbb {C}}}\) is expressed as \({{\mathfrak {t}}}^{{\mathbb {C}}} = \sum _{\alpha \in \Delta }{\mathbb {C}}t_{\alpha }.\) Put \(<\alpha ,\beta > ={\mathbf {B}}(t_{\alpha },t_{\beta }).\)
Choose root vectors \(\{E_{\alpha }\}_{\alpha \in \Delta }\) such that \(E_{\alpha }\) and \(E_{\beta }\) are orthogonal under \({{\mathbf {B}}},\) if \(\alpha + \beta \ne 0,\) and \({{\mathbf {B}}}(E_{\alpha },E_{-\alpha }) = 1\) and define the number \(N_{\alpha ,\beta }\) by \([E_{\alpha },E_{\beta }] = N_{\alpha ,\beta }E_{\alpha + \beta },\) if \(\alpha + \beta \in \Delta \) and \(N_{\alpha ,\beta } = 0\) if \(\alpha + \beta \not \in \Delta .\) Then
and, if \(\alpha ,\beta ,\gamma \in \Delta \) and \(\alpha + \beta + \gamma = 0,\)
Moreover, given an \(\alpha \)-series \(\beta + n\alpha \) \((p\le n\le q)\) containing \(\beta ,\)
Denote by \(\Delta ^{+}\) the set of positive roots of \(\Delta \) with respect to some lexicographic order in \(\Pi .\) Then each \(\alpha \in \Delta ^{+}\) may be written as \(\alpha = \sum _{k=1}^{l}n_{k}(\alpha )\alpha _{k},\) where \(n_{k}(\alpha )\in {{\mathbb {Z}}},\) \(n_{k}(\alpha )\ge 0,\) for all \(k = 1,\dots , l,\) and \({{\mathfrak {g}}}\) as subspace of \({{\mathfrak {g}}}^{{\mathbb {C}}}\) is given by
where \({{\mathfrak {t}}} = \sum _{\alpha \in \Delta }{{\mathbb {R}}} \mathrm{i} t_{\alpha },\) \(U^{0}_{\alpha } = E_{\alpha }-E_{-\alpha }\) and \(U^{1}_{\alpha } = {\mathrm i}(E_{\alpha } + E_{-\alpha }).\) Using [11, Theorem 5.5, Ch. III], we obtain the following.
Lemma 3.1
For all \(\alpha ,\beta \in \Delta ^{+}\) and \(a = 0,1,\) the following equalities hold:
-
(i)
\([U^{a}_{\alpha },i t_{\beta }] = (-1)^{a+1}<\alpha ,\beta > U^{a+1}_{\alpha };\)
-
(ii)
\([U^{0}_{\alpha },U^{1}_{\alpha }] = 2i t_{\alpha };\)
-
(iii)
\([U^{a}_{\alpha },U^{b}_{\beta }] = (-1)^{ab}N_{\alpha ,\beta }U^{a+b}_{\alpha + \beta } + (-1)^{a+b}N_{-\alpha ,\beta }U^{a+b}_{\alpha -\beta },\) where \(\alpha \ne \beta \) and \(a\le b.\)
If G/K is a symmetric spaces of compact type, then G is a compact semisimple Lie group and there exists an involutive automorphism \(\sigma :{{\mathfrak {g}}}\rightarrow {{\mathfrak {g}}}\) such that the corresponding \(\pm 1\)-eigenspaces \({{\mathfrak {k}}} =\{\xi \in {{\mathfrak {g}}}:\sigma (\xi ) = \xi \}\) and \({{\mathfrak {m}}} = \{\xi \in {{\mathfrak {g}}}:\sigma (\xi ) = -\xi \}\) determine a reductive decomposition \({{\mathfrak {g}}} = {{\mathfrak {m}}}\oplus {{\mathfrak {k}}}\) with \([{{\mathfrak {m}}},{{\mathfrak {m}}}]\subset {\mathfrak k}.\)
Let \(\mu = \sum _{i=1}^{l}m_{i}\alpha _{i}\) be the maximal root of \(\Delta \) and consider \(t_{j}\in {{\mathfrak {t}}}^{{\mathbb {C}}},\) \(j=1,\dots ,l,\) defined by \(\alpha _{k}(t_{j}) = (1/m_{j})\delta _{jk},\) \( j,k = 1,\dots ,l.\) Each inner automorphism of order 2 on \({{\mathfrak {g}}}^{{\mathbb {C}}}\) is conjugate in the inner automorphism group of \({{\mathfrak {g}}}^{{\mathbb {C}}}\) to some \(\sigma = Ad_{\exp 2\pi \mathrm{i} t},\) where \(t = (1/2)t_{k}\) with \(m_{k}=1\) (Hermitian symmetric space) or \(t = t_{k}\) with \(m_{k} = 2\) (non-Hermitian symmetric space). Denote by \(\Delta ^{+}(t)\) the positive root system generated by \(\Pi (t),\) where \(\Pi (t) = \{\alpha _{j}\in \Pi :j\ne k\},\) if \(m_{k} = 1,\) and \(\Pi (t) = \{\alpha _{j}\in \Pi :j\ne k\}\cup \{-\mu \},\) if \(m_{k} = 2.\) Then, \({{\mathfrak {t}}}\subset {{\mathfrak {k}}},\) or equivalently \(\mathrm{rank}\;{{\mathfrak {g}}} = \mathrm{rank}\;{{\mathfrak {k}}},\) and
Because \({{\mathbf {B}}}(U^{a}_{\alpha },U^{b}_{\beta }) = -2\delta _{\alpha \beta }\delta _{ab},\) it follows that the set \(\{U^{a}_{\alpha }:a=0,1;\, \alpha \in \Delta ^{+}{\setminus }\Delta ^{+}(t)\}\) is an orthonormal basis for \(({{\mathfrak {m}}}, -\frac{1}{2}{{\mathbf {B}}}_{\mid {{\mathfrak {m}}}}).\)
Suppose that G/K has rank \({{\mathbf {r}}}.\) Then, fixed a \({\mathbf{r}}\)-dimensional Cartan subspace \({{\mathfrak {a}}}\) of \({{\mathfrak {m}}},\) there exists a \(\sigma \)-invariant Cartan subalgebra \({\mathfrak t}_{{\mathfrak {a}}}\) of \({{\mathfrak {g}}}\) containing \({{\mathfrak {a}}}.\) This implies that \({{\mathfrak {t}}}_{{\mathfrak {a}}} = {\mathfrak a}\oplus {{\mathfrak {t}}}_{0},\) where \({{\mathfrak {t}}}_{0} = {\mathfrak t}_{{\mathfrak {a}}}\cap {{\mathfrak {k}}},\) and the complexification \({{\mathfrak {t}}}_{{\mathfrak {a}}}^{{\mathbb {C}}}\) is a Cartan subalgebra of \({{\mathfrak {g}}}^{{\mathbb {C}}}.\)
The set \(\Sigma = \{\lambda \in ({{\mathfrak {a}}}^{\mathbb C})^{*}:\lambda = \alpha _{\mid {{\mathfrak {a}}}^{\mathbb C}},\,\alpha \in \Delta {\setminus } \Delta _{0}\}\) of non-vanishing restrictions of roots to \({{\mathfrak {a}}}^{{\mathbb {C}}},\) where \(\Delta _{0} = \{\alpha \in \Delta :\alpha _{\mid {\mathfrak a}^{{\mathbb {C}}}} = 0\},\) is known as the set of restricted roots of \(({{\mathfrak {g}}},{{\mathfrak {k}}},{{\mathfrak {a}}}).\) Denote by \(\Sigma ^{+}\) the subset of positive restricted roots in \(\Sigma \) determined \(\Delta ^{+}\) and by \(m_{\lambda }\) the multiplicity of \(\lambda \in \Sigma ^{+},\) that is, \(m_{\lambda } = \mathrm{card}\{\alpha \in \Delta :\alpha _{\mid {{\mathfrak {a}}}^{\mathbb C}} = \lambda \}.\) For each linear form \(\lambda \) on \({\mathfrak a}^{{\mathbb {C}}}\) put
Then \({{\mathfrak {m}}}_{\lambda }={{\mathfrak {m}}}_{-\lambda }\), \({\mathfrak k}_{\lambda }={{\mathfrak {k}}}_{-\lambda }\), \({{\mathfrak {m}}}_0={\mathfrak a}\) and \({{\mathfrak {k}}}_0\) equals to the centralizer \({{\mathfrak {h}}}\) of \({{\mathfrak {a}}}\) in \({{\mathfrak {k}}},\) that is,
Clearly \({{\mathfrak {t}}}_{0}\) is a maximal abelian subalgebra of \({{\mathfrak {h}}}\) and \(\mathrm{rank}\; {{\mathfrak {h}}} = \mathrm{rank}\;{{\mathfrak {g}}} - {{\mathbf {r}}}.\) Put \({{\mathfrak {h}}} = {\mathfrak h}_{0}\oplus {{\mathfrak {h}}}_{1},\) where \({{\mathfrak {h}}}_{0} = {{\mathfrak {t}}}_{0}\) and \({{\mathfrak {h}}}_{1}\) is the orthogonal complement of \({{\mathfrak {h}}}_{0}\) in \({{\mathfrak {h}}}.\) By [11, Ch. VII, Lemma 11.3], the following decompositions are direct and orthogonal:
Define the linear function \(\lambda _{{\mathbb {R}}} :{\mathfrak a}\rightarrow {{\mathbb {R}}}\), \(\lambda \in \Sigma ^+\), by the relation \(\mathrm{i}\lambda _{{\mathbb {R}}}=\lambda \). Note that, since the Lie algebra \({{\mathfrak {g}}}\) is compact, \(\lambda ({{\mathfrak {a}}})\subset \mathrm{i} {{\mathbb {R}}}\). From [10, Lemma 4.2] we have that for any vector \(\xi _\lambda \in {{\mathfrak {m}}}_\lambda \), \(\lambda \in \Sigma ^+\), there exists a unique vector \(\zeta _\lambda \in {{\mathfrak {k}}}_\lambda \) such that
3.2 Restricted Roots of Compact Rank-One Symmetric Spaces
Compact rank-one Riemannian symmetric spaces can be characterized as those symmetric spaces with strictly positive curvature. They are Euclidean spheres, real, complex and quaternionic projective spaces and the Cayley plane [4, Ch. 3]. Their quotient expressions G/K as symmetric spaces appear in Table 1.
Except for odd-dimensional spheres \({{\mathbb {S}}}^{2n-1} = G/K = {\textit{SO}}(2n)/{\textit{SO}}(2n-1)\) \((n\ge 2),\) where \(\mathrm{rank}\,{{\mathfrak {g}}} = n>\mathrm{rank}\,{{\mathfrak {k}}} = n-1,\) the rest of all compact rank-one symmetric spaces admit inner automorphisms. Note that \(\dim {{\mathfrak {a}}} = 1\) and, from Lemma 3.1 and (3.12), a compact symmetric space G/K has rank one if and only if \(\alpha + \beta \ne 0\) or \(\alpha -\beta \ne 0,\) for all \(\alpha ,\beta \in \Delta ^{+}{\setminus } \Delta ^{+}(t),\) \(\alpha \ne \beta .\)
Each compact rank-one symmetric space is described in detail below. As a consequence, the following lemmas, Lemmas 3.2 and 3.3, are proven.
Lemma 3.2
The restricted root system \(\Sigma \) of \(({{\mathfrak {g}}},{{\mathfrak {k}}},{{\mathfrak {a}}})\) is either \(\Sigma = \{\pm \varepsilon \}\) or \(\Sigma = \{\pm \varepsilon ,\pm \frac{1}{2}\varepsilon \},\) where \(\varepsilon \in ({{\mathfrak {a}}}^{{\mathbb {C}}})^{*}.\) The corresponding multiplicities \(m_\varepsilon \), \(m_{\varepsilon /{\scriptscriptstyle 2}}\) of these roots and the Lie algebra \({{\mathfrak {h}}}\) are listed in Table 1.
Denote by X the unique (basis) vector \(X\in {{\mathfrak {a}}}\) such that \(\varepsilon _{{\mathbb {R}}}(X) = 1,\) where \(\varepsilon = \mathrm{i}\varepsilon _{{\mathbb {R}}}.\) Multiplying the inner product \(\langle \cdot ,\cdot \rangle \) by a positive constant, we can assume that \(\langle X,X\rangle = 1.\)
To simplify notations we put \({{\mathfrak {m}}}^{+} = {{\mathfrak {m}}}_{\varepsilon }\oplus {{\mathfrak {m}}}_{\varepsilon /2}\) and \({{\mathfrak {k}}}^{+} = {{\mathfrak {k}}}_{\varepsilon }\oplus {\mathfrak k}_{\varepsilon /2},\) where \({{\mathfrak {m}}}_{\varepsilon /2}= 0\) and \({{\mathfrak {k}}}_{\varepsilon /2} =0\) if \(\varepsilon /2\) is not in \(\Sigma .\) Then fixing in \({{\mathfrak {m}}}_{\varepsilon }\) and \({{\mathfrak {m}}}_{\varepsilon /2}\) some \(\langle \cdot ,\cdot \rangle \)-orthonormal basis \(\{\xi ^{j}_{\varepsilon }\}\) and \(\{\xi ^{p}_{\varepsilon /2}\},\) \(j = 1,\dots , m_{\varepsilon },\) \(p = 1,\dots , m_{\varepsilon /2},\) we take the unique bases \(\{\zeta ^{j}_{\varepsilon }\}\) and \(\{\zeta ^{p}_{\varepsilon /2}\}\) of \({{\mathfrak {k}}}_{\varepsilon }\) and \({{\mathfrak {k}}}_{\varepsilon /2}\) satisfying (3.14) for \(\lambda = \varepsilon \) and \(\lambda = \varepsilon /2.\) Clearly these last two basis are also \(\langle \cdot ,\cdot \rangle \)-orthonormal.
Lemma 3.3
We have
for all \(j = 1,\dots , m_{\varepsilon }\) and \(p = 1,\dots , m_{\varepsilon /2}.\)
Applying [11, Ch. VII, Lemma 11.4, p. 335]), it is immediate the following.
Lemma 3.4
We have:
Case 1: \({{\mathbb {S}}}^{n},\) \({{\mathbb {R}}}{\mathbf {P}}^{n}\) \((n\ge 2).\) Denote by \(E_{jk}\) the \((n+1)\times (n+1)\)-matrix with 1 in the entry of the jth row and the kth column and 0 elsewhere. Then the set of matrices \(\{A_{jk} = E_{jk} - E_{kj}:1\le j<k\le n+1\}\) is an orthonormal basis of the Lie algebra \({{\mathfrak {s}}}{{\mathfrak {o}}}(n+1)\) of \({\textit{SO}}(n+1)\) with respect to the invariant trace form \(\langle A,B\rangle = -\frac{1}{2}\mathrm{trace AB},\) for all \(A,B\in {{\mathfrak {s}}}{\mathfrak o}(n+1).\) Here, \({{\mathfrak {k}}} = {{\mathbb {R}}}\{A_{jk}\}_{2\le j<k\le n+1}\) is isomorphic to \({{\mathfrak {s}}}{{\mathfrak {o}}}(n)\) and \({{\mathfrak {m}}}= {{\mathbb {R}}}\{A_{1k}\}_{2\le k\le n+1}\) is its orthogonal complement in \({{\mathfrak {s}}}{{\mathfrak {o}}}(n+1).\) We take as Cartan subspace to \({{\mathfrak {a}}} = {{\mathbb {R}}}X,\) where \(X= A_{12}.\) Then the centralizer \({{\mathfrak {h}}}\) of \({{\mathfrak {a}}}\) in \({{\mathfrak {k}}}\) is given by
Because \(\mathrm{ad}^{2}_{X}A_{1k} = -A_{1k},\) for \(k = 3,\dots ,n+1,\) it follows that \({{\mathfrak {m}}}_{\varepsilon } ={\mathbb R}\{A_{1k}\}_{k = 3,}{\dots , n+1}.\) This implies that \(\Sigma ^{+} = \{\varepsilon \},\) \(m_{\varepsilon } = n-1\) and \(m_{\varepsilon /2} = 0.\)
Case 2: \({{\mathbb {C}}}{{\mathbf {P}}}^{n}\) \((n\ge 2).\) Consider \({{\mathfrak {g}}} = {{\mathfrak {s}}}{{\mathfrak {u}}}(n+1)\) as compact real form of the complex simple Lie algebra \({\mathfrak a}_{n} = {{\mathfrak {s}}}{{\mathfrak {l}}}(n+1,{{\mathbb {C}}}).\) Let \(\Pi = \{\alpha _{1},\dots ,\alpha _{n}\}\) be a system of simple roots. Then the set \(\Delta ^{+}\) of positive roots is expressed as
We get \(\langle \alpha _{1},\alpha _{1}\rangle = \dots = \langle \alpha _{n},\alpha _{n}\rangle = -\frac{1}{2}\langle \alpha _{k},\alpha _{k+1}\rangle ,\) for all \(k = 1,\dots , n-1,\) being zero the rest of the products of basic elements.
The complex projective space \({{\mathbb {C}}}{{\mathbf {P}}}^{n}\) is obtained for the inner automorphism \(\sigma = \mathrm{Ad}_{\exp 2\pi i t},\) where \(t = \frac{1}{2}t_{1}\) (or, equivalently, \(t = \frac{1}{2}t_{n}).\) Then \(\Pi (t) = \{\alpha _{2},\dots ,\alpha _{n}\},\) \(\Delta ^{+}(t) = \{\alpha _{pq}:2\le p\le q \le n\}\) and \(\Delta ^{+}{\setminus } \Delta ^{+}(t) = \{\alpha _{1q}:1\le q\le n\}.\) We choose as Cartan subspace to \({{\mathfrak {a}}} = {{\mathbb {R}}} U^{0}_{\alpha _{1}}.\)
From Lemma 3.1 it follows that \([U^{0}_{\alpha _{1}}, i t_{\alpha _{1}} + i t_{\alpha _{2}}] = 0\) and \([U^{0}_{\alpha _{1}},i t_{\alpha _{k}}] = 0,\) for all \(k = 3,\dots ,n.\) Therefore, the Cartan subalgebra \({{\mathfrak {t}}}^{{\mathbb {C}}}_{{\mathfrak {a}}}\) of \({{\mathfrak {a}}}_{n}\) is the complexification of \({\mathfrak t}_{{\mathfrak {a}}} = {{\mathfrak {a}}}\oplus {{\mathfrak {t}}}_{0},\) where \({{\mathfrak {t}}}_{0} = {{\mathbb {R}}}\{i t_{\alpha _{1}} + 2 i t_{\alpha _{2}},\; i t_{\alpha _{k}}\;(k = 3,\dots ,n)\}.\)
Put \(X= \beta U^{0}_{\alpha _{1}},\) where \(\beta = (2\langle \alpha _{1},\alpha _{1}\rangle )^{-1}.\) Then, using Lemma 3.1 and (3.9), (3.10) and (3.11), we have
for all \(a = 0,1\) and \(j =1,\dots , n-1.\) Hence, \({\mathfrak m}_{\varepsilon } = {{\mathbb {R}}}U^{1}_{\alpha _{1}}\) and \({\mathfrak m}_{\varepsilon /2}= {{\mathbb {R}}}\{U^{a}_{\alpha _{1(j+1)}}:a = 0,1;\;1\le j\le n-1\}.\) Since \(\dim {{\mathfrak {m}}}_{\varepsilon /2} = 2(n-1),\) it follows that \(\Sigma ^{+} = \{\varepsilon , \frac{1}{2}\varepsilon \}.\)
We choose the inner product \(\langle \cdot ,\cdot \rangle \) such that on \({{\mathfrak {m}}}\) it is proportional to \({{\mathbf {B}}}_{\mid {\mathfrak m}}\) and \(\langle X,X\rangle = 1.\) Then, \(\langle \cdot ,\cdot \rangle = -\langle \alpha _{1},\alpha _{1}\rangle {\mathbf{B}}(\cdot ,\cdot ).\) Hence \(\xi _{\varepsilon } = \beta U^{1}_{\alpha _{1}}\) is a unit vector of \({\mathfrak m}_{\varepsilon }\) and the set of vectors
forms an orthonormal basis for \({{\mathfrak {m}}}_{\varepsilon /2}.\) Applying Lemma 3.1 and (3.14), \({\mathfrak k}_{\varepsilon } = {{\mathbb {R}}}\zeta _{\varepsilon }\) and \({\mathfrak k}_{\varepsilon /2} = {{\mathbb {R}}}\{\zeta ^{j,a}_{\varepsilon /2}:\, a = 0,1,\; j = 1,\dots , n-1\},\) where \(\zeta _{\varepsilon } = -\mathrm{i}\langle \alpha _{1},\alpha _{1}\rangle ^{-1} t_{\alpha _{1}}\) and \(\zeta ^{j,a}_{\varepsilon /2} = \beta U^{a}_{\alpha _{2(j+1)}}.\)
Let \(\Delta ^{+}_{1}(t) = \{\alpha \in \Delta ^{+}(t):\alpha \pm \alpha _{1}\not \in \Delta \} = \{\alpha _{pq}:3\le p\le q \le n\}.\) Then \({{\mathfrak {h}}} = {{\mathfrak {h}}}_{0} \oplus {\mathfrak h}_{1},\) where \({{\mathfrak {h}}}_{0} = {{\mathfrak {t}}}_{0}\) and \({{\mathfrak {h}}}_{1} = \sum _{\alpha \in \Delta ^{+}_{1}(t)} ({{\mathbb {R}}} U^{0}_{\alpha } + {{\mathbb {R}}}U^{1}_{\alpha }).\) From Lemma 3.1, the vector \(Z_{1}\) given by
belongs to the center \({{\mathfrak {z}}}({{\mathfrak {h}}})\) of \({\mathfrak h}\) and
where \({{\mathfrak {h}}}_{s} = {{\mathbb {R}}}\{\mathrm{i}t_{\alpha _{k}}:k = 3,\dots , n\}\oplus {{\mathfrak {h}}}_{1} = {{\mathfrak {s}}}{\mathfrak u}(n-1)\) is the maximal semisimple ideal \([{{\mathfrak {h}}},{\mathfrak h}]\) of \({{\mathfrak {h}}}.\) By direct calculation, using (3.14) and (3.16), the nonzero brackets of basic elements of \({{\mathfrak {m}}}^{+}\oplus {{\mathfrak {k}}}^{+}\) satisfy the following equalities:
Case 3: \({{\mathbb {H}}}{{\mathbf {P}}}^{n}\) \((n\ge 1).\) The Lie algebra \({{\mathfrak {g}}} = {\mathfrak {sp}}(n+1)\) of \({\textit{Sp}}(n+1)\) is a compact real form of \({{\mathfrak {c}}}_{n+1} = {\mathfrak {sp}}(n+1,{{\mathbb {C}}}),\) and
is a set of positive roots, where \(\widetilde{{\alpha }_{pq}}= \alpha _{p} +\dots + 2\alpha _{q} + \dots + 2\alpha _{n} + \alpha _{n+1},\) for \(1\le p< q\le n,\) and \(\widetilde{\alpha _{pp}} = 2\alpha _{p} + \dots + 2\alpha _{n}+ \alpha _{n+1},\) for \(1\le p\le n.\) The maximal root is \(\mu = \widetilde{\alpha _{11}}\) and the inner product \(\langle \cdot ,\cdot \rangle \) on \(\Pi = \{\alpha _{1},\dots ,\alpha _{n+1}\}\) satisfies
\(1\le j\le n-1,\) being zero the rest of products of basic elements.
The quaternionic projective space \({{\mathbb {H}}}{{\mathbf {P}}}^{n}\) appears for \(\sigma = \mathrm{Ad}_{\exp 2\pi \mathrm{i}t},\) where \(t = t_{1}.\) Then, \(\Pi (t) = \{-\mu ,\alpha _{2},\dots ,\alpha _{n+1}\}.\) Hence, \(\Delta ^{+}(t) = \{\alpha _{p,q}\;(2\le p\le q \le n+1),\; \widetilde{\alpha _{p,q}}\;(2\le p\le q \le n),\mu \}\) and \(\Delta ^{+}{\setminus } \Delta ^{+}(t) = \{\alpha _{1q}\;(1\le q \le n+1),\widetilde{\alpha _{1q}}\;(2\le q\le n)\}.\)
From (3.12), \({{\mathfrak {k}}} = {{\mathfrak {s}}}{\mathfrak p}(1)\oplus {{\mathfrak {s}}}{{\mathfrak {p}}}(n),\) where \({\mathfrak s}{{\mathfrak {p}}}(1)\cong {{\mathbb {R}}}\{\mathrm{i}t_{\alpha _{\mu }}, U^{0}_{\mu },U^{1}_{\mu }\}.\) By Lemma 3.1, because \(\mu \pm \alpha \notin \Delta \) and \(\langle \mu ,\alpha \rangle = 0,\) for all \(\alpha \in \Delta ^{+}(t),\) this subalgebra is the center \({{\mathfrak {z}}}({{\mathfrak {k}}})\) of \({{\mathfrak {k}}}.\)
We choose as Cartan subalgebra to \({{\mathfrak {a}}} = {\mathbb R}U^{0}_{\alpha _{1}}.\) From Lemma 3.1, it follows that the Cartan subalgebra \({{\mathfrak {t}}}^{{\mathbb {C}}}_{{\mathfrak {a}}}\) of \({{\mathfrak {c}}}_{n+1}\) containing \({{\mathfrak {a}}}\) is the complexification of \({{\mathfrak {t}}}_{{\mathfrak {a}}} = {{\mathfrak {a}}} \oplus {{\mathfrak {t}}}_{0},\) where \({{\mathfrak {t}}}_{0} = {\mathbb R}\{\mathrm{i}t_{\alpha _{1}} + 2\mathrm{i}t_{\alpha _{2}},\mathrm{i}t_{\alpha _{k}}\; (k = 3,\dots , n+1)\}.\) Put \(X = \beta U^{0}_{\alpha _{1}},\) where \(\beta = (2\langle \alpha _{1},\alpha _{1}\rangle )^{-1/2}.\) Applying again Lemma 3.1 and using (3.9), (3.10) and (3.11), we have
for \(a = 0,1,\) \(j = 1,\dots ,n\) and \(k = 1,\dots ,n-2.\) We choose the inner product \(\langle \cdot ,\cdot \rangle = -\langle \alpha _{1},\alpha _{1}\rangle {{\mathbf {B}}}(\cdot ,\cdot ).\) Then \(\{\xi _{\varepsilon }^{1},\xi ^{2}_{\varepsilon },\xi ^{3}_{\varepsilon }\}\) is an \(\langle \cdot ,\cdot \rangle \)-orthonormal basis of \({\mathfrak m}_{\varepsilon },\) where \(\xi ^{1}_{\varepsilon } = \beta U^{1}_{\alpha _{1}}\) and \(\xi ^{2 +a}_{\varepsilon } = \beta U^{a}_{\widetilde{\alpha _{12}}},\) \(a = 0,1,\) and the set of vectors
form an orthonormal basis for \({{\mathfrak {m}}}_{\varepsilon /2}.\) From Lemma 3.1 and (3.14), we have that the vectors
form an orthonormal basis of \({{\mathfrak {k}}}_{\varepsilon }\) and, of \({{\mathfrak {k}}}_{\varepsilon /2},\) the following set of vectors
Let \(\Delta ^{+}_{1}(t) = \{\alpha \in \Delta ^{+}(t):\alpha \pm \alpha _{1}\not \in \Delta \} = \{\alpha _{pq}\; (3\le p\le q \le n +1),\; \widetilde{\alpha _{pq}}\; (3\le p\le q \le n)\}.\) Then \({{\mathfrak {h}}} = {{\mathfrak {h}}}_{0} \oplus {{\mathfrak {h}}}_{1},\) where \({{\mathfrak {h}}}_{0} = {{\mathfrak {t}}}_{0}\) and \({{\mathfrak {h}}}_{1}\) is the subspace
Hence, \({{\mathfrak {h}}} = {{\mathbb {R}}}\{\mathrm{i} t_{\alpha _{1}} + 2\mathrm{i} t_{\alpha _{2}}, U^{a}_{\mu } +U^{a}_{\widetilde{\alpha _{22}}};\;a = 0,1\}\oplus {{\mathfrak {s}}}{{\mathfrak {p}}}(n-1).\) By Lemma 3.1 and since \(\mu \pm \widetilde{\alpha _{22}}\notin \Delta ,\) \(\langle \mu ,\widetilde{\alpha _{22}}\rangle = 0\) and \(\langle \mu ,\mu \rangle = \langle \widetilde{\alpha _{22}},\widetilde{\alpha _{22}}\rangle = 2\langle \alpha _{1},\alpha _{1}\rangle ,\) \({{\mathbb {R}}}\{\mathrm{i}t_{\mu } + \mathrm{i}t_{\widetilde{\alpha _{22}}}, U^{a}_{\mu } + U^{a}_{\widetilde{\alpha _{22}}}\}\) is a subalgebra isomorphic to \({{\mathfrak {s}}}{{\mathfrak {p}}}(1),\) which using that \(\langle \mu ,\alpha \rangle = \langle \widetilde{\alpha _{22}},\alpha \rangle = 0,\) \(\mu \pm \alpha \notin \Delta \) and \(\widetilde{\alpha _{22}}\pm \alpha \notin \Delta \) for all \(\alpha \in \Delta ^{+}_{1}(t),\) it is the center \({{\mathfrak {z}}}({{\mathfrak {h}}})\) of \({{\mathfrak {h}}}.\) On the other hand, \(\mathrm{i}t_{\mu } + \mathrm{i}t_{\widetilde{\alpha _{22}}} = 2((\mathrm{i}t_{\alpha _{1}} + 2\mathrm{i}t_{\alpha _{2}}) + 2(\mathrm{i}t_{\alpha _{3}} + \dots + \mathrm{i}t_{\alpha _{n}}) + \mathrm{i}t_{\alpha _{n+1}}).\) This implies that \({{\mathfrak {h}}} = {\mathfrak s}{{\mathfrak {p}}}(1)\oplus {{\mathfrak {s}}}{{\mathfrak {p}}}(n-1).\)
Using (3.9), (3.10), (3.11) and Lemma 3.1, we obtain
where \(1\le l\le 2n-2,\) \( 1\le k\le n-2,\) \( a,b = 0,1\) and \(c = a(b+1).\)
Case 4: \({{\mathbb {C}}}a{{\mathbf {P}}}^{2}.\) On \({\mathfrak f}_{4},\) a set of positive roots is given by
where \(\mu = 2\alpha _{1,4} + \alpha _{2,3} + \alpha _{3}\) is the maximal root. We get the following relationships for the nonzero products on \(\Pi =\{\alpha _{1},\alpha _{2},\alpha _{3},\alpha _{4}\}:\)
The Cayley plane \({{\mathbb {C}}}a{{\mathbf {P}}}^{2} = \mathrm{F}_{4}/\mathrm{Spin}(9)\) is obtained for \(\sigma = \mathrm{Ad}_{\exp 2\pi \mathrm{i}t},\) where \(t = t_{4}.\) Then \(\Pi (t) = \{-\mu ,\alpha _{1},\alpha _{2},\alpha _{3}\}.\) Putting \(\beta _{1} = -\mu ,\) \(\beta _{2} = \alpha _{1},\) \(\beta _{3} = \alpha _{2}\) and \(\beta _{4} = \alpha _{3},\) we have
which coincides with a positive root set for \({{\mathfrak {b}}}_{4}:\) and
We choose as Cartan subalgebra to \({{\mathfrak {a}}} = {\mathbb R}U^{0}_{\alpha _{4}}.\) Then, from Lemma 3.1, \({\mathfrak t}^{{\mathbb {C}}}_{{\mathfrak {a}}}\) is the complexification of \({\mathfrak t}_{{\mathfrak {a}}} = {{\mathfrak {a}}} \oplus {{\mathfrak {t}}}_{0},\) where \({{\mathfrak {t}}}_{0} = {{\mathbb {R}}}\{ \mathrm{i}t_{\alpha _{1}}, \mathrm{i}t_{\alpha _{2}}, \mathrm{i}t_{\alpha _{4}} + 2\mathrm{i}t_{\alpha _{3}}\}={{\mathbb {R}}}\{\mathrm{i}t_{\beta _{1}},\mathrm{i}t_{\beta _{2}},\mathrm{i}t_{\beta _{3}}\}.\) Note that \(2(\alpha _{4} + 2\alpha _{3}) = -(\beta _{1} + 2\beta _{2} + 3\beta _{3}).\)
Put \(X = \frac{\sqrt{2}}{2}U^{0}_{\alpha _{4}}\) and take \(\langle \cdot ,\cdot \rangle = -{{\mathbf {B}}}.\) Then applying again Lemma 3.1 and (3.9), (3.10) and (3.11), the following basis is orthonormal for \({{\mathfrak {m}}}_{\varepsilon }\) and \({{\mathfrak {m}}}_{\varepsilon /2},\), respectively:
The corresponding orthonormal basis for \({\mathfrak k}_{\varepsilon }\) is \(\{\zeta ^{1}_{\varepsilon },\zeta ^{p,a}_{\varepsilon }\;(p=2,3), \zeta ^{4,a}_{\varepsilon }\}\) and, for \({\mathfrak k}_{\varepsilon /2},\) \(\{\zeta ^{q,a}_{\varepsilon /2}\;(q = 1,2,3),\zeta ^{4,a}_{\varepsilon /2}\},\) where
The subalgebra \({{\mathfrak {h}}}\subset {{\mathfrak {k}}}\) is of type \({{\mathfrak {b}}}_{3},\) given by \({{\mathfrak {h}}} = {\mathfrak h}_{0}\oplus {{\mathfrak {h}}}_{1},\) where \({{\mathfrak {h}}}_{0} = {{\mathfrak {t}}}_{0}\) and
This proves Lemma 3.2 and, by direct calculation, also Lemma 3.3 for this case.
4 Tangent Sphere Bundles of Compact Rank-One Symmetric Spaces
4.1 Tangent Sphere Bundles as Homogeneous Manifolds
Let \((M=G/K,g)\) be a compact rank-one Riemannian symmetric space and let \({{\mathfrak {a}}} = {{\mathbb {R}}}\{X\}\) be a Cartan subspace of \({{\mathfrak {m}}} = T_{o}M,\) where X is the unique vector in \({{\mathfrak {a}}}\) such that \({\varepsilon }_{{\mathbb {R}}}(X) = 1\) and the G-invariant Riemannian metric g is determined by the inner product \(\langle \cdot ,\cdot \rangle \) such that \(\langle X,X\rangle = 1.\) Consider the Weyl chamber \(W^{+}\) in \({{\mathfrak {a}}}\) containing X given by
which is naturally identified with \({{\mathbb {R}}}^{+}.\) Since each nonzero \(\mathrm{Ad}(K)\)-orbit in \({{\mathfrak {m}}}\) intersects \({{\mathfrak {a}}}\) and also \(W^{+},\) the open dense subset of regular points \({{\mathfrak {m}}}^{R}:= \mathrm{Ad}(K)(W^{+})\) of \({{\mathfrak {m}}}\) is \({{\mathfrak {m}}}{\setminus } \{0\}\) and \(\phi (G\times _{K}{\mathfrak m}^{R})\) is the punctured tangent bundle \(D^{+}(G/K).\) This means that the action of the subgroup \(\mathrm{Ad}(K)\) on the unit sphere \({{\mathcal {S}}}_{{\mathfrak {m}}}(1)\) of \({{\mathfrak {m}}}\) is transitive. Such property characterizes the class of compact rank-one symmetric spaces. In fact, if \(\mathrm{rank} \,G/K\ge 2,\) the hyperplane \(\lambda (w) =0\) for each restricted root \(\lambda \) intersects \({{\mathcal {S}}}_{{\mathfrak {m}}}(1)\) and it implies that the \(\mathrm{Ad}(K)\)-action cannot be transitive on \({{\mathcal {S}}}_{\mathfrak m}(1).\)
Let H be the closed subgroup of K defined by
Then \(H = G_{{\mathfrak {a}}}\cap K,\) where \(G_{{\mathfrak {a}}}\) is the centralizer of \({{\mathfrak {a}}},\) and \({{\mathfrak {h}}}\) is the Lie algebra of H. Moreover, \({{\mathcal {S}}}_{{\mathfrak {m}}}(1),\) under the K-action determined by the isotropy representation, is expressed as the quotient manifold K/H.
Consider the projection \(\pi _{H}\times \mathrm{id}:G\times {\mathbb R}^{+}\rightarrow G/H\times {{\mathbb {R}}}^{+},\) \((a,t)\mapsto (aH,t),\) and the mapping
which is a well-defined G-equivariant diffeomorphism and \((f^{+})^{-1}([(a,\mathrm{Ad}_{k}w)]) = (akH,t),\) for all \(a\in G,\) \(k\in K\) and \(w= tX\in W^{+}.\) Then, \(G/H\times {{\mathbb {R}}}^{+}\) is identified via \(\phi \circ f^{+}\) with \(D^{+}(G/K).\)
Proposition 4.1
The natural action of G on \(T(G/K)\cong G\times _{K}{{\mathfrak {m}}}\) is of cohomogeneity one. The principal orbits are the tangent sphere bundles \(T_{r}(G/K)\) of radius \(r>0,\) which are diffeomorphic to the quotient manifold G/H. The zero section is the unique singular orbit. Moreover, the natural projection \(\pi ^{T}:T_{r}(G/K)\rightarrow G/K\) determines the homogeneous fibration
Proof
From the transitivity of the isotropy action on \({{\mathcal {S}}}_{{\mathfrak {m}}}(1),\) for each \(u\in {{\mathfrak {m}}}{\setminus }\{0\}\) there exists \(k\in K\) such that \(u = r\mathrm{Ad}_{k}X,\) where \(\langle u,u\rangle = r^{2},\) and the G-orbit \(G\cdot [(a,u)] = G\times _{K}\{u\}\) of [(a, u)] in \(G\times _{K}{{\mathfrak {m}}}\) can be expressed as
Let \(\iota _{r}:G/H\rightarrow G/H\times {{\mathbb {R}}}^{+}\) be the imbedding given by \(\iota _{r}(aH) = (aH,r).\) Then \(f^{+}\circ \iota _{r}\) is a G-equivariant diffeomorphism from G/H onto \(G\cdot [(a,u)].\)
Taking into account that for each \((a,x)\in G\times {{\mathfrak {m}}},\) we get \(\langle x,x\rangle = g_{\tau _{g}(o)}((\tau _{a})_{*o}x, (\tau _{a})_{*o}x) = g_{\tau _{a}(o)}(\phi [(a,x)],\phi [(a,x)]),\) the tangent sphere bundle \(T_{r}(G/K)\) is given by
Hence, using that \(\phi \) is G-equivariant, the G-orbit of \((\tau _{a})_{*o}u\) is \(\phi (G\cdot [(a,u)] = T_{r}(G/K)\) and the orbit \(\phi (G\cdot [(a,0)])\) of the zero vector in \(T_{aK}(G/K)\) is clearly the zero section in T(G/K). Therefore, the first part of the proposition is proved. For the second, note that by definition, H is the isotropy subgroup of the \(\mathrm{Ad}(K)\)-action on \({{\mathcal {S}}}_{{\mathfrak {m}}}(r)\) at rX. \(\square \)
The compact Lie groups acting effectively and transitively on some sphere \({{\mathbb {S}}}^{n}\subset {{\mathbb {R}}}^{n+1}\) have been classified by Montgomery and Samelson and Borel (see [17] for more information). They are given, together with their isotropy subgroups and isotropy representations in Table 2, where the superscript indicates the dimension of the corresponding irreducible subspace.
Proposition 4.2
Tangent sphere bundles of compact rank-one symmetric spaces and their \(\pi ^{T}\)-homogeneous fibrations admit the following quotient expressions:
Proof
Applying Proposition 4.1, Table II and the cases studied in Sect. 3.2, it is explicitly obtained the subgroup H in each compact rank-one symmetric space:
Case 1: \({{\mathbb {S}}}^{n}\) and \({{\mathbb {R}}}{\mathbf{P}}^{n}\) \((n\ge 2).\) For \({{\mathbb {S}}}^{n} = G/K = {\textit{SO}}(n+1)/{\textit{SO}}(n),\) using (3.17), the identity connected component \(H_{0}\) of H is \(I_{2}\times {\textit{SO}}(n-1)\subset {\textit{SO}}(n+1).\) Then, \(K/H_{0} = {\textit{SO}}(n)/{\textit{SO}}(n-1)\) is the \((n-1)\)-sphere and hence, \(H = H_{0}.\)
For \({{\mathbb {R}}}{{\mathbf {P}}}^{n} = G/K ={\textit{SO}}(n+1)/S(\mathrm{O}(1)\times \mathrm{O}(n)),\) taking again X as \(A_{12},\) we also have \(H_{0} = I_{2}\times {\textit{SO}}(n-1).\) Since K has two connected components: \(1\times SO(n)\) and \(-1\times O^{-}(n),\) where \(O^{-}(n)\) denotes the matrices in O(n) with determinant \(-1,\) H is not connected. Consider the natural isomorphism \(\psi :\mathrm{O}(n)\rightarrow S(\mathrm{O}(1)\times \mathrm{O}(n)),\) \(\psi (A) = (\mathrm{det}\,A)\times A\in {\textit{SO}}(n+1),\) \(A\in \mathrm{O}(n).\) Then, from (4.22), \({{\mathbb {S}}}^{n-1} = K/H = \mathrm{O}(n)/\mathrm{O}(n-1).\) Hence, \(H = \psi (\mathrm{O}(n-1)) = S(\mathrm{O}(1)\times \mathrm{O}(n-1))\subset S(\mathrm{O}(1)\times \mathrm{O}(n)).\)
Case 2: \({{\mathbb {C}}}{{\mathbf {P}}}^{n}\) \((n\ge 2).\) Here, \(K = S({\textit{U}}(1)\times {\textit{U}}(n))\subset {\textit{SU}}(n+1).\) The center \({{\mathfrak {z}}}({{\mathfrak {k}}})\) of the Lie algebra \({{\mathfrak {k}}}\) of K is one-dimensional and
is a generator. From (3.19) it is obtained that \(H_{0} = \{\exp tZ_{1}:t\in {{\mathbb {R}}}\}\cdot SU(n-1),\) where \(Z_{1}\) is given in (3.18). Hence the matrix
is a generator of \({{\mathfrak {z}}}({{\mathfrak {h}}})\) and
Because \(\widetilde{Z_{0}} := \mathrm{diag}(0,\mathrm{i}\widetilde{b_{0}},\mathrm{i}(\widetilde{b_{0}}-1),\dots , \mathrm{i}(\widetilde{b_{0}}-1)),\) with \(\widetilde{b_{0}} = \frac{b_{1}}{b_{0}} = \frac{n-1}{n},\) belongs to the center of the Lie algebra of \(1\times \mathrm{S}({\textit{U}}(1)\times {\textit{U}}(n-1))\subset {\textit{SU}}(n+1),\) \(H_{0}\) can be identified with this subgroup via the isomorphism \((\exp tZ_{1})A\mapsto (\exp t \widetilde{Z_{0}})A,\) \(A\in {\textit{SU}}(n-1),\) or equivalently, with \(\mathrm{S}({\textit{U}}(1)\times {\textit{U}}(n-1))\) via the isomorphism
Then \(K/H_{0} = {\textit{SU}}(n)/{\textit{SU}}(n-1) = {{\mathbb {S}}}^{2n-1}\) and \(H = H_{0}.\)
Case 3: \({{\mathbb {H}}}{{\mathbf {P}}}^{n}\) \((n\ge 1).\) According with Sect. 3.2, the centers of \({{\mathfrak {h}}}\) and of \({{\mathfrak {k}}}\) are isomorphic to \({\mathfrak s}{{\mathfrak {p}}}(1).\) They are given by
Hence, \(H_{0} = {\textit{Sp}}(1)\cdot {\textit{Sp}}(n-1)\) and \(K/H_{0} = {\textit{Sp}}(n)\times {\textit{Sp}}(1)/{\textit{Sp}}(n-1)\times {\textit{Sp}}(1) = {{\mathbb {S}}}^{4n-1}.\) This means that \(H= H_{0}.\)
Case 4: \({{\mathbb {C}}}a{{\mathbf {P}}}^{2}.\) In Sect. 3.2 it has been proven that \({{\mathfrak {h}}} = {{\mathfrak {s}}}{{\mathfrak {o}}}(7).\) Since \(K = {\textit{Spin}}(9),\) \(H_{0} = {\textit{Spin}}(7).\) Then, \(K/H_{0} = {{\mathbb {S}}}^{15}\) and so, \(H = H_{0}.\) \(\square \)
Let \({{\mathbb {K}}}\) be the field of real or complex numbers or the algebra of quaternions. On \({{\mathbb {K}}}^{n+1},\) \(n\ge 0,\) consider its standard inner product. The Stiefel manifold \(V_{2}({{\mathbb {K}}}^{n+1})\) of all orthonormal 2- frames in \({{\mathbb {K}}}^{n+1}\) is a homogeneous manifold with quotient expression: \({\textit{SO}}(n+1)/{\textit{SO}}(n-1),\) \({\textit{SU}}(n+1)/{\textit{SU}}(n-1)\) or \({\textit{Sp}}(n+1)/{\textit{Sp}}(n-1)\) depending on whether \({{\mathbb {K}}} = {\mathbb R},\) \({{\mathbb {C}}}\) or \({{\mathbb {H}}},\) and the projective Stiefel manifold \(W_{2}({{\mathbb {K}}}^{n+1})\) is the quotient space of the free S-action on \(V_{2}({{\mathbb {K}}}^{n+1}),\) where S is the subset of unit vectors of \({{\mathbb {K}}}\) \((S = {{\mathbb {S}}}^{0},\) \({{\mathbb {S}}}^{1}\) or \({{\mathbb {S}}}^{3}).\)
Clearly, the tangent sphere bundle \(T_{r}{{\mathbb {S}}}^{n}\) of \({{\mathbb {S}}}^{n}\subset {{\mathbb {R}}}^{n+1}\) is naturally identified with \(V_{2}({{\mathbb {R}}}^{n+1}),\) by considering each \(u = u_{x}\in {T_{r}}_{x}{{\mathbb {S}}}^{n}\) as the pair \((x,\frac{1}{r}u)\) in \({{\mathbb {R}}}^{n+1},\) and \(T_{r}{{\mathbb {R}}}{{\mathbf {P}}}^{n}\) with \(W_{2}({{\mathbb {R}}}^{n+1}),\) by identification of u with its opposite. As a direct consequence from Proposition 4.2, we have the following.
Corollary 4.3
\(T_{r}{{\mathbb {K}}}{{\mathbf {P}}}^{n} = W_{2}({{\mathbb {K}}}^{n+1}),\) for \({{\mathbb {K}}} = {{\mathbb {R}}},\) \({{\mathbb {C}}}\) or \({{\mathbb {H}}}.\)
4.2 The set of all invariant metrics on \(T_{r}(G/K)\)
According with Proposition 4.1, the tangent sphere bundle \(T_{r}(G/K)\) can be expressed as the homogeneous manifold G/H. Let \(\pi _{H}:G\rightarrow G/H\) be the natural projection and put \(\overline{{\mathfrak {m}}} = {{\mathfrak {m}}}\oplus {{\mathfrak {k}}}^{+}.\) Then \({{\mathfrak {g}}} = \overline{{\mathfrak {m}}}\oplus {{\mathfrak {h}}}\) is a reductive decomposition associated to G/H and \(T_{o_{H}}G/H\), \(o_{H}= \{H\}\) being the origin of G/H, is identified with \(\overline{{\mathfrak {m}}}\) via \((\pi _{H})_{*e}.\) As in Sect. 3.2, we choose the \(\mathrm{Ad}(G)\)-invariant inner product \(\langle \cdot ,\cdot \rangle \) on \({{\mathfrak {g}}}\) satisfying \(\langle X,X\rangle = 1,\) where \(X\in {{\mathfrak {a}}}\) and \(\varepsilon _{{\mathbb {R}}}(X) = 1.\) Next, using the identification \(\overline{{\mathfrak {m}}}\cong T_{o_{H}}G/H,\) all the G-invariant metrics \(\tilde{{\mathbf {g}}}\) on \(T_{r}(G/K) = G/H\) are obtained.
Proposition 4.4
Any G-invariant metric on \(T_{r}(G/K)\) is determined by an \(\mathrm{Ad}(H)\)-invariant inner product \(\langle \cdot ,\cdot \rangle ^{(a;a_{\lambda };b_{\lambda })},\) \(\lambda \in \Sigma ^{+},\) on \(\overline{{\mathfrak {m}}}\) of the form
where \(a,a_{\varepsilon }, a_{\varepsilon /2},b_{\varepsilon }\) and \(b_{\varepsilon /2}\) are positive constants.
Proof
By definition of H, the vector \(X\in {{\mathfrak {a}}}\) is \(\mathrm{Ad}(H)\)-invariant and we get \(\mathrm{ad}^{2}_{X}\circ \mathrm{Ad}_{h} = \mathrm{Ad}_{h}\circ \mathrm{ad}^{2}_{X},\) for each \(h\in H.\) Hence the subspaces \({{\mathfrak {m}}}_{\varepsilon }, {\mathfrak m}_{\varepsilon /2}, {{\mathfrak {k}}}_{\varepsilon }\) and \({\mathfrak k}_{\varepsilon /2}\) are all \(\mathrm{Ad}(H)\)-invariant. Now, using the isotropy representation of spheres in Table 2, it follows from Proposition 4.2 that the subspaces \({\mathfrak k}_{\varepsilon }\) and \({{\mathfrak {k}}}_{\varepsilon /2}\) of \({\mathfrak k}\) are \(\mathrm{Ad}(H)\)-irreducible. Hence, applying (3.14), the representation \(\mathrm{Ad}(H)\) of H is also irreducible on \({{\mathfrak {m}}}_{\varepsilon }\) and \({{\mathfrak {m}}}_{\varepsilon /2}.\) This proves the result. \(\square \)
In what follows we denote by \(\tilde{\mathbf{g}}^{(a;a_{\lambda };b_{\lambda })}\) the G-invariant metric \(\tilde{{\mathbf {g}}}\) in (4.24). If \(\varepsilon /2\) is not in \(\Sigma ,\) the numbers \(a_{\varepsilon /2}\) and \(b_{\varepsilon /2}\) can take any value and we will simply write \(\tilde{{\mathbf {g}}} = \tilde{{\mathbf {g}}}^{(a,a_{\varepsilon },b_{\varepsilon })}.\)
Let \({{\mathfrak {U}}}:\overline{{\mathfrak {m}}}\times \overline{{\mathfrak {m}}}\rightarrow \overline{{\mathfrak {m}}}\) be the symmetric bilinear function defined in (2.5) for the Euclidean space \((\overline{\mathfrak m},\langle \cdot ,\cdot \rangle ^{(a;a_{\lambda };b_{\lambda })}).\) The following lemma is obtained using (3.14), (3.16) and (4.24).
Lemma 4.5
We have:
for all \(j,k = 1,\dots , m_{\varepsilon }\) and \(p,q= 1,\dots ,m_{\varepsilon /2}.\)
Since X is \(\mathrm{Ad}(H)\)-invariant, it determines a G-invariant vector field on \(T_{r}(G/K)\) that we also denote by X. As a direct consequence from this lemma, the following is proved.
Proposition 4.6
We have:
-
(i)
X on \((T_{r}(G/K),\tilde{{\mathbf {g}}})\) is a Killing vector field if and only if \(a_{\lambda } = b_{\lambda },\) for all \(\lambda \in \Sigma ^{+}.\)
-
(ii)
\((T_{r}(G/K) =G/H,\tilde{{\mathbf {g}}})\) is naturally reductive (with associated reductive decomposition \({{\mathfrak {g}}} = \overline{{\mathfrak {m}}}\oplus {{\mathfrak {h}}})\) if and only if \(\tilde{{\mathbf {g}}}\) is proportional to \(\langle \cdot ,\cdot \rangle _{\overline{{\mathfrak {m}}}}.\)
-
(iii)
The projection \(\pi ^{T}:(T_{r}(G/K),\tilde{{\mathbf {g}}})\rightarrow (G/K,g)\) is a Riemannian submersion if and only if \(a = a_{\varepsilon } = a_{\varepsilon /2} = 1.\)
4.3 The Standard Almost Contact Metric Structure
An affine connection \(\nabla \) on arbitrary smooth manifold M defines a distribution \({{\mathcal {H}}}:u\in TM\rightarrow {{\mathcal {H}}}_{u}\subset T_{u}TM,\) called the horizontal distribution, where \({{\mathcal {H}}}_{u}\) is the space of all horizontal lifts of tangent vectors in \(T_{p}M,\) \(p = \pi ^{T}(u),\) obtained by parallel translation with respect to \(\nabla .\) (See, for example [5, Ch. 9] and references inside for more information). Then \(\nabla \) induces the direct decomposition \(T_{u}TM = {{\mathcal {H}}}_{u}\oplus {{\mathcal {V}}}_{u},\) where \({{\mathcal {V}}}_{u}\) is the vertical space \({{\mathcal {V}}}_{u} = \mathrm{Ker}(\pi ^{T})_{*u}.\) The standard almost complex structure \(J^{\nabla }\) on TM induced by \(\nabla ,\) is defined by
where \(X^\mathtt{h}\) and \(X^\mathtt{v}\) are the horizontal and vertical lift of X, , respectively. Given a Riemannian metric g on M, the Sasaki metric \(g^{S}\) with respect to the pair \((g,\nabla )\) is given by
where K is the connection map of \(\nabla .\) Then \(g^{S}(X^\mathtt{h},Y^\mathtt{h}) = g^{S}(X^\mathtt{v},Y^\mathtt{v}) = g(X,Y)\circ \pi ^{T}\) and \(g^{S}(X^\mathtt{v},Y^\mathtt{h}) = 0,\) for all \(X,Y\in {\mathfrak X}(M).\) This implies that \(g^{S}\) is a Hermitian metric with respect to \(J^{\nabla }.\) If \(\nabla \) is the Levi-Civita connection of (M, g), the pair \((J,g^{S}),\) where \(J = J^{\nabla },\) known as the standard almost Hermitian structure, is almost Kähler.
Now suppose that M is a compact rank-one symmetric space G/K, g is the G-invariant Riemannian metric determined at the origin by the inner product \(\langle \cdot ,\cdot \rangle \) on \({{\mathfrak {m}}}\) and \(\nabla \) is its Levi-Civita connection. Then \((J,g^{S})\) is defined on \(G/H\times {{\mathbb {R}}}^{+}\) by its identification with \(D^{+}(G/K)\) via \(\phi \circ f^{+},\) i.e. \(J = (\phi \circ f^{+})^{-1}_{*}J(\phi \circ f^{+})_{*}\) and \(g^{S} = (\phi \circ f^{+})^{*}g^{S}.\) Moreover, the tangent space \(T_{(o_{H},t)}(G/H\times {{\mathbb {R}}}^{+})\) is taken as \(\overline{{\mathfrak {m}}}\times T_{t}{{\mathbb {R}}},\) via \((\pi _{H}\times \mathrm{id})_{*(e,t)},\) for each \(t\in {{\mathbb {R}}}^{+},\) and the vectors
is a basis of \(T_{(o_{H},t)}(G/H\times {{\mathbb {R}}}^{+}).\) From (4.21), using (2.7), we have
for all \(\xi \in \overline{{\mathfrak {m}}}.\) Then from (3.14), for all \(s=1,\dots , m_{\lambda },\) \(\lambda \in \Sigma ^{+},\) we get
where \(\lambda _{{\mathbb {R}}}\) is taken as the mapping \(\lambda _{{\mathbb {R}}}:{{\mathbb {R}}}^{+}\rightarrow {{\mathbb {R}}}^{+},\) \(\lambda _{{\mathbb {R}}}(t) = \lambda _{{\mathbb {R}}}(tX).\) (Then, \(\varepsilon _{{\mathbb {R}}} = \mathrm{id}_{\mid {{\mathbb {R}}}^{+}}.)\)
Proposition 4.7
The standard almost Hermitian structure \((J,g^{S})\) on \(G/H\times {{\mathbb {R}}}^{+}\) is G-invariant and it is determined at \((o_{H},t),\) \(t\in {{\mathbb {R}}}^{+},\) by
where \(s = 1,\dots , m_{\lambda },\) \(\lambda \in \Sigma ^{+},\) being zero the rest of components of \(g^{S}.\)
Proof
Denote by \({\widetilde{\pi }}\) the projection \({\widetilde{\pi }}:G\times _{K}{{\mathfrak {m}}}\rightarrow G/K.\) Then, \({\widetilde{\pi }} = \pi ^{T}\circ \phi .\) Let \(\widetilde{{\mathcal {V}}}\) and \(\widetilde{{\mathcal {H}}}\) be the distributions \(\widetilde{{\mathcal {V}}}:=(\phi ^{-1})_{*}({{\mathcal {V}}}) = \mathrm{Ker}\;{\widetilde{\pi }}_{*}\) and \(\widetilde{{\mathcal {H}}} :=(\phi ^{-1})_{*}({{\mathcal {H}}})\) in \(T(G\times _{K}{{\mathfrak {m}}}).\) Taking into account that \(({\widetilde{\pi }}\circ \pi )(a,x) = \pi _{K}(a),\) for all \((a,x)\in G\times {{\mathfrak {m}}},\) and using (2.8), we have
Because \(\nabla \) is G-invariant, \({{\mathcal {V}}},\) \(\widetilde{{\mathcal {V}}},\) \({{\mathcal {H}}}\) and \(\widetilde{\mathcal H}\) are G-invariant distributions. Moreover,
For each \(\eta \in T_{u}TM\) denote by \(\eta ^\mathtt{ver}\) (resp., \(\eta ^\mathtt{hor})\) the \({{\mathcal {V}}}_{u}\)-component (resp., \({{\mathcal {H}}}_{u}\)-component) of \(\eta \) with respect to the decomposition \(T_{u}T(G/K) = {{\mathcal {H}}}_{u}\oplus {\mathcal V}_{u}.\) Recall that the connection map K is defined by \(K_{u}(\eta ) = \iota _{u}(\eta ^\mathtt{ver}),\) where \(\iota _{u}\) is the projection \(\iota _{u}:T_{u}T(G/K)\rightarrow T_{p}(G/K)\) such that \(\iota _{u}(\eta ) = 0,\) for all \(\eta \in {{\mathcal {H}}}_{u}\) and \(\iota _{u}(v^\mathtt{v}_{u}) = v.\) This satisfies \(K_{X_{p}}(X_{*p}u) = \nabla _{u}X,\) for all \(X\in {{\mathfrak {X}}}(G/K)\) and \(u\in T_{p}(G/K).\)
For each \(x\in {{\mathfrak {m}}},\) consider \(x^{\tau }\) as a local section of T(G/K). Then
Since, using (2.4), \(K_{x}((x^{\tau })_{*o}\xi ) = \nabla _{\xi }x^{\tau } = 0,\) we have \(((x^{\tau })_{*o}\xi )^\mathtt{ver} = 0_{x}\in T_{x}T_{o}M.\) Then from (4.31), the vertical component \((\pi _{*(e,x)}(\xi ,0))^\mathtt{ver}\) of \(\pi _{*(e,x)}(\xi ,0)\) in the decomposition \(T_{[(e,x)]}G\times _{K}{{\mathfrak {m}}} = \widetilde{{\mathcal {H}}}_{[(e,x)]}\oplus \widetilde{\mathcal V}_{[(e,x)]}\) is the zero vector. Hence, applying (4.29),
Because \({\widetilde{\pi }}_{*[(e,x)]}(\pi _{*(e,x)}(\xi ,u_{x})) = \xi \in {{\mathfrak {m}}}\cong T_{o}M,\)
and \(\widetilde{{\mathcal {H}}}_{[(a,x)]} = \{\pi _{*(a,x)}(\xi ^\mathtt{l}_{a},0_{x}):\xi \in {{\mathfrak {m}}}\}.\) Then, applying in (4.25) and (4.26), (4.30) and (4.32), \((J,g^{S})\) on \(G\times _{K}{{\mathfrak {m}}}\) is determined by
for all \(x,\xi , \eta , u, v\in {{\mathfrak {m}}}.\) Hence the result is proved using (4.28). \(\square \)
From Proposition 4.7, \((0,\frac{\partial }{\partial t})\) is a G-invariant unit vector field on the Riemannian manifold \((G/H\times {{\mathbb {R}}}^{+},g^{S})\) and it is normal to the submanifolds \(\iota _{r}(G/H) = G/H\times \{r\}\) of \(G/H\times {{\mathbb {R}}}^{+},\) for each \(r>0.\) Hence we have the following.
Proposition 4.8
The standard almost contact metric structure \((\varphi ,\xi ,\eta ,{\tilde{g}}^{S} = \iota ^{*}_{r}g^{S})\) on the tangent sphere bundle \(T_{r}(G/K) = (\phi \circ f^{+})(G/H\times \{r\}),\) for each \(r>0,\) is G-invariant and it is determined at \(o_{H}\) by \(\xi _{o_{H}}= X,\) \(\eta _{o_{H}} = \langle X,\cdot \rangle ,\) \(\varphi _{o_{H}}X = 0\) and
Moreover, the standard field \(\xi \) of T(G/K) is the G-invariant vector field determined by \(\xi _{(o_{H},t)}= (X,0),\) for all \(t\in {{\mathbb {R}}}^{+}.\)
From Propositions 4.6 and 4.8, the projection \(\pi ^{T}:(T_{r}(G/K),\widetilde{{\mathbf {g}}})\rightarrow (G/K,{{\mathbf {g}}})\) is a Riemannian submersion and the following is proved.
Corollary 4.9
The standard vector field \(\xi \) of \((T_{r}(G/K),{\tilde{g}}^{S})\) is Killing if and only if \(r = 1\) and \(G/K = {{\mathbb {S}}}^{n}\) or \({{\mathbb {R}}}{{\mathbf {P}}}^{n}.\) Then \((G/H,{\tilde{g}}^{S})\) is naturally reductive.
5 Invariant Sasakian Structures on \(T_{r}(G/K)\)
We first consider all G-invariant Riemannian metrics \({{\mathbf {g}}}\) on \(G/H\times {{\mathbb {R}}}^{+}\cong D^{+}(G/K)\) such that the vector field \((0,\frac{\partial }{\partial t})\) on \(G/H\times {{\mathbb {R}}}^{+}\) is orthogonal to the hypersurface \(\iota _{r}(G/H)= G/H\times \{r\}\cong T_{r}(G/K),\) for each \(r>0.\) From Proposition 4.4, \({{\mathbf {g}}}\) is determined at the points \((o_{H},t)\in G/H\times {{\mathbb {R}}}^{+}\) and with respect to the basis given in (4.27), by
where \(a,b,a_{\lambda },b_{\lambda }:{{\mathbb {R}}}^{+}\rightarrow {\mathbb R}^{+}\) are smooth functions, for each \(\lambda \in \Sigma ^{+},\) being zero for the rest of components.
Next, we introduce a family of G-invariant almost complex structures on \(D^{+}(G/K)\) containing the standard structure \(J_{\mid D^{+}(G/K)}.\) Let \(q:{{\mathbb {R}}}^{+}\rightarrow {\mathbb R}^{+}\) be a smooth function and let \({{\mathcal {J}}}^{q}_{t}\) be the (1, 1)-tensor on \(T_{(o_{H},t)}(G/H\times {{\mathbb {R}}}^{+})\cong \overline{{\mathfrak {m}}}\times T_{t}{{\mathbb {R}}},\) for each \(t\in {{\mathbb {R}}}^{+},\) given by
for all \(s = 1,\dots , m_{\lambda },\) \(\lambda \in \Sigma ^{+},\) where \(q_{\lambda } = q \circ \lambda _{{\mathbb {R}}}.\) Because the subspaces \({{\mathfrak {m}}}_{\lambda }\) and \({{\mathfrak {k}}}_{\lambda }\) are \(\mathrm{Ad}(H)\)-invariant, \({{\mathcal {J}}}^{q}\) on \(({{\mathfrak {m}}}^{+}\oplus {{\mathfrak {k}}}^{+})\times \{0\}\) is \(\mathrm{Ad}(H)\)-invariant and \({{\mathcal {J}}}^{q}\) determines a (unique) G-invariant almost complex structure \(J^{q}\) on \(G/H\times {{\mathbb {R}}}^{+}\) such that \(J^{q}_{(o_{H},t)} = {{\mathcal {J}}}^{q}_{t}.\)
From Proposition 4.7, \(J^{q},\) q being the identity map, is the standard almost complex structure J on \(D^{+}(G/K)\) and the Sasaki metric \(g^{S}\) coincides with \({{\mathbf {g}}}\) in (5.34), where the functions a, b and \(a_{\lambda }\) are constant, with \(a = b = a_{\lambda } = 1,\) and \(b_{\lambda } = \lambda ^{2}_{{\mathbb {R}}}.\)
Lemma 5.1
\(J^{q}: = (f^{+})_{*}J^{q}(f^{+})^{-1}_{*}\) on \(G\times _{K}({{\mathfrak {m}}}{\setminus } \{0\})\) is given by
for all \(a\in G,\) \(x = t\mathrm{Ad}_{k}X,\) \(t\in {{\mathbb {R}}}^{+}\) and \(k\in K,\) and \((\xi ,u)\in {{\mathfrak {m}}}\times {{\mathfrak {m}}}.\)
Proof
Using (2.7), (2.8) and (4.28), together with (5.35), we have
Then, for each \((\xi ,u)\in {{\mathfrak {m}}}\times {{\mathfrak {m}}},\)
On the other hand,
Hence, \(J^{q}_{[(a,x)]}\pi _{*}(\xi ^\mathtt{l}_{a},u_{x}) = J^{q}_{[(ak,tX)]}\pi _{*}((\mathrm{Ad}_{k^{-1}}\xi )^\mathtt{l}_{ak},(\mathrm{Ad}_{k^{-1}}u)_{tX}).\) Now the result follows from (5.36), taking into account that \(\langle \cdot ,\cdot \rangle \) is \(\mathrm{Ad}(K)\)-invariant.
\(\square \)
Proposition 5.2
The almost complex structure \(J^{q}\) on \(D^{+}(G/K)\) can be extended to a G-invariant almost complex structure on whole T(G/K) if and only if
Proof
From Lemma 5.1, since \(\mathrm{Ad}(K)({{\mathbb {R}}}^{+}) = {{\mathfrak {m}}}{\setminus }\{0\},\) the existence of an extension of \(J^{q}\) is determined by the existence with (finite) positive value of \(\lim _{t\rightarrow 0}\frac{q_{\lambda }(t)}{\lambda _{{\mathbb {R}}}(t)} = \lim _{t\rightarrow 0}\frac{q(t)}{t}.\) \(\square \)
From (5.34) and (5.35), the following is immediate.
Lemma 5.3
The metric \({{\mathbf {g}}}\) on \(G/H\times {{\mathbb {R}}}^{+}\) is Hermitian with respect to \(J^{q}\) if and only if \(a = b\) and \(b_{\lambda } = q^{2}_{\lambda }\cdot a_{\lambda },\) for \(\lambda \in \Sigma ^{+}.\)
Moreover, the almost contact metric structure on \(G/H\cong G/H\times \{r\},\) induced from the Hermitian structure \((J^{q},{{\mathbf {g}}}),\) is the G-invariant structure \((\varphi ^{q},\frac{1}{a(r)}\xi ,a(r)\eta ,\tilde{{\mathbf {g}}}= (\iota _{r})^{*}{{\mathbf {g}}}),\) such that at \(o_{H}\) and with respect to the basis \(\{X,\xi ^{s}_{\lambda },\zeta ^{s}_{\lambda };\;s = 1,\dots , m_{\lambda },\lambda \in \Sigma ^{+}\}\) of \(\overline{{\mathfrak {m}}},\)
Proposition 5.4
\((\varphi ^{q},\frac{1}{a(r)}\xi ,a(r)\eta ,\tilde{{\mathbf {g}}})\) on \(T_{r}(G/K),\) for each \(r>0,\) is contact metric if and only if
Moreover, it is K-contact if and only if \(q_{\lambda }(r) = 1,\) for all \(\lambda \in \Sigma ^{+}.\)
Proof
For \(u,v\in \overline{{\mathfrak {m}}},\) \(d\eta _{o_{H}}(u,v) = -\frac{1}{2}\eta _{o_{H}}([u,v]_{\overline{{\mathfrak {m}}}}) = -\frac{1}{2}\langle [X,u],v\rangle .\) Then, using (3.14),
being zero the rest of components of \(d\eta _{o_{H}}.\) On the other hand, from (5.38), the fundamental 2-form \(\Phi \) of \((\varphi ^{q},\frac{1}{a(r)}\xi ,a(r)\eta ,\tilde{{\mathbf {g}}})\) satisfies \(\Phi _{o_{H}}(\xi ^{s}_{\lambda },\zeta ^{s}_{\lambda }) \!=\! q_{\lambda }(r)a_{\lambda }(r).\) Hence, using Proposition 4.6 (i), the result is proved. \(\square \)
As a consequence from Propositions 4.8 and 5.4, we have the following version of Tashiro’s Theorem [19] for tangent sphere bundles of any radius.
Corollary 5.5
The standard almost contact metric structure \((\varphi ,\xi ,\eta ,{\tilde{g}}^{S})\) on \(T_{r}(G/K)\) is contact metric if and only if \(r = \frac{1}{2}.\) Moreover, for all \(r>0,\) the rectified almost contact metric structure \((\varphi ' = \varphi ,\xi ' = 2r\xi , \eta ' = \frac{1}{2r}\eta ,\widetilde{{\mathbf {g}}}' = \frac{1}{4r^{2}}{\tilde{g}}^{S})\) is always contact metric and it is K-contact if and only if \(r = 1\) and \(G/K = {{\mathbb {S}}}^{n}\) or \({{\mathbb {R}}}{{\mathbf {P}}}^{n};\) in that case \((\varphi ',\xi ',\eta ',\widetilde{{\mathbf {g}}}')\) is Sasakian.
Remark 5.6
\(({{\mathbb {S}}}^{n},{{\mathbf {g}}})\) and \(({{\mathbb {R}}}{{\mathbf {P}}}^{n},{{\mathbf {g}}}),\) described in Case 1, have constant curvature 1.
We conclude with the proof of our main result.
Proof of Theorem 1.1
Denote by \(J^{1}\) the almost complex structure on \(D^{+}(G/K)\) such that \(J^{1}_{(o_{H},t)} = {{\mathcal {J}}}^{q}_{t},\) for all \(t\in {\mathbb R}^{+},\) q being the constant map \(q = 1.\) Note that, from Proposition 5.2, such a structure cannot be extended to an almost complex structure on whole T(G/K).
For each smooth function \(f:{{\mathbb {R}}}^{+}\rightarrow {\mathbb R}^{+},\) consider the compatible G-invariant metric \({\mathbf{g}}^{f}\) to \(J^{1},\) such that at \((o_{H},t)\in G/H\times {\mathbb R}^{+}\) it is given as in (5.34) for \(a = b = f\) and \(a_{\lambda }(t) = b_{\lambda }(t) =\frac{f(t)\lambda _{\mathbb R}(t)}{2t},\) for all \(t\in {{\mathbb {R}}}^{+}\) and \(\lambda \in \Sigma ^{+},\) i.e.
being zero for the rest of components. The induced metric \(\tilde{{\mathbf {g}}}^{\kappa },\) \(\kappa = f(r),\) from \({\mathbf{g}}^{f}\) on \(T_{r}(G/K) = G/H,\) for each \(r>0,\) is the G-invariant metric satisfying (1.1) and, from Proposition 5.4, the pair \((\kappa ^{-1}\xi ,\tilde{\mathbf{g}}^{\kappa })\) is a K-contact structure.
Next, we show that \((\kappa ^{-1}\xi ,\tilde{{\mathbf {g}}}^{\kappa })\) is the unique G-invariant K-contact structure on \(T_{r}(G/K)\) whose characteristic vector field is \(\kappa ^{-1}\xi .\) Let \(\tilde{\mathbf{g}} = \tilde{{\mathbf {g}}}^{(a;a_{\lambda };b_{\lambda })}\) be a G-invariant Riemannian metric as in (4.24) such that \((\kappa ^{-1}\xi ,\tilde{{\mathbf {g}}})\) is K-contact. Then, \(a = \kappa \) and, from Proposition 4.6, \(b_{\lambda } = a_{\lambda },\) for all \(\lambda \in \Sigma ^{+}.\) Moreover, there exists a G-invariant (1, 1)-tensor field \(\varphi \) such that \((\varphi ,\kappa ^{-1}\xi ,\kappa \eta ,\tilde{{\mathbf {g}}})\) is an almost contact metric structure verifying
for all \(u,v\in \overline{{\mathfrak {m}}}.\) Hence, using (3.14), \(\varphi \xi ^{s}_{\lambda } = \frac{\kappa \lambda _{\mathbb R}(r)}{2ra_{\lambda }}\zeta ^{s}_{\lambda },\) for all \(s = 1,\dots ,m_{\lambda },\) \(\lambda \in \Sigma ^{+}.\) Then, \(a_{\lambda } = \frac{\kappa \lambda _{{\mathbb {R}}}(r)}{2r},\) because \(\tilde{\mathbf{g}}\) is a \((\varphi ,\kappa ^{-1}\xi ,\kappa \eta )\)-compatible metric. Therefore, \(\tilde{{\mathbf {g}}} = \tilde{{\mathbf {g}}}^{\kappa }\) and \(\varphi = \varphi ^{1}.\) Applying (3.14) in (5.38), \(\varphi ^{1}\) satisfies
Now, we only need to show that \((\varphi ^{1},\kappa ^{-1}\xi ,\kappa \eta ,\tilde{{\mathbf {g}}}^{\kappa })\) is normal. By definition (2.2), the G-invariant tensor field \({{\mathbf {N}}} = [\varphi ^{1},\varphi ^{1}] + 2d\eta \otimes \xi \) on G/H is given by
for all \(u,v\in \overline{{\mathfrak {m}}}.\) Hence, using that by application of (5.39) we have
we obtain that \({{\mathbf {N}}}^{1}_{o_{H}}(X,u) = 0,\) for all \(u\in \overline{{\mathfrak {m}}},\) and
If \(u,v\in {{\mathfrak {m}}}_{\varepsilon }\oplus {\mathfrak k}_{\varepsilon }\) then, from (3.16), \([u,v]_{\overline{{\mathfrak {m}}}}\in {{\mathfrak {a}}}\) and so, \(\varphi ^{1}_{o_{H}}[u,v]_{\overline{{\mathfrak {m}}}} = 0.\) Using (5.39), the Jacobi identity and taking into account that \(\mathrm{ad}_{X}\overline{{\mathfrak {m}}}\subset \overline{{\mathfrak {m}}},\) it follows that
Hence (5.40) implies that \({{\mathbf {N}}}_{o_{H}}(u,v) =0.\)
If \(u,v\in {{\mathfrak {m}}}_{\varepsilon /2} \oplus {\mathfrak k}_{\varepsilon /2},\) from (3.16), \([u,v]_{\overline{{\mathfrak {m}}}}\in {{\mathfrak {a}}}\oplus {\mathfrak m}_{\varepsilon }\oplus {{\mathfrak {k}}}_{\varepsilon }.\) Then, using (5.39) and the Jacobi identity,
Therefore, \([u,v]_{{{\mathfrak {m}}}_{\varepsilon } \oplus {\mathfrak k}_{\varepsilon }} = -\frac{1}{2}\varphi ^{1}_{o_{H}}([\varphi ^{1}_{o_{H}}u,v]_{\overline{\mathfrak m}} + [u,\varphi ^{1}_{o_{H}}v]_{\overline{{\mathfrak {m}}}})\) and we get
Because, applying (5.39) and (5.40),
we have \({{\mathbf {N}}}(u,v) = {{\mathbf {N}}}(u,v)_{\mid {\mathfrak m}_{\varepsilon }\oplus {{\mathfrak {k}}}_{\varepsilon }} = 0.\)
Finally, consider the case \(u\in {{\mathfrak {m}}}_{\varepsilon }\oplus {{\mathfrak {k}}}_{\varepsilon }\) and \(v\in {\mathfrak m}_{\varepsilon /2}\oplus {{\mathfrak {k}}}_{\varepsilon /2}\) or, equivalently using (5.41), the case \(u\in {\mathfrak m}_{\varepsilon }\oplus {{\mathfrak {k}}}_{\varepsilon }\) and \(v\in {{\mathfrak {m}}}_{\varepsilon /2}.\) From (3.16), \([u,v]\in {{\mathfrak {k}}}_{\varepsilon /2}\oplus {{\mathfrak {m}}}_{\varepsilon /2}\) and then,
Applying again the Jacobi identity, we obtain \([u,v] = -\varphi ^{1}_{o_{H}}(2[\varphi ^{1}_{o_{H}}u,v] + [u,\varphi ^{1}_{o_{H}}v]).\) Hence, (5.40) can be expressed as
Therefore, we have \({\mathbf {N}}_{o_{H}}(u,v) = 0\) if and only if
From (5.38), equality (5.44) is equivalent to (3.15) and the result follows from Lemma 3.3. \(\square \)
References
Abbassi, K.M.T., Calvaruso, G.: g-natural contact metrics on unit tangent sphere bundles. Mon. Math. 151(2), 89–109 (2006)
Abbassi, K.M.T., Calvaruso, G.: The curvature tensor of g-natural metrics on unit tangent sphere bundles. Int. J. Contemp. Math. Sci. 6(3), 245–258 (2008)
Abbassi, K.M.T., Sarih, M.: On natural metrics on tangent bundles of Riemannian manifolds. Arch. Math. (Brno) 41(1), 71–92 (2005)
Besse, A.L.: Manifolds All of Whose Geodesics are Closed. Springer, Berlin (1978)
Blair, D.E.: Riemannian Geometry of Contact and Symplectic Manifolds. Progress in Mathematics, vol. 203. Birk-häuser, Basel (2002)
Boeckx, E., Vanhecke, L.: Harmonic and minimal vector fields on tangent and unit tangent bundles. Differ. Geom. Appl. 13, 77–93 (2000)
Boeckx, E., Vanhecke, L.: Unit tangent sphere bundles with constant scalar curvature. Czechoslov. Math. J. 51(126), 523–544 (2001)
Boeckx, E., Perrone, D., Vanhecke, L.: Unit tangent sphere bundles and two-point homogeneous spaces. Period. Math. Hung. 36(2–3), 79–95 (1998)
Calvaruso, G.: Contact metric geometry of the unit tangent sphere bundle, complex, contact and symmetric manifolds. In: Kowalski, O. et al., (ed.) Progress in Mathematics, vol. 234, pp. 41–57 (2005)
Gadea, P.M., González-Dávila, J.C., Mykytyuk, I.V.: Invariant Ricci-flat Kähler metrics on tangent bundles of compact symmetric spaces, preprint. arXiv:1903.00044v1
Helgason, S.: Differential Geometry, Lie Groups, and Symmetric Spaces (Pure and Applied Mathematics, a Series of Monographs and Textbooks). Academic Press, New York (1978)
Kowalski, O., Sekizawa, M.: Geometry of tangent sphere bundles with arbitrary constant radius. In: Bokan, N. (ed.) Proceedings of the Symposium Contemporary Mathematics. Faculty of Mathematics, University of Belgrade, pp. 219–228 (2000)
Kowalski, O., Sekizawa, M.: On tangent sphere bundles with small or large constant radius. Ann. Glob. Anal. Geom. 18, 207–219 (2000)
Kowalski, O., Sekizawa, M.: On the scalar curvature of tangent sphere bundles with arbitrary constant radius. Bull. Greek Math. Soc. 44, 17–30 (2000)
Musso, E., Tricerri, F.: Riemannian metrics on tangent bundles. Ann. Mat. Pura Appl. 150, 1–20 (1988)
Nomizu, K.: Invariant affine connections on homogeneous spaces. Am. J. Math. 76(1), 33–65 (1954)
Onishchik, A.L.: Transitive compact transformation groups, Mat. Sb. 60,: 447–485 [Russian]. Am. Math. Soc. Transl. 55(1966), 153–194 (1963)
Tachibana, S., Okumura, M.: On the almost complex structure of tangent bundles of Riemannian spaces. Tohoku Math. J. 14, 156–161 (1962)
Tashiro, Y.: On contact structures of tangent sphere bundles. Tohoku Math. J. 21, 117–143 (1969)
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Partially supported by Grant PID2019-105019GB-C21 funded by MCIN/AEI/10.13039/501100011033 and by ERDF ‘A way of making Europe’
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
González-Dávila, J.C. Sasakian Structures on Tangent Sphere Bundles of Compact Rank-One Symmetric Spaces. Mediterr. J. Math. 19, 227 (2022). https://doi.org/10.1007/s00009-022-02120-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-022-02120-4
Keywords
- Sasakian structures
- tangent sphere bundles
- compact rank-one symmetric spaces
- projective Stiefel manifolds
- restricted roots