<p>A quantum field theory with a finite abelian symmetry <i>G</i> may be equipped with a non-invertible duality defect associated with gauging <i>G</i>. For certain <i>G</i>, duality defects admit an alternative construction where one starts with invertible symmetries with certain ’t Hooft anomaly, and gauging a non-anomalous subgroup. This special type of duality defects are termed group theoretical. In this work, we determine when duality defects are group theoretical, among <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13130_2025_27397_Article_IEq1.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(G={\mathbb{Z}}_{N}^{\left(0\right)}\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13130_2025_27397_Article_IEq2.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb{Z}}_{N}^{\left(1\right)}\)</EquationSource> </InlineEquation> in 2d and 4d quantum field theories, respectively. A duality defect is group theoretical if and only if its Symmetry TFT is a Dijkgraaf-Witten theory, and we argue that this is equivalent to a certain stability condition of the topological boundary conditions of the <i>G</i> gauge theory. By solving the stability condition, we find that a <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13130_2025_27397_Article_IEq3.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb{Z}}_{N}^{\left(0\right)}\)</EquationSource> </InlineEquation> duality defect in 2d is group theoretical if and only if <i>N</i> is a perfect square, and under certain assumptions a <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13130_2025_27397_Article_IEq2.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb{Z}}_{N}^{\left(1\right)}\)</EquationSource> </InlineEquation> duality defect in 4d is group theoretical if and only if <i>N</i> = <i>L</i><sup>2</sup><i>M</i> where −1 is a quadratic residue of <i>M</i>. For these subset of <i>N</i>, we construct explicit topological manipulations that map the non-invertible duality defects to invertible defects. We also comment on the connection between our results and the recent discussion of obstruction to duality-preserving gapped phases.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

When are duality defects group-theoretical?

  • Zhengdi Sun,
  • Yunqin Zheng

摘要

A quantum field theory with a finite abelian symmetry G may be equipped with a non-invertible duality defect associated with gauging G. For certain G, duality defects admit an alternative construction where one starts with invertible symmetries with certain ’t Hooft anomaly, and gauging a non-anomalous subgroup. This special type of duality defects are termed group theoretical. In this work, we determine when duality defects are group theoretical, among \(G={\mathbb{Z}}_{N}^{\left(0\right)}\) and \({\mathbb{Z}}_{N}^{\left(1\right)}\) in 2d and 4d quantum field theories, respectively. A duality defect is group theoretical if and only if its Symmetry TFT is a Dijkgraaf-Witten theory, and we argue that this is equivalent to a certain stability condition of the topological boundary conditions of the G gauge theory. By solving the stability condition, we find that a \({\mathbb{Z}}_{N}^{\left(0\right)}\) duality defect in 2d is group theoretical if and only if N is a perfect square, and under certain assumptions a \({\mathbb{Z}}_{N}^{\left(1\right)}\) duality defect in 4d is group theoretical if and only if N = L2M where −1 is a quadratic residue of M. For these subset of N, we construct explicit topological manipulations that map the non-invertible duality defects to invertible defects. We also comment on the connection between our results and the recent discussion of obstruction to duality-preserving gapped phases.