Traces on group C∗-algebras, sofic groups and Lück's conjecture

We give a reformulation of the proof of a Theorem of Elek and Szabó establishing Lück's determinant conjecture for sofic groups. It is based on traces on free group C∗-algebras. We briefly discuss the relation with Atiyah's problem on the integrality of L2-Betti numbers.