In this paper, we propose a construction of GLSM defects corresponding to Schubert cycles in Lagrangian Grassmannians, following recent work of Closset-Khlaif on Schubert cycles in ordinary Grassmannians. In the case of Lagrangian Grassmannians, there are superpotential terms in both the bulk GLSM as well as on the defect itself, enforcing isotropy constraints. We check our construction by comparing the locus on which the GLSM defect is supported to mathematical descriptions, checking dimensions, and perhaps most importantly, comparing defect indices to known and expected polynomial invariants of the Schubert cycles in quantum cohomology and quantum K theory.

Germany

China

Wei Gu

United States

Leonardo Mihalcea

Eric Sharpe

Weihong Xu

Hao Zhang

Hao Zou

Schubert defects in Lagrangian Grassmannians

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.

Tony Pantev

Xingyang Yu

Chern-Simons theory, decomposition, and the A model

We generalize Coulomb-branch-based gauged linear sigma model (GLSM)–computations of quantum cohomology rings of Fano spaces. Typically such computations have focused on GLSMs without superpotential, for which the low energy limit of the GLSM is a pure Coulomb branch, and quantum cohomology is determined by the critical locus of a twisted one-loop effective superpotential. We extend these results to cases for which the low energy limit of the GLSM includes both Coulomb and Higgs branches, where the latter is a Landau-Ginzburg orbifold. We describe the state spaces and products of corresponding operators in detail, comparing a geometric phase description, where the operator product ring is quantum cohomology, to the description in terms of Coulomb and Higgs branch states. As a concrete test of our methods, we compare to existing mathematics results for quantum cohomology rings of hypersurfaces in projective spaces.

Ilarion Melnikov

Quantum cohomology from mixed Higgs-Coulomb phases

In this paper we generalize previous work on decomposition in three-dimensional orbifolds by 2-groups realized as analogues of central extensions, to orbifolds by more general 2-groups. We describe the computation of such orbifolds in physics, state a version of the decomposition conjecture, and then compute in numerous examples, checking that decomposition works as advertised.

Alonso Perez-Lona

Three-dimensional orbifolds by 2-groups

Trivially-acting symmetries in two-dimensional conformal field theory include twist fields of dimension zero which are local topological operators. We investigate the consequences of regarding these operators as part of the global symmetry of the theory. That is, we regard such a symmetry as a mix of topological defect lines (TDLs) and topological point operators (TPOs). TDLs related by a trivially-acting symmetry can join at a TPO to form nontrivial two-way junctions. Upon gauging, the local operators at those junctions can become vacua in a disjoint union of theories. Examining the behavior of the TPOs under gauging therefore allows us to refine decomposition by tracking the trivially-acting symmetries of each universe. Mixed anomalies between the TDLs and TPOs provide discrete torsionlike phases for the partition functions of these orbifolds, modifying the resulting decomposition. This framework also readily allows for the consideration of trivially-acting noninvertible symmetries.

Daniel G. Robbins

Thomas Vandermeulen

Decomposition, trivially-acting symmetries, and topological operators

A number of finite algorithms for constructing representation theoretic data from group multiplications in a finite group G have recently been shown to be related to amplitudes for combinatoric topological strings (G-CTST) based on Dijkgraaf-Witten theory of flat G-bundles on surfaces. We extend this result to projective representations of G using twisted Dijkgraaf-Witten theory. New algorithms for characters are described, based on handle creation operators and minimal multiplicative generating subspaces for the centers of group algebras and twisted group algebras. Such minimal generating subspaces are of interest in connection with information theoretic aspects of the AdS/CFT correspondence. For the untwisted case, we describe the integrality properties of certain character sums and character power sums which follow from these constructive G-CTST algorithms. These integer sums appear as residues of singularities in G-CTST generating functions. S-duality of the combinatoric topological strings motivates the definition of an inverse handle creation operator in the centers of group algebras and twisted group algebras.

United Kingdom

South Africa

Sanjaye Ramgoolam

Combinatoric topological string theories and group theory algorithms

In this paper we study three-dimensional orbifolds by 2-groups with a trivially-acting one-form symmetry group BK. These orbifolds have a global two-form symmetry, and so one expects that they decompose into (are equivalent to) a disjoint union of other three-dimensional theories, which we demonstrate. These theories can be interpreted as sigma models on 2-gerbes, whose formal structures reflect properties of the orbifold construction.

Daniel Robbins

Orbifolds by 2-groups and decomposition

In this paper, we introduce a new set of modular-invariant phase factors for orbifolds with trivially-acting subgroups, analogous to discrete torsion and generalizing quantum symmetries. After describing their basic properties, we generalize decomposition to include orbifolds with these new phase factors, making a precise proposal for how such orbifolds are equivalent to disjoint unions of other orbifolds without trivially-acting subgroups or one-form symmetries, which we check in numerous examples.

Quantum symmetries in orbifolds and decomposition

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.

A generalization of decomposition in orbifolds

We investigate gauge anomalies in the context of orbifold conformal field theories. Such anomalies manifest as failures of modular invariance in the constituents of the orbifold partition function. We review how this irregularity is classified by cohomology and how extending the orbifold group can remove it. Working with such extensions requires an understanding of the consistent ways in which extending groups can act on the twisted states of the original symmetry, which leads us to a discrete torsionlike choice that exists in orbifolds with trivially acting subgroups. We review a general method for constructing such extensions and investigate its application to orbifolds. Through numerous explicit examples we test the conjecture that consistent extensions should be equivalent to (in general multiple copies of) orbifolds by nonanomalous subgroups.