Gauging Lie group symmetry in (2+1)d topological phases

This is a good paper and it should be published.

This paper is the second installment of the authors' study of continuous symmetry and its gauging in 2+1d topological phases. The previous paper focused on the case of U(1) symmetry. As the authors discuss in section 5, the methods and understanding developed here can also be applied to gapless systems.

The method used in the previous paper does not work for semisimple groups. So the authors provide a second description of symmetry fractionalization in terms of group extension and gauging of one-form symmetry. I think this description is in itself a nice development (for any symmetry action that does not permute anyon types). (I guess there is some precedent in work of Juven Wang and collaborators, which could be cited.) Its complete equivalence with the by-now-standard story of Ref 7 is not made entirely obvious. In particular, it includes not just an element $\mu$ of the 2d group cohomology with coefficients in the finite group $K$ extending $G$, but also a homomorphism $v$ from $K$ to the group of anyon types. Is the claim that physically distinct $ (\mu, v) $ are in one-to-one correspondence with $\mathfrak{w} \in {\cal H}^2(G, {\cal A})$?

The paper is largely structured as a list of examples. This may not be the best for narrative drama, but is at least very clear, and probably will be useful when the paper is used a reference. I think it is fine.

At some point the authors mention the connection with the coset construction in 1+1d CFT. I think it would be nice to make more contact with the large literature on that subject. Does their construction commute with the bulk-boundary map? Is there a generalization of the coset construction suggested by the authors' very complete study of the bulk?

I appreciated the existence of section IIIB which reproduces the results of the previous paper on G=U(1) using the new method of the present paper.

-- top of page 4: "conditions have not be systematically studied"
should be "conditions have not been systematically studied"

-- top of page 5: "result in an ’t Hoof anomaly with respect to"

-- before equation (13), it is not clear what is the reference in "Applying the compatibility condition Eq. (II B) ". I think it is equation (8) (plus some thought about the Hall conductance).

In the manuscript, the authors thoroughly examined the Lie group symme-
tries and their gauge in 2d topologically ordered phases. The symmetry gauging
for both the finite group case and the U (1) case has been systematically inves-
tigated. In this study, the exploration of the more general scenario in which the
symmetry group is a Lie group was provided.
The gauging process are divided into two steps: the first step is to using the
Lie group extension of G (G is the extension of K by G) to obtain a bigger Lie
group G and gauge the G by coupling the topological phase C to a one-form G
gauge field. Then in the second step, the resulting phase C ⊠ G−σH in the first
step has a K symmetry, this K symmetry can be gauged by anyon condensation.
The authors thoroughly examined the gauging process by considering various
examples and both algebraic approach and field theoretic approach are carefully
examined.
I think the results are very interesting and of great importance, the paper
is well-organized. I recommend the publication of the manuscript in
SciPost Physics after some minor revisions.
I think that it would be helpful if the authors can add an appendix to discuss
the mathematical theory of Lie group symmetry of a TQFT and their gauging
in a more rigirous way, including their obstructions, their algebraic structure,
etc.
There are also some typos and incorrect statements that should be corrected
• Page 3, line 2 of Sec II. Paragraph 2, ”G action on C are” should be ”G
action on C is”
• Page 4, line 6, ” for the a stand-alone” should be ” for the stand-alone”.
• Page 4, line 9, ”have not be systematically” should be ”have not been
systematically”.
• Page 4, at the end of Paragraph 2, ”Detailed example” should be ”Detailed
examples”.
• Page 4, line 2 of Sec II. A., ”character” should be ”characterize”.
• Page 4, line 4 of Sec II. A. Paragraph 3, ”carried” should be ”carries”.
• Page 5, line 2 of Sec. II. B. Paragraph 1, ”fractionalzation” should be
”fractionalization”.
1
• Page 5, line 4 of Sec. II. B. Paragraph 1, ”the exact same” should be ”the
same” or ”exactly the same”.
• Page 5, line 3 of Sec. II. C., ”In first step” should be ”In the first step”.
• Page 7, line 3 after Eq. (11), ”corresponds” should be ”corresponding”.
• Page 7, the line after Eq. (12), ”in” should be ”is”.
• Page 7, line 2 after Eq. (12), ”form K = Z2” should be ”from K = Z2”.
• Page 8, line 5 in Paragraph 2, ”a electric” should be ”an electric”.
• Page 9, line after Eq. (16), ”will explianed” should be ”will be explianed”.
• Page 12, line -3 before Sec. II. K., ”Similar with” should be ”Similar to”.
• Page 13, line 2, ”in in Table” should be ”in the Table”. And ”these is”
should be ”there is”.
• Page 14, line -2 before Sec III. E., ”there is an ’t Hooft anomaly present this
system” should be ”there is an ’t Hooft anomaly present in this system”.
• Page 16, line 1 after Eq. (48), ”respects” should be ”respect”.
• Page 17, line 2, ”global ymmetry” should be ”global symmetry”.
• Page 17, footnote [41], ”flows” should be ”flow”.
• Page 25, line 1 after Eq. (102), ”paramterizations” should be ”parame-
terizations”.
• Page 26, line 1 after Eq. (107), ”Here, we’ve have” should be ”Here,
we’ve”. And ”short hand” should be ”shorthand”.
• Page 27, line 5 after Eq. (114), ”will be be” should be ”will be”.
• Page 27, line 1 after Eq. (115), ”a the CS term” should be ”a CS term”.
• Page 31, line 2 of Appendix A, ”obey Abelian fusion rule” should be ”obey
the Abelian fusion rule”.
• Page 32, line -1 before Eq. (B3), ”They satisfies” should be ”They satisfy”.
• Page 33, line 1 after Eq. (C1), ”∑
a represent” should be ”∑
a represents”.