SciPost Submission Page
Gauging Lie group symmetry in (2+1)d topological phases
by Meng Cheng, PoShen Hsin, ChaoMing Jian
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Meng Cheng · PoShen Hsin · ChaoMing Jian 
Submission information  

Preprint Link:  https://arxiv.org/abs/2205.15347v1 (pdf) 
Date submitted:  20220607 15:55 
Submitted by:  Cheng, Meng 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
We present a general algebraic framework for gauging a 0form compact, connected Lie group symmetry in (2+1)d topological phases. Starting from a symmetry fractionalization pattern of the Lie group $G$, we first extend $G$ to a larger symmetry group $\tilde{G}$, such that there is no fractionalization with respect to $\tilde{G}$ in the topological phase, and the effect of gauging $\tilde{G}$ is to tensor the original theory with a $\tilde{G}$ ChernSimons theory. To restore the desired gauge symmetry, one then has to gauge an appropriate oneform symmetry (or, condensing certain Abelian anyons) to obtain the final result. Studying the consistency of the gauging procedure leads to compatibility conditions between the symmetry fractionalization pattern and the Hall conductance. When the gauging can not be consistently done (i.e. the compatibility conditions can not be satisfied), the symmetry $G$ with the fractionalization pattern has an 't Hooft anomaly and we present a general method to determine the (3+1)d topological term for the anomaly. We provide many examples, including projective simple Lie groups and unitary groups to illustrate our approach.
Current status:
Reports on this Submission
Report #2 by Anonymous (Referee 2) on 2022822 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2205.15347v1, delivered 20220822, doi: 10.21468/SciPost.Report.5570
Report
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 oneform 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 bynowstandard 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 onetoone 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 bulkboundary 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).
Report #1 by Anonymous (Referee 1) on 2022728 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2205.15347v1, delivered 20220728, doi: 10.21468/SciPost.Report.5466
Report
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 oneform 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 wellorganized. 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 standalone” should be ” for the standalone”.
• 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”.
Author: PoShen Hsin on 20221103 [id 2976]
(in reply to Report 1 on 20220728)
We thank the referee for carefully reading the manuscript and the comments. We will correct these typos in v2.
Symmetries in quantum field theory (including TQFTs) and their gauging is completely described by how the partition functions of the theory depend on the background gauge field of the symmetry. Using such an approach, it is not necessary to discuss generalizations of the G crossed braided tensor category for Lie groups.
Author: Meng Cheng on 20221130 [id 3094]
(in reply to Report 2 on 20220822)We thank the referee for acknowledging the quality of the this paper, and pointing out a number of typos which have been corrected in the revision. Below we reply to the questions/comments of the referee.
Reply: In Sec. II, we always consider the central extension of $G$ (whose Lie algebra is simple) to its universal cover $\tilde{G}$ as in Eq. (5). This central extension already fixes $K =\pi_1(G)$ and a specific $\mu \in {\cal H}^2(G,K)$. In this case, the choices of $v:K \rightarrow {\cal A}$ are in onetoone correspondence to the fractionalization classes ${\frak w} \in {\cal H}^2(G,{\cal A}) $, which can be expressed in terms of $(\mu,v)$. We have added more explicit explanations around (7) to clarify the relation.
For more general cases discussed in Sec. III, the choice of $K$ is not necessarily unique as we discussed around Eq. (40). There can be different triplets $(K,\mu,v)$ that characterize the same symmetry fractionalization class. Nevertheless, we show that different choices of $(K,\mu,v)$ corresponding to the same symmetry fractionalization class produce the same final result after completing the gauging process.
Reply: We thank the referee for the suggestion. Indeed, via the bulkboundary correspondence, our result can be viewed as a general categorical description of cosets. We've expanded the relevant discussion in Sec. V. For the example of minimal model MTCs at the end of Sec. II E, we've also expanded the discussion to spell out the connection between our general gauging procedure (applied to the case with $G=SO(3)$) in 2+1d and coset construction for CFTs in 1+1d.
Reply: We thank the referee for pointing this out. It is meant to refer to Eq. (9) in the latest version of the manuscript.