topological_invariant