TOPOLOGY OF CERTAIN QUOTIENT SPACES OF STIEFEL MANIFOLDS SAMIK BASU AND B. SUBHASH Abstract. We compute the cohomology of the right generalised pro- jective Stiefel manifolds and use it to find bounds on the rank of the complementary bundle for certain vector bundles. Further the cohomol- ogy computations are also used to find bounds on the span and on the immersibility of the manifolds in certain cases. 1. Introduction The study of Stiefel manifolds and their quotients have a long history. Their topology have played a fundamental role in solving many problems such as the celebrated solution of the vector field problem on the sphere by Adams. The cohomology of projective Stiefel manifolds over the field of real numbers was computed in [3] and [5]. These were used to prove immersion results for real projective spaces in [4]. In the complex case, projective Stiefel manifolds were studied in [1], their cohomology was computed and a universal property was associated to these manifolds. As consequences the authors conclude non existence of certain sections to appropriate bundles over projective spaces and lens spaces. Fol- lowing this the question of parallelizability of projective Stiefel manifolds was considered in [2]. This paper deals with right generalised projective Stiefel manifolds which were studied in [6]. These are obtained as quotients of Stiefel manifolds Wn,k (the space of k orthonormal frames in Cn) under an action of the circle group 1 l1 l S . The action is given by the formula z · (v1, · · · , vk) 7→ (z v1, · · · , z k vk) k for a fixed primitive tuple (l1, · · · , lk) ∈ Z . The corresponding quotient space is called a right generalised projective Stiefel manifold PℓWn,k. This can be realised as the homogeneous space U(n)/S1 × U(n − k). In this paper we are motivated by the computations for projective Stiefel arXiv:1510.02207v1 [math.AT] 8 Oct 2015 manifolds and attempt to search similar relations for the right generalised projective Stiefel manifolds. We compute the cohomology of these manifolds (cf. Theorem 2.3) and observe that they carry a universal property for complementary bundles of a certain sum of line bundles (cf. Theorem 2.6). Using these theorems we deduce some implications for line bundles over projective and lens spaces. The vector field problem on Stiefel manifolds and their quotients has been a subject of considerable interest. For the projective Stiefel manifold over R a number of results and conjectures are mentioned in [7]. We approach this question for right generalised Stiefel manifolds by computing Pontrja- gin classes. A similar argument also yields results on non-immersibility in certain Euclidean spaces (cf. Theorem 4.1, Theorem 4.3). Our methods 1 2 SAMIKBASUANDB.SUBHASH improve the results in [6] where the parallelizability question is settled and the span is related to the stable span. The paper is organised as follows. In section 2, we describe the cohomol- ogy of the manifolds PℓWn,k and introduce an universal property of these spaces. In section 3, we consider applications to the rank of complimentary bundles. In section 4, we obtain applications to the vector field problem and the immersion problem in the case that k = 2. 2. Some cohomology computations In this section we compute the cohomology of the manifolds PℓWn,k. Our method involves an interplay between Serre spectral sequences of var- ious fibrations and enables us to conclude a universal property for PℓWn,k. Throughout we assume that the gcd of (l1, · · · , lk) is 1. Recall that the cohomology of the unitary group U(n) is an exterior alge- bra in generators in degrees 1, 3, · · · , 2n − 1. We denote this expression by ∗ H (U(n)) = Λ(y1, · · · ,yn) where the class yj lies in the degree 2j − 1. The Stiefel manifold Wn,k is homeomorphic to U(n)/U(n−k) and its cohomology is given by Λ(yn−k+1, · · · ,yn). 1 Recall that the principal S fibration Wn,k → PℓWn,k yields a fibration 1 ∞ Wn,k → PℓWn,k → BS the latter space being CP . Note that the Stiefel manifold Wn,k also fibres over the flag manifold F (1, · · · , 1,n − k) of se- quences of flags of k subspaces with dimensions increasing by 1 in each step. 1 k 1 This fits into a principal (S ) fibration Wn,k → F (1,..., 1, k). The S ac- 1 tion whose orbits are the manifold PℓWn,k comes from the inclusion of S in 1 k l1 l (S ) given by Φℓ : z 7→ (z , · · · , z k ). This induces a commutative sequence of fibrations Φ S1 ℓ / (S1)k Wn,k Wn,k / PℓWn,k / F (1, · · · , 1,n − k) φ CP ∞ ℓ / (CP ∞)k n These fibre sequences extend one step further. Consider Grk(C ) the Grass- mann manifold of k planes in Cn which is the quotient U(n)/U(k)×U(n−k). n 1 k One has a principal U(k) bundle Wn,k → Grk(C ) and the map (S ) → U(k) given by the inclusion of diagonal matrices forms a similar diagram of principal fibrations as above. Putting all this together one obtains a TOPOLOGY OF CERTAIN QUOTIENT SPACES OF STIEFEL MANIFOLDS 3 commutative diagram S1 / (S1)k / U(k) Wn,k Wn,k Wn,k / / n PℓWn,k / F (1, · · · , 1,n − k) / Gk(C ) CP ∞ / (CP ∞)k / BU(k) In the diagram above the bottom left square and the bottom right squares are pullback squares of fibrations. Hence the composite / n (1) PℓWn,k / Gk(C ) CP ∞ / BU(k) is also a pullback. These fibrations induce Serre spectral sequences p,q p q p+q Cn (2) E2 = H (BU(k)) ⊗ H (Wn,k) =⇒ H (Gk( )) p,q p C ∞ q p+q (3) E2 = H ( P ) ⊗ H (Wn,k) =⇒ H (PℓWn,k) The pullback diagram (1) induces a map between the two spectral sequences that commutes with the differentials. Recall that the cohomology of BU(k) is a polynomial algebra on the classes c1, · · · , ck where ci = ci(ξk), ξk being the universal k-plane bundle. ∗ Proposition 2.1. In the spectral sequence (2) the classes yj ∈ H (Wn,k) ′ ′ are transgressive and support the differential d(yj) = −cj (the classes cj ′ satisfy the equation (1 + c1 + · · · )(1 + c1 + · · · + ck) = 1). Proof. In the Serre spectral sequence for the fibration n U(n) → Grk(C ) → B(U(k) × U(n − k)) the differentials are given by d(yi)= ci(ξk ⊕ ξn−k). We have the diagram of fibrations q / (4) U(n) / Wn,k n n Gk(C ) Gk(C ) B(U(k) × U(n − k)) / BU(k) and hence a morphism of the associated Serre spectral sequences. Note that 2j−1 2j+1 for j ≥ n−k+1 the classes yj ∈ H (Wn,k) pullback to yj ∈ H (U(n)). 4 SAMIKBASUANDB.SUBHASH We try to read off the expression for d(yj) in the spectral sequence for the right column from the one on the left. p,q Denote by E∗ (l) the spectral sequence corresponding to the left vertical ∗ column in (4). The classes y1, · · · ,yn−k are not in the image of q . Let ci = ci(ξk) andc ˜i = ci(ξn−k). The formula d(yj)= cj(ξk ⊕ ξn−k) imply that ′ in the page E2(n−k)+1(l),c ˜i is equivalent to ci for i ≤ n − k. Hence ′ ′ d2(n−k)+2(yn−k+1)= cn−k+1(ξk ⊕ ξn−k)= cicj = −cn−k+1 i+j=Xn−k+1 in E2(n−k)+2(l). ′ We observe that the equation d2j (yj) = −cj holds for all j ≥ n − k + 1 in the page E2j(l). Proceeding by induction we have in the page E2j−1(l), ′ ′ c˜i = ci for i ≤ n − k and ci = 0 for n − k + 1 ≤ i ≤ j − 1. Then in the page E2j(l) we have the equation d(y2j−1) = cj(ξk ⊕ ξn−k) = cpc˜q p+Xq=j ′ = cpcq p+q=j, pX≤k, q≤n−k ′ = cpcq p+q=Xj, p≤k ′ = −cj p,q Denote by E∗ (r) the spectral sequence for the right column of (4). For degree reasons the differentials dj are 0 if j < 2(n − k)+ 2. The morphism from the spectral sequence of the right column to the left column implies ′ that the differentials on yj for j>n − k are given by d(yi)= −ci. Next we translate the Proposition 2.1 to obtain differentials in the spectral sequence (3). For a tuple ℓ = (l1, · · · , lk) and integers I = (i1,...,ik) denote I ij |I| = ij and ℓ = lj . We prove Xj Yj Proposition 2.2. In the spectral sequence (3) the classes yj (for j>n − k) j I j are transgressive and the differentials are given by d(yj)= − (−1) ℓ x . |XI|=j ∞ Proof. In the diagram (1) the map φℓ : CP → BU(k) classifies the k-plane bundle ξl1 ⊕···⊕ ξlk . The chern classes of this bundle are computed by lj c(⊕jξ )= (1 + ljx) Yj ′ ′ ′ ′ For the classes cj define c =1+ c1 + · · · so that cc = 1. This implies the pullback of c′ to CP ∞ is given by the equation ∗ ′ −1 φℓ c = (1 + ljx) Yj ∗ ′ j I j Thus φℓ (cj)= (−1) ℓ x . The result follows. |XI|=j TOPOLOGY OF CERTAIN QUOTIENT SPACES OF STIEFEL MANIFOLDS 5 Using the formulas above we may compute the cohomology of PℓWn,k. Theorem 2.3. For an odd prime p, ∗ ∼ N H (PℓWn,k; Z/p) = Z/p[x]/(x ) ⊗ Λ(yn−k+1, · · · ,yN−1,yN+1, · · · ,yn), I where N = minr>n−k{ ℓ 6= 0(mod p)}.