A<sc>bstract</sc> In this paper, we discuss how gauging one-form symmetries in Chern-Simons theories is implemented in an A-twisted topological open string theory. For example, the contribution from a fixed H/Z bundle on a three-manifold M, arising in a BZ gauging of H Chern-Simons, for Z a finite subgroup of the center of H, is described by an open string worldsheet theory whose bulk is a sigma model with target a Z-gerbe (a bundle of one-form symmetries) over T∗M, of characteristic class determined by the H/Z bundle. We give a worldsheet picture of the decomposition of one-form-symmetry-gauged Chern-Simons in three dimensions, and we describe how a target-space constraint on bundles arising in the gauged Chern-Simons theory has a natural worldsheet realization. Our proposal provides examples of the expected correspondence between worldsheet global higher-form symmetries, and target-space gauged higher-form symmetries.
more »
« less
Decomposition in Chern–Simons theories in three dimensions
In this paper, we discuss decomposition in the context of three-dimensional Chern–Simons theories. Specifically, we argue that a Chern–Simons theory with a gauged noneffectively-acting one-form symmetry is equivalent to a disjoint union of Chern–Simons theories, with discrete theta angles coupling to the image under a Bockstein homomorphism of a canonical degree-two characteristic class. On three-manifolds with boundary, we show that the bulk discrete theta angles (coupling to bundle characteristic classes) are mapped to choices of discrete torsion in boundary orbifolds. We use this to verify that the bulk three-dimensional Chern–Simons decomposition reduces on the boundary to known decompositions of two-dimensional (WZW) orbifolds, providing a strong consistency test of our proposal.
more »
« less
- PAR ID:
- 10428883
- Date Published:
- Journal Name:
- International Journal of Modern Physics A
- Volume:
- 37
- Issue:
- 36
- ISSN:
- 0217-751X
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)A bstract In this note we study IR limits of pure two-dimensional supersymmetric gauge theories with semisimple non-simply-connected gauge groups including SU( k )/ℤ k , SO(2 k )/ℤ 2 , Sp(2 k )/ℤ 2 , E 6 /ℤ 3 , and E 7 /ℤ 2 for various discrete theta angles, both directly in the gauge theory and also in nonabelian mirrors, extending a classification begun in previous work. We find in each case that there are supersymmetric vacua for precisely one value of the discrete theta angle, and no supersymmetric vacua for other values, hence supersymmetry is broken in the IR for most discrete theta angles. Furthermore, for the one distinguished value of the discrete theta angle for which supersymmetry is unbroken, the theory has as many twisted chiral multiplet degrees of freedom in the IR as the rank. We take this opportunity to further develop the technology of nonabelian mirrors to discuss how the mirror to a G gauge theory differs from the mirror to a G / K gauge theory for K a subgroup of the center of G . In particular, the discrete theta angles in these cases are considerably more intricate than those of the pure gauge theories studied in previous papers, so we discuss the realization of these more complex discrete theta angles in the mirror construction. We find that discrete theta angles, both in the original gauge theory and their mirrors, are intimately related to the description of centers of universal covering groups as quotients of weight lattices by root sublattices. We perform numerous consistency checks, comparing results against basic group-theoretic relations as well as with decomposition, which describes how two-dimensional theories with one-form symmetries (such as pure gauge theories with nontrivial centers) decompose into disjoint unions, in this case of pure gauge theories with quotiented gauge groups and discrete theta angles.more » « less
-
A bstract This paper describes a generalization of decomposition in orbifolds. In general terms, decomposition states that two-dimensional orbifolds and gauge theories whose gauge groups have trivially-acting subgroups decompose into disjoint unions of theories. However, decomposition can be, at least naively, broken in orbifolds if the orbifold has discrete torsion in the trivially-acting subgroup. (Formally, this breaks finite global one-form symmetries.) Nevertheless, even in such cases, one still sees rudiments of decomposition. In this paper, we generalize decomposition in orbifolds to include such examples of discrete torsion, which we check in numerous examples. Our analysis includes as special cases (and in one sense generalizes) quantum symmetries of abelian orbifolds.more » « less
-
null (Ed.)A bstract Recent developments involving JT gravity in two dimensions indicate that under some conditions, a gravitational path integral is dual to an average over an ensemble of boundary theories, rather than to a specific boundary theory. For an example in one dimension more, one would like to compare a random ensemble of two-dimensional CFT’s to Einstein gravity in three dimensions. But this is difficult. For a simpler problem, here we average over Narain’s family of two-dimensional CFT’s obtained by toroidal compactification. These theories are believed to be the most general ones with their central charges and abelian current algebra symmetries, so averaging over them means picking a random CFT with those properties. The average can be computed using the Siegel-Weil formula of number theory and has some properties suggestive of a bulk dual theory that would be an exotic theory of gravity in three dimensions. The bulk dual theory would be more like U(1) 2 D Chern-Simons theory than like Einstein gravity.more » « less
-
We develop representation theoretic techniques to construct three dimensional non-semisimple topological quantum field theories which model homologically truncated topological B-twists of abelian Gaiotto--Witten theory with linear matter. Our constructions are based on relative modular structures on the category of weight modules over an unrolled quantization of a Lie superalgebra. The Lie superalgebra, originally defined by Gaiotto and Witten, is associated to a complex symplectic representation of a metric abelian Lie algebra. The physical theories we model admit alternative realizations as Chern--Simons-Rozansky--Witten theories and supergroup Chern--Simons theories and include as particular examples global forms of gl(1,1)-Chern--Simons theory and toral Chern--Simons theory. Fundamental to our approach is the systematic incorporation of non-genuine line operators which source flat connections for the topological flavour symmetry of the theory.more » « less
An official website of the United States government

