Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have added some minimum content to Stiefel manifold, also a little bit to Grassmannian
What’s a good account of the CW-structure on Stiefel manifolds compatible with the CW-structure on the Grassmannians? Hatcher’s book discusses really just the latter. On Math.SE here somebody claims that I. M. James’ “The topology of Stiefel manifolds” is a “good reference for this sort of thing”. But there I only see some remarks on pages 5 and 21 of which I am not sure whether they really constitute a good reference for this sort of thing.
Schubert cells in flag manifolds are what I would look up. Don’t know a reference, sadly.
The cleanest account which I find is in this presentation, on the last slides
There’s a nice argument in the example on page 58 in these notes that the inclusion Vn(ℂN)→Vn(ℂ2N) is null-homotopic, for what it’s worth.
Also, Theorem 3.3 in this paper says that the inclusion of unitary groups i:SU(k)→SU(n), k<n, is cellular, and then 3.3.1 says that the action of SU(n−m) on SU(n) is cellular. I would be then happy to say that i is equivariant relative to the cellular map of groups SU(k−m)→SU(n−m), and so we have a chance for the inclusion of Stiefel manifolds to be cellular. I guess if we knew that the quotient map itself, SU(n)→SU(n)/SU(n−m) were cellular, we would probably be done.
EDIT: Ah, I see page 301-302 of Hatcher’s Algebraic Topology that the quotient map SO(n)→SO(n)/SO(n−k) is cellular, for the cell structure on the Stiefel manifold inherited from the one on SO(n). I would guess this works for both complex and real, and ditto for my first paragraph.
EDIT2: The following is probably not useful.
Page 13-15 in The Topology of CW complexes looks like it gives a cellular structure for the Stiefel manifold (there called FQ(n,m)) that would be compatible with inclusions.
Gave a proof of the corollary, linking to a result at compact object on the preservation of certain colimits by Top(Y,−) where Y is a compact space.
1 to 8 of 8