Suppose $X$ is a smooth closed oriented 4-manifold, and $\Sigma\_1,\Sigma\_2$ are smoothly embedded compact oriented surfaces in $X$. Suppose they intersect transversally at two points with different sings, so that their algebraic intersection is zero: $[\Sigma\_1]\cdot [\Sigma\_2]=0$. Then can we take other representatives $\Sigma\_1', \Sigma\_2'$ with $[\Sigma\_i']=[\Sigma\_i]\in H\_2(X;\Bbb Z)$ so that $\Sigma\_1'\cap \Sigma\_2'$ is empty?


Here is a special case. Let $X=\Bbb CP^2\sharp \Bbb CP^2$ with $H\_2(X;\Bbb Z)=H\_2(\Bbb CP^2;\Bbb Z)\oplus H\_2(\Bbb CP^2;\Bbb Z)=\Bbb Z\oplus \Bbb Z$. Consider the classes $(1,1)$ and $(1,-1)$. Their algebraic intersection is zero. Can we take disjoint surfaces representing these classes?



Two surfaces in a 4-manifold whose algebraic intersection number is zero
Yes, this can be done by tubing one surface along the other.


Suppose that you have two intersection points $p\_+, p\_- \in \Sigma\_1 \cap \Sigma\_2$ of opposite signs. Suppose also that $\Sigma\_1$ and $\Sigma\_2$ are connected (which we can assume, without loss of generality).


Choose a path $\gamma \subset \Sigma\_1$ connecting $p\_+$ to $p\_-$ and avoiding all other intersection points with $\Sigma\_2$. The restriction to $\gamma$ of the normal bundle to $\Sigma\_1$ is trivial, and we can choose a cylinder $C = [-1,1] \times D^2$ embedded in $X$ such that $C \cap \Sigma\_2$ is two disc neighbourhoods $D\_\pm$ of $p\_\pm$, which comprise the top and bottom of the cylinder, $\{\pm1\}\times D^2 \subset C$. Call $S$ the sides of the cylinder, i.e. $[-1,1]\times S^1$.


Now replace $\Sigma\_2$ with $\Sigma\_2' = \Sigma\_2 \setminus (D\_+ \cup D\_-) \cup S$ (and secretly smooth corners along the way). This removes two points of intersection from $\Sigma\_2 \cap \Sigma\_1$, and keeps the same homology classes. ($C$ itself gives a 3-chain whose boundary is $\Sigma'\_2 - \Sigma\_2$.


Note that this operation increases the genus. If you wanted to do this while keeping the genus, you can't always do it. This is related to the minimal genus problem in 4-manifolds.


You can do it if, for instance, you find enough Whitney discs (allowing you to perform the so-called [Whitney trick](https://en.wikipedia.org/wiki/Whitney_embedding_theorem)).


