Polar -ideals of compact sets