All Questions

By the Theorem of Milnor in his paper "On spaces having the homotopy type of a CW-complex", the function space $\operatorname{Hom}(X,Y)$ (with the compact-open topology) is homotopy ...

Let $\Sigma$ be a compact oriented surface with boundary and $L = \mathrm{Imm}(\bigsqcup_{i=1}^n S^1,\Sigma)$ the space of all generic (i.e. transversally and at most doubly intersecting) immersions ...

Let $O(n)$ be the $n$-th orthogonal group and $O$ be the direct limit of $O(n)$ with respect to $n$. Let $BO(n)$ and $BO$ be the classifying spaces. Question: Why $BO$ is an $H$-space? My supervisor ...

The following is a part of a paper that I need to understand I totally do not know the argument. Could you explain? Thanks. Let $\Sigma_n$ be the $n$-th symmetric group and $\Sigma_\infty$ be the ...

What is the cohomology ring $$ H^*(\Omega^\infty \Sigma^\infty (S^m\vee S^n);\mathbb{Z}_2)? $$ I already write out the graded-vector-space basis using Dyer-Lashof operations, but I do not know how to ...

Let $\Omega^{n+1}S^{n+1}$ be the base-pointed $(n+1)$-iterated loop space on the $(n+1)$-sphere. In the paper The homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, Lecture notes in ...