arxiv:math/ v2 [math.at] 10 Mar 2007

Size: px
Start display at page:

Download "arxiv:math/ v2 [math.at] 10 Mar 2007"

Transcription

1 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 Rational homology of loop spaces The based loop space on a classical complete flag manifold 7 4. Integral homology The integral homology of Ω(SU(n + 1)/T n ) The integral homology of Ω(Sp(n)/T n ) The integral homology of Ω(SO(n)/T n ) and Ω(SO(n + 1)/T n ) The integral homology of Ω(SO(n + )/T n ) 16 References 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

2 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.

3 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 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)

5 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 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 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 )

7 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 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.

9 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 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

11 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

12 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 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 ) 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

13 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 ) 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 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 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 )).

15 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 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 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, 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),

17 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), [MT] Mamoru Mimura and Hirosi Toda, Topology of Lie groups. I, II. Translations of Mathematical Monographs 91, American Mathematical Society, [O] Arkady Onishchik, Topologiya tranzitivnykh grupp preobrazovanii, Fizmatlit Nauka, Moscow, [T] Svjetlana Terzić, Cohomology with real coefficients of generalized symmetric spaces, (Russian) Fundamentalnaya i Prikladnaya Matematika, 7 (001), School of Mathematics, University of Manchester, Manchester M13 9PL, United Kingdom address: jelena.grbic@manchester.ac.uk Faculty of Science, University of Montenegro, Podgorica, Montenegro address: sterzic@cg.ac.yu

Lecture on Equivariant Cohomology

Lecture on Equivariant Cohomology Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove

More information

Free Loop Cohomology of Complete Flag Manifolds

Free Loop Cohomology of Complete Flag Manifolds June 12, 2015 Lie Groups Recall that a Lie group is a space with a group structure where inversion and group multiplication are smooth. Lie Groups Recall that a Lie group is a space with a group structure

More information

A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds

A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn

More information

ON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI

ON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI ON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI 1. introduction Consider the space X n = RP /RP n 1 together with the boundary map in the Barratt-Puppe sequence

More information

A note on rational homotopy of biquotients

A note on rational homotopy of biquotients A note on rational homotopy of biquotients Vitali Kapovitch Abstract We construct a natural pure Sullivan model of an arbitrary biquotient which generalizes the Cartan model of a homogeneous space. We

More information

The Rational Homotopy Lie Algebra of Classifying Spaces for Formal Two-Stage Spaces

The Rational Homotopy Lie Algebra of Classifying Spaces for Formal Two-Stage Spaces The Rational Homotopy Lie Algebra of Classifying Spaces for Formal Two-Stage Spaces Samuel Bruce Smith September 2, 1956 Abstract We describe the structure of the rational homotopy Lie algebra of the classifying

More information

MULTIPLICATIVE FIBRE MAPS

MULTIPLICATIVE FIBRE MAPS MULTIPLICATIVE FIBRE MAPS BY LARRY SMITH 1 Communicated by John Milnor, January 9, 1967 In this note we shall outline a result concerning the cohomology of a multiplicative fibre map. To fix our notation

More information

THE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS

THE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS THE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS BY J. P. MAY 1 Communicated by F. P. Peterson, November 13, 1967 In this note, we state some results on the cohomology

More information

nx ~p Us x Uns2"'-1,» i

nx ~p Us x Uns2'-1,» i PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 4, April 1986 LOOP SPACES OF FINITE COMPLEXES AT LARGE PRIMES C. A. MCGIBBON AND C. W. WILKERSON1 ABSTRACT. Let X be a finite, simply

More information

A note on Samelson products in the exceptional Lie groups

A note on Samelson products in the exceptional Lie groups A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, 2008 1 Introduction Samelson products have been studied extensively for the classical groups ([5],

More information

A UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3

A UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3 Homology, Homotopy and Applications, vol. 11(1), 2009, pp.1 15 A UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3 JELENA GRBIĆ and STEPHEN THERIAULT (communicated by Donald M. Davis) Abstract We study a universal

More information

Applications of the Serre Spectral Sequence

Applications of the Serre Spectral Sequence Applications of the Serre Spectral Seuence Floris van Doorn November, 25 Serre Spectral Seuence Definition A Spectral Seuence is a seuence (E r p,, d r ) consisting of An R-module E r p, for p, and r Differentials

More information

arxiv: v1 [math.at] 18 May 2015

arxiv: v1 [math.at] 18 May 2015 PRETTY RATIONAL MODELS FOR POINCARÉ DUALITY PAIRS HECTOR CORDOVA BULENS, PASCAL LAMBRECHTS, AND DON STANLEY arxiv:1505.04818v1 [math.at] 18 May 015 Abstract. We prove that a large class of Poincaré duality

More information

Intersection of stable and unstable manifolds for invariant Morse functions

Intersection of stable and unstable manifolds for invariant Morse functions Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and

More information

William G. Dwyer Clarence W. Wilkerson

William G. Dwyer Clarence W. Wilkerson Maps of BZ/pZ to BG William G. Dwyer Clarence W. Wilkerson The purpose of this note is to give an elementary proof of a special case of the result of [Adams Lannes 2 Miller-Wilkerson] characterizing homotopy

More information

Characteristic classes in the Chow ring

Characteristic classes in the Chow ring arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic

More information

The Homotopic Uniqueness of BS 3

The Homotopic Uniqueness of BS 3 The Homotopic Uniqueness of BS 3 William G. Dwyer Haynes R. Miller Clarence W. Wilkerson 1 Introduction Let p be a fixed prime number, F p the field with p elements, and S 3 the unit sphere in R 4 considered

More information

HOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE

HOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE HOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE J. WU Abstract. The homotopy theory of the suspensions of the real projective plane is largely investigated. The homotopy groups are computed

More information

3 MARCH 2012, CPR, RABAT

3 MARCH 2012, CPR, RABAT RATIONAL HOMOTOPY THEORY SEMINAR Sullivan s Minimal Models My Ismail Mamouni, CPGE-CPR, Rabat Professeur Agrégé-Docteur en Math Master 1 en Sc de l éducation, Univ. Rouen mamouni.new.fr mamouni.myismail@gmail.com

More information

NOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS

NOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS NOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS VICTOR REINER Abstract. There are two famous formulae relating the Poincaré series of a finite/affine Weyl group to the degrees of fundamental

More information

BUNDLES, COHOMOLOGY AND TRUNCATED SYMMETRIC POLYNOMIALS

BUNDLES, COHOMOLOGY AND TRUNCATED SYMMETRIC POLYNOMIALS BUNDLES, COHOMOLOGY AND TRUNCATED SYMMETRIC POLYNOMIALS ALEJANDRO ADEM AND ZINOVY REICHSTEIN Abstract. The cohomology of the classifying space BU(n) of the unitary group can be identified with the the

More information

CHARACTERISTIC CLASSES

CHARACTERISTIC CLASSES 1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact

More information

On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8

On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8 213 226 213 arxiv version: fonts, pagination and layout may vary from GTM published version On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional

More information

Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions

Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions by Shizuo Kaji Department of Mathematics Kyoto University Kyoto 606-8502, JAPAN e-mail: kaji@math.kyoto-u.ac.jp Abstract

More information

Cohomology operations and the Steenrod algebra

Cohomology operations and the Steenrod algebra Cohomology operations and the Steenrod algebra John H. Palmieri Department of Mathematics University of Washington WCATSS, 27 August 2011 Cohomology operations cohomology operations = NatTransf(H n ( ;

More information

3.20pt. Mark Blumstein Commutative Algebra of Equivariant Cohomology Rings Spring / 45

3.20pt. Mark Blumstein Commutative Algebra of Equivariant Cohomology Rings Spring / 45 3.20pt Mark Blumstein Commutative Algebra of Equivariant Cohomology Rings Spring 2017 1 / 45 Commutative Algebra of Equivariant Cohomology Rings Mark Blumstein Spring 2017 Mark Blumstein Commutative Algebra

More information

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013

More information

1.1 Definition of group cohomology

1.1 Definition of group cohomology 1 Group Cohomology This chapter gives the topological and algebraic definitions of group cohomology. We also define equivariant cohomology. Although we give the basic definitions, a beginner may have to

More information

(communicated by Johannes Huebschmann)

(communicated by Johannes Huebschmann) Homology, Homotopy and Applications, vol.6(1), 2004, pp.167 173 HOMOTOPY LIE ALGEBRA OF CLASSIFYING SPACES FOR HYPERBOLIC COFORMAL 2-CONES J.-B. GATSINZI (communicated by Johannes Huebschmann) Abstract

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

Chow rings of Complex Algebraic Groups

Chow rings of Complex Algebraic Groups Chow rings of Complex Algebraic Groups Shizuo Kaji joint with Masaki Nakagawa Workshop on Schubert calculus 2008 at Kansai Seminar House Mar. 20, 2008 Outline Introduction Our problem (algebraic geometory)

More information

Notes 10: Consequences of Eli Cartan s theorem.

Notes 10: Consequences of Eli Cartan s theorem. Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation

More information

arxiv:math/ v2 [math.sg] 5 Jan 2005

arxiv:math/ v2 [math.sg] 5 Jan 2005 THE HOMOTOPY TYPE OF THE SPACE OF SYMPLECTIC BALLS IN S 2 S 2 ABOVE THE CRITICAL VALUE arxiv:math/0406129v2 [math.sg] 5 Jan 2005 Abstract. We compute in this note the full homotopy type of the space of

More information

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action

More information

Rational Types of Function Space Components for Flag Manifolds

Rational Types of Function Space Components for Flag Manifolds Rational Types of Function Space Components for Flag Manifolds Samuel Bruce Smith July 20, 1995 1. Introduction. 2. Preliminaries. In this section, we establish notation for use with Sullivan s differential

More information

Chern Classes and the Chern Character

Chern Classes and the Chern Character Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the

More information

We then have an analogous theorem. Theorem 1.2.

We then have an analogous theorem. Theorem 1.2. 1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.

More information

A COUNTER-EXAMPLE TO A CONJECTURE OF COHEN

A COUNTER-EXAMPLE TO A CONJECTURE OF COHEN A COUNTER-EXAMPLE TO A CONJECTURE OF COHEN RAN LEVI Abstract. LetG be a finite p-superperfect group. A conjecture of F. Cohen suggests that ΩBG p is resolvable by finitely many fibrations over spheres

More information

DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS

DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain

More information

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical

More information

REPRESENTATION THEORY IN HOMOTOPY AND THE EHP SEQUENCES FOR (p 1)-CELL COMPLEXES

REPRESENTATION THEORY IN HOMOTOPY AND THE EHP SEQUENCES FOR (p 1)-CELL COMPLEXES REPRESENTATION THEORY IN HOMOTOPY AND THE EHP SEQUENCES FOR (p 1)-CELL COMPLEXES J. WU Abstract. For spaces localized at 2, the classical EHP fibrations [1, 13] Ω 2 S 2n+1 P S n E ΩS n+1 H ΩS 2n+1 play

More information

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

THE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS. Osaka Journal of Mathematics. 52(1) P.15-P.29

THE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS. Osaka Journal of Mathematics. 52(1) P.15-P.29 Title THE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS Author(s) Theriault, Stephen Citation Osaka Journal of Mathematics. 52(1) P.15-P.29 Issue Date 2015-01 Text Version publisher URL https://doi.org/10.18910/57660

More information

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1 ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a

More information

THE EILENBERG-MOORE SPECTRAL SEQUENCE AND THE MOD 2 COHOMOLOGY OF

THE EILENBERG-MOORE SPECTRAL SEQUENCE AND THE MOD 2 COHOMOLOGY OF ILLINOIS JOURNAL OF MATHEMATICS Volume 28, Number 3, Fall 1984 THE EILENBERG-MOORE SPECTRAL SEQUENCE AND THE MOD 2 COHOMOLOGY OF CERTAIN FREE LOOP SPACES BY LARRY SMITH There has been considerable interest

More information

Seminar on compact Lie groups and homogeneous spaces

Seminar on compact Lie groups and homogeneous spaces Seminar on compact Lie groups and homogeneous spaces The rst objective of the seminar is to convey a feeling for the special properties of Lie groups. We are going to concentrate mostly on the following

More information

arxiv:math/ v2 [math.at] 2 Oct 2004

arxiv:math/ v2 [math.at] 2 Oct 2004 arxiv:math/0409412v2 [math.at] 2 Oct 2004 INTERSECTION HOMOLOGY AND ALEXANDER MODULES OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. Let V be a degree d, reduced, projective hypersurface in CP n+1,

More information

arxiv:math/ v1 [math.at] 13 Nov 2001

arxiv:math/ v1 [math.at] 13 Nov 2001 arxiv:math/0111151v1 [math.at] 13 Nov 2001 Miller Spaces and Spherical Resolvability of Finite Complexes Abstract Jeffrey Strom Dartmouth College, Hanover, NH 03755 Jeffrey.Strom@Dartmouth.edu www.math.dartmouth.edu/~strom/

More information

Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

More information

12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of

More information

AN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP

AN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP AN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP J.A. HILLMAN Abstract. We construct aspherical closed orientable 5-manifolds with perfect fundamental group. This completes part of our study of

More information

ARTIN BRAID GROUPS AND HOMOTOPY GROUPS

ARTIN BRAID GROUPS AND HOMOTOPY GROUPS ARTIN BRAID GROUPS AND HOMOTOPY GROUPS JINGYAN LI AND JIE WU Abstract. We study the Brunnian subgroups and the boundary Brunnian subgroups of the Artin braid groups. The general higher homotopy groups

More information

AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE

AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials

More information

DECOMPOSITIONS OF LOOPED CO-H-SPACES

DECOMPOSITIONS OF LOOPED CO-H-SPACES DECOMPOSITIONS OF LOOPED CO-H-SPACES J. GRBIĆ, S. THERIAULT, AND J. WU Abstract. We prove two homotopy decomposition theorems for the loops on simply-connected co-h-spaces, including a generalization of

More information

Handlebody Decomposition of a Manifold

Handlebody Decomposition of a Manifold Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody

More information

Periodic Cyclic Cohomology of Group Rings

Periodic Cyclic Cohomology of Group Rings Periodic Cyclic Cohomology of Group Rings Alejandro Adem (1) and Max Karoubi Department of Mathematics University of Wisconsin Madison WI 53706 Let G be a discrete group and R any commutative ring. According

More information

EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES

EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES RAVI A.RAO AND RICHARD G. SWAN Abstract. This is an excerpt from a paper still in preparation. We show that there are

More information

On LS-Category of a Family of Rational Elliptic Spaces II

On LS-Category of a Family of Rational Elliptic Spaces II E extracta mathematicae Vol. 31, Núm. 2, 235 250 2016 On LS-Category of a Family of Rational Elliptic Spaces II Khalid Boutahir, Youssef Rami Département de Mathématiques et Informatique, Faculté des Sciences,

More information

RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan

RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On multiframings of 3 manifolds Tatsuro Shimizu 1

More information

Homotopy types of moment-angle complexes

Homotopy types of moment-angle complexes Homotopy types of moment-angle complexes based on joint work with Jelena Grbic, Stephen Theriault and Jie Wu Taras Panov Lomonosov Moscow State University The 39th Symposium on Transformation Groups Tokyo

More information

58 CHAPTER 2. COMPUTATIONAL METHODS

58 CHAPTER 2. COMPUTATIONAL METHODS 58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study

More information

SETS OF DEGREES OF MAPS BETWEEN SU(2)-BUNDLES OVER THE 5-SPHERE

SETS OF DEGREES OF MAPS BETWEEN SU(2)-BUNDLES OVER THE 5-SPHERE SETS OF DEGREES OF MAPS BETWEEN SU(2)-BUNDLES OVER THE 5-SPHERE JEAN-FRANÇOIS LAFONT AND CHRISTOFOROS NEOFYTIDIS ABSTRACT. We compute the sets of degrees of maps between SU(2)-bundles over S 5, i.e. between

More information

Another proof of the global F -regularity of Schubert varieties

Another proof of the global F -regularity of Schubert varieties Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give

More information

Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley

Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given

More information

The Adjoint Action of a Homotopy-associative H-space on its Loop Space.

The Adjoint Action of a Homotopy-associative H-space on its Loop Space. The Adjoint Action of a Homotopy-associative H-space on its Loop Space. Nicholas Nguyen Department of Mathematics University of Kentucky January 17th, 2014 Assumptions Unless specied, All topological spaces:

More information

For Which Pseudo Reflection Groups Are the p-adic Polynomial Invariants Again a Polynomial Algebra?

For Which Pseudo Reflection Groups Are the p-adic Polynomial Invariants Again a Polynomial Algebra? Journal of Algebra 214, 553 570 (1999) Article ID jabr.1998.7691, available online at http://www.idealibrary.com on For Which Pseudo Reflection Groups Are the p-adic Polynomial Invariants Again a Polynomial

More information

A FUNCTION SPACE MODEL APPROACH TO THE RATIONAL EVALUATION SUBGROUPS

A FUNCTION SPACE MODEL APPROACH TO THE RATIONAL EVALUATION SUBGROUPS A FUNCTION SPACE MODEL APPROACH TO THE RATIONAL EVALUATION SUBGROUPS KATSUHIKO KURIBAYASHI Abstract. This is a summary of the joint work [20] with Y. Hirato and N. Oda, in which we investigate the evaluation

More information

FINITE CHEVALLEY GROUPS AND LOOP GROUPS

FINITE CHEVALLEY GROUPS AND LOOP GROUPS FINITE CHEVALLEY GROUPS AND LOOP GROUPS MASAKI KAMEKO Abstract. Let p, l be distinct primes and let q be a power of p. Let G be a connected compact Lie group. We show that there exists an integer b such

More information

p,q H (X), H (Y ) ), where the index p has the same meaning as the

p,q H (X), H (Y ) ), where the index p has the same meaning as the There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore

More information

Homogeneous spaces with the cohomology of sphere products and compact quadrangles

Homogeneous spaces with the cohomology of sphere products and compact quadrangles Homogeneous spaces with the cohomology of sphere products and compact quadrangles Dissertation zur Erlangung des naturwissenschaftlichen Doktorgrades der Bayerischen Julius-Maximilians-Universität Würzburg

More information

W. G. Dwyer. 1 From compact Lie groups to p-compact groups

W. G. Dwyer. 1 From compact Lie groups to p-compact groups Doc. Math. J. DMV 1 Ä ÖÓÙÔ Ò p¹óñô Ø ÖÓÙÔ W. G. Dwyer Abstract. A p-compact group is the homotopical ghost of a compact Lie group; it is the residue that remains after the geometry and algebra have been

More information

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy

More information

A conjecture in Rational Homotopy Theory CIMPA, FEBRUARY 2012

A conjecture in Rational Homotopy Theory CIMPA, FEBRUARY 2012 UNIV. LIBAN, BEYROUTH A conjecture in Rational Homotopy Theory My Ismail Mamouni, CPGE-CPR, Rabat Professeur Agrégé-Docteur en Math Master 1 en Sc de l éducation, Univ. Rouen mamouni.new.fr mamouni.myismail@gmail.com

More information

Geometry 9: Serre-Swan theorem

Geometry 9: Serre-Swan theorem Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

More information

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank

More information

The Mod 3 Homology of the Space of Loops on the Exceptional Lie Groups and the Adjoint Action

The Mod 3 Homology of the Space of Loops on the Exceptional Lie Groups and the Adjoint Action The Mod Homology of the Space of Loops on the Exceptional Lie Groups and the Adjoint Action Hiroaki HAMANAKA Department of Mathematics, Kyoto University and Shin-ichiro HARA Nagaoka University of Technology.

More information

The Real Grassmannian Gr(2, 4)

The Real Grassmannian Gr(2, 4) The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds

More information

Model categories and homotopy colimits in toric topology

Model categories and homotopy colimits in toric topology Model categories and homotopy colimits in toric topology Taras Panov Moscow State University joint work with Nigel Ray 1 1. Motivations. Object of study of toric topology : torus actions on manifolds or

More information

GENERALIZING THE LOCALIZATION FORMULA IN EQUIVARIANT COHOMOLOGY

GENERALIZING THE LOCALIZATION FORMULA IN EQUIVARIANT COHOMOLOGY GENERALIZING THE LOCALIZATION FORULA IN EQUIVARIANT COHOOLOGY Abstract. We give a generalization of the Atiyah-Bott-Berline-Vergne localization theorem for the equivariant cohomology of a torus action.

More information

MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY

MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY Contents 1. Cohomology 1 2. The ring structure and cup product 2 2.1. Idea and example 2 3. Tensor product of Chain complexes 2 4. Kunneth formula and

More information

THE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.

THE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. THE STEENROD ALGEBRA CARY MALKIEWICH The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. 1. Brown Representability (as motivation) Let

More information

An Introduction to Spectral Sequences

An Introduction to Spectral Sequences An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,

More information

Rational homotopy theory

Rational homotopy theory Rational homotopy theory Alexander Berglund November 12, 2012 Abstract These are lecture notes for a course on rational homotopy theory given at the University of Copenhagen in the fall of 2012. Contents

More information

Exercises on characteristic classes

Exercises on characteristic classes Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives

More information

The cohomology of the braid group B 3 and of SL 2 (Z) with coefficients in a geometric representation

The cohomology of the braid group B 3 and of SL 2 (Z) with coefficients in a geometric representation The cohomology of the braid group B 3 and of SL 2 (Z) with coefficients in a geometric representation Filippo Callegaro, Frederick R. Cohen and Mario Salvetti Abstract. This article is a short version

More information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic

More information

Algebraic Models for Homotopy Types III Algebraic Models in p-adic Homotopy Theory

Algebraic Models for Homotopy Types III Algebraic Models in p-adic Homotopy Theory Algebraic Models for Homotopy Types III Algebraic Models in p-adic Homotopy Theory Michael A. Mandell Indiana University Young Topologists Meeting 2013 July 11, 2013 M.A.Mandell (IU) Models in p-adic Homotopy

More information

The Spinor Representation

The Spinor Representation The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)

More information

Computers work exceptionally on Lie groups

Computers work exceptionally on Lie groups Computers work exceptionally on Lie groups Shizuo Kaji Fukuoka University First Global COE seminar on Mathematical Research Using Computers at Kyoto University Oct. 24, 2008 S.Kaji (Fukuoka U.) Computers

More information

NOTES ON FIBER BUNDLES

NOTES ON FIBER BUNDLES NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement

More information

Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere

Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere A gift to Professor Jiang Bo Jü Jie Wu Department of Mathematics National University of Singapore www.math.nus.edu.sg/ matwujie

More information

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr ) MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle

More information

DERIVED STRING TOPOLOGY AND THE EILENBERG-MOORE SPECTRAL SEQUENCE

DERIVED STRING TOPOLOGY AND THE EILENBERG-MOORE SPECTRAL SEQUENCE DERIVED STRING TOPOLOGY AND THE EILENBERG-MOORE SPECTRAL SEQUENCE KATSUHIKO KURIBAYASHI, LUC MENICHI AND TAKAHITO NAITO Abstract. Let M be a simply-connected closed manifold of dimension m. Chas and Sullivan

More information

THE CELLULARIZATION PRINCIPLE FOR QUILLEN ADJUNCTIONS

THE CELLULARIZATION PRINCIPLE FOR QUILLEN ADJUNCTIONS THE CELLULARIZATION PRINCIPLE FOR QUILLEN ADJUNCTIONS J. P. C. GREENLEES AND B. SHIPLEY Abstract. The Cellularization Principle states that under rather weak conditions, a Quillen adjunction of stable

More information

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups

More information

ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS

ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition

More information

Patrick Iglesias-Zemmour

Patrick Iglesias-Zemmour Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries

More information

Hilbert function, Betti numbers. Daniel Gromada

Hilbert function, Betti numbers. Daniel Gromada Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes

More information

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group

More information