arxiv:math/ v2 [math.at] 10 Mar 2007
|
|
- Charlene Walton
- 5 years ago
- Views:
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 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 informationFree 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 informationA 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 informationON 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 informationA 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 informationThe 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 informationMULTIPLICATIVE 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 informationTHE 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 informationnx ~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 informationA 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 informationA 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 informationApplications 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 informationarxiv: 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 informationIntersection 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 informationWilliam 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 informationCharacteristic 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 informationThe 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 informationHOMOTOPY 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 information3 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 informationNOTES 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 informationBUNDLES, 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 informationCHARACTERISTIC 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 informationOn 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 informationCohomology 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 informationCohomology 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 information3.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 informationOn 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 information1.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)
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 informationThree 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 informationChow 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 informationNotes 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 informationarxiv: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 informationGEOMETRIC 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 informationRational 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 informationChern 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 informationWe 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 informationA 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 informationDEGREE 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 informationON 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 informationREPRESENTATION 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 informationThe 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 informationChern 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 informationTHE 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 informationALGEBRAICALLY 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 informationTHE 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 informationSeminar 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 informationarxiv: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 informationarxiv: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 informationClifford 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 information12. 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 informationAN 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 informationARTIN 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 informationAN 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 informationDECOMPOSITIONS 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 informationHandlebody 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 informationPeriodic 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 informationEXCERPT 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 informationOn 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 informationRIMS-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 informationHomotopy 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 information58 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 informationSETS 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 informationAnother 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 informationRational 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 informationThe 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 informationFor 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 informationA 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 informationFINITE 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 informationp,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 informationHomogeneous 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 informationW. 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 informationL 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 informationA 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 informationGeometry 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 informationSERRE 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 informationThe 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 informationThe 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 informationModel 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 informationGENERALIZING 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 informationMONDAY - 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 informationTHE 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 informationAn 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 informationRational 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 informationExercises 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 informationThe 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 informationA 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 informationAlgebraic 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 informationThe 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 informationComputers 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 informationNOTES 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 informationMirror 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 informationWe 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 informationDERIVED 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 informationTHE 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 informationLECTURE 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 informationON 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 informationPatrick 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 informationHilbert 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 informationSTEENROD 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