アーベル群
with mixed gauge-gravity anomalous boundary, they can be described by formula_2, where formula_3 is the Abelian group formed by (d+1)D topologically ordered phases that have no non-trivial topological excitations (referred as iTO phases).