On traces of Frobenius endomorphisms

We compute the number of points of projective variety V   over a finite field in terms of invariants of the so-called Serre C⁎C⁎-algebra of V.