arxiv:math/070113v [math.at] 10 Mar 007 THE INTEGRAL HOMOLOGY OF THE BASED LOOP SPACE ON A FLAG MANIFOLD JELENA GRBIĆ AND SVJETLANA TERZIĆ Abstract. The homology of a special family of homogeneous spaces, flag manifolds and their based loop spaces is studied. First, the rational homology ring of the based loop space on a complete flag manifold is calculated. Second, it is shown that the integral homology of the based loop space on a flag manifold is torsion free. This results in a description of the integral homology ring. Contents 1. Introduction 1. Torsion in the homology of loop spaces 3 3. Rational homology 5 3.1. Rational homology of loop spaces 5 3.. The based loop space on a classical complete flag manifold 7 4. Integral homology 1 4.1. The integral homology of Ω(SU(n + 1)/T n ) 1 4.. The integral homology of Ω(Sp(n)/T n ) 13 4.3. The integral homology of Ω(SO(n)/T n ) and Ω(SO(n + 1)/T n ) 14 4.4. The integral homology of Ω(SO(n + )/T n ) 16 References 16 1. Introduction Let G be a compact connected Lie group, U a closed connected subgroup and G/U the corresponding homogeneous space. In this paper we study the homology of the based loop space on certain compact homogeneous spaces. There are only few homogeneous spaces for which the integral homology ring of their based loop space is known. Some 000 Mathematics Subject Classification. Primary 57T0, 55P6 Secondary 55P35, 57T35. Key words and phrases. homology ring, based loop spaces, flag manifolds, Sullivan minimal model. 1
JELENA GRBIĆ AND SVJETLANA TERZIĆ of them are: classical simple Lie groups, spheres and complex projective spaces. Homogeneous spaces G/U where rank G = rank U stand out as homogeneous spaces which behave nicely under application of algebraic topological techniques. Even more, all formal homogeneous spaces behave in such way. In that case Sullivan minimal model theory together with the Milnor Moore Theorem can be employed to calculate the rational homology ring of their based loop spaces. Furthermore, in the case of classical Lie groups where ΩG and U are homologically torsion free, it may be possible to apply a spectral sequence argument to the fibration sequence ΩG Ω(G/U) U in order to retrieve information on the existence of torsion in the homology of Ω(G/U). In the case when torsion does not exist, the rational homology determines the integral homology. On the other hand, when a classical Lie group has torsion (that is for SO(m)) another approach is needed. In particular for G = SO(n) and U = T a maximal torus, we will consider certain fibrations involving homogeneous spaces SO(n + 1)/T n and SO(n)/T n, and show that Ω(SO(n+1)/T n ) and Ω(SO(n)/T n ) have torsion free homology. In this paper we calculate the integral homology of a complete flag manifold of a classical compact Lie group and prove that it is torsion free. Definition 1.1. A complete flag manifold of a compact connected Lie group G is a homogeneous space G/T, where T is a maximal torus in G. The motivation for our study comes from Borel s work [B] in which he described the family of compact homogeneous spaces whose cohomology ring is torsion free. The main results of our paper are Theorem.3 and Theorem 4.6 which assemble in the following theorem. Theorem 1.1. The homology of the based loop space on a complete flag manifold is torsion free. Furthermore, the integral homology ring of these loop spaces is explicitly calculated in Theorems 4., 4.4, 4.7, 4.8. In this paper we make a step forward by calculating, in Theorem 4.9, the integral homology of the based loop space on the generalised symmetric space SO(n + )/T n and showing that is torsion free. It is easy to see that SO(n + )/T n is not a complete flag manifold as rankso(n + ) = rankt n + 1. Throughout the paper, the loop space on a topological space will mean a based loop space.
THE BASED LOOP SPACE ON A FLAG MANIFOLD 3 Acknowledgements. The authors would like to take this opportunity to thank Professor Ralph Cohen for his helpful suggestions and kind encouragement.. Torsion in the homology of loop spaces Recall that the Poincaré series P R (A, t) of a graded module A over a ring R is the series P R (A, t) = dim R (A i )t i. i=0 Let X be a topological space. The Poincaré series of the mod-p cohomology of X will be denoted by P p (X, t), and the Poincaré series of the rational cohomology of X by P 0 (X, t). Our main criteria for determining whether a space has torsion free homology is given by the following proposition. It is important to notice that the statement of Proposition.1 was announced by Borel in [B] as a remark. For the sake of clarity and completeness we provide a proof. Proposition.1. Let F E B be a fibration, where the spaces F, E and B are of finite type. Assume that the second page of the mod-p Serre spectral sequence is E = H (B; F p ) H (F; F p ). If P 0 (E, t) = P 0 (B, t) P 0 (F, t) and the cohomology of F and B is torsion free, then so is the (co)homology of E. Proof. For any space X, the mod-p Poincaré series bounds from above the rational Poincaré series, that is, P p (X, t) P 0 (X, t). On the other hand, from the second page of the mod-p Serre spectral sequence associated to the fibration F E B, it follows that P p (E, t) is bounded from the above by P p (B, t) P p (F, t). Now from the assumption that the cohomology of F and B is torsion free, we have P p (F, t) = P 0 (F, t) and P p (B, t) = P 0 (B, t), implying that P 0 (E, t) P p (E, t) P p (B, t) P p (F, t) = P 0 (E, t) and so P p (E, t) = P 0 (E, t). Therefore the cohomology of the total space E is torsion free. On the other hand, since E is of finite type, it follows that the homology of E is torsion free as well. This proves the Proposition.
4 JELENA GRBIĆ AND SVJETLANA TERZIĆ Remark.1. Notice that if F is rationally totally non-homologous to zero in E, that is, if j : H (E; Q) H (F; Q) is an epimorphism, then it follows readily that P 0 (E, t) = P 0 (B, t) P 0 (F, t). In the case of certain homogeneous spaces Proposition.1 can be used to identify loop spaces with torsion free homology. Let us first recall some well known facts about (co)homology of the classical simple compact Lie groups and their based loop space (see for example [MT]). It is a classical result that for any compact connected Lie group (1) H (G; Q) = (z 1,...,z n ), H (ΩG; Q) = Q[y 1,...,y n ] where deg(z i ) = k i 1, deg(y i ) = k i, 1 i n, n = rankg and k i are the exponents of the group G. For classical compact Lie groups, these exponents are established. If G = SU(n + 1) or G = Sp(n), then the integral homology of G and ΩG is torsion free and is given by formula (1). For G = SO(n + 1) or G = SO(n), the integral homology of G and ΩG has -torsion. Lemma.. Let G be a classical simple Lie group and U a closed connected subgroup such that their cohomology is torsion free. Consider the principal fibration ΩG Ω(G/U) U. If the corresponding rational Poincaré series satisfy the identity () P 0 (Ω(G/U), t) = P 0 (ΩG, t) P 0 (U, t) then the integral (co)homology of the based loop space on G/U is torsion free. Proof. For any connected compact Lie group G and a closed connected subgroup U, there is a fibration (3) U G p G/U. Pulling back fibration (3) two times gives a fibration sequence ΩG Ωp Ω(G/U) U. We already mentioned that if G is a simple compact Lie group of classical type with torsion free cohomology, the integral homology of the loop space on G is torsion free. Now, by applying Proposition.1 to the fibration sequence (4) ΩG Ωp Ω(G/U) U we conclude that the homology of Ω(G/U) is torsion free. Notice that the second page of the mod-p Serre spectral sequence of fibration (4)
THE BASED LOOP SPACE ON A FLAG MANIFOLD 5 is E = H (U; F p ) H (ΩG; F p ) since the base and fibre are of finite type and the fibre is an H-space. Remark.. Evidently the statement of Lemma. is also true when G is locally isomorphic to the direct product of tori and classical simple Lie groups with torsion free cohomology. Our main result states that a classical complete flag manifold behaves nicely with respect to the loop space homology functor. We first prove the following. Theorem.3. The homology of the based loop space on the complete flag manifold of a classical simple Lie group with torsion free cohomology is torsion free. Theorem.3 follows directly from Lemma. for the complete flag manifolds SU(n + 1)/T n and Sp(n)/T n, once we prove identity () for the rational Poincaré series of corresponding complete flag manifolds. The only classical simple Lie groups that have torsion in cohomology are SO(m); they and their based loop spaces have -torsion. Therefore, not using Lemma. but in a slightly different way, applying Proposition.1 to certain fibration involving complete flag manifolds SO(n+1)/T n and SO(n)/T n, we will show that Ω(SO(n + 1)/T n ) and Ω(SO(n)/T n ) have torsion free homology. This will result in the proof of Theorem 1.1. In the following section we calculate the rational homology ring of the loop space on a flag manifold by looking separately at SU(n + 1)/T n, SO(n + 1)/T n, SO(n)/T n and Sp(n)/T n. 3. Rational homology To calculate the rational homology of the based loop space on a complete flag manifold of a classical simple Lie group, we will apply Sullivan minimal model theory. We recall the key constructions and set the notation related to the Sullivan minimal model and rational homology of loop spaces which we are going to use in coming sections. 3.1. Rational homology of loop spaces. Let M be a simply connected topological space with the rational homology of finite type. Let µ = (ΛV, d) be a Sullivan minimal model for M. Then d: V Λ V can be decomposed as d = d 1 + d +..., where d i : V Λ i+1 V. In particular, d 1 is called quadratic part of the differential d. The homotopy Lie algebra L of µ is defined in the following way. Define a graded vector space L by requiring that sl = Hom(V, Q)
6 JELENA GRBIĆ AND SVJETLANA TERZIĆ where as usual the suspension sl is defined by (sl) i = (L) i 1. We can define a pairing ; : V sl Q by v; sx = ( 1) deg v sx(v) and extend it to (k + 1)-linear maps by letting Λ k V sl... sl Q v 1... v k ; sx k,..., sx 1 = σ S k ǫ σ v σ(1) ; sx 1... v σ(k) ; sx k where ǫ σ is the sign of a permutation σ. It is important to notice that L inherits a Lie bracket [, ]: L L L from d 1 uniquely determined by (5) v; s[x, y] = ( 1) deg y+1 d 1 v; sx, sy for x, y L, v V. Denote by L the Lie algebra (L, [, ]). Using the theorem in the Appendix of Milnor and Moore [MM], it follows that H (ΩM; Q) = UL where UL is the universal enveloping algebra for L. Further on, UL = T(L)/ xy ( 1) x y yx [x, y]. For a more detailed account of this construction see for example [FHT], Chapters 1 and 16. As the notion of formality will be important for our calculation we recall it here. Definition 3.1. A commutative cochain algebra (A, d) satisfying H 0 (A) = Q is formal if it is weakly equivalent to the cochain algebra (H(A), 0). Thus (A, d) and a path connected topological space X are formal if and only if their minimal Sullivan models can be computed directly from their cohomology algebras. Remark 3.. There are some known cases of topological spaces for which minimal model can be explicitly computed and formality proved. Some of them, that are important for us in this work, are the spaces that have so called good cohomology in terminology of [BG]. Namely, topological space X is said to have good cohomology if H (X; Q) = Q[x 1,...,x n ]/ P 1,..., P k where polynomials P 1,...,P k are without relations in Q[x 1,...,x n ] or in other words, the ideal P 1,...,P k is a Borel ideal in Q[x 1,...,x n ]. Bousfield and Gugenheim in [BG] proved that the minimal model of X is given by µ(x) = Q[x 1,...,x n ] (y 1,...y k )
THE BASED LOOP SPACE ON A FLAG MANIFOLD 7 where deg(y i ) = deg(p i ) 1 and the differential d is given by d(x i ) = 0, d(y j ) = P j. 3.. The based loop space on a classical complete flag manifold. In this section we calculate the rational homology of the loop space on the complete flag manifolds. We start with SU(n + 1)/T n. Recall from Borel [B, Section 6] that the rational (as well as integral) cohomology of SU(n+1)/T n is the polynomial algebra in n+1 variables of degree divided by the ideal generated by the symmetric functions in these variables: H (SU(n + 1)/T n ; Q) = Q[x 1,...,x n+1 ]/ S + (x 1,..., x n+1 ). It is important to note that the ideal S + (x 1,..., x n+1 ) is a Borel ideal. As a consequence, by Remark 3., SU(n + 1)/T n is formal. Thus the minimal model for SU(n + 1)/T n is the minimal model for the commutative differential graded algebra (H (M; Q), d = 0). It is given by µ = (ΛV, d), where V = (x 1,...,x n, y 1,..., y n ) with deg(x k ) =, deg(y k ) = k + 1 for 1 k n. The differential d is defined by ( n ) (6) d(x k ) = 0, d(y k ) = 1 n x k+1 i + ( 1) k+1 ( x i ) k+1. i=1 It is easy to see that the quasi isomorphism f : M = (ΛV, d) (H (M; Q), d = 0) is given by the following rule x i x i, y i 0 for 1 i n. Theorem 3.1. The rational homology of the based loop space on the flag manifold SU(n + 1)/T n is H (Ω(SU(n + 1)/T n ); Q) = ( T(a1,..., a n )/ a k = a pa q + a q a p 1 k, p, q n ) Q[b,..., b n ] where the generators a i are of degree 1 for 1 i n and the generators b k are of degree k for k n. Proof. The underlying vector space of the homotopy Lie algebra L of µ is given by L = (a 1,...,a n, b 1,...,b n ) where deg(a k ) = 1, deg(b k ) = k for 1 k n. i=1
8 JELENA GRBIĆ AND SVJETLANA TERZIĆ In order to define Lie brackets we need the quadratic part d 1 of the differential in the minimal model. In this case, using the differential d defined in (6), the quadratic part d 1 is given by n d 1 (x k ) = 0, d 1 (y 1 ) = x i + x i x j, d 1 (y k ) = 0 for k 1. i=1 i<j For dimensional reasons, we have [a k, b l ] = [b k, b l ] = 0 for 1 k, l n. By the defining property of the Lie bracket stated in (5), we have y 1, s[a k, a k ] = x i + x i x j ; sa k, sa k = x k ; sa k, sa k = 1 and y 1, s[a k, a l ] = x k x l ; sa k, sa l = 1 for k l resulting in the commutators [a k, a l ] = b 1 for 1 k, l n. Therefore in the tensor algebra T(a 1,...,a n, b 1,..., b n ), the Lie brackets above induce the following relations Thus a k a l + a l a k = b 1 for 1 k, l n a k b l = b l a k for 1 k, l n b k b l = b l b k for 1 k, l n. (7) UL = ( T(a 1,..., a n )/ a k = a pa q + a q a p ) Q[b,...,b n ]. This proves the Theorem. The rational cohomology rings for the flag manifolds SO(n+1)/T n = Spin(n + 1)/T n, SO(n)/T n = Spin(n)/T n, and Sp(n)/T n (see for example Borel [B, Section 6]) are given by H (SO(n+1)/T n ; Q) = H (Sp(n)/T n ; Q) = Q[x 1,...,x n ]/ S + (x 1,...,x n ), H (SO(n)/T n ; Q) = Q[x 1,...,x n ]/ S + (x 1,...,x n), x 1... x n where x i is of degree for 1 i n. By Remark 3., all the above mentioned complete flag manifolds are formal and therefore their minimal Sullivan model is the minimal model for their cohomology algebra with the trivial differential. Proceeding in the same way as in the previous theorem, we obtain the following results.
THE BASED LOOP SPACE ON A FLAG MANIFOLD 9 Theorem 3.. The rational homology ring of the based loop on SO(n+ 1)/T n and Sp(n)/T n is given by H (Ω(SO(n + 1)/T n ); Q) = H (Ω(Sp(n)/T n ); Q) = ( ) a T(a 1,...,a n )/ 1 =... = a n, Q[b a k a l = a l a k for k l,...,b n ] where the generators a i are of degree 1 for 1 i n and the generators b k are of degree 4k for k n. Proof. We give just an outline of the proof as it is similar to the proof of Theorem 3.1. The minimal model for SO(n + 1)/T n is given by µ = (ΛV, d), where V = (x 1,...,x n, y 1,...,y n ), where deg(x k ) =, deg(y k ) = 4k 1 for 1 k n. The differential d is given by n (8) d(x k ) = 0, d(y k ) = x k i for 1 k n. i=1 Therefore the underlying vector space of the homotopy Lie algebra L of µ is L = (a 1,...,a n, b 1,...,b n ) where deg(a k ) = 1, deg(b k ) = 4k for 1 k n and the quadratic part d 1 of the differential d is given by n d 1 (x k ) = 0, d 1 (y 1 ) = x i, d 1(y k ) = 0 for k. i=1 The induced Lie brackets on L are equal to [a k, b l ] = [b k, b l ] = 0 for 1 k, l n [a k, a k ] = b 1 for 1 k n [a k, a l ] = 0 for k l. The Theorem follows now at once knowing that H (Ω(SO(n+1)/T n ); Q) = UL. Theorem 3.3. The rational homology ring of the based loop on SO(n)/T n is given by H (Ω(SO(n)/T n ); Q) = ( T(a 1,..., a n )/ a 1 =... = a n, a k a l = a l a k for k l ) Q[b,..., b n 1, b n ] where the generators a i are of degree 1 for 1 i n, the generators b k are of degree 4k for k n 1 and the generator b n is of degree n.
10 JELENA GRBIĆ AND SVJETLANA TERZIĆ Proof. To be reader friendly we outline a proof. The minimal model for SO(n)/T n is given by µ = (ΛV, d), where V = (x 1,...,x n, y 1,...,y n 1, y n ), where deg(x k ) =, deg(y k ) = 4k 1 for 1 k n 1 and deg(y n ) = n 1. The differential d is given by (9) d(x k ) = 0, d(y k ) = n i=1 x k i and d(y n ) = x 1... x n. Hence the underlying vector space of the homotopy Lie algebra L of µ is L = (a 1,...,a n, b 1,...,b n 1, b n ) where deg(a k ) = 1, deg(b k ) = 4k for 1 k n 1, deg(b n ) = n and the quadratic part d 1 of the differential d is given by n d 1 (x k ) = 0, d 1 (y 1 ) = x i, d 1(y k ) = 0 for k n. i=1 The induced Lie brackets on L are equal to [a k, b l ] = [b k, b l ] = 0 for 1 k, l n [a k, a k ] = b 1 for 1 k n [a k, a l ] = 0 for k l. Taking the universal enveloping algebra UL proves the Theorem. The next theorem states the rational homology of a generalised symmetric space that will play a pivotal role in proving that the homology of the based loops on SO(m) are torsion free. Theorem 3.4. The rational homology of the based loop space on SO(n+ )/T n is given by ( T(a 1,..., a n )/ H (Ω(SO(n + )/T n ); Q) = a 1 =... = a n, ) Q[b a k a l = a l a k for k l,..., b n, b n+1 ] where the generators a i are of degree 1 for 1 i n, the generators b k are of degree 4k for k n 1 and the generator b n is of degree n. Proof. The rational cohomology of generalised symmetric spaces (that is homogeneous spaces where the stabilizer appears as the fixed point subgroup of some finite order automorphism of the group) was studied
THE BASED LOOP SPACE ON A FLAG MANIFOLD 11 by Terzić [T]. She showed that SO(n + )/T n is n symmetric space and calculated its rational cohomology ring. H (SO(n + )/T n ; Q) = ( Q[x 1,..., x n ]/ P, P 4,..., P n ) Λ(z) where P k = n i=1 xk i, deg(x i ) = for 1 i n, deg(p k ) = 4k for k n 1 and deg(z) = n + 1. Notice that SO(n + )/T n is formal, as its rational cohomology is given by a tensor product of an exterior algebra and a polynomial algebra on even generators quotient out by a Borel ideal. Therefore the minimal model for SO(n + )/T n is the minimal model for the commutative differential algebra H (SO(n + )/T n ; Q), d = 0). It is given by µ = (ΛV, d), where V = (x 1,...,x n, y 1,...,y n, y n+1 ), deg(x k ) =, deg(y k ) = 4k 1 for 1 k n and deg(y n+1 ) = n + 1. The differential d is given by (10) d(x k ) = 0, d(y k ) = P k = n i=1 x k i for 1 k n and d(y n+1 ) = 0. It is easy to see that the quasi isomorphism f : µ = (ΛV, d) (H (SO(n + )/T n ; Q), d = 0) is given by the following rule x i x i for 1 i n, y i 0 for 1 i n and y n+1 z. Now the underlying vector space of the homotopy Lie algebra L of µ is given by L = (a 1,...,a n, b 1,...,b n, b n+1 ) where deg(a k ) = 1, deg(b k ) = 4k for 1 k n and deg(b n+1 ) = n. In order to define Lie brackets we need the quadratic part d 1 of the differential d defined in (10). The quadratic part d 1 is given by n d 1 (x k ) = 0, d 1 (y 1 ) = x i, d 1(y k ) = 0 for k n and d 1 (y n+1 ) = 0. i=1 For dimensional reasons, we have [a k, b l ] = [b s, b l ] = 0 for 1 k n and 1 s, l n + 1. By the defining property of the Lie bracket stated in (5), we have y 1, s[a k, a k ] = x i;sa k, sa k = x k; sa k, sa k = 1 and y 1, s[a k, a l ] = 0 for k l
1 JELENA GRBIĆ AND SVJETLANA TERZIĆ resulting in the non-trivial commutators [a k, a k ] = b 1 for 1 k n. Therefore in the tensor algebra T(a 1,...,a n, b 1,...,b n, b n+1 ) the Lie brackets above induce the following relations Thus (11) UL = b k b l = b l b k for 1 k, l n + 1 a k = b 1 for 1 k n a k a l = a l a k for 1 k, l n a k b l = b l a k for 1 k n and 1 l n + 1. ( a T(a 1,...,a n )/ 1 =... = a n, a k a l = a l a k for k l This proves the Theorem. 4. Integral homology ) Q[b,..., b n, b n+1 ]. Borel [B, Proposition 9.1] proved that the homology of a flag manifold is torsion free. In this section we prove Theorem.3 which, together with Theorem 4.6, states that the homology of the loop space on a flag manifold is torsion free. 4.1. The integral homology of Ω(SU(n + 1)/T n ). Lemma 4.1. The Poincaré series over Q for the based loop space on SU(n + 1)/T n is given by ( n ) ( n ( ) n (1) P 0 (Ω(SU(n + 1)/T n ), t)) = t ik )t j. j i=1 k=0 Proof. To calculate the Poincaré series we look at the rational homology of Ω(SU(n + 1)/T n ) described in Theorem 3.1. As P 0 (Q[b,...,b n ]) = n i= k=0 tik, it is enough to prove that (13) ( P 0 T(a1,...,a n )/ a k = a pa q + a q a p ) ( ) ( n ( ) n = t k )t j. j Let A be the quotient algebra T(a 1,...,a n )/ a k = a pa q + a q a p. To prove identity (13) it is enough to show that dima l = ( ) ( n l + n l ) +... + 1 for l even and dim A l = ( ) ( n l + n l ) +... + n for l odd. We assume that ( n k) = 0 for k > n. k=0 j=1 j=1
THE BASED LOOP SPACE ON A FLAG MANIFOLD 13 Since a i = a j for 1 i, j n and a ja i = a 1 a ia j for 1 i < j n, for l even A l has a basis consisting of the elements a l k 1 a i1...a ik where 0 k min{n, l} and 1 i 1 <... < i k n. The dimension of A l is therefore ( ) ( n l + n l ) +... + 1. For l odd, the basis for A l is given by a l k+1 1 a i1...a ik 1 where k min{n + 1, l + 1} and 1 i 1 <... < i k 1 n. Thus the dimension of A l is ( ) ( n l + n l ) +...+n. This proves the lemma. Proof of Theorem.3 for SU(n + 1)/T n. By Lemma 4.1, we have P 0 (Ω(SU(n+1)/T n )) = P 0 (Ω(SU(n+1))) P 0 (T n ). Applying Lemma. to the fibration T n SU(n + 1) SU(n + 1)/T n proves that the homology of Ω(SU(n + 1)/T n ) is torsion free. As a corollary of Theorem.3, the homology ring H (Ω(SU(n + 1)/T n ); Z) is uniquely determined by H (Ω(SU(n + 1)/T n ); Q), which proves the following theorem. Theorem 4.. The integral homology ring H (Ω(SU(n + 1)/T n ); Z) of the based loop space on SU(n + 1)/T n is H (Ω(SU(n + 1)/T n ); Z) = ( T(a1,...,a n )/ a k = a pa q + a q a p 1 k, p, q n ) Z[b,...,b n ] where the generators a 1,...,a n are of degree 1 and the generators b i are of degree i for i n. 4.. The integral homology of Ω(Sp(n)/T n ). The first step in showing that Ω(Sp(n)/T n ) is homologically torsion free is to prove that P 0 (Ω(Sp(n)/T n )) = P 0 (Ω(Sp(n))) P 0 (T n ). Lemma 4.3. The Poincaré series over Q for the based loop space on Sp(n)/T n is given by ( n ) ( n ( ) n (14) P 0 (Ω(Sp(n)/T n ), t)) = t (i 1)k )t j. j i=1 k=0 Proof. To calculate the Poincaré series of Ω(Sp(n)/T n ) we proceed in the same way as in Lemma 4.1 using the rational homology of Ω(Sp(n)/T n ) calculated in Theorem 3.. Proof of Theorem.3 for Sp(n)/T n. Directly from Lemma 14, it follows that P 0 (Ω(Sp(n)/T n )) = P 0 (Ω(Sp(n))) P 0 (T n ). Applying Lemma. j=1
14 JELENA GRBIĆ AND SVJETLANA TERZIĆ to the fibration ΩSp(n) Ω(Sp(n)/T n ) T n proves that the homology of Ω(Sp(n)/T n ) is torsion free. In this way we obtain the integral homology ring of Ω(Sp(n)/T n ). Theorem 4.4. The integral homology ring H (Ω(Sp(n)/T n ); Z) of the based loop space on Sp(n)/T n is ( T(a 1,...,a n )/ H (Ω(Sp(n)/T n ); Z) = ) a 1 =... = a n, Z[b a k a l = a l a k for k l,...,b n ] where the generators a 1,...,a n are of degree 1 and the generators b i are of degree 4i for i n. 4.3. The integral homology of Ω(SO(n)/T n ) and Ω(SO(n + 1)/T n ). As mentioned before, the cohomology of SO(m) and the homology of ΩSO(m) are not torsion free, namely, they have -torsion. Therefore Theorem.3 cannot be used directly to prove that Ω(SO(m)/T), where T is a maximal torus, is torsion free. We start with proving some Poincaré series identities that will be used in the proof of Theorem 4.6. Lemma 4.5. There are following identities between rational Poincaré series (15) P 0 (ΩSO(n + )/T n )) = P 0 (Ω(SO(n + 1)/T n )) P 0 (ΩS n+1 ). (16) P 0 (ΩSO(n + )/T n+1 )) = P 0 (Ω(SO(n + 1)/T n )) P 0 (S 1 ). Proof. Let us recall that for graded modules A and B over a ring R, P R (A B, t) = P R (A, t) P R (B, t). Now equation (15) of the Lemma follows readily from the rational homology of Ω(SO(n + 1)/T n ) and Ω(SO(n + )/T n+1 ) calculated in Theorems 3. and 3.3, respectively, and the fact that H (ΩS n+1 ; Q) = Q[c], where deg(c) = n. In a similar fashion, equation (16) follows immediately from the rational homologies H (ΩSO(n+)/T n+1 ; Q), H (ΩSO(n+)/T n ; Q) calculated in Theorems 3.3 and 3.4, respectively, and the fact that H (S 1 ; Q) = Λ(c), where deg(c) = 1. Theorem 4.6. The integral homology of the based loop spaces Ω(SO(n+ 1)/T n ) and Ω(SO(n)/T n ) is torsion free. Proof. By induction on n in two steps; from H (Ω(SO(n)/T n )) to H (Ω(SO(n+1)/T n )) and from H (Ω(SO(n+1)/T n )) to H (Ω(SO(n+ )/T n+1 )).
THE BASED LOOP SPACE ON A FLAG MANIFOLD 15 For the base of induction notice that SO(3)/T 1 = SU()/T 1 = S and therefore by Theorem.3, the integral homology of Ω(SO(3)/T 1 ) is torsion free. Further on, SO(4)/T = SO(3)/T 1 SO(3)/T 1 and therefore Ω(SO(4)/T ) = Ω(SO(3)/T 1 ) Ω(SO(3)/T 1 ), implying by the previous discussion that the integral homology of Ω(SO(4)/T ) is torsion free as well. Step 1. Let us assume that H (Ω(SO(n)/T n ); Z) is torsion free. We want to prove that so is H (Ω(SO(n + 1)/T n ); Z). Looping the fibration SO(n)/T n SO(n + 1)/T n S n, we get the fibration Ω(SO(n)/T n ) Ω(SO(n + 1)/T n ) ΩS n. Associated to this fibration, there is an integral homological Serre spectral sequence which is multiplicative and it collapses in the E term. The first differential d 1 is determined by the value it takes on the generator x n 1 of H (ΩS n ; Z) = T(x n 1 ). For dimensional reason, d 1 maps isomorphically x n 1 onto b n H (Ω(SO(n)/T n ); Z). Notice that d i (x n 1) = 0 for every i 1. Therefore the integral homology of Ω(S(n + 1)/T n ) is ( ) a T(a 1,...,a n )/ 1 =... = a n, Z[b a k a l = a l a k for k l,...,b n ] and is torsion free. Step. Assuming that H (Ω(SO(n+1)/T n ); Z) is torsion free, we show that H (Ω(SO(n+)/T n+1 ); Z) is torsion free as well. To do so we consider two fibrations. From the first fibration Ω(SO(n + 1)/T n ) Ω(SO(n + )/T n ) ΩS n+1 and identity (15) of the Poincaré series by applying Proposition.1 we conclude that H (Ω(SO(n + )/T n ); Z) is torsion free. That is on its own right an interesting result as the rank of SO(n + ) differs to the rank of T n, namely, rankso(n + ) = rankt n + 1. Fibering off an extra copy of the torus T 1 in SO(n + )/T n, we get the fibration Ω(SO(n + )/T n ) Ω(SO(n + )/T n+1 ) S 1. Applying Proposition.1 to this fibration while taking identity (16) into account, proves that H (Ω(SO(n + )/T n+1 ); Z) is torsion free. This finishes the induction and proves the Theorem. We are now ready to state the integral homology of Ω(SO(n + 1)/T n ) and Ω(SO(n)/T n ).
16 JELENA GRBIĆ AND SVJETLANA TERZIĆ Theorem 4.7. The integral homology ring of the based loop spaces on SO(n + 1)/T n is given by H (Ω(SO(n + 1)/T n ); Z) = ( a T(a 1,...,a n )/ 1 =... = a n, ) Z[b a k a l = a l a k for k l,...,b n ] where the generators a i are of degree 1 for 1 i n and the generators b k are of degree 4k for l n. Theorem 4.8. The integral homology ring of the based loop space on SO(n)/T n is given by ( T(a 1,...,a n )/ H (Ω(SO(n)/T n ); Z) = a 1 =... = a n, ) Z[b a k a l = a l a k for k l,...,b n 1, b n ] where the generators a i are of degree 1 for 1 i n, the generators b k are of degree 4k for k n 1 and the generator b n is of degree n. 4.4. The integral homology of Ω(SO(n + )/T n ). We conclude this paper by stating the integral homology of the based loop space on the generalised symmetric space SO(n+)/T n. In Step of the proof of Theorem 4.6, we proved that the integral homology of Ω(SO(n + )/T n ) is torsion free. Therefore using Theorem 3.4, we conclude the following. Theorem 4.9. The integral homology of the based loop space on SO(n+ )/T n is given by ( T(a 1,...,a n )/ H (Ω(SO(n + )/T n ); Z) = ) a 1 =... = a n, Z[b a k a l = a l a k for k l,...,b n, b n+1 ] where the generators a i are of degree 1 for 1 i n, the generators b k are of degree 4k for k n 1 and the generator b n is of degree n. [BG] [B] References Aldridge Bousfield and Victor Gugenheim, On PL de Rham theory and rational homotopy type, Memoirs of the American Mathematical Society 179, 1976. Armand Borel, Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts, Annals of Mathematics, 57 (1953), 115 07.
THE BASED LOOP SPACE ON A FLAG MANIFOLD 17 [FHT] Yves Félix, Stephen Halperin and Jean-Claude Thomas, Rational homotopy theory, Graduate Texts in Mathematics 05, Springer-Verlag, 001. [MM] John Milnor and John Moore, On the structure of Hopf algebras, Annals of Mathematics, 81 (1965), 11 64. [MT] Mamoru Mimura and Hirosi Toda, Topology of Lie groups. I, II. Translations of Mathematical Monographs 91, American Mathematical Society, 1991. [O] Arkady Onishchik, Topologiya tranzitivnykh grupp preobrazovanii, Fizmatlit Nauka, Moscow, 1995. [T] Svjetlana Terzić, Cohomology with real coefficients of generalized symmetric spaces, (Russian) Fundamentalnaya i Prikladnaya Matematika, 7 (001), 131-157. School of Mathematics, University of Manchester, Manchester M13 9PL, United Kingdom E-mail address: jelena.grbic@manchester.ac.uk Faculty of Science, University of Montenegro, Podgorica, Montenegro E-mail address: sterzic@cg.ac.yu