3
$\begingroup$

If a 3-dim'l cell complex $X$ is embedded in $\mathbb{R}^3$, no subcomplex of $X$ is a real projective plane. Intuitively, this suggests that all cup-squares vanish in $H^*(X;\mathbb{Z}_2)$. Is this statement true? If so, can you provide a reference?

$\endgroup$

1 Answer 1

5
$\begingroup$

It is true. Let's first assume that $X$ is a finite complex. Then by Alexander duality, $H^2(X;\mathbb{Z})=H_0(S^3\setminus X,\mathbb{Z})$ must be torsion-free. Now the squaring map $H^1(X;\mathbb{Z}/2)\to H^2(X;\mathbb{Z}/2)$ coincides with the Bockstein map. This means that if the squaring map is nonzero, then $H_1(X;\mathbb{Z})$ must have $\mathbb{Z}/2$ as a direct summand. But then $H^2(X;\mathbb{Z})$ would have $\mathbb{Z}/2$ as a summand, and in particular cannot be torsion-free.

Now let $X$ be arbitrary, and write $X=\bigcup X_n$ as a union of finite complexes; from now on we only use $\mathbb{Z}/2$ coefficients. Then $H^1(X_n)$ is finite for all $n$, so $\lim^1 H^1(X_n)=0$. It follows that the map $H^2(X)\to\lim H^2(X_n)$ is an isomorphism. Now for any $x\in H^1(X)$, the image of $x^2$ in $H^2(X_n)$ must be 0 for all $n$ by the previous paragraph. Thus $x^2=0$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.