Cartier isomorphism and Hodge Theory in the non-commutative case