6
$\begingroup$

Let $X$ be a finite CW complex, and $A$ an abelian group. Given a nonzero class in singular cohomology $$x\in H^k(X;A),$$ when is its cross product square $$x\times x\in H^{2k}(X\times X;A\otimes A)$$ nonzero?

Remarks: The tensor product is over $\mathbb{Z}$. By the Künneth theorem $x\times x$ is always nonzero if $A$ is a field, or more generally if $A$ is a domain and $H^\ast(X)$ is flat over $A$. Examples where $x\times x=0$ arise in the study of Lusternik-Schnirelmann category, in particular in spaces $X$ for which $\operatorname{cat}(X\times X)<2\operatorname{cat}(X)$.

$\endgroup$
5
  • 1
    $\begingroup$ According to the Künneth formula [Spanier, 5.3.10], $x \times x \neq 0$ if $Tor_1^{\mathbb{Z}}(A,A) \neq 0$. This holds for example if $A$ is torsion-free. $\endgroup$
    – Ralph
    Jun 20, 2012 at 17:36
  • $\begingroup$ I mean of course $Tor_1^\mathbb{Z}(A,A)=0$. $\endgroup$
    – Ralph
    Jun 20, 2012 at 19:17
  • 1
    $\begingroup$ Building on Ralph's answer I would think this question reduces completely to algebra. Using the Kunneth theorem and the cohomology cross product, $x\times x$ should correspond precisely to the image of $x\otimes x\in H^k(X;A)\otimes H^k(X;A)$ under the injective cross product. So the question really becomes, given an element of a group $g\in G$, when is it true that $g\otimes g=0\in G\otimes G$. As Ralph notes, this can't happen if $G$ is torsion-free (or even if $g$ generates an infinite cyclic subgroup?), but I guess it could happen if, for example, we have $2\in \mathbb{Z}/4$. $\endgroup$ Jun 21, 2012 at 22:53
  • $\begingroup$ @Greg Friedman: That's a good point that even $x\otimes x$ may be zero. However, I suppose it might also happen that the cross product fails to be injective (if $\operatorname{Tor}(A,A)$ is non-trivial). $\endgroup$
    – Mark Grant
    Jun 22, 2012 at 9:50
  • $\begingroup$ @Ralph: Thanks for pointing out this general formulation of Kunneth, which I had forgotten about (worse is that I forgot to look in Spanier for the most general formulation of a result). $\endgroup$
    – Mark Grant
    Jun 22, 2012 at 9:54

0

Your Answer

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