This is a question related to an earlier question of mine:
I've been reading about topological invariants. Some of them are defined in terms of quadratic forms.
My current understanding is: we can turn a topological space $X$ into a module by taking any of its homologies and once we have a module we define a bilinear form on $H_i(X)$. For example, if we are taking the first homology we can define an bilinear form by defining $x \cdot y$ to be the intersection number of two representatives $x,y$ where $[x], [y] \in H_1 (X)$. Then this gives us a quadratic form $Q(x) = \frac{1}{2} x \cdot x \mod 2$. We can use this if we want to show that two topological spaces are not homeomorphic as follows: pick a symplectic basis $a_i, b_i$ for the space (we know that such a basis always exists). Then we define $A(Q) = \sum_i Q(a_i) Q(b_i)$. If this evaluates to $0$ in one space and to $1$ in the other we know that the two spaces are not homeomorphic.
Question 1: Is my current understanding correct? Or am I missing anything?
Question 2: I understand how to define a bilinear form if I take the first homology. But this might not lead anywhere because even though the two spaces might be non-homeomorphic, their first homology groups might still coincide. So I might want to take a higher homology. How do I define a bilinear form for the $k$-th homology and what is the geometric meaning?
Question 3: I found this Wikipedia article about intersection forms. Although I am quite sure that the "intersection form" is another bilinear form just like the intersection number for the first homology, I'm confused about why I could only find additional information about $4$-manifolds. What is special about $4$-manifolds? Am I wrong in assuming that I can endow any topological space with a bilinear form?
Question 4: We do this over $\mathbb Z / 2$ for convenience, right? Because it lets us ignore orientation. But we could also consider bilinear forms over any other field, is this correct?
Edit
Question 5: Poincaré duality gives us a way to define an intersection pairing without much nasty fiddling if the topological space $X$ is a closed oriented manifold. But what are the absolute minimal requirements on $X$ in order to be able to define an intersection form on it?
Thanks for your help.