When do submanifolds lie in the same homology class? - MathOverflow [closed] most recent 30 from http://mathoverflow.net 2013-05-23T05:55:21Z http://mathoverflow.net/feeds/question/40934 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/40934/when-do-submanifolds-lie-in-the-same-homology-class When do submanifolds lie in the same homology class? Henry Wegener 2010-10-03T14:24:34Z 2010-10-03T14:45:51Z <p>Hello,</p> <p>this may be a trivial question, but I am not very familiar with the topic. Let (M,g) be a Riemannian Manifold. (In fact, we don't need the metric here.)</p> <p>What exactly does it take for two k-submanifolds $S$ and $S'$ to lie in the same homology class? And why does that imply $~ \int_S ~ \omega = \int_{S'} ~ \omega ~$, where $\omega$ is a closed differential form on M.</p> <p>This must be somehow a consequence of Stokes' Theorem. I would be pleased with an answer for Dummies. :)</p> <p>$~$</p> <p>Greetings,</p> <p>Henry</p> http://mathoverflow.net/questions/40934/when-do-submanifolds-lie-in-the-same-homology-class/40937#40937 Answer by Jim Conant for When do submanifolds lie in the same homology class? Jim Conant 2010-10-03T14:45:51Z 2010-10-03T14:45:51Z <p>By triangulating each manifold $S$ and $S'$, you can regard them as sums of singular simplices. (A singular simplex is a continuous map $f\colon \Delta^n\to M$.) So the very simple answer is that $S$ and $S'$ are the same homology class if and only if they are the boundary of some sum of singular simplices. This can happen if, for example, there is a map of an oriented manifold of one higher dimension into $M$ whose boundary is the disjoint union $S\cup -S'$. If all the singular simplices are smooth maps, then Stokes theorem indeed tells you that the integral along the boundary of each singular simplex is zero, which then implies that the integral $\int_{S\cup-S'}\omega=0$, or $\int_S\omega=\int_{S'}\omega$. Someone else can probably comment on why you can pass from the topological to the smooth category. </p>