Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-09T08:45:20.919Z Has data issue: false hasContentIssue false

The loops on U(n)/O(n) and U(2n)/Sp(n)

Published online by Cambridge University Press:  24 October 2008

M. C. Crabb
Affiliation:
Department of Mathematics, University of Washington, Seattle, U.S.A.
S. A. Mitchell
Affiliation:
Department of Mathematics, University of Washington, Seattle, U.S.A.

Extract

In [6] and [9] the second author and Bill Richter showed that the natural ‘degree’ filtration on the homology of ΩSU(n) has a geometric realization, and that this filtration stably splits (as conjectured by M. Hopkins and M. Mahowald). The purpose of the present paper is to prove the real and quaternionic analogues of these results. To explain what this means, consider the following two ways of viewing the filtration and splitting for ΩSU(n). When n = ∞, ΩSU = BU. The filtration is BU(1)⊆BU(2)⊆… and the splitting BU≅ V1≤<∞is a theorem of Snaith[14]. The result for ΩSU(n) may then be viewed as a ‘restriction’ of the result for BU. On the other hand there is a well-known inclusion ℂPn−1. This extends to a map ΩΣℂPn−1→ΩSU(n), and the filtration (or splitting) may be viewed, at least algebraically, as a ‘quotient’ of the James filtration (or splitting) of ΩΣℂPn−1. It is now clear what is meant by the ‘real and quaternionic analogues’. In the quaternionic case, we replace BU by BSp=Ω(SU/SP), ΩSU(n) by Ω(SU(2n)/SP(n))and ℂPn−1 by ℍPn−1. The integral homology of Ω(SU(2n)/SP(n)) is the symmetric algebra on the homology of ℍPn−1, and may be filtered by the various symmetric powers. We show that this filtration can be realized geometrically, and that the spaces of the filtration are certain (singular) real algebraic varieties (exactly as in the complex case). The strata of the filtration are vector bundles over filtrations of Ω(SU(2n−2)/SP(n−1)), and the filtration stably splits. See Theorems (1·7) and (2·1) for the precise statement. In the real case we replace BU by Ω(SU/SO), Ω(SU(n)/SO(n)) and ℂPn−1 by ℝPn−1. Here integral homology must be replaced by mod 2 homology, and splitting is only obtained after localization at 2. (Snaith's splitting of BO in [14] can be refined [2, 8] so as to be exactly analogous to the splitting of BU:BO≅V1≤<∞MO(k).)

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1988

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Bott, R.. An application of the Morse theory to the topology of Lie groups. Bull. Soc. Math. France 84 (1956), 251282.Google Scholar
[2]Crabb, M. C.. On the stable splitting of U(n) and ΩU(n). To appear in Proceedings of the Barcelona Conference on Algebraic Topology (1986).Google Scholar
[3]Dold, A.. Lectures on Algebraic Topology (Springer-Verlag, 1972).Google Scholar
[4]Dold, A.. The fixed point transfer of fibre-preserving maps. Math. Z. 148 (1976), 215244.Google Scholar
[5]Hironaka, H.. Triangulations of algebraic sets. In Algebraic Geometry, Arcata 1974, Amer. Math. Soc. Proc. Symp. Pure Math. 29 (1975), pp. 165184.CrossRefGoogle Scholar
[6]Mitchell, S. A.. A filtration of the loops on SU(n) by Schubert varieties. Math. Z. 193 (1986), 347362.CrossRefGoogle Scholar
[7]Mitchell, S. A.. Quillen's theorem on buildings and the loops on a symmetric space. Enseign. Math. (2), to appear.Google Scholar
[8]Mitchell, S. A. and Priddy, S.. A double coset formula for Levi subgroups and splitting BGLn. To appear in Proceedings of the International Conference on Algebraic Topology, Arcata (1986).Google Scholar
[9]Mitchell, S. A. and Richter, B.. A stable splitting of ΩSU(n). In preparation.Google Scholar
[10]Milnor, J. and Stasheff, J.. Characteristic Classes. Annals of Math. Studies no. 76 (Princeton University Press, 1974).CrossRefGoogle Scholar
[11]Pressley, A.. Decompositions of the space of loops on a Lie group. Topology 19 (1980), 6579.Google Scholar
[12]Pressley, A. and Segal, G.. Loop Groups (Oxford University Press, 1986).Google Scholar
[13]Richter, B.. (Unpublished.)Google Scholar
[14]Snaith, V.. Algebraic cobordism and K-theory. Memoirs Amer. Math. Soc. no. 221 (1979).CrossRefGoogle Scholar