In this talk we will show that subgroups of topological groups (with a focus on Polish groups) having certain topological complexity (like the Baire property) are meager or some low level Borel set.