Antidiamond principles and topological applications