Invariant Nijenhuis Tensors and Integrable Geodesic Flows

We study invariant Nijenhuis (1,1)-tensors on a homogeneous space $G/K$ of a reductive Lie group $G$ from the point of view of integrability of a hamiltonian system of differential equations with the $G$-invariant hamitonian function on the cotangent bundle $T^*(G/K)$. Such a tensor induces an invariant Poisson tensor $\Pi_1$ on $T^*(G/K)$, which is Poisson compatible with the canonical Poisson tensor $\Pi_{T^*(G/K)}$. This Poisson pair can be reduced to the space of $G$-invariant functions on $T^*(G/K)$ and produces a family of Poisson commuting $G$-invariant functions. We give, in Lie algebraic terms, necessary and sufficient conditions of the completeness of this family. As an application we prove Liouville integrability in the class of analytic integrals polynomial in momenta of the geodesic flow on two series of homogeneous spaces $G/K$ of compact Lie groups $G$ for two kinds of metrics: the normal metric and new classes of metrics related to decomposition of $G$ to two subgroups $G=G_1\cdot G_2$, where $G/G_i$ are symmetric spaces, $K=G_1\cap G_2$.


Introduction
By Maupertuis's principle integrability of the geodesic flow of a (pseudo-)riemannian metric is a question as old as classical mechanics itself. In this paper we consider hamiltonian systems and understand integrability in the sense of Arnold-Liouville, i.e. as existence of a complete family of first integrals in involution. The Clairaut theorem on existence of linear integral for the motion of a free particle on a surface of revolution is traditionally mentioned as one of the first results on Arnold-Liouville integrability of geodesic flows. Next classical cases are the Euler top and geodesics on ellipsoid. In modern mathematical literature one could find many examples of integrable geodesic flows on homogeneous spaces of Lie groups starting probably with the papers [25], [11], see also the review [4] and references therein and later works [14], [6], [12].
The present paper continues this line and develops a new approach for constructing integrable geodesic flows on homogeneous spaces. Let G be a reductive Lie group, K ⊂ G its closed subgroup. The cotangent bundle T * (G/K) with its canonical Poisson structure Π is a phase space of a hamiltonian system with the hamiltonian function equal to the quadratic form q of an G-invariant pseudo-riemannian metric, which can be constructed as follows. Let , be an Ad G-invariant symmetric bilinear form on g, the Lie algebra of G. It gives rise to a bi-invariant metric on G, which induces on G/K an G-invariant metric , G/K called normal. Besides, one can consider a symmetric ad k-invariant linear operator (called inertia operator ) n k ⊥ : k ⊥ → k ⊥ , where k is the Lie algebra of K and k ⊥ is its orthogonal complement in g with respect to , . It will give rise to an G-invariant (1,1)-tensor N : T (G/K) → T (G/K), which is symmetric with respect to , G/K , and to another G-invariant metric ·, · N := N·, · G/K . The question of integrability of the geodesic flows of both metrics , G/K and ·, · N on G/K consists of finding a family of dim(G/K) − 1 independent analytic and polynomial in momenta functions on T * (G/K) which Poisson commute with the quadratic form q and with each other. It is known [4,Sect. 5] that there are two families F 1 and F 2 of analytic functions on T * (G/K) that Poisson commute with each other, in which one can look for desirable integrals. These are the family F 2 of G-invariant functions and the family F 1 of functions of the form µ * can f , where µ can : T * (G/K) → g * is the momentum map corresponding to the natural hamiltonian action of G on T * (G/K) and f is an analytic function on g * . Obviously q ∈ F 2 and taking a family F of commuting polynomials on g * (by the Sadetov theorem [24] there exist complete such families) one gets the family A := µ * can (F ) of integrals of q polynomial in momenta. Thus the problem now is reduced to the following one: construct a family B ⊂ F 2 of commuting polynomial in momenta integrals of q such that the family A + B is complete.
An approach for constructing such a family B was proposed in [14]. The homogeneous spaces considered were the coadjoint orbits O of G. A second G-invariant Poisson structure Π 1 was constructed on T * (G/K) which is compatible with Π and the family B was the canonical family of functions in involution related with the Poisson pair (Π ′ , Π ′ 1 ) being the reduction of the Poisson pair (Π, Π 1 ) with respect to the action of G. Essential role in the construction of Π 1 played the Kirillov-Kostant-Suriau symplectic form ω O on O, as Π 1 = (ω + π * ω O ) −1 , where ω = −Π −1 is the canonical symplectic form on T * O and π : T * O → O is the canonical projection.
In this paper we propose a novel approach for constructing the family B. Similarly to the case above, we construct a second Poisson structure Π 1 compatible with Π, but we use invariant Nijenhuis (1,1)-tensors N : T (G/K) → T (G/K) for this purpose instead, in particular avoiding the restriction on G/K of being a coadjoint orbit. In more detail, Π 1 = N • Π, where N is the so-called cotangent lift of N, see Definition 3.5. Obviously, an invariant (1,1)-tensor on G/K is determined by a linear operator n : g → g. We get some Lie algebraic conditions on this operator which are necessary and sufficient for the so-called kroneckerity of the Poisson pair (Π ′ , Π ′ 1 ) obtained as the reduction of the pair (Π, Π 1 ) and, as a consequence, of the completeness of the family B (and A + B), see Theorem 4.1, the main result of this paper, and Theorem 4.4. As an application we construct two series of invariant Nijenhuis (1,1)-tensors on homogeneous spaces G k /K k of compact simple Lie groups, where (G k , K k ) is (SU(2k), Sp(k −1)) or (SO(2k +2), SU(k)), which lead to invariant metrics with geodesic flow Liouville integrable in the class of integrals analytic and polynomial in momenta (Theorem 5.2). Besides we prove integrability of the normal metric on these homogeneous spaces. Below the content of the paper is discussed in more detail.
In Section 1 we study Lie algebraic conditions on the operator n : g → g which guarantee the vanishing of the Nijenhuis torsion of N (Theorem 1.7) and consider some examples.
A crucial role in our considerations play bihamiltonian (bi-Poisson) structures, i.e. pencils of Poisson structures generated by pairs of compatible ones. We devote Section 2 to related notions and preparatory results which will enable us to study the completeness of families of functions in involution. Theorem 2.7 gives some criteria of completeness of the canonical family of G-invariant functions related to an action of a Lie group G on a bi-Poisson manifold M being hamiltonian with respect to almost all Poisson structures from the pencil. The theorem requires some assumptions among which the most significant one says that the action of G on M is locally free. This assumption enables to use the so-called bifurcation lemma and to prove the constancy of rank of the reduced bi-Poisson structure for almost all values of the parameter, which is a first step for achieving the kroneckerity.
In Section 3 we study bi-Poisson structures on T * (G/K) generated by Poisson pairs (Π, Π 1 = N • Π), where N is a semisimple invariant Nijenhuis (1,1)-tensor. We show that almost all (generic) Poisson structures from the corresponding Poisson pencil are nondegenerate and calculate the dimensions of the symplectic leaves of the exceptional (not being generic) Poisson structures (Lemma 3.8). We prove the hamiltonicity of canonical action of G on T * (G/K) with respect to the generic Poisson structures, as well as the hamiltonicity of the actions of some subgroups (stabilizers of the symplectic leaves) on the symplectic leaves of the exceptional ones. We calculate the corresponding momentum maps (see Lemma 3.9) as well as these stabilizers (Lemma 3.10).
The main result, Theorem 4.1, which gives necessary and sufficient conditions for kroneckerity of the reduced Poisson pair (Π ′ , Π ′ 1 ) in terms of the indices of the Lie algebra g and some its contractions (see formula (4.1.3)), is proved in Section 4. As a corollary we prove Theorem 4.4 stating the complete integrability of the geodesic flow of the normal metric and the metric with the inertia operator n| k ⊥ under the assumption that the sufficient conditions from Theorem 4.1 are satisfied.
In Section 5 we apply the above results to construct examples of metrics with integrable geodesic flow. The main idea which enables to fit conditions of Theorem 4.1 is based on the Brailov theorem (see Theorem 5.1) stating equality of indices of a semisimple Lie algebra and its Z 2 -contractions. We observe that among the examples of invariant Nijenhuis (1,1)-tensors on a homogeneous space G/K from Section 1 related to the Onishchik list of decompositions g = g 1 + g 2 of a simple compact Lie algebra to two subalgebras (Example 1.12) there are two series (g(k), g 1 (k), g 2 (k)) in which both the pairs (g(k), g 1 (k)) and (g(k), g 2 (k)) are symmetric, i.e. by the Brailov theorem these examples satisfy conditions (4.1.3) of Theorem 4.1 (the Lie algebra k of the group K is equal g 1 (k) ∩ g 2 (k)). In order to apply this theorem for the proof of complete integrability of the geodesic flow one needs only ensure that the action of G on T * (G/K) is locally free. This is done in the proof of Theorem 5.2 stating the complete integrability of the geodesic flows of the normal metric and the metric with the corresponding inertia operator.
The explicit formulae for the realizations of Lie algebras g(k), g 1 (k), g 2 (k) for both series as well as for the corresponding inertia operators are given in Appendix (Section 6). There we also indicate conditions under which these operators (and the corresponding metrics) are positive definite. We end the paper by concluding remarks (Section 7) in which we discuss some details of the paper and possible perspectives.
We would like to fix some notations. We write P : G → G/K, π : T * M → M, and p : M → M/G for the canonical projections.
All objects in this paper are real analytic or complex analytic. Given a vector bundle E, we write Γ(E) for the space of sections of E, and E(M) will stand for the space of functions on a manifold M (of the corresponding category).
1 Invariant Nijenhuis tensors on homogeneous spaces Definition 1.1. Let M be a connected manifold. A (1,1)-tensor field N : T M → T M is a Nijenhuis tensor if its Nijenhuis torsion vanishes, i.e. for any vector fields X, Y ∈ Γ(T M) : Similarly, given any Lie algebra (g, [, ]), a linear operator n : g → g is an algebraic Nijenhuis operator Let an action of a Lie group G on a manifold M be given.
We say that a (1,1)-tensor field N : T M → T M is G-invariant if for any element of the Lie group g ∈ G, the tensor N commutes with the tangent map g * : T M → T M to the diffeomorphism g : M → M, i.e. the following diagram is commutative The following lemmas are crucial ingredients in further considerations. Let G be any Lie group and K a closed Lie subgroup of G (the quotient M = G/K is then a smooth G-manifold). Lemma 1.4. Let G/K be a real homogeneous space. There is a one-to-one correspondence between G-invariant distributions D ⊂ T C (G/K) and subspaces d ⊂ g C such that k C ⊂ d and [k C , d] ⊂ d (here g, k ⊂ g are the Lie algebras of the Lie groups G, K ⊂ G). An G-invariant distribution D is involutive if and only if the subspace d is a subalgebra in g C . Moreover, D is real, i.e. D = D, where the bar stands for the complex conjugation on T C (G/K), if and only if so is d, i.e. d =d, where the bar denotes the complex conjugation in g C with respect to the real form g.
Proof. Below we let P : G → G/K to denote the canonical projection. An invariant distribution D on G/K defines the distribution D := P −1 * (D) ⊂ T C G, which by construction is left G-invariant. Indeed, the invariance of D, g * ,x (D x ) = D gx , implies L g -invariance of D as the commutativity of the following diagram shows here L g is the left translation by g and y ∈ G is so that P (y) = x.
Moreover, D is right K-invariant. To show this observe that, since P is a surjective submersion, in a vicinity of points g ∈ G and P (g) ∈ G/K there exist local coordinate systems (x 1 , . . . , x m , y 1 , . . . , y k ) and ( , be local linearly independent vector fields on G/K generating the distribution D. Then the distribution D is generated by the vector fields X r (x) = X i r (x 1 , . . . , x m ) ∂ ∂x i , r = 1, . . . , l, and Y 1 , . . . , Y k , where the last ones are the fundamental vector fields of the right Kaction. These last are tangent to the fibers of P , locally can be expressed as combinations of ∂ ∂y j and vice versa, ∂ ∂y j can be locally expressed as combinations of Y 1 , . . . , Y k . Obviously, [Y i , X j ] = f s ij Y s for some functions f s ij , which together with the involutivity of the system of vector fields Let d := D e ⊂ T C e G, where e ∈ G is the neutral element. The left and right K-invariance of D implies, under the identification T C e G ∼ = g C , the Ad (K)-invariance of the subspace d ⊂ g C , or, on the infinitesimal level, its ad (k)-invariance: Now if D is involutive, then so is D. Indeed, the systems of vector fields {X j } and, consequently, { X j } are involutive. Hence so is the total system of vector fields {Y i , X j }. Infinithesimally this can be expressed as [d, d] ⊂ d.
Vice versa, let d ⊂ g C ∼ = T C e G be an ad k-invariant subspace. Define a distribution D ⊂ T C G by D g = L g, * d. Then D is left G-invariant and right K-invariant and descends to a uniquely defined invariant distribution D ⊂ T C (G/K) by means of the complexified tangent map P C * : If d ⊂ g C is a subalgebra, then clearly the distribution D is involutive. Moreover, from the above local description it follows that the system of vector fields { X j } is involutive and P * X j = X j , and, as a consequence, so is the system {X j }. Therefore D ⊂ T C (G/K) is involutive.
The last assertion of the lemma is obvious.
Lemma 1.5 . Let D ⊂ T (G/K) be an G-invariant integrable distribution on G/K relative to a subalgebra h ⊂ g, h ⊃ k, (as in Lemma 1.4 but we admit also the complex analytic case) and let H ⊂ G be the corresponding subgroup. Denote by P : G → G/K the canonical projection. Then 1. the leaves of the foliation tangent to D are the projections with respect to P of the left cosets gH, g ∈ G; 2. given ξ ∈ g, the fundamental vector field X ξ of the G-action on G/K is tangent to the leaf P (gH) if and only if ξ ∈ Ad g h ⊂ g.
Proof. Consider the integrable distribution D built in the proof of Lemma 1.4. Then it is easy to see that the foliation tangent to D coincides with the foliation of the left cosets gH, g ∈ G. Since P * ( D) = D, the leaves of the corresponding foliations are projected on each other by means of P , which proves Item 1.
The decomposition (ii) induces the decomposition T C (G/K) = D 1 ⊕· · ·⊕D s to involutive subbundles, the corresponding (1,1)-tensor N is then given by N| D i = λ i Id D i and, vice versa, given N as in (i) one constructs the decomposition (ii) by the decomposition T C (G/K) = D 1 ⊕ · · · ⊕ D s of T C (G/K) to the eigendistributions of N.
Proof. Let N be an G-invariant semisimple Nijenhuis (1, 1)-tensor on G/K with the spectrum {λ 1 , . . . , λ s ; λ i ∈ C, λ i = λ j , for i = j}. From Lemma 1.6 it follows that there is a decomposition T C (G/K) = D 1 ⊕ . . . ⊕ D s into integrable distributions, which, as the eigenspaces of an G-invariant tensor, are also G-invariant. By Lemma 1.4 there is a one-to-one correspondence between G-invariant distributions D i and subalgebras g i containing k C , hence there is a decomposition of g C = g 1 + . . . + g s , such that g i ∩ g j = k C for any i = j. Applying Lemma 1.4 to the sum of distributions D i + D j we see that it is involutive if and only if g i + g j is a subalgebra. Item 3 follows from the last assertion of Lemma 1.4 and from the obvious fact that D i = D i+p for i = 1, . . . , p and D j = D j for j = 2p + 1, . . . , s.
The proof in reverse direction follows the same argumentation with the use of the equivalences in lemmas cited.
Below we present some examples for which decompositions of Lie algebras mentioned in Theorem 1.7 are given explicitly.
First series of examples come from semisimple algebraic Nijenhuis operators n : g → g, which are ad k-invariant for some Lie subalgebra k ⊂ g, i.e. n • ad k = ad k • n for all k ∈ k. Then by ad k-invariance we can extend it to an invariant Nijenhuis (1,1)-tensor N on G/K.
Essentially, in the literature only two classes of such operators are known [22,Ex. 4.10, 12.12, Th. 13.15]: first is related to decomposition of the algebra g to two subalgebras, second is related to the operator of left multiplication on the full matrix algebra. Below we consider these two cases in more detail. Example 1.8. Let g be a semisimple Lie algebra with the root system R with respect to a Cartan subalgebra h ⊂ g. Let g = h + α∈R g α be the corresponding root decomposition. Choose R + and R − to be sets of positive and negative roots and let S ⊂ Π be any subset of the set of positive simple roots. We denote by [S] the set of positive roots generated by S. Consider the decomposition g = p ⊕ p ⊥ , where p := h + α∈R − g α + α∈[S] g α is the corresponding parabolic subalgebra and p ⊥ = α∈R + \[S] g α (the orthogonal complement with respect to Killing form). Then p ⊥ is obviously a sublagebra too. The operator n : g → g defined by n| g 1 = λ 1 Id g 1 , n| g 2 = λ 2 Id| g 2 with arbitrary λ 1 , λ 2 is algebraic Nijenhuis.
One may take k = p ∩ p opposite , where p opposite = h + α∈−[S]⊂R − g α + α∈R + g α . Then the operator n will be ad k-invariant and will generate an G-invariant Nijenhuis (1, 1)-tensor on G/K, where G, K ⊂ G are the corresponding Lie groups. The decomposition of Theorem 1.7 looks as follows: g 1 := p, g 2 := p opposite . An instace of such a situation for g = sl(3, R) can be schematically presented as: Example 1.9. Let g = gl(n, K), K = R, C, and consider n = L A , the operator of left multiplication by a matrix A ∈ g. Then it is easy to see that n is an algebraic Nijenhuis operator. Taking A = diag(λ 1 , . . . , λ n ), λ i = λ j , i = j, we get a semisimple operator, whose eigenspaces ker(n − λ i Id) consist of matrices with the only nonzero i-th row. Obviously, n is ad k-invariant for k = Z(A), the centralizer of A, which coincides with the subalgebra of diagonal matrices. The decomposition of Theorem 1.7 is g = n i=1 g i , where g i = ker(n − λ i Id) + k consists of the matrices having non zero elements at most on the diagonal and i-th row.
The generalization to the case when multiplicities in the spectrum of A are admitted is straighforward. This example has also an obvious generalization to the case g = sl(n, K).
Our next example is quite classical, as this is the complex structure operator on the adjoint orbits of the compact Lie groups which was intensively studied in the literature. We adapt the description of this operator to our notations. An alternative description can be found in [1, Ch. 8.B].
Example 1.10. Let g be a complex semisimple Lie algebra, h ⊂ g a Cartan subalgebra, g = h + α∈R g α the corresponding root grading. For any are subalgebras as well as the subspaces . Hence by Theorem 1.7 the operator j induces an invariant integrable almost complex structure on U/K, where U, K ⊂ U are the Lie groups corresponding to the Lie algebras u, k. We conclude that, although this operator is not arising from an algebraic Nijenhuis operator, the corresponding decomposition in fact coincides with that from Example 1.8).
Now we come to a series of examples of different nature. The decomposition of Theorem 1.7 will still consist of two components which now need not be symmetric with respect to the involution interchanging g α and g −α . In other words, any decomposition g = g 1 + g 2 of a Lie algebra g to two subalgebras can be taken into consideration (with k = g 1 ∩g 2 ). One of possible natural generalizations of Example 1.8 is considering two "nonsymmetric" parabolic subalgebras. Their intersection is the so-called seaweed subalgebra. Example 1.11. Let g be a semisimple Lie algebra with the root system R with respect to a Cartan subalgebra h ⊂ g. Let g = h + α∈R g α be the corresponding root decomposition. Choose R + and R − to be sets of positive and negative roots and let S, S ′ ⊂ Π be any subsets of the set of positive simple roots. Consider the parabolic subalgebras g 1 = h + α∈R − g α + α∈[S] g α and An instace of such a situation for g = sl(3, R) can be schematically presented as: In [15] A. L. Onishchik classified all decompositions g = g 1 + g 2 for compact simple Lie algebras g and we list them below. (In [16] he also gave a classification of decompositions of reductive Lie algebras g to two subalgebras reductive in g, but we omit this case here.) Example 1.12. Let g be a compact simple Lie algebra. The following table presents all pairs of subalgebras (g 1 , g 2 ) such that g = g 1 + g 2 together with possible embeddings i ′ : g 1 → g, i ′′ : g 2 → g up to conjugations. Below N stands for the trivial representation, ϕ i for the specific representation mentioned in [15] and T for the 1-dimensional Lie algebra.

kroneckerity, G-invariance, and complete families of functions in involution
If M is a real or complex analytic manifold, E(M) will stand for the space of analytic functions on M in the corresponding category. We will write K for the corresponding ground field. We recall basic definitions and concepts related to bi-Poisson structures, their kroneckerity and invariance (cf. [14]). We will say that some functions from the set E(M) are independent at a point x ∈ M if their differentials are independent at x. For any subset F ⊂ E(M) denote by ddim x F the maximal number of independent functions from the set F at a point x ∈ M. Put ddim F := max x∈M ddim x F .
is a complete involutive set of functions with respect to any Π t = 0 (see Definition 2.2).
The reader is referred to [2] for the proof. The condition that ddim Z Πt (U) = dim M − rank Π t for any t is always satisfied for any sufficiently small open set U and, in many cases also for an open and dense set in M.
Remark 2.6. Recall that a real analytic submanifold M, dim R M = n, in a complex manifold M c , dim C M c = n, is called maximal totally real if in a neighbourhood of any point in M there exists a holomorphic coordinate system z = (z 1 , . . . , z n ), z j = x j + iy j , such that M locally is given by the equations y j = 0. We say that M c is a complexification of M and M is real form of M c . The holomorphic coordinates as above will be called adapted to M. A complexification exists for any real analytic M [5].
Let M be a real analytic manifold and M c its complexification. Any real analytic tensor T defined on M can be uniquely extended to a holomorphic tensor T c defined in a vicinity of M in M c by extending its coefficients to holomorphic functions and substituting ∂ ∂x j and dx j by ∂ ∂z j and dz j respectively in the adapted systems of coordinates. Vice versa, if a holomorphic tensor T c is given on M c such that in the adapted coordinates its coefficients restricted to M are real, then it is the holomorphic extension of some real analytic tensor Now we assume that the action of G on M is proper, as for instance is in the case of any smooth action of a compact Lie group. Fix some isotropy subgroup H ⊂ G determining the principal orbit type. In this case the subset and the identification mentioned is a Poisson map: . Assuming that the reduced bi-Poisson structure {Π ′ t } is Kronecker, by Theorem 2.5 for a sufficiently small U ⊂ M ′ H we get an involutive family of functions which is complete with respect to any Poisson structure Π ′ t . In some cases the corresponding set of functions p * Z {Π ′ t } (U) on p −1 (U) ⊂ M which by the considerations above is involutive with respect to any Poisson bivector Π t can be extended to a complete involutive set of functions. One such situation is touched in Theorem 2.7 below. This theorem also describes a method of proving the kroneckerity of the bi-Poisson structure {Π ′ t } reducing the problem to the calculation of rank of a finite number of the reduced Poisson structures, which was used in [19], [14]. (c) codim Sing g * ≥ 2, where Sing g * ⊂ g * is the union of the coadjoint orbits of nonmaximal dimension, i.e. Sing g * = g * \ R Π g * for the Lie-Poisson structure Π g * on g * ; (d) for almost all t the bivector Π c t is nondegenerate and the action ρ c is hamiltonian with respect to Π c t , i.e. there exists a set E ⊂ C 2 being the union of a finite number of 1-dimensional linear subspaces t 1 , . . . , t s , a map µ c t : M c → (g C ) * , t ∈ C 2 \ E (the so-called momentum map), such that rank Π c t = dim M, t ∈ C 2 \ E, and any fundamental vector field ρ c (ξ), ξ ∈ g C , of this action is a hamiltonian vector field Π c t (H ξ t ) with the hamiltonian function H ξ t (x) = µ c t (x), ξ and µ c t is a Poisson map from the Poisson manifold (M c , Π c t ) to the Lie-Poisson manifold Kronecker and F stands for any complete involutive set of polynomial functions on (g * , Π g * ) (which exists by the Sadetov theorem [24]), the set of functions is complete on M H with respect to any Π t 0 , t 0 ∈ E ∩ R 2 ; 4. moreover, p * (Z {Π ′ t } (p(U))) = Span( t =0 µ * t (Z Π g * (µ t (U)))).
Here ind g, the index of the Lie algebra g, is the codimension of a coadjoint orbit of maximal dimension, i.e. ind g = dim g − rank Π g * .
Proof. The G-invariance of the set U follows from the well-known fact that the Poisson property of the moment map µ t is equivalent to its G-equivariance (with respect to the coadjoint action of G on g * ), which implies the G-invariance of µ * t (Sing g * ). The so-called "bifurcation lemma" says that for any x ∈ M H the image (µ t ) * (T x M H ) ⊂ g * coincides with the annihilator in g * of the Lie algebra of the isotropy group G x of x [17,Prop. 4.5.12]. Since this algebra vanishes by Assumption (b), rank µ t (x) = dim g * and the image µ t (M H ) contains an open subset of g * . The set Sing g * is algebraic and its complement in g * is open and dense, hence Assumption (c) guarantees that the set U is also open and dense.
To prove Item 2 observe that for any t = t i , i = 1, . . . , s and any x ∈ M H , by the holomorphic version of the bifurcation lemma and by a simple algebraic fact (Lemma 2.8 below) corank (( x is the restriction of the bivector (Π c t ) x treated as a bilinear skewsymmetric form on T * x M c to the annihilator (T x O) • ⊂ T * x M c of the tangent space T x O to the g C -orbit O passing through x and it is known that the space T x O is the skew-orthogonal complement to the tangent space through x of the fiber of the moment map µ c t . Hence, if moreover x ∈ U, then corank R (Π ′ t ) p(x) = corank C ((Π c t ) ′ ) p(x) = ind g C = ind g. Therefore the reduced Poisson pencil {Π t } is Kronecker at p(x) if and only if the corank at p(x) of the reductions (Π t i ) ′ of the exceptional Poisson structures Π t i , i = 1, . . . , s, is equal to ind g.
Item 3 follows from the well known fact that once we have a pair of Poisson submersions p 1 : (M, Π) → (M 1 , Π 1 ) and p 2 : (M, Π) → (M 2 , Π 2 ) with skew-orthogonal fibers with respect to Π and complete families of functions F 1 , F 2 on (M 1 , Π 1 ), (M 2 , Π 2 ) respectively, the family p * The last item is a consequence of another well known fact that p * Lemma 2.8. Let V be a vector space over K and ω : V × V → K a nondegenerate skew-symmetric bilinear form. Denote by Π : V * × V * → K its inverse bivector. Let V 1 , V 2 ⊂ V be two vector subspaces being orthogonal complements of each other with respect to ω. Then the restrictions of Π to the subspaces W 1 := V • 1 ⊂ V * and W 2 := V • 2 ⊂ V * have the same coranks. Proof. Indeed, since W 1 and W 2 are mutual orthogonal complements with respect to Π, we have 3 Bi-Poisson structures on cotangent bundles related to Nijenhuis (1,1)-tensors Definition 3.1. Let Q be a manifold and X ∈ Γ(T Q) be a vector field on Q. Then the formula X := Π(X), where Π = ∂ p ∧ ∂ q is the canonical nondegenerate Poisson structure on T * Q inverse to the canonical symplectic form (up to the sign) and X stands for the linear function on T * Q corresponding to X, gives a vector field X ∈ Γ(T T * Q) which will be called the cotangent lift of X.
The local characterization in the canonical (q, p)-coordinates is as follows Remark 3.2 . One can also describe the hamiltonian function X as the evaluation θ( X) of the canonical Liouville 1-form θ = p i dq i on X.
Remark 3.3 . In particular, if a Lie group G with Lie(G) = g acts on a manifold Q and X ξ is the fundamental vector field of this action corresponding to an element ξ ∈ g, then X ξ is the corresponding fundamental vector field of the extended cotangent action of G on T * Q.  3.4. Retaining the assumptions above assume additionally that N is semisimple and has constant eigenvalues λ 1 , . . . , λ s , λ i = λ j , i = j (assumed to be real in the real category). Let D i , i = 1, . . . , s, be the eigendistribution corresponding to the eigenvalue λ i . Then the foliation F i tangent to the distribution j =i D j (which is integrable by Lemma 1.6) coincides with the symplectic foliation of the degenerate Poisson bivector Π λ i .
The folowing definition is due to F.J. Turiel [27]. If {q i } is a system of local coordinates on Q and N = N i j (q) Obviously, if N is a fiberwise invertible (1,1)-tensor, then N −1 = N −1 .
In particular, we have the following statement.
Since N is a Nijenhuis operator Π and Π 1 are compatible.
From now on we assume that N is an invertible semisimple Nijenhuis (1,1)-tensor with constant eigenvalues λ 1 , . . . , λ s , λ i = λ j , i = j (which are real in the real category) of multiplicities k 1 , . . . , k s respectively and let D i ⊂ T Q to be the eigendistribution corresponding to the eigenvalue λ i . We also denote by D i ⊂ T M the eigendistribution of the (1,1)-tensor N corresponding to the eigenvalue λ i (of multiplicity 2k i ).
Let L(N) stand for the Lie algebra of vector fields on Q preserving N (i.e. V ∈ L(N) if and only if L V N = 0) and let θ = θ 1 + · · · + θ s be the decomposition of the canonical Liouville one-form θ on M := T * Q related to the decomposition T M = D 1 ⊕· · ·⊕ D s , (i.e. θ i | D i = θ| D i and θ i ( j =i D j ) = 0).
⊗ dp j i n )) and by Lemma 3.4 the tangent space to the symplectic foliation of Π λ i is generated by the vector fields ∂ ∂q l , ∂ ∂pm , l, m ∈ {j i 1 , . . . , j i k i } (the corresponding Casimir functions are q j i n , p j i n , n = 1, . . . , k i ). On the other hand, the tangent distribution to the leaves of j =i D j is spanned by the vector fields ∂ ∂q l , l ∈ {j i 1 , . . . , j i k i }. This proves the first assertion of the lemma.
To prove Item 2 notice that, given a vector field Any leaf F 0 of the foliation tangent toĎ i is given in these coordinates by the equations q j i n = c j i n , n = 1, . . . , k i , and any symplectic leaf F ⊂ π −1 (F 0 ) of the foliation F i by the equations q j i n = c j i n , p j i n = C j i n , n = 1, . . . , k i , whose right hand sides are some constants. This proves Item 3. If a vector field V ∈ L(N) is tangent to π(F ), then

8.2)
where we put c i := (c j i 1 , . . . , c The last item follows easily from formula (3.8.1). Lemma 3.9. Retaining the assumptions of the preceding lemma assume that a transitive left action ρ : g → Γ(T Q), ξ → V ξ , of a Lie algebra g on Q is given such that ρ preserves N, i.e. ρ(g) ⊂ L(N). Denote byρ the extended cotangent action,ρ(ξ) = ρ(ξ), ξ ∈ g. (Note that ρ is an antihomomorphism, the map V → V is a homomorphism, henceρ is an antihomomorphism, i.e. a left action). Given a leaf F of the symplectic foliation F i , i ∈ {1, . . . , s}, let ϕ i F := Φ i F • ρ ∈ g * be the linear functional induced on g by the functional Φ i F ∈ (L(N)) * from Lemma 3.8(3) and let g F stand for the stabilizer algebra of F , i.e. the set of elements ξ ∈ g such thatρ(ξ) is tangent to F . Let p i : Γ(T Q) → Γ(D i ) be the projection related to the decomposition T Q = D 1 ⊕ · · · ⊕ D s . Then 2. the actionρ is hamiltonian with respect to the Poisson structure Π λ for any λ = λ i , i = 1, . . . , s with the momentum map µ λ : Q → g * given by where θ is the canonical Liouville 1-form on T * Q and ψ(λ) is the diffeomorphism of T * Q given by ((N − λI) t ) −1 (we used the notation (·) t for the transposed map); equivalently, Lemma 3.8(3) for the definition of f i V ; moreover, where µ can is the moment map corresponding to the canonical Poisson bivector Π; 3. given a leaf F of the symplectic foliation F i , the restricted action of g F on F is hamiltonian with respect to the restriction of the Poisson structure Π λ i to F with the momentum map µ F λ i : F → g * given by µ F λ i (x), ξ = (ψ * λ i θ)(ρ(ξ))(x), ξ ∈ g F , where θ is the canonical Liouville 1-form on T * Q and ψ λ i is the smooth map of T * Q given by 4. the cotangent extensionρ i ,ρ i (ξ) := ρ i (ξ), of the action ρ i defined in Item 1 is hamiltonian with respect to the canonical Poisson bivector Π with the momentum map ν i : 5. for any leaf F 0 ⊂ Q of the foliation tangent to the distributionĎ i its stabilizer algebra g F 0 with respect to the action ρ, i.e. the set of ξ ∈ g such that ρ(ξ) is tangent to F 0 , coincides with the stabilizer algebra of the submanifold π −1 (F 0 ) with respect to the actionρ, i.e. the set of ξ ∈ g such thatρ(ξ) is tangent to π −1 (F 0 ); 1 Here an equivalent description of the momentum map similar to that from Item 2 is also possible: λj −λi (note that the i-th term in the sum is correctly defined since f ĩ ρ(ξ) vanishes for ξ ∈ g F , cf. Lemma 3.8(4)).
6. the following inclusion holds: 7. moreover, the relation F → ϕ i F = ν i | F is an g F 0 -equivariant one-to-one correspondence between the symplectic leaves F of Π λ i such that π(F ) = F 0 and linear functionals from a k i -dimensional linear subspace in (g/g F 0 ) * (which in fact coincides with (g/g F 0 ) * , see Lemma 3.10(4)). 8. the stabilizer algebra g F ⊂ g of a leaf F ⊂ π −1 (F 0 ) with respect toρ is equal to the stabilizer algebra of the functional ϕ i F ∈ (g/g F 0 ) * with respect to the action of g F 0 . Proof. The claim of Item 1 follows from the fact that each L i is an ideal in L(N) (see Lemma 3.8(2)).
To prove Items 2 and 3 use coordinates from the proof of the previous lemma. We have the following formulas: and is a hamiltonian vector field with respect to Π: In fact, the functions H λ ξ are global and correctly defined (i.e. they do not depend on the choices of local coordinates), which can be seen from the equality H λ ξ = (ψ(λ) * θ)( V ξ ). Yet another description of the function H λ ξ is as follows: which proves the hamiltonicity ofρ with respect to Π λ , λ = λ i . Formula (3.9.2) is a consequence of (3.9.1) as µ can (x), ξ = θ(ρ(ξ))(x). Now assume that V = V ξ is tangent to the symplectic leaf F given in the local coordinates by the equations q j i n = const, p j i n = const, n = 1, . . . , k i . Then by (3.8.1) we get The function H ξ is global and correctly defined for any ξ as H ξ = l =i f l V ξ /(λ l − λ i ) and n is the fundamental vector field of the action ρ i . Its cotangent liftρ i (ξ) is a hamiltonian vector field with respect to Π with the hamiltonian function Item 5 follows from Lemma 3.8(5) and Item 6 follows from Lemma 3.8(4) in view of the fact that π −1 (F 0 ) is foliated by the symplectic leaves of the Poisson bivector Π λ i (see Lemma 3.8(1)) and from the equality Φ i F (ρ i (ξ)) := f i ρ i (ξ) | F , where F is any such leaf. To prove Item 7 first notice that the g F 0 -equivariance follows from g-equivariance of the moment map ν i . Now recall (see the proof of Lemma 3.8) that where the constants c i , C j i n specify the particular leaf F and V j i n ξ are the coefficients of the fundamental vector field ρ(ξ) = V l ξ (q) ∂ ∂q l . Now fix a leaf F 0 of the foliation tangent to a distributionĎ i , i.e. fix constants (c i ). For any ξ ∈ g we have a linear map 2 expressing the correspondence F → ϕ i F (ξ), where k i = corankĎ i . Thus the claim of Item 7 is equivalent to the nondegeneracy of the following matrix  where ξ 1 , . . . , ξ k i ∈ g are linearly independent elements not belonging to g F 0 . In turn, the nondegeneracy of this matrix follows from the fact that g acts transitively on G/K and, as a consequence, on the space of leaves of the foliation tangent to the distributionĎ i . Finally the last item follows from Item 7.
Now we apply the preceding results to homogeneous spaces. Let G/K be a homogeneous space and let N be an G-invariant semisimple Nijenhuis (1,1)-tensor on G/K with the real spectrum {λ 1 , . . . , λ s }. Then by Theorem 1.7 there exists a decomposition g = g 1 + · · · + g s to the sum of subspaces such that 1. ∀ i,j∈{1,...,s},i =j g i ∩ g j = k; 2. ∀ i,j∈{1,...,s} g i + g j are Lie subalgebras in g; 3. the decomposition above induces the decomposition T (G/K) = D 1 ⊕ · · · ⊕ D s to integrable subbundles and Write P : G → G/K and π : T * (G/K) → G/K for the canonical projections. By the construction from the proof of Lemma 1.5 the eigendistribution D i of N corresponding to the eigenvalue λ i is equal P * D i , where D i is the left invariant distribution on G obtained from the subspace g i ⊂ g ∼ = T e G. In particular, since ker P * is the left invariant distribution obtained from the subspace k ⊂ g i ⊂ g ∼ = T e G, the rank of D i , i.e. the multiplicity k i of the eigenvalue λ i , is equal to dim(g i /k).
Denoteǧ i := j =i g j (this is a Lie subalgebra in g by Condition 2) and letǦ i be the corresponding subgroup in G. By Lemma 1.5 the leaves of the foliation integrating the distributionĎ i := j =i D j are the projections with respect to P of the left cosets gǦ i , g ∈ G. Let p i : T Q → D i be the projection related to the decomposition T Q = D 1 ⊕ · · · ⊕ D s . Lemma 3.10 . Let N be an invertible Nijenhuis (1,1)-tensor on a homogeneous space Q = G/K satisfying the assumptions above. Let Π be the canonical poisson bivector on T * (G/K) and Π 1 = N •Π (see Lemma 3.7). Then 1. for any symplectic leaf F of the Poisson bivector Π λ i := Π 1 − λ i Π there exists an element g ∈ G such that π(F ) = P (gǦ i ); such element g is unique modulo right multiplication by h ∈Ǧ i ; 2. the stabilizer algebra g π(F ) ⊂ g of the leaf π(F ) = P (gǦ i ) of the foliation tangent to the distributionĎ i with respect to the G-action on G/K is equal to Ad gǧi ; 3. the stabilizer algebra g F ⊂ g of the leaf F with respect to the extended G-action on T * (G/K) is equal to the stabilizer algebra g ϕ i F ⊂ Ad gǧi of the functional ϕ i F ∈ (g/Ad gǧi ) * constructed in Lemma 3.9 by means of an action ρ, where we specify ρ : g → Γ(T (G/K)) to be the natural action of the Lie algebra g on G/K; 4. if F 0 ⊂ G/K is a fixed leaf of the foliation tangent to the distributionĎ i , F 0 = P (gǦ i ) (g fixed), the relation F → ϕ i F is an Ad gǧi -equivariant one-to-one correspondence between the symplectic leaves F of Π λ i such that π(F ) = F 0 and linear functionals from (g/Ad gǧi ) * .
Proof. First and second items are consequences of Lemma 1.5 applied to the subalgebra h =ǧ i . Item 3 follows from Item 2 and Lemma 3.9 (8). Item 4 follows from Lemma 3.9(7) since k i = dim g i −dim k = dim(g/Ad gǧi ) * .

Algebraic criterion of kroneckerity in the case of a locally free action
The theorem below is the main result of this paper. Let G be a compact Lie group, K its closed subgroup. Assume that the natural action of G on M = T * (G/K) is generically locally free, i.e. the stabilizer corresponding to the principal orbit type is finite.  to the sum of subspaces such that • ∀ i,j∈{1,...,s},i =j g i ∩ g j = k; • ∀ i,j∈{1,...,s} g i + g j are Lie subalgebras in g; • the decomposition above induces the decomposition T (G/K) = D 1 ⊕ · · · ⊕ D s to integrable subbundles and whereǧ i = j =i g i and g a i and O a i are respectively the stabilizer algebra and the orbit of the element a i with respect to the coadjoint action ad * :ǧ i → gl((g/ǧ i ) * ). Equivalently, condition (4.1.2) can be written as ind (ǧ i ⋉ (g/ǧ i )) = ind g, (4.1.3) where the term in the LHS is the semidirect product of the Lie algebraǧ i and the vector space (g/ǧ i ) with respect to the ad -action.
Proof. We first note that conditions (4.1.2) and (4.1.3) are equivalent by Lemma 4.2 below.
, where the moment map µ λ is specified in Lemma 3.9 (2). Observe that all the objects involved admit a natural complexification (cf. Remark 2.6): the compact Lie groups G and K are imbedded in their Chevalley complexifications G c and K c and the homogeneous space Q = G/K is imbedded into the complex homogeneous space Q c = G c /K c . Moreover, the decomposition (4.1.1) implies the decomposition g C = g C 1 + · · · + g C s , which in turn induces the decomposition T Q c = D c 1 ⊕ · · · ⊕ D c s of the holomorphic tangent bundle to Q c to complex analytic involutive distributions and a complex analytic (1,1)-tensor N c given by N| D c i = λ i Id D c i . By Lemma 3.9(2) the assumptions of Theorem 2.7 are satisfied (it is well-known that for reductive Lie algebras codim Sing g * ≥ 3) and we conclude that the reduced bi-Poisson structure Theorem 2.7(2)). Below we express the number corank p * Π λ i | x ′ in equivalent terms, see formula (4.1.4).
From Lemma 3.9(3) it follows that the restriction of the actionρ : g → Γ(T (T * G/K)) to the stabiliser subalgebra g F of any symplectic leaf F of the Poisson bivector Π λ i is hamiltonian with respect to this bivector with the momentum map µ F λ i : F → g * . Obviously the action of g F is also locally free. Therefore by the bifurcation lemma (cf. the proof of Theorem 2.7) the corank of the reduction (Π λ i |F ) ′ of the Poisson structure restricted to the symplectic leaf, Π λ i |F , at the point x ′ = p(x), where x ∈ F , is equal to the index of the Lie algebra of g F , provided µ F λ i (x) ∈ Sing g F . The algebraic set Sing g F is nowhere dense in g * F and the set is an open dense set in F and, moreover, V = F U F is open and dense in M H . From now on we will consider only points x ′ ∈ p(V ). Obviously Here G F is the subgroup in G corresponding to the subalgebra g F , S i stands for the space of symplectic leaves of the Poisson bivector Π λ i , on which a natural action of the group G is induced from the action of G on M due to the G-invariance of Π λ i , and G · F denotes the orbit of the point F ∈ S i with respect to this action. Recall (see Lemma 3.8(1)) that the space S i is foliated by the submanifolds of the form π −1 (F 0 ), where F 0 ⊂ G/K is a leaf of the foliation tangent to the distributionĎ i = j =i D j . Since the group G acts transitively on G/K and as a consequence on the space of leaves of the foliation tangent to the distributionĎ i , we have codim S i G · F = codim S i |π −1 (π(F )) G π(F ) · F , where G π(F ) is the subgroup corresponding to the subalgebra g π(F ) , i.e. the stabilizer of the submanifold π −1 (π(F )) with respect to the cotangent action (see Lemma 3.9(5)) and S i |π −1 (π(F )) stands for the submanifold in S i of leaves contained in the Poisson submanifold π −1 (π(F )). In view of Lemma 3.9(7), Lemma 3.10(4) and Lemma 3.9(8) S i |π −1 (π(F )) can be identified with (g/g π(F ) ) * , G π(F ) · F with O ϕ i F and g F with g ϕ i F , where ϕ i F ∈ (g/g π(F ) ) * is the functional corresponding to F and g ϕ i F and O ϕ i F are respectively its stabilizer and orbit with respect to the action of g π(F ) on (g/g π(F ) ) * .

Thus we have proven that corank
Finally, in view of Lemma 3.10(2), we have g π(F ) = Ad gǧi for some g ∈ G and We are ready to finish the proof. Assume that {(Π λ ) ′ } is Kronecker at x ′ . Then by Theorem 2.7 ind g ϕ i F + codim (g/Ad gǧi) * O ϕ i F = ind g, i ∈ {1, . . . , s}. Acting by Ad g −1 we will get condition (4.1.2). Vice versa, assume that (4.1.3) is satisfied. Then by the Raïs formula (see Lemma 4.2) ind g = ind g a i + codim (g/ǧ i ) * O a i for a i ∈ R((g/ǧ i ) * ). Obviously also ind g = ind g g·a i + codim (g/Ad gǧi) * O g·a i and g · a i ∈ R((g/Ad gǧi ) * ) for any g ∈ G, where g · a i := Ad * g −1 a i . Fix g ∈ G and let F i be the symplectic leaf of the Poisson bivector Π λ i corresponding to the element g · a i by Lemma 3.10(4) (with π(F i ) = P (Ad gǦi )). Note that the leaves F i are mutually transversal and i codimF i = dim M, thus i F i is a point, say x.
Recall (see Lemma 3.9(6), (7) and Lemma 3.10(4)) that the map ν g i : is an open dense set in π −1 (π(F i )) and the set Lemma 4.2. Let g be a Lie algebra and h ⊂ g its Lie subalebra. Then the condition of existing a ∈ (g/h) * such that ind h a + codim (g/h) * O a = ind g, where h a and O a are respectively the stabilizer algebra and the orbit of the element a with respect to the coadjoint action ad * : h → gl((g/h) * ), is equivalent to the following one:

2.2)
where the Lie algebra in the LHS is the semidirect product of the Lie algebra h and the vector space (g/h) with respect to the ad -action. Moreover, if one of this condition holds, the equality (4.2.1) holds for any a from the open dense set R((g/h)   N + N  *  )x, y), x, y ∈ Γ(T (G/K)), on G/K corresponding to the symmetric (1,1)-tensor N + N * , where N * is the adjoint to N (1,1)-tensor, b(N * x, y) = b(x, Ny), as well as the normal metric itself have completely integrable geodesic flows in the class of analytic integrals polynomial in momenta.
Proof. It is well-known that a function of the form µ * can f , where µ can is the moment map of the G-action on T * (G/K) corresponding to the canonical Poisson bivector Π and f is any polynomial on g * , is analytic and polynomial in momenta. Indeed, the analyticity is obvious and the polynomiality can be argued as follows. If ξ ∈ g is treated as a linear function on g * , the function H ξ = µ * can ξ is the hamiltonian function of the corresponding fundamental vector field V ξ , which in turn can be treated as a fiberwise linear function on T * (G/K) (cf. Definition 3.1 and Remark 3.3). Thus, if f is a polynomial in ξ, then µ * can f is fiberwise polynomial. By Theorem 2.7(3) the involutive set of functions I (2.7.2), where Π t 0 = Π, is complete on T * (G/K). We have to prove that the quadratic forms q(x) := b(x, x) and q N (x) := b N (x, x), x ∈ Γ(T * (G/K)), where we identified T (G/K) with T * (G/K) by means of b, is contained in this set. Let Q(x) = B(x, x) be the quadratic form of B understood as a Casimir function on g * after the identification of g and g * by means of B. Then by Theorem 2.7(4) the function µ * can Q belongs to I. One can show that in fact µ * can Q coincides with q. Indeed, b belongs to the class of the so-called submersion metrics obtained from the right-invariant metrics on G by the canonical submersion G → G/K. The quadratic forms of all the submersion metrics are of the form µ * can f , where f is the corresponding quadratic polynomial on g ∼ = g * [4, Sect. 7].

Applications: two homogeneous spaces with integrable geodesic flows
In the table from Example 1.12 among the triples (g, g 1 , g 2 ) of compact Lie algebras such that g = g 1 + g 2 of one can find two distinguished from our point of view series: (A 2n−1 , C n , A 2n−2 ) and (D n+1 , B n , A n ). For both of them the pairs (g, g i ), i = 1, 2, are symmetric, i.e. the Lie algebra g i is the fixed point set of an automorphism of g of second order (cf. [9, pp. 514-515]). In this context we have to mentioned the following reformulation of the result of Brailov [26, Th. 5 §37].
Theorem 5.1. Let g be a semisimple Lie algebra and g 0 ⊂ g its symmetric subalgebra. Then where g 0 ⋉ (g/g 0 ) is the so-called Z 2 -contraction of g, i.e. the semidirect product of the Lie algebra g 0 and the vector space g/g 0 with respect of the natural ad -representation of g 0 in g/g 0 .
In particular, it follows from this result that both the series of decompositions g = g 1 + g 2 mentioned satisfy condition (4.1.3) of Theorem 4.1. This allows us to formulate the following theorem. tensor N on G/K with the real spectrum {λ 1 , λ 2 }, λ 1 = λ 2 , λ i = 0, related to the decomposition g = g 1 + g 2 with k = g 1 ∩ g 2 by Theorem 1.7 is completely integrable in the class of analytic integrals polynomial in momenta.
Here g and k are the Lie algebras of G and K respectively and the triples of subalgebras (g, g 1 , g 2 ) are equal to (A 2n−1 , C n , A 2n−2 ) and (D n+1 , B n , A n ) respectively. The explicit formulae for the embeddings g i ⊂ g as well as the decomposition k ⊥ = k 1 ⊕ k 2 of the complementary to k space corresponding to the decomposition g = g 1 + g 2 and the "inertia operator" n k ⊥ + n * k ⊥ = (N + N * )| To(G/K) ∼ =k ⊥ (here o = P (e)) are listed in Appendix.
Proof. In view of Theorem 5.1 the result will follow form Theorem 4.4 if we ensure that the action of G on T * (G/K) is locally free (which is an essential assumption of Theorem 4.4). Below we prove this fact, which is equivalent to the fact that the stabilizer k E := stab ρ (E) of a generic element E in k ⊥ under the isotropy action ρ : k → gl(k ⊥ ) vanishes; here k ⊥ is the orhtogonal complement to k with respect to the (nondegenerate) Killing form on g and we identify isotropy and coisotropy action by means of this form restricted to k ⊥ . In other words, k E coincides with Z k (E), the centralizer of the element E ∈ k ⊥ in k. In fact, since the function dim k E is lower semicontinuous, it is enough to show the existence of an element E with k E = {0}. Note that it is sufficient to show the existence of such an element for the complexified action which we do below. We list explicit realizations of the complexifications (g C , g C 1 , g C 2 ) for the above mentioned triples (g, g 1 , g 2 ) as well as the subspace (k C ) ⊥ complementary to the subspace k C = g C 1 ∩ g C 2 with respect to the Killing form. Besides, we indicate the element E ∈ (k C ) ⊥ with stab ρ (E) = {0} and outline the proof of the last equality. We consider separately cases (a) and (b) 4 .
The isotropy action ρ : k → gl(k ⊥ ) can be decomposed into direct sum of two invariant sub-      and a trivial 3-dimensional representation which will be neglected. Let ρ : k → gl(V 1 ⊕ V 2 ) be the coisotropy representation with the invariant subspaces V i and let E i ∈ V i . Then obviously stab ρ (E 1 + E 2 ) = stabρ(E 2 ), whereρ := ρ| stabρ(E 1 ) .
Take the element k ⊥ ∋ E 1 =  . Observe that conditions Aw 2 = 0, A T w 3 = 0 for w 2 = w 3 = (1, 0, · · · , 0) T imply that a 1,i = 0, a i,1 = 0, where we put A = ||a ij || n i,j=1 . Thus for any Y ∈ stab(E) the matrix A is of the 6 Appendix: compact real forms of the triples (g, g 1 , g 2 ) and inertia operators Below we list explicit realizations of the compact real forms for the triples (g, g 1 , g 2 ) used in Theorem 5.2 as well as the decompositions of the subspace k ⊥ = k 1 ⊕ k 2 complementary to the subspace k with respect to the Killing form induced by the decompositions g = g 1 + g 2 , where k i = g i ∩ k ⊥ , and formulae for the "inertia operators" n k ⊥ + n * k ⊥ : k ⊥ → k ⊥ induced by the operator n k ⊥ : k ⊥ → k ⊥ , n k ⊥ | k i = λ i Id k i . We also note that in both cases below the inertia operators are positive definite under the restrictions 0 < λ 1 , 0 < λ 2 , λ 1 ( √ 2 + 1) 2 < λ 2 < λ 1 ( √ 2 − 1) 2 .

Concluding remarks
We would like to note that in the proof of Theorem 4.1 we tried to maximally accurately indicate the open dense set W such that the reduced bi-Poisson structure is Kronecker at any point of p(W ) (and is not Kronecker in the complement). This is important from the point of view of study qualitative analysis of the geodesic flow since outside this set the singularities of the corresponding lagrangian fibration appear (cf. [3]).
The assumption of compactness of the Lie groups G and K which appeared in Theorem 4.1 (see also Theorem 2.7) was used in order to guarantee (1) the existence of complexification of the homogeneous space G/K and as a consequence of other related objects; (2) the existence of an G-invariant open dense set M 0 in M = T * (G/K) (the set M H ) such that the orbit space M 0 /G is a smooth manifold. In fact, the assumption of compactness can be essentially weakened (since conditions (1) and (2) can be achieved for a wider class of Lie groups) preserving the conclusion of the theorem. We did not discuss these weaker assumptions as the main application (Theorem 5.2) is aimed in the class of compact homogeneous spaces.
The assumption that the action of G on T * (G/K) is free, which is essential in Theorems 2.7 and 4.1, can be bypassed by a special reduction to smaller groups instead of G and K, see [14] and [13].
Finally we would like to mention that a matter of further research is the study of the cases when the necessary and sufficient conditions (4.1.3) are not satisfied. In such cases the canonical commuting set of functions B related to the reduced bihamiltonian structure is not complete. However, based on the experience from the study [21] of bihamiltonian structures related with Lie pencils (hence in fact reductions of (T * (G/K), Π, Π 1 ) with trivial K) one could expect additional symmetries in this case and, as a consequence, additional Noether integrals. One can ask for algebraic conditions sufficient for the completeness of the family B enlarged by these integrals.