Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am studying for a qualifying exam, and I came across this problem:

Let $M$ be a closed orientable connected 4-manifold with $H^1(M) = H^3(M) = 0$ and $H^2(M) \cong H^4(M) \cong \mathbb Z$. What are the possible cup product structures on $H^*(M)$?

My thoughts: Just using properties of graded rings, we see that the product will be determined by $\alpha^2 \in H^4$, where $\alpha$ is a generator of $H^2$. If we fix $\beta$ a generator of $H^4$, then $\alpha^2 = n\beta$, so it seems like there is a distinct structure for each $n \in \mathbb Z$.

My question is: is there anything special about the cohomology ring $M$ that restricts the possibilities further? Somehow my answer seems too easy.

share|improve this question

1 Answer 1

up vote 8 down vote accepted

I will denote by $LH^*$ the free part of the cohomology ring. (That means that $LH^r(M)$ is $H^r(M)/\mathrm{torsion part}$.) For a connected 4-manifold, the symmetric form $I : LH^2(M) \times LH^2(M) \to \mathbb Z$ defined by $\alpha \smile \beta = I(\alpha, \beta) [M]$ is nondegenerate (that's one of the consequences of Poincaré duality). By definition, this means that the map $LH^2(M,\mathbb Z) \to \mathrm{Hom}(LH^2(M),\mathbb Z)$ is a bijection: in more pedestrian terms, that means that the matrix of $I$ has determinant $\pm 1$). So, in your case, $n$ is either $1$ or $-1$.

Both cases happen: you get $n=1$ with $\mathbb P^2(\mathbb C)$ and $n=-1$ with the same manifold with the orientation reversed.

share|improve this answer
    
Thank you! This is what I was looking for. –  paragon Jul 10 '12 at 18:41
    
Why is $\det I(\alpha,\beta)=n$? –  user54631 Aug 12 at 16:25

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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