How to show, that an inclusion of homogenious spaces $$O(2n)/U(n)\to GL(2n,\mathbb{R})/GL(n,\mathbb{C}) $$ is homotopy equivalence? The big space is the space of complex structures on $\mathbb{R}^{2n}$. This is an exercise in the book of McDuff and Salamon on symplectic topology, and they recommend to use polar decomposition, but it gives a deformational retraction $GL(2n,\mathbb{R}) \to O(2n)$, but does not give a map of homogenious spaces, since it is not $GL(n,\mathbb{C})$-equivariant.
Asked
Active
Viewed 641 times
1 Answers
3
You could probably write down an explicit homotopy inverse, but here is a quick way of seeing this:
We have fiber bundles $O(2n)/U(n) \rightarrow BU(n) \rightarrow BO(2n)$ and $GL_{2n}(\mathbb{R})/GL_{n}(\mathbb{C}) \rightarrow BGL_{n}\mathbb{C} \rightarrow BGL_{2n}\mathbb{R}$ and a map from the first to the second which induces homotopy equivalences on the base and total space, whence the fibers are homotopy equivalent.
Dylan Wilson
- 6,089
-
Thank you. Where can I read all facts about classifying spaces to understand this argument? I don't know much about them. – user46336 Aug 17 '13 at 18:00
-
http://www.math.washington.edu/~mitchell/Notes/prin.pdf – Dylan Wilson Aug 17 '13 at 18:01
-
Thank you! I failed to write down an explicit homotopy, unfortunately. – user46336 Aug 19 '13 at 14:52