On symplectically fat twistor bundles

This paper deals with the question when are twistor bundles over homogeneous spaces symplectically fat? It shows that twistor bundles over even-dimensional Grassmannians of maximal rank have this property.

Following Weinstein [19], we will call such associated bundles symplectically fat. In [6,18] it was shown that symplectically fat fiber bundles can be used to obtain equations of motion of a classical particle in the presence of a Yang-Mills field, for any gauge group. On the other hand, symplectically fat fiber bundles (as well as their contact analogs [13]) are used in symplectic and contact topology to construct symplectic and contact manifolds with prescribed properties. For example, the authors of [7] applied the described construction to solve problems in metric contact geometry and symplectic topology.
We see that fat bundles are interesting and useful, both in symplectic geometry and in mathematical physics. However, it is extremely difficult to even find examples satisfying the fatness condition, provided that one does not assume the symplecticness of the base. Surprisingly, the only known examples of it are the following classes of bundles (see [9]): (1) bundles of the form where G is a semisimple Lie group, H is its compact subgroup of maximal rank and K = Z G (T ) ⊂ H for some torus in G; (2) twistor bundles of the form: where (B 2n , g) stands for an even-dimensional manifold with sectional curvature K g satisfying the following condition 1 − 3 2n + 1 ≤ |K g | ≤ 1; (3) locally homogeneous complex manifolds \G/V fibered over locally symmetric Riemannian manifolds as follows: where G is a semisimple Lie group of non-compact type, is a uniform lattice in G, K a maximal compact subgroup in G and V = Z G (T ) ⊂ K for some torus T in G.
Thus, it is tempting to find some other classes of fat bundles, as well as to understand the reason why are they so rare. In this work, we prove that some classes of twistor bundles over homogeneous spaces are symplectically fat. Our main result is the following theorem.

Theorem 2 The twistor bundles over even-dimensional Grassmannians of maximal rank
are symplectically fat.
Let us explain our motivation for considering twistor bundles in more detail. In [17], Reznikov proved the following. The total space of the twistor bundle over an even-dimensional compact Riemannian manifold (B 2n , g) whose sectional curvature K g satisfies the inequality admits a fiberwise symplectic structure. He used this theorem to construct examples of closed symplectic manifolds with no Kaehler structure. Note that the result of Reznikov turned out to be just a consequence of the fact that these bundles are symplectically fat. The latter result with a more conceptual proof was obtained in [9]. In this context, we want also to mention an important article [5] which is related to symplectic fatness. The authors constructed there some non-Kaehler manifolds with trivial canonical bundle using a special case of Reznikov's theorem. All these observations lead to the natural question: which twistor bundles do admit fiberwise symplectic structures? The previous works on this topic dealt with the case when the base (B, g) was endowed with a Riemannian metric satisfying some extra curvature assumptions [1,9,17]. In this article, we are interested in a different type of restrictions on the base: we assume that it is a homogeneous space endowed with an invariant Riemannian metric. Our method enables us to solve the problem of symplecticness (in positive) for twistor bundles over Grassmannians. Symplecticness of twistor bundles may be of independent interest, because they generalize the approach of Penrose [16] which enables one to construct particular Einstein metrics on the base (see [2], Chapter 13). Note that Theorem 2 is obtained as a consequence of the following approach. Analyzing the previous works on the topic, we can repeat after Weinstein [19] that "everything in sight is homogeneous". In this paper, we approach the problem restricting ourselves to a more general but still tame case of Gstructures over homogeneous spaces K /H of semisimple Lie groups. In more detail, (1) we find sufficient conditions ensuring that a G-structure over compact reductive homogeneous space K /H admits a symplectically fat associated bundle with coadjoint orbits G/G ξ as fibers for ξ ∈ g * (Lemma 1 and Corollary 1) in terms of the isotropy representation; (2) Proposition 1 (which follows from Corollary 1) and Theorem 6 yield conditions on the isotropy representation ensuring that the twistor bundle over even-dimensional K /H (such that rank K = rank H ) is symplectically fat.
Our main result is obtained by applying Theorem 6 to the particular case of twistor bundles over Grassmannians. The constructed classes of symplectically fat fiber bundles are not covered by the previously known results. Note that the idea of using G-structures over homogeneous spaces is also exploited in our work [3]. This work is a continuation of [3]; the progress is achieved by finding new verifiable conditions ensuring the symplecticness and enabling us to prove the main result. Finally, let us just mention that symplectic fatness condition is used in some physical models [8,14,18,20] and in the representation theory [6].
In what follows, we use the theory of Lie groups and Lie algebras closely following [4,15] without further explanations.

Lerman's theorem
We need to introduce some notation which will be used throughout this work. We denote by k the Lie algebra of a semisimple Lie group K . The symbol k c denotes the complexification. Let H be a compact subgroup of maximal rank in K with the Lie algebra h. Let t be a maximal abelian subalgebra in h. Then t c is a Cartan subalgebra in k c . We denote by = (k c , t c ) the system of k c with respect to t c . Under these choices, the root system for h c is a subsystem of . Denote this subsystem as (h).
If the Killing form B k of k is nondegenerate on h, then the subspace The decomposition is ad H -invariant and the restriction of the Killing form B k to m is nondegenerate (see Theorem 3.5 in Section X of [11]). The decomposition complexifies to k c = h c ⊕ m c . Thus, we have root space decompositions: Since K is semisimple, the Killing form B k defines an isomorphism k ∼ = k * between the Lie algebra of K and its dual. If the Killing form is nondegenerate on h, the composition Let us denote this isomorphism by X u → u. Let C ⊂ t be the Weyl chamber and let C α denote its wall determined by the root α, more precisely C α = ker α is the hyperplane defined by the root α. In what follows, we will need not only the formulation of some part of Theorem 3, but also its proof in the form obtained in [9].
Because of that, we reproduce the formulation and the proof, to make the article independent of [9]. Note that Theorem 3 was proved by Lerman [12] for compact semisimple Lie groups. Lerman's theorem expresses fatness condition in terms of some Lie algebra data related to the principal bundle The vector X v does not belong to the set Proof The curvature form of the canonical connection in the given principal bundle has the form Hence the fatness condition is expressed as the non-degeneracy of the form Recall that here the pairing is given by the Killing form. Since It follows from the hypothesis that B is non-degenerate on m and the form (*) is nondegenerate if and only if [X v , X ] = 0. This is equivalent to Without loss of generality we can assume that X v ∈ t. Then the last equality is, after complexification, equivalent to the condition that be a G-structure, that is, a reduction of the frame bundle L(B) → B to a Lie group G. Any diffeomorphism f ∈ Diff(B) acts on L(B) by the formula By definition, f is called an automorphism of the given G-structure, if this action commutes with the action of G. Let B = K /H be a homogeneous space of a connected Lie group K . Assume that B is equipped with a K -invariant G-structure. The latter means that any left translation τ (k) : It is important to observe that we can fix a frame u o : R n → T o B, u o ∈ P and identify the linear isotropy representation of H with a homomorphism λ : One can see this as follows. Denote by P o ⊂ P the fiber over the point o, It is easy to see that λ(h) = g.
In the sequel, we assume that K /H is reductive. In this case k can be decomposed into a direct sum Note that the latter implies [h, m] ⊂ m. Also, we assume that the isotropy representation is faithful. Let us make one more straightforward but important observation. One can identify λ with the restriction of the adjoint representation of H on m (which we also denote by λ).
Note that the identification of the isotropy representation with the restriction of the adjoint representation on m is used in [11], Chapter X, for example, in the proof of Theorem 2.6.
We say that a connection θ in P → B is K -invariant, if for any k ∈ K the lift of τ (k) preserves it. We need the following description of the set of invariant connections in the principal bundle P → B from [11], Chapter X.

Theorem 4 Let B = K /H be a reductive homogeneous space equipped with a K -invariant G-structure. Then, there is a one-to-one correspondence between the K -invariant connections in it and Ad H -invariant linear maps
Note that here Ad H -invariance means that Remark 1 Recall that a connection in the given K -invariant G-structure is called canonical if it corresponds to the map m = 0.
The curvature of such connection is described by the following result [10] (Theorem II.11.7).

Theorem 5 The curvature form of the canonical connection in P is given by the formula
Adopt the following notation. Let λ : a → b be a monomorphism of Lie algebras. Denote by λ * : b * → a * the dual map defined by λ * ( f )(X ) = f (λ(X )) for any X ∈ a. Let B b and B a be some non-degenerate bilinear invariant forms on b and a (these may be the Killing forms, for example, if the corresponding Lie algebras are semisimple). They determine the natural pairings between b * and b; a * and a. Thus

Lemma 1 Let K be a semisimple Lie group, and H ⊂ K a compact subgroup of maximal rank. Suppose that the Killing form K is non-degenerate on the Lie algebra h ⊂ g of the subgroup H . Assume that the homogeneous space K /H is equipped with a K -invariant Gstructure and that the isotropy representation λ is faithful. Then, v ∈ g * is fat with respect to the canonical connection, if the 2-form
Proof By definition v ∈ g * is fat with respect to the canonical connection, if and only if the Note that the last equality is proved by repeating the corresponding proof of Theorem 3 in the previous section, applied to k.

Corollary 1 Under the assumptions of Lemma
Proof The argument follows from Lemma 1 by repeating verbatim the proof of Theorem 3 from the previous section, since one has to prove the fatness of the vector X λ v ∈ h ⊂ k.

Symplectic fatness of twistor bundles over homogeneous spaces
The twistor bundle over an even-dimensional Riemannian manifold (B 2n , g) is the bundle associated with the orthonormal frame bundle of B with the fiber SO(2n)/U (n). In our case B = K /H , and our twistor bundle has the form where dim K /H = 2n, and SO(K /H ) stands for the total space of the principal SO(n)bundle of oriented frames. In what follows, we will denote the total space of the twistor bundle by T (K /H ). We see that if the base B = K /H is homogeneous, and g is a K -invariant Riemannian metric, the corresponding twistor bundle is associated to the SO(2n)-structure over K /H. In this setting, we can apply the results of the previous section.
In what follows we will always assume that K is a semisimple Lie group, H ⊂ K is a compact subgroup of maximal rank, and the Killing form of K is non-degenerate on the Lie algebra h ⊂ g. Denote by J the matrix in so(2n) consisting of n blocks of the form It is known and easy to see that the homogeneous space SO(2n)/U (n) is symplectic, because it is the coadjoint orbit of the dual vector J * (with respect to the Killing form B so(2n) and the standard transitive action of SO(2n) on SO(2n)/U (n)) (section 3.4 of [6]).

Proposition 1 Consider the twistor bundle SO(2n)/U (n) → T (K /H ) → K /H
over a reductive homogeneous space K /H. Let λ : h → g = so(2n) be the isotropy representation. Let J * ∈ so(2n) * denote the dual to J with respect to the Killing form B g of g. Assume X λ J * ∈ h has the property Then, the twistor bundle is symplectically fat.
Proof The proof follows from the equality (X λ J * ) * = λ * (J * ) (by applying Corollary 1). The latter means that J * is fat, and as a result, the coadjoint orbit of J * (or the adjoint orbit of J ) is also fat. Thus, the fiber SO(2n)/U (n) has fat image under the moment map.

Theorem 6 Consider the twistor bundle over a reductive homogeneous space K /H satisfying the following conditions
(1) K is semisimple, H is compact, and the Killing form of k restricted to h is non-degenerate; (2) K /H is a reductive homogeneous space of maximal rank (that is, rank K = rank H ); (3) there exists T ∈ t ⊂ h in the Cartan subalgebra t of h and k such that Then, the corresponding twistor bundle is symplectically fat.
Proof We prove the Theorem in two steps: first, we restrict ourselves to the case when H is compact and simple, and then show how to extend the argument to the general case.
Begin with a straightforward remark on duality: if λ : V → W is a monomorphism of vector spaces endowed with non-degenerate bilinear forms B V and B W such that B W (λ(u), λ(v)) = B V (u, v) then, for the duality determined by B V and B W , the following holds Since λ is a Lie algebra monomorphism,B is a non-degenerate invariant bilinear form on h. We haveB Thus, we can apply (1) to B h and B g . Let λ(T ) = ad T | m = J , where J : m → m. Note that the latter follows from the fact that for the canonical connection on K /H the isotropy representation coincides with the adjoint representation restricted to m (this is known and straightforward). It follows from (1) and our choice of B g that the dual X λ J * of λ * (J * ) must be T : Therefore, J * ∈ so * (2n) is fat by Corollary 1 and by the assumption 3, J 2 = −id. Notice that J is skew-symmetric with respect to the Killing form B k . Thus J ∈ so(m) and represents some complex structure on the vector space m. Since the coadjoint orbit dual to the adjoint orbit of J consists of fat vectors, the proof follows. Consider now the general case of a compact subgroup H . The proof goes essentially unchanged as in the first case, if we show the following implication if λ(T ) = J then λ * (J * ) = T * .
Without loss of generality assume that h = h 1 + h 2 where h 1 , h 2 are ideals in h with trivial intersection and h 1 is a simple Lie algebra. Take T ∈ h 1 and assume that λ(T ) = J ∈ g. B k and B g are Killing forms of k and g, respectively. Take (H 11 , 0) = 0 h := λ(h) and set Bh := B g |h. Since g is a semisimple Lie algebra of compact type, Bh is nondegenerate. Puth 1 := λ(h 1 ) andh 2 := λ(h 2 ). Because λ is the Lie algebra monomorphism, we obtain a decompositionh =h 1 +h 2 , whereh i are ideals inh with trivial intersection andh 1 is a simple Lie algebra. By a similar argumenth 1 is Bh-orthogonal toh 2 λ(H a )).
Since h 1 is a simple Lie algebra, we may assume (as in the first part of the proof) that B h (X, Y ) = Bh(λ(X ), λ(Y )) for any X, Y ∈ h 1 . Therefore, one may continue as follows:

Corollary 2 Under the assumptions of Theorem 6, assume that there exists an inner automorphism of K of the form Ad t, t ∈ H, t = exp T such that
Then, the twistor bundle over K /H is symplectically fat.
The latter corollary yields examples of homogeneous spaces with symplectic twistor bundles over them. To describe these examples, recall that the compact real form of any semisimple complex Lie algebra g c can be written using the following formula Here, denotes the root system for g c .
This observation enables us to compute examples of bundles described in Theorem 6. Assume that we are given a compact homogeneous space K /H. Denote by k, h Lie algebras of K , H and by k c , h c complexifications of these algebras. Since k is of compact type, the restriction of its Killing form to h is non-degenerate and K /H is reductive. We also obtain the following decompositions Here, again denotes the root system for k. We apply Corollary 2 as follows.
(1) We look for T in the Cartan subalgebra of k such that ad T | m = −id, and T / ∈ ∪ α∈ \ (h) C α .
(2) We make the following observations. Assume that we can choose T ∈ t c satisfying the equations where i or −i are chosen in a way to ensure that the above system of linear equations has a solution. Note that t c = t + it, where t denotes the real form of t c consisting of vectors H ∈ t c such that α(H ) ∈ R for all α ∈ . It follows that T ∈ it = α∈ R(i H α ). Therefore, T ∈ k. But (ad T | m ) 2 = −id, because by construction it satisfies this equality on m c . (3) Clearly, T does not belong to any wall C α , α ∈ \ (h). (4) Finally, we see from Corollary 2 that under the adopted assumptions the twistor bundle over K /H must be symplectically fat. (9)) → F 4 /SO (9), over the Riemannian symmetric space F 4 /SO (9) is symplectically fat.

Example 1 The twistor bundle
Proof It is sufficient to find an appropriate T ∈ t c . We have = ±e s ± e t , ±e s , Take T ∈ t c so that e 1 (T ) = 2i and e 2 (T ) = e 3 (T ) = e 4 (T ) = 0. Then, α(T ) = ±i, α ∈ \ (h) and In the same fashion, one can analyze the second example.

Example 2 The twistor bundle
is symplectically fat.

Twistor bundles over Grassmannians
In this section, we will prove Theorem 2.
We will examine twistor bundles over oriented Grassmannian homogeneous spaces Since in this article we treat homogeneous spaces of maximal rank, and of even dimension, our attention is limited to the following cases: SO(2(n + m))/SO(2n) × SO(2m), n, m = 1, Proof of Theorem 2 The proof is obtained by applying Theorem 6 to each case of evendimensional Grassmannians of maximal rank separately.
(4) The case of complex Grassmannian does not require a separate proof, because U (n + m)/U (m) × U (n) is Kaehler, hence, symplectic, and the proof follows from [19], Theorem 3.3.
Theorem 2 is proved.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.