An -Betti
number of a cover with deck group
is the dimension of its
-homology
over the group von Neumann algebra
. For the universal
cover
of a finite CW-complex
, one algebraic definition is
where
and
is the cellular chain complex. The dimension
is the extended von Neumann dimension, rather
than ordinary vector space dimension.
For projective modules represented by projections,
it uses the sum of diagonal canonical traces.
These invariants need not be integers in general. For finite CW-complexes their alternating sum gives the Euler characteristic. The Singer conjecture asks for concentration in the middle degree for universal covers of closed aspherical manifolds.