Quantum groups and non-commutative geometry