Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi, everyone:

I am trying to work with the intersection form in 4-manifolds. Specifically,

I am working with $CP^2$ (complex projective 2-space.), whose form is given by $(1)$.

Now, I know how to compute an actual numerical value when we work with the form in cohomology: we cup-product two cochains a,b , and then evaluate $a \cup b$ on the fundamental class.

But when we work in homology (using Poincare Duality) , I am not too clear on how we actually get a number by starting with a matrix (we always have representative surfaces for 2-homology in a 4-manifold.). What do we evaluate this matrix in.?

Thanks.

share|improve this question
    
I fixed some of your formatting difficulties; I hope I didn't introduce any errors. –  David Speyer Apr 22 '10 at 22:51
1  
As regards the math, I don't really understand what you are asking, but does is this mathoverflow.net/questions/20336/… the same as your question? –  David Speyer Apr 22 '10 at 22:53
    
Herb, to get you started, can you describe $H_2(\mathbb{CP}^2)$ as an abstract group? Can you write down a basis in terms of embedded oriented surfaces? –  Tim Perutz Apr 23 '10 at 2:03
    
Thanks, Tim. I know that somehow CP^1 is a basis, but I am trying to understand why. I think it is because CP^1 is the characteristic class for H_2, but I am not sure. Would you please suggest.? –  Herb Apr 28 '10 at 5:41
add comment

2 Answers

If you have 2 surfaces in a 4-manifold, they represent two elements (say, $a$ and $b$) in the degree 2 homology. If you have a matrix representation $M$ of the intersection form, this means you have already chosen a basis of degree 2 homology, and you can express $a$ and $b$ as column vectors with respect to this basis. You get an integer by taking $a^TMb$, where $a^T$ denotes the transpose of $a$.

share|improve this answer
add comment

Thanks , David, both for the formatting and the ref. Unfortunately, I think my question may be much simpler than your refs: I have a matrix representation of a form in cohomology , which can be dualized (and I give this dualized form) to homology. This form/matrix is supposed to output an integer value; this value is the number of points of intersection of two submanifolds of a 4-manifold, with the sign having to see with the orientation of the two submanifolds.

I am just not clear on how I can get this integer value from the matrix, i.e., how I can get the intersection number using this form; I know I need to evaluate this matrix on some 2x1 vector, I just have no idea of what this vector would be.

Herb.

share|improve this answer
add comment

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.