2
$\begingroup$

I am computing the Alexander-Spanier cohomology $H^i(SO(n),\mathbb{Z})$. I embedded $SO(n)$ into $R^{n^2}$. Since the embedding $i$ is a monomorphism, the induced group homomorphism $i^*$ is an epimorphism. Since $R^{n^2}$ is homotopic to a point, $H^i(R^{n^2})=0 , \forall i \in \mathbb{Z}^+$. That gives us $H^i(SO(n))=0, \forall i \in \mathbb{Z}^+$.

I don't know where I am wrong, can anyone give any suggestions?

  • 0
    By the way, homotopy-theoretic invariants like cohomology groups are just that: quantities that are invariant under homotopies. So in general, they're not going to know about properties like "monomorphic".2012-05-14

1 Answers 1

3

It is not true that if $i:M\to N$ is an embeding you can deduce that dually $i^\ast:H^r(N,\mathbb Z)\to H^r(M,\mathbb Z)\ $ is an epimorphism.

For example, the embedding of the circle in the plane $i:S^1\to \mathbb R^2$ gives rise to $i^\ast: H^1(\mathbb R^2,\mathbb Z)=0\to H^1(S^1,\mathbb Z)=\mathbb Z$, which clearly cannot be an epimorphism.