Betti number

For a torus, the first Betti number is b₁ = 2 , which can be intuitively thought of as the number of circular "holes"

Informally, the kth Betti number refers to the number of k-dimensional holes on a topological surface. A "k-dimensional hole" is a k-dimensional cycle that is not a boundary of a (k+1)-dimensional object.

The first few Betti numbers have the following definitions for 0-dimensional, 1-dimensional, and 2-dimensional simplicial complexes:

• b₀ is the number of connected components;
• b₁ is the number of one-dimensional or "circular" holes;
• b₂ is the number of two-dimensional "voids" or "cavities".

Thus, for example, a torus has one connected surface component so b₀ = 1, two "circular" holes (one equatorial and one meridional) so b₁ = 2, and a single cavity enclosed within the surface so b₂ = 1.

Another interpretation of b_k is the maximum number of k-dimensional curves that can be removed while the object remains connected. For example, the torus remains connected after removing two 1-dimensional curves (equatorial and meridional) so b₁ = 2.[2]

The two-dimensional Betti numbers are easier to understand because we can see the world in 0, 1, 2, and 3-dimensions.

For a non-negative integer k, the kth Betti number b_k(X) of the space X is defined as the rank (number of linearly independent generators) of the abelian group H_k(X), the kth homology group of X. The kth homology group is ${\displaystyle H_{k}=\ker \delta _{k}/\mathrm {Im} \delta _{k+1}}$, the ${\displaystyle \delta _{k}}$s are the boundary maps of the simplicial complex and the rank of H_k is the kth Betti number. Equivalently, one can define it as the vector space dimension of H_k(X; Q) since the homology group in this case is a vector space over Q. The universal coefficient theorem, in a very simple torsion-free case, shows that these definitions are the same.

More generally, given a field F one can define b_k(X, F), the kth Betti number with coefficients in F, as the vector space dimension of H_k(X, F).

The Poincaré polynomial of a surface is defined to be the generating function of its Betti numbers. For example, the Betti numbers of the torus are 1, 2, and 1; thus its Poincaré polynomial is ${\displaystyle 1+2x+x^{2}}$. The same definition applies to any topological space which has a finitely generated homology.

Given a topological space which has a finitely generated homology, the Poincaré polynomial is defined as the generating function of its Betti numbers, via the polynomial where the coefficient of ${\displaystyle x^{n}}$ is ${\displaystyle b_{n}}$.

1. The Betti number sequence for a circle is 1, 1, 0, 0, 0, ...;

   the Poincaré polynomial is

   ${\displaystyle 1+x\,}$.

2. The Betti number sequence for a three-torus is 1, 3, 3, 1, 0, 0, 0, ... .

   the Poincaré polynomial is

   ${\displaystyle (1+x)^{3}=1+3x+3x^{2}+x^{3}\,}$.

3. Similarly, for an n-torus,

   the Poincaré polynomial is

   ${\displaystyle (1+x)^{n}\,}$ (by the Künneth theorem), so the Betti numbers are the binomial coefficients.

It is possible for spaces that are infinite-dimensional in an essential way to have an infinite sequence of non-zero Betti numbers. An example is the infinite-dimensional complex projective space, with sequence 1, 0, 1, 0, 1, ... that is periodic, with period length 2. In this case the Poincaré function is not a polynomial but rather an infinite series

${\displaystyle 1+x^{2}+x^{4}+\dotsb }$,

which, being a geometric series, can be expressed as the rational function

${\displaystyle {\frac {1}{1-x^{2}}}.}$

More generally, any sequence that is periodic can be expressed as a sum of geometric series, generalizing the above. For example ${\displaystyle a,b,c,a,b,c,\dots ,}$ has the generating function

${\displaystyle \left(a+bx+cx^{2}\right)/\left(1-x^{3}\right)\,}$

and more generally linear recursive sequences are exactly the sequences generated by rational functions; thus the Poincaré series is expressible as a rational function if and only if the sequence of Betti numbers is a linear recursive sequence.

The Poincaré polynomials of the compact simple Lie groups are:

${\displaystyle {\begin{aligned}P_{SU(n+1)}(x)&=\left(1+x^{3}\right)\left(1+x^{5}\right)\cdots \left(1+x^{2n+1}\right)\\P_{SO(2n+1)}(x)&=\left(1+x^{3}\right)\left(1+x^{7}\right)\cdots \left(1+x^{4n-1}\right)\\P_{Sp(n)}(x)&=\left(1+x^{3}\right)\left(1+x^{7}\right)\cdots \left(1+x^{4n-1}\right)\\P_{SO(2n)}(x)&=\left(1+x^{2n-1}\right)\left(1+x^{3}\right)\left(1+x^{7}\right)\cdots \left(1+x^{4n-5}\right)\\P_{G_{2}}(x)&=\left(1+x^{3}\right)\left(1+x^{11}\right)\\P_{F_{4}}(x)&=\left(1+x^{3}\right)\left(1+x^{11}\right)\left(1+x^{15}\right)\left(1+x^{23}\right)\\P_{E_{6}}(x)&=\left(1+x^{3}\right)\left(1+x^{9}\right)\left(1+x^{11}\right)\left(1+x^{15}\right)\left(1+x^{17}\right)\left(1+x^{23}\right)\\P_{E_{7}}(x)&=\left(1+x^{3}\right)\left(1+x^{11}\right)\left(1+x^{15}\right)\left(1+x^{19}\right)\left(1+x^{23}\right)\left(1+x^{27}\right)\left(1+x^{35}\right)\\P_{E_{8}}(x)&=\left(1+x^{3}\right)\left(1+x^{15}\right)\left(1+x^{23}\right)\left(1+x^{27}\right)\left(1+x^{35}\right)\left(1+x^{39}\right)\left(1+x^{47}\right)\left(1+x^{59}\right)\end{aligned}}}$

In geometric situations when ${\displaystyle X}$ is a closed manifold, the importance of the Betti numbers may arise from a different direction, namely that they predict the dimensions of vector spaces of closed differential forms modulo exact differential forms. The connection with the definition given above is via three basic results, de Rham's theorem and Poincaré duality (when those apply), and the universal coefficient theorem of homology theory.

There is an alternate reading, namely that the Betti numbers give the dimensions of spaces of harmonic forms. This requires the use of some of the results of Hodge theory on the Hodge Laplacian.

In this setting, Morse theory gives a set of inequalities for alternating sums of Betti numbers in terms of a corresponding alternating sum of the number of critical points ${\displaystyle N_{i}}$ of a Morse function of a given index:

${\displaystyle b_{i}(X)-b_{i-1}(X)+\cdots \leq N_{i}-N_{i-1}+\cdots .}$

Edward Witten gave an explanation of these inequalities by using the Morse function to modify the exterior derivative in the de Rham complex.[6]

• Topological data analysis
• Torsion coefficient
• Euler characteristic

• Warner, Frank Wilson (1983), Foundations of differentiable manifolds and Lie groups, New York: Springer, ISBN 0-387-90894-3.
• Roe, John (1998), Elliptic Operators, Topology, and Asymptotic Methods, Research Notes in Mathematics Series, vol. 395 (Second ed.), Boca Raton, FL: Chapman and Hall, ISBN 0-582-32502-1.