Relationship between Betti number and Genus

algebraic-topologygeneral-topologygeometric-topologyhomology-cohomology

I recently found out that Mathworld gave the same definition for both Betti number and Genus as: "the largest number of nonintersecting simple closed curves that can be drawn on the surface without separating it", which is the same as "the maximum number of cuts that can be made without dividing a surface into two separate pieces"

http://mathworld.wolfram.com/BettiNumber.html

http://mathworld.wolfram.com/Genus.html

However, I understood the Betti number as the number of k-dimensional holes on a topological structure, or, more specifically, the number of cycles modulo boundaries. Thus, in this case, holes are structures that prevent an object from being continuously shrunk into a point. Therefore, I don't see how the Betti Number and Genus being related.

Furthermore, I found that the Euler Characteristic $\chi$ can be computed by the alternating sum of the Betti number: $\chi= \sum_{k=0}^{n}(-1)^{k+1}a_k$, where k is the number of the singular homology group. On the other hand, the genus $g=1-\chi/2$ in case of compact orientable surfaces and $g=2-\chi$ in case of compact non-orientable surfaces. Can anyone help me point out the relationship between the two, or am I misunderstanding something?

Best Answer

For the case of a closed oriented surface $S$, its first Betti number $\beta_1$ and its genus $g$ are related by the equation $$\beta_1 = 2g $$ Those two quoted phrases therefore cannot be the same. Notice that the cut procedure in the phrase defining genus is quite precise, whereas the cut procedure defining Betti number is rather vague, and therein lies the difference. You might want to follow up the reference given in the Betti number definition, which occurs right after your quote cuts off. One traditional way to describe $\beta_1$ is as the maximal number $2k$ of simple closed curves in $S$ that can be listed as $a_1, b_1, a_2, b_2,...,a_k,b_k$ so that if $i \ne j$ then $a_i$ and $b_i$ are disjoint from $a_j$ and $b_j$, and so that $a_i,b_i$ intersect each other transversely exactly one time.

Your question also raises several other issues, and I'll treat these briefly.

The equation $\beta_1 = 2g$ that relates the first betti number and the genus can be deduced by comparing the actual definition of $\beta_1$, namely the rank of the first homology group, with the actual calculation of the first homology group of the surface (carried out by using any of the calculational procedures learned in algebraic topology). I don't think it's particularly fruitful to over-interpret the meaning of an intuitive explanation of betti number in terms of "number of holes". The purpose of that intuition is to get you started, and you could keep reading other posts on that issue if you desire, but really you should dig into the technical details of homology groups to learn what's really going on.

In particular, the relation between the Euler characteristic and the genus can again be deduced by working through the calculations of homology groups.

If you want more detail, it would be better to ask separate and more precisely worded questions, instead of lumping too many vaguely worded questions into one post.

Related Question