Skip to main content
2 of 5
added more details
algori
  • 23.5k
  • 3
  • 100
  • 152

I think that the answer is yes and that we don't really need the full Whitney's trick for this since being homologous is a much coarser relation than being isotopic, which is what Whitney's trick gives. So, rather than using the full trick, one can use just a half of it.

Let $M$ be an oriented smooth manifold, and let $Z_1,Z_2$ be cycles represented by pseudo-manifolds (recall that a pseudo-manifold is a stratified space that has no codimension 1 strata; any homology class can be represented by a pseudo-manifold). Assume $\deg Z_2\geq 1$ (when one of the cycles is 0-dimensional the statement we're after is clearly true).

First, let's make $Z_2$ connected by joining the connected components with tubes. While doing this we may introduce new intersection points, but after a small isotopy these will be all transversal and their signs will add up to 0. Second, take two intersection points $P,Q$ with different signs and join them with a path $\gamma$ in $Z_2$ that does not pass through the singularities.

Now equip $M$ with a Riemannian metric and let's modify $Z_1$ by taking out two small balls around $P$ and $Q$ in $Z_1$ and inserting a thin tube $T$ instead where $T$ is obtained by exponentiating the sphere subbundle of $N_M Z_2|\gamma$ of sufficiently small radius. More precisely, some work is needed to identify the spheres in $N_MZ_2$ restricted to $P$ and $Q$ with the boundaries of the balls, but this should be no problem.

The result will be homologous to $Z_1$: the fact that $P$ and $Q$ have different signs ensures that the small balls around them and the tube together form the boundary of the exponential of a a ball subbundle of $N_{M}Z_2$. [I wish I could draw a picture here but don't know how to do that.] Notice that when $Z_1$ is a loop around $(0,0)$ and $(1,0)$ and $Z_2$ is a loop around $(-1,0)$ and $(0,0)$, as in Simon Rose's example then this procedure cuts $Z_1$ into two loops, one around $(0,0)$ and the other around $(1,0)$.

In this way one can eliminate every pair of intersection points with opposite signs. Notice that we haven't done anything to $Z_2$ in the process, apart from making it connected.

algori
  • 23.5k
  • 3
  • 100
  • 152