Search

In this paper we discuss gauging noninvertible zero-form symmetries in two dimensions, extending our previous work. Specifically, in this work we discuss more general gauged noninvertible symmetries in which the noninvertible symmetry is not multiplicity free, and discuss the case of Rep$(A_4)$ in detail. We realize Rep$(A_4)$ gaugings for the $c = 1$ CFT at the exceptional point in the moduli space and find new self-duality under gauging a certain non-group algebra object, leading to a larger noninvertible symmetry Rep$(SL(2, Z_3))$. We also discuss more general examples of decomposition in two-dimensional gauge theories with trivially-acting gauged noninvertible symmetries., Comment: 60 pages + appendices + references

We define a Frobenius algebra over fusion categories of the form Rep$(G)\boxtimes$Rep$(G)$ which generalizes the diagonal subgroup of $G\times G$. This allows us to extend field theoretical constructions which depend on the existence of a diagonal subgroup to non-invertible symmetries. We give explicit calculations for theories with Rep$(S_3)\boxtimes$Rep$(S_3)$ symmetry, applying the results to gauging topological quantum field theories which carry this non-invertible symmetry. Along the way, we also discuss how Morita equivalence is implemented for algebras in symmetry categories., Comment: 25 pages, 4 appendices

We construct non-supersymmetric AdS3 solutions of the O(16)xO(16) heterotic string. Most of the backgrounds have a classical worldsheet definition but are quantum string vacua in the sense that string loop corrections change the curvature of spacetime. At one-loop, the change in the cosmological constant is positive but never sufficient to uplift to de Sitter space. By computing the spectrum of spacetime scalars, we show that there are no tachyons below the BF bound. We also show that there is a solution with no spacetime NS-NS flux. This background has no classical string limit. Surprisingly, there appears to be parametric control over these constructions, which provide a framework for exploring quantum gravity and holography without supersymmetry., Comment: 29 pages + 26 pages appendices; Mathematica file included; v2: references added

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 non-trivial 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 torsion-like phases for the partition functions of these orbifolds, modifying the resulting decomposition. This framework also readily allows for the consideration of trivially-acting non-invertible symmetries., Comment: 34 pages, 2 appendices, 16 figures

In this paper we outline the application of decomposition to condensation defects and their fusion rules. Briefly, a condensation defect is obtained by gauging a higher-form symmetry along a submanifold, and so there is a natural interplay with notions of decomposition, the statement that d-dimensional quantum field theories with global (d-1)-form symmetries are equivalent to disjoint unions of other quantum field theories. We will also construct new (sometimes non-invertible) defects, and compute their fusion products, again utilizing decomposition. An important role will be played in all these analyses by theta angles for gauged higher-form symmetries, which can be used to select individual universes in a decomposition., Comment: 47 pages, LaTeX; v2: references added

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-torsion like 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 non-anomalous subgroups., Comment: 37 pages, 2 appendices, 3 figures

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., Comment: 71 pages, LaTeX; v2: reference added; v3: typos fixed

We extend the modular orbits method of constructing a two-dimensional orbifold conformal field theory to higher genus Riemann surfaces. We find that partition functions on surfaces of arbitrary genus can be constructed by a straightforward generalization of the rules that one would apply to the torus. We demonstrate how one can use these higher genus objects to compute correlation functions and OPE coefficients in the underlying theory. In the case of orbifolds of free bosonic theories by subgroups of continuous symmetries, we can give the explicit results of our procedure for symmetric and asymmetric orbifolds by cyclic groups., Comment: 33 pages; correlation function discussion expanded, references added

Given a two-dimensional conformal field theory with a global symmetry, we propose a method to implement an orbifold construction by taking orbits of the modular group. For the case of cyclic symmetries we find that this approach always seems to be consistent, even in asymmetric orbifold cases where the usual construction does not yield a modular invariant theory; our approach keeps modular invariance manifest but may give a result that is equivalent to the original theory. For the case that the symmetry is a subgroup of a continuous flavor symmetry, we can give explicit constructions of the spectrum, with twisted sectors corresponding to a non-standard group projection on an enlarged twisted sector Hilbert space., Comment: 44 pages, minor typos corrected

We give a formulation of linearized 11D supergravity in 4D, $N=1$ superspace keeping all eleven bosonic coordinates. The fields are fluctuations around $\mathbf M=\mathbf R^{4|4}\times Y$, where $Y$ is a background Riemannian 7-manifold admitting a $G_2$ structure. We embed the 11D fields into superfield representations of the 4D, $N=1$ superconformal algebra. These consist of the conformal graviton superfield, seven conformal gravitino superfields, a tensor hierarchy of superfields describing the 11D 3-form, and a non-abelian Kaluza-Klein vector multiplet gauging the tensor hierarchy by diffeomorphisms on $Y$. The quadratic action consists of the linearization of a superspace volume term and a Chern-Simons action for the gauged hierarchy coupled to the supergravity and gravitino superfields, and the full structure is fixed by superconformal and gauge invariance. When this action is projected to components, we recover the full linearized action of 11D supergravity., Comment: 33+16 pages

We construct a large class of conformal interfaces between two-dimensional c=1 conformal field theories describing compact free bosons and their Z_2 orbifolds. The interfaces are obtained by constructing boundary states in the corresponding c=2 product theories and applying the unfolding procedure. We compute the fusion products for all of these defects, and identify the invertible topological interfaces associated to global symmetries, the interfaces corresponding to marginal deformations, and the interfaces which map the untwisted sector of an orbifold to the invariant states of the parent theory., Comment: 28 pages + 15 pages of appendix, v2 added some references and comments

We give a geometric description of supersymmetric gravity/(non-)abelian $p$-form hierarchies in superspaces with 4D, $N = 1$ super-Poincare invariance. These hierarchies give rise to Chern-Simons-like invariants, such as those of the 5D, $N = 1$ graviphoton and the eleven-dimensional 3-form but also generalizations such as Green-Schwarz-like/BF-type couplings. Previous constructions based on prepotential superfields are reinterpreted in terms of $p$-forms in superspace thereby elucidating the underlying geometry. This vastly simplifies the calculations of superspace field-strengths, Bianchi identities, and Chern-Simons invariants. Using this, we prove the validity of a recursive formula for the conditions defining these actions for any such tensor hierarchy. Solving it at quadratic and cubic orders, we recover the known results for the BF-type and cubic Chern-Simons actions. As an application, we compute the quartic invariant $\sim A dA dA dA + \ldots$ relevant, for example, to seven-dimensional supergravity compactifications., Comment: 31 pages; v2: added references

We embed the component fields of eleven-dimensional supergravity into a superspace of the form $X\times Y$ where $X$ is the standard 4D, $N=1$ superspace and $Y$ is a smooth 7-manifold. The eleven-dimensional 3-form gives rise to a tensor hierarchy of superfields gauged by the diffeomorphisms of $Y$. It contains a natural candidate for a $G_2$ structure on $Y$, and being a complex of superforms, defines a superspace Chern-Simons invariant. Adding to this a natural generalization of the Riemannian volume on $X\times Y$ and freezing the (superspin-$\frac32$ and 1) supergravity fields on $X$, we obtain an approximation to the eleven-dimensional supergravity action that suffices to compute the scalar potential. In this approximation the action is the sum of the superspace Chern-Simons term and a superspace generalization of the Hitchin functional for $Y$ as a $G_2$-structure manifold. Integrating out auxiliary fields, we obtain the conditions for unbroken supersymmetry and the scalar potential. The latter reproduces the Einstein-Hilbert term on $Y$ in a form due to Bryant., Comment: Minor (typographical) errors corrected

We show that topological defects in the language of Landau-Ginzburg models carry information about the RG flow between the non-compact orbifolds $\mathbb{C}/\mathbb{Z}_d$. We show that such defects correctly implement the bulk-induced RG flow on the boundary., Comment: 19 pages

We gauge the abelian hierarchy of tensor fields in 4D by a Lie algebra. The resulting non-abelian tensor hierarchy can be interpreted via an equivariant chain complex. We lift this structure to N=1 superspace by constructing superfield analogs for the tensor fields, along with covariant superfield strengths. Next we construct Chern-Simons actions, for both the bosonic and N=1 cases, and note that the condition of gauge invariance can be presented cohomologically. Finally, we provide an explicit realization of these structures by dimensional reduction, for example by reducing the three-form of eleven-dimensional supergravity into a superspace with manifest 4D, N=1 supersymmetry., Comment: 40pp, v2 added references

With the goal of constructing the supersymmetric action for all fields, massless and massive, obtained by Kaluza-Klein compactification from type II theory or M-theory in a closed form, we embed the (Abelian) tensor hierarchy of p-forms in four-dimensional, N=1 superspace and construct its Chern-Simons-like invariants. When specialized to the case in which the tensors arise from a higher-dimensional theory, the invariants may be interpreted as higher-dimensional Chern-Simons forms reduced to four dimensions. As an application of the formalism, we construct the eleven-dimensional Chern-Simons form in terms of four-dimensional, N=1 superfields., Comment: 31 pages

We calculate all tree level string theory vacuum to Dp-brane disc amplitudes involving an arbitrary RR-state and two NS-NS vertex operators. This computation was earlier performed by K. Becker, Guo, and Robbins for the simplest case of a RR-state of type C_{p-3}. Here we use the aid of a computer to calculate all possible three-point amplitudes involving a RR-vertex operator of type C_{p+1+2k}., Comment: 40 pages

Studying a quantum field theory involves a choice of space-time manifold and a choice of background for any global symmetries of the theory. We argue that many more choices are possible when specifying the background. In the context of branes in string theory, the additional data corresponds to a choice of supergravity tensor fluxes. We propose the existence of a landscape of field theory backgrounds, characterized by the space-time metric, global symmetry background and a choice of tensor fluxes. As evidence for this landscape, we study the supersymmetric six-dimensional (2,0) theory compactified to two dimensions. Different choices of metric and flux give rise to distinct two-dimensional theories, which can preserve differing amounts of supersymmetry., Comment: 33 pages, LaTeX

We consider alpha'-corrections to Calabi-Yau compactifications of type II string theory. These were discussed from the string worldsheet approach many years ago in terms of supersymmetric non-linear sigma-models by Nemeschansky and Sen as well as Gross and Witten. There it was shown that once alpha'-corrections are included, the internal manifold solving the string equations of motion is still Calabi-Yau though not Ricci flat. In this brief note we review these results and compare with a space-time effective field theory approach, in which we show that SU(3)-holonomy manifolds become SU(3)-structure manifolds once such corrections are included., Comment: 9 pages

We work out all of the details required for implementation of the conformal bootstrap program applied to the four-point function of two scalars and two vectors in an abstract conformal field theory in arbitrary dimension. This includes a review of which tensor structures make appearances, a construction of the projectors onto the required mixed symmetry representations, and a computation of the conformal blocks for all possible operators which can be exchanged. These blocks are presented as differential operators acting upon the previously known scalar conformal blocks. Finally, we set up the bootstrap equations which implement crossing symmetry. Special attention is given to the case of conserved vectors, where several simplifications occur., Comment: 76 pages, v3 moved several details into appendices, expanded discussion of mixed symmetry projector

We calculate tree level scattering amplitudes for open strings using the NSR formalism. We present a streamlined symmetry-based and pedagogical approach to the computations, which we first develop by checking two-, three-, and four-point functions involving bosons and fermions. We calculate the five-point amplitude for massless gluons and find agreement with an earlier result by Brandt, Machado and Medina. We then compute the five-point amplitudes involving two and four fermions respectively, the general form of which has not been previously obtained in the NSR formalism. The results nicely confirm expectations from the supersymmetric $F^4$ effective action. Finally we use the prescription of Kawai, Lewellen and Tye (KLT) to compute the amplitudes for the closed string sector., Comment: 40+8 pages; v2: references added; v3: additional field theory checks made; published version; v4: minor corrections; results unchanged

In this talk we report on recent progress in describing compactifications of string theory and M-theory on G_2 and Spin(7) manifolds. We include the infinite set of alpha'-corrections and describe the entire tower of massless and massive Kaluza-Klein modes resulting from such compactifications., Comment: 9 pages

Using an effective field theory approach and the language of SU(N)-structures, we study higher derivative corrections to the supersymmetry constraints for compactifications of string or M-theory to Minkowski space. Our analysis is done entirely in the target space and is thus very general, and does not rely on theory-dependent details such as the amount of worldsheet supersymmetry. For manifolds of real dimension n<4 we show that the internal geometry remains flat and uncorrected. For n=4, 6, Kahler manifolds with SU(N)-holonomy can become corrected to SU(N)-structure, while preserving supersymmetry, once corrections are included., Comment: 27 pages

In this note we present a closed expression for the space-time effective action for all bosonic fields (massless and massive) obtained from the compactification of gravity or supergravity theories (such as type II or eleven-dimensional supergravities) from $D$ to $d$ space-time dimensions., Comment: 20 pages

We compute four-derivative corrections to the AdS supergravity actions arising from the near-horizon geometry of N M5-branes wrapped on either one or two Riemann surfaces. This setup features the novel presence of both gauged isometries as well as nontrivial hypermultiplets. We argue that the 5d Chern-Simons terms receive not only higher-derivative corrections but also contributions from Killing vector parameters, which we find must also be corrected. We check the central charges found by our supergravity methods against the dual field theory results and find perfect agreement at leading and subleading order in N. Along the way, we find higher derivative corrections to general AdS_5 and AdS_3x\Sigma_g geometries., Comment: 32 pages + 16 pages appendices

In the approximation corresponding to the classical Einstein equations, which is valid at large radius, string theory compactification on a compact manifold $M$ of $G_2$ or $\mathrm{Spin}(7)$ holonomy gives a supersymmetric vacuum in three or two dimensions. Do $\alpha'$ corrections to the Einstein equations disturb this statement? Explicitly analyzing the leading correction, we show that the metric of $M$ can be adjusted to maintain supersymmetry. Beyond leading order, a general argument based on low energy effective field theory in spacetime implies that this is true exactly (not just to all finite orders in $\alpha'$). A more elaborate field theory argument that includes the massive Kaluza-Klein modes matches the structure found in explicit calculations. In M-theory compactification on a manifold $M$ of $G_2$ or Spin(7) holonomy, similar results hold to all orders in the inverse radius of $M$ -- but not exactly. The classical moduli space of $G_2$ metrics on a manifold $M$ is known to be locally a Lagrangian submanifold of $H^3(M,{\mathbf R})\oplus H^4(M,\mathbf{R})$. We show that this remains valid to all orders in the $\alpha'$ or inverse radius expansion., Comment: 34 pp

We classify all possible two- and four-derivative couplings of bulk NS-NS sector fields to a single Op-plane which are compatible with diffeomorphism invariance and B-field gauge invariance. This is applicable to type IIA or IIB superstrings or to the bosonic string. We then consider this general action in various classes of backgrounds that admit a U(1) isometry and determine the constraints on the couplings from consistency with T-duality. We show that this consistency requires the two-derivative action to vanish, and the entire non-linear four-derivative action is fixed up to one overall constant which can be determined by comparison with a two-point scattering amplitude. The resulting action is consistent with all previously computed couplings., Comment: 54 pages

Type IIB toroidal orientifolds are among the earliest examples of flux vacua. By applying T-duality, we construct the first examples of massive IIA flux vacua with Minkowski space-times, along with new examples of type IIA flux vacua. The backgrounds are surprisingly simple with no four-form flux at all. They serve as illustrations of the ingredients needed to build type IIA and massive IIA solutions with scale separation. To check that these backgrounds are actually solutions, we formulate the complete set of type II supergravity equations of motion in a very useful form that treats the R-R fields democratically., Comment: 38 pages, LaTeX; references updated; additional minor comments added; published version

We evaluate the string theory disc amplitude of one Ramond-Ramond field C^(p-3) and two Neveu-Schwarz B-fields in the presence of a single Dp-brane in type II string theory. From this amplitude we extract the four-derivative (or equivalently order (alpha')^2) part of the Dp-brane action involving these fields. We show that the new couplings are invariant under R-R and NS-NS gauge transformations and compatible with linear T-duality., Comment: 31 pages, 7 figures

We study in detail the procedure for obtaining couplings of D-branes to closed string fields by evaluating string theory disc amplitudes. We perform a careful construction of the relevant vertex operators and discuss the effects of inserting the boundary state which encodes the presence of the D-brane. We confront the issue of non-decoupling of BRST-exact states and prove that the problem is evaded for the computations we need, thus demonstrating that our amplitudes are automatically gauge-invariant and independent of the distribution of picture charge. Finally, we compute explicitly the two-point amplitudes of two NS-NS fields or one NS-NS and one R-R field on the disc, and we carefully compare all the lowest order terms with predictions from supergravity., Comment: 55 pages, 1 figure

The Wess-Zumino coupling on D-branes in string theory is known to receive higher derivative corrections which couple the Ramond-Ramond potential to terms involving the square of the spacetime curvature tensor. Consistency with T-duality implies that the branes should also have four-derivative couplings that involve the NS-NS B-field. We use T-duality to predict some of these couplings. We then confirm these results with string worldsheet computations by evaluating disc amplitudes with insertions of one R-R and two NS-NS vertex operators., Comment: 30 pages, 1 figure, references added

We study stabilization of hypermoduli with emphasis on the effects of generalized fluxes. We find a class of no-scale vacua described by ISD conditions even in the presence of geometric flux. The associated flux attractor equations can be integrated by a generating function with the property that the hypermoduli are determined by a simple extremization principle. We work out several orbifold examples where all vector moduli and many hypermoduli are stabilized, with VEVs given explicitly in terms of fluxes., Comment: 45 pages, no figures; Version submitted to JHEP

A class of non-supersymmetric string backgrounds can be constructed using twists that involve space-time fermion parity. We propose a non-perturbative definition of string theory in these backgrounds via gauge theories with supersymmetry softly broken by twisted boundary conditions. The perturbative string spectrum is reproduced, and qualitative effects of the interactions are discussed. Along the way, we find an interesting mechanism for inflation. The end state of closed string tachyon condensation is a highly excited state in the gauge theory which, in all likelihood, does not have a geometric interpretation., Comment: 35 pages, 2 figures; revision adds a computation of the relevant orbifold states

We derive several no-go theorems in the context of massive type IIA string theory compactified to four dimensions in a way that, in the absence of fluxes, preserves N=1 supersymmetry. Our derivation is based on the dilaton, Kaehler and complex structure moduli dependence of the potential of the four-dimensional effective field theory, that is generated by the presence of D6-branes, O6-planes, RR-fluxes, NSNS 3-form flux, and geometric fluxes. To demonstrate the usefulness of our theorems, we apply them to the most commonly studied class of toroidal orientifolds. We show that for all but two of the models in this class the slow-roll parameter \epsilon is bounded from below by numbers of order unity as long as the fluxes satisfy the Bianchi identities, ruling out slow-roll inflation and even the existence of de Sitter extrema in these models. For the two cases that avoid the no-go theorems, we provide some details of our numerical studies, demonstrating that small \epsilon can indeed be achieved. We stress that there seems to be an \eta-problem, however, suggesting that none of the models in this class are viable from a cosmological point of view at least at large volume, small string coupling, and leading order in the \alpha'-expansion., Comment: 34 pages, v3: summary table added, comments added, accepted for publication in PRD