Sobolev, Hardy and CLR inequalities, Pauli operators