BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
E. Sharpe appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
In this paper we give a proposal for mirrors to (0,2) supersymmetric gauged linear sigma models (GLSMs), for those (0,2) GLSMs which are deformations of (2,2) GLSMs. Specifically, we propose a construction of (0,2) mirrors for (0,2) GLSMs with E terms that are linear and diagonal, reducing to both the Hori-Vafa prescription as well as a recent (2,2) nonabelian mirrors proposal on the (2,2) locus. For the special case of abelian (0,2) GLSMs, two of the authors have previously proposed a systematic construction, which is both simplified and generalized by the proposal here.
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.
In this paper we discuss gauging one-form symmetries in two-dimensional theories. The existence of a global one-form symmetry in two dimensions typically signals a violation of cluster decomposition -- an issue resolved by the observation that such theories decompose into disjoint unions, a result that has been applied to, for example, Gromov-Witten theory and gauged linear sigma model phases. In this paper we describe how gauging one-form symmetries in two-dimensional theories can be used to select particular elements of that disjoint union, effectively undoing decomposition. We examine such gaugings explicitly in examples involving orbifolds, nonsupersymmetric pure Yang-Mills theories, and supersymmetric gauge theories in two dimensions. Along the way, we learn explicit concrete details of the topological configurations that path integrals sum over when gauging a one-form symmetry, and we also uncover `hidden' one-form symmetries.
We apply the recent proposal for mirrors of nonabelian (2,2) supersymmetric two-dimensional gauge theories to make predictions for two-dimensional supersymmetric gauge theories with exceptional gauge groups G2, F4, E6, E7, and E8. We compute the mirror Landau-Ginzburg models and predict excluded Coulomb loci and Coulomb branch relations (quantum cohomology). We also discuss the relationship between weight lattice normalizations and theta angle periodicities in the proposal, and explore different conventions for the mirrors. Finally, we discuss the behavior of pure gauge theories with exceptional gauge groups under RG flow, and describe evidence that any pure supersymmetric two-dimensional gauge theory with connected and simply-connected semisimple gauge group flows in the IR to a free theory of as many twisted chiral superfields as the rank of the gauge group, extending previous results for SU, SO, and Sp gauge theories.
In this paper we discuss Bagger-Witten line bundles over moduli spaces of SCFTs. We review how in general they are `fractional' line bundles, not honest line bundles, twisted on triple overlaps. We discuss the special case of moduli spaces of elliptic curves in detail. There, the Bagger-Witten line bundle does not exist as an ordinary line bundle, but rather is necessarily fractional. As a fractional line bundle, it is nontrivial (though torsion) over the uncompactified moduli stack, and its restriction to the interior, excising corners with enhanced stabilizers, is also fractional. It becomes an honest line bundle on a moduli stack defined by a quotient of the upper half plane by a metaplectic group, rather than SL(2,Z). We review and compare to results of recent work arguing that well-definedness of the worldsheet metric implies that the Bagger-Witten line bundle admits a flat connection (which includes torsion bundles as special cases), and give general arguments on the existence of universal structures on moduli spaces of SCFTs, in which superconformal deformation parameters are promoted to nondynamical fields ranging over the SCFT moduli space.
In this short paper we look at the action of T-duality and string duality groups on fermions, in maximally-supersymmetric theories and related theories. Briefly, we argue that typical duality groups such as SL(2,Z) have sign ambiguities in their actions on fermions, and propose that pertinent duality groups be extended by Z_2, to groups such as the metaplectic group. Specifically, we look at duality groups arising from mapping class groups of tori in M theory compactifications, T-duality, ten-dimensional type IIB S-duality, and (briefly) four-dimensional N=4 super Yang-Mills, and in each case, propose that the full duality group is a nontrivial Z_2 extension of the duality group acting on bosonic degrees of freedom, to more accurately describe possible actions on fermions. We also walk through U-duality groups for toroidal compactifications to nine, eight, and seven dimensions, which enables us to perform cross-consistency tests of these proposals.
It was recently argued that quantum field theories possess one-form and higher-form symmetries, labelled `generalized global symmetries.' In this paper, we describe how those higher-form symmetries can be understood mathematically as special cases of more general 2-groups and higher groups, and discuss examples of quantum field theories admitting actions of more general higher groups than merely one-form and higher-form symmetries. We discuss analogues of topological defects for some of these higher symmetry groups, relating some of them to ordinary topological defects. We also discuss topological defects in cases in which the moduli `space' (technically, a stack) admits an action of a higher symmetry group. Finally, we outline a proposal for how certain anomalies might potentially be understood as describing a transmutation of an ordinary group symmetry of the classical theory into a 2-group or higher group symmetry of the quantum theory, which we link to WZW models and bosonization.
In this note we summarize a few of the many recent developments in two-dimensional quantum field theories. We begin with a review of the current state of quantum sheaf cohomology, a heterotic analogue of quantum cohomology. We then turn to dualities: we outline the current status of (0,2) mirror symmetry, and then outline recent work on two-dimensional gauge dualities. In particular, we describe how many two-dimensional gauge dualities in both (2,2) and (0,2) supersymmetric gauge theories can be understood simply as different presentations of the same infrared (IR) geometry. We then discuss (not necessarily supersymmetric) two-dimensional nonabelian gauge theories in which a subgroup of the gauge group acts trivially on massless matter. We describe how these theories 'decompose' into disjoint unions of other theories indexed by discrete theta angles, a fact which in other contexts has proven to have implications for interpretations of certain gauged linear sigma models (GLSMs) and for Gromov-Witten invariants of stacks. We conclude with a discussion of recent developments in infinitesimal moduli of heterotic compactifications.
In this paper we compute spaces of chiral operators in general two-dimensional (0,2) nonlinear sigma models, both in theories twistable to the A/2 or B/2 model, as well as in non-twistable theories, and apply them to check recent duality conjectures. The fact that in a nonlinear sigma model, the Fock vacuum can act as a section of a line bundle on the target space plays a crucial role in our (0,2) computations, so we begin with a review of this property. We also take this opportunity to show how even in (2,2) theories, the Fock vacuum encodes in this way choices of target space spin structures, and discuss how such choices enter the A and B model topological field theories. We then compute chiral operators in general (0,2) nonlinear sigma models, and apply them to test the recent Gadde-Gukov-Putrov triality proposal, which says that certain triples of (0,2) GLSMs should RG flow to nontrivial IR fixed points. We find that different UV theories in the same proposed universality class do not necessarily have the same space of chiral operators -- but, the mismatched operators do not contribute to elliptic genera and are in non-integrable representations of the proposed IR affine symmetry groups, suggesting that the mismatched states become massive along RG flow. We find this state matching in examples not only of different geometric phases of the same GLSMs, but also in phases of different GLSMs, indirectly verifying the triality proposal, and giving a clean demonstration that (0,2) chiral rings are not topologically protected. We also check proposals for enhanced IR affine E_6 symmetries in one such model, verifying that (matching) chiral states in phases of corresponding GLSMs transform as 27s, 27^*s.
This paper discusses the relationships between gauge theories defined by gauge groups with finite trivially-acting centers, and theories with restrictions on nonperturbative sectors, in two and four dimensions. In two dimensions, these notions seem to coincide. Generalizing old results on orbifolds and abelian gauge theories, we propose a decomposition of two-dimensional nonabelian gauge theories with center-invariant matter into disjoint sums of theories with rotating discrete theta angles; for example, schematically, SU(2) = SO(3)_+ + SO(3)_-. We verify that decomposition directly in pure nonsupersymmetric two-dimensional Yang-Mills as well as in supersymmetric theories. In four dimensions, by contrast, these notions do not coincide. To clarify the relationship, we discuss theories obtained by restricting nonperturbative sectors. These theories violate cluster decomposition, but we illustrate how they may at least in special cases be understood as disjoint sums of well-behaved quantum field theories, and how dyon spectra can be used to distinguish, for example, an SO(3) theory with a restriction on instantons from an SU(2) theory. We also briefly discuss how coupling various analogues of Dijkgraaf-Witten theory, as part of a description of instanton restriction via coupling TQFT's to QFT's, may modify these results.
In this paper we work out some basic results concerning heterotic string compactifications on stacks and, in particular, gerbes. A heterotic string compactification on a gerbe can be understood as, simultaneously, both a compactification on a space with a restriction on nonperturbative sectors, and also, a gauge theory in which a subgroup of the gauge group acts trivially on the massless matter. Gerbes admit more bundles than corresponding spaces, which suggests they are potentially a rich playground for heterotic string compactifications. After we give a general characterization of heterotic strings on stacks, we specialize to gerbes, and consider three different classes of `building blocks' of gerbe compactifications. We argue that heterotic string compactifications on one class is equivalent to compactification of the same heterotic string on a disjoint union of spaces, compactification on another class is dual to compactifications of other heterotic strings on spaces, and compactification on the third class is not perturbatively consistent, so that we do not in fact recover a broad array of new heterotic compactifications, just combinations of existing ones. In appendices we explain how to compute massless spectra of heterotic strings on stacks, derive some new necessary conditions for a heterotic string on a stack or orbifold to be well-defined, and also review some basic properties of bundles on gerbes.
In this paper we explore basic aspects of nonabelian (0,2) GLSM's in two dimensions for unitary gauge groups, an arena that until recently has largely been unexplored. We begin by discussing general aspects of (0,2) theories, including checks of dynamical supersymmetry breaking, spectators and weak coupling limits, and also build some toy models of (0,2) theories for bundles on Grassmannians, which gives us an opportunity to relate physical anomalies and trace conditions to mathematical properties. We apply these ideas to study (0,2) theories on Pfaffians, applying recent perturbative constructions of Pfaffians of Jockers et al. We discuss how existing dualities in (2,2) nonabelian gauge theories have a simple mathematical understanding, and make predictions for additional dualities in (2,2) and (0,2) gauge theories. Finally, we outline how duality works in open strings in unitary gauge theories, and also describe why, in general terms, we expect analogous dualities in (0,2) theories to be comparatively rare.
In this paper, we discuss elliptic genera of (2,2) and (0,2) supersymmetric Landau-Ginzburg models over nontrivial spaces, i.e., nonlinear sigma models on nontrivial noncompact manifolds with superpotential, generalizing old computations in Landau-Ginzburg models over (orbifolds of) vector spaces. For Landau-Ginzburg models in the same universality class as nonlinear sigma models, we explicitly check that the elliptic genera of the Landau-Ginzburg models match that of the nonlinear sigma models, via a Thom class computation of a form analogous to that appearing in recent studies of other properties of Landau-Ginzburg models on nontrivial spaces.
In this paper, we will outline computations of quantum sheaf cohomology for deformations of tangent bundles of toric varieties, for those deformations describable as deformations of toric Euler sequences. Quantum sheaf cohomology is a heterotic analogue of quantum cohomology, a quantum deformation of the classical product on sheaf cohomology groups, that computes nonperturbative corrections to analogues of (27*)^3 couplings in heterotic string computations. Previous computations have relied on either physics-based GLSM techniques or computation-intensive brute-force Cech cohomology techniques. This paper describes methods for greatly simplifying mathematical computations, and derives more general results than previously obtainable with GLSM techniques. We will outline recent results (rigorous proofs will appear elsewhere).
In this paper we discuss quantization of the Fayet-Iliopoulos parameter in supergravity theories with altered nonperturbative sectors, which were recently used to argue a fractional quantization condition. Nonlinear sigma models with altered nonperturbative sectors are the same as nonlinear sigma models on special stacks known as gerbes. After reviewing the existing results on such theories in two dimensions, we discuss examples of gerby moduli `spaces' appearing in four-dimensional field theory and string compactifications, and the effect of various dualities. We discuss global topological defects arising when a field or string theory moduli space has a gerbe structure. We also outline how to generalize results of Bagger-Witten and more recent authors on quantization issues in supergravities from smooth manifolds to smooth moduli stacks, focusing particular attention on stacks that have gerbe structures.
In this short note we give an overview of recent work on string propagation on stacks and applications to gauged linear sigma models. We begin by outlining noneffective orbifolds (orbifolds in which a subgroup acts trivially) and related phenomena in two-dimensional gauge theories, which realize string propagation on gerbes. We then discuss the `decomposition conjecture,' equating conformal field theories of strings on gerbes and strings on disjoint unions of spaces. Finally, we apply these ideas to gauged linear sigma models for complete intersections of quadrics, and use the decomposition conjecture to show that the Landau-Ginzburg points of those models have a geometric interpretation in terms of a (sometimes noncommutative resolution of a) branched double cover, realized via nonperturbative effects, rather than as the vanishing locus of a superpotential. These examples violate old unproven lore on GLSM's (e.g., that geometric phases must be related by birational transformations), and we conclude by observing that in these examples (and conjecturing more generally in GLSM's), the phases are instead related by Kuznetsov's `homological projective duality.'
In this short note we discuss discrete torsion in orientifolds. In particular, we apply the physical understanding of discrete torsion worked out several years ago, as group actions on B fields, to the case of orientifolds, and recover some old results of Braun and Stefanski concerning group cohomology and twisted equivariant K theory. We also derive new results including phase factors for nonorientable worldsheets and analogues for C fields.
In this paper we use trivial defects to define global taffy-like operations on string worldsheets, which preserve the field theory. We fold open and closed strings on a space X into open strings on products of multiple copies of X, and perform checks that the "taffy-folded" worldsheets have the same massless spectra and other properties as the original worldsheets. Such folding tricks are a standard method in the defects community; the novelty of this paper lies in deriving mathematical identities to check that e.g. massless spectra are invariant in topological field theories. We discuss the case of the B model extensively, and also derive the same identities for string topology, where they become statements of homotopy invariance. We outline analogous results in the A model, B-twisted Landau-Ginzburg models, and physical strings. We also discuss the understanding of the closed string states as the Hochschild homology of the open string algebra, and outline possible applications to elliptic genera.
We examine to what extent heterotic string worldsheets can describe arbitrary E8xE8 gauge fields. The traditional construction of heterotic strings builds each E8 via a Spin(16)/Z2 subgroup, typically realized as a current algebra by left-moving fermions, and as a result, only E8 gauge fields reducible to Spin(16)/Z2 gauge fields are directly realizable in standard constructions. However, there exist perturbatively consistent E8 gauge fields which can not be reduced to Spin(16)/Z2, and so cannot be described within standard heterotic worldsheet constructions. A natural question to then ask is whether there exists any (0,2) SCFT that can describe such E8 gauge fields. To answer this question, we first show how each ten-dimensional E8 partition function can be built up using other subgroups than Spin(16)/Z2, then construct ``fibered WZW models'' which allow us to explicitly couple current algebras for general groups and general levels to heterotic strings. This technology gives us a very general approach to handling heterotic compactifications with arbitrary principal bundles. It also gives us a physical realization of some elliptic genera constructed recently by Ando and Liu.
In this paper we discuss some examples of abelian gauged linear sigma models realizing twisted derived equivalences between non-birational spaces, and realizing geometries in novel fashions. Examples of gauged linear sigma models with non-birational Kahler phases are a relatively new phenomenon. Most of our examples involve gauged linear sigma models for complete intersections of quadric hypersurfaces, though we also discuss some more general cases and their interpretation. We also propose a more general understanding of the relationship between Kahler phases of gauged linear sigma models, namely that they are related by (and realize) Kuznetsov's `homological projective duality.' Along the way, we shall see how `noncommutative spaces' (in Kontsevich's sense) are realized physically in gauged linear sigma models, providing examples of new types of conformal field theories. Throughout, the physical realization of stacks plays a key role in interpreting physical structures appearing in GLSMs, and we find that stacks are implicitly much more common in GLSMs than previously realized.
In this paper we study CFT's associated to gerbes. These theories suffer from a lack of cluster decomposition, but this problem can be resolved: the CFT's are the same as CFT's for disconnected targets. Such theories also lack cluster decomposition, but in that form, the lack is manifestly not very problematic. In particular, we shall see that this matching of CFT's, this duality between noneffective gaugings and sigma models on disconnected targets, is a worldsheet duality related to T-duality. We perform a wide variety of tests of this claim, ranging from checking partition functions at arbitrary genus to D-branes to mirror symmetry. We also discuss a number of applications of these results, including predictions for quantum cohomology and Gromov-Witten theory and additional physical understanding of the geometric Langlands program.
In this paper we shall describe some correlation function computations in perturbative heterotic strings that generalize B model computations. On the (2,2) locus, correlation functions in the B model receive no quantum corrections, but off the (2,2) locus, that can change. Classically, the (0,2) analogue of the B model is equivalent to the previously-discussed (0,2) analogue of the A model, but with the gauge bundle dualized -- our generalization of the A model, also simultaneously generalizes the B model. The A and B analogues sometimes have different regularizations, however, which distinguish them quantum-mechanically. We discuss how properties of the (2,2) B model, such as the lack of quantum corrections, are realized in (0,2) A model language. In an appendix, we also extensively discuss how the Calabi-Yau condition for the closed string B model (uncoupled to topological gravity) can be weakened slightly, a detail which does not seem to have been covered in the literature previously. That weakening also manifests in the description of the (2,2) B model as a (0,2) A model.
In this paper we will discuss gauged linear sigma model descriptions of toric stacks. Toric stacks have a simple description in terms of (symplectic, GIT) ${\bf C}^{\times}$ quotients of homogeneous coordinates, in exactly the same form as toric varieties. We describe the physics of the gauged linear sigma models that formally coincide with the mathematical description of toric stacks, and check that physical predictions of those gauged linear sigma models exactly match the corresponding stacks. We also check in examples that when a given toric stack has multiple presentations in a form accessible as a gauged linear sigma model, that the IR physics of those different presentations matches, so that the IR physics is presentation-independent, making it reasonable to associate CFT's to stacks, not just presentations of stacks. We discuss mirror symmetry for stacks, using Morrison-Plesser-Hori-Vafa techniques to compute mirrors explicitly, and also find a natural generalization of Batyrev's mirror conjecture. In the process of studying mirror symmetry, we find some new abstract CFT's, involving fields valued in roots of unity.
In this paper we study string compactifications on Deligne-Mumford stacks. The basic idea is that all such stacks have presentations to which one can associate gauged sigma models, where the group gauged need be neither finite nor effectively-acting. Such presentations are not unique, and lead to physically distinct gauged sigma models; stacks classify universality classes of gauged sigma models, not gauged sigma models themselves. We begin by defining and justifying a notion of ``Calabi-Yau stack,'' recall how one defines sigma models on (presentations of) stacks, and calculate of physical properties of such sigma models, such as closed and open string spectra. We describe how the boundary states in the open string B model on a Calabi-Yau stack are counted by derived categories of coherent sheaves on the stack. Along the way, we describe numerous tests that IR physics is presentation-independent, justifying the claim that stacks classify universality classes. String orbifolds are one special case of these compactifications, a subject which has proven controversial in the past; however we resolve the objections to this description of which we are aware. In particular, we discuss the apparent mismatch between stack moduli and physical moduli, and how that discrepancy is resolved.
In these notes we review recent work on describing D-branes with nonzero Higgs vevs in terms of sheaves, which gives a physical on-shell D-brane interpretation to more sheaves than previously understood as describing D-branes. The mathematical ansatz for this encoding is checked by comparing open string spectra between D-branes with nonzero Higgs vevs to Ext groups between the corresponding sheaves. We illustrate the general methods with a few examples.
In this paper we continue previous work on counting open string states between D-branes by considering open strings between D-branes with nonzero Higgs vevs, and in particular, nilpotent Higgs vevs, as arise, for example, when studying D-branes in orbifolds. Ordinarily Higgs vevs can be interpreted as moving the D-brane, but nilpotent Higgs vevs have zero eigenvalues, and so their interpretation is more interesting -- for example, they often correspond to nonreduced schemes, which furnishes an important link in understanding old results relating classical D-brane moduli spaces in orbifolds to Hilbert schemes, resolutions of quotient spaces, and the McKay correspondence. We give a sheaf-theoretic description of D-branes with Higgs vevs, including nilpotent Higgs vevs, and check that description by noting that Ext groups between the sheaves modelling the D-branes, do in fact correctly count open string states. In particular, our analysis expands the types of sheaves which admit on-shell physical interpretations, which is an important step for making derived categories useful for physics.
In this paper we extend previous work on calculating massless boundary Ramond sector spectra of open strings to include cases with nonzero flat B fields. In such cases, D-branes are no longer well-modelled precisely by sheaves, but rather they are replaced by `twisted' sheaves, reflecting the fact that gauge transformations of the B field act as affine translations of the Chan-Paton factors. As in previous work, we find that the massless boundary Ramond sector states are counted by Ext groups -- this time, Ext groups of twisted sheaves. As before, the computation of BRST cohomology relies on physically realizing some spectral sequences. Subtleties that cropped up in previous work also appear here.
In this note we extend previous work on massless Ramond spectra of open strings connecting D-branes wrapped on complex manifolds, to consider D-branes wrapped on smooth complex orbifolds. Using standard methods, we calculate the massless boundary Ramond sector spectra directly in BCFT, and find that the states in the spectrum are counted by Ext groups on quotient stacks (which provide a notion of homological algebra relevant for orbifolds). Subtleties that cropped up in our previous work also appear here. We also use the McKay correspondence to relate Ext groups on quotient stacks to Ext groups on (large radius) resolutions of the quotients. As stacks are not commonly used in the physics community, we include pedagogical discussions of some basic relevant properties of stacks.
In this paper we make two observations related to discrete torsion. First, we observe that an old obscure degree of freedom (momentum/translation shifts) in (symmetric) string orbifolds is related to discrete torsion. We point out how our previous derivation of discrete torsion from orbifold group actions on B fields includes these momentum lattice shift phases, and discuss how they are realized in terms of orbifold group actions on D-branes. Second, we describe the M theory dual of IIA discrete torsion, a duality relation to our knowledge not previously understood. We show that IIA discrete torsion is encoded in analogues of the shift orbifolds above for the M theory C field.
To define a consistent perturbative geometric heterotic compactification the bundle is required to satisfy a subtle constraint known as ``stability,'' which depends upon the Kahler form. This dependence upon the Kahler form is highly nontrivial---the Kahler cone splits into subcones, with a distinct moduli space of bundles in each subcone---and has long been overlooked by physicists. In this article we describe this behavior and its physical manifestation.
In this article we review some recent developments in heterotic compactifications. In particular we review an ``inherently toric'' description of certain sheaves, called equivariant sheaves, that has recently been discussed in the physics literature. We outline calculations that can be performed with these objects, and also outline more general phenomena in moduli spaces of sheaves.
In this technical note we describe a pair of results on heterotic compactifications. First, we give an example demonstrating that the usual statement of the anomaly-freedom constraint for perturbative heterotic compactifications (meaning, matching second Chern characters) is incorrect for compactifications involving torsion-free sheaves. Secondly, we correct errors in the literature regarding the counting of massless particles in heterotic compactifications.
In this paper we give an inherently toric description of a special class of sheaves (known as equivariant sheaves) over toric varieties, due in part to A. A. Klyachko. We apply this technology to heterotic compactifications, in particular to the (0,2) models of Distler, Kachru, and also discuss how knowledge of equivariant sheaves can be used to reconstruct information about an entire moduli space of sheaves. Many results relevant to heterotic compactifications previously known only to mathematicians are collected here -- for example, results concerning whether the restriction of a stable sheaf to a Calabi-Yau hypersurface remains stable are stated. We also describe substructure in the Kahler cone, in which moduli spaces of sheaves are independent of Kahler class only within any one subcone. We study F theory compactifications in light of this fact, and also discuss how it can be seen in the context of equivariant sheaves on toric varieties. Finally we briefly speculate on the application of these results to (0,2) mirror symmetry.