Aspects of 4d supersymmetric dynamics and geometry
Abstract
In this set of five lectures we present a basic toolbox to discuss the dynamics of four dimensional supersymmetric quantum field theories. In particular we overview the program of geometrically engineering the four dimensional supersymmetric models as compactifications of six dimensional SCFTs. We discuss how strong coupling phenomena in four dimensions, such as duality and emergence of symmetry, can be naturally imbedded in the geometric constructions. The lectures mostly review results which previously appeared in the literature but also contain some unpublished derivations.
1 Introduction
Quantum field theory is a framework to study the dynamics of a wide variety of quantum systems. One of the interesting open problems in understanding the predictions of this framework is the question of strong coupling. Strong coupling problems have numerous avatars. For example, we can start from a free field theory and turn on relevant deformations flowing to strong coupling in the infra-red (IR). We then can ask questions about the deep IR physics which are hard to answer directly using the UV weakly coupled starting point.
Such issues become more tractable once we introduce enough supersymmetry. In 4d, which will be the focus of these lectures, enough means four supercharges, i.e. minimal supersymmetry. With this amount of supersymmetry one can use a wide variety of techniques, ultimately related to holomorphy of various quantities Seiberg:1994bp , to deduce non perturbatively certain conclusions about strongly coupled phases of QFTs. Typically the power of holomorphy gives us a variety of quantities we can count: most, if not all, of the exact results one can obtain about supersymmetric QFTs can be related to counting problems.111The counting problem might be in the theory of our interest or maybe in a higher dimensional theory reducing to it. For example the partition functions in dimensions can be related to various indices, partition functions, in dimensions.
Dualities and emergence of symmetry
As an example of a strong coupling effect one can discuss is the notion of duality. A given CFT in the UV deformed by a relevant perturbation can flow in the IR to a theory (which can be free, gapped, or interacting CFT) which is equivalent to a theory obtained by staring with another CFT and some relevant deformation. When an RG flow is involved we will refer to such dualities as IR dualities. In case the deformations preserve conformality, that is they are exactly marginal, we will refer to these effects as conformal dualities. See Figure 1. In the last years, following in particular Seiberg:1994pq , numerous examples of such dualities have been conjectured using a wide variety of exact supersymmetric techniques. The canonical example is the IR equivalence (in a certain range of parameters) of SQCD with flavors and SQCD with flavors, gauge singlet fields and a superpotential. The IR fixed point is fully determined (or labeled) by a choice of a pair, UV CFT and the relevant deformation. The statement of the duality is that this labeling is not unique and moreover might be not unique in an interesting way (e.g. the UV theories having different gauge groups). A canonical example of a conformal duality is the statement that SYM with gauge groups and (the Langlands dual of ) reside at two cusps of the same conformal manifold (see e.g. Kapustin:2006pk for a detailed discussion).

Another interesting strong coupling effect is the emergence of symmetry in the IR. The global symmetry of the IR fixed point can be larger than the one of the UV starting point and the interesting question is whether this can be understood directly in the UV. A simple example is with flavors and symmetry describing in the IR the SQCD with flavors with only the symmetry visible in the UV of the latter, see e.g. Leigh:1996ds . Other examples involve emergence of supersymmetry in the flow: e.g. using Intriligator-Seiberg duality Intriligator:1995id 222See also Lee:2021crt for recent discussion. the SYM can be obtained by starting from SQCD with the charged matter consisting of three bi-fundamentals.333Let us mention in passing here for the experts that this duality has a class Gaiotto:2009hg ; Gaiotto:2009we interpretation. One can take two trinions and glue them together with vector multiplets; flip the two maximal punctures; close then one of the two punctures completely and the other one to a minimal puncture. This theory has the same geometric data as the one of genus one with a single minimal puncture and preserving flux, which is SYM with a decoupled hypermultiplet. The case is then the Intriligator-Seiberg duality while for higher one has novel strongly coupled generalizations of this. In our lectures we will review the notions needed to understand the statements in this footnote.
An interesting question is thus to bundle all of the scattered instances of interesting strong coupling dynamics into some uniform framework which will give some sort of an explanation or an understanding of when and how these phenomena occur. Yet another motivation for such a framework can be found by asking a sort of an inverse question: given a strongly coupled SCFT with given properties to find a weakly couple UV theory which flows to it. The UV theory might exhibit less symmetry than the IR one, and in fact it often has to do so. For example, listing all the 4d Lagrangians leading to interacting SCFTs Bhardwaj:2013qia one just does not find candidate descriptions of many of 4d SCFTs which can be obtained using a variety of more abstract techniques, e.g. coming from string theory.

Dualities across dimensions
Typically one considers dualities between QFTs starting from two theories in the same number of dimensions and ending in the same number of dimensions. However, in recent years, following the seminal work of Gaiotto:2009we , it has been realized that much can be achieved, in particular answering the questions posed above, if one discusses flows across dimensions. Let us first then define the notion of an IR duality across dimensions. We can start from a higher dimensional CFT, in this paper we will start in , and deform the theory by placing it on a compact geometry of dimension , e.g. a Riemann surface with . Studying this setup at low energy, i.e. much lower than the scale set by the compact geometry, we will arrive at an effective dimensional QFT. An interesting question is whether there exists a dimensional weakly coupled QFT flowing to the same effective theory in the IR. If such a theory exists we will refer to the deformed theory and the one as being IR dual across dimensions. See Figure 2.
Here we thus can also label the IR dimensional QFT by a pair (CFT, deformation) but this might involve a higher dimensional CFT and a geometric deformation. As we will be mainly interested in 4d physics our starting points will be in 6d (and 5d) where interesting SCFTs are all strongly coupled and do not have a simple field theoretic definition, see e.g. Heckman:2018jxk . As the starting point is strongly coupled, such geometric constructions often lead to 4d theories with properties which are hard or impossible to engineer directly in 4d insisting on all the symmetries being manifest. This in particular led to many such theories being referred to as non-Lagrangian. Across dimensional duals, if existing, thus would provide for a Lagrangian definition of such SCFTs. An example of such a duality is a geometric, class Gaiotto:2009hg ; Gaiotto:2009we , construction as compactification on punctured spheres of a 6d SCFT of certain Argyres-Douglas SCFTs Argyres:1995jj , and an alternative description of these SCFTs starting with a weakly coupled gauge theory in 4d Maruyoshi:2016tqk .
As with in-dimension dualities some of the symmetries of the IR QFT might be explicit in the UV in one description but emergent in the other. Systematically understanding such across dimensional dualities will give us a handle over understanding of emergence of symmetry. In fact the appearance of geometry in the construction gives us a useful knob to start and build a systematic framework to understand emergence of symmetry and duality.

4d dynamics from across dimensional dualities
The main idea behind deriving 4d dualities and emergence of symmetry phenomena from 6d stems from the following factorization property of the constructions. One considers compactifying a given 6d SCFT, , on surface such that the surface can be written as,
(1) |
Here are punctured surfaces and is the geometric operation of gluing two surfaces along a puncture. The compactification might be parametrized by additional geometric data, such as flux for a global symmetry supported on the surface. The operation then associates to the combined surface a sum of these fluxes. We will call a set of surface complete if any surface can be constructed using these. We then first seek for across dimensional dualities associating a pair of 4d weakly coupled CFTs and deformations to . Assuming that such a dictionary between a complete set of surfaces and 4d theories could be found one can find a theory dual across dimensions to ,
(2) |
Here is a field theoretic operation in 4d. This can involve gauging symmetry associated with punctures (in a way we will discuss in detail in the paper), adding fields, and turning on various superpotentials couplings. The precise meaning of will depend on the 6d SCFT and various other choices. For example, the complete set of might not be unique; one can have different types of punctures (following from UV dualities exemplified in Figure 1), etc. In the statement (2) we have several RG flows, and thus hidden in it there is an assumption that these types of flows commute. Commutativity of flows is a non-trivial statement (see e.g. Aharony:2013dha and discussion below). However, assuming it and the statement (2) one can arrive at a large web of consistent results which supports the validity of the assumption.
The fact that such a construction exists is highly non-trivial: however as we will discuss in this review in various examples it can be worked out explicitly and by now somewhat systematically. An example of such a construction is the derivation of all compactifications of the 6d SCFT using tri-fundamentals of as across dimensional duals to compactifications on certain three-punctured spheres Gaiotto:2009we . Given such a structure one can then generate various examples of dualities and instances of IR emergence of symmetry systematically. For example, if a given surface can be decomposed in more than one way,
(3) |
we will obtain different field theoretic descriptions of which should be IR equivalent by construction,
Moreover the geometry might preserve more symmetry than some of the building blocks. Then the corresponding theories would have less symmetry than . However combining them together using (2) should give in the IR the expected symmetry, if the construction is correct. Building the necessary toolkit to discuss such correspondences and discussing the systematics of these constructions will be the main goal of this review.

We will discuss two explicit instances of collections of across dimension dualities, one starting with which is described by pure SYM on its tensor branch and another with being the rank one E-string. These two cases turn out to be rather simple and amenable to a variety of ad hoc techniques, which we will discuss in detail. The systematic treatment of compactifications starting with a large class of more general can be done understanding first compactifications on two punctured spheres. The problem of understanding reductions on such surfaces can be directly related to understanding duality domain walls in 5d Gaiotto:2014ina . We will discuss this procedure using again E-string as an explicit example. Understanding systematically compactifications on surfaces with more punctures can be done studying the interplay between 6d flows and across dimension flows, which we will soon describe.
6d dualities
Of course once we allow for across dimensional dualities we can consider starting and finishing in different combinations of dimensions. There has been a lot of work for example on compactifying 6d theories down to three dimensions and constructing 3d Lagrangians for these, see e.g. Dimofte:2011ju . However, there is another interesting phenomenon that we want to mention here. One can start from two different 6d SCFTs, and , deform by placing them on different geometries, and , and consider the resulting four dimensional theories. In certain cases the 4d theories might be IR equivalent and we thus can refer to the pairs and as being 6d dual to each other. By now there are numerous examples of such dualities, though there is no systematic understanding of these. It is likely that to gain such an understanding one would need to exploit various string/M-theoretic constructions. For example, various compactifications of theories on spheres with punctures leading to theories in 4d turn out to be equivalent to compactifications on tori of different theories Ohmori:2015pua ; Ohmori:2015pia ; Baume:2021qho ; compactifications on certain punctured spheres of N5 branes probing -type singularity is 6d dual to compactifications on tori with flux of M5 branes probing -type singularity Kim:2018bpg . We will discuss yet another example of this phenomenon (Rank-one E-string on genus two surface without flux is the same as minimal 6d SCFT on a four punctured sphere).
Interplay between flows in different dimensions
6d theories do not possess interesting supersymmetric relevant or marginal deformations Cordova:2016xhm . However, given a 6d SCFT one can trigger an interesting flow by exploring the moduli space of vacua, i.e. turning on vacuum expectation values for some operators. One then can wonder how flows in six dimensions and across dimensions are interrelated. It turns out that the answer to this question is rather interesting and understanding it gives an explicit tool to derive compactifications on surfaces with more than two punctures. The basic idea is depicted in Figure 5. Let us consider two QFTs in 6d related by a flow triggered by a vev to some operator , and . Next we compactify on some surface with some value of flux for the 6d global symmetry. Usually one can find the 4d analogue, , of the operator , the vev of which connects and in 6d. Turning on a vev to we flow then to a new QFT in 4d. A natural question is whether there is a surface (and some value of flux) such that the same 4d QFT can be reached starting with in 6d. It turns out that the answer is positive but differs from by the number of punctures: the difference being determined by the value of flux for symmetries under which is charged. Thus understanding say compactifications on two punctured spheres for we can systematically derive compactifications on spheres with higher number of punctures for . We will discuss in detail this procedure for a sequence of 6d SCFTs called minimal conformal matter theories: SCFTs residing on a single M5 brane probing singularity in M-theory. Models with different values of are related by RG flows reducing the value of . The simplest model with turns out to be the rank one E-string. In particular this will give us yet another derivation of the three punctured spheres for the E-string theory.

Outline of the paper
The idea of these lectures is to allow a reader familiar with the basics of supersymmetric dynamics in 4d (e.g. at the level of first chapters of Tachikawa:2018sae ) to familiarize themselves in detail, and in a self contained way, with the techniques and results used to geometrically construct 4d dynamics. We tried to either explicitly review all the needed material, or to cite a paper discussing manifestly and in detail the needed points. Although string/M/F-theoretic considerations are very useful in understanding various aspects of our discussion, we restricted to purely field theoretic exposition for the sake of the lectures being self contained. These lectures are not intended to be an exhaustive review of the subject but rather a pedagogical and self contained exposition of a particular slice of recent developments.
The paper is structured as follows. In section 2 we overview the basic techniques to deal non-perturbatively with supersymmetric QFTs in 4d. This involves in particular the review of exact tools to extract information about the IR fixed point in 4d flows. In section 3 we discuss in detail examples of IR dualities, conformal dualities, and IR emergence of symmetry. We discuss several test cases to illustrate the applications of the techniques of section 2. Next in section 4 we analyze in full detail the compactification of 6d minimal SCFT to 4d. In particular we will discuss the 6d SCFT itself, its reduction to 5d, and the resulting 4d theories. This is a very tractable case (e.g. the analysis is simplified by the 6d theory not having continuous global (non-R) symmetry). We will illustrate various understandings following from compactifications using this example. In section 5 we discuss in detail compactifications of the rank one E-string. Here we will use non generic but simple techniques to get to the result in a non-cumbersome manner. In section 6 we discuss a systematic approach of studying 5d duality domain walls and commutative diagrams of RG flows. We use these techniques to arrive at the 4d models obtained in compactifications of the E-string theory. Finally in section 7 we discuss some generalities of geometrically engineering 4d SQFTs starting from 6d SCFTs, comment on subjects not covered in the lectures, and make general remarks. Several appendices include pedagogically various topics in 4d/5d/6d supersymmetric physics as well as give more details of some of the computations in the bulk of the paper.
2 Lecture I: The basic toolbox
We wish to understand the following general set of question. Starting from a CFT in the UV () and deforming it by introducing a scale, we trigger an RG flow. The properties of the deformed QFT depend on the energy scale at which we probe the physics. We are then interested to understand what happens when we go to extremely low energies, far below the energy scale set by the deformation, see Figure 6 for an illustration. This question is often hard to answer, since as we lower the energy scale at which we probe the physics the description in terms of the degrees of freedom of can become strongly coupled. For example, as we will review soon, if we start from a free theory as and turn on a relevant deformation, a variety of interesting behaviors can emerge in the IR: the theory can flow to an interacting strongly coupled conformal theory, it might flow to a weakly coupled gauge theory, and the flow can also be gapped with no propagating degrees of freedom remaining in the IR.

2.1 Symmetry, anomalies, and ’t Hooft anomaly matching
Without simplifying assumptions, such as supersymmetry that we will soon introduce, answering the posed questions is rather hard. Nevertheless, we do have certain tools which we can use quite generally. Not surprisingly they have something to do with symmetry. Let us assume that after deforming the global symmetry of the resulting QFT is . Here we will focus on zero-form continuous symmetries, though one can consider generalizations of the discussion to higher form symmetries Gaiotto:2014kfa and higher group structures Benini:2018reh . Typically the deformation breaks explicitly some of the symmetry of and some of the symmetry might also be spontaneously broken: lets assume is the surviving fraction of the symmetry. This symmetry will be preserved during RG flow. Thus, we expect that the symmetry of the theory in the IR should be . There are however two caveats. First, might not act faithfully in the IR. In particular in an extreme case it might not act at all, for example when the theory develops a gap in the IR. In this case, will not act manifestly in the IR. Second, the symmetry in the IR can actually be bigger than . Intuitively, some of the interactions/degrees of freedom which break a certain larger symmetry group, of which is a subgroup, might be washed away/gapped in the IR. In such situations we will say that there is an enhancement (or emergence) of the symmetry in the IR and the symmetry group might be bigger than . We will denote by the symmetry group of the IR fixed point if the theory flows to an SCFT, or the symmetry of the weakly coupled gauge theory if it flows to such a theory.
Importantly, we can say something more about the symmetry. If a theory possess a global symmetry with a corresponding conserved current444One can make this discussion more general and abstract by thinking about the conserved charge corresponding to a zero-form symmetry as certain co-dimension one topological operators in the QFT (and higher co-dimension when the symmetry is of a higher form) Gaiotto:2014kfa . , we can turn on background gauge fields , valued in the Lie algebra of some sub-group of the symmetry group, coupled to this conserved current, and compute the effective action . As the current is conserved the gauge field comes with a gauge symmetry,
(5) |
where is an element of the symmetry (sub)group. Then we can try to promote to be dynamical fields. However, there might be an obstruction to doing so, which goes under the name of ‘t Hooft anomaly. The obstruction comes about as the effective action of the theory might or might not be invariant under (5),
(6) |
If the equality does not hold we say that the (sub)group of the symmetry has a ‘t Hooft anomaly. In particular this means that the symmetry cannot be gauged, i.e. the gauge fields cannot be promoted to dynamical fields. See Bilal:2008qx for a comprehensive introduction to the subject of anomalies and Freed:2014iua for a more recent and general discussion. The important fact about ‘t Hooft anomalies is that they are quantifiable. There are various ways to understand this and let us here mention two of them. First, the anomaly of a continuous symmetry can be captured in dimensions by an point one loop amplitude involving the conserved currents. In particular, say in , this is proportional to,
(7) |
Here is the representation of the chiral fermions of the model (if we have a description of the theory in terms of a Lagrangian) under the which are the groups corresponding to the three currents. For example, if all correspond to the same symmetry then the ‘t Hooft anomaly is just given by , where are the charges of the Weyl fermions of the model.
Another way to think about the anomaly is as follows. The failure of the effective action to be invariant cannot take any form and is constrained by Wess-Zumino consistency conditions to be related to what is known as the anomaly polynomial (where is the number of space-time dimensions which is assumed to be even). is a homogeneous polynomial of degree in characteristic classes built from gauge fields (including gravitational) corresponding to the symmetries of the system. The coefficients of the polynomial encode the ‘t Hooft anomalies of the theory. For example a term of the form,
(8) |
captures the anomaly defined in (7). Here is a simple numerical factor depending on how many of the three correspond to different groups. If all are the same then , if two are the same and if all are different it is equal to . See Appendix E for more details on the 6d anomaly polynomial.
‘t Hooft anomalies are useful for us since they don’t change during the RG-flow and thus are the same in the UV and the IR: this fact goes under the name of ‘t Hooft anomaly matching condition. There are various ways to see this. First, we can add to the theory a number of Weyl fermions (called spectators), such that the combined anomaly of the theory of interest and the additional fermions is zero. Then we can weakly gauge the symmetry. Assuming we can always stay in a regime where the gauge coupling is small, we can flow to the IR where we decouple the spectators. As there is no obstruction to the gauging in the IR, and we decouple the same fermions, the anomaly should not change in the process. Yet another argument for the non-renormalization is through what is called anomaly inflow. One way to render the symmetry non-anomalous is to realize the theory on the boundary of a dimensional space with a background field living in dimensions. Then, we can add a Chern-Simons term in the bulk that cancels the anomaly of the boundary theory. This will again remove the obstruction from gauging the symmetry which should hold in the UV as well as in the IR.
Thus, we learn that the anomaly polynomial computed in the UV should be the same as the one computed in the IR, no matter what is the IR behavior of our deformation. This is true for the symmetries we can identify in the UV. At the IR fixed point new symmetries can emerge and as we cannot identify them in the UV their anomalies do not have to be zero. One way to understand this is that we can move out of the IR fixed point by irrelevant deformations which explicitly break the emergent symmetries and thus invalidate the ‘t Hooft anomaly matching argument. On the other hand, if a sub-group of the symmetry group does not act faithfully in the IR its anomaly has to be zero also in the UV due to the ‘t Hooft anomaly matching argument555Note that this is not true for the case of spontaneous symmetry breaking. A symmetry with a non-trivial ‘t Hooft anomaly in the UV can be spontaneously broken in the IR..
2.2 -maximization and superconformal R-symmetry
Until now our discussion did not involve supersymmetry at all. Indeed, without supersymmetry we do not have at the moment useful robust tools beyond matching symmetries and anomalies to understand the physics in the IR. However with supersymmetry there are more things that we can say. Let us start the discussion of supersymmetric theories in with what the interplay between the supersymmetry and ‘t Hooft anomalies can give us.
We will assume throughout these lectures that we are dealing with supersymmetric theories in 4d . Moreover we will assume that these theories possess an R-symmetry. A R-symmetry is a necessary ingredient of the superconformal group, as for example it appears on the right-hand side of anti-commutation relations between supercharges and their superconformal counterparts . See Appendix A for a summary of the superconformal group in 4d. The SCFT in the UV thus has an R-symmetry which is part of the superconformal group. We will only discuss deformations which preserve supersymmetry. We will also assume that some combination of this R-symmetry and an abelian subgroup of the global symmetry group of is not broken by the deformation, though of course as we introduce a scale the conformal symmetry is broken. In the IR, if we arrive to a conformal fixed point, we again acquire the superconformal R-symmetry. However, the superconformal symmetry in the UV and in the IR might not be the same symmetry. Nevertheless, under certain assumptions that we will detail, the fact that the R-symmetry is intimately related to the superconformal group allows us to determine it in the IR.
Any conformal theory, supersymmetric or not, in four dimensions has two important numbers associated to it: these are referred to as the and the conformal anomalies. The conformal anomalies measure, among other things, the failure of the expectation value of the trace of the stress-energy tensor to vanish when the theory is placed on a curved background with metric ,
(9) |
where is the Weyl tensor and is the Euler density, both built from certain combinations of the metric and its derivatives Deser:1993yx .666In any conformal theory the conformal anomaly is smaller at the IR fixed point relative to the UV fixed point Cardy:1988cwa ; Komargodski:2011vj . In superconformal theories, as the stress energy tensor and the R-symmetry are part of the same symmetry algebra the various anomalies are interrelated. It is possible for example to utilize these relations to arrive at the following extremely useful statements Anselmi:1997am ,
(10) |
Here it is important that is the R-symmetry in the superconformal group. is the ‘t Hooft anomaly corresponding to term in the anomaly polynomial we have discussed above, with being the field strength for the R-symmetry background gauge field. Whereas is the mixed R-symmetry gravity anomaly, which in the anomaly polynomial appears as a coefficient of a term involving and a certain Pontryagin class computed using the background metric.
Exploiting the interplay between supersymmetry and the R-symmetry in a conformal theory one can also arrive at the conclusion that the mixed ‘t Hooft anomalies between any global symmetry and the superconformal R-symmetry are also related to the mixed gravitational- anomaly Intriligator:2003mi ,
(11) |
Moreover, the positivity of the two point function of the currents of the global symmetry can be related to the negativity of yet another ‘t Hooft anomaly,
(12) |
Combining all these observations Intriligator and Wecht arrived at a very simple procedure to determine the R-symmetry of the IR fixed point by knowing all the abelian symmetries and the R-symmetry preserved along the RG-flow Intriligator:2003mi . One defines the following trial anomaly,
(13) |
Here are arbitrary real numbers associated to the -th symmetry: the summation over is implied in the equation. Now we notice that,
(14) |
The last equality holds if is the superconformal R-symmetry following (11). On the other hand,
(15) |
where are arbitrary real numbers and the last inequality follows from (12) assuming again is the superconformal R-symmetry. This thus implies that:
The superconformal R-symmetry maximizes the trial .
The procedure of obtaining the superconformal R-symmetry discussed here is called -maximization. This statement however has an important caveat. We assume that we have identified all the symmetries that can possibly mix with the R-symmetry to produce the superconformal one. However, as we already discussed some of these symmetries can only emerge in the IR. This possibility should always be kept in mind, as it is usually hard to rule it out. In some cases, certain indications that this has to be the case can be derived. For example, using certain unitarity bounds, superconformal representation theory implies that the R-charge of any chiral operator in the theory has to be bigger or equal to . The R-charge saturates this bound only if the operator is a free chiral field. If using -maximization leads to certain chiral operators violating these bounds, then some of the assumptions going into the computation have to be wrong. A natural way for this to happen is if some of the abelian symmetries in the IR have been missed Kutasov:2003iy .
Using the relation (10) we can compute the conformal anomalies of free fields, which will be useful for us in what follows. A free chiral superfield has an R-charge of . This is the R-charge of the scalar component of the superfield. The R-charge of the Weyl fermion is shifted777In superspace notations this is due to the fact that the superspace coordinates have a unit charge under the R-symmetry. by and thus the conformal anomalies of the free chiral field are,
(16) |
For the free vector superfield the R-symmetry is zero, and thus the R-symmetry of the gaugino is . This implies the following anomalies,
(17) |
For future convenience we also define the contributions to the conformal anomalies of chiral fields of general R-charge to be,
(18) |
Exercise: Show that if the free R-charge assignment is consistent with all the superpotentials and is anomaly free in a general gauge theory, it solves the -maximization problem.
We assume that a gauge group is given, the number of chiral fields is , and that the assignment of R-charge to all chiral superfields is consistent with superpotentials and anomalies. We also assume that the theory has symmetries under which the -th chiral superfield has charges . Then we define a trial superconformal R-symmetry to be,
(19) |
with arbitrary real parameters. Computing the trial -anomaly,
we immediately see that the term linear in cancels out. This implies that taking is a stationary point and it is then trivial to show that it is a local maximum. One way to see this is to take some arbitrary direction in space parametrized as and see how changes with ,
(21) |
where we defined . Obviously then is a maximum for any choice of direction unless . However the latter case implies that , and thus the R-symmetry is still the free one.
2.3 Beta functions, deformations, and conformal manifolds
An important question regarding CFTs is what is the collection of relevant and exactly marginal deformations of a model leading to an inequivalent fixed point. In particular for SCFTs we will be interested in such deformations which preserves supersymmetry.
One type of supersymmetric deformations one can add to an SCFT is the following superpotential term,
(22) |
where is a chiral operator and is a complex number. Relevant supersymmetric deformations are given by chiral operators with scaling dimension smaller than . For such deformations has a positive mass dimension and thus grows with the RG-flow to the IR. Remember that has mass dimension . Note also, that for chiral operators the superconformal algebra relates the dimension to the superconformal R-charge, ; thus, the R-charge of relevant deformations is smaller than .
The marginal superpotential deformations are given by chiral operators of dimension exactly , or equivalently superconformal R-charge of exactly , and as we will soon discuss these can be either marginally irrelevant or exactly marginal.
Given an SCFT with a subgroup of the global symmetry group with vanishing ’t Hooft anomaly we can couple it to dynamical gauge fields in the standard way. In particular we introduce the superpotential term,
(23) |
with being the complexified gauge coupling and the chiral superfield with the field strength as one of its components. As with other superpotential couplings can be either a relevant deformation, irrelevant, or marginal. To determine which of the three possibilities holds one needs to perform a one loop computation of the gauge beta-function: classically gauge-couplings are marginal in 4d. In supersymmetric theories the result of this computation can be expressed in an elegant form Benini:2009mz ,888See also Meade:2008wd for an important discussion.
(24) |
That is the beta function is proportional to minus the ’t Hooft anomaly of the superconformal R-symmetry, denoted here by , and two currents of the gauged symmetry. The proportionality coefficient is a positive number which will not play a role for us (and can be easily fixed by computing it for simple Lagrangians). The reason this expression can be derived is because the superconformal R-symmetry is in the same multiplet as the stress-energy tensor. In particular, if is positive the gauging is UV free, if is negative the gauging is IR free, and if the gauging is marginal. Note that this way of determining relevance of a gauging does not rely on a description of the theory in terms of weakly coupled fields and thus will turn out to be useful also for strongly coupled SCFTs. Note also that the marginality of gauging is determined by whether the superconformal R-symmetry at the fixed point is anomalous or not: that is whether it is consistent with the gauging. This is very analogous to marginality of superpotentials: marginal superpotentials do not break R-symmetry.
Finally, we need to determine whether the marginal deformations we discussed are exactly marginal, marginally irrelevant, or marginally relevant. In fact for supersymmetric theories with supersymmetry preserving deformations the last option is not possible. The reason is as follows Green:2010da . When deforming a theory by a supersymmetric marginal operator, in order for the deformation to cease being marginal its dimension needs to change after the RG-flow. However, such deformations are chiral and as such form shortened, protected, representations of the superconformal symmetry group. The only way for such a deformation to cease being marginal is for it to recombine during the flow with another shortened multiplet to form a long multiplet. Studying the representation theory of the superconformal group it is possible to show that the only multiplet with which the marginal deformations can recombine are conserved currents Beem:2012yn , see Appendix A. The primaries of the resulting long multiplet have dimensions which must be larger than three. As such, after such a recombination the dimension of the marginal deformation, which was since it was the chiral primary of the short multiplet, must increase and thus it is marginally irrelevant. This implies in particular that there are no supersymmetric marginally relevant deformations. Another simple implication of this logic is that if a deformation does not break any symmetry it is exactly marginal. See Figure 7 for a depiction of exactly marginal, marginally irrelevant, and relevant deformations. Also, see Figure 8 for interesting cases of RG-flows.

A careful analysis of the above logic Green:2010da (see also Kol:2002zt ) leads to the following conclusion. Given an SCFT with a space of marginal operators and couplings , the set of exactly marginal deformations is given by the following Kahler quotient,
(25) |
where is the global symmetry of the SCFT and is its complexification. When the marginal deformations involve also gauge couplings of some gauge group, we need to include in also the symmetries which exist before the gauging but are anomalous once the gauging is introduced. The coupling which transforms well under the anomalous symmetry is with being the complexified gauge coupling. Note that in the exponentiation we took with the positive sign.999Usually in computations of Kahler quotients both signs are allowed. However, here taking the negative sign might lead to solutions with imaginary YM coupling. Formally in perturbation theory this would give a line of exactly marginal non-unitary SCFTs (See for similar effects e.g. Gorbenko:2018ncu ). However it is not clear whether this would make sense non perturbatively. In some cases, e.g AGT correspondence Alday:2009aq ; Gaiotto:2014bja or 5d gauge theories Aharony:1997ju ; Bergman:2013aca (where gauge coupling is related to real mass for instanton symmetry), going to lower half plane for is allowed but it is interpreted as going to infinite coupling (and “beyond”) where the gauge theory description breaks down. In our analysis we are dealing with weakly coupled gauge fields and thus will restrict to upper half-plane for . We thank Z. Komargodski for discussions of this subtlety. This procedure is very abstract and has again the advantage that it does not rely on having a description of a theory in terms of weakly coupled fields. One way to compute this quotient is to list all the invariant independent combinations of the couplings: though often this is practically hard to do. We refer the reader to Razamat:2020pra for a detailed analysis of such quotients in many examples as well as a discussion of how to approach the problem in a general case.
Example 1: SQCD with flavors
First, a free R-symmetry assignment to all the matter fields is non anomalous,
(26) |
Thus, according to the previous exercise it is also the superconformal one. Moreover, since this is also the superconformal R-symmetry of the free collection of chiral fields before gauging, the gauging is marginal. Since the superconformal R-charges at the free UV fixed point is we can turn on marginal superpotentials using chiral operators with R-charge which are built from cubic combinations of the basic fields. However, for no such operators exist. For the operators and are singlets under the gauged symmetry: these are the baryons and the anti-baryons. The analysis thus is different for and . We start with the former.
The symmetry of the free fixed point is . We choose subgroup which we gauge. The commutant of in is . The Kahler quotient we need to compute is thus,
(27) |
The gauge coupling is not charged under the non-anomalous symmetry, but transforms under the anomalous symmetry. Thus this quotient is empty and there are no exactly marginal deformations. The gauge coupling is marginally irrelevant and the theory is free.

Next we analyze the case of where we have additional marginal operators and . These transform in and under which we parametrize as , where is the symmetry under which both quarks and anti-quarks have charge while is the baryonic symmetry under which they are oppositely charged (that is with charges ). The representation is the three index completely antisymmetric irrep of . The gauge coupling transforms as . The charge of the gauge coupling , or rather of , is given by the ’t Hooft anomaly . In this case it is . Note that the baryonic couplings have charge as all the matter fields have charge . In particular this implies that we always can solve for the quotient with the anomalous . Thus the quotient we need to compute is,
(28) |
One way to construct the quotient is by finding all the independent monomial holomorphic combinations of the couplings invariant under the symmetries. In general this is a well defined group theoretic question which is nevertheless tricky to solve.
A way to proceed is to find a deformation which is exactly marginal. Understand what symmetry it breaks. Deform the theory by this deformation and repeat the process. In the given case a simple deformation which was found by Leigh and Strassler Leigh:1995ep (See Appendix B.) in the seminal paper on conformal manifolds is,
(29) |
This deformation breaks and each is broken to . Note that under this breaking,
(30) | |||
Note that the components of the currents (the ) in representation recombine with the same components of the marginal operators (the ). Moreover the currents of the four s in the decomposition of to as well as the current of recombine with five out of the six singlets in the decomposition of the two s. We are thus left with marginal deformations in,
(31) |
with the singlet being the exactly marginal deformation. We thus deduce that there is one direction on the conformal manifold on which the symmetry is . Next we can turn on the marginal deformation . This will break down to diagonal . Note that under this decomposition,
(32) |
In particular the two recombine with two of the three currents leaving only symmetry and marginal operators in,
(33) |
Thus we have a two dimensional conformal manifold on which the symmetry is . Next we can break in the same manner using another triplet of symmetries down to diagonal . We will obtain a three dimensional conformal manifold with symmetry and marginal operators in,
(34) |
In lecture III we will have a geometric interpretation of this conformal manifold as corresponding to complex structure moduli of a sphere with six marked points. We can next continue exploring the conformal manifold by turning on operators in the . As from one can build two independent invariant (the fourth and the sixth symmetric powers contain singlets), each gives two exactly marginal directions on which the relevant is completely broken. All in all we obtain a seven dimensional conformal manifold on which all the symmetry is broken.
Instead of starting with (29) we can start with the following,
(35) |
Here we think of the nine quarks as forming representation of the subgroup of . The lower flavor indices in (35) are antisymmetrized as well as the gauge indices are. This superptential is exactly marginal. This can be understood either performing the LS analysis (all the fields have same anomalous dimensions but we have two couplings: gauge coupling and ), or performing the Kahler quotient. The two terms are charged oppositely under the symmetry and we note that,
(36) | |||
Moreover the characters of and are given by
(37) |
Using these observations we can conclude that (35) breaks the symmetry to where the abelian symmetries are the Cartan generators of the s broken by (35),101010This is very reminiscent of the deformation of SYM, see e.g. Lunin:2005jy .
(38) | |||
Here are fugacities for the Cartan of and are fugacities for the Cartan of . We can further break the rest of the symmetries. For example, the two can be broken together by turning on the three operators in and the can be broken first to the Cartan and then completely by turning on operators in .

Example 2: necklace quiver: Consider the quiver gauge theory of Figure 9. It is well known that this theory has exactly marginal deformations preserving supersymmetry (show it). Show that it also possesses an additional independent exactly marginal deformation preserving only supersymmetry.
The matter content is conformal, i.e. the one loop beta function vanishes, and thus all the fields have free R-charges. Let us start by discussing the symmetries of the theory. We have anomalous symmetries under which the adjoint fields have charge and all the other fields are not charged. We have symmetries under which has charge and charge with all the rest of the fields not charged. Finally we have symmetries under which fields and have charge , and charge while the other fields are not charged. The and symmetries are not anomalous. Let us consider the following superpotentials,
(39) |
Note that the couplings have charges encoded in fugacities as while have charges . Then dressed with appropriate power of is a singlet for each . These thus give us independent exactly marginal parameters preserving in fact supersymmetry. Along these directions the symmetries are broken to a diagonal combination. Note that as all of the couplings are charged under the anomalous symmetries with negative charge these can be taken care of by exponents of gauge couplings.
Above we turned on and couplings in pairs. Now consider turning on only couplings. Then the combination (dressed by appropriate power of all ) is also a singlet of all the symmetries. and thus turning on only gives us an exactly marginal deformation. Here also the symmetries are broken to a diagonal combination. This deformation is only supersymmetric. Note that turning on only couplings also is exactly marginal, but it is a combination of the above and the exactly marginal couplings.
Note that (39) is not the most general cubic superpotential we can write. Specifically, for , we can also add the terms , where we use the fully symmetric cubic invariant polynomial of to contract the gauge indices and form a gauge invariant. The couplings then have the charges . We can cancel the charges by dressing with appropriate powers of the gauge couplings, but we cannot cancel all the charges. As such, for generic , these operators are marginally irrelevant. However, for , we further have the baryonic superpotential , where we use the epsilon tensor to contract the indices to a singlet. The have the charges while have the charges . We then see that the combination of couplings is uncharged under and together with and the gauge couplings, can be used to form flavor symmetry singlets. Thus, we see that for there are additional exactly marginal deformations that preserve only supersymmetry.

Exercise: Dangerously irrelevant deformations – Consider the quiver theory of Figure 10. The circles inscribing an integer denote gauge groups. The squares inscribing an integer denote flavor groups. The lines denote bifundamental chiral superfields: fundamental representation of the group they point to and anti-fundamental of the group they emanate from. The theory has a superpotential denoted on the Figure. Note that the gauge group has fundamental fields and thus naively is IR free. By sequentially analyzing the flows starting with the fixed point of the SQCD with six flavors and turning on first the superpotentials, show that the gauging becomes asymptotically free.
We start with the SQCD with six flavors. This theory is asymptotically free,
(40) |
where we used the free assignment of R-charges. Assigning R-charge to all the chiral fields is anomaly free,
(41) |
and in fact this is the superconformal R-symmetry at the fixed point. We have one abelian symmetry which is non-anomalous under which the fundamentals and the antifundamentals have opposite charges. We thus define a trial -anomaly,
(42) |
and the maximum is at . Next we add the fields and couple them with superpotential as on the left of Figure 11. This interaction breaks some of the nonabelian symmetry. The R-charge of the superpotential at the UV fixed point is and thus it is relevant and the theory flows in the IR to a fixed point where there is a non-anomalous R-symmetry under which the R-charges of , and are still but that of is 1 (such that the R-charge of the superpotential is 2). We are still left with finding the superconformal R-symmetry at that IR fixed point. The theory has two non anomalous abelian symmetries so that the charges of the various fields are,
(43) |

We thus compute the trial anomaly depending on two parameters and corresponding to the two symmetries,
(44) | |||
Here in the first line we have the contribution of the vectors and and on the second line the charged matter fields. The charges of are fixed by the superpotential as stated above. We compute the maximum of to be at
approximately. Now we couple the second copy of the SQCD to the theory through a superpotential as on the right of Figure 11. The additional term in the superpotential at the new fixed point has R-charge
and thus it is relevant. The second copy of the SQCD adds another symmetry and we compute the new trial -anomaly to be,
(45) | |||
Here we used the fact that the superpotential identifies with . We find the maximum of to be at,
Finally we compute the beta function of the gauging at the new fixed point,
(46) |
Now as these are free fields we add at this point and
We thus deduce that the anomaly in (46) is
and thus at the new fixed point the gauging is asymptotically free although it has fundamental fields.
This conclusion holds under the assumption that no emergent abelian symmetries appear in neither step of the flow invalidating the -maximization argument. An indication that this assumption is wrong would be if some of the chiral operators violated the unitarity bounds at some of the steps. However, it is easy to verify that none do. For example the field has R-charge after step one (I), and R-charge after step two (II). The mesons and baryons have the following charges,
all of which are above the unitarity bound.
A famous example of dangerously irrelevant deformations is the case of SQCD with fundamental flavors and a chiral field in adjoint representation with superpotential . For the superpotential is irrelevant in the UV. However, first flowing with the gauge coupling and then turning on the superpotential it can be relevant with for a range of choices of and Kutasov:1995np ; Kutasov:1995ss .
2.4 Supersymmetric RG-flow invariants
We have discussed an invariant of RG flows which does not need supersymmetry, the anomaly polynomial. The supersymmetric flows have in fact many more RG-flow invariants. These invariants typically take a form of some version of the Witten index. Here we will discuss the simplest example of these, the supersymmetric index Kinney:2005ej .
Let us briefly review the general construction of a Witten index. Consider the situation that we have two supercharges and such that,
(48) |
with being a combination of bosonic charges. Now consider to be the subspace of the linear space of states of the theory with satisfying with . Now from (48) it follows,
(49) |
From here, since and are nilpotent it follows that any state in is a linear combination of a state annihilated by and a state annihilated by , a fact we denote as . The supercharges and are a one to one map and its inverse from to . From here it follows that the index defined as the following trace over the space of states of the system ,
(50) |
is independent of as only states in with vanishing contribute to it. Here are the charges under the Cartan generators of the dimensional maximal bosonic subgroup of the symmetry group commuting with and . Moreover, this index is invariant under continuous deformations of the theory, and in particular is invariant under the RG flow as long as the symmetries used to define it are preserved along the flow. Let us now discuss a concrete example of such an index.
Consider an SCFT. It possesses a superconformal algebra and in particular one of the commutation relations defining the algebra reads (see Appendix A)
(51) |
where are spinorial indices. We think of the space as being . is the operator whose eigenvalue is the scaling dimension , and which generates translations along . The operators are the generators of the isometry of . Finally, the ’s are supercharges and the ’s are their conformal counterparts, with being the superconformal R-symmetry. Now in radial quantization the hermitian conjugate of the supercharges are the supercharges, . We take , such that under the Cartan generators () of it has charges and has R-charge . The commutation relation above thus becomes,
(52) |
The operators which commute with and are in addition to , and the Cartan generators of any global symmetry the theory might have (which we denote by ). We then can define the superconformal index to be,
(53) |
By the general logic of the Witten index described above this index is invariant under continuous deformations of the theory preserving the superconformal algebra, that is, it is invariant on the conformal manifold as long as we use only fugacities preserved by the exactly marginal deformations.
On the other hand we also want a quantity which is an invariant of RG-flows. The above definition of the index relies on the superconformal symmetry which is broken once the RG-flow is initiated and thus we cannot use it verbatim. However, there is a simple redefinition of the setup which allows us to define the same index without relying on superconformal symmetry Festuccia:2011ws (See Tachikawa:2018sae Section 7.1 for a nice summary). Instead of thinking about the index as a counting problem we can compute it as a partition function on with supersymmetric boundary conditions along the . This is a curved background and analyzing carefully the supersymmetry algebra on it, one can find a supercharge which satisfies the commutation relation (52). The charge in this setup is a suitable combination of the R-symmetry and the translation along the . The construction needs to have an R-symmetry. The index defined in this way is sometimes called the supersymmetric index and its invariant under the RG-flow as long as we use the R-symmetry which is preserved by the deformations used to start the flow. This R-symmetry does not have to be the one which becomes superconformal at the fixed point. Nevertheless, if we choose the R-symmetry which coincides with the superconformal symmetry in the IR, the supersymmetric index computed this way in the UV coincides with the superconformal index of the IR fixed point. The index as an invariant of RG-flows was first discussed in Romelsberger:2005eg ; Dolan:2008qi .
The supersymmetric index captures a lot of very interesting RG-flow invariant information about the QFT. For example, let us understand in more detail what the index is counting. As the index is independent of the only states that actually contribute to it have . This implies that annihilates these states and thus by unitarity both and also annihilate it. States which are annihilated by some supercharges form short representations of the supersymmetry group. The number of the short multiplets of a given type might change during the RG flow. However this only can happen if a collection of short multiplets forms a collection of long ones, or if a long multiplet decomposes into short ones. The index is an invariant under such recombinations Kinney:2005ej . We can then think of the index at the fixed point as a sum over the representations of the superconformal symmetry group and representations of the global symmetry group denoted by ,
(54) |
with the integers giving the multiplicities of these representations. These multiplicities can change with the flow or when one moves on the conformal manifold but the index is such that one can reorganize this sum in terms of equivalence classes of representations: two representations are in the same equivalence class if they contribute to the index the same way, possibly up to a sign. This analysis was carefully performed in Beem:2012yn Section 3. The conclusion is that in each equivalence class there is a finite number of representations and one can decompose the index in terms of net degeneracy numbers where we now sum over the equivalence classes denoted by ,
(55) |
Although in general we can extract information from the index only about these net degeneracies, it so happens that if one thinks of the index in terms of an expansion in the and fugacities, at low order in the expansion the multiplets which can contribute are very simple. As we are making use of the superconformal symmetry group the statements below are only true if one uses the superconformal R-symmetry to compute the index and we assume that the theory does not contain free fields.
-
•
The only states that can contribute at order with are chiral operators of R-charge . As these are the relevant operators. Thus we can cleanly read off from the index the spectrum of relevant superpotential deformations.
-
•
The only states which can contribute at order are marginal operators, contributing with positive sign, and certain fermionic components from the conserved current multiplet, which contribute with a negative sign. Thus at this order we can extract the combination,
(56) In particular any negative contribution to the index at this order comes from conserved currents and has to be a part of the character of the adjoint representation of the global symmetry group. This is extremely useful to identify the symmetry of the IR fixed point. As we discussed this symmetry might be emergent and assuming we have identified the R-symmetry correctly the index computation can tell us reliably what that symmetry is.
We thus learn that the index provides us with a very non trivial probe about the deformations and the symmetry of the fixed point. As an aside comment, in fact the index also encodes some other non-trivial properties such as ‘t Hooft anomalies. To extract the anomalies one can send all of the fugacities, to and study the leading divergent behavior of the index in this limit Spiridonov:2012ww ; Aharony:2013dha ; Bobev:2015kza ; DiPietro:2014bca ; Ardehali:2015bla which turns out to neatly encode the ‘t Hooft anomalies of various symmetries. We know that the anomalies alone do not uniquely specify a CFT. The index is a rich observable however it also does not uniquely specify a theory, as for example different models on the same conformal manifold will have the same index.111111Theories differing solely by their higher form symmetries also might have the same index, say and SYM. However this difference can be captured by other types of partition functions, e.g. the Lens index Benini:2011nc ; Razamat:2013opa .
The discussion till now was very general but the technology of computing the index is rather simple. We will not derive it here and only quote the results. The details can be found e.g. in Rastelli:2016tbz ; Tachikawa:2018sae ; Gadde:2020yah . The technology consists of two main ingredients.
-
•
The index of a chiral field with R-charge and representation of is given by,
(57) Here is the character of the representation . In particular this can be neatly written in terms of the so called elliptic Gamma functions Dolan:2008qi ,
(58) Which can thus be interpreted as the index of a chiral field with R-charge zero and charge one under the symmetry.
-
•
Given an index of some SCFT with global symmetry we can compute the index of the theory with the symmetry gauged,
Here is the Weyl group measure of and we define . The contribution comes from the vector multiplets and is equivalent to one over the contribution of chiral superfield with R-charge zero in adjoint representation without the Cartan, .
The superpotentials only effect the index through the restrictions they impose on flavor symmetry and R-symmetry. This index can be computed with any R-symmetry but it becomes the superconformal index of the fixed point only if the superconformal R-symmetry is used.
Exercise: Consider the simplest QFT, two chiral superfields and coupled with the superpotential . Compute the supersymmetric index and interpret it.
First we need to determine the symmetries and the charges of the model. At the free point the two chiral fields can be rotated by but the superpotential breaks it to under which the two fields have an opposite charge. We chose to normalize the charges to be . The R-symmetry of the superpotential is and thus the sum of the R-charges of the two fields is . We then use the first entry in the technology of computing the index above to write the index of the system to be,
(60) |
The last equality is derived by direct evaluation using the definition of the elliptic Gamma function (58). Let us try to interpret the result. The fact that the index is means that only the identity operator corresponding to the vacuum contributes to it and there are no other protected operators (or to be more precise the spectrum of operators is such that all protected ones can recombine into long ones). The theory is massive and thus it is gapped and in the IR we will not have any propagating degrees of freedom. The theory has a single state, the vacuum, and thus the index is consistent with this. Note that this is a trivial example where the UV symmetry does not act faithfully in the IR. For this reason it is also not important what the superconformal R-symmetry is. In particular the trial a-anomaly is identically zero,
(61) |
This is a trivial example, however in the more interesting cases the computations are not much more complicated and the physics can be extracted in a similar manner.
We are now ready to study interesting physical systems using the simple toolkit of non-perturbative techniques we have reviewed.
3 Lecture II: Examples of strong coupling dynamics
Let us start our discussion of the dynamics of supersymmetric field theories with several examples of interesting strongly coupled behavior. We will review the phenomenon of IR duality, discuss the interplay between duality and emergence of symmetry in the IR, and discuss a simple algorithm to look for different weakly coupled theories residing conjecturally on the same conformal manifold. The purpose of this lecture is to introduce various possible physical scenarios and effects. In later lectures we will discuss a way to more systematically discuss such effects using geometric constructions.
3.1 IR dualities
Let us consider some of the basic examples of IR dualities discovered by Seiberg Seiberg:1994pq . First, let us consider gauge theories (SQCD) with fundamental chiral fields and antifundamental ones: this is referred to as the theory having flavors. The matter content is non-anomalous for any . For we should worry about cubic anomalies , which vanishes because the matter representation is real. For there is no difference between fundamentals and antifundamentals but we have to have an even number of these so that the theory will be free of a Witten anomaly Witten:1982fp . For ( for ) the theory is IR free and thus we need to worry about UV completing the theory, as the couplings grow when we flow back to the UV. For ( for ) these models are asymptotically free and thus can be thought of as deformations of Gaussian fixed points in the UV. The beta function is such that when flowing to the IR the gauge coupling grows and we are interested in understanding what is the effective description in the IR. We will be in particular interested in the case of as here the dynamics turn out to be rather interesting. Here is the basic statement.
-
•
For SQCD with flavors, and , and no superpotential flows to an interacting SCFT in the IR. Moreover, the SQCD with flavors, and , and gauge singlet chiral fields, , with a superpotential , flows to exactly the same fixed point. The phenomenon of two different UV theories flowing to the same IR fixed point is called IR duality. See Figure 12 on the left for an illustration. This range of parameters is called the conformal window.
-
•
For SQCD with flavors, and , and no superpotential flows to an IR free theory. The effective description in the IR is that of SQCD with flavors, and , and gauge singlet chiral fields, , with a superpotential . Note that the latter theory satisfies in the given range of parameters and thus the theory is IR free. In other words the SQCD is UV completed here by the SQCD. See Figure 12 on the right for an illustration. In addition, see Figure 13 for a quiver description of Seiberg duality.

Let us discuss some evidence for these statements. First, one can check the ‘t Hooft anomalies of the various symmetries: in the first case of the two different UV theories and in the second case of the weakly coupled theories in the UV and in the IR. We leave this as a simple exercise. Second, one can check that the supersymmetric indices of the relevant theories agree. In fact, there is a mathematical proof due to Rains that they do MR2630038 . The proof is rather non trivial so let us here quote a simple computation for the simplest duality, SQCD with dual to a WZ model (See Figure 14). Following the general rules we have outlined the duality implies the following identity of indices,
(62) |
On the left we have the index of SQCD. The numerator comes from the six fundamental fields which have anomaly free R-charge of . The symmetry is and parametrize the Cartan of this symmetry, . The denominator comes from the vector superfield. The in the integral is a shorthand notation for the following, . On the right hand side we have a WZ model with chiral fields with R-charge which are coupled with a cubic superpotential. The SQCD with flows in the IR to a WZ model of chiral fields with cubic superpotential, which flows to a free theory. The identity above was originally obtained by S. Spiridonov MR1846786 and dubbed elliptic Beta function as in certain degeneration limits of parameters it becomes the well known Beta function integral identity.

Next consider a duality in the conformal window, SQCD with dual to SQCD with and a collection of chiral fields. The index of the two dual theories is,
(63) | |||
Here the superconformal R-charge on both sides is for all the fundamental chiral superfields. The symmetry on the left is parametrized by , . On the right the symmetry in the UV is . The is paramterized by . The two ’s are parametrized by and . Note that is a subgroup of and thus if this duality is correct the symmetry has to enhance to in the IR. This is a simple example of emergence of symmetry. As we have discussed the supersymmetric relevant operators are invariant under RG flows and thus have to match across the duality. Indeed the operatots match with , match with , and match with .

Exercise: Compute the index of the SQCD up to order using the superconformal R-symmetry. What is the representation of the marginal operators under the global symmetry? This theory is extremely interesting. In fact it has (at least) different dual descriptions Spiridonov:2008zr : (The number is interesting: it is the ratio of the dimension of the Weyl group of and . There is an lurking behind this theory. To see it one needs to do some work Dimofte:2012pd (See also Razamat:2017hda ).) the two Seiberg dual theories here are just out of the different duality frames. Can you find another ?
We can use the integral expressions for the index above to compute the contribution at order ,
(64) |
Here irrep of appears in decomposition of . The is the representation of and the marginal operators come from . We note in passing that is a maximal subgroup of with . The above can be written as,
(65) |
The is not however a symmetry of the theory in the IR, the comes from trace relations and not from a conserved current. We see that is lurking under the surface, and in the last lecture we will see some geometric importance of this.121212There is an interesting interplay between kinematic constraints, more generally chiral ring relations, and enhanced symmetries which we will not review here Razamat:2018gbu . The positive contributions are the marginal operators and the negative are the conserved currents. Note that we can here identify the positive and the negative contributions as these have to be characters of representations of . Note also that there is no direction on the conformal manifold preserving the full symmetry as the marginal operators lack a singlet of this group.
Regarding the second part of the question: note that to construct the dual theory we need to split the eight fundamentals into fundamentals and anti-fundamentals, which is an arbitrary procedure for . We thus have different ways to do so. This immediately gives us in-equivalent possibilities of Seiberg duality. There are in fact another dualities which were discussed in Intriligator:1995ne ; Csaki:1997cu .
The SQCD with various amounts of flavors are probably the simplest supersymmetric gauge theories and already these exhibit extremely rich dynamics. We will now analyze yet another interesting strong coupling effect that can be derived starting from SQCD with Razamat:2017wsk .
3.2 Emergence of symmetry in the IR
Let us consider SQCD with . We split the eight chiral fields into six () and two (). We also introduce gauge invariant operators coupling through a superpotential as,
(66) |
Note that this superpotential is relevant as at the SQCD fixed point the R-charge of the quarks is and the R-charge of the gauge singlets, which are free fields at the fixed point, is . The quiver theory is depicted in Figure 15 and charges of the various fields under the symmetries of the model are detailed in the table below. The gauge singlet fields and the superpotential break the symmetry of the model from down to . We will show eventually that this symmetry enhances to . We also note that is not a subgroup of .

Field | |||||
---|---|---|---|---|---|
In the table is the superconformal R-symmetry obtained by -maximization Intriligator:2003jj and the conformal anomalies are . Note that the operator has superconformal R-symmetry and thus is a free field in the IR. This means that in particular we have an emergent symmetry under which this field, and only it, is charged. Emergence of abelian symmetries might invalidate the -maximization, however this is not the case here. The operator does not violate the bound but rather saturates it and thus following a version of one of the previous exercises taking into account the emergent symmetry will not violate the conclusion. We are interested however only in the interacting part of the IR SCFT and thus we can remove the free field simply by “flipping” it Barnes:2004jj (See also Benvenuti:2017lle .). The operation of flipping Dimofte:2011ju an operator is preformed by introducing a chiral field and turning on a superpotential
In our case since is a free field the flipping is just a mass term for , both and become massive and decouple in the IR. Using this superconformal R-symmetry we compute the index after introducing (see Figure 16),
(67) |
The bold-face numbers are representations of as we will elaborate momentarily, and is the fugacity for . We remind the reader that the power of is half the R-charge for scalar operators and we observe that all the operators are above the unitarity bound. Let us count some of the operators contributing to the index. The relevant operators of the model are and which comprise the and of , which gives of . We also have , a singlet of non abelian symmetries. At order , as we have discussed, assuming the theory flows to an interacting conformal fixed point, the index gets contributions only from marginal operators minus conserved currents for global symmetries. The operators contributing at order are gaugino bilinear (), (), (): these operators give the contribution,
which gives the conserved currents for the symmetry we see in the Lagrangian. Here is the complex conjugate Weyl fermion in the chiral multiplet of the scalar . We also have operators , , , and , which cancel out in the computation since the first two are fermionic while the second two are bosonic, but are both in the same representation of the flavor symmetry pairwise. Finally we have () and (). These two contribute
to the index, which, combined with the above, forms the character of the adjoint representation of the symmetry. We emphasize that the fact we see at order of the index is a proof following from representation theory of the superconformal algebra that the symmetry of the theory enhances to , where the only assumption is that the theory flows to an interacting fixed point. We also observe that the conformal manifold here is a point as we do not have any positive contributions to the index. As the index at order has positive contributions from marginal operators and negative from conserved currents, cancellations can occur. However, this would imply that the symmetry of the IR fixed point is even bigger: adding marginal operators we have to add also currents. We cannot rule out this possibility but we have no evidence for its existence. So, under the assumption that we have identified the IR symmetry correctly the conformal manifold is a point.

The enhancement of symmetry to follows from Seiberg duality of SQCD with . Note that we can reorganize the gauge charged matter into two groups of four chiral fields. We take four out of the six s and call them fundamentals and combine the other two with and call those anti-fundamentals. This also decomposes the symmetry to with a combination of and being the baryonic symmetry, see Figure 17. IR duality Seiberg:1994pq without the gauge singlet fields will then map the baryonic symmetry to itself while conjugating the two symmetries and adding sixteen gauge singlet mesonic operators. With our choice of gauge singlet fields, the flipper fields of 17 are flipping eight of the baryons and the bifundamental gauge invariant operators form half of the mesons. Thus, the duality removes half of the mesons which connect with and attaches the other half between the and the other . This transformation acts only on the symmetry leaving the quiver structurally unchanged. The action on the symmetry is as the Weyl transformation which enhances symmetry to . Note that in general dualities take two different UV theories to the same conformal manifold in the IR, but here as the conformal manifold is a point they actually are part of the symmetry group of the IR theory.
This is an example of a generic phenomenon of the interplay between symmetry and duality which we will encounter in several guises in what follows. In the last lecture we will have a geometric explanation of the enhancement of the symmetry to in this example.

3.3 Conformal dualities
Next, we consider yet another interesting strong coupling phenomenon, which however does not involve an RG-flow. We want to consider the case when a given SCFT resides on a non trivial conformal manifold. We assume that there is an interesting/useful definition of this particular point of the conformal manifold. The conformal manifold is then spanned by exactly marginal deformations at . One thing that can happen, and often does happen, is that there is another locus of the conformal manifold, , where we have a completely different description of the theory. The theory then can be thought of as an exactly marginal deformation of , and vice versa. This multitude of descriptions is called a conformal duality. A prototypical example is SYM with gauge group which has preserving one dimensional conformal manifold parameterized by complexified gauge coupling . At strong coupling a dual weakly coupled description emerges in terms of SYM, but now with a Langlands dual gauge group Kapustin:2006pk (for the dual is ). In general, such a duality might relate two weakly coupled gauge theories as in the case of SYM, a weakly coupled gauge theory and a strongly coupled one defined in a certain way (say geometrically), or two strongly coupled theories which have certain independent definition (see Figure 18).
Here we will be interested in addressing the following question Razamat:2019vfd . Given a conformal theory with conformal manifold we can define certain observables of which are invariant on . For example, we have already discussed that the ‘t Hooft anomalies of symmetries preserved on the conformal manifold are such an invariant, and for supersymmetric theories also the and anomalies, and various indices are invariant.131313For non supersymmetric theories as there is no relation between ‘t Hooft and conformal anomalies and the anomaly in principle can change on the conformal manifold Nakayama:2017oye (see also Schwimmer:2010za ). In particular the dimension of the conformal manifold and the symmetry preserved on a generic locus of the conformal manifold , are such invariants. Now, given and the set of its invariants we can systematically seek for a dual conformal gauge theory which might reside on the same conformal manifold. Such a theory might or might not exist; however, if it does exist the properties of this model are severely constrained. First, we look at the conformal anomalies of , which are a part of the invariant information, and define,
(68) |
Here we define the contribution to the conformal anomalies of free vector and free chiral fields as and . The anomalies of the free chiral field are computed assigning to it R-charge . The numbers and are the effective number of vectors and chirals that the theory has. The and anomalies are two independent numbers which we can parametrize uniquely by the two independent numbers and .

The putative dual conformal gauge theory should have the same number of vector and chiral fields as we assume it is a weakly coupled conformal deformation of a free theory. If and determine these numbers to be non-integer, a conformal dual gauge theory cannot exist. Also, must be the sum of dimensions of non-abelian gauge groups, which is quite restrictive for small . Next, we search all the conformal gauge theories with the given vectors and chiral fields for models such that all the gauge couplings have vanishing one loop functions. The number of possibilities to search through is finite and thus we will find a finite number of models which satisfy this constraint. Next, we should verify that these models have a conformal manifold and that its dimension, , and symmetry on a generic locus, , match the ones of . The computation of the dimension and the symmetries is most efficiently done by listing all the marginal operators at the free point, determining the symmetry at the free point , and then computing the Kahler quotient Green:2010da as we have discussed. Note that in principle we need to include in this counting gauge couplings and anomalous symmetries. Although these typically cancel each other in the quotient for quiver theories some care needs to be taken when analyzing such cancellations. Finally, we should match all the remaining invariant information which includes at least ’t Hooft anomalies for and the protected spectrum. If a model satisfying all these is found it is a candidate for a dual description. We stress that this very systematic algorithm is not guaranteed to produce a dual theory, as such a conformal gauge theory might simply not exist, but if it does exist the algorithm will find it.
We will now discuss in detail the simplest application of this algorithm to produce a duality between two weakly coupled conformal gauge theories Razamat:2019vfd . Let us consider SQCD with gauge group , three fundamentals () , and one chiral field in the , (see Figure 19). The appears in . The one loop gauge beta function of this model vanishes implying that the superconformal R-charges of all the chiral fields are ,
(69) |
Here is the Dynkin index of the adjoint representation coming from the gauginos, is the Dynkin index of the fundamental representation coming from the ’s, and is the Dynkin index of and coming from .
The non-anomalous symmetry at the free point is . The fundamentals are a triplet of and have charge and the charge , giving a vanishing mixed anomaly
(70) |
This theory has a number of marginal operators. Note that the has an antisymmetric cubic invariant using which we can build a marginal superpotential. Since we have three fundamental fields this gives rise to one such term, , which is a singlet of and has charge . The has two independent symmetric cubic invariants giving rise to two marginal operators, we denote them as and , which are singlets of and have charge . Finally we can build marginal operators as , which have charge and are in the of . This theory has one gauge coupling and an anomalous symmetry under which all the fields can be chosen to have the same positive charge. Thus all the marginal operators will have a positive charge, implying that the associated coupling all have negative charge. However, the gauge coupling carry have positive charge. Thus, in computations of the conformal manifold, we can always account for the anomalous symmetry by an appropriate factor involving the gauge coupling and we will not discuss this further.

We can now compute the dimension of the conformal manifold Green:2010da by computing the Kahler quotient generated by the marginal couplings. Just considering , , , and the gauge coupling we can build two independent singlets giving rise to two exactly marginal directions. This comes about as all these couplings are singlets of and we have marginal couplings of both signs under the .
We can build one independent singlet of from the marginal coupling of which gives rise to an additional exactly marginal coupling. This coupling is a symmetric two index matrix of with the determinant being the invariant. We thus deduce that the theory is conformal and has a three dimensional manifold of exactly marginal couplings. Note that the symmetry is broken by all the exactly marginal deformations while is preserved by the first two ones. The last deformation breaks down to which is the symmetry preserved at a generic point of the conformal manifold. One way to see that preserves an is as follows. We imbed in such that and thus . On the other hand the conserved current of decomposes as . Thus, the part of the conserved current recombines with the marginal operators leaving a one dimensional invariant of the .
Finally let us mention that the conformal anomalies of this model are,
(71) |
Let us seek a conformal dual of this theory. We are after a theory with vectors and chirals. Besides we can have vector multiplets also from two gauge groups and one group, and this is the only possibility. Now we need to make sure the one loop beta function of each gauge group vanishes and that the total number of chiral fields is . One can accomplish this and the result is depicted in Figure 20. Here the fields and are in the and representations of . By construction the conformal anomalies of this model agree with the SQCD. Let us mention that this choice of matter content is not the only one which satisfies matching the anomalies and vanishing beta functions, for example orienting differently some of the arrows will do this but will give an inequivalent model. However, we claim as will be discussed below, that the quiver in Figure 20 is the dual to the SQCD.

Let us now analyze the symmetries and the conformal manifold. The theory at the free point has symmetry . The charges of the bifundamentals between the two ’s, , are , between the s and the , and , , and of and are respectively. The charges are fixed by the demand that the symmetries are not anomalous with respect to the three gauge groups. Let us also discuss the anomalous symmetries. We have three such symmetries which we denote by . Under and the fields have charge while has charge for the former/latter. Uner the fields have charge while and have charge . The fields in the symmetric representation are not charged under these symmetries. Note then that the gauge coupling of the on the left of Figure 20 only transforms under . Similarly the gauge coupling of the on the right transforms only under , and the gauge coupling transforms only under . The gauge couplings are charged positively under the anomalous symmetries.
There are three types of marginal operators. First one, , corresponds to the triangles in the quiver and these are in the representation . Second ones, , correspond to the cubic invariants of the symmetric and conjugate symmetric which have charges . The third ones, , are the (conjugate) symmetric times the square of the bifundamentals between and the two s with charges . Under all three anomalous symmetries the couplings have charge and the couplings are not charged. The couplings are charge under , under and under .
Let us first consider turning on only marginal deformations and . These couplings are singlets under the non-abelian symmetries. Under the non-anomalous symmetries the following two independent combinations of the couplings are not charged, and . Considering the anomalous symmetries the combination is charged only under negatively and thus this can be offset by an appropriate power of the exponent of the gauge coupling of the gauge group. We thus have a one dimensional conformal manifold on which only gauge coupling is non vanishing and and are turned on. These deformations break all the non-anomalous abelian symmetries as well as and an off-diagonal combinations of and . Along this direction the non-abelian symmetry is preserved.
We can build two additional exactly marginal operator using the deformation . This will break all the symmetry but the diagonal combination of the two s and in . This comes about again as the decomposition of the representation of the marginal operator is and the decomposition of the conserved currents is . Two of the three and the recombine with the relevant components of the marginal operators leaving behind a single singlet of . We have broken all the abelian symmetries but the diagonal combination of the anomalous symmetries and by turning on and and the gauge coupling. Under this diagonal combination has a negative charge which can be offset by appropriate powers of the exponents of one of the two gauge couplings giving two additional exactly marginal deformation.
All in all, as above we get a three dimensional conformal manifold with symmetry preserved on a general locus. Note that both duality frames have loci with enhanced symmetry which are however different. This is not a contradiction of the duality as the two do not have to intersect.
The only anomalies we need to match are the ones for symmetries on general points of the conformal manifold. As we already matched the conformal anomalies, which implies matching of R-symmetry anomalies, the only anomaly left is . In the model the is imbedded in and we have one triplet in fundamental of this gives us then
On the quiver side the is the diagonal of the two s in the quiver and . This gives us
We see that this anomaly precisely matches.
Finally we can match the supersymmetric indices. Following the general technology of computing the index detailed above, the index computed at the free point of the theory is,
The fugaicty is the fugacity for the . To compute the index we need the characters of various representations of and for completeness we give them here,
(72) | |||
The index at the free point of the quiver theory is,
(73) | |||
Here and are the fugacities for the two non-anomalous s. Note that specializing to symmetries preserved on a generic locus of the conformal manifold, that is and for and for the quiver, the two indices precisely agree,
(74) |
This can be checked to rather high order in the expansion in terms of the fugacities. We thus have compelling evidence that in fact the two models are conformally dual to each other. That is there should be a map between the conformal manifolds of the two models which will describe equivalent theories. The manifold has at least two cusps at which one of the two models is weakly coupled. We need to stress here that apriori matching the indices to any finite order in expansion in fugacities does not constitute a proof of matching the indices precisely. There is a plethora of examples, see e.g. Mekareeya:2017jgc ; Distler:2020tub ,141414A simple example is SYM with large but finite value of where the indices to high order in expansion are independent of . where the indices of two theories match to arbitrary high order but the theories are different. There is always a need for more checks and the evidence we bring does not constitute a proof.
An additional simple check of the duality one can perform is to study RG-flows triggered by vacuum expectation values. We can only compare flows which exist on a generic point of the conformal manifold. One such flow is giving a vacuum expectation value to one of the on the side. On the dual side, matching the charges of various operators, this corresponds to giving a vev to one of the three bifundamentals between the two ’s. Let us first analyze the flow in the latter frame. Giving the vev locks the two gauge groups together, and gives a mass to the remaining bifundamentals between the two ’s and to two out of the four bifundamentals between the ’s and the . The remaining two acquire R-charge . The theory in the IR is an gauge theory with two bifundamentals and the symmetric and conjugate symmetric for the . The gauge node has three flavors and thus flows in the IR to a Wess-Zumino model with gauge singlet fields Seiberg:1994pq . The R-charge of these fields is and in terms of the representations are . Thus in the end we get a conformal theory which consists of a single decoupled chiral field and gauge theory with one fundamental and one symmetric hypermultiplet. On the side giving a vev to one of the s breaks the gauge group down to . The remaining two s get a mass and the decomposes under the remaining gauge symmetry as . Thus in the end we get manifestly the same model as in the dual frame. This is a direct check of the proposed duality.
In the following lectures we will see additional examples of such conformal dualities. Those examples will have a simple geometrical explanation, though for the duality presented here no such interpretation exists at the moment.
3.4 Exercise: Lagrangian dual of a class theory
Exercise: Given an SCFT in 4d with and , supersymmetric relevant deformations, and dimensional conformal manifold on a generic locus of which there are no global (non-) symmetries, find a candidate conformal Lagrangian description. (In class Gaiotto:2009we ; Gaiotto:2009hg these are the properties of an theory corresponding to a sphere with three maximal and one minimal punctures. See Appendix D.)

The conformal anomalies are such that and . The only choice of gauge group which gives is . Then going over possible matter content such that and the one loop gauge beta functions vanish a candidate quiver theory is depicted in Figure 21. Let us count the supersymmetric relevant deformations. As the theory is free the relevant deformations are the ones given by quadratic gauge singlets,
(75) | |||
Here are representations/charges under the global symmetry of the free theory, . Note that the total number of relevant operators is as needed.
Next, we write the most general marginal superpotential,
(76) |
We then list the representations under the global symmetry of the operators the couplings couple to (the couplings are in the conjugate representations),
(77) |
We also have two symmetries and , which are anomalous under the corresponding gauge symmetries. We define the charges under these as,
(78) | |||
First, assuming the symmetry is completely broken on the conformal manifold, the dimension is given by the number of marginal operators minus the number of currents,
(79) |
which is the needed dimension of the conformal manifold. Let us now compute the Kahler quotient
First,
(81) |
has charge zero under all the non-anomalous abelian symmetries and under . Under it has a negative charge and thus dressing this with appropriate power of this charge can be offset to be zero. Moreover is a singlet of all the non-abelian symmetries also. This follows from the fact that involves only couplings which are singlets of ; the symmetric square of adjoint of contains a singlet; the sixth symmetric power of of contains a singlet. Thus we establish that the Kahler quotient is not empty and the theory is a non trivial SCFT. Along this direction the gauge coupling is zero. What is the symmetry preserved by the gauge couplings and ? All the non-anomalous abelian symmetries and the are broken as the couplings are charged under all of them. The symmetry is preserved. The Cartan of the is preserved as the only deformation charged under the is a single adjoint. Finally, the symmetry is broken to such that . In particular the decompose to and adjoint to and thus of the marginal operators recombines with the same representation of the conserved currents and we are left with a singlet of . All in all we have one dimensional conformal manifold the marginal operators are in representations,
(82) |
and in addition we have gauge coupling. Here we write representations/charges in terms of the preserved subgroup of the global symmetry, with the being the Cartan of the at the origin of the conformal manifold.
We have gauge coupling for the left as well as the deformations and . We can build an invariant under taking the baryonic combinations which are in the adjoint of the . As has opposite charge under anomalous symmetry to the gauge coupling we then can build an invariant (dressed with a proper factor of gauge coupling) under all symmetries. This deformation will break the anomalous symmetry , the remaining Cartan of the symmetry, as well as the two non abelian symmetries and . The couplings will be exactly marginal. We thus are left with conformal manifold of dimension with all the symmetry broken on a generic locus. This completes the solution of the exercise.
The algorithm detailed here for the search of conformal dualities can be generalized to search for non-conformal dualities involving flows, as long as we can assume that the spectrum of R-charges is constraints. For examples of such generalizations see Zafrir:2019hps ; Zafrir:2020epd where a variant of the algorithm was applied to find IR duals of an Minahan-Nemeschansky model Minahan:1996fg and of some theories.
4 Lecture III: Across dimensional dualities, an example
In the previous lecture we have discussed several scattered observations about IR physics of simple gauge theories. The question we want to ask now is whether this scattered plethora of facts has any interesting organizing principle. We will show that such an underpinning can be found by thinking about 4d QFTs geometrically. The logic is as follows.
One can consider discussing higher dimensional SCFTs. Following the notorious theorem of Nahm Nahm:1977tg (see also Minwalla:1997ka ) the maximal number of dimensions in which an interacting superconformal theory can reside is six dimensions. In higher dimensions a superconformal algebra (with no higher spin currents) just does not mathematically exist. There are two types of superconformal algebras in 6d, and , differing by the amount of supersymmetry: the former one having real supercharges and the latter real supercharges. The SCFTs are conjectured to be classified by an ADE algebra. type theories can be engineered for example as the low energy effective theory residing on M5 branes in M-theory constructions. On the other hand there is a quite huge plethora of SCFTs. Here also there are various classification approaches Heckman:2015bfa ; Bhardwaj:2015xxa (See Heckman:2018jxk for a recent review.). One important fact about the 6d SCFTs is that all of these are strongly coupled. In particular, due to dimensional analysis the gauge couplings and all superpotential interactions in 6d are irrelevant; thus, gauge theories flow to free theories in 6d. Phrasing this more abstractly, 6d SCFTs do not possess any Lorentz preserving supersymmetric relevant or exactly marginal deformations Cordova:2016xhm .

As we are interested here in SCFTs in 4d we can then start from some given 6d theory (with the being just a more supersymmetric special case) and place it on a compact two dimensional space. Such compact spaces are called Riemann surfaces and are classified by their genus . We will also allow to decorate the surfaces with marked points (which will have certain physical meaning in terms of either defects or boundary conditions). Although such a space is curved for and thus breaks supersymmetry, it is possible to perform the compactification with a certain twist, which we will soon review, such that half of the supersymmetry is preserved. Half of eight supercharges of will lead to four supercharges, see Appendix F. One way to think about the geometry is as a certain deformation of the 6d SCFT. In the IR, far below the energy scale set by the geometry, the theory becomes effectively four dimensional. Preserving four supercharges we will obtain an theory in four dimensions. This effective theory might be a strongly coupled SCFT, a theory of free chiral fields, a weakly coupled gauge theory, or a combination of these options.
An interesting question then is whether we can find a description of this effective theory directly in four dimensions. That is whether there is a four dimensional Lagrangian which either flows to this theory or directly describes the conformal fixed point. Such a geometric engineering of the four dimensional models produces a huge plethora of theories. Some of these theories have properties such that no four dimensional model is known to produce directly, and thus sometimes these are called non-Lagrangian. If a Lagrangian description is found one can think of the setup then as a novel type of an IR duality between a 6d theory deformed by geometry and a 4d Lagrangian theory, see Figure 22. One way to think about such a set of dualities is as map, a dictionary, between the set of 6d SCFTs and two dimensional geometries into the set of four dimensional supersymmetric quantum field theories,
(83) |
where collectively labels the geometry and the choice of the 6d starting point. The whole program can be of course imbedded in the larger structure of M-theory and there is a lot of benefit to be extracted from this, but we will concentrate on working within the paradigm of local quantum field theory. Our goal in the following two lectures will be to derive some entries in this dictionary and exemplify the utility of the procedure for understanding non trivial physics in four dimensions.
The fact that there is a geometry behind the construction leads to numerous very powerful understandings about the four dimensional physics: e.g, many of the dualities and emergence of symmetry phenomena of the type we have discussed can be explained, and in fact predicted, from such constructions. The prototypical example of the geometric constructions is compactifications of theories leading to theories in 4d. A lot has been understood about such models following the seminal work of Gaiotto Gaiotto:2009we . Here, however we will concentrate on some simple examples. Let us first consider the compactification of one of the simplest interacting 6d SCFTs, the so called minimal SCFT Seiberg:1996qx ; Bershadsky:1997sb (or non-higgsable cluster Morrison:2012np ). We will mainly follow the discussion in Razamat:2018gro .
4.1 Six dimensions
One way to construct an SCFT in six dimensions is as follows. We consider a gauge theory, which as we mentioned is necessarily IR free. Without going into many details (see Appendix E and the review Heckman:2018jxk for more details), a generic such theory can be built from three types of multiplets: a vector multiplet, a tensor multiplet, and a hyper-multiplet. We will not need the hypermultiplets for our discussion but let us mention that the vector multiplet contains of course a gauge field and a fermion: in terms of representations of the little group these massless states are in and , while the tensor multiplet contains a tensor field (in irrep which is a two-form with self-dual field strength), a fermion (in irrep ), and importantly a scalar (in irrep of course). The scalar in the tensor multiplet can be naturally coupled to the field strength (schematically),
(84) |
and thus the gauge coupling in six dimensions can be thought of as an expectation value of the scalar field residing in the tensor multiplet, . In particular one can ask what happens if this vev is set to zero. In certain cases it is believed that the theory one obtains is a strongly coupled CFT. Conversely, a strongly coupled SCFT might contain a moduli space of vacua, called the tensor branch, on which certain scalar operators acquire a vev and the effective description in the IR is in terms of an IR free gauge theory consisting of vector multiplets, tensors, and maybe hypermultiplets. This is very reminiscent of the dynamics in four dimensions. There an vector multiplet contains a scalar (which in terms of language corresponds to an adjoint scalar in an chiral superfield in the vector superfield), and giving a vev to this scalar we move on the Coulomb branch of the theory on which typically the description is in terms of abelian, IR free, gauge theories. Switching off the vev would take us back to the SCFT point.
The effective gauge theory description on the tensor branch is constrained to be non-anomalous. As the vector multiplet contains fermions, for example, just taking vectors usually leads an anomalous theory. However, the theory with a vector and a tensor in some cases can be made to be non anomalous. This comes about as naturally due to supersymmetry the term of the form (84) is accompanied by,
(85) |
with being some real constant. Such a term actually contributes to the eight-form anomaly polynomial of the 6d theory due to the Green-Schwarz mechanism Green:1984sg ; Green:1984bx a term of the form (see Appendix E for more details)
(86) |
and this can be used to cancel the term of a similar structure coming from the vector multiplet.
Now let us then consider a gauge theory in 6d with a simple gauge group and a tensor multiplet. The contribution to the eight form anomaly polynomial with four field strengths can come in two different forms,
(87) |
with the difference being different contractions of the indices. Specifically, the second term contracts the indices using the Cartan form squared, while the first terms uses the quartic Casimir, which is a completely symmetric invariant polynomial of order four. For most groups, the two terms are independent, but there are some groups that do not possess an independent quartic Casimir, in which case the two terms become equivalent and there is only one type of gauge anomalies. The groups for which this happens are: , , , , , and .
For a theory to be non-anomalous both types of anomalies must vanish. The second type of structure can be canceled by the introduction of a Green-Schwarz term of the form (86), provided the contribution of the vector multiplet to the anomaly polynomial comes with a negative coefficient, as in fact it does. However, the first type of structure can only be canceled by matter contributions, specifically, by introducing charged hypermultiplets. As such, if we insist on a theory containing only tensor and vector multiplets, we must limit ourselves to gauge groups that either: a) don’t have an independent quartic Casimir or b) the contribution of an adjoint fermion to this anomaly is zero. We have already listed the options realizing a) and it turns out that there is a single option realizing b), 151515 has the unique property of having two different independent quartic Casimirs. As such in this case there are actually three different anomaly structures. The existence of the two structures and the reason why the contribution to both for an adjoint fermion vanishes is related to the special triality automorphism of , see the discussion in Razamat:2018gro .. Additionally we also have to worry about the existence of a Witten anomaly Witten:1982fp related to being non-trivial, which is the case for , and . This anomaly leads to the pure and theories being inconsistent, though miraculously, an adjoint fermion of turns out to contribute trivially to the anomaly so a pure gauge theory is consistent Bershadsky:1997sb . Overall, the pure gauge theories with a single tensor that do not suffer from anomalies and thus can be consistent tensor branch descriptions of some SCFT, are: , , , , and Seiberg:1996qx ; Bershadsky:1997sb . These theories are sometimes called minimal SCFTs in 6d.
We expect that the resulting SCFTs do not have continuous flavor symmetries as on the tensor branch we do not see any. We can evaluate the ’t Hooft anomalies of these SCFTs, using the gauge theory description, and collect the results in an anomaly polynomial -form.
The ’t Hooft anomalies receive contributions from three sources: the chiral fermion in the vector multiplet, the self-dual tensor and chiral fermion in the tensor multiplet, and the Green-Schwarz term required to cancel the terms (including the mixed gauge-gravity anomalies). Let us quote the contributions of the vector multiplet for gauge group Ohmori:2014kda ,
(88) | |||
Here we use for the second Chern class of the R-symmetry bundle in the doublet representation, and for the first and second Pontryagin classes of the tangent bundle respectively. The constant stands for the dimension of the group . Since we do not have a quartic Casimir the can be expressed as,
(89) |
We will be interested here only in the group for which and . The tensor multiplet contributes,
(90) |
and to cancel all gauge anomalies we need to introduce the Green-Schwarz term which contributes,
(91) |
Summing up all the terms, we find that the eight-form anomaly polynomial is,
(92) | |||||
4.2 Compactification to 4d
Given the 6d SCFT which on the tensor branch is described by the gauge theory, we want to understand what happens when we compactify it on a closed Riemann surface. The compactifications on lower genus surfaces, and , do not follow the general pattern we will want to discuss and thus we will refrain from discussing these here. Compactifying on surfaces we will be able to derive some very general statements.
As the Riemann surface with is curved, supersymmetry is naively broken. To avoid this, we twist the R-symmetry bundle so as to cancel the curvature of the Riemann surface for some of the supercharges which are charged under it. The supercharges transform under the Lorentz group and under the R-symmetry so we need to turn on a certain R-symmetry bundle so that at least some supercharges will not feel the curved background and thus will remain invariant. We can do so preserving at most supercharges, corresponding to in 4d. The twist, the non-trivial bundle for the R-symmetry, also breaks the R-symmetry to its Cartan sub-group, which becomes an R-symmetry in 4d. See Appendix F for more details on the twisting procedure.
Next we will want to deduce the various ‘t Hooft anomalies of the 4d theories. We have an RG flow across dimensions and thus we need to deduce the six-form anomaly polynomial of the 4d theory from the eight-form anomaly polynomial of the 6d theory. The way to do so is to integrate the anomaly polynomial of the six dimensional SCFT on the compact Riemann surface in the presence of all the non-trivial bundles we have turned on Benini:2009mz (see also Subsection 3.1 of Hosseini:2020vgl ),
(93) |
where by we collectively denote the values of the background fields. In the current case the only such fields are due to the non-trivial bundle for the R-symmetry due to twisting, but in more general cases one also might have non trivial bundles for the global symmetries. This should lead to the anomaly polynomial of the 4d theory, which contains the ’t Hooft anomalies of the 4d theory, at least those for symmetries descending from 6d.
In our case, we need to integrate (92) on the Riemann surface, but first we need to take the twist into account. This is done by setting (see Appendix F) , where is the first Chern class of the Cartan of the R-symmetry and is a unit-flux 2-form on the Riemann surface. Inserting this into (92) and integrating we find,
(94) |
From the coefficient of we deduce the anomaly and from the term we deduce the anomaly,
(95) |
Finally using the relation between ’t Hooft anomalies of the R-symmetry and the conformal anomalies (10) we deduce that these are,
(96) |
In particular for the case at hand we get,
(97) |
We thus have a prediction for the existence of 4d theories labeled by with the above conformal anomalies. These models are also expected not to have any global symmetries. Of course global symmetries might emerge in principle in the IR, invalidating both of these statements. We will assume that this does not happen and will seek the corresponding four dimensional theories.
Let us here perform a quick computation: we assume as in the previous lecture that these 4d theories have a conformal gauge theory description. This might or might not be true, and we will eventually argue that it is true. With this assumption we now deduce what would be the dimension of the gauge group in 4d and the dimension of the representation of the matter fields. We need to solve,
(98) |
to get and . We note that these numbers are integer and thus the conjecture might be correct.161616If one repeats the same exercise for other groups for some the dimensions turn out to be integer while for others they do not. For example for and but for and . Moreover, a natural interpretation of is as four factors of and of as three tri-fundamentals of . We will soon see how to construct such a gauge theory. However, first it will be worthwhile to understand what one would expect from compactifications on punctured Riemann surfaces, and that entails going through an intermediate step between 6d and 4d, a reduction to 5d.
4.3 Reduction to 5d and punctures
Let us discuss how one can think about punctured Riemann surfaces. As the 6d theory at the CFT point, which we compactify, is strongly coupled it is hard to analyze the punctures directly in 6d. However, one way to think about the punctures is to elongate the region near a puncture to a long thin cylinder and first analyze this region. This amounts to compactifying first on an infinite cylinder of small radius and obtaining an effective 5d theory, and then cutting the cylinder with a specification of a boundary conditions in 5d. If the 5d theory is still strongly coupled we did not achieve much. However, in certain cases, starting with certain 6d SCFTs and compactifying on a circle to 5d with certain holonomies/twists, it is conjectured that one obtains an effective theory in 5d which is a gauge theory.171717There is an ongoing vigorous research into classifying such effects, see e.g. Hayashi:2015fsa ; Hayashi:2015zka ; Ohmori:2015pua ; Ohmori:2015pia ; Zafrir:2015rga ; Bhardwaj:2018vuu ; Apruzzi:2019vpe ; Apruzzi:2019opn ; Ohmori:2018ona ; Bhardwaj:2019fzv ; Jefferson:2018irk ; Yonekura:2015ksa ; vanBeest:2020civ ; Apruzzi:2019kgb for a partial list of references. As in 6d these gauge theories are IR free and there are two possibilities for their UV completion: first, it is possible that they are relevant deformations of non trivial CFTs in 5d, and second, the UV completion might be given by a 6d SCFT. A canonical example is the ADE theory which is conjectured to give the ADE SYM when compactified to 5d with no twists Douglas:2010iu ; Lambert:2010iw .
If one indeed obtains a gauge theory in 5d with gauge group , one next can study supersymmetry preserving boundary conditions at the four dimensional boundary of the geometry. The details of the choices of the boundary conditions depend on the 5d theory, however there is a canonical set of choices, which is usually called maximal, giving a Dirichlet boundary condition to all the vector fields of the 5d theory and then whatever supersymmetry demands for the other fields. See Appendix G for more details, as well as Heckman:2016xdl ; Kim:2017toz (and recent similar discussion in 3d in Dimofte:2017tpi ). Importantly, since the Dirichlet boundary condition breaks the gauge symmetry to the one which is constant along the boundary, we acquire a global symmetry which is given by the gauge group associated with each boundary component, that is with each puncture.

Let us specialize now this general discussion to the case at hand. It is conjectured Jefferson:2017ahm that a pure gauge theory with CS term at level is obtained by compactifying the minimal SCFT in 6d on a circle with a twist by the complex conjugation symmetry in 6d, see Figure 23.181818The fact that the theories in 6d and in 5d are associated to the same group is not a generic feature. For example minimal SCFT upon compactification with certain twist reduces to an gauge theory in 5d Razamat:2018gro . Twisting here means that upon compactification of the circle (defined by angle ) we identify the configurations at and with an action of the discrete symmetry. Note that the 6d theory does not have any continuous global symmetries and thus barring accidental appearance of symmetry in 5d, upon compactification we do not expect to obtain any symmetry beyond the one associated to the KK symmetry of the circle: the latter symmetry is identified with the topological (instantonic) symmetry of the 5d gauge theory. Thus we expect a pure gauge theory in 5d. Matching the moduli spaces of the 6d and 5d theories we obtain that if there is a gauge theory in 5d it should be : in 6d the moduli space is three dimensional but the twist by complex conjugation reduces it to two (projecting out the dimension three Coulomb branch operator of the ), while in 5d has a two dimensional Coulomb branch. Finally, we need to fix the level of the gauge group; following various string theoretic arguments Jefferson:2017ahm , for levels smaller than it is believed that the theory is a deformation of a 5d SCFT, for level it is UV completed by the 6d SCFT, and for higher level the theory might not have a UV completion.191919The consistency of our analysis below can be viewed as additional evidence in favor of the conjecture that level nine theory is UV completed in 6d.
Finally, we need to specify the maximal boundary conditions for the theory at hand. As we are preserving 4d supersymmetry on the boundary, we decompose the 5d fields on the boundary in terms of the 4d multiplets: which are 4d vector fields as the number of supersymmetries in 5d is eight. We choose Dirichlet for the vector fields and Neumann for the adjoint chiral (see Appendix G). This will imply that we have Dirichlet boundary conditions for chiral fermions and Neumann for anti-chiral. From this we can compute the anomaly inflow contribution of the puncture to four dimensions. This comes from several sources: the anti-chiral fermions with Neumann boundary conditions and the CS term. The former are in the adjoint of the 5d gauge group , have R-charge , and contribute half of the contribution of four dimensional fermions.202020A way to see that the half is needed is that if we compactify a 5d fermion on a finite interval with Neumann boundary condition on both ends, we will get a fermion in 4d. Thus, each boundary will contribute half of the anomaly. This gives the anomaly contributions
coming from every puncture. To compute the full anomaly polynomial we also need to take into account the computation of the integral of the 6d anomaly polynomial on the Riemann surface which is the same as above but with where is the number of punctures, and we specialize to the case of the 6d SCFT. These give for surfaces with punctures the anomalies,
(99) | |||
In addition the CS term contributes , where the sign is determined by the sign of the CS term.
Next we consider how we should glue two punctures in 4d. Gluing punctures geometrically corresponds to bringing two cylinders with boundaries together and un-doing the boundary conditions, identifying in some way the fields in the two cylinders. Field theoretically thus we need to gauge in 4d the symmetry associated to the punctures, in our case. Note that the R-symmetry is non anomalous as far as this gauging is concerned as
(100) |
where the first term comes from the vector fields and the second and third come from the two punctures. Moreover, as the gauging should be non-anomalous, , we should glue a puncture with CS term to the one with CS term. Note that the anomalies (99) are of course self-consistent under this gluing: adding anomalies with and , and a vector multiplet anomalies gives anomalies with . Conversely, we could have derived the anomalies of the surface with a pair of punctures and genus starting with surface without them and genus and subtracting the contribution of the vector multiplet of .
Note that we have already discussed that the anomalies on a closed surface might be consistent with free fields, and in particular gauge groups and tri-fundamentals. The anomalies of punctures support this observation. The anomaly is consistent with having (anti)fundamentals of , which is the number of free flavors needed for a conformal gauging of . Also , and thus interpretable as an anomaly of (anti)fundamental free fields. We will momentarily turn to constructing in detail the 4d theories, but let us comment here on the implications of the twist we have performed upon compactification to 5d.
The twists in general can be turned on along any cycle on the surfaces. These particularly include those surrounding the punctures. For the special case of a sphere with punctures, these are the only cycles. Furthermore, the twists around different punctures and cycles are not independent: on a sphere the holonomy around punctures should be the inverse of that around the remaining puncture. In our case, since the punctures we consider must incorporate a twist, this leads to constraints on the possible theories. As the punctures have a (complex conjugation) twist, we cannot have a sphere with odd number of such punctures. In principle there might be punctures without a twist associated to them, however as we defined punctures above using a 5d gauge theory description the untwisted punctures have to be of a different nature. We will say more about this when discussing the 4d theories. On Riemann surfaces without punctures, the twists can still be incorporated on the cycles of the Riemann surface. When the latter is built from punctured spheres then whenever we glue two twisted punctures we get the associated twist along the cycle spanned by the punctures.
4.4 Four dimensions
We want to find four dimensional models which will match the predictions coming from six dimensions we discussed above. In particular, these models should have factors of global symmetry, which we will associate to punctures, and the anomalies of these symmetries are , . As we already mentioned we will conjecture that we can build such theories from free fields and conformal gaugings. We discovered that constructing field theories such that have nine free chiral fields in the fundamental of produces the right anomalies. The question is then how we build models from these collections of fields. It is not hard to come up with the following conjectures which reproduce all the robust expectations we have derived from pure gauge theory in six dimensions.

The conjectures
We conjecture that the theory corresponding to a sphere with four punctures is constructed from three sets of trifundamental chiral fields, gauging two diagonal s of two different trifundamentals, and breaking the additional by a superpotential. The model then has four factors of global symmetry. See Figure 24 for details. Let us denote the three trifundamental fields as , with , and being the indices of the three groups under which the trifundamentals are charged, and labeling the choice of trifundamental out of the three. The superpotential is,
(101) |
Here is a generic coupling symmetric in the three indices. As we turn on a superpotential only charged with a particular sign under the baryonic symmetry it is marginally irrelevant near the free locus and we will discuss the meaning of this soon. We can turn on additional baryonic superptentials rendering the theory conformal, but these will break some of the symmetries associated to the punctures. As we have discussed in Example 1 (discussion around (35)), SQCD with nine flavors has a locus on its conformal manifold preserving symmetry where the is the Cartan of an such that the of flavor symmetry is under the two symmetries. Our four punctured sphere thus has directions on the conformal manifold along which we can preserve two symmetries explicitly and the two other ones are broken to the Cartan. The baryonic symmetry is also broken. We then conjecture that somewhere on the conformal manifold the Cartan symmetry enhances again to s but the baryonic symmetry does not appear. We will soon give evidence for this conjecture.
We can combine the four punctured spheres to form arbitrary surfaces by gauging diagonal combinations of global symmetries with vector multiplets. As each such group has nine flavors the one loop beta function is zero. It is convenient to define building blocks of Figure 25 to write down the quivers for such theories. The four punctured sphere is written using the blocks in Figure 24 and Figure 26 shows examples of more general surfaces. Note that as the four punctured sphere has all the puncture symmetries only at some strongly coupled locus of the conformal manifold, to construct general theories we thus need to gauge emergent symmetries. It is easy to verify that with these blocks the ’t Hooft anomalies match exactly the anomalies computed from six dimensions. For example, he anomalies of the four punctured sphere is and . We can construct genus surface with punctures by gluing together four punctured spheres with gluings. Note that the number of punctures is always even by construction.

We also note that the gluing seems to be determined from anomaly cancellation, and so we do not see any additional option that would incorporate the twist on the cycle of the tube used in the gluing. It is possible that the other choices are more complicated, or maybe this 6d option has no effect on the 4d physics. This also means that we cannot fully pinpoint what are the twists along these tube cycles for the 4d theories we present, as anomalies cannot distinguish this. For the cycles running along the punctures, the twist can be determined from those associated with the punctures.
A strong check of the conjecture is to compute the supersymmetric index which will tell us what are the relevant and marginal operators. For low genus and small number of punctures the index has special features, some of which we will discuss, but for generic surfaces the index is,
(102) |
As there are no terms below , there are no supersymmetric relevant operators. The number of exactly marginal directions preserving puncture symmetries is which is expected to be related to complex structure moduli. One way to think about these operators is to consider the reduction on a surface of the 6d stress-energy tensor. A careful application of the Riemann-Roch theorem then determines that the stress-energy tensor will lead to exactly marginal deformations on a closed Riemann surafce babuip , and the above is a natural generalization including the punctures. We also have a conserved current for each puncture and a set of marginal operators charged under the puncture symmetries. The marginal operators are just the baryonic operators which one can explicitly identify in the examples we have detailed in the Figures.212121In general the supersymmetric relevant operators are related to the reduction of conserved currents in 6d babuip . We will not review this logic here. In this case we do not have a continuous global symmetry in 6d and indeed do not expect to find relevant deformations. The spectrum of protected states that our four dimensional theories possess is thus also consistent with the expectations from 6d.
Duality
We have discussed what is the theory corresponding to a four punctured sphere and how to glue two theories corresponding to two surfaces together along a puncture. The resulting theories are labeled by the combined surface. However, one can combine the same surface by performing gluings in different ways. For example, there are two different ways to glue the punctures of a four-punctured sphere together to obtain a genus two surface, see Figure 26.
The fact that we conjecture that all the different ways to glue surfaces so that the topology will be the same correspond to compactifications on the same surface implies that the different ways to glue should be equivalent. More precisely these should reside on the same conformal manifold. In other words, the different quantum field theories corresponding to the different ways to construct the same surface are expected to be conformally dual to each other.
Usually this fact is phrased as equivalence of different pairs-of-pants decomposition of a surface, even though here we decompose into four punctured spheres. The geometric construction thus systematically produces a collection of theories which are conformally dual to each other. This does not explain the duality directly from the 4d point of view, but rather by imbedding the theories in the higher dimensional setup it renders the dualities a trivial consequence of the geometrical construction, if this is correct.
The anomalies of the different decompositions are the same by construction. However, the indices of the different decompositions a priori might be different as these might be very different looking theories. For the conjecture to be correct combining the four puncture spheres to form surfaces of the same topology in different ways should give equivalent theories up to the action of dualities. In particular, the protected spectrum of the theory has to be invariant under the exchange of the different factors of symmetries associated to the punctures. This is a highly non obvious fact. In particular if this holds for the four puncture sphere it will hold for any surface. One can check this by explicit evaluation of the index in a series expansion. In fact we find that a stronger statement from that which we need appears to hold true. Namely, gluing two tri-fundamentals and ignoring the baryonic symmetry, which is broken for general surfaces on the conformal manifold, the index is invariant under exchanging the four symmetries. The index is given by,
(103) | |||
where with parameterizing the four flavors. The above is found to be invariant under permutations of the four in perturbative expansion in the fugacities to order .
Let us next make several comments on the theory corresponding to the four punctured sphere. We can count the dimension of the conformal manifold of the theory near weak coupling. This is a special theory: the full symmetry of the theory is broken on the conformal manifold and the dimension is . The large dimension of the conformal manifold is due to the fact that in addition to the baryons, which are marginal, we have marginal operators winding from one end to the other on the quiver.222222In the next lecture we will recover the same model in a completely different way and there this large conformal manifold will have a different meaning giving us an example of a 6d duality. Moreover as we have already mentioned, the superpotential we turn on preserving the puncture symmetries is built from fields having some baryonic charge and it is marginally irrelevant at weak coupling. Thus, there is no conformal manifold passing through zero coupling and having the symmetries we are interested to have, four s and no baryonic symmetry present. However, it can happen that at finite position on the conformal manifold we have such a locus of exactly marginal deformations. We can check this by assuming the symmetries we want and computing the index. The index then will tell us what are the marginal operators under these assumption and we can perform the analysis of exactly marginal operators. It can be that we will get the same answer as at weak coupling, and then the conjecture is consistent, or different, which will prove it not to be correct. The index assuming the symmetry we are interested in is,
We can break all the symmetry on the conformal manifold as of has non trivial invariants. This means that again we get exactly marginal deformations. This shows that it can be that there is a locus, in fact a line as can be seen from the index, on the conformal manifold such that we have four factors of and no baryonic symmetry.
The fact that the relevant locus does not pass through weak coupling is actually consistent with the fact that we do not know what the sphere with three punctures is. At least one puncture of such a theory should be not twisted, but we do not have a gauge theory description of compactification with no twist. We thus expect the decoupling limit of four punctured sphere to be given by some strongly coupled model.
We expect to have a duality acting on the line of the conformal manifold we find. This duality should permute different symmetry factors. How this duality acts on the couplings is a very interesting question to try and answer.

Exercise: Consider the two different ways to construct genus two surface starting with a four punctured sphere. See Figure 26. The two models should be dual to each other. Analyze the superpotentials in the two frames, show that the theories are conformal, that all the symmetry is broken on the conformal manifold. Compute the dimension of the conformal manifold and check that the superconformal index in the two duality frames agrees in expansion in fugacities.
This is a special case so let us analyze it in detail. We start with the ”” shaped quiver on the right of Figure 26. We have three tri-fundamentals of , the top , the bottom , and the middle . We also have three symmetries. We define such that is charged and . Similarly we define two additional symmetries and . Note that is anomalous under the two gauge symmetries on the sides of ””. The is anomalous under the bottom and is anomalous under top . The fields form a triplet under flavor . The marginal operators are the baryon (which form a of flavor ) and the product of all three fields, (which forms a of flavor ). The latter has charge under the three anomalous symmetries. We need to build a singlet out of the couplings under all symmetries. However, note that there are five independent singlets we can build, . All of these have positive charge under and thus we cannot form a singlet under it as the exponent of the gauge couplings is also charged positively. Thus we deduce that this theory has no conformal manifold in the vicinity of the weak coupling. However, we have conjectured that the four punctured sphere has a locus with four symmetries and no baryon symmetry. We can thus gauge these symmetries in pairs to form the ”” shape. As we do not have any other flavor symmetries except for the puncture ones we obtain an SCFT with a conformal manifold dimension of which is simply given by counting marginal operators minus the currents at zero coupling: plus plus gauge couplings minus the currents of . This gives us a six dimensional conformal manifold with no symmetries preserved. Note that for genus we would generally expect deformation but here we find twice that amount.

Let us now analyze the dumbbell quiver on the right of Figure 26. The analysis is rather different than the above. Note that we can think of this model as two copies of SYM glued to a tri-fundamental with additional two fundamental chiral fields, where we gauge subgroup of the R-symmetry. Here the two copies of SYM give an exactly marginal deformation each preserving the flavor (the coupling). We gauge two additional symmetries under which the tri-fundamental in the middle and the two chiral fields are charged. We have three symmetries: under which one fundamental is charged , the trifundamental is charged , and the other fundamental charged ; reversing the roles of the two fundamentals; and finally under which the two fundamentals have charge and the trifundamental has charge . The symmetries are anomalous under the left/right gauge symmetries respectively, while is non anomalous. The marginal deformations are the baryon built from the tri-fundamental and the operator built from the product of the two fundamentals and the tri-fundamental. Under the two anomalous symmetries both operators are charged positively and under the non-anomalous symmetry they have charges of opposite signs, and . Moreover some of the five singlets of detailed above have positive and some negative charge under the non anomalous symmetry. We thus can form a singlet under all symmetries obtaining a conformal manifold under which all the symmetries are broken: we have ten couplings from the baryon, three from the other deformation and two gauge coupling with eleven currents (coming from of the tri-fundamental and the three symmetries). This gives us which together with the two deformations coming from the pieces gives us a six dimensional conformal manifold as expected.
The two models then behave in a strikingly different manner, where while for the dumbbell quiver the conformal manifold passes through weak coupling, it does not do so for the ”” shaped quiver. We can understand the difference in this behavior as follows. To get the quiver associated with the genus two surface from the four punctured sphere we need to gauge two gauge groups that are embedded as diagonal symmetries in the subgroup of the flavor symmetry of the quiver associated with the four punctured sphere. The two distinct quivers correspond to two different ways to perform this gauging. In one we embed the two groups as , . Gauging and now leads to the ”” shaped quiver. Alternatively, we can embed the two groups as and similarly for and groups232323There is also a that commutes with the group for each group, but that would not play a role here.. Gauging and now leads to the dumbbell quiver. It is possible to show that there is a subspace of the conformal manifold passing through weak coupling, that preserves the symmetries gauged in the second embedding. This suggests that the dumbbell quiver indeed sits on the conformal manifold of the genus two compactifcation. However, that is not the case for the first embedding, as shown by the analysis done here. In that case the Lagrangian ”” shaped quiver is an IR free theory and is not really a compactification of the 6d SCFT on a genus two surface. To preform the gluing in this case, we need to go to the locus on the conformal manifold where only the four groups associated with the punctures are preserved. This occurs at strong coupling and requires breaking some of the flavor symmetry that is to be gauged to get the ”” shaped quiver, and hence the lack of a 6d interpretation in this case.
Closing punctures
We have understood what is the geometric interpretation of gauging factors of the global symmetry. We can also discuss other operations, such as turning on relevant deformations (which are absent here), or exactly marginal ones (which we discussed), and giving vacuum expectation values for various operators. Let us turn our attention now to the latter operation.
We will discuss turning on vacuum expectation values (vevs) for operators in a manner that preserves the R-symmetry: we only consider R-symmetry preserving geometric constructions since we wish to find a geometric interpretation of the vev. This in particular implies that the operator we give a vev to should be charged under some global symmetry. The only such symmetry is the puncture symmetry. We have thus a natural candidate for such an operator: these are the marginal operators in the of the puncture symmetries. Such flows will break the symmetry of the puncture and will leave us with punctures of different type. As the punctures have twists associated to them it is impossible then to close the puncture completely: the twist has to be supported on some cycle.

As we have concrete Lagrangian QFTs corresponding to the geometric construction we can analyze such vevs in complete detail. Parametrizing the character of the fundamental of as , with , we have (see Appendix C)
(105) |
In index notations we give expectation value to operator contributing with weight setting this combination of fugacities to one, that is we give a vacuum expectation value to a single bi-fundamental field. The effect of the flow is simple, the trifundamental associated to our puncture is removed from the theory with the symmetry, to which we gave a vacuum expectation value, and the two additional groups are identified: the vev is to a baryonic operator which Higgses one of the gauge symmetries. We interpret this procedure as closing a puncture to a different puncture which has no flavor symmetry and we will refer to that as an empty puncture.
Let us add empty punctures by starting from a theory with punctures and closing of those. The anomaly is easy to compute and we obtain that empty punctures behave as one third of the puncture. We have,
(106) | |||
We can also compute the index and find that it is,
(107) |
This is consistent with having a conformal manifold preserving the puncture symmetries whose dimension is the same as the space of complex structure moduli. We notice that a theory with and empty punctures is on the same manifold as the theory with punctures and empty punctures: these theories have the same field content albeit the former has a more general superpotential which in that language breaks some of the maximal puncture symmetry.

Note that the theory of Figure 28 then can be thought of as a sphere with ten empty punctures and has a seven dimensional conformal manifold Green:2010da ; Leigh:1995ep . We then expect to have the mapping class group of the sphere with ten punctures acting on this conformal manifold.
The final picture is thus as follows. Turning on the most general exactly marginal superpotentials in the theories we have constructed corresponds to surfaces of some genus and some number of empty punctures. On special loci of the conformal manifold the empty punctures can collide in groups of three and form a maximal puncture with an symmetry associated to it.242424The fact that collisions of punctures of one type can form punctures of different type has appeared in various contexts Chacaltana:2013oka ; Chacaltana:2016shw ; Chacaltana:2012ch ; Razamat:2016dpl ; Razamat:2019ukg ; Razamat:2020bix . For example in Chacaltana:2012ch such effects were dubbed a-typical degenerations. Let us comment in passing that this picture can be further checked by giving vacuum expectation values to derivatives of the operators in which will introduce surface defects into the theory Gaiotto:2012xa . Such constructions are related intimately to integrable models, and the corresponding indices should satisfy interesting sets of properties Razamat:2018zel which can be mathematically proven Ruijsenaars:2020shk providing more evidence for the conjectures.
In this lecture we have discussed a derivation of the dictionary between a theory in 6d with no continuous global symmetry and 4d Lagrangians. Next we will discuss such a dictionary once the 6d theory does possess continuous global symmetry, which introduces more knobs and handles to produce interesting interplays between geometric constructions, emergence of symmetry and duality.
5 Lecture IV: Compactifications of the E-string
We will now repeat the analysis of the previous lecture but in a richer setup of compactifications of the rank one E-string theory.
5.1 Six and five dimensions
Let us consider one of the simplest and most studied 6d SCFTs, the rank one E-string theory. This model can be engineered in string theory in various ways. One of them is by taking a single M5 brane to probe the end of the world M9 brane. Another way is by taking a single M5 brane to probe a singularity. Instead of taking a single brane, taking branes, in the former description one obtains the rank E-string. In the latter description taking one M5 brane to probe singularity one obtain what is called minimal conformal matter. Thus the case is a starting point of several sequences of theories and in fact is one of the basic building blocks of constructing most general 6d SCFTs Heckman:2015bfa . The rank one theory has a rank one tensor branch on which we have a single tensor multiplet: so in this respect this model is even simpler than the one we discussed in the previous lecture.
There is only a limited amount of information we will need about this model. One piece of information is that the theory has an global symmetry. Another is the anomaly polynomial, which was computed by now using a variety of techniques Ohmori:2014pca ; Ohmori:2014kda ; Mekareeya:2017jgc . Lastly, we will need the conjecture that upon compactification to 5d, with a certain holonomy breaking the symmetry, one obtains an effective 5d description as an SQCD with fundamental hypermultiplets Seiberg:1996bd . This effective theory is UV completed by the 6d SCFT.
We will use this 6d information, as in the previous lecture, to come up with a prediction for the existence of a class of 4d theories: in particular we will predict their anomalies and symmetries. The anomaly polynomial of the 6d theory is Ohmori:2014pca ; Ohmori:2014kda 252525See Appendix E.3. (we use notations of Kim:2017toz ),
(108) |
We use the notation for the second Chern class in the fundamental representation of the 6d R-symmetry. We also employ the notation for the second Chern class of the global symmetry , evaluated in the representation , and for the first and second Pontryagin classes respectively.
The anomaly polynomial of the 4d theory compactified on a closed Riemann surface of genus with no flux for subgroups of is obtained by twisting the theory, defining as before, and integrating the 6d anomaly polynomial on the surface. The result is Kim:2017toz ,
(109) |
All the rest of the anomalies vanish.
Now, we can compactify while also turning on fluxes for various abelian subgroups of . For a flux in a single this entails substituting which naturally generalizes to many s. Here is the value of the flux, , and by we denote the first Chern class of the corresponding symmetry in 4d . This leads to a variety of theories in 4d labeled by fluxes to the various abelian symmetries. We will not quote the most general results here. Let us just mention that the most general compactification will be labeled by the flux for the Cartan generators of the symmetry. To specify this flux we should choose some basis of symmetries. It is convenient to do so by considering the maximal subgroup of , . The choice of such an subgroup will be later discussed in more details. Then we parametrize the flux by stating its values for the natural subgroups of and encode it in a vector, an octet, of fluxes we denote by .
Turning on fluxes will break the symmetry to the subgroup commuting with the choice of flux. In particular we will have abelian symmetries in 4d. As usual in such cases the superconformal symmetry of the 4d fixed point will be some mixture of the Cartan of the 6d R-symmetry, preserved by twisting, and all the abelian symmetries in 4d.

Finally let us discuss the punctures. We specify the maximal boundary conditions giving the 5d gauge fields Dirichlet boundary conditions. Here, unlike in the pure case of the previous section, we also have matter fields. In terms of 4d supersymmetry these are an octet of hypermultiplets, that is chiral fields. We give eight of the chiral fermions in this multiplet Neumann boundary conditions and the remaining ones get Dirichlet boundary condition. These fermions are not transforming under the R-symmetry coming from six dimensions: this becomes the R-symmetry of 4d under which the fermions in the hypermultiplet do not transform. Thus the inflow contribution to the anomalies involving the R-symmetry only comes from the vector multiplet and gives,
(110) |
The matter fields do contribute to the anomalies of the subgroups of global symmetry. The octet of hypermultiplets transforms as a fundamental of the subgroup of . Thus the anomalies of a given will be determined by the inflow of each one of the fermions which obtained Neumann boundary condition. Say we choose a such that the eight fermions with Neumann boundary condition have charges , Then, the contribution to the anomaly of this from the inflow is,
Here the source of is explained in footnote 20, the comes from the fact that the fermions are doublets of the puncture , and the additional factor of in the last anomaly comes from in the fundamental representation. Let us mention here that we have a choice of which eight out of the sixteen chirals gets a Neumann boundary condition. All these choices are in principle equivalent up to the action of the Weyl group of . However if we have different choices for different punctures on the same surface, the relative difference becomes physically significant. These different choices when defining the types of punctures will be referred to as different colors of punctures.
The octet of the fundamental chiral fields with Neumann boundary conditions is expected to give rise to an octet of chiral operators in the fundamental representation of the puncture symmetry in 4d. These operators will have R-charge under the R-symmetry inherited from 6d. We will refer to such operators as “moment maps”. The name is motivated by analogy with compactifications of the theory. If one repeats this procedure in the case of compactifications of the theory, say type, the model in 5d is SYM, and in 5d language the matter content has an adjoint hypermultiplet. We again give Neumann boundary conditions to a chiral half and Dirichlet to the other one. In 4d the symmetry associated to the puncture is (the gauge symmetry of the 5d theory) and the chiral in the adjoint representation with the Neumann boundary condition becomes the moment map operator in the flavor current multiplet in 4d. In the case at hand there is only supersymmetry in 4d, but the appearance of the “moment map” operators has the same origin, and hence the name.
Let us use the above to construct the anomalies with punctures,
(111) | |||
Note that in general since the punctures break the symmetry and introduce a , and fluxes also introduce s, the above are not the superconformal anomalies but rather the ones computed with the 6d R-charge, and these can be viewed just as encoding the ‘t Hooft anomalies of the 6d R-symmetry using (10),
(112) |
With this concrete information about the 6d and the 5d theories we are ready to search for the 4d theories corresponding to the compactifications.
5.2 4d theories from genus Riemann surface with zero flux
Let us now conjecture that the 4d theories obtained by compactifying the rank one E-string on a closed genus surface with no flux can be described by a conformal Lagrangian. From the anomalies (109) we obtain that,
(113) |
The number of vectors is thus and the dimension of the representation is . These numbers are integers and thus there is a chance that the conjecture is correct.
This implies for example that for genus two we might have a conformal description with two groups or and two groups, and chiral fields. We find a dual using two groups. See Figure 31. Note that this is the same model we obtained in Section 4.4 to correspond to a four punctured sphere compactification of minimal SCFT, and here we give it a different interpretation as genus compactification of rank one E-string with no flux.262626Such equivalences of compactifications are common but deep understanding of them is lacking at the moment. For example, the rank E-string on a torus with no flux is the Minahan-Nemeschansky theory Minahan:1996cj which can be interpreted as an theory compactified on a sphere with three punctures of certain types Ohmori:2015pia . Spheres with punctures of M5 branes probing a singularity Gaiotto:2015usa can be mapped to tori compactifications with flux of minimal conformal matter with the number of punctures and on one side maps to certain combinations of flux and on the other side Kim:2018bpg ; Kim:2018lfo .

We already have discussed some of the properties of this model, but let us do it again in this context. By construction all the superconformal R-charges are the free ones and the gauge theory is conformal. The model has no supersymmetric relevant deformations as one cannot build gauge invariant mesonic operators. The marginal operators come from baryons, , and from cubic composites winding the quiver, . All in all we have marginal operators. The non-anomalous symmetry at the free point is which gives us currents. On general point of the conformal manifold all the symmetry is broken and we obtain exactly marginal operators. We will soon interpret this dimension of the conformal manifold, but first let us generalize to higher genus, which is rather straightforward.

For genus we will seek a simple generalization of the above, and the simplest guess is to have gauge groups which will amount to . The quiver theory can be easily found and is depicted in Figure 32. The number of fields is as expected. We have vectors and chiral fields. We have no relevant operators. The marginals are baryons, and cubic combinations winding between the groups. All in all this gives marginal operators. The symmetry at the free point is giving currents. The symmetry is broken on general point of the conformal manifold and thus we have
exactly marginal deformations. Note that when an symmetry enhances to giving us instead of currents, and we have baryons instead of for bifundamentals of . Thus, relative to the general case we have four more currents and five more marginal operators giving us an additional exactly marginal direction. The above expression for the dimension of the conformal manifold is what one would expect from 6d. First, we have the deformations we would associate to complex structure moduli. Second, we have additional deformations which have a natural meaning. Note that is the dimension of . These deformations then can be associated with flat connections for the global symmetries one can turn on upon compactification on the surface. These flat connections are parameters of the compactification, which in this case turn out to be exactly marginal. A different way to phrase this is that we can consider the proper “KK” reduction of the conserved current of the symmetry in six dimensions, and performing the Riemann-Roch analysis one gets the exactly marginal deformations babuip .272727 In the case we have one additional deformation which is not explained by the general geometric logic: we do not know what the origin of it might be, but one possible explanation is that the 6d SCFT has certain surface operators which we can wrap on the Riemann surface and obtain local operators in 4d. For low genus these operators might have low charges and for example be exactly marginal. It will be very interesting to understand these issues in detail.
Thus we conjecture that the quiver of Figure 32 describes the compactification of rank one E-string on genus surface with zero flux. In particular we expect the symmetry to enhance to somewhere on the conformal manifold.282828There are other constructions of these models in 4d Kim:2017toz ; Razamat:2019ukg . The other constructions are not completely Lagrangian as they rely on gauging certain emergent symmetries in the IR. Nevertheless they can be used to compute protected quantities such as indices, and one can check that the indices in all the descriptions agree. This serves as a consistency check of the various conjectures.
Note that we can turn on superpotentials which break only part of the symmetry and explore the conformal manifold. In particular turning on cubic superpotentials locking all the symmetries together and the baryonic superpotentials for the outer circle of the quiver in Figure 32 we obtain a submanifold of preserving the symmetry. This Kahler quotient is not empty as the baryons and the triangle superpotentials have opposite charges under the baryonic . The baryons charged under the s of the free point are in and thus have a singlet in the fourth symmetric power. Finally, the triangle superpotentials are in a bifundamental of two groups and thus a di-baryon of these is an invariant. We note that under these deformations only, the marginal operators minus the conserved currents take the form,
(114) |
where and come from baryons and coming from operators winding between groups. We note that is a maximal subgroup of such that
All the representations of appearing in the index are expected to combine into representations under this branching rule. This can be verified at least in expansion of the index in the fugacities. We thus obtain as expected exactly marginal operators. Furthermore,
which matches the result expected from the strongly coupled theory where the is embedded inside (109) (Note that the imbedding index of in is ). Note that actually if the theory has an point on the conformal manifold, or rather a dimensional locus of such, with marginal operators, we cannot go out of it preserving , but rather only the Cartan subgroup: this is what the Kahler quotient tells us, we can construct invariants out of powers of the adjoint which preserve the Cartan but break the non-abelian structure. Thus, all we can say is that the preserving sub-manifold of the conformal manifold passing through the weak coupling point might intersect the Cartan preserving submanifold passing through the point.

Finally, one can wonder whether the quiver theory we have found is the only conformal gauge theory corresponding to the given compactification. The answer is actually that there are more, and all of these are conformal dual to each other. Let us give here the example of genus two in some detail. We can match the anomalies with the two quivers in Figure 33: the one on the left we have already discussed, but also the one on the right fits the bill. The conformal anomalies work simply because it is again a conformal theory with two gauge groups and the number of fields is . The gauge nodes are indeed conformal as the beta functions vanish,
(115) | |||
We used the fact that the cubic Casimir of the two index symmetric representation of is and the Dynkin index is . We can turn on baryonic superpotentials, the cubic symmetric power of the fields and and the deformation running across the quiver. We leave the analysis of the Kahler quotient as an exercise. We just mention that the symmetry can be broken completely on the conformal manifold. The number of marginal operators at the free point is . The non-anomalous symmetry at the free point is , dimension of which is . All in all the dimension of the conformal manifold is then as expected. We thus conjecture that the two quivers are dual to each other.292929This duality can be related to a sequence of Seiberg dualities Nazzal:2021tiu . Note that as in the SQCD dual to a quiver theory we discussed in Lecture II, the two weakly coupled cusps are very different: they have different symmetry and different number of marginal operators. However going on the conformal manifold of both there is a chance that we can get from one to the other, and that is what the conjecture of the duality is about.
In fact there is a natural interpretaion of the two theories being two different pair of pants decompositions of the genus two surface, as depicted in Figure 33. The point is that we can think of a line ending on the same gauge node with same orientation as a two index symmetric plus an antifundamental, (this is in contrast to a bi-fundamental ending on the same node which is an adjoint and a singlet). This duality thus suggests that we should be able to “cut” the bifundamental lines in the quiver and obtain theories corresponding to pairs-of-pants: three puncture spheres. This is what we will do next, and by doing so we will discover how to compactify the rank one E-string on an arbitrary surface with an arbitrary amount of flux.
5.3 Decomposing the surface into pairs of pants
Let us start with the quiver in Figure 31 and try to decompose it into a gluing of two three punctured spheres. We have discussed that a puncture of rank one E-string compactifications should correspond to an symmetry. Thus we should rewrite the quiver as an gluing of two SCFTs. It is straightforward to do so using the S-confining Seiberg duality of Figure 14. We detail this rewriting in Figure 34. The quiver contains triangular blocks with superpotential terms of the form, . Such triangular blocks can be exchanged using the S-confining duality by an SQCD with . We have three such blocks corresponding to the three bi-fundamental fields , and thus can perform this procedure for each one of them. In the end we obtain the last quiver in the chain of dualities of Figure 34 having a superpotential which is a combination of quartic and sextic terms.
Next we conjecture that each one of the two SQCD blocks, which are glued together by gauging the subgroup of their global symmetry and turning on the superpotential, corresponds to a three punctured sphere compactification with a certain amount of flux to be determined soon. Let us then discuss these SQCD models in detail.
The three punctured spheres
We analyze next the SQCD interpreted as a compactification of the rank one E-string on three punctured sphere. The model is depicted in Figure 35. We split the fundamental chiral superfields into three pairs and correspondingly decompose the symmetry rotating them into . Each factor is associated to a puncture. In addition we have the two symmetries arising in the decomposition, the baryonic , and the rotating the antifundamentals. This gives us a rank eight symmetry which can be embedded in as
(116) |
and we will soon discuss why this is the right way to think about the symmetry. In particular we will see that the flux we should associate to the theory is such that it breaks to .

We assign an R-charge to the fundamentals and to the anti-fundamentals. This is a non anomalous R-symmetry. We claim that it corresponds to the Cartan generator of the R-symmetry of the E-string theory. This is not the superconformal R-symmetry. Under the superconformal R-symmetry all chiral superfields are assigned R-charge (which can be verified performing a-maximization. The superconformal R-symmetry is related to the R-symmetry we use by mixing it with the baryonic symmetry under which fundamentals have charge and aabtifundamentals charge .
Each puncture has an octet of operators which transform in the fundamental representation of the puncture symmetry. These operators have R-charge and six of them are composed of mesons while two are baryons. We will refer to these operators as “moment maps”: as we have discussed in Subsection 5.1 we expect each puncture to have operators with these properties. For each puncture their charges are given by the following,
(117) | |||
Here we denote by the Cartans of the three puncture symmetries and is the fundamental of the symmetry. We encode the charges of operators under various symmetries in powers of fugacities associated to them. The operators in the of the symmetry come from mesons and the singlets are baryons. For example to construct the baryon charged we consider the antisymmetric square of the fundamental quark charged under which gives us a singlet of transforming in the antifundamental representation of the gauge . Contracting it with the fundamental of gives us a singlet with the given charges. Note that there are more baryonic operators but these are charged under more than one puncture symmetry: we can take three fundamentals charged under each one of the groups and obtain an operator with R-charge which is in tri-fundamental representation of the three s. These operators will not play a role in our discussion. The three punctures have moment map operators with different pattern of charges under the various symmetries. Thus these should be considered as being of different types, colors. As we have discussed in Subsection 5.1 the various punctures can be attributed to different choices in defining the boundary conditions in 5d.
Let us compute the various ‘t Hooft anomalies of the model involving the R-symmetry,
(118) | |||
These anomalies match the predictions for a three punctured sphere in (110) and (112). As the anomalies above are independent of the value of flux value for the global symmetry we can match them without specifying the flux associated to the three punctured sphere we discuss.
Gluing back to closed surfaces: S-gluing
Next we consider combining the trinions into a closed Riemann surface. We know what needs to be done as we obtained three punctured spheres by decomposing a closed surface, but it is worth to understand the gluing more systematically. The gluing we discuss first is called an S-gluing following the nomenclature of Kim:2017toz .303030For S-gluing in other contexts see Bah:2012dg ; Gaiotto:2015usa ; Hanany:2015pfa ; Razamat:2016dpl .
This is the procedure of gluing two punctures together by gauging the puncture symmetry and coupling the moment maps of the two punctures, the octets and , through the superpotential,
(119) |
The basic idea of gluing is to undo the 5d boundary conditions. This amounts to turning the background vector fields coupled to the flavor symmetry at the boundary to be dynamical. This corresponds to the gauging of the puncture symmetry here. However we also have the matter fields of the 5d theory, some of which we lost due to Dirichlet boundary conditions and thus need to reintroduce. In S-gluing we identify the operators of one puncture as the ones corresponding to the fields obtaining the Dirichlet boundary condition in the other puncture, and vice versa. The fields obtaining Dirichlet and Neumann boundary conditions have opposite charges and that is exactly what the superpotential above does for us.

If we thus take two identical theories and S-glue them together the charges under symmetries of one are identified with a conjugation of the other: as a mnemonic by abuse of language we will refer to this as symmetries being conjugated. This in particular implies that the flux we should associate to one of the surfaces is the opposite to the one associated to the other. The flux of the combined surface is zero. Here there is an important assumption that the flux associated to the combined surface is the sum of fluxes associated to the ingredients: this is an assumption motivated by consistency of the arguments following from it.
Note that our R-charge is not anomalous under this gluing as the gauging here have three flavors. As the moment maps are mesons and some of the baryons, the superpotential has quartic and sextic terms: exactly as we have seen when decomposing the genus two surface into three punctured spheres.
Exercise: Analyze the dynamics of gluing the two three punctured spheres (trinions) into a genus two surface.
In our gluing we have various interactions: several types of superpotential terms and gauging of a global () symmetry, see Figure 37. The superconformal R-symmetry of both of the trinion theories (when considered alone) sets an R-charge for all the chiral fields, and thus gauging the symmetry would be asymptotically free while the quartic and sextic superpotential deformations are marginal and irrelevant, respectively. In the following we will turn on this sequence of deformations such that the gauging is performed first, followed by the quartic superpotential and then the sextic one. Performing the gauging first identifies the charges of the symmetry of one of the trinions with the conjugate of the other. This, in turn, sets the R-charge of the (anti)fundamentals uncharged under the gauged to while that of the ones charged under the gauged to , making the quartic superpotential relevant. Turning on the quartic superpotential locks the and the symmetries of the two theories. Computing the superconformal R-symmetry of the resulting theory using -maximization Intriligator:2003jj , we obtain that now the 6d R-symmetry is the superconformal one. Then, in the IR the baryonic moment maps have R-charge , meaning that the sextic superpotential we wish to turn on is marginal. The charges of one of the baryonic terms in this superpotential are while those of the other are , where the prime distinguishes the symmetries of the two trinions. The quartic superpotential we have turned on before locks the four symmetries to have , meaning that the two marginal operators we turn on have opposite charges. This, in turn, implies that turning both of them is an exactly marginal deformation.313131We are somewhat fast here: the splitting into two pairs of puncture symmetries is not physically motivated. The symmetry is actually two copies of so that the fundamentals are charged also under . The relevant marginal operators are in representation of the symmetry. We can parametrize the of each as with . The superpotential we turn on breaks each to and identifies the two factors. This is possible for example as while The contribution in blue cancels between the marginals and the currents as well as one of the singlets while the second one remains corresponding to the exactly marginal deformation (from the marginals) and the current for from the currents. We thus expect to arrive in the IR to an interacting SCFT pending the usual caveats of no accidental abelian symmetries in the IR.


As the gauging has three flavors we can use the Seiberg dual description Seiberg:1994pq giving us just a WZ model of the mesons, providing a bifundamental of the two symmetries, and baryons, giving us an (anti)fundamental for each one of the gauge groups. See Figure 37. All in all the model is a combination of two SQCD models with seven flavors.
To construct a genus two surface we need to glue the remaining four punctures in pairs. Note that when we glue two punctures on the same surface we should exercise some care. As we have seen above the puncture type is encoded in the pattern of charges of the moment map operators. If the charges of the two sets of moment maps are not conjugate when we S-glue the procedure will necessarily break some of the global symmetry of the theory.323232The breaking of symmetries in such cases can be often associated to some discrete twists/fluxes for which global structure of the full symmetry group, including the puncture, is important (see Kim:2017toz ; Bah:2017gph ). Now all the gaugings and superpotentials are marginal. Note that gluing the next pair of punctures and using Seiberg duality we will obtain two copies of SQCD with eight flavors, which will correspond to a torus with two punctures. Gluing the final pair of punctures we obtain two copies of SQCD with nine flavors. See Figure 38 with . This is precisely the theory claimed earlier in this section (and in Razamat:2019vfd ) to correspond to genus two compactification of the rank one E-string theory with zero flux.

Instead of gluing the last two pairs of punctures together we can consider gluing two punctured tori in a circle to obtain a genus surface as depicted in Figure 32. Using the Seiberg dual frame of the gauge node with three flavors leads again to the same quiver as in Figure 38 which is conjectured to be the rank one E-string theory compactified on genus surface with zero flux.
Gluing back to closed surfaces: -gluing
The gluing we have discussed identifies the charges of the moment map operators of the two glued punctures with conjugation. Let us now discuss a different gluing, the -gluing in the nomenclature of Kim:2017toz , which in particular identifies the symmetries of the moment maps of the two punctures without conjugation. In particular when -gluing two theories of the same kind together the corresponding fluxes are summed and not subtracted.
The -gluing includes gauging the puncture symmetry and identifying the moment map operators of the two punctures using the superpotential,
(120) |
where is an octet of fields in the fundamental representation of the gauged symmetry which are added to the model. The 5d explanation of this procedure is as follows. In this gluing the missing fields, the ones which obtained Dirichlet boundary conditions, are the octet of fundamental chiral fields while the fields obtaining the Neumann boundary condition are the moment maps of the two punctures which are identified, see Figure 39. Note that and the moment maps have opposite charges as should be the case for chiral halves of the hypermultiplet in 5d. The -gluing is analogous to the gluing in the compactifications of theory Gaiotto:2009we . This field there can be viewed as the chiral adjoint superfield in the vector multiplet.

Let us make here two comments. First, from the discussion above it is clear that there is a simple and useful way to relate the two types of gluings, and in fact generalize them. First, let us consider taking a theory with a puncture and corresponding moment maps and deform the theory with the superpotential,
(121) |
where is an octet of chiral fields in the fundamental representation of the puncture symmetry. This superpotential removes from the chiral ring of the theory and the procedure is usually called “flipping M” (with the field being the flip field) Dimofte:2011ju . Now notice that the field has opposite charges to and becomes the moment map of the new theory.333333Such flips of punctures, or “signs” of punctures, are very common in various geometric constructions. See for example Agarwal:2015vla ; Maruyoshi:2016tqk . In particular the procedure of say S-gluing two punctures can be thought of as first flipping one of the punctures and then -gluing them,
(122) |
where in the last step we have integrated out the massive fields and . In a similar way the -gluing can be thought of as first flipping one of the punctures and then S-gluing.
Finally, the procedure can be generalized when we -glue some of the components of the moment maps and S-glue the remaining ones. That is we glue by gauging the puncture symmetry and turn on the superpotential,
(123) |
where is some number between zero and eight and is a permutation of the eight moment maps. This procedure is subject to some global obstructions having to do with consistency of various fluxes of the glued theories. In field theory these obstructions will appear concretely as the demand that gaugings should be free of Witten or chiral anomalies. We will not discuss these subtleties here.
Let us note that if the vector of fluxes of the two glued theories is and , the components of the vector of fluxes of the glued theories are where is zero if the component is -glued and if it is S-glued.

The dynamics of the gluing is rather involved. For example gluing two three punctured spheres together, see Figure 40, we have an gauge node with fundamentals and several superpotentials. Some of these deformations are dangerously irrelevant and a detailed analysis to understand the dynamics has to be performed. We stress that the resulting theory might or might not be IR free. All the 4d theories we construct are presumed to be UV completed by the 6d theory compactified on a surface. The Lagrangians we construct might or might not be UV complete directly in 4d but the claim is that they flow to the same theory in IR as the 6d construction.
Exercise: Analyze the dynamics of the -gluing of two three punctured spheres into a four punctured sphere.
In fact we have already analyzed most of this dynamics in an exercise in Lecture I (see Figures 10 and 11). Let us here redo it in the language of this lecture. Note that in -gluing we added eight fields in the fundamental representation of the gauged and the trinions contribute six more, so the gauging is IR free if done at the free UV fixed point. Also, as the superconformal R-symmetry of the chiral fields of the trinion theories (when considered alone) is , the gauging is IR free if done at the trinion fixed point. In particular the ’t Hooft anomaly is negative at these fixed points. Therefore, as in lecture I we start with the trinion fixed point and deform using the superpotential terms, keeping the gauging to be performed later. The superpotentials we turn on here are either cubic in fields (mesons coupled to six of the components of ) or quartic (baryons coupled to two of the components of ). The analysis of the dynamics then proceeds in several steps, turning on a single relevant deformation in each step. Let us denote by the two components of the chiral fields we add in the gluing which flip the baryonic moment map operators, and by the ones flipping the mesonic moment map operators. In step we take the two trinions (at their fixed points), introduce the fields , and turn on the cubic couplings, which are relevant deformations. These couplings lock the symmetries of the two trinions together and set . Flowing to the infrared we find a new superconformal R-symmetry which is obtained by -maximization and involves mixing of the R-symmetry at the previous step with all the abelian symmetries. Next, we introduce at the new fixed point the (for now free) fundamental fields and compute of the gauging using the new R-symmetry. It turns out that now it is in fact asymptotically free, and concretely . Thus, at step we gauge the symmetry with the two additional fundamental fields and flow again. The gauging breaks one combination of the symmetries making it anomalous. One way to think about it is that the requirement of the mixed gauge anomalies to vanish fixes the symmetry of in terms of the other symmetries such that the product of their fugacities equals . After this gauging, employing -maximization sets the superpotential terms coupling the baryons to the to have R-charge , making these deformations marginal. Turning the quartic superpotential involving baryons in (123) at step we can construct an exactly marginal deformation and the primed and un-primed symmetries are locked on each other. The superconformal R-symmetry in the end is
(124) |
where is the 6d R-symmetry shown in Figure 40 and are the charges under . Thus, we can conjecture that the model flows to an interacting SCFT. Note that the dynamics is rather involved and that from the perspective of the UV Lagrangian has several dangerously irrelevant deformations.
Using the -gluing we can identify what is the flux we should associate to the theory we conjectured is obtained by a compactification on the three punctured sphere. We can -glue the punctures of two three punctured spheres in pairs and obtain a genus two surface. Gluing all three pairs of punctures together in such a manner we obtain that the naive R-symmetry (performing a-maximization) at the fixed point is,
(125) |
and the naive conformal anomalies are,
(126) |
This agrees with the 4d anomalies obtained by integrating the anomaly polynomial of the E-string SCFT on genus surface with unit of flux in a subgroup breaking to . We will not perform the detailed analysis here as it requires a significant build up, but it can be read off easily from the 6d results in Kim:2017toz (See Appendix F.3.).
Thus each trinion is to be associated to half a unit of this flux. The with the flux is the diagonal combination of , , and as can be understood from the mixing in (125). Then the remaining two s and the parametrize which is a maximal subgroup of . The branching rules are as follows,
(127) | |||
Note that although the flux of the trinion preserves the subgroup of , the trinion has a smaller symmetry as it has punctures. As we have discussed, the punctures are defined through a 5d construction and involve boundary conditions for variuos fields, choice of which breaks the symmetry. The apparent symmetry of a theory is thus the intersection of symmetries preserved by the flux and the punctures Razamat:2016dpl ; Kim:2017toz . Once the trinions are glued into a closed surface we should observe the full symmetry preserved by the flux.
Computing the index of a genus two surface using gluing for all punctures we obtain,
(128) |
Note that the operators with negative charge are relevant (as can be seen from the mixing of (125)), zero charge are marginal, and if we had operators with positive charge they would be irrelevant. We can explicitly see the appearance of representations in the index: this gives an additional support for the identification of the flux breaking to .343434In fact the multiplicities of the various operators in this expression also depend on the value of the flux babuip (see also Appendix E of Kim:2017toz ) and these are consistent with the value of the flux being one unit.
If the models we discussed are to be associated to punctured Riemann surfaces they need to satisfy duality properties associated to different pair of pants decompositions. Let us discuss the duality properties of the two types of gluings.
Dualities
If we S-glue two copies of the same theory corresponding to a three-punctured sphere together we obtain a surface with zero flux and four punctures of different type. Identifying the symmetries of the two spheres with conjugation of the punctures moment map operators in this gluing makes the punctures different in the two three punctured spheres. To study dualities it is useful to have the same types of punctures which are exchanged by the various pairs of pants decompositions. We can then “flip” a puncture so that the moment maps will be conjugated by simply coupling the moment maps to an octet of chiral fields as we have discussed. See Figure 41 for a quiver description of the duality. Note that the deformation with flip fields is relevant as the moment maps in the S-glued four puncture sphere have superconformal R-charge one. After the flip the superconformal R-charge changes.


Following the above procedure we will have two pairs of punctures of the same types, such that exchanging one pair corresponds to non equivalent pair of pants decomposition. We can test the duality by looking at the index which should be invariant under the exchange of fugacities of the same types of punctures. This is a non trivial mathematical fact as the computation itself is not obviously invariant. One can compute the index expansion in fugacities and show that it is indeed invariant under the above exchange. A related interesting question is to study the structure of the conformal manifold. From the index we can read off the marginal operators to be in the following representations of the symmetry groups,
(129) |
where each pair of fugacities or correspond to two punctures of the same type. Note that the superconformal R-symmetry is not the 6d one in this case as we added flipping fields to flip half the punctures. We see that there is a one dimensional direction on the conformal manifold on which all the symmetries are preserved and that is the natural one to be associated with the complex structure modulus.
To summarize: the four punctured sphere described above is a theory built from two copies of SQCD with connected by a single bifundamental field, with a particular superpotential, and flip fields. This theory has an S-duality acting on its conformal manifold. W.
Let us comment that -gluing two copies of the same trinion we obtain a sphere with one unit of flux and four punctures which are equal in pairs, see Figure 40. We thus should expect that the model is invariant under the exchange of the same type of punctures. This duality is very different from the one obtained in the S-gluing but we will not discuss it further here.
5.4 Closing punctures and comments
As we have discussed in Lecture III there is yet another field theoretic operation which has a natural geometric meaning: giving vevs to operators charged under puncture symmetries and closing the punctures. Before addressing this issue here let us expand a bit on the definition of the flux. To specify the flux of the system in a more general way than we have done so far we need to specify the flux of all the Cartan generators of . There are many choices of this octet of symmetries. Given a puncture a natural choice is in terms of the eight s rotating each one of the components of the moment map. Thus the flux is specified by a vector which has eight components. These eight s are naturally the Cartans of . The choices of these s depend on the choices of the punctures. Different choices are related by an appropriate linear transformations of the s.
Given the octet of fluxes we can understand what is the sub-group of that it preserves. A way to read off the symmetry preserved by the flux is to find all the roots of which are orthogonal to it. See Appendix A of Pasquetti:2019hxf for a detailed explanation. In our parametrization we write the flux in terms of the maximal subgroup of with the roots of the subgroup being plus permutations. To find the symmetry we also need to complete the to by adding the spinor weights, which are : here we need to make a choice and either allow only even number of minus signs (corresponding to a spinor) or only odd number (corresponding to a co-spinor). For the constructions we discuss here all odd turns out to be the relevant choice. We will soon discuss this more and here proceed with making this choice. We then check which of the roots of and which spinorial weights are orthogonal to the given vector of fluxes: these roots and weights will build the root system of the preserved symmetry.
Let us give a relevant example. Consider the vector of fluxes,
(130) |
The roots of and (with ellipses standing for any possible choice) are orthogonal to . These roots build an subgroup of . The spinorial weights which are orthogonal to are of the form with odd number of minuses. These form the representation . These spinorial weights, together with the Cartans, complete the root system to the one of . Thus the flux (130) preserves subgroup of the symmetry of the 6d theory.
Exercise: Show that the flux preserves and preserves . The latter vector of fluxes is equivalent by Weyl transformation to (130).
The roots of orthogonal to are which span , as well which span . The co-spinor weights orthogonal to are where in the brackets we have an even number of negative choices of signs. These weights form a and a of charged oppositely under a symmetry. The adjoint of the preserved symmetry thus is in the following representation of ,
(131) |
where we added all the Cartan generator. The builds the representation of and thus the symmetry is .
Let us look at . The roots orthogonal to it are and all permutations excluding the last element as well as and all permutations excluding the last element. This spans the roots of . The spinorial weights orthogonal to the flux are with three negative choices of signs. This builds the dimensional representation of . The representations compose the adjoint representation of . The symmetry preserved by the flux is thus .
In fact we claim that the vector of fluxes we should associate to the three punctured sphere is (130) when computed with respect to any one of the three punctures where the zeros correspond to the baryonic components of the moment maps and the s to the mesonic ones: that is the flux here is half a unit preserving . Let us perform a consistency check of this claim. We assume that the flux is (130) when computed using the moment maps of (5.3) and show that the same also holds for (and by symmetry also for ). To show this we translate the fluxes into the basis,
(132) |
which gives . By the symmetry of this result it is immediate that (130) is also the flux computed with respect to the other two punctures.
With this understanding of the fluxes let us discuss closing a maximal puncture. Given a theory with a puncture we can “close” it by giving a vacuum expectation value (vev) to a component of the moment map and adding certain fields and superpotential terms. The vev breaks the puncture symmetry and the addition of the fields and superpotentials are motivated by matching anomalies between the resulting theory in 4d and 6d predictions as derived in Kim:2017toz . Here we give the result of this argument.
The theory resulting in this procedure will correspond to a surface with the puncture removed and the flux shifted. Let us assume that the charges of the octet of moment map operators are where the are combinations of fugacities for the Cartan of and is the Cartan of the puncture symmetry. Let us denote the moment map component charged as . Then giving a vev to for example we also introduce chiral superfields and couple them through the superpotential,
(133) |
Let us write the flux in terms of the s corresponding to the puncture we are closing. Then the flux shift after closing the puncture with vev to , following the notations of Kim:2017toz is,
The shift of flux for each is just proportional to the charge of the operator which received the vev under that .
Let us now close the puncture with a baryonic moment map leading to the flux
This is again half a unit of flux related to the one we started with by an action of the Weyl group of . On the other hand if we give a vev to one of the mesonic moment maps, for example the first we obtain,
which is half a unit of flux breaking to .
We can now study explicitly the RG flows generated by giving various vevs for the trinion. A baryonic vev will Higgs the gauge symmetry completely leaving a WZ model, while the mesonic vev will Higgs the gauge symmetry down to . The flows are easy to analyze and the result for the mesonic vev is depicted in Figure 42 (We will soon discuss this case in detail in an exercise.). We indeed find precisely models corresponding to two-punctured spheres with the right amount of flux which were derived in Kim:2017toz .353535 Note that relative to Kim:2017toz some components of the moment maps are flipped but this difference is related to making a choice in defining the color of a puncture. In particular by -gluing the tubes into tori this freedom disappears and we land precisely on the tori theories of Kim:2017toz . Combining such models into tori we should obtain theories with and symmetries respectively. This was indeed checked in Kim:2017toz .363636Let us mention that the torus with minimal flux is a bit special as, although the index exhibits the expected representations, the theory does not have a locus with this symmetry on the conformal manifold, as discussed in Kim:2017toz .
We can perform another interesting exercise by flipping one of the components of the moment map octet and then closing it. Flipping does not physically change the flux but changes the type of puncture and in particular it conjugates the charges of the flipped component. Here let us comment again on the choice of spinor versus co-spinor to compute the flux. Flipping even number of components of the moment map indeed is consistent with our prescription to determine the flux as it is part of the Weyl symmetry of . However, flipping odd number of components does naively change the flux. This can be remedied by declaring that if we flip odd number of components we compute the flux using the spinor and not the co-spinor. Notice that the punctures of the trinion theory have odd number of fundamentals and thus have a Witten anomaly Witten:1982fp . Flipping even number of moment maps will keep the anomaly while flipping odd number will remove it. Thus we can just say that if we compute the flux relative to puncture symmetry with Witten anomaly we use the co-spinor and if the puncture has no Witten anomaly we compute the flux with the spinor.
Let us now analyze what happens if we close punctures with a flip. Say we flip a mesonic component for starts, then the vector of fluxes is unchanged as of (130) has zeros at the location of the mesonic components. Note that we choose our basis according to the puncture moment maps after the flipping of the mesonic component. After giving the vev, the flux by the general rules above is shifted to,
which is again half a unit of flux breaking to . However, note that the field theory operation is rather different here as we give a vev to the flip field which simply gives a mass to one of the mesons resulting in SQCD (plus some gauge singlet fields). Without flipping we obtain SQCD with five flavors as can be seen in Figure 42. However the two theories are equivalent as they are Seiberg dual to each other. Thus we note that the consistency of the picture hinges on the validity of Seiberg duality.


Exercise: Closing a puncture by giving a vev to a mesonic moment map, with and without flip, derive the theories with fluxes and . Applying Seiberg duality to the theory with the flip compare the two models.
We will perform the analysis of the flows triggered by vevs using the supersymmetric index. The basic observation Gaiotto:2012xa is as follows. Given an operator in a 4d theory that contributes to the index with weight and can acquire a vev, the index will have a pole when we tune the various fugacities so that . The residue of the pole, removing the Goldstones for the symmetry broken by the vev, is the index of the theory obtained in the IR. Let us apply this for the theories at hand.
The supersymmetric index of the trinion is,
(134) | |||
Here parametrize the symmetry group (). Let us close the puncture symmetry of which is parameterized by . First we give a vev to the moment map (denote it as ) with weight . Note that the integrand of (134) does not have a pole when we tune to be . However, the integration contour is pinched leading to a divergence. Let us look at the following poles of the integrand in ,
(135) | |||
Outside/Inside stand for poles outside/inside the unit circle integration contour. Here we assume first that the fugacities for flavor symmetries are on the unit circle and . This determines which poles are inside the unit circle contour for integration variables and which are outside. Setting now we can take . Then we have,
(136) | |||
Note then that the poles in say at and collide from both sides of the contour pinching it and leading to a divergence. We can consider poles in or which will be related to the above by the action of Weyl symmetry giving an equivalent result. Let us then plug the value and in the integrand of (134) to compute the residue,
(137) | |||
Here we have defined . The multiplication of the residue by is to remove the Goldstones. Now, notice that the contribution of the last line in the square brackets of (137) is from moment maps and the mesonic components of () which are removed by adding additional terms to the superpotential (133) when closing the puncture. We also add flip fields for the two baryonic moment maps and thus the index of the theory we obtain after closing a puncture with the mesonic vev is,
(138) | |||
This is an gauge theory with with additional gauge singlet fields and a superpotential. The quiver is depicted in Figure 42. The flux of this model in terms of the moment map symmetries of the puncture we close is .
Next we can first flip the moment maps by adding a field with the superpotential
and then close the puncture by giving a vev to . This operation simply amounts to turning on a mass term to the quarks building . The resulting pole in the index comes solely from the contribution of which is . The index of the theory in the IR is then just the one obtained by taking (134), setting and adding the flip fields determined by (133),
(139) | |||
This is an gauge theory with with additional gauge singlet fields and a superpotential. The flux of this model in terms of the moment map symmetries of the puncture we close is . Let us perform Seiberg duality for this theory. The dual theory of with is an with with the mesons flipped. The baryonic symmetry is identified between the two duality frames while the mesonic symmetries are conjugated. The resulting index is,
(140) | |||
Note that although and are very similar they are not exactly the same. They have exactly the same types of punctures as both are obtained by closing a puncture of a different theory in different ways. However let us compute the flux in terms of the symmetries of say the puncture. In the basis of the puncture we started from, as we mentioned above, the flux is . Let us compute this flux in terms of the basis ,
(141) | |||
This gives us
(142) |
From here the flux in terms of the moment maps of the puncture (5.3) is,
(143) |
Let us repeat now the exercise with flux ,
(144) | |||
This gives us
(145) |
From here the flux in terms of the moment maps of the puncture (5.3) is,
(146) |
Note that although the punctures are the same the fluxes and are different. Both fluxes preserve and are related by Weyl transformation exchanging the two baryonic symmetries and flipping the signs of the mesonic symmetries.373737The fact that is preserved follows from being obtained from by change of basis, while for the latter we established the symmetry already. It is though instructive to rederive this fact. Taking the roots of the former flux preserves explicitly . The co-spinorial weights enhance one of the s to while also giving of enhancing it to . However there is no redefinition of symmetries which will make both punctures and fluxes of the two theories the same. -gluing two copies of each one of the tube theories into a torus, and thus getting rid of the punctures, we will obtain two completely equivalent models preserving symmetry (related by simple redefinitions of symmetries), as is expected. Summing the fluxes, we obtain preserving vector and thus -gluing tube one to tube two we will obtain a different theory preserving this symmetry. See Figure 43 and we will discuss these models in more detail in the next Lecture.


Let us see explicitly how the gluing of the two different tubes works. The index of the -glued theory is,
(147) | |||
The contributions from the second and third lines are for the fields introduced in gluing the two punctures. Let us first perform the integral. Collecting all the fields and using (60) identity (index of a couple of fields which can form a mass term is equal to ) we get
(148) | |||
Here we distinguish the fugacities of the gauge groups of the tube theories by denoting one as and another as . This is an SQCD with and thus is dual using Seiberg duality to a WZ model of the gauge invariant mesons and baryons (62),
(149) | |||
Performing the integration we obtain the same expression but with and exchanged. Combining everything together we obtain the following index,
The quiver description of this theory is depicted on the right of Figure 43. On the first line we have the bifundamentals of the two gauge groups and the flip fields (denoted by crosses on the figure), the second line give an octet of fundamentals under one and the last line an octet under the other group. Computing the index of this theory one can observe that the protected states form representations of with the parametrized by . For example, taking antisymmetric squares of the octets and building invariants we can obtain operators in which build the fundamental representation of . Let us now consider simplifying this theory by deforming it. Consider giving a vev to the flip fields denoted by crosses in the quiver. These are not charged under the and thus we do not break the structure. These vevs give mass to the bifundamental fields and we remain with two copies of SQCD coupled together through a superpotential with being the mesons/baryons of each copy. This theory was discussed in detail in Dimofte:2012pd and dubbed the the surprise as it was shown to exhibit symmetry. The discussion here shows this surprise in a geometric context.383838The more precise statement is that on some locus of the IR conformal manifold of this theory the symmetry enhances to . In fact it was argued in Razamat:2017hda that on that locus (point) the symmetry is actually . The is accidental in our discussion.

Let us now consider taking one of the tubes and -gluing the two punctures to each other. The two punctures are of different types and thus we will break a part of the symmetry doing so.393939This has an interesting interpretation in 6d. The flux associated with this tube is not properly quantized, and so to be consistent must be accompanied by certain non-trivial connections in the non-abelian flavor symmetry, here in the part. These lead to the breaking of this symmetry once the tube is closed to a torus, see (Kim:2017toz, , app. C). In -gluing the moment map symmetries of the punctures are identified through the superpotential. The moment map symmetries of our two punctures differ by exchanging and and thus these two symmetries are broken to a diagonal one. The broken parametrizes the part of the symmetry. To see that let us discuss how to derive the character of the adjoint of the preserved symmetry from the vector of fluxes. Let us take the weight of the moment maps of the puncture in terms of which we compute the flux to be . These can be thought of as fugacities for the Cartan of subgroup of . For concreteness let us take the flux (146). The components is the character of the preserved while is the character of preserved . The is built from . One combination of the enhances to . Looking at the co-spinorial weights preserved by the flux, parametrizes the while the preserved . Plugging in the values of the for the moment maps of the puncture we obtain that while all the other characters are independent of . The resulting theory is depicted in Figure 44. The quiver has explicitly symmetry with the expected to enhance to . The superpotential of this theory is,
(150) |
We can derive the superconformal R-symmetry by parametrizing the trial R-symmettry as to compute,
(151) |
which is minimized for . We note that all the operators are above the unitarity bound evaluating their R-charges using this R-symmetry. Let us write the supersymmetric index. We will use the more convenient rational value of to write the expression, which is a good approximation to the superconformal one:
(152) | |||
Here we have defined,
(153) |
First we see that the states form representations of . Second, we notice that at order using the superconformal R-symmetry we have .404040With we have at that order states but these are charged under and thus will move away once we stick to the superconformal R-symmetry. This implies in fact that the number of exactly marginal deformations is . This follows as we have explicitly preserved symmetry which would contribute corresponding currents with negative signs at this order (see discussion around (56)). To obtain zero we need to have marginal operator in the adjoint of this group. Such single marginal operator will contribute exactly marginal operators number of which is the rank of the group (computing the relevant Kahler quotient this follows immediately). Moreover assuming that somewhere on that conformal manifold the symmetry enhances to we will have to have a marginal operator in the adjoint of this group which again would give a dimensional conformal manifold: consistently with the above.
Let us now try to simplify the theory of Figure 44 by deforming it but preserving the symmetry. One way to do so is to give a vev to the flip fields . These fields are only charged under and thus the deformation should preserve the symmetry. Doing so the bifundamental fields acquire a mass and decouple in the IR. Note also that on a general point of the conformal manifold we would also expect the fields to acquire a vev. One way to see this is by noting that giving a vev to we are demanding that . However the weight of the field is and thus it will be also weighed as in this limit. The fact that this vev can be generated also follows from the exactly marginal superpotential term that we have here: this superpotential breaks no symmetry. Let us assume that however the vev for is not generated (say when the above quartic superpotential is not turned on). Then, as acquire mass the gauge group on the left has only six fundamentals in the IR and thus is dual to a WZ model of the gauge invariants . These fields couple to the rest through which preserves the symmetry (and also the ). The resulting quiver is depicted on the right of Figure 44. Note that this is the theory we analyzed in Section 3.2 as an example of emergence of symmetry. The two models differ by the superpotential term which does not break the symmetry as it is a singlet of and : moreover we expect this superpotential term to be irrelevant and vanish in the deep IR.414141This can be argued for by first turning on the gauge coupling, then the superpotential and then superpotential. Yet again thus we have derived geometrically an instance of emergence of IR symmetry in 4d. Finally if we do generate a vev for this will just lead to a WZ model of fields (bifundamental of ) and ( of ) with superpotential , which again preserves . The superpotential is marginally irrelevant in the IR but if we compactify to 3d it would be relevant leading to an SCFT with global symmetry Razamat:2016gzx ; Eager:2018czl .

Seiberg duality from geometry
The interpretation of SQCD in the middle of the conformal window as a three punctured sphere with flux (130) gives us a geometric way to interpret its Seiberg duality Seiberg:1994pq , see Figure 45. The Seiberg dual is given by the same gauge theory but with the mesons flipped. Lets us understand this in our language. Note that the baryonic symmetry of the trinion in Figure 35 (and left side of Figure 45) is . This symmetry stays intact under Seiberg duality. The representations on the other hand are conjugated. One of the two appears in our quiver description of the theory explicitly while the other is split into . The latter two symmetries are parameterized by and . Seiberg duality conjugates these two symmetries. Note that these are precisely the symmetries under which the mesonic moment map operators and (5.3) are charged, and the mesonic component of is charged under the inverse of the product of these symmetries. We can phrase this as the following transformation of fugacities under Seiberg duality,
(154) |
For charges of the baryonic components of the moment maps this implies,
That is, the conjugation of Seiberg duality simply exchanges the baryonic moment maps. Note that the flux (130) has zeros in all the mesonic components of the moment map symmetries and the fluxes of the two baryonic components are equal, and thus the Seiberg dual theory should be associated to a theory with the same value of flux albeit with the mesonic components of the punctures having conjugate charges. The mesonic flip fields added in the duality transform these components to have the same charges as in the original frame. Thus geometrically the two frames correspond to a surface with same flux and same punctures and thus have to be the same, as indeed Seiberg duality claims. See Figure 45 for illustration. In other words the action of Seiberg duality can be thought of group theoretically as an element of the Weyl symmetry group of acting on the flux vector permuting first two components and flipping the signs of the rest. The flux vector associated to the trinion is invariant under this operation but the type of punctures changes, which is fixed by adding the flip fields. Permutation of the last components is also an operation keeping the theory invariant, but it does not change the types of punctures and thus it is a symmetry rather than a duality. For earlier very related interplays between the action of the Weyl group and dualities see Spiridonov:2008zr ; Dimofte:2012pd .
In fact all these statements have a generalization to SQCD in the middle of the conformal window with being the E-string case and higher coming from understanding compactifications of the minimal conformal matter compactifications Razamat:2020bix to be discussed in the next section. The SQCD in the middle of the conformal window corresponds to a three punctured sphere with two maximal punctures and one minimal puncture and flux which has components (as the 6d symmetry is ) of the form . In particular the Seiberg duality will be related to the Weyl group of .
6 Lecture V: An algorithm for deriving across dimensional dualities
In the previous lectures, we discussed how one can try to conjecture various four dimensional field theories that result from compactifications of 6d SCFTs. The method used there was to determine the expected ’t Hooft anomalies of the model, from integrating the anomaly polynomial of the 6d SCFT on the compactification surface, and then search for a 4d model having the same anomalies. To actually make progress usually one also needs some additional assumptions, like that the model is conformal with a conformal manifold passing through weak coupling. An interesting aspect in this approach is that we do not attempt to tackle the reduction directly. Rather our aim here is to build a 4d model that flows to or sits on the same conformal manifold as the 4d theory expected from the 6d reduction, without the relation between the two being immediately apparent.
This method was used to great effect in the previous lectures. Nevertheless, it has several shortcomings. First, as we mentioned, it usually requires additional assumptions regarding the nature of the 4d theory424242The specific nature of the assumption is usually the R-charges of the chiral fields under the superconformal R-symmetry, from which the and central charges of the theory can be determined in terms of the number of vector and chiral fields. The simplest assumption is that all chiral fields have R-charge of , that is the theory is conformal at weak coupling. It is also possible to explore other choices where there are chiral fields with more than one value of R-charge, see for instance Zafrir:2019hps ; Zafrir:2020epd . that may be wrong. Also the reliance on anomalies, while very convenient, is restricted to spacetimes of even dimensions. As such it is appealing to also look for other methods by which 4d theories, resulting from the compactification of 6d SCFTs, can be determined.
Here we shall present a different method that can be used to conjecture such 4d theories. Unlike the previous method, here we shall actually try to follow the reduction process to determine the 4d theories. However, the reduction itself is in general quite complicated and difficult to follow. Nevertheless, here we can use an observation we made in the previous lecture. Specifically, we noted that the resulting 4d theories are usually sensitive only to very rough properties of the surface, e.g. its genus and total flux. Other properties, e.g. the explicit metric of the surface or field strength of the flux, usually affect the result at worst through marginal operators, and in many cases only through irrelevant ones. We can exploit this for our purpose, and choose these to take a very special form for which we can follow the reduction.
We shall next discuss the method, which consists of two parts. In the first one we shall discuss a general method to conjecture the 4d theories resulting from the compactificaion of 6d SCFTs on flat surfaces, that is tori and tubes, with flux. This method follows our previous discussion and relies on following the reduction process in a specific limit where it is easy to analyze. After that, we shall introduce a method that allows us to exploit this to also understand the compactificaion of 6d SCFTs on more generic surfaces, notably spheres with more than two punctures.
6.1 The general idea
Consider the compactification of a 6d SCFT on a tube, which is just a sphere with two punctures. To set the stage, we take the coordinates of our 6d spacetime to be , with being the circle direction and the interval direction of the tube. We shall also take the bounaries of the interval to be at . We want to determine the reduction of the theory to four dimensions. We can analyze this by first reducing along the circle spanned by , to get a 5d theory on the 4d spacetime spanned by and the interval spanned by . As we noted in the previous sections, when compactified to 5d, 6d SCFTs can flow to 5d gauge theories if a proper holonomy is introduced. Here we shall assume that such a holonomy is incorporated. We shall later on see that it plays an important role in the introduction of flux. We can then reduce along the circle to get the 5d gauge theory on the 4d spacetime times an interval. At the boundaries of the interval we need to put boundary conditions, which can be expressed as boundary conditions on the 5d bulk fields as these approach the boundary, as done in lectures III and IV. Throughout this lecture we shall take the boundary conditions to be of the same type as those used in the previous lecture, that is the ones associated with maximal punctures. As the theory now is just an IR free 5d gauge theory, we can then reduce along the interval and get the 4d theory, which is just built from the 5d matter that is consistent with the boundary conditions.
So far we have discussed the case without flux. However, to deal with interesting cases requires the introduction of flux. It turns out that we can make progress by representing the flux as a variable holonomy. Specifically, we pointed out that we usually need to turn on an holonomy on the circle so that the 6d SCFT reduces to a 5d gauge theory. However, this holonomy is not unique, where in general we can have many different holonomies leading to a 5d gauge theory. For instance, say the holonomy is in a non-abelian flavor symmetry. In that case, it breaks the flavor symmetry to a group, where the holonomy resides, plus its commutant in the non-abelian group. We can now act on this holonomy with Weyl transformations of the broken group that are not part of the commutant. This should map the holonomy to an equivalent one, but which does not commute with the original holonomy. As such the space of holonomies leading to 5d gauge theories is in general quite large. Additionally, it is possible that a single 6d SCFT can reduce to multiple different 5d gauge theories, depending on the holonomies chosen, and indeed we shall present examples of such behavior later on.
We can consider introducing a variable holonomy. That is we introduce a background vector field coupled to the flavor symmetry and give it the particular profile,
with and being some matrices in the adjoint representation of the flavor symmetry of the 6d SCFT. This suggests that we have holonomy of around the circle direction for , but a holonomy of for . As such the holonomy essentially jumps at between the two values. Finally we note that the presence of the variable holonomy implies the presence of flux on the surface as . The idea now is to take our flux on the surface to be generated by such a variable holonomy, with and chosen so that the holonomy at both and is such that the 6d SCFT flows to a 5d gauge theory.
The advantage of this approach is that we can now make progress on analyzing the reduction to 4d by first reducing to 5d. This is as our system in 5d now reduces to an IR free gauge theory living on the region , and another IR free gauge theory living in the region . These two gauge theories are separated by a domain wall at . The reduction to 4d is now straightforward for the regions in the bulk, and we just expect to get the part of the 5d IR free gauge theory matter that is consistent with the boundary conditions. These should be supplemented by the fields living on the domain wall, and as such the main problem is reduced to understanding domain walls between 5d gauge theories that are UV completed by 6d SCFTs.

Let’s consider the domain walls in a bit more detail. As we mentioned we expect there to be some 4d QFT living on the domain wall. We will assume that we can derive a description of this QFT in terms of an explicit gauge theory construction. Additionally there should also be boundary conditions on the bulk 5d fields as these approach the domain wall. One operator that we expect to generically exist is a chiral operator in the bifundamental representation of the 5d gauge symmetries on the two sides of the domain wall. This is as the domain wall should extrapolate between the two symmetries. Specifically, say our 5d gauge theory has matter hypermultiplets which transform under the flavor symmetry. We should have such hypermultiplets at both sides of the domain walls. However, there should be only one flavor symmetry, so there should be some mechanism that identify the symmetries acting on the two sides of the domain wall. The presence of the bifundamenal operator gives such a mechanism. Specifically, let us denote such a chiral operator by , and break the hypermultiplets to two chiral fields in conjugate representation which we denote as , for one side of the domain wall and , for the other. Then for a hypermultiplet in the fundamental representation of the gauge group, the superpotential does the job. For higher representations, we need the superpotential 434343There are some subtle issues here for groups with spinor matter that we shall ignore here.. The components , can also be coupled to with similar superpotentials.
As such, we see that we generically expect to have a bifundamental chiral operator on the domain wall. However, we may have many more fields and such a chiral might actually be a composite. In fact we expect that most domain walls will have rather complicated matter living on them. To illustrate this, consider the case where we have two domain walls. That is we take a variable holonomy such that it has one value for say , another for and another for . We then have two domain walls, located at . Now we can consider the limit where . In this limit the two domain wall collapse to a single domain wall directly extrapolating between the holonomy at the two edges. We expect the fields living on this domain wall to be the same as the fields living on the two domain walls from which it is made, as well as the fields living on the bulk between the two. We expect the latter to contribute the gauge fields of the 5d theory, and as such we expect the single domain wall to contain gauge fields.
To make progress, it is convenient to make the following assumption. Specifically, we shall assume that there exist a domain wall such that the fields living on it can be described solely in terms of chiral fields interacting through superpotential terms. Of course this assumption may be wrong, and such a domain wall may not exist. However, making this assumption allows us to make progress in analyzing the reduction and as such we shall make it. This assumption will later be checked by a detailed study of the anomalies of the resulting model. Once we determined one domain wall, we can determine more complicated ones by gluing together this basic domain wall. Finally, we need to consider the flux associated with this tube. In principal the flux should be related to the difference in the holonomies at the two sides of the domain wall. However, in this approach we don’t actually control the holonomies, rather the domain wall is selected such that the fields living on it are particularly simple. As such we in general don’t apriori know what the flux is, and will generally determine it by matching anomalies and symmetries.
Next, we shall illustrate this method with various examples.
6.2 Compactification of the rank one E-string SCFT
As our first example, we consider the case of rank one E-string SCFT that we discussed in the previous lecture, but now from the domain wall point of view. First, recall that the rank E-string is a 6d SCFT with global symmetry. It can be compactified to 5d with a suitable holonomy such that it flows to the gauge theory with eight fundamental hypermultiplets. Here we shall rely on this fact to study the dimensional reduction of this 6d SCFT on tubes with flux.
We proceed as outlined previously. Specifically, we first reduce on a circle to 5d. As previously explained, we expect to be able to represent the flux as a variable holonomy, which we take to be such that the theory flows to an gauge theory with eight fundamental hypermultiplets on the subspace , a different gauge theory with eight fundamental hypermultiplets on the subspace and a domain wall at . The theory away from the domain wall is thus an IR free 5d gauge theory and its reduction can be easily analyzed.
Here we also need to consider the boundary conditions at the two punctures. Recall that these give Dirichlet boundary conditions to the 4d vector multiplet component of the 5d vector multiplet at the boundary. Therefore, as before, we expect the gauge symmetry to become non-dynamical at the boundary leading to an global symmetry that we associate with the punctures. Additionally we have the eight fundamental hypermultiplets. Close to the boundary we can decompose them to two 4d chiral fields in opposite representations which we shall denote as , , with denoting the chosen hypermultiplet. We then need to give Dirichlet boundary conditions to one of them and Neumann to the other for each . The exact choice doesn’t matter too much, as we can transform between them by flipping the fields as explained previously, but for presentational purposes, it is convenient to take the boundary conditions to be such that the fields receive the Dirichlet boundary conditions for while the fields receive the Dirichlet boundary conditions for .
Finally we need to address the fields living on the domain wall. For the case at hand these types of domain walls were studied in Gaiotto:2015una , and we can in principle just use the results found there. However, here we shall take a slightly different approach. Specifically, as we explained previously, we shall assume that the fields living on the domain wall can all be expressed in terms of free chiral fields. These should contain at least a chiral field in the bifundamental representation of the two groups at the sides of the domain wall, interacting with the hypermultiplets as we outlined previously. As we shall soon see when we study the anomalies of this model, this is not enough to match the anomalies and we must add one more chiral field, which turns out to be a singlet flipping the quadratic invariant made from the bifundamental. For now, we shall add it to the matter content, but will return to this issue later.

The resulting 4d theory we obtain is shown in Figure 47. Here the two global symmetry groups are the ones associated with the punctures and the is the subgroup of the 6d global symmetry that rotates the fields and . The bifundamentals on the two sides comes from the part of the bulk hypermultiplets receiving Neumann boundary conditions. Finally, the bifundamental and singlet field come from the domain wall. The fields interact trough various cubic superpotentials.
The theory has several global symmetries. First it has the non-abelian symmetries coming from the punctures, and an which is a subgroup of the 6d global symmetry. Additionally, we can define two global symmetries consistent with the superpotential, one of which, denoted as is also associated with the 6d global symmetry. It is defined such that the fields and have the same charge under it. There is another global symmetry, under which the fields and have opposite charges, but it is in general anomalous once we glue the tubes to closed surfaces.444444Closing the two punctures and obtaining the theory corresponding to a sphere with flux, this symmetry can be identified Hwang:2021xyw with the Cartan generator of the isometry of the sphere which becomes a global symmetry in 4d (see Bah:2019rgq ; Hosseini:2020vgl ). Finally, there is a R-symmetry, which is convenient to define as the one coming from the Cartan of the 6d R-symmetry. Since the fields and came from components of the 5d hypermultiplets, they should have R-charge under it. The superpotential then forces the bifundamental, , to have R-charge and the flip field to have R-charge .
Exercise: consider the anomalies of the tube and check that these match the 6d expectation. Note that we have not determined the flux associated with this tube yet. However, are there anomalies that are independent of the flux? If so do these match the 6d expectations?
As we mentioned there are two sources of contributions to the 4d anomalies from the 6d ones. One is from the integration of the anomaly polynomial on the surface and the other is from the punctures. The latter are independent of the flux so we are led to consider the former. The only non-trivial contribution can come from the flux, and as such must come from the integration of the term. As such there are several anomalies that will not receive contribution from it, and so are independent of the flux. These are the , and for some flavor symmetry. The contribution to all these anomalies will come only from the punctures for which we can evaluate:
(156) | |||
Now let’s consider comparing them with the anomalies we observe in the tube. For the ones only involving the R-symmetry we have that:
(157) |
where the first term is the contribution of the bifundamental and the second term is the contribution of the flip field.
For the one involving the flavor symmetry we have that:
(158) |
where again the first term in the first equation is the contribution of the bifundamental and the second one is the contribution of the flip field.
We see that the anomalies indeed match. However, note that for this matching to work it is important that we have the flip field. This is one way to understand why we must add it, as otherwise the anomalies won’t match. Furthermore, this necessitates that it has R-charge of and charge of . The requirement that the charges have this value then also determines the superpotential.
Gluing two tubes to form a torus
Having formed a conjecture for the 4d theory associated with the compactification of the 6d E-string SCFT on a tube with flux, we next want to test this conjecture and in the process determine the flux. To do this it is convenient to work with closed surfaces with no punctures, and as such we shall take two such tubes and glue them together. The gluing process is done as we explained in the previous lectures. Specifically, here the moment map operators associated with the punctures are the bifundamentals. We first note that these are charged differently under the 6d global symmetry for the two punctures so the punctures then have different colors. What we shall do is take two tubes and glue the punctures of same color of each tube together. As we are gluing punctures with same color, the gluing we need to perform is gluing, so we gauge the global symmetry of the two punctures with an vector multiplet with eight fundamental chiral fields, the fields . These are then coupled to the moment map operators associated with the two glued punctures via a quadratic superpotential. The latter just becomes a mass term, leading to the fields and some of the moment map operators being integrated out. We end up with the theory shown in Figure 48.

We can next study the resulting theory. We first note that the R-symmetry giving free R-charge to all the chiral fields is anomaly free, suggesting that the theory might be a conformal theory at weak coupling. As such, we could have in principle arrived at this theory using our previous strategy. We can then ask whether it is actually conformal or not. We first note the two flip fields should decouple as there cannot be any quotient for the symmetries acting only on them. Using the same methods as in the previous lectures, one can show that the remaining theory has a non-trivial quotient so we get a 4d SCFT and two decoupled free fields.
The first thing we want to do is check whether this theory has the right properties to indeed be the dimensional reduction of the 6d E-string SCFT on a torus with flux, and if so to determine the flux. To do so we first evaluate the superconformal index. As we are mainly interested in matching with expected properties from 6d, we shall calculate the index including the flip fields and refining only with respect to symmetries existing in 6d, that is we shall ignore the fact that the flip fields should decouple. The result we find is,
(159) | |||
One thing we note in this index is that it forms characters of . Specifically, we have that . As such it is tempting to assign to it a flux of value preserving the subgroup of . Indeed we have the branching rules: . This suggests that the 6d global symmetry is related to the symmetry we see in 4d by: .
The claim can be further supported by looking at the ’t Hooft anomalies of the model. Specifically, we can calculate the ’t Hooft anomalies of the model finding:
(160) | |||
with the rest vanishing trivially. These anomalies indeed match the anomalies expected from the compactification of the rank one E-string on a torus with unit flux preserving the subgroup of (which can be read off from Appendix F.3). Here we use the expected embedding of the 4d symmetries in the 6d global symmetry suggested by the index, and the following embedding index: .
All this is consistent with the flux being of value preserving the subgroup of . Since we got this theory from gluing together two copies of the tube we introduced, we are lead to associate with the tube a flux of preserving the subgroup of . We can write this flux in our flux basis as 454545Here we are using the basis of the roots of were its spinor roots are taken to have an even number of minus signs. This is as the puncture symmetry of the tube theories here does not have Witten anomaly..
Combining domain walls
We have seen how our method can be used to conjecture 4d theories associated with the compactification of 6d SCFTs on tubes by relating the problem to the behavior of domain walls in 5d and assuming there exist a particularly simple type of the latter. Next, we want to build on that and also get models corresponding to the compactification on tubes with other values of flux. We can do so by combining two domain walls to form more complicated domain walls.
Specifically, consider the configuration where we now have two domain walls, that is we take our holonomy to have the value on one side of the interval, in the middle of the interval, and on the other side. As we explained previously, we can also view this as one domain wall extrapolating directly between and , though it is easier to analyze this if we instead view it as multiple domain walls. In particular, as we have determined one domain wall, we can ask how can we combine that one domain wall to form more general ones.

The most straightforward way to do so is to simply chain them together. That is we take the two domain walls to be identical. If we do this then we can repeat our previous analysis and arrive at the theory shown in Figure 49. Here as before, the bifundamentals at the two edges come from the component of the bulk hypermultiplets that receive Neumann boundary conditions. The bifundamental and its flip field come from the domain walls, where now we have two of them. In the middle however, we now have a gauge group, as the vector receives Neumann boundary conditions at the domain wall. This suggests that the adjoint chiral receives Dirichlet boundary conditions there, explaining its absence. Finally, we again have the bifundamental that comes from the component of the bulk hypermultiplets that receive Neumann boundary conditions, now at the domain wall. The end theory is just the theory we get if we glue two tubes to themselves. This of course is as expected as the resulting surfaces would indeed be itself a tube, but now with two domain walls. As such the flux associated with this tube is just twice the flux of the original tube, which in our basis is .
The more interesting case is when we glue the tubes with a Weyl symmetry twist. We noted that the flux associated to the tube should be such that it breaks into . We have many different choices on how to embed this flux inside . For instance, consider one such choice. Then we can get an equivalent, yet different choice by acting on the flux with part of the Weyl group of that is broken by the flux. Since these are equivalent fluxes, the tube theories that we have presented will be the same for both of them, and so also if we glue each one of them to another copy of itself. However, if we glue together two tubes preserving a different inside , then the resulting tube will be different. In particular, it will no longer preserve an subgroup. We shall next illustrate how this is done with an example.
We first consider breaking the global symmetry to as follows: . To see why this is interesting it is convenient to also break into these symmetries, where we have:
The interesting property that we shall soon make use of, is that the adjoint of is symmetric under the exchange , . This is part of the Weyl group of . To illustrate this, consider the subgroup of . This decomposition induces also a decomposition of such that . This implies that this transformation reduces to the Weyl transformation acting as charge conjugation on four out of eight independent subgroups of .

Let’s consider two copies of the tube we presented, which we have included in Figure 50. Here we have used different fugacities for the symmetries of the two theories to stress the fact that we have not yet identified the symmetries between the two theories. The simplest identification is to take: , , and . This makes the two tubes identical and we can glue them to get the tube we previously mentioned.
However, in light of what we have seen from the decomposition of the adjoint of , we can also make the identification: , , and . This will still map the symmetry of the underlying 6d SCFT to itself, but with some action of the Weyl symmetry of . The two tubes are then not completely identical, as can be seen from the fact that the matter representation under the symmetries are slightly different. Specifically, we note that while the bifundamental on the lower right of Figure 50 (a) and lower left of Figure 50 (b) have the same charges, the ones on the upper right of Figure 50 (a) and upper left of Figure 50 (b) have opposite charges.

We can next glue the two tubes together. Here the gluing is done with gluing for the four bifundamental chiral fields with the same charges, and with S gluing for the four bifundamental chiral fields with opposite charges. This leads to the tube shown in Figure 51. We can also understand this tube as follows. Recall that the bifundamental chiral fields come from the bulk eight hypermultiplets consistent with the boundary conditions. As such, if they have the same charges, then that suggests that the same component of the hyper receives Neumann boundary conditions on both ends, while if they have opposite charges then different components receive boundary conditions at the two ends. As the boundary conditions at the edges should be the same as on the domain wall, this suggests that fields with the same charges will receive Neumann boundary conditions on the two domain walls, and so survive the 4d reduction, while for those with opposite charges every component should receive Dirichlet boundary conditions at least on one of the domain walls.
We next want to determine the flux associated with the new tube in Figure 51. This should be given by the sum of the fluxes of both tubes, when evaluated in the same basis. For the first tube we can take the flux to be . For the second one the flux is the same, but in a different basis related to the one of the other tube by the Weyl transformation. As the latter is of order two we can undo it by performing it again. Recall that we determined that the Weyl action we consider here should act on the eight subgroup of by charge conjugating four and leaving the rest invariant. This suggests that in the basis of the first tube, the flux of the second tube is . We then conclude that the flux of the tube in Figure 51 is , which is a half flux preserving the subgroup of .
These results can be checked by gluing two copies of this tube and studying its anomalies and superconformal index. This method can also be generalized to build many more domain walls, and as such 4d theories associated with compactifications on tubes, for many other values of flux. We refer the reader to Kim:2017toz for more information on both subjects.
6.3 Compactification of minimal conformal matter theories
Having illustrated the basic idea by studying the compactifications of the E-string SCFT, we next wish to further elaborate on interesting phenomena and considerations that can appear in this construction. For this we consider another example, now involving the compactification of the 6d SCFT known as the minimal conformal matter on a torus with global symmetry fluxes. For brevity, we shall usually refer to this SCFT as minimal type conformal matter.
The minimal type conformal matter
The type conformal matter theories is a family of 6d SCFTs. This family can be engineered in string theory as the theories living on M-branes probing a singularity DelZotto:2014hpa ; Heckman:2018jxk . The specific case of is known as the minimal case and is the one we will consider here. We note that for , this SCFT is just the rank one E-string theory that we have discussed in detail. As such, we can think of this family as a generalization of the previous case.464646There are other possible generalizations. For instance, we can keep , and take to be arbitrary, leading to non-minimal type conformal matter theories. Alternatively, we can use the constructions of the E-string as the theory living on one M-brane in the presence of an M-plane, and generalize to the case of M-branes. This class of theories is known as the rank E-string theories. We note that all theories in the three families are distinct, save for the rank one E-string. One advantage of this generalizations is that as we still have only one M-brane, the tensor branch of these theories is still one dimensional.
These theories have a convenient field theory realization that we shall next study. Specifically, starting from the SCFT point we can deform it by giving a vacuum expectation value to the scalar in the tensor multiplet, that is by going to the tensor branch. This initiates an RG flow that in many cases ends with a 6d IR free gauge theory, whose coupling constant is identified with the scalar vev, see Appendix E. For the case at hand, this 6d tensor branch theory turns out to be a gauge theory with fundamental hypermultiplets. As such we can also think of this 6d SCFT as a UV completion of this 6d gauge theory. The gauge theory as an global symmetry algebra rotating the fundamental hypermultiplets, which turns out to also be the global symmetry algebra of the 6d SCFT.474747As the 6d SCFT and 6d gauge theory are related by flow, the usual caveats regarding the relation between their symmetries apply. Interestingly, in this case, while the two share the same global symmetry algebra, they don’t share the same global symmetry group. Specifically, the gauge theory has an global symmetry group. However, the 6d SCFT has a global symmetry group, see the discussion in Kim:2018bpg . This comes about as the 6d SCFT has a Higgs branch operator in a chiral spinor representation of , which becomes massive once we go on the tensor branch. Finally, we note that for this Higgs branch operator actually becomes a conserved current multiplet, leading to the enhancement of .
We can next consider the compactification of this theory to 5d. From our previous discussion, we shall be mainly interested in possible 5d gauge theory descriptions that can emerge from such a reduction with a suitable holonomy. One intriguing property that this family of SCFTs has is that there are actually three different possible 5d gauge theories one can obtain Hayashi:2015fsa ; Hayashi:2015zka . The first has gauge group and fundamental hypermultiplets, the second has gauge group , no Chern-Simons term and fundamental hypermultiplets, and the last has gauge group , bifundamental hypermultiplets connecting the groups into a linear quiver, and four fundamental hypermultiplets for each of the groups at the ends of the quiver. Note that these all degenerate to for .
This phenomena has profound implications on the study of 4d compactification. First, we noted that punctures can be associated with boundary conditions of the 5d gauge theory, but what happens when there are multiple such theories? In that case it appears that we can associate a family of punctures to each 5d gauge theory description. Specifically, we can use the boundary conditions to define a maximal puncture associated with each 5d gauge theory description. Each puncture will have the gauge symmetry of the 5d theory has its associated global symmetry, and carry its own type of moment map operators. We can then choose to partially close the puncture by giving a vev to the moment map operators. This creates a family of punctures starting from each maximal puncture.484848 It is an open question whether each family is entirely disconnected from the other or rather whether some sub-maximal punctures are shared between the different families.
Naturally, we can also use the three possible descriptions to construct different boundary conditions. As before we can try to build domain wall theories for domain walls between the same description, as we did for the E-string case, for each of the three gauge theory descriptions. Furthermore, we can consider domain walls where there are entirely different gauge theory descriptions on each side. This leads to six different possibilities. We can then try to conjecture the resulting 4d theories by assuming that the theory living on such domain walls is made of chiral fields, and check whether or not such a conjecture can reproduce the properties expected from theories corresponding to the compactifications of these 6d SCFTs. This analysis has been carried out for this family of theories, and out of the six possibilities only three yield sensible results:494949For the other three cases it seems the domain walls are more complicated. Specifically, we can form tubes by gluing two tubes along the punctures. These tubes will then contain gauge fields from the gluing. Tubes realizing the or combinations have not been worked out to our knowledge, though one should be able to do this using the results of Razamat:2019ukg . , and . Next we shall further illustrate the use of the domain wall method by performing this analysis for the case. For the analysis of the case, and for more details on the analysis of the case, we refer the reader to Kim:2018bpg , while for the analysis of the case, we refer the reader to Kim:2018lfo .

The tube
Following the previously outlined procedure, we can attempt to conjecture a 4d model associated with the compactification of the minimal type conformal matter theory on a torus with punctures. Here we shall concentrate on the cases built from the domain wall, so we take the punctures at the two ends to be maximal punctures. Following our previous discussion, we then make the ansatz for the theory shown in Figure 52. Here we have the global symmetries associated with the two maximal punctures at the two ends of the tube. These come from the 5d gauge symmetry in the bulk that becomes a global symmetry as the vector receives Dirichlet boundary conditions. Additionally, we have the fundamental hypermultiplets. Half of the chiral fields in them receives Neumann boundary conditions, while the other half receives Dirichlet boundary conditions. As the representation for generic are complex, the representation under the puncture global symmetry of the surviving hypermultiplets depends on which component receives the Neumann boundary condition. As we do not know this a priori505050Technically, we can choose the boundary conditions at the punctures to be what ever we want. However, to maintain the similarity to the previous case, we want to choose the boundary conditions for the bulk hypermultiplets at the punctures to be the same as the one at the domain wall. The issue then stems from our lack of knowledge regarding the boundary conditions on the domain wall for domain walls with only chiral fields living on them., we shall leave this question open for now and answer it soon. As such we shall assume that we have hypermultiplets where the fundamental receives Neumann boundary condition on one side, and hypermultiplet where the antifundamental receives Neumann boundary condition on the same side. Naturally, we have that .
Next we consider the domain wall. As before we shall make the assumption that the fields living on the domain wall can be described using only chiral fields. On general grounds, we expect there to be an bifundamental chiral field. It should interact with the fundamental and anti-fundamental chiral fields associated with the two punctures via the superpotentials:
(162) |
where here refers to the bifundamental chiral, and , and , refer to the fundamental or anti-fundamental chiral fields associated with the punctures. There might be additional fields associated with the domain wall. To get a better understanding of this, it is good to again consider the anomalies of the tube. Specifically, we want to look at the , and anomalies, where is defined as in Figure 52. These anomalies only receive contributions from the punctures and not from integrating the anomaly polynomial on the surface, and so can be evaluated from the data available to us. The puncture contribution gives:
(163) | |||
However, the evaluation in the gauge theory gives:
(164) |
This suggests that we need to add an additional field. The minimal possible addition consistent with our assumption regarding the nature of the domain wall is a single free chiral field with R-charge and charge . This field has a natural interpretation, as its charges are just right for it to flip the baryon made from the bifundamental. As such we conclude that our conjecture for the tube is the theory shown in Figure 52.

Testing the tube
We next move to perform more stringent tests on the tube theory that can be used to determine the flux and to provide supporting evidence that it is indeed a tube theory associated with the claimed compactification. As before, it is convenient to do this by gluing two tubes together to form a closed surface. For this case, this leads to the theory show in Figure 53 (a), which we shall next analyze.
The first thing we need to make sure of is that the resulting theory is consistent. Specifically, as the theory is chiral, we need to worry about gauge anomalies. Indeed for generic values of , we have a non-zero gauge anomaly . Demanding that this anomaly vanishes, together with the constraint , forces , . We therefore see that the consistency of the theory uniquely fixes the tube theory. Additionally, we would like to make sure that the symmetry is anomaly free as we have made use of it when matching the anomalies between the tube and the 6d expectation. Indeed is anomaly free precisely with these values of and . This is already an indication that we are on the right track.
The concrete torus theory we need to study then is the one shown in Figure 53 (b). We can next study this theory and compare the results with our 6d expectations. As before the analysis consists of two steps. One is to compute the superconformal index and the other is to compute the anomalies. These are then compared to the 6d expectations and are needed to be consistent with them and with one another. We shall first start with the computation of the superconformal index, which can be used to determine the flux and the mapping of symmetries, which facilitates the matching of anomalies. For simplicity, we shall here take the case of and also compute the index of the model without the flip fields, as it appears the flip fields decouple in the IR. This is seen by looking for the expected superconformal R-symmetry via -maximization. We then find for the superconformal index:
(165) | |||
One interesting thing to note about this index is that it forms characters of . Specifically, we have that , , so in terms of characters the index reads:
(166) | |||
This suggests that this theory should be associated with the minimal flux preserving a subgroup of , which is the global symmetry algebra of the 6d SCFT for . We can as before introduce a flux basis for where the roots are spanned by permutations even number of reflections. In this basis, we can associate with this theory a flux given by .515151Here it is important that the group is actually so this gives the minimal flux preserving the subalgebra. Indeed this is further supported using the logic of babuip (which we do not review here) by noting that the index contain the states , which have the precise charges to be coming from the broken currents of under that subgroup. We also expect states in the from the broken currents. These are just the flip fields which we have not included in the index. This term arises in the gauge theory from the mesons from the fundamental and antifundamental chirals at the two sides.
For general , we expect the enhancement of . This can be seen by again looking at the mesons and noting that we now get a state in the . This fits with the minimal flux preserving a subgroup of , which is given by in our flux basis. This also determines the embedding of the symmetries.
We can next compare anomalies. For this we first need the anomaly polynomial of the 6d SCFT. For the case at hand, this was computed in Ohmori:2014kda (see also Kim:2018bpg ), and we can just use their results. Alternatively, it can be computed from the gauge theory description similarly to the computation in Lecture III, though now we also need to take into account the contribution of the hypermultiplets (see Ohmori:2014kda ; Razamat:2016dpl for the relevant expressions). Either way, we have that,
Next we need to introduce the flux. As we mentioned, we expect the theory to be associated with compactifications having a unit of flux preserving the subgroup of . From our study of the index, we can infer that the expected relation between the 4d and 6d global symmetries should be,
This induces the following relation among the characteristic classes:
(169) | |||
Here the flux is inside , so we need to take , where is the 4d part of the characteristic class. Note that the minimal charge under here is , which leads to the normalization factor in front of , which ensures that the flux is of unit value in a normalization where the minimal charge is . Inserting all of this into (6.3) and integrating on the Riemann surface, we arrive at the expected 4d anomaly polynomial:
(170) | |||
where here we used the decomposition for the characteristic classes of the R-symmetry bundle in terms of those of its Cartan.
We can next compare that against the results from the gauge theory. Specifically, we find that:
(171) |
with the rest of the anomalies vanishing either trivially or non-trivially. This matches what we expect from 6d, particularly, the anomalies encoded in (170).
6.4 From tubes to trinions
So far we discussed a method to conjecture and test 4d theories associated with the compactification of certain 6d SCFTs on tubes with flux. We have noted how we can capitalize on the understanding of even just one tube, and build from it a wealth of other tubes leading to a potentially extensive understanding of the compactification of 6d SCFTs on flat surfaces with flux, that is tubes and tori. While we shall not discuss this here, we can further extend our understanding to compactifications on surfaces with positive Euler number, like spheres with no punctures, by closing down the punctures (See Fazzi:2016eec ; Nardoni:2016ffl ; Razamat:2019sea ; Hwang:2021xyw .). This, however, leaves the question of understanding the compactification on surfaces with negative Euler number, notably Riemann surfaces of genus , a question which we shall try to address next. The discussion follows the results of Razamat:2019mdt (See also Razamat:2019ukg ; Sabag:2020elc .).
It turns out that we can make surprising progress on tackling this problem by considering an altogether different and seemingly unrelated problem. The specific problem turns out to be understanding the relationship between RG flows of 6d SCFTs and related RG flows of the 4d theories resulting from their compactifications. As such, we shall next switch gears and consider this problem, after which we shall elucidate on how this new understanding can be put to use in tackling the problem of finding trinions.
A relationship between flows in different dimensions
The problem we wish to consider can be simply stated as follows. We have considered the compactification of 6d SCFTs. These are field theories in 6d and can be related to one another via various flows. For flows preserving supersymmetry, we are limited to ones triggered by giving vevs to various fields. This can be separated into two classes: tensor branch flows and Higgs branch flows. The former are done by giving a vev to a scalar in the tensor multiplet, while the latter are done by giving a vev to a scalar in the hypermultiplet. There are no scalars in the 6d vector multiplet leading to the lack of a ”Coulomb” branch for 6d SCFTs. The vevs break conformal invariance and initiate an RG flow starting from the 6d SCFT and ending with a new theory, that in some cases is also a 6d SCFT. Let us assume that is the case and denote the starting 6d SCFT as , the final 6d SCFT as , and the operator to which we give the vev as .
Now consider compactifying on a Riemann surface to 4d, potentially with flux in its global symmetry. This should result in a 4d theory which we denote as . We know that the 6d SCFT contains the operator , and we expect that this operator might reduce to a 4d operator, . Of course this may not always be the case, but let’s for the moment assume it does. Then we can try to give the 4d operator, , a vev as well and thus initiate a 4d RG flow. Again, there is the possibility that the operator cannot be given a vev, but we shall for the moment assume that this is not the case. We then expect this to cause a 4d RG flow between the 4d theory , and the end point of the flow, which is some 4d theory that we denote as . It is then natural to ask does the theory also has a higher dimensional interpretation as a compactification of and if so what is the compactification data? In other words, instead of asking what happens to specific theories upon dimensional reduction, it is also natural to ask what happens to RG flows upon dimensional reduction.
So far we have been somewhat general regarding our chosen deformation. However, next we wish to concentrate on a specific class of deformations, the ones associated with Higgs branch flows. The main reason for that is the special place occupied by the operators whose vevs cause these flows. Specifically, such operators are short representation of the 6d superconformal group, that is they are BPS operators, and are in fact the shortest possible representations. As such, they form a chiral ring. This is in contrast with tensor multiplets that don’t enjoy any such protection. This is useful as it suggests that the resulting 4d operator may also be BPS, and as such enjoy some protection. This reduces the chances that these operators disappear during the flow, and furthermore allows for their detection and study via the superconformal index, which is very convenient for our purposes as it is not too sensitive to potential 4d strong coupling phenomena. As such, we shall concentrate here on the study of the dimensional reduction of such Higgs branch flows.
Consider a 6d SCFT, which can be deformed to a 6d gauge theory by going on the tensor branch. We can go on the Higgs branch by giving a vev to a scalar field, , which in the gauge theory description appear as the lowest components of a hypermultiplet525252More abstractly, these would be lowest components of Higgs branch chiral ring operators. For simplicity, we shall phrase things here mostly using the Lagrangian 6d gauge theory, though we expect things to hold also for the actual 6d SCFT.. Naturally, the vev must be such that it does not change the energy. Due to the kinetic terms, this necessitates that , that is the vev is a constant.
So far we have considered the theory in flat spacetime with no background fields. However, we next want to consider the case where the 6d SCFT is compactified on a Riemann surface coupled to background gauge fields. For simplicity, we shall first take the Riemann surface to be a torus supporting non-trivial fluxes associated with global symmetries. The main difference is that we now expect the standard partial derivatives in the kinetic term to be replaced with covariant derivatives, , and as such that the requirement that the vev does not change the energy to be replaced with . The latter, however, is in general not satisfied just by being a constant.
Naively then, the presence of the flux eliminates the vev, and we may wonder if such flows actually have an image in the dimensionally reduced theory. However, we can try and examine this in more detail by using the domain wall picture. Here we use a specific realization of the flux, such that it is localized at a discrete number of points, relying on the observation that the compactification result generally only depends on the total value of flux and not so much on its explicit realization. We have seen how this can be used to better analyze the reduction process, and we can employ it again for our purposes here.

The main advantage that we gain from this is that we can now choose the flux configuration so that it is localized at only few points. Away from these points, the solution should still be valid so we expect that we should be able to turn on such vevs, with potential modification at the points were the flux is non-vanishing. Such solutions are actually quite common in physics, and are known as vortex solutions. These are ubiquitous in spontaneously broken gauge theories, and describe configurations in which the Higgs field, whose vev triggers the breaking of the gauge symmetry, approaches its vev value at infinity, only significantly deviating from it in a localized neighborhood. At this neighborhood the value of the Higgs field approaches zero. Additionally, the flux of the approaches zero at infinity, only significantly deviating from this value at the localized neighborhood where the Higgs field is nearly vanishing. This neighborhood is then where the flux is localized, and its size defines the size of the vortex. The solution we are proposing then can be thought of as such a vortex solution in the limit where the size of the vortex becomes zero. This analogy is useful as it gives some idea on how these space dependent vevs would look like if one considers more generic flux configurations
We then expect that these vevs can still be turned on but now instead of being strictly constant, they should look like a vortex solution, at least in the limit where the flux is localized around small disjoint patches in space. Now consider the resulting 4d theory. We can look at it from two different perspectives. Consider first performing the compactification and then giving the vev. We shall also assume that the operator acquiring the vev desends to an operator or a collection of operators in the 4d theory. We would then naively expect that giving a vev to this operator should mimic the effect of the 6d vev. See Figure 54 for an illustration.
Now let us consider the case where we give the vev already at the 6d level. We then flow to a new 6d SCFT. We expect that the theory we got by giving a vev to the 4d theory to be also realizable by the compactification of this 6d SCFT. The subtle issue here is the nature of the compactification surface. It turns out that this surface is given by the initial surface with extra punctures, which can be attributed to the points where the vev is not constant. In other words, it seems that the non-constant vevs are manifested in this reduction as additional punctures. In addition the flux of the compactification may change.
The picture emerging from this study is as follows. Consider the theories , , and that we mentioned previously. Recall that is the result of the compactification of the theory on some Riemann surface with flux. Then we have that is also the compactification, of now theory , on the same surface, but with potentially more punctures and a different value of flux. This idea is illustrated in Figure 5 (which we reproduce here in Figure 55 for convenience).

These results were motivated in Razamat:2019mdt by the study of the compactification of the 6d SCFTs living on M-branes probing a singularity. Particularly, these SCFTs possess Higgs branch flows leading from theories with one value of to ones with smaller values535353This class of theories actually possess a very rich structure of Higgs branch flows. Specifically, besides the flows reducing , there are also flows that reduce . Finally, there is a rich structure of additional Higgs branch flows leading to new 6d SCFTs. We shall not consider such flows here., and one can study these flows. In this class of theories, a string theoretic picture can be used to argue from the domain wall picture that one indeed get extra minimal punctures in the theory after the flow. Finally, this can be explicitly checked in various models. The results are that indeed the two 4d theories are related as explained with the number of additional minimal punctures being proportional to the flux felt by the operator receiving the vev.
Interestingly, this picture suggests a curious connection between punctures and and domain walls. Specifically, we noted that if the operator receiving a vev is charged under the symmetry receiving a flux, which we can insert in 5d through a domain wall, then we should get a puncture left at the location of the domain wall. We noted that the domain walls are a specific tractable limit of representing fluxes, and there are in principle various deformations one can take of them. These deformations usually don’t affect the IR, or affect it only through marginal operators. An example of these types of deformations is the moving around of the domain walls, where we can even merge several domain walls together to form a different domain wall. Indeed, we have used this previously to construct more complicated domain walls from known ones. We can then wonder what these relations imply for the puncture. Specifically, the motion and union of domain wall is something that also apply to puncture, where we can move punctures around and even in some cases merge them together to form different punctures. The exact relation between the two and what can it teach us about them is something that has not been explored in detail yet. See for related discussion Chacaltana:2012ch ; Razamat:2019ukg ; Razamat:2020bix ; Razamat:2018gro .
Application to the construction of trinions
So far we have discussed what happens to Higgs branch flows under the process of dimensional reduction. We noted that if two 6d SCFTs are related by a Higgs branch flow then a similar relation may exist for the compactified theory. Specifically, if the 4d theory, resulting from the compactification of the 6d SCFT from which the flow is initiated, has a BPS operator which comes from the 6d Higgs branch chiral ring operator receiving the vev, and if such an operator can receive a vev, then giving it a vev in 4d should produce the image of this flow in 4d. This flow should then lead to a new 4d theory which also possesses a higher dimensional interpretation as the compactification of a 6d SCFT, now the one at the end of the 6d RG flow. However, the details of the relation are sensitive to the flux, specifically the one felt by the operator. If the latter is zero then most of the compactification details are expected to remain unchanged, up to the fact that part of the symmetry is broken by the vev. On the other hand, if the flux felt by the operator is non-zero then some of the details of the compactification will change. Notably, the compactification surface will change by the addition of punctures, number of which is expected to be the number of flux quanta felt by the operators, and whose nature may depend on details involving the flux. Additionally, the flux associated with the compctification will change due to the breaking and identification of symmetries caused by the vev. This is motivated by the domain wall picture of the flux, and has been tested in several models, notably the family of and type conformal matter 6d SCFTs, although it is still unclear whether it will hold for arbitrary 6d SCFTs.
This observation has an interesting application that we shall next consider. Say we have an established conjecture for the 4d theories resulting from the tube compactification with global symmetry fluxes of a family of 6d SCFTs, which are related to one another via Higgs branch flows. Such flows are triggered by a vev to a BPS operator in 6d. We can then consider looking for the 4d operator expected to come from such 6d operator. This can be done by reading the global symmetry charges of this operator, translating them to the charges of symmetries in the 4d theories and looking for a chiral operator with the same charges.545454As we previously mentioned, the Higgs branch chiral ring operators, to which we give a vev to start the flow, are in short representations. Specifically, if the scalar primary is in the dimensional representation of , they obey a shortening condition where the application of the supercharge annihilates the state if the representation of the final state is of dimension , see Cordova:2016rsl for the details. This suggests that the top (bottom) component should be annihilated by the component of the supercharge that raises (lowers) the spin. These components should then descend to chiral fields. Additionally, they should carry the same charges under the flavor symmetry as the primary of the Higgs branch supermultiplet. We can then give such 4d operator a vev, assuming this is indeed possible in the 4d theory. If so then this initiates an RG flow in 4d which should be the image of the 6d RG flow.
This flow should end with a 4d theory associated with the compactification of a different 6d SCFT in this family, but now on a surface with different flux and more puncture. The latter point is of special interest to us, as it allows us to gain insight into the compactification of 6d SCFTs in this family on spheres with more than two punctures just from knowledge of the compactification on spheres with two punctures. This is the main application of this observation to understanding the compactification on generic surfaces.
We next want to comment on the number and nature of the puncture. In the spirit of the discussion in this section so far, we shall assume that the 4d theories resulting from the tube compactification of this family of 6d SCFTs were derived using the domain wall method. This would then suggest that the basic models here are associated with very simple domain wall theories, that is ones whose fields living on them are just chiral fields. These domain walls are then thought of as being somewhat elementary on account of not being separable to two simpler domain walls. This then first suggests that they should correspond to minimal flux, and as such it should be possible to get a sphere with three puncture for some tube theory in this family. Second, the simplicity of such domain walls would also lead us to expect the resulting puncture to be of minimal type. This is indeed generically what has been observed in this construction.
More complicated domain walls may lead to other types of punctures. However, in our construction, we opted to construct such domain walls by chaining simpler domain walls together. This has lead to the interpretation where you can represent a flux by a single domain wall, or by chaining of multiple domain walls corresponding to smaller flux. For the case at hand, this suggests that the same may be applied to the punctures, that is that it may be possible to merge multiple punctures to form a puncture of a different type. This all relies on the observation that only a handful of parameters are relevant in the IR theory.
This method can then be used to get theories corresponding to spheres with more than two punctures just from knowledge of the theories associated to spheres with two punctures. However, we don’t have that much control on what type of additional punctures would appear. Generically, we expect to get two maximal punctures, coming from the original punctures of the tube and a collection of minimal punctures, roughly associated with the number of basic domain walls needed to engineer the flux. Nevertheless, it might be possible to merge the punctures to form more general punctures, which would then be interpreted as coming from a single domain wall which is the merger of multiple domain walls. In some cases, we can actually form a maximal puncture using this construction, and thus achieve a derivation of a trinion theory Razamat:2019ukg ; Sabag:2020elc .
We shall next illustrate this method with an example.
From tubes to trinions for type conformal matter theories
Let us briefly apply the general algorithm of deriving spheres with more than two punctures by flowing from minimal conformal matter tori to minimal conformal matter tori with punctures. We will rederive the results of Razamat:2020bix using the technology described above and following Razamat:2019ukg . We begin by considering the flow in 6d from the minimal conformal matter to minimal conformal matter in flat space. For this, we recall that we can think of the minimal type conformal matter as the UV completion of the 6d gauge theory with gauge group and fundamental hypermultiplets. The Higgs branch flow in question is described in the gauge theory by giving a vev to two fundamental hypermultiplets, or more correctly, to the quadratic gauge invariant made from them. This gauge invariant is indeed a Higgs branch chiral ring operator, which furthermore is the conserved current supermultiplet.
Next, we look at the 4d theory we associated to the torus compactification of this theory. Specifically, we take the simple torus model obtained by gluing together two tube theories, here reproduced in Figure 56.

We next seek the 4d operator expected to descend from the 6d Higgs branch chiral ring operator in question. In this case, as the operator is just part of the conserved current multiplet, it is easy to identify a possible choice. Specifically, we noted previously that the operator , in the notations of Figure 56, matches the 6d expectation as being an operator descending from the broken current multiplet, and as such we shall take this operator.
We then consider giving a vacuum expectation value to this operator. As it is a mesonic operator, it breaks one of the gauge nodes down to . We can analyze the flow triggered by the vev using a variety of techniques, e.g. the supersymmetric index, as was done in Section 5.4. We will not do so in full detail but just outline the initial important steps. The weight of the operator in the index (which encodes its symmetry) is . Here () parametrize the global symmetry and the global symmetry. We thus should set e.g. by setting appropriately. We need then to find the locus of the pinching of the contour integral. Parametrizing the gauge fugacities by () the contour integral setting is pinched e.g. at .555555 To be precise we parametrize the fields as . Using these values for and (following from ) one obtains the quiver on the left side of Figure 57.565656The preserved gauge symmetry is parametrized by so that and that for .


It is useful to redefine the symmetries in the following way,
(172) | |||
Here is a fugacity parametrizing an symmetry appearing on the quiver on the right side of Figure 57: the combination of symmetries giving enhances to in the IR of the flow triggered by the vev. One should turn on all the superpotential terms consistent with the symmetries detailed in Figure 57.

Now we want to interpret the theory on the right side of Figure 57 as a torus compactification of minimal conformal matter with a single minimal puncture. In particular we want to interpret it as a three punctured sphere, with two maximal punctures and one minimal puncture, -glued to itself to form the torus. The quiver of Figure 57 is naturally interpreted as such. The fields and form -plet of fundamental fields which flip the moment maps when -gluing. The is the the symmetry we will associate to the minimal puncture: note that this is a combination of 6d symmetries of the higher minimal conformal theory we started with. The gauge symmetry can be interpreted as gluing the two maximal punctures. This gives us the quiver of Figure 59 as a candidate for a three punctured sphere for minimal conformal matter theory.

The trinion we obtain here for is directly related to the one we discussed in Section 5.1. The trinion of Figure 35 is simply obtained by taking the trinion of Figure 59 and gluing to it the two punctured sphere. The gluing is done by -gluing all the moment maps except for one of the mesonic ones of Figure 59 to one of the moment maps of the tube, see Figure 60. The fluxes of the various parts are related as,
(173) |
We thus obtain here a trinion theory for general values of . For more details of the resulting theory and nature of the minimal puncture see Razamat:2020bix .

7 Discussion and Comments
We will briefly discuss the salient features of the geometric constructions of 4d QFTs in 4d by compactifying 6d SCFTs overviewing the relevant literature. We will also comment on some research directions not covered in our lectures, but which bare direct relevance to the subject. We will end with some general remarks.
Across dimension dualities
We have discussed two examples of across dimension dualities, the 6d minimal SCFT Razamat:2018gro and the compactifications of minimal conformal matter Kim:2017toz ; Kim:2018bpg ; Razamat:2020bix ; Razamat:2019ukg , with the E-string case being our main example. There are several other examples for which such dualities can be derived systematically. First, one can consider compactifications of theory analyzed in the seminal work of Gaiotto Gaiotto:2009we . One can repeat our analysis in this case verbatim. For example in this case turning preserving flux the 4d theories turn out to be described by conformal Lagrangians and one can explicitly find them using the general technology of Section 3.3. One can analyze domain walls in 5d and obtain tube theories implementing preserving flux from which (and the trinions) class theories Bah:2012dg can be constructed.575757The tube models were discussed in Agarwal:2015vla ; Fazzi:2016eec ; Nardoni:2016ffl ; Razamat:2019sea . The 5d domain walls, and the corresponding 4d theories obtained by compactifying on two punctured spheres with some value of flux, of 6d conformal matter SCFTs Kim:2018lfo ; Kim:2018bpg ; Bah:2017gph (see Figure 61 for an example), -type theory probing type singularity Chen:2019njf , and higher rank E-string theory Pasquetti:2019hxf ; Hwang:2020wpd ; Hwang:2021xyw have been also analyzed giving rise to a large class of across dimension dualities. Using then flows between these theories one can produce Razamat:2019mdt models with two maximal and one minimal punctures Razamat:2019ukg ; Sabag:2020elc , and in particular class theories with a minimal puncture can be derived in this way.585858Of course historically these models were originally derived using very different methods Gaiotto:2009we ; Gaiotto:2015usa and these results have been used as checks of the more sophisticated derivations. There are many other examples of across dimension dualities obtained using various methods: e.g. deformations of Lagrangian theories leading to strongly coupled theories again Maruyoshi:2016tqk ; Maruyoshi:2016aim ; Agarwal:2016pjo ; Carta:2019hbi ; a large set of theories which have been shown to have weakly coupled conformal Lagrangians, free or interacting, see e.g. Chacaltana:2010ks ; Chacaltana:2016shw ; Chacaltana:2011ze ; a search over Lagrangians with restricted set of R-charges to describe theories with Razamat:2019vfd ; Zafrir:2019hps and supersymmetry Zafrir:2020epd .

The evidence that one can derive for dualities across six and four dimensions is similar in nature to the evidence one typically gives for 4d IR duality. First one can match IR symmetries. As both start and end dimensions are even one can also match the ‘t Hooft anomalies for various continuous symmetries. One can also study consistency of various deformations, and other field theoretic operations, with duality. For example, combining two theories by gauging some symmetries, such that the fluxes associated to the two theories are consistent with bigger symmetry, we should observe the enhanced symmetry in the IR. Certain relevant superpotential deformations in 4d breaking some of the 6d global symmetries should produce a theory with the flux for the broken symmetry vanishing Razamat:2016dpl ; babuip . Finally one can try to map operators across the flow babuip2 ; babuip . Local operators in 4d come from local operators and surface operators wrapping the surface in 6d. At least for low quantum numbers such a map can be performed for local operators babuip , and it is plausible that a more complete procedure can be devised.
Although many 4d theories obtained in compactifications have an across dimensional dual description, we do not have such a description for the most general compactification. For this reason theories without known across dimension dual are referred to as being currently non-Lagrangian. Nevertheless, many of these non-Lagrangian theories are connected to Lagrangian ones by gauging a subgroup of their global symmetry. The canonical example is the Argyres-Seiberg duality Argyres:2007ws ; Argyres:2007tq relating strongly coupled SCFTs to cusps of conformal manifolds of Lagrangians. Such constructions have a geometric interpretation in terms of pair of pants decompositions of a Riemann surface Gaiotto:2009we . Similarly the strongly coupled SCFTs can appear at cusps of Lagrangian theories Razamat:2020gcc . Such relations between Lagrangian and strongly coupled theories, though not giving a description of the strongly coupled SCFT itself, often can be “inverted” to acquire a lot of useful information about protected quantities, such as indices, of the SCFTs Gadde:2010te . Such inversion procedures have a field theoretical meaning of gauging symmetries emergent at strong coupling Gadde:2015xta ; Agarwal:2018ejn , an important procedure we will soon discuss.

Atypical degeneration
Analyzing the interplay between 6d and 4d flows one can generate 4d theories corresponding to compactifications on surfaces with additional minimal punctures as we discussed. However, an interesting question is whether one can also obtain surfaces with more general punctures and in particular maximal ones. Maximal punctures are such that we can glue theories together along these punctures by gauging the symmetry associated to them. Thus this will allow to construct theories associated to arbitrary surfaces. A useful observation here is that collections of sub-maximal punctures can collide and form bigger punctures: this effect was dubbed atypical degenerations in the case of class in Chacaltana:2012ch . We have encountered such an effect in Section 4.4 discussing compactifications of minimal SCFT with triplets of empty punctured building a maximal one. Here the empty punctures have no symmetry while maximal ones have symmetry. Similar effects were observed Razamat:2018gro studying compactifications of minimal SCFTs: in both of these cases the rank of the symmetry of the maximal puncture is emerging at special loci of the conformal manifolds.
In compactifications of minimal conformal matter collections of minimal punctures were argued to form a maximal puncture Razamat:2019ukg . Similarly, studying next to minimal conformal matter ( M5 branes on orbifold) it was argued that collections of minimal punctures form a maximal puncture Razamat:2019ukg of a novel type: in both these cases the rank of the maximal puncture is the same as the collection of colliding minimal punctures but the non-abelian structure is enhanced. The new puncture in the case can be obtained by studying compactifications on a circle of the conformal matter with no holonomies turned on Ohmori:2015pia . The resulting QFT in 5d can be thought of as a gauging of a strongly coupled SCFT in 5d. In turn this SCFT has a real mass deformation leading to a gauge theory description. Thus in terms of the 5d Lagrangian constructions this puncture corresponds to gauging an emergent UV symmetry. This underscores the need to understand and classify all possible 5d effective descriptions of 6d SCFTs when studying compactifications to 4d. To build higher genus surfaces gauging symmetries of colliding minimal punctures we thus need to gauge emergent symmetries on special loci of the conformal manifold (or in the IR).
Conversely considering a theory with a puncture (maximal or non-maximal) there might be exactly marginal deformations which break subgroups of the puncture symmetry. We have seen an example of this in Appendix D: class compactifications with minimal punctures have exactly marginal deformations which break the puncture symmetries. These exactly marginal deformations preserve only supersymmetry and do not correspond to complex structure moduli or the flat connections on the surface.595959For more general class compactifications one also has preserving deformations when certain non maximal punctures appear on the surface with the puncture symmetries broken to a subgroup on a general locus of the conformal manifold ER . It would be interesting to understand whether these directions on the conformal manifold can be understood geometrically.
Gauging emergent symmetries
An important procedure which appeared several times in our discussion is the utility of gauging emergent symmetries. In particular some symmetries enhance in the IR of an RG flow or at some strong coupling loci of the conformal manifold allowing to consider coupling the emergent conserved currents to dynamical gauge fields. This is a manifestly strongly coupled procedure. Although the gauge coupling might be weak the starting point of the construction is strongly coupled. Nevertheless, if the rank of the symmetry is manifest in the UV, or at weak coupling of the conformal manifold, a lot of the protected information of the gauge theory can be explicitly computed. This follows from the fact that the supersymmetric partition functions related to counting problems are independent of the RG flow and the continuous parameters of the theory. Several of the 4d theory constructions corresponding to compactifications of 6d SCFTs obtained till now involve such gaugings Gaiotto:2015usa ; Gadde:2015xta ; Razamat:2016dpl ; Kim:2017toz ; Razamat:2018gro ; Razamat:2019ukg ; Agarwal:2018ejn ; Pasquetti:2019hxf . In some cases the emergent symmetry in one duality frame might be explicit symmetry of the Lagrangian in another duality frame and thus the gauging would be completely weakly coupled. An example is minimal conformal matter where the trinion is constructed as a four punctured sphere with two maximal punctures and two minimal punctures colliding to form a maximal puncture somewhere on the conformal manifold Razamat:2019ukg . However, using a sequence of Seiberg dualities one can obtain a description with the the two symmetries and the symmetry manifest Nazzal:2021tiu . An interesting question in this context is whether there are any fundamental obstructions for having a weakly coupled description of a given theory with a given symmetry manifest. We have discussed several examples of theories with weakly coupled descriptions and emergent symmetry in 4d such that the 6d dual description has the symmetry manifest but is not weakly coupled; and the question is whether we can or cannot find a description with manifest symmetry in 4d. For theories in 4d many examples of theories with no Lagrangians with manifest symmetry are known just by listing all the possible manifestly supersymmetric Lagrangians Bhardwaj:2013qia . A related question would be then under which conditions we can find say Lagrangians with manifest global symmetry for such models.606060Such questions can be phrased also in other dimensions. For example let us mention here a simple example in 3d where there are (at least) three different descriptions manifesting only two of three symmetries: supersymmetry, global symmetry, or time reversal symmetryGang:2018wek ; Gaiotto:2018yjh ; Benini:2018bhk ; Fazzi:2018rkr ; Choi:2018ohn .
General types of punctures: 5d UV dualities
A useful knob in constructing 4d theories corresponding to a surface is through gluing theories corresponding to smaller surfaces with the gluing done along a puncture. A given 6d SCFT might have a variety of types of maximal punctures along which we can glue.616161One might have also more general “fixtures” connecting different types of maximal and non-maximal punctures. See e.g. Chacaltana:2010ks . Such maximal punctures correspond as we have discussed to circle compactifications of the 6d SCFT, i.e. 5d gauge theories UV completed by the 6d SCFT. Compactifying on a circle, if the 6d SCFT has a global symmetry, one has a choice of a holonomy in this global symmetry to be turned on around the circle. Different such holonomies might lead to different 5d descriptions, see e.g. Hayashi:2015fsa ; Hayashi:2015zka ; Zafrir:2015rga ; Hayashi:2015vhy ; Jefferson:2017ahm ; Hayashi:2019yxj ; Bhardwaj:2019ngx ; Apruzzi:2019enx ; Bhardwaj:2020gyu ; Eckhard:2020jyr . Such different 5d effective descriptions are UV dual to each other in the sense that they are different deformations of the same UV SCFT. We have mentioned above the relatively simple constructions of three punctured spheres e.g. for the minimal conformal matter with two maximal punctures and one puncture, although the trinions with three punctures of the same type are more complicated (These can be obtained from the former by gluing in two punctured spheres.). The 5d UV dualities can lead to 4d IR dualities by constructing same surfaces from building blocks having different types of maximal punctures, see Figure 63 for an example. It is thus very useful to completely map out all the possible 5d theories UV completed by 6d SCFTs and interrelations between these.
Integrable models
Yet another interconnection between physics in different dimensions goes through the appearance of quantum mechanical integrable models in various counting problems. The integrable models have a long history of interconnections with gauge theories in various dimensions, see e.g. Gorsky:1994dj . The connection most relevant to us here goes as follows. One considers a 6d SCFT (eight supercharges), compactifies to 4d breaking half of the supercharges, and considers surface defects in the 4d theory. In particular one can count protected operators (the partition function, the index) of the 4d theories in the presence of such defects. Using general considerations the resulting partition function can be obtained by acting on the partition function of the theory without the defect with an analytic difference operator Gaiotto:2012xa .626262One can also construct in principle such operators by explicitly coupling 2d degrees of freedom to 4d ones Gadde:2013dda . We have different operators labeled by the surface defect we want to introduce. These operators can be thought of in general as Hamiltonians of an integrable relativistic quantum mechanical system. The choices of the defects we are considering are determined by the 6d SCFT and are the same for all the 4d theories obtained by compactifications of this SCFT. In particular these integrable models are thus labeled by a theory with eight supercharges, which bares a direct relation to the constructions of Nekrasov:2009rc . These integrable systems can be explicitly derived by studying analytic structure of the indices. In particular they are obtained by computing the residues of poles the index can have in presence of minimal punctures and are acting on the fugacities of a maximal puncture. As such these operators are then also labeled by the choice of the maximal puncture i.e. the choice of the 5d effective gauge theory description.
The various duality properties of the 4d theories obtained in compactifications imply mathematical properties of the operators introducing defects Gaiotto:2012xa .636363See Nazzal:2021tiu for a recent overview. For example, the operators have to commute and the indices themselves give Kernel functions of these operators,
Here is the operator corresponding to the introduction of a defect labeled by acting on a maximal puncture coming from the 5d description of the on a circle. The supersymmetric index corresponds to a surface with at least two maximal punctures of types (5d ) and (5d ), and label the Cartan of the 6d global symmetry. Such Kernel functions relations are highly non trivial and thus give important mathematical checks of the conjectured across dimension dualities.
Explicitly for compactifications of the ADE theories the relevant models turn out to be elliptic ADE Ruijsenaars-Schneider systems Gaiotto:2012xa ; Lemos:2012ph ; for the rank E-string this is the van Diejen model Nazzal:2018brc ; Nazzal:2021tiu (this was shown explicitly for using the index methods and conjectured for higher ); for minimal 6d SCFTs with and gauge groups these were discussed in Razamat:2018zel ; Ruijsenaars:2020shk ; for type conformal matter the operators were discussed in Gaiotto:2012xa ; Maruyoshi:2016caf ; for minimal type conformal matter the operators were computed in Nazzal:2021tiu . These operators can be obtained independently by studying Seiberg-Witten curves Gorsky:1995zq ; Donagi:1995cf directly in 6d Chen:2021ivd . One way to understand this correspondence between indices and integrable models is as a version of AGT correspondence where we view the 6d theory on (with being a Riemann surface) and take either small to obtain the index in 4d, or the to be small to obtain a TQFT on (which should be related to the integrable model) Gadde:2009kb . In the case of theories and a particularly simple version of the index, the Schur index Gadde:2011ik ; Gadde:2011uv , the TQFT turns out to be the q-deformed YM Gadde:2011ik ; Aganagic:2004js ; Aganagic:2011sg ; Alday:2013rs ; Razamat:2013jxa ; Alday:2013kda ; Tachikawa:2015iba . The Schur index then has further relations to beautiful mathematical structures such as chiral algebras in 2d Beem:2013sza .646464 Let us mention here that in the case that an theory is not chiral and has rationally quantized R-charges one can define a simplified version of the index Razamat:2020gcc which coincides with the Schur index for the theories.
6d dualities
Studying compcatifications of different 6d SCFTs on different surfaces to 4d one at times obtains same IR 4d theories, or more generally same 4d theories up to decoupled free fields. Such 6d dualities were analyzed for the relations between compactifications on punctured spheres and on tori with no flux Ohmori:2015pua ; Ohmori:2015pia ; Baume:2021qho . Let us give here three examples of such dualities between two theories.
First, let us discuss the example mentioned in the bulk of the paper: rank one E-string on a genus two surface with no flux is the same as minimal 6d SCFT on a sphere with four maximal punctures (and twist lines). The resulting theory in 4d has a large conformal manifold and the statement of the duality is that the two theories reside on the same manifold. In particular, considering the E-string compactification the number of the marginal operators minus the conserved currents is given by,
(174) |
Here is the compactification genus. The first two terms are the expected marginal operators minus the current coming from complex structure moduli and the flat connections for the symmetry. The last deformation is accidental for this compactification. On the other hand considering the same quantity for the minimal SCFT on the four punctured sphere we obtain,
(175) |
Here denotes the representation of the th puncture symmetry group. The first term comes from the complex structure moduli and the second from the punctures, while the last one is accidental for this compactification. Going along this large conformal manifold, likely including the accidental exactly marginal directions in the two cases, the two theories can be then connected.


Second example is as follows Kim:2018bpg . Compactifications of conformal matter theories residing on M5 branes probing singularity on a sphere with minimal and two maximal punctures and flux in the subgroup of the symmetry of the 6d theory is dual (up to decoupled free fields) to the compactification of minimal conformal matter theory on a torus with flux breaking the symmetry of the 6d SCFT to for integer . See Figure 63 This duality produces field theories which are 6d dual to each other up to free fields. The simplest case of this duality is taking and where SCFT with a decoupled chiral field, i.e. theory on a four punctured sphere (plus a decoupled field), is equivalent to the rank one E-string on a torus with half a unit of flux breaking to Kim:2017toz .656565This compactifcation of the E-string is actually naively consistent with exchanged with any rank four subgroup of , e.g. Kim:2017toz . This is in particular responsible for the observations that the protected spectrum of the theory forming irreps of either of these groups, see e.g. MR2787288 .
The last example is as follows. Taking theory on a sphere with two maximal and two minimal punctures (half positive and half negative in the notations of Bah:2012dg ) and zero flux is dual to compactification of minimal conformal matter theory on a sphere with two maximal and a minimal puncture, and half a unit of flux breaking 6d symmetry to . In both of these cases we obtain SQCD with flavors. Again the explicit symmetry of the theories in the two compactifications is different: in former the symmetry is and in the latter it is , and the two compactifications are dual to each other exploring the large conformal manifold.
It will be extremely interesting to understand these and other 6d dualities by embedding them for example in string theory.
More comments
Let us briefly mention several additional related avenues of research. First, one can consider compactification scenarios in the holographic regime. In particular when the 6d SCFTs are obtained on collections of M5 branes one can consider taking the number of branes to be large and study the corresponding supergravity backgrounds. This for example was done in the class context in Gaiotto:2009gz ; Bah:2012dg ; Bah:2018jrv ; Bah:2019jts and studying branes on orbifolds in Gauntlett:2004zh ; Bah:2019rgq ; Bah:2020uev . Another property which we did not address in this review is the higher form/higher group symmetries Gaiotto:2014kfa ; Benini:2018reh of the 4d theories derived in compactifications. For some studies of these issues see Bah:2020uev ; Gukov:2020btk ; Bhardwaj:2021pfz ; Bhardwaj:2021zrt ; Bhardwaj:2021ojs .
It is interesting to consider compactifications to lower dimensions (3d and 2d). This can be done in a variety of ways. For example, one can consider compactifications on a circle of the 4d theories obtained by first considering 6d SCFTs on a surface . The dualities following from the compactifciations in 4d will then give rise to a rich set dualities in 3d Aharony:2013dha ; Aharony:2013kma . Moreover the resulting 3d theories might have novel 3d dual descriptions which might not trivially lift to 4d.666666However, some mirror dualities have a surprizing lift to 4d. For example, a canonical example of mirror selfdual theory, the 3d model residing on S-duality domain wall of SYM in 4d, can be uplifted to 4d Pasquetti:2019hxf ; Hwang:2020wpd . In fact the 4d theory is the one obtained by compactifying rank E-string on a two punctured sphere: the mirror duality exchanges the two punctures. One of the puncture symmetries is emergent in the IR and thus the exchange of punctures is not a trivial operation from the point of view of the UV Lagrangian. These typically take the form of mirror duality Benini:2010uu . The point is that 3d dynamics is richer than the 4d one: for example abelian gauge theories typically lead to interesting SCFTs and there is no upper bound on the matter representations to lead to interacting theories in the IR. Although for compactifications of theories such mirror dualities are extensively studied, see e.g. Benini:2010uu ; Benvenuti:2011ga ; Nishioka:2011dq ; Beratto:2020wmn ; Razamat:2019sea ; Carta:2021whq ; Giacomelli:2020ryy , for compactifications of theories on not much is known.
One can also study compactifications on surfaces starting from 5d Sacchi:2021afk ; Sacchi:2021wvg or 4d Gadde:2015wta ; Dedushenko:2017osi ; Sacchi:2020pet . Similarly we can consider compactifying on circles starting from 5d Martone:2021drm and 3d Aharony:2017adm ; Nedelin:2017nsb ; Pasquetti:2019uop ; Pasquetti:2019tix . One can motivate through these constructions various dualities in 3d. See e.g. Gadde:2013lxa . Finally one can consider compactifications on higher dimensional surfaces. Starting from 6d we can compactify on three manifolds Dimofte:2011ju ; Dimofte:2011py ; Chung:2014qpa ; Eckhard:2018raj ; Chun:2019mal ; Gukov:2016gkn or four manifolds Gadde:2013sca ; Gukov:2018iiq .
Final remarks
Let us make several more philosophical remarks. Our discussion of 4d supersymmetric dynamics has been performed using standard Lagrangian techniques in 4d and 5d. The starting point in 6d is a strongly coupled SCFT, and although some field theoretic Lagrangian tools (such as tensor branch descriptions) can be utilized, at the moment to fully understand such models one usually includes string theoretic constructions (see Heckman:2018jxk for a review). One can draw several general lesson from our considerations. First, it is often the case that if one wants to understand a weakly coupled UV description of a given IR physics it is useful to give up some of the symmetry and let it emerge only in the IR. In our discussion the symmetry was typically continuous global symmetry, but this can be also supersymmetry. Related to this there are various suggestions to understand 6d SCFTs themselves by giving up some symmetry, in this case space-time symmetry. These include engineering 6d SCFTs as limits of 4d quiver theories through the procedure of deconstruction Arkani-Hamed:2001wsh ; Hayling:2017cva , trying to decode the full 6d physics from its circle compactifications Lambert:2010iw ; Douglas:2010iu , or DLCQ matrix model Aharony:1997th ; Aharony:1997an .676767See Lambert:2012qy discussing all three approaches. Giving up symmetry we can gain many insights and it will be interesting to understand the limits of such an approach. A complimentary way of thinking, at least about the conformal fixed points, is giving up description in terms of weakly coupled fields completely and making an emphasis on extracting all the possible physics from symmetries, including the conformal symmetry. This bootstrap approach has led to many beautiful results in recent years, see e.g. Rattazzi:2008pe ; Poland:2018epd ; Simmons-Duffin:2016gjk . Another more abstract approach applicable to theories with well defined Coulomb branches, such as theories, is to study the Coulomb branches abstractly without use of a Lagrangian using the Seiberg-Witten curve associated to them Seiberg:1994rs ; Seiberg:1994aj ; Tachikawa:2013kta .686868This approach can be applied in certain cases also for theories Intriligator:1994sm , which was studied for theories obtained from M5 branes on type orbifolds in Coman:2015bqq ; Mitev:2017jqj ; Bourton:2017pee ; Bourton:2020rfo ; Bourton:2021das . The program of systematically studying the curves and extracting physics from them is pursued e.g. in Argyres:2015ffa ; Argyres:2020nrr ; Martone:2020hvy ; Martone:2021ixp . Even using the geometric techniques one can search for general expressions of various quantities describing SCFTs such that the geometry will be manifest and no use of Lagrangians made. Examples of this are the AGT correspondence Alday:2009aq (see LeFloch:2020uop for a review) relating the partitions function of theories to 2d CFT correlators and the relation of the supersymmetric index to integrable models and to 2d TQFTs Gadde:2009kb we discussed above.696969Sometimes these types of relations are referred to as BPS/CFT correspondence, see e.g. Nekrasov:2015wsu ; Nekrasov:2016ydq .
Another comment we want to make is that although all of our discussion is supersymmetric in 4d, that is relies on having four supercharges, the starting point in 6d has eight supercharges, that is has supersymmetry in 4d counting. By considering such theories on surfaces and turning on various knobs and levers we can derive a plethora of dynamics. An interesting question is then to what extent all supersymmetric phenomena have their origin in theories with eight supercharges. This question can be of course extended by adding more supercharges and imbedding everything in string theory, if one is willing to leave the cradle of purely QFT discussion.707070Note that this is a different question than the one discussed in the context of the swampland program Ooguri:2006in ; Palti:2019pca ; vanBeest:2021lhn . In the swampland context one constrains -dimensional low energy QFTs coupled in the UV to -dimensional gravity. Here we allow -dimensional QFTs to be coupled to higher dimensional gravity in the string constructions. A way to phrase a similar question is to what extent all non trivial dynamics in lower dimensions follows from QFT constructions involving geometric deformations starting in 6d, and/or going beyond QFT in string theory: e.g. are there CFTs in lower dimensions which cannot be constructed as limits and deformations of supersymmetric CFTs in 6d and/or of string theoretic setups?
Acknowledgments
We would like to thank our numerous amazing collaborators for sharing with us their ideas and insights. SSR is grateful to the organizers of the “Cargese Summer School: Quantum Gravity, Strings and Fields” (2018), “ICTP spring school on superstring theories and related topics” (2019), and “The 15th Kavli Asian Winter School on Strings, Particles and Cosmology” (2021) where parts of the material discussed here were presented. The research of SSR, OS, and ES was supported in part by Israel Science Foundation under grant no. 2289/18, by I-CORE Program of the Planning and Budgeting Committee, by a Grant No. I-1515-303./2019 from the GIF, the German-Israeli Foundation for Scientific Research and Development, and by BSF grant no. 2018204. The research of SSR was also supported by the IBM Einstein fellowship of the Institute of Advanced Study and by the Ambrose Monell Foundation. The research of ES was also supported by the European Union’s Horizon 2020 Framework: ERC grant 682608 and the ”Simons Collaboration on Special Holonomy in Geometry, Analysis and Physics”. The research of OS was also supported by the Clore Scholars Program and by the Mani L. Bhaumik Institute for Theoretical Physics at UCLA. GZ is supported in part by the ERC-STG grant 637844-HBQFTNCER, by the INFN and by the Simons Foundation grant 815892.
Appendix A Superconformal algebra in 4d
In this appendix we consider the spacetime symmetry algebra of four dimensional conformal field theories with supersymmetry, and its representations.
We begin with the bosonic conformal subalgebra. Written using spinorial notation with , the nonvanishing commutators are given by
(176) |
We next turn to the part of the algebra involving fermionic generators. There are eight such generators, the four Poincare supercharges and the four conformal supercharges , with the following nonvanishing anticommutators,
(177) |
We are left with the following commutators of the fermionic generators with the bosonic ones,
(178) |
Once the superconformal algebra is known, the next natural thing to examine is its representation theory. That is, we wish to classify the possible multiplets and understand their properties.
A generic multiplet of the algebra is characterized by the charges of the superconformal primary state with respect to the generators , where and are the following Cartans:
(179) |
The primary state is annihilated by the conformal supercharges ,717171Notice that as a result, the primary state is also annihilated by . and the multiplet is constructed by acting on it with the Poincare supercharges . In some cases, a combination of these supercharges annihilates the primary as well, resulting in a short multiplet and a relation between the charges of the primary. These relations are just a saturation of the corresponding unitarity bounds, derived from requiring the absence of negative-norm states in the multiplet, and determine the conformal dimension in terms of the other charges (, and ). This, in turn, means that the conformal dimension is protected against changing the parameters of the theory. We list the possible such shortening conditions (classified by the corresponding null state in the multiplet) and their common names in the table below, as well as the associated unitarity bounds Cordova:2016xhm ; Cordova:2016rsl ; Beem:2012yn .727272Notice that we use different conventions for and in comparison to Cordova:2016xhm ; Cordova:2016rsl , such that .
Shortening Condition | Name | Primary | Null State | Unitarity Bound |
– | – | |||
– | – | |||
As can be seen, unbarred letters denote shortening conditions with respect to the supercharges while barred letters are with respect to . Moreover, the letters and correspond to the absence of shortening conditions with respect to and , respectively.
To completely specify a multiplet, one needs to impose both and shortening conditions, and as a result each kind of multiplet is denoted by two letters – an unbarred one and a barred one. For example, corresponds to a long multiplet with charges for the primary state, while to a multiplet with a chiral primary.737373Note that a chiral free field multiplet is represented by . The constraints on the charges of the primary state resulting from the various combinations of shortening conditions are detailed in the following table Cordova:2016rsl .
To illustrate how these constraints between the charges are obtained from the algebra, let us consider as an example a multiplet of the type . Here, the superconformal primary state has and satisfies
(180) |
As a result, the expectation value of the fourth equation in (177) is given by
(181) |
implying . In addition, since the dimension is greater than 1 (otherwise it would be equal to the free-state value 1, corresponding to the primary of the multiplet ), we have .
Let us next note that even though the short multiplets are protected in the sense we mentioned before, most of them are not absolutely protected since they can recombine as we change the parameters of the theory with other short multiplets to form a long multiplet, which is no longer protected. This can happen e.g. as we move along a conformal manifold from one superconformal field theory to another, and short multiplets recombine to form a long multiplet such that the operators residing in the short multiplets are not protected in the new theory. In the other direction, a long multiplet at one point of the conformal manifold can hit the unitarity bound at another point, decomposing into a collection of short multiplets. As an example, let us consider the long multiplet as , where it hits the unitarity bound. It then splits into three short multiplets in the following way,
(182) |
where contains a conserved current while and contain a marginal operator.747474Note that in this discussion we refer to operators instead of states, which is possible due to the state/operator correspondence in theories with conformal symmetry. This recombination corresponds to the fact that a marginal operator can fail to be exactly marginal only if it combines with a conserved current corresponding to a broken global symmetry Green:2010da , and is the reason that marginal operators and conserved currents contribute to the superconformal index with opposite signs (see Eq. (56)). In particular, the difference between the numbers of conserved-current and marginal-operator multiplets is invariant under a change in the parameters of the theory which might be accompanied by the recombination (182).
For each of the multiplets listed above, one can compute the superconformal index and use it to extract information about the operator content of a given theory from its index. The multiplets that contribute nontrivially to the index are collected in the following table, along with the corresponding expressions for the index.
Multiplet | Superconformal Index |
---|---|
Here, is the character of the spin- representation of . We can immediately see from this table that as stated in the two bullets around Eq. (56), the only operators that can contribute at order with are relevant operators (corresponding to primaries of multiplets with ) and that at order the only operators which can contribute are marginal ones (contributing with a positive sign) and certain fermionic components from the conserved current multiplet , which contribute with a negative sign. As mentioned above, the signs of these contributions at order correspond to the recombination rule (182). Note, in addition, that there is no recombination rule involving relevant operators, meaning that the multiplets with are absolutely protected. Let us finally emphasize that this discussion about the contributions of various operators to the index excludes free multiplets, that is we concentrate only on interacting theories.
Appendix B Leigh-Strassler argument for conformal manifolds
Let us here detail briefly yet another method to study the conformal manifold introduced in a seminal paper by Leigh and Strassler Leigh:1995ep . This method is very Lagrangian in nature on one hand but on another hand it is rather intuitive. The basic observation is that as the superpotential is not renormalized due to holomprphy arguments Seiberg:1994bp in a supersymmetric theory, the beta-function of the superpotential coupling is determined by the anomalous dimensions of the fields in the superpotential,
(183) |
Here is some permutation of the chiral superfields . Moreover also the gauge beta function is related to the anomalous dimensions of the fields transforming under the gauge symmetry Shifman:1986zi ; Shifman:1991dz ,757575Note that for the free theory the R-charges of all the fields and the one loop contribution in this formula is precisely .
(184) |
where the proportionality coefficient depends on couplings, is the quadratic Casimir of the adjoint, is quadratic Casimir of irrep , and the set is the set of representatives of fields from every non trivial irrep of . Now say we have superpotential couplings and gauge couplings such that the one loop beta functions for the gauge fields vanish, , and the superpotentials are marginal, . Then the vanishing of the beta functions are in general equations for independent variables. As such they will typically have only isolated solutions. However this is not the case if the equations are linearly dependent: and this can happen easily here as they are written in terms of anomalous dimensions corresponding to fields which might be related by symmetries. The dimension of the conformal manifold is thus given by the number of couplings minus the number of independent beta functions (modulo global symmetry).
As an example consider the SQCD with with the marginal superpotential (29). because of the symmetry of the superpotential the anomalous dimensions of all the (anti)fundamental fields are the same. Thus all of the beta functions are proportional to this anomalous dimension which is a function of two couplings and the gauge coupling. We have one function depending on two parameters which vanishes at the origin, and thus we expect it in general to have a line of solutions. This gives a one dimensional conformal manifold on which some symmetry is preserved.
Appendix C Computing Kahler quotients with Hilbert series
One can compute in principle in a straight-forward way the Kahler quotients needed for the determination of the conformal manifold using the Hilbert series techniques.767676 See e.g. Feng:2007ur for uses of the Hilbert series in supersymmetric QFTs. Let us assume that we have an SCFT with global symmetry (commuting with any gauge symmetry, including anomalous symmetries) and that all marginal operators, including gauge couplings charged under the anomalous symmetry, are in representation of . Let be the character of , the complex conjugate representation of , and being a set of complex parameters corresponding to the Cartan generators of . We define a plethystic exponential of a function ( is some collection of parameters),
(185) |
Then we compute the following integral,
(186) |
Here is the Haar measure of and is some complex parameter with . The function is the Hilbert series associated with the conformal manifold and as such in particular it captures its dimension. The dimension can be extracted by taking the limit and is equal to the degree of divergence of in this limit. By definition the plethystic exponent generates all the symmetric products of the argument function, and the integrations with the Haar measure project on invariants. Thus is just given by a sum of all the symmetrized invariants of the couplings weighed by powers of . This sum is generated by the independent such invariants and there might be algebraic relations. The result thus can in general be written as a rational function in . The denominator which is product of terms of the form with being a power in which some singlet can appear. The numerator is a polynomial encoding algebraic relations between the various generators.
Although this procedure is mathematically straightforward, technically when the group is large, it is hard to implement. Let us give an example. Consider we have a marginal deformation in of . This is a three index completely symmetric representation. First we compute its character. To compute this we note that the coefficient of in the expansion of is precisely the character of the th symmetric power of .777777The character of th antisymmetric power is the coefficient of in expansion of . Taking the character of fundamental of to be we then obtain,
(187) |
Then we compute,
(188) |
Here . We find thus that we have a two dimensional conformal manifold as the degree of divergence is two. We have one singlet in fourth symmetric product and one in sixths and there are no algebraic relations involving them.
Another example we will compute here is the case of , two index symmetric, of . Following same procedure as above we have,
(189) |
Then we compute,
(190) |
We get a single invariant which is the determinant of the two-index symmetric matrix definition of .
Appendix D Class interpretation of the exercise
The theory discussed in the exercise of Section 3.4 has a class origin. We will discuss the definition of this theory here. We can consider class theory of type , that is three branes compactified on a Riemann surface. These models have supersymmetry. The building block of the four dimensional theories of this kind is the so called model corresponding to compactification on a sphere with three maximal punctures. The symmetry associated to every puncture is (as 5d compactification of theory gives maximally supersymmetric YM theory with gauge group ) and for the model the symmetry enhances to such that,
(191) |
where on the right we have the decomposition in terms of symmetry. This theory has an additional symmetry in language coming from the extended R-symmetry of . The theory has relevant operators with R-charge , charge , and in : these are the moment map operators. In addition to these there is a marginal Coulomb branch operator with charge and R-charge . These are the only marginal and relevant operators of . One constructs more general theories corresponding to surfaces with maximal punctures by combining together models gauging diagonal combinations of puncture symmetries with vector multiplets. In language in addition to the vector multiplet one adds a chiral adjoint superfield coupling through a superpotential to the moment maps of the glued punctures, . This discussion is the version of the -gluing.
An additional building block of theories in this class is the free trinion, which can be obtained from by an RG flow giving a vacuum expectation value to one of the moment maps breaking the down to a . We thus obtain a theory corresponding to a sphere with two maximal punctures and one puncture. The theory is just a bifundamental hypermultiplet of two symmetries with the symmetry charging oppositely the two half-hypermultiplets. Let us denote these half-hypermultiplets and .

Gluing the theories together the resulting models have the preserving conformal manifolds parametrized by the gauge couplings used to glue the spheres together. If the surface has at least one minimal puncture one can build also preserving conformal manifolds on which the symmetry and the symmetry of one minimal puncture is broken. We go to a duality frame in which we glue the free trinion to a generic class theory of type . Then, let us analyze the conformal manifold. The marginal operators involving the glued puncture operators and the free trinion fields are: the gauging (which is exactly marginal), the Coulomb branch operator charged under , and the baryons and charged under and under the minimal puncture by definition. Thus we can build a Kahler quotient as is not charged under any symmetry. This adds a one dimensional preserving conformal manifold. Moreover as is now broken the dimension three Coulomb branch operators coming from the adjoint chirals involved in gaugings used to construct the theory we glued to the free trinion become also exactly marginal.

Finally in special cases the conformal manifold is even richer. Let us consider one glued to one free trinion. We obtain a sphere with three maximal and one minimal punctures. The conformal anomalies of this theory are and . As in the general discussion above we have exactly marginal deformations corresponding to the gluing, , and the deformation involving the baryons. However here we have additional deformations. We can take the component of the moment map charged and contract it with building a gauge invariant operator in of the three maximal punctures of the four punctured sphere which is marginal. In a same manner by contracting of the moment map with we get a marginal operator in representation of the three maximal puncture symmetries. In fact as is a singlet of all the symmetries we have additional directions of the conformal manifold on which is broken to such that , , and . On this conformal manifold we have operators in representation,
(192) |
We can next turn on the last deformations breaking the two s to a diagonal one and locking the two symmetries onto each other. This adds another dimension to the conformal manifold and leaves us with symmetry and marginal deformations,
(193) |
We can break the first to the Cartan using the last deformation preserving with marginals being,
(194) |
Next we break the Cartan using the next to last operators preserving and having marginal operators in,
(195) |
We use the second operator to break the remaining to the Cartan preserving and having marginal operators in,
(196) |
Next second type of the operators is turned on to break the second with only one preserved and marginal operators being,
(197) |
and at last the second operators can be used to construct additional exactly marginal operators breaking all the symmetry to obtain dimensional conformal manifold.

The relevant deformations of the model are the moment maps of the two maximal punctures of the , the operator , and : this gives rise to relevant operators. The conformal Lagrangian we derive in the exercise exactly reproduces the features of this strongly coupled model. We can compute the supersymmetric index either using the theory of Figure 66,
or the one of Figure 21,
and obtain the same result,
We do not have a proof of the equality but have checked it to the stated order in expansion in and . As a side remark, we can also compute the so called Schur limit of the index Gadde:2011ik ; Gadde:2011uv . The Schur index of the theory is a limit of the supersymmetric index computed using superconformal R-symmetry by setting Razamat:2019vfd ; Razamat:2020gcc . This index has an alternative description using the geometric data, theory on a sphere with three maximal and one minimal puncture in our case. The expression is Gadde:2011uv ,
Here,
(201) | |||
The sum here is over the finite dimensional representations of ; three factors of in the numerator come from maximal punctures and the factor of comes from the minimal puncture; the power of in the numerator is with the genus and the number of punctures. The overall factor involving the q-Pocchhammer symbols () also is detemined by the geometric data. Using these expressions and either one of the Lagrangians we obtain in the Schur limit,
Here we do not have a proof of the equality but have checked it to the stated order in expansion in . These are additional indications that the proposed duality is correct.
Appendix E Basics of 6d SCFTs
In this appendix we will review some aspects of 6d theories. First, we note that due to the fact that spinors are pseudo real in 6d, supercharges of different chiralities are inequivalent. Thus, we have several possible supersymmetries including the chiral with eight and real supercharges and the non-chiral with real supercharges. The can be extended to include also conformal symmetry to superconformal algebras Nahm:1977tg . For a detailed discussion of 6d superconformal algebra we refer the reader to Minwalla:1997ka as well as the more modern exposition in Cordova:2016rsl .
Let us summarize the basic facts we need for our discussions. The algebra is a special case of and we will focus only on the latter. Six dimensional theories have eight real supercharges and contain the following field multiplets,
-
•
Hypermultiplet: The bosonic part of the hypermultiplet contains four real scalar (or two complex scalars transforming in the doublet of ) that parameterize the Higgs branch of vacua. In addition, its fermionic part contains a Weyl fermion transforming as a spinor of .
-
•
Vector multiplet: The bosonic part of the vector multiplet contains only a vector field transforming as a vector of ; therefore, these theories don’t have a Coulomb branch of vacua. Its fermionic part contains a single Weyl fermion transforming as a co-spinor of and the doublet of .
-
•
Tensor multiplet: The bosonic part of the tensor multiplet contains a two-form with a self dual field strength . In addition there is a real scalar that parameterizes the tensor branch of vacua. Both the scalar and the two-form are invariant under the R-symmetry. The fermionic part contains a single Weyl fermion transforming as a spinor of and the doublet of .
All Lorentz invariant Lagrangians we can write are IR free in 6d. Nevertheless mainly due to string theoretic constructions there is strong evidence that 6d interacting SCFTs exist Seiberg:1996qx (see Heckman:2018jxk for a review). Let us consider a gauge theory with a simple gauge group, hyper multiplets, and tensor multiplets. The standard kinetic term for the gauge fields,
(203) |
in 6d implies that the gauge coupling scales as length, meaning this theory is trivial in the IR. Regarding tensor multiplet it is problematic to write the kinetic term for the self dual field strength as,
(204) |
implying the simple kinetic term vanishes. Nevertheless, we can treat this theory as if it has a Lagrangian describing the interactions with the constraint . In this description the scalar in the tensor multiplet can couple to the gauge field as,
(205) |
with constant . This term allows us to absorb the gauge coupling into a vacuum expectation value of with the effective gauge coupling of the theory given by,
(206) |
meaning the gauge coupling as well as the BPS instanton tension are controlled by the tensor modulus and are non-vanishing on the tensor branch. The interpretation of these observations, mainly coming from string theoretic constructions, is that the underlying UV theory is a 6d SCFT that has been deformed by a non-zero vev to the scalar in its tensor multiplet. This initiates an RG flow leading at low-energies to a 6d gauge theory with inverse coupling squared proportional to the size of the vev.
E.1 The Green-Schwarz mechanism in 6d
The Green-Schwartz mechanism in 6d arises from the interaction term coupling the tensor multiplet and the field strength
(207) |
This term is implied form the coupling of in (205) and the fact that is a part of the tensor multiplet. The related equation of motion is787878This equation of motion can be derived using the interaction term together with the kinetic term of as if it exists.
(208) |
Using the self-duality constraint then modifies the Bianchi identity of as
(209) |
meaning the instantons are charged under the two-form . Using the the Dirac quantization condition for higher forms one finds that must be quantized.
It’s important to note that the -field is not invariant under gauge transformations. It is required from to be gauge invariant where is the Chern-Simons 3-form. The descent equations together with the modification of the Bianchi identity give
(210) |
We find that the invariance of requires
(211) |
meaning . The contribution of the modified Bianchi identity to the anomaly polynomial eight-form is then given by
(212) |
This means that gauge theories with non-vanishing quadratic part of the 1-loop anomaly polynomial can be made gauge anomaly free by the addition of a tensor multiplet as long as the coefficient of the quadratic part is negative definite. In addition, since needs to be properly quantized, so is the coefficient of the quadratic part of the 1-loop anomaly polynomial.
E.2 The 6d anomaly polynomial eight-form
The 6d anomaly polynomial receives contributions from the hyper, vector and tensor multiplets mentioned above. Their contribution is given by the contributions of the Weyl fermions inside these multiplets.
The anomaly polynomial in dimensions is a form that can be related to the Atiyah-Singer index theorem Bilal:2008qx ; Harvey:2005it . The Atiyah-Singer index theorem on a dimensional manifold equipped with a spin connection , curvature , of fermions in representation r of a gauge symmetry , and connection , with curvature states that
(213) |
where are the zero modes of with eigenvalue under the generalization of from 4d to dimensions, and selects the -form part of . The anomaly polynomial contribution of the Weyl fermion in 6d can be shown to be given by the 8-form part of
(214) |
Here is the Dirac A-roof genus given by
(215) |
where and are the first and second Pontryagin classes of the tangent bundle, respectively. The first two Pontryagin classes are given by
(216) |
with and is the curvature two form. Next, is the Chern character of the entire bundle for all the additional gauge and global symmetries. The Chern character can be expanded in terms of the Chern classes of the bundle as follows
(217) | |||||
where denotes the -th Chern class defined by
where is the curvature form of . In addition the Chern character obeys
(219) |
For the theories we consider in 6d the symmetries added to the space time symmetry are the R-symmetry, gauge symmetries denoted by and flavor symmetries . Thus, according to (219) we decompose allowing us to present the individual contribution of each multiplet
-
•
Hypermultiplet:
Consider a single hypermultiplet in representations and of the gauge and flavor symmetry, respectively. It contains a single Weyl fermion in the singlet of ; thus it contributes to the anomaly polynomial eight-form
(220) where denotes the -th Chern class of the -bundle in the representation. denotes the dimension of representation . In addition we set since all the gauge groups we consider in 6d are simple.
-
•
Vector multiplet:
Consider a single vector multiplet in the adjoint representation of the gauge symmetry. It contains a single Weyl fermion in the doublet of . In addition it is important to note that the spinor chirality is opposite to that of the fermion in the hyper and tensor multiplets; therefore, its contribution to the anomaly polynomial will be with a minus sign. Thus the vector contribution to the anomaly polynomial eight-form is
(221) where . In addition, note that since we have a single Weyl fermion in the doublet of and not two Weyl fermions that form a doublet the contribution is divided by .
-
•
Tensor multiplet:
Consider a single tensor multiplet. It contains a single Weyl fermion in the doublet of 797979As in the vector case we need to divide the contribution by . and a self dual tensor which is also chiral. Thus, the self dual tensor gives an additional contribution to the gravitational part of the anomaly, that was evaluated in AlvarezGaume:1983ig . The tensor contribution to the anomaly polynomial eight-form is then
(222) In addition to the tensor multiplet field contributions, we need to include the Green-Schwartz term discussed before.
E.3 Example: The rank one E-string anomaly polynomial
Here we look at the simple, but important example of the rank one E-string theory anomaly polynomial. The rank E-string theory is the low-energy theory on M5-branes on top of the end-of-the-world brane. It was shown in Ohmori:2014kda that the anomaly polynomial of the rank one E-string theory is given by
(223) | |||||
The tensor branch description of this theory contains only one tensor multiplet. Thus, we can write this anomaly polynomial as the contribution of a single tensor multiplet and a Green-Schwartz term involving global and spacetime symmetries Intriligator:2014eaa ,
(224) |
Appendix F Twisting, fluxes, and integrating anomaly polynomials
In this appendix we will show how one can compactify 6d SCFTs to 4d theories preserving half the supersymmetry. In general in order to preserve all the supersymmetry when compactifying a supersymmetric theory the compactification surface needs to be flat. Another option to preserve supersymmetry is to perform a topological twist that preserves part of the supersymmetry.
F.1 The topological twist and compactification
Topological twisting Witten:1988ze of a dimensional supersymmetric theory is performed by a choice of subgroup of the rotation symmetry and mapping it into the R-symmetry group. Then given a choice of a supersymmetry generator which is invariant under the combined action of rotations and the R-symmetry we can consider the subspace of observables which are in the kernel of . This subspace defines a topological field theory.
In our context we will use topological twisting on the compactifying surface to preserve part of the supersymmetry. We decompose the supersymmetry spinors under and look for a choice of subgroup inclusion of into that will leave some of the spinors invariant under the new twisted symmetry. Specifically for compactifications of 6d theories with superconformal group the bosonic subgroup is the 6d conformal group times R-symmetry. In particular, the supercharges transform as under . Decomposing the supercharge in terms of 4d symmetries we obtain,
(225) |
In this case in order to preserve half the supersymmetry we break and then twist the as . Under the original decomposition and the twist we find
(226) |
Thus, the preserved supercharges are with conjugate which means we preserve supersymmetry. The 4d R-symmetry is identified with twice .
When compactifying the 6d theories to 4d there are additional knobs and levers one can utilize due to the fact that many theories have flavor symmetries. Specifically we can turn on background configurations for gauge fields for the flavor symmetries supported on the Riemann surface in a way that preserves supersymmetry in 4d. One can demonstrate this for example by considering a compactification of a free hypermultiplet in 6d on a torus. Since this is a free field theory the computation can be performed very explicitly. Specifically, one reduces the theory first to 5d on a circle with a holonomy for the global symmetry around the compactification circle that varies along the fifth dimension. Such a configuration amounts to turning on flux for the global symmetry supported on the torus and allows analyzing explicitly the preserved supersymmetry. This analysis was performed by Chan, Ganor, and Krogh in Chan:2000qc (Section 2), to which we refer the reader interested in the details of such computations.
F.2 Integrating the anomaly polynomial
When considering the general compactification case on a genus Riemann surface with non trivial fluxes to abelian subgroups of the 6d flavor symmetry we need to break the flavor symmetry as with a subgroup of commuting with all the s we give flux to.
Decomposing the group means we need to decompose a representation of the group that appears in the 6d anomaly polynomial as , to the representations of .
(227) |
where and are the -th summand representation of and charge of , respectively, in the decomposition sum.
Writing the Chern character of the 6d global symmetries up to eight forms using (217) we get
(228) |
where we set as the global symmetries we are interested in 6d have semisimple Lie algebras. Using the properties in (219) we can write the Chern character after the above decomposition as
(229) | |||||
where as has a semisimple Lie algebra. Comparing forms of equal dimension we find how the Chern classes decompose
(230) | |||||
Next we wish to fix the flux on the compactification Riemann surface of genus for the selected subgroups. Thus we set
(231) |
In addition, we perform the aforementioned topological twist which translates to setting the R-symmetry Chern class as
(232) |
where is a two form related to the compactification surface symmetry and integrates to
(233) |
We also set the Pontryagin classes
(234) |
and to meet the flux constraint
(235) |
where the first term gives the required flux, the second term takes into account possible mixing of the symmetry with the superconformal R-symmetry, where is a parameter to be determined via -maximization Intriligator:2003jj , and the third term is the 4d curvature term of the symmetry. Note that when we compactify the theory on a generic Riemann surface, only terms linear in will contribute to the 4d anomaly polynomial six-form.808080Terms with higher powers of can still contribute to other anomalies. Notable examples include: anomalies in symmetries originating from isometries of the Riemann surface Bah:2019rgq , and anomalies associated with couplings on the conformal manifold Tachikawa:2017aux .
Finally, with the 4d anomaly polynomial at hand one can calculate the anomalies of various symmetries. For symmetries one can extract the anomalies from the anomaly polynomial using the relations
(236) |
For mixed or cubic non-abelian anomalies one finds the relations
(237) |
where and denote the Dynkin and cubic index of the representation r, respectively. These relations can be derived by comparing the contribution of Weyl fermions to the anomalies on one side and to the anomaly polynomial on the other side.
F.3 Examples
Here we will examine the E-string theory and its compactification possibilities preserving 4d supersymmtry discussed in this appendix. We start with a simple compactification on a genus Riemann surface with no fluxes. We first write the full 6d anomaly polynomial for a rank E-string theory
(238) | |||||
where in our notations denoted the -th Chern class of the -bundle in the representation, and , and is the -th Pontryagin class of the tangent bundle.
Since we wish to compactify on a genus Riemann surface we need to use a topological twist to preserve half the supersymmetry as shown previously. This translates to the assignment
(239) |
In addition, we need to set the Pontryagin classes
(240) |
and finally set
(241) |
Effectively this means that in the resulting 4d anomaly polynomial only the terms linear in survive. This results in
From the anomaly polynomial we can extract that the only nontrivial anomalies are
, | ||||
, |
In the next example we will again compactify the E-string theory only this time on a torus with flux preserving a subgroup of the group. This requires breaking using the branching rule
(244) |
This translates to the following Chern class assignments using (F.2)
where in the second equality we used the relation implied by (F.2). Since we are dealing with a torus, no topological twist is required, but due to the flux we still break half the supersymmetry. This is consistent with the assignments we used in the former example when taking . In addition we need to set in accordance with the flux
(246) |
where here we will take the limit of after the compactification.
(247) | |||||
In this case since we have an additional flavor symmetry which can mix with the R-symmetry in the IR fixed point. The mixing can be calculated using -maximization, where the trial -anomaly is
(248) |
This anomaly is maximized for
(249) |
For our final example we will consider a compactification on a genus Riemann surface with flux preserving . In this case we use the same process as the former example only without setting the genus to one. The resulting anomaly polynomial setting the mixing coefficient to zero for brevity is
(250) | |||||
As before one can find the mixing of the with the R-symmetry in the IR.
Appendix G Supersymmetric boundary conditions
In this section we focus on five dimensional quantum field theories with supersymmetry and discuss the most basic boundary conditions that one can impose while preserving half of the supersymmetry.
Five dimensional gauge theories have eight real supercharges and two kinds of multiplets, a vector multiplet containing a real scalar , fermions and a vector field , and a hypermultiplet containing four real scalars and fermions . The Lorentz group is given by and there is an R-symmetry. In fact, there is an symmetry rotating the four real scalars in the hypermultiplet which is the product of and an additional flavor symmetry. Denoting the representations under the bosonic symmetry by , the supercharges transform as , the scalars and fermions of the hypermultiplet as and (respectively), and the fermions of the vector multiplet as (with the real scalar and the vector field transforming trivially under ). Here the indices and correspond to , and , respectively.
Our goal is to find the most simple boundary conditions one can impose in a 5d gauge theory such that half of the supersymmetry, corresponding to in four dimensions, is preserved. Concretely, we will focus on free hyper and vector multiplets which appear in the low-energy limit of such gauge theories.
We begin with addressing the case of a free hypermultiplet, where the theory is considered in the domain and a boundary condition is given at (where the coordinates are with ). In order to find which kinds of simple boundary conditions preserve half of the supersymmetry, we first describe the theory in terms of four dimensional multiplets. Then, finding boundary conditions that respect this multiplet structure (and therefore preserve the desired supersymmetry) will be natural.818181Notice that the full 5d supersymmetry cannot be preserved since the anti-commutator of some of the supercharges yields a translation in the direction, which is broken by the boundary condition at .
The action of a free hypermultiplet is given by
(251) |
where are the Gamma matrices in five dimensions. When written using the 4d sub-supersymmetry, such a hypermultiplet decomposes into an doublet of chiral multiplets . The Cartan of becomes the R-symmetry in four dimensions, under which both and have R-charge 1. We would like to write the action (251) in terms of the chiral multiplets and . It is easy to see that in this description we should include a superpotential, since the standard kinetic terms,
(252) |
(where we denote ) do not reproduce the full action (251). As an example, notice that only the part of the scalar-field kinetic term, where , is recovered. In order to obtain the missing piece, , it is easy to see that we should add the following superpotential,
(253) |
that includes it as well as the missing part of the rest of the action (251) . Indeed, the superpotential (253) sets the -term of the multiplet to be (up to a coefficient) , where is the scalar component of the anti-chiral multiplet . Similarly, it sets such that the total contribution of the superpotential (253) to the scalar-field potential is given by the missing part, which involves the derivatives of the scalars in the direction.
Now that we have expressed the action (251) in terms of the chiral multiplets and , we can look for simple boundary conditions that preserve the 4d sub-supersymmetry. A common choice is to give the scalar of a Dirichlet boundary condition, setting it equal to zero at . By (4d ) supersymmetry, this implies that the rest of the multiplet vanishes at the boundary, including the -term . This enforces Neumann boundary conditions for , resulting in
(254) |
In a similar way, one can give Dirichlet boundary conditions for , enforcing Neumann boundary conditions for ,
(255) |
Let us next turn to discuss vector multiplets, focusing for simplicity on a gauge group. As in the case of the hypermultiplet, we would first like to express the theory in terms of 4d multiplets. In this case, the 5d vector multiplet decomposes into a 4d vector multiplet and a chiral multiplet , such that the bottom component of the chiral multiplet is given by the complex scalar field . Recall that we do not consider the 5d vector multiplet as coupled to matter in an interacting theory; however, in such a case the covariant derivative in the direction is given by . Notice also that the chiral multiplet has an unusual gauge transformation due to the appearance of in its scalar component, given by for an abelian gauge transformation with chiral-multiplet parameter . The 5d action is reproduced by the standard kinetic term for , plus a slightly-modified kinetic term for that takes into account its unusual gauge transformation. In contrast to the previous case of the hypermultiplet, no superpotential for is needed here (and therefore its field vanishes). The kinetic terms of and set the field of to be (up to a coefficient) , resulting in a contribution to the potential of that reproduces the part of its kinetic term involving derivatives in the direction.
Turning to possible boundary conditions that preserve the 4d sub-supersymmetry, a simple choice would be to give the gauge field a Dirichlet boundary condition, setting at (where recall that ). Since this condition is only preserved by gauge transformations with parameters which are constant along the boundary , the gauge symmetry actually breaks to a global symmetry there.828282Note that this is very general, and also happens in theories without supersymmetry and in the case of nonabelian groups. The (4d ) supersymmetric completion of this boundary condition simply sets the entire 4d vector multiplet to zero on the boundary, including its -term. This results in the boundary conditions
(256) |
where we denoted the fermion of by .
References
- (1) N. Seiberg, “The Power of holomorphy: Exact results in 4-D SUSY field theories,” in Particles, Strings, and Cosmology (PASCOS 94), pp. 0357–369. 5, 1994. arXiv:hep-th/9408013.
- (2) N. Seiberg, “Electric - magnetic duality in supersymmetric nonAbelian gauge theories,” Nucl. Phys. B 435 (1995) 129–146, arXiv:hep-th/9411149.
- (3) A. Kapustin and E. Witten, “Electric-Magnetic Duality And The Geometric Langlands Program,” Commun. Num. Theor. Phys. 1 (2007) 1–236, arXiv:hep-th/0604151.
- (4) R. G. Leigh and M. J. Strassler, “Accidental symmetries and N=1 duality in supersymmetric gauge theory,” Nucl. Phys. B 496 (1997) 132–148, arXiv:hep-th/9611020.
- (5) K. A. Intriligator and N. Seiberg, “Duality, monopoles, dyons, confinement and oblique confinement in supersymmetric SO(N(c)) gauge theories,” Nucl. Phys. B 444 (1995) 125–160, arXiv:hep-th/9503179.
- (6) Y. Lee, K. Ohmori, and Y. Tachikawa, “Matching higher symmetries across Intriligator-Seiberg duality,” arXiv:2108.05369 [hep-th].
- (7) D. Gaiotto, G. W. Moore, and A. Neitzke, “Wall-crossing, Hitchin Systems, and the WKB Approximation,” arXiv:0907.3987 [hep-th].
- (8) D. Gaiotto, “N=2 dualities,” JHEP 08 (2012) 034, arXiv:0904.2715 [hep-th].
- (9) L. Bhardwaj and Y. Tachikawa, “Classification of 4d N=2 gauge theories,” JHEP 12 (2013) 100, arXiv:1309.5160 [hep-th].
- (10) J. J. Heckman and T. Rudelius, “Top Down Approach to 6D SCFTs,” J. Phys. A 52 no. 9, (2019) 093001, arXiv:1805.06467 [hep-th].
- (11) P. C. Argyres and M. R. Douglas, “New phenomena in SU(3) supersymmetric gauge theory,” Nucl. Phys. B 448 (1995) 93–126, arXiv:hep-th/9505062.
- (12) K. Maruyoshi and J. Song, “Enhancement of Supersymmetry via Renormalization Group Flow and the Superconformal Index,” Phys. Rev. Lett. 118 no. 15, (2017) 151602, arXiv:1606.05632 [hep-th].
- (13) O. Aharony, S. S. Razamat, N. Seiberg, and B. Willett, “3d dualities from 4d dualities,” JHEP 07 (2013) 149, arXiv:1305.3924 [hep-th].
- (14) D. Gaiotto and H.-C. Kim, “Surface defects and instanton partition functions,” JHEP 10 (2016) 012, arXiv:1412.2781 [hep-th].
- (15) T. Dimofte, D. Gaiotto, and S. Gukov, “Gauge Theories Labelled by Three-Manifolds,” Commun. Math. Phys. 325 (2014) 367–419, arXiv:1108.4389 [hep-th].
- (16) K. Ohmori, H. Shimizu, Y. Tachikawa, and K. Yonekura, “6D Theories on and Class S Theories: Part I,” JHEP 07 (2015) 014, arXiv:1503.06217 [hep-th].
- (17) K. Ohmori, H. Shimizu, Y. Tachikawa, and K. Yonekura, “6d theories on S1 /T2 and class S theories: part II,” JHEP 12 (2015) 131, arXiv:1508.00915 [hep-th].
- (18) F. Baume, M. J. Kang, and C. Lawrie, “Two 6d origins of 4d SCFTs: class and 6d (1,0) on a torus,” arXiv:2106.11990 [hep-th].
- (19) H.-C. Kim, S. S. Razamat, C. Vafa, and G. Zafrir, “D-type Conformal Matter and SU/USp Quivers,” JHEP 06 (2018) 058, arXiv:1802.00620 [hep-th].
- (20) C. Cordova, T. T. Dumitrescu, and K. Intriligator, “Deformations of Superconformal Theories,” JHEP 11 (2016) 135, arXiv:1602.01217 [hep-th].
- (21) Y. Tachikawa, “Lectures on 4d =1 dynamics and related topics,” 12, 2018. arXiv:1812.08946 [hep-th].
- (22) D. Gaiotto, A. Kapustin, N. Seiberg, and B. Willett, “Generalized Global Symmetries,” JHEP 02 (2015) 172, arXiv:1412.5148 [hep-th].
- (23) F. Benini, C. Córdova, and P.-S. Hsin, “On 2-Group Global Symmetries and their Anomalies,” JHEP 03 (2019) 118, arXiv:1803.09336 [hep-th].
- (24) A. Bilal, “Lectures on Anomalies,” arXiv:0802.0634 [hep-th].
- (25) D. S. Freed, “Anomalies and Invertible Field Theories,” Proc. Symp. Pure Math. 88 (2014) 25–46, arXiv:1404.7224 [hep-th].
- (26) S. Deser and A. Schwimmer, “Geometric classification of conformal anomalies in arbitrary dimensions,” Phys. Lett. B 309 (1993) 279–284, arXiv:hep-th/9302047.
- (27) J. L. Cardy, “Is There a c Theorem in Four-Dimensions?,” Phys. Lett. B 215 (1988) 749–752.
- (28) Z. Komargodski and A. Schwimmer, “On Renormalization Group Flows in Four Dimensions,” JHEP 12 (2011) 099, arXiv:1107.3987 [hep-th].
- (29) D. Anselmi, D. Freedman, M. T. Grisaru, and A. Johansen, “Nonperturbative formulas for central functions of supersymmetric gauge theories,” Nucl. Phys. B 526 (1998) 543–571, arXiv:hep-th/9708042.
- (30) K. A. Intriligator and B. Wecht, “RG fixed points and flows in SQCD with adjoints,” Nucl. Phys. B677 (2004) 223–272, arXiv:hep-th/0309201 [hep-th].
- (31) D. Kutasov, A. Parnachev, and D. A. Sahakyan, “Central charges and U(1)(R) symmetries in N=1 superYang-Mills,” JHEP 11 (2003) 013, arXiv:hep-th/0308071.
- (32) F. Benini, Y. Tachikawa, and B. Wecht, “Sicilian gauge theories and N=1 dualities,” JHEP 01 (2010) 088, arXiv:0909.1327 [hep-th].
- (33) P. Meade, N. Seiberg, and D. Shih, “General Gauge Mediation,” Prog. Theor. Phys. Suppl. 177 (2009) 143–158, arXiv:0801.3278 [hep-ph].
- (34) D. Green, Z. Komargodski, N. Seiberg, Y. Tachikawa, and B. Wecht, “Exactly Marginal Deformations and Global Symmetries,” JHEP 06 (2010) 106, arXiv:1005.3546 [hep-th].
- (35) C. Beem and A. Gadde, “The superconformal index for class fixed points,” JHEP 04 (2014) 036, arXiv:1212.1467 [hep-th].
- (36) B. Kol, “On conformal deformations,” JHEP 09 (2002) 046, arXiv:hep-th/0205141 [hep-th].
- (37) V. Gorbenko, S. Rychkov, and B. Zan, “Walking, Weak first-order transitions, and Complex CFTs,” JHEP 10 (2018) 108, arXiv:1807.11512 [hep-th].
- (38) L. F. Alday, D. Gaiotto, and Y. Tachikawa, “Liouville Correlation Functions from Four-dimensional Gauge Theories,” Lett. Math. Phys. 91 (2010) 167–197, arXiv:0906.3219 [hep-th].
- (39) D. Gaiotto, Families of 2 Field Theories. 2016. arXiv:1412.7118 [hep-th].
- (40) O. Aharony and A. Hanany, “Branes, superpotentials and superconformal fixed points,” Nucl. Phys. B 504 (1997) 239–271, arXiv:hep-th/9704170.
- (41) O. Bergman, D. Rodriguez-Gómez, and G. Zafrir, “5-Brane Webs, Symmetry Enhancement, and Duality in 5d Supersymmetric Gauge Theory,” JHEP 03 (2014) 112, arXiv:1311.4199 [hep-th].
- (42) S. S. Razamat, E. Sabag, and G. Zafrir, “Weakly coupled conformal manifolds in 4d,” JHEP 06 (2020) 179, arXiv:2004.07097 [hep-th].
- (43) T. C. Collins, D. Xie, and S.-T. Yau, “K stability and stability of chiral ring,” arXiv:1606.09260 [hep-th].
- (44) S. Benvenuti and S. Giacomelli, “Supersymmetric gauge theories with decoupled operators and chiral ring stability,” Phys. Rev. Lett. 119 no. 25, (2017) 251601, arXiv:1706.02225 [hep-th].
- (45) R. G. Leigh and M. J. Strassler, “Exactly marginal operators and duality in four-dimensional N=1 supersymmetric gauge theory,” Nucl. Phys. B447 (1995) 95–136, arXiv:hep-th/9503121 [hep-th].
- (46) O. Lunin and J. M. Maldacena, “Deforming field theories with U(1) x U(1) global symmetry and their gravity duals,” JHEP 05 (2005) 033, arXiv:hep-th/0502086.
- (47) D. Kutasov and A. Schwimmer, “On duality in supersymmetric Yang-Mills theory,” Phys. Lett. B 354 (1995) 315–321, arXiv:hep-th/9505004.
- (48) D. Kutasov, A. Schwimmer, and N. Seiberg, “Chiral rings, singularity theory and electric - magnetic duality,” Nucl. Phys. B 459 (1996) 455–496, arXiv:hep-th/9510222.
- (49) J. Kinney, J. M. Maldacena, S. Minwalla, and S. Raju, “An Index for 4 dimensional super conformal theories,” Commun. Math. Phys. 275 (2007) 209–254, arXiv:hep-th/0510251 [hep-th].
- (50) G. Festuccia and N. Seiberg, “Rigid Supersymmetric Theories in Curved Superspace,” JHEP 06 (2011) 114, arXiv:1105.0689 [hep-th].
- (51) C. Romelsberger, “Counting chiral primaries in N = 1, d=4 superconformal field theories,” Nucl. Phys. B747 (2006) 329–353, arXiv:hep-th/0510060 [hep-th].
- (52) F. A. Dolan and H. Osborn, “Applications of the Superconformal Index for Protected Operators and q-Hypergeometric Identities to N=1 Dual Theories,” Nucl. Phys. B818 (2009) 137–178, arXiv:0801.4947 [hep-th].
- (53) V. Spiridonov and G. Vartanov, “Elliptic hypergeometric integrals and ’t Hooft anomaly matching conditions,” JHEP 06 (2012) 016, arXiv:1203.5677 [hep-th].
- (54) N. Bobev, M. Bullimore, and H.-C. Kim, “Supersymmetric Casimir Energy and the Anomaly Polynomial,” JHEP 09 (2015) 142, arXiv:1507.08553 [hep-th].
- (55) L. Di Pietro and Z. Komargodski, “Cardy formulae for SUSY theories in 4 and 6,” JHEP 12 (2014) 031, arXiv:1407.6061 [hep-th].
- (56) A. Arabi Ardehali, “High-temperature asymptotics of supersymmetric partition functions,” JHEP 07 (2016) 025, arXiv:1512.03376 [hep-th].
- (57) F. Benini, T. Nishioka, and M. Yamazaki, “4d Index to 3d Index and 2d TQFT,” Phys. Rev. D 86 (2012) 065015, arXiv:1109.0283 [hep-th].
- (58) S. S. Razamat and B. Willett, “Global Properties of Supersymmetric Theories and the Lens Space,” Commun. Math. Phys. 334 no. 2, (2015) 661–696, arXiv:1307.4381 [hep-th].
- (59) L. Rastelli and S. S. Razamat, “The supersymmetric index in four dimensions,” J. Phys. A50 no. 44, (2017) 443013, arXiv:1608.02965 [hep-th].
- (60) A. Gadde, “Lectures on the Superconformal Index,” arXiv:2006.13630 [hep-th].
- (61) E. Witten, “An SU(2) Anomaly,” Phys. Lett. B 117 (1982) 324–328.
- (62) E. M. Rains, “Transformations of elliptic hypergeometric integrals,” Ann. of Math. (2) 171 no. 1, (2010) 169–243.
- (63) V. P. Spiridonov, “On the elliptic beta function,” Uspekhi Mat. Nauk 56 no. 1(337), (2001) 181–182.
- (64) V. Spiridonov and G. Vartanov, “Superconformal indices for N = 1 theories with multiple duals,” Nucl. Phys. B 824 (2010) 192–216, arXiv:0811.1909 [hep-th].
- (65) T. Dimofte and D. Gaiotto, “An E7 Surprise,” JHEP 10 (2012) 129, arXiv:1209.1404 [hep-th].
- (66) S. S. Razamat and G. Zafrir, “E8 orbits of IR dualities,” JHEP 11 (2017) 115, arXiv:1709.06106 [hep-th].
- (67) S. S. Razamat, O. Sela, and G. Zafrir, “Curious patterns of IR symmetry enhancement,” JHEP 10 (2018) 163, arXiv:1809.00541 [hep-th].
- (68) K. A. Intriligator and P. Pouliot, “Exact superpotentials, quantum vacua and duality in supersymmetric SP(N(c)) gauge theories,” Phys. Lett. B 353 (1995) 471–476, arXiv:hep-th/9505006.
- (69) C. Csaki, M. Schmaltz, W. Skiba, and J. Terning, “Selfdual N=1 SUSY gauge theories,” Phys. Rev. D 56 (1997) 1228–1238, arXiv:hep-th/9701191.
- (70) S. S. Razamat, O. Sela, and G. Zafrir, “Between Symmetry and Duality in Supersymmetric Quantum Field Theories,” Phys. Rev. Lett. 120 no. 7, (2018) 071604, arXiv:1711.02789 [hep-th].
- (71) K. A. Intriligator and B. Wecht, “The Exact Superconformal R-Symmetry Maximizes a,” Nucl. Phys. B667 (2003) 183–200, arXiv:hep-th/0304128.
- (72) E. Barnes, K. A. Intriligator, B. Wecht, and J. Wright, “Evidence for the strongest version of the 4d a-theorem, via a-maximization along RG flows,” Nucl. Phys. B 702 (2004) 131–162, arXiv:hep-th/0408156.
- (73) S. S. Razamat and G. Zafrir, “ conformal dualities,” JHEP 09 (2019) 046, arXiv:1906.05088 [hep-th].
- (74) Y. Nakayama, “Can we change in four-dimensional CFTs by exactly marginal deformations?,” JHEP 07 (2017) 004, arXiv:1702.02324 [hep-th].
- (75) A. Schwimmer and S. Theisen, “Spontaneous Breaking of Conformal Invariance and Trace Anomaly Matching,” Nucl. Phys. B 847 (2011) 590–611, arXiv:1011.0696 [hep-th].
- (76) N. Mekareeya, K. Ohmori, Y. Tachikawa, and G. Zafrir, “E8 instantons on type-A ALE spaces and supersymmetric field theories,” JHEP 09 (2017) 144, arXiv:1707.04370 [hep-th].
- (77) J. Distler, B. Ergun, and A. Shehper, “Distinquishing 4d N=2 SCFTs,” arXiv:2012.15249 [hep-th].
- (78) G. Zafrir, “An = 1 Lagrangian for the rank 1 E6 superconformal theory,” JHEP 12 (2020) 098, arXiv:1912.09348 [hep-th].
- (79) G. Zafrir, “An N=1 Lagrangian for an N=3 SCFT,” arXiv:2007.14955 [hep-th].
- (80) J. A. Minahan and D. Nemeschansky, “An N=2 superconformal fixed point with E(6) global symmetry,” Nucl. Phys. B482 (1996) 142–152, arXiv:hep-th/9608047 [hep-th].
- (81) W. Nahm, “Supersymmetries and their Representations,” Nucl. Phys. B 135 (1978) 149.
- (82) S. Minwalla, “Restrictions imposed by superconformal invariance on quantum field theories,” Adv. Theor. Math. Phys. 2 (1998) 783–851, arXiv:hep-th/9712074.
- (83) J. J. Heckman, D. R. Morrison, T. Rudelius, and C. Vafa, “Atomic Classification of 6D SCFTs,” Fortsch. Phys. 63 (2015) 468–530, arXiv:1502.05405 [hep-th].
- (84) L. Bhardwaj, “Classification of 6d gauge theories,” JHEP 11 (2015) 002, arXiv:1502.06594 [hep-th].
- (85) N. Seiberg, “Nontrivial fixed points of the renormalization group in six-dimensions,” Phys. Lett. B 390 (1997) 169–171, arXiv:hep-th/9609161.
- (86) M. Bershadsky and C. Vafa, “Global anomalies and geometric engineering of critical theories in six-dimensions,” arXiv:hep-th/9703167.
- (87) D. R. Morrison and W. Taylor, “Classifying bases for 6D F-theory models,” Central Eur. J. Phys. 10 (2012) 1072–1088, arXiv:1201.1943 [hep-th].
- (88) S. S. Razamat and G. Zafrir, “Compactification of 6d minimal SCFTs on Riemann surfaces,” Phys. Rev. D98 no. 6, (2018) 066006, arXiv:1806.09196 [hep-th].
- (89) M. B. Green and J. H. Schwarz, “Anomaly Cancellation in Supersymmetric D=10 Gauge Theory and Superstring Theory,” Phys. Lett. B 149 (1984) 117–122.
- (90) M. B. Green, J. H. Schwarz, and P. C. West, “Anomaly Free Chiral Theories in Six-Dimensions,” Nucl. Phys. B 254 (1985) 327–348.
- (91) K. Ohmori, H. Shimizu, Y. Tachikawa, and K. Yonekura, “Anomaly Polynomial of General 6D SCFTs,” PTEP 2014 no. 10, (2014) 103B07, arXiv:1408.5572 [hep-th].
- (92) S. M. Hosseini, K. Hristov, Y. Tachikawa, and A. Zaffaroni, “Anomalies, Black strings and the charged Cardy formula,” JHEP 09 (2020) 167, arXiv:2006.08629 [hep-th].
- (93) H. Hayashi, S.-S. Kim, K. Lee, M. Taki, and F. Yagi, “A new 5d description of 6d D-type minimal conformal matter,” JHEP 08 (2015) 097, arXiv:1505.04439 [hep-th].
- (94) H. Hayashi, S.-S. Kim, K. Lee, and F. Yagi, “6d SCFTs, 5d Dualities and Tao Web Diagrams,” JHEP 05 (2019) 203, arXiv:1509.03300 [hep-th].
- (95) G. Zafrir, “Brane webs, gauge theories and SCFT’s,” JHEP 12 (2015) 157, arXiv:1509.02016 [hep-th].
- (96) L. Bhardwaj and P. Jefferson, “Classifying 5d SCFTs via 6d SCFTs: Arbitrary rank,” JHEP 10 (2019) 282, arXiv:1811.10616 [hep-th].
- (97) F. Apruzzi, C. Lawrie, L. Lin, S. Schäfer-Nameki, and Y.-N. Wang, “5d Superconformal Field Theories and Graphs,” Phys. Lett. B 800 (2020) 135077, arXiv:1906.11820 [hep-th].
- (98) F. Apruzzi, C. Lawrie, L. Lin, S. Schäfer-Nameki, and Y.-N. Wang, “Fibers add Flavor, Part I: Classification of 5d SCFTs, Flavor Symmetries and BPS States,” JHEP 11 (2019) 068, arXiv:1907.05404 [hep-th].
- (99) K. Ohmori, Y. Tachikawa, and G. Zafrir, “Compactifications of 6d SCFTs with non-trivial Stiefel-Whitney classes,” JHEP 04 (2019) 006, arXiv:1812.04637 [hep-th].
- (100) L. Bhardwaj, P. Jefferson, H.-C. Kim, H.-C. Tarazi, and C. Vafa, “Twisted Circle Compactifications of 6d SCFTs,” JHEP 12 (2020) 151, arXiv:1909.11666 [hep-th].
- (101) P. Jefferson, S. Katz, H.-C. Kim, and C. Vafa, “On Geometric Classification of 5d SCFTs,” JHEP 04 (2018) 103, arXiv:1801.04036 [hep-th].
- (102) K. Yonekura, “Instanton operators and symmetry enhancement in 5d supersymmetric quiver gauge theories,” JHEP 07 (2015) 167, arXiv:1505.04743 [hep-th].
- (103) M. van Beest, A. Bourget, J. Eckhard, and S. Schafer-Nameki, “(5d RG-flow) Trees in the Tropical Rain Forest,” arXiv:2011.07033 [hep-th].
- (104) F. Apruzzi, S. Schafer-Nameki, and Y.-N. Wang, “5d SCFTs from Decoupling and Gluing,” JHEP 08 (2020) 153, arXiv:1912.04264 [hep-th].
- (105) M. R. Douglas, “On D=5 super Yang-Mills theory and (2,0) theory,” JHEP 02 (2011) 011, arXiv:1012.2880 [hep-th].
- (106) N. Lambert, C. Papageorgakis, and M. Schmidt-Sommerfeld, “M5-Branes, D4-Branes and Quantum 5D super-Yang-Mills,” JHEP 01 (2011) 083, arXiv:1012.2882 [hep-th].
- (107) J. J. Heckman, P. Jefferson, T. Rudelius, and C. Vafa, “Punctures for theories of class ,” JHEP 03 (2017) 171, arXiv:1609.01281 [hep-th].
- (108) H.-C. Kim, S. S. Razamat, C. Vafa, and G. Zafrir, “E string Theory on Riemann Surfaces,” Fortsch. Phys. 66 no. 1, (2018) 1700074, arXiv:1709.02496 [hep-th].
- (109) T. Dimofte, D. Gaiotto, and N. M. Paquette, “Dual boundary conditions in 3d SCFT’s,” JHEP 05 (2018) 060, arXiv:1712.07654 [hep-th].
- (110) P. Jefferson, H.-C. Kim, C. Vafa, and G. Zafrir, “Towards Classification of 5d SCFTs: Single Gauge Node,” arXiv:1705.05836 [hep-th].
- (111) C. Beem, S. S. Razamat, and G. Zafrir, “to appear,” (See S. S. Razamat, “Geometrization of relevance”, talk at ‘Avant-garde methods for quantum field theory and gravity, Nazareth 2/2019 (https://phsites.technion.ac.il/the-fifth-israeli-indian-conference-on-string-theory/program/) .
- (112) O. Chacaltana, J. Distler, and A. Trimm, “Tinkertoys for the Twisted D-Series,” JHEP 04 (2015) 173, arXiv:1309.2299 [hep-th].
- (113) O. Chacaltana, J. Distler, and A. Trimm, “Tinkertoys for the Z3-twisted D4 Theory,” arXiv:1601.02077 [hep-th].
- (114) O. Chacaltana, J. Distler, and Y. Tachikawa, “Gaiotto duality for the twisted series,” JHEP 05 (2015) 075, arXiv:1212.3952 [hep-th].
- (115) S. S. Razamat, C. Vafa, and G. Zafrir, “4d from 6d (1, 0),” JHEP 04 (2017) 064, arXiv:1610.09178 [hep-th].
- (116) S. S. Razamat and E. Sabag, “Sequences of SCFTs on generic Riemann surfaces,” JHEP 01 (2020) 086, arXiv:1910.03603 [hep-th].
- (117) S. S. Razamat and E. Sabag, “SQCD and pairs of pants,” JHEP 09 (2020) 028, arXiv:2006.03480 [hep-th].
- (118) D. Gaiotto, L. Rastelli, and S. S. Razamat, “Bootstrapping the superconformal index with surface defects,” JHEP 01 (2013) 022, arXiv:1207.3577 [hep-th].
- (119) S. S. Razamat, “Flavored surface defects in 4d SCFTs,” Lett. Math. Phys. 109 no. 6, (2019) 1377–1395, arXiv:1808.09509 [hep-th].
- (120) S. Ruijsenaars, “On Razamat’s and kernel identities,” J. Phys. A 53 no. 33, (2020) 334002, arXiv:2003.11353 [math-ph].
- (121) K. Ohmori, H. Shimizu, and Y. Tachikawa, “Anomaly polynomial of E-string theories,” JHEP 08 (2014) 002, arXiv:1404.3887 [hep-th].
- (122) N. Seiberg, “Five-dimensional SUSY field theories, nontrivial fixed points and string dynamics,” Phys. Lett. B 388 (1996) 753–760, arXiv:hep-th/9608111.
- (123) J. A. Minahan and D. Nemeschansky, “Superconformal fixed points with E(n) global symmetry,” Nucl. Phys. B489 (1997) 24–46, arXiv:hep-th/9610076 [hep-th].
- (124) D. Gaiotto and S. S. Razamat, “ Theories of Class ,” JHEP 07 (2015) 073, arXiv:1503.05159 [hep-th].
- (125) H.-C. Kim, S. S. Razamat, C. Vafa, and G. Zafrir, “Compactifications of ADE conformal matter on a torus,” JHEP 09 (2018) 110, arXiv:1806.07620 [hep-th].
- (126) B. Nazzal, A. Nedelin, and S. S. Razamat, “Minimal conformal matter and generalizations of the van Diejen model,” arXiv:2106.08335 [hep-th].
- (127) I. Bah, C. Beem, N. Bobev, and B. Wecht, “Four-Dimensional SCFTs from M5-Branes,” JHEP 06 (2012) 005, arXiv:1203.0303 [hep-th].
- (128) A. Hanany and K. Maruyoshi, “Chiral theories of class ,” JHEP 12 (2015) 080, arXiv:1505.05053 [hep-th].
- (129) I. Bah, A. Hanany, K. Maruyoshi, S. S. Razamat, Y. Tachikawa, and G. Zafrir, “4d from 6d on a torus with fluxes,” JHEP 06 (2017) 022, arXiv:1702.04740 [hep-th].
- (130) P. Agarwal, K. Intriligator, and J. Song, “Infinitely many dualities from ,” JHEP 10 (2015) 035, arXiv:1505.00255 [hep-th].
- (131) S. Pasquetti, S. S. Razamat, M. Sacchi, and G. Zafrir, “Rank E-string on a torus with flux,” SciPost Phys. 8 (2020) 014, arXiv:1908.03278 [hep-th].
- (132) S. S. Razamat and G. Zafrir, “Exceptionally simple exceptional models,” JHEP 11 (2016) 061, arXiv:1609.02089 [hep-th].
- (133) R. Eager, “Local Operators from the Space of Vacua of Four Dimensional SUSY Gauge Theories,” arXiv:1810.01192 [hep-th].
- (134) D. Gaiotto and H.-C. Kim, “Duality walls and defects in 5d theories,” JHEP 01 (2017) 019, arXiv:1506.03871 [hep-th].
- (135) C. Hwang, S. S. Razamat, E. Sabag, and M. Sacchi, “Rank E-String on Spheres with Flux,” arXiv:2103.09149 [hep-th].
- (136) I. Bah, F. Bonetti, R. Minasian, and E. Nardoni, “Anomalies of QFTs from M-theory and Holography,” JHEP 01 (2020) 125, arXiv:1910.04166 [hep-th].
- (137) M. Del Zotto, J. J. Heckman, A. Tomasiello, and C. Vafa, “6d Conformal Matter,” JHEP 02 (2015) 054, arXiv:1407.6359 [hep-th].
- (138) M. Fazzi and S. Giacomelli, “ superconformal theories with blocks,” arXiv:1609.08156 [hep-th].
- (139) E. Nardoni, “4d SCFTs from negative-degree line bundles,” arXiv:1611.01229 [hep-th].
- (140) S. S. Razamat and B. Willett, “Star-shaped quiver theories with flux,” Phys. Rev. D 101 no. 6, (2020) 065004, arXiv:1911.00956 [hep-th].
- (141) S. S. Razamat, E. Sabag, and G. Zafrir, “From 6d flows to 4d flows,” JHEP 12 (2019) 108, arXiv:1907.04870 [hep-th].
- (142) E. Sabag, “Non minimal D-type conformal matter compactified on three punctured spheres,” JHEP 10 (2020) 139, arXiv:2007.13567 [hep-th].
- (143) C. Cordova, T. T. Dumitrescu, and K. Intriligator, “Multiplets of Superconformal Symmetry in Diverse Dimensions,” arXiv:hep-th/1612.00809.
- (144) J. Chen, B. Haghighat, S. Liu, and M. Sperling, “4d =1 from 6d D-type =(1,0),” JHEP 01 (2020) 152, arXiv:1907.00536 [hep-th].
- (145) C. Hwang, S. Pasquetti, and M. Sacchi, “4d mirror-like dualities,” arXiv:2002.12897 [hep-th].
- (146) K. Maruyoshi and J. Song, “ deformations and RG flows of SCFTs,” JHEP 02 (2017) 075, arXiv:1607.04281 [hep-th].
- (147) P. Agarwal, K. Maruyoshi, and J. Song, “ =1 Deformations and RG flows of =2 SCFTs, part II: non-principal deformations,” JHEP 12 (2016) 103, arXiv:1610.05311 [hep-th]. [Addendum: JHEP 04, 113 (2017)].
- (148) F. Carta, S. Giacomelli, H. Hayashi, and R. Savelli, “The Geometry of SUSY Enhancement,” JHEP 02 (2020) 106, arXiv:1910.09568 [hep-th].
- (149) O. Chacaltana and J. Distler, “Tinkertoys for Gaiotto Duality,” JHEP 11 (2010) 099, arXiv:1008.5203 [hep-th].
- (150) O. Chacaltana and J. Distler, “Tinkertoys for the series,” JHEP 02 (2013) 110, arXiv:1106.5410 [hep-th].
- (151) D. Gaiotto, L. Rastelli, and S. S. Razamat unpublished .
- (152) P. C. Argyres and N. Seiberg, “S-duality in N=2 supersymmetric gauge theories,” JHEP 12 (2007) 088, arXiv:0711.0054 [hep-th].
- (153) P. C. Argyres and J. R. Wittig, “Infinite coupling duals of N=2 gauge theories and new rank 1 superconformal field theories,” JHEP 01 (2008) 074, arXiv:0712.2028 [hep-th].
- (154) S. S. Razamat and G. Zafrir, “ = 1 conformal duals of gauged En MN models,” JHEP 06 (2020) 176, arXiv:2003.01843 [hep-th].
- (155) A. Gadde, L. Rastelli, S. S. Razamat, and W. Yan, “The Superconformal Index of the SCFT,” JHEP 08 (2010) 107, arXiv:1003.4244 [hep-th].
- (156) A. Gadde, S. S. Razamat, and B. Willett, “”Lagrangian” for a Non-Lagrangian Field Theory with Supersymmetry,” Phys. Rev. Lett. 115 no. 17, (2015) 171604, arXiv:1505.05834 [hep-th].
- (157) P. Agarwal, K. Maruyoshi, and J. Song, “A “Lagrangian” for the superconformal theory,” JHEP 05 (2018) 193, arXiv:1802.05268 [hep-th].
- (158) B. Ergun and S. S. Razamat, “work in progress,”.
- (159) D. Gang and K. Yonekura, “Symmetry enhancement and closing of knots in 3d/3d correspondence,” JHEP 07 (2018) 145, arXiv:1803.04009 [hep-th].
- (160) D. Gaiotto, Z. Komargodski, and J. Wu, “Curious Aspects of Three-Dimensional SCFTs,” JHEP 08 (2018) 004, arXiv:1804.02018 [hep-th].
- (161) F. Benini and S. Benvenuti, “ = 1 QED in 2 + 1 dimensions: dualities and enhanced symmetries,” JHEP 05 (2021) 176, arXiv:1804.05707 [hep-th].
- (162) M. Fazzi, A. Lanir, S. S. Razamat, and O. Sela, “Chiral 3d SU(3) SQCD and mirror duality,” JHEP 11 (2018) 025, arXiv:1808.04173 [hep-th].
- (163) C. Choi, M. Roček, and A. Sharon, “Dualities and Phases of SQCD,” JHEP 10 (2018) 105, arXiv:1808.02184 [hep-th].
- (164) H. Hayashi, S.-S. Kim, K. Lee, M. Taki, and F. Yagi, “More on 5d descriptions of 6d SCFTs,” JHEP 10 (2016) 126, arXiv:1512.08239 [hep-th].
- (165) H. Hayashi, S.-S. Kim, K. Lee, and F. Yagi, “Rank-3 antisymmetric matter on 5-brane webs,” JHEP 05 (2019) 133, arXiv:1902.04754 [hep-th].
- (166) L. Bhardwaj, “Dualities of 5d gauge theories from S-duality,” JHEP 07 (2020) 012, arXiv:1909.05250 [hep-th].
- (167) F. Apruzzi, C. Lawrie, L. Lin, S. Schäfer-Nameki, and Y.-N. Wang, “Fibers add Flavor, Part II: 5d SCFTs, Gauge Theories, and Dualities,” JHEP 03 (2020) 052, arXiv:1909.09128 [hep-th].
- (168) L. Bhardwaj and G. Zafrir, “Classification of 5d = 1 gauge theories,” JHEP 12 (2020) 099, arXiv:2003.04333 [hep-th].
- (169) J. Eckhard, S. Schäfer-Nameki, and Y.-N. Wang, “Trifectas for TN in 5d,” JHEP 07 no. 07, (2020) 199, arXiv:2004.15007 [hep-th].
- (170) A. Gorsky and N. Nekrasov, “Elliptic Calogero-Moser system from two-dimensional current algebra,” arXiv:hep-th/9401021.
- (171) A. Gadde and S. Gukov, “2d Index and Surface operators,” JHEP 03 (2014) 080, arXiv:1305.0266 [hep-th].
- (172) N. A. Nekrasov and S. L. Shatashvili, “Quantization of Integrable Systems and Four Dimensional Gauge Theories,” in Proceedings, 16th International Congress on Mathematical Physics (ICMP09): Prague, Czech Republic, August 3-8, 2009, pp. 265–289. 2009. arXiv:0908.4052 [hep-th].
- (173) M. Lemos, W. Peelaers, and L. Rastelli, “The superconformal index of class theories of type ,” JHEP 05 (2014) 120, arXiv:1212.1271 [hep-th].
- (174) B. Nazzal and S. S. Razamat, “Surface Defects in E-String Compactifications and the van Diejen Model,” SIGMA 14 (2018) 036, arXiv:1801.00960 [hep-th].
- (175) K. Maruyoshi and J. Yagi, “Surface defects as transfer matrices,” PTEP 2016 no. 11, (2016) 113B01, arXiv:1606.01041 [hep-th].
- (176) A. Gorsky, I. Krichever, A. Marshakov, A. Mironov, and A. Morozov, “Integrability and Seiberg-Witten exact solution,” Phys. Lett. B 355 (1995) 466–474, arXiv:hep-th/9505035.
- (177) R. Donagi and E. Witten, “Supersymmetric Yang-Mills theory and integrable systems,” Nucl. Phys. B 460 (1996) 299–334, arXiv:hep-th/9510101.
- (178) J. Chen, B. Haghighat, H.-C. Kim, M. Sperling, and X. Wang, “E-string Quantum Curve,” arXiv:2103.16996 [hep-th].
- (179) A. Gadde, E. Pomoni, L. Rastelli, and S. S. Razamat, “S-duality and 2d Topological QFT,” JHEP 03 (2010) 032, arXiv:0910.2225 [hep-th].
- (180) A. Gadde, L. Rastelli, S. S. Razamat, and W. Yan, “The 4d Superconformal Index from q-deformed 2d Yang-Mills,” Phys. Rev. Lett. 106 (2011) 241602, arXiv:1104.3850 [hep-th].
- (181) A. Gadde, L. Rastelli, S. S. Razamat, and W. Yan, “Gauge Theories and Macdonald Polynomials,” Commun. Math. Phys. 319 (2013) 147–193, arXiv:1110.3740 [hep-th].
- (182) M. Aganagic, H. Ooguri, N. Saulina, and C. Vafa, “Black holes, q-deformed 2d Yang-Mills, and non-perturbative topological strings,” Nucl. Phys. B 715 (2005) 304–348, arXiv:hep-th/0411280.
- (183) M. Aganagic and S. Shakirov, “Knot Homology and Refined Chern-Simons Index,” Commun. Math. Phys. 333 no. 1, (2015) 187–228, arXiv:1105.5117 [hep-th].
- (184) L. F. Alday, M. Bullimore, and M. Fluder, “On S-duality of the Superconformal Index on Lens Spaces and 2d TQFT,” JHEP 05 (2013) 122, arXiv:1301.7486 [hep-th].
- (185) S. S. Razamat and M. Yamazaki, “S-duality and the N=2 Lens Space Index,” JHEP 10 (2013) 048, arXiv:1306.1543 [hep-th].
- (186) L. F. Alday, M. Bullimore, M. Fluder, and L. Hollands, “Surface defects, the superconformal index and q-deformed Yang-Mills,” JHEP 10 (2013) 018, arXiv:1303.4460 [hep-th].
- (187) Y. Tachikawa and N. Watanabe, “On skein relations in class S theories,” JHEP 06 (2015) 186, arXiv:1504.00121 [hep-th].
- (188) C. Beem, M. Lemos, P. Liendo, W. Peelaers, L. Rastelli, and B. C. van Rees, “Infinite Chiral Symmetry in Four Dimensions,” Commun. Math. Phys. 336 no. 3, (2015) 1359–1433, arXiv:1312.5344 [hep-th].
- (189) F. J. van de Bult, “An elliptic hypergeometric integral with symmetry,” Ramanujan J. 25 no. 1, (2011) 1–20.
- (190) D. Gaiotto and J. Maldacena, “The Gravity duals of N=2 superconformal field theories,” JHEP 10 (2012) 189, arXiv:0904.4466 [hep-th].
- (191) I. Bah, F. Bonetti, R. Minasian, and E. Nardoni, “Class Anomalies from M-theory Inflow,” Phys. Rev. D 99 no. 8, (2019) 086020, arXiv:1812.04016 [hep-th].
- (192) I. Bah, F. Bonetti, R. Minasian, and E. Nardoni, “Anomaly Inflow for M5-branes on Punctured Riemann Surfaces,” JHEP 06 (2019) 123, arXiv:1904.07250 [hep-th].
- (193) J. P. Gauntlett, D. Martelli, J. Sparks, and D. Waldram, “Supersymmetric AdS(5) solutions of M theory,” Class. Quant. Grav. 21 (2004) 4335–4366, arXiv:hep-th/0402153.
- (194) I. Bah, F. Bonetti, and R. Minasian, “Discrete and higher-form symmetries in SCFTs from wrapped M5-branes,” JHEP 03 (2021) 196, arXiv:2007.15003 [hep-th].
- (195) S. Gukov, P.-S. Hsin, and D. Pei, “Generalized global symmetries of theories. Part I,” JHEP 04 (2021) 232, arXiv:2010.15890 [hep-th].
- (196) L. Bhardwaj, M. Hubner, and S. Schafer-Nameki, “1-form Symmetries of 4d N=2 Class S Theories,” arXiv:2102.01693 [hep-th].
- (197) L. Bhardwaj, M. Hubner, and S. Schafer-Nameki, “Liberating Confinement from Lagrangians: 1-form Symmetries and Lines in 4d from 6d ,” arXiv:2106.10265 [hep-th].
- (198) L. Bhardwaj, “Global Form of Flavor Symmetry Groups in 4d N=2 Theories of Class S,” arXiv:2105.08730 [hep-th].
- (199) O. Aharony, S. S. Razamat, N. Seiberg, and B. Willett, “3 dualities from 4 dualities for orthogonal groups,” JHEP 08 (2013) 099, arXiv:1307.0511 [hep-th].
- (200) F. Benini, Y. Tachikawa, and D. Xie, “Mirrors of 3d Sicilian theories,” JHEP 09 (2010) 063, arXiv:1007.0992 [hep-th].
- (201) S. Benvenuti and S. Pasquetti, “3D-partition functions on the sphere: exact evaluation and mirror symmetry,” JHEP 05 (2012) 099, arXiv:1105.2551 [hep-th].
- (202) T. Nishioka, Y. Tachikawa, and M. Yamazaki, “3d Partition Function as Overlap of Wavefunctions,” JHEP 08 (2011) 003, arXiv:1105.4390 [hep-th].
- (203) E. Beratto, S. Giacomelli, N. Mekareeya, and M. Sacchi, “3d mirrors of the circle reduction of twisted A2N theories of class S,” JHEP 09 (2020) 161, arXiv:2007.05019 [hep-th].
- (204) F. Carta, S. Giacomelli, N. Mekareeya, and A. Mininno, “Conformal Manifolds and 3d Mirrors of Argyres-Douglas theories,” arXiv:2105.08064 [hep-th].
- (205) S. Giacomelli, N. Mekareeya, and M. Sacchi, “New aspects of Argyres–Douglas theories and their dimensional reduction,” JHEP 03 (2021) 242, arXiv:2012.12852 [hep-th].
- (206) M. Sacchi, O. Sela, and G. Zafrir, “Compactifying 5d superconformal field theories to 3d,” arXiv:2105.01497 [hep-th].
- (207) M. Sacchi, O. Sela, and G. Zafrir, “On the 3d compactifications of 5d SCFTs associated with SU(N+1) gauge theories,” arXiv:2111.12745 [hep-th].
- (208) A. Gadde, S. S. Razamat, and B. Willett, “On the reduction of 4d theories on ,” JHEP 11 (2015) 163, arXiv:1506.08795 [hep-th].
- (209) M. Dedushenko and S. Gukov, “IR duality in 2D gauge theory with noncompact dynamics,” Phys. Rev. D 99 no. 6, (2019) 066005, arXiv:1712.07659 [hep-th].
- (210) M. Sacchi, “New 2d = (0, 2) dualities from four dimensions,” JHEP 12 (2020) 009, arXiv:2004.13672 [hep-th].
- (211) M. Martone and G. Zafrir, “On the compactification of 5d theories to 4d,” arXiv:2106.00686 [hep-th].
- (212) O. Aharony, S. S. Razamat, and B. Willett, “From 3d duality to 2d duality,” JHEP 11 (2017) 090, arXiv:1710.00926 [hep-th].
- (213) A. Nedelin, S. Pasquetti, and Y. Zenkevich, “T[SU(N)] duality webs: mirror symmetry, spectral duality and gauge/CFT correspondences,” JHEP 02 (2019) 176, arXiv:1712.08140 [hep-th].
- (214) S. Pasquetti and M. Sacchi, “From 3 dualities to 2 free field correlators and back,” JHEP 11 (2019) 081, arXiv:1903.10817 [hep-th].
- (215) S. Pasquetti and M. Sacchi, “3d dualities from 2d free field correlators: recombination and rank stabilization,” JHEP 01 (2020) 061, arXiv:1905.05807 [hep-th].
- (216) A. Gadde, S. Gukov, and P. Putrov, “(0, 2) trialities,” JHEP 03 (2014) 076, arXiv:1310.0818 [hep-th].
- (217) T. Dimofte, D. Gaiotto, and S. Gukov, “3-Manifolds and 3d Indices,” Adv. Theor. Math. Phys. 17 no. 5, (2013) 975–1076, arXiv:1112.5179 [hep-th].
- (218) H.-J. Chung, T. Dimofte, S. Gukov, and P. Sulkowski, “3d-3d Correspondence Revisited,” JHEP 04 (2016) 140, arXiv:1405.3663 [hep-th].
- (219) J. Eckhard, S. Schäfer-Nameki, and J.-M. Wong, “An 3d-3d Correspondence,” JHEP 07 (2018) 052, arXiv:1804.02368 [hep-th].
- (220) S. Chun, S. Gukov, S. Park, and N. Sopenko, “3d-3d correspondence for mapping tori,” JHEP 09 (2020) 152, arXiv:1911.08456 [hep-th].
- (221) S. Gukov, P. Putrov, and C. Vafa, “Fivebranes and 3-manifold homology,” JHEP 07 (2017) 071, arXiv:1602.05302 [hep-th].
- (222) A. Gadde, S. Gukov, and P. Putrov, “Fivebranes and 4-manifolds,” Prog. Math. 319 (2016) 155–245, arXiv:1306.4320 [hep-th].
- (223) S. Gukov, D. Pei, P. Putrov, and C. Vafa, “4-manifolds and topological modular forms,” arXiv:1811.07884 [hep-th].
- (224) N. Arkani-Hamed, A. G. Cohen, D. B. Kaplan, A. Karch, and L. Motl, “Deconstructing (2,0) and little string theories,” JHEP 01 (2003) 083, arXiv:hep-th/0110146.
- (225) J. Hayling, C. Papageorgakis, E. Pomoni, and D. Rodriguez-Gómez, “Exact Deconstruction of the 6D (2,0) Theory,” JHEP 06 (2017) 072, arXiv:1704.02986 [hep-th].
- (226) O. Aharony, M. Berkooz, S. Kachru, N. Seiberg, and E. Silverstein, “Matrix description of interacting theories in six-dimensions,” Adv. Theor. Math. Phys. 1 (1998) 148–157, arXiv:hep-th/9707079.
- (227) O. Aharony, M. Berkooz, and N. Seiberg, “Light cone description of (2,0) superconformal theories in six-dimensions,” Adv. Theor. Math. Phys. 2 (1998) 119–153, arXiv:hep-th/9712117.
- (228) N. Lambert, C. Papageorgakis, and M. Schmidt-Sommerfeld, “Deconstructing (2,0) Proposals,” Phys. Rev. D 88 no. 2, (2013) 026007, arXiv:1212.3337 [hep-th].
- (229) R. Rattazzi, V. S. Rychkov, E. Tonni, and A. Vichi, “Bounding scalar operator dimensions in 4D CFT,” JHEP 12 (2008) 031, arXiv:0807.0004 [hep-th].
- (230) D. Poland, S. Rychkov, and A. Vichi, “The Conformal Bootstrap: Theory, Numerical Techniques, and Applications,” Rev. Mod. Phys. 91 (2019) 015002, arXiv:1805.04405 [hep-th].
- (231) D. Simmons-Duffin, “The Conformal Bootstrap,” in Theoretical Advanced Study Institute in Elementary Particle Physics: New Frontiers in Fields and Strings. 2, 2016. arXiv:1602.07982 [hep-th].
- (232) N. Seiberg and E. Witten, “Electric - magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory,” Nucl. Phys. B 426 (1994) 19–52, arXiv:hep-th/9407087. [Erratum: Nucl.Phys.B 430, 485–486 (1994)].
- (233) N. Seiberg and E. Witten, “Monopoles, duality and chiral symmetry breaking in N=2 supersymmetric QCD,” Nucl. Phys. B 431 (1994) 484–550, arXiv:hep-th/9408099.
- (234) Y. Tachikawa, N=2 supersymmetric dynamics for pedestrians. 12, 2013. arXiv:1312.2684 [hep-th].
- (235) K. A. Intriligator and N. Seiberg, “Phases of N=1 supersymmetric gauge theories in four-dimensions,” Nucl. Phys. B 431 (1994) 551–568, arXiv:hep-th/9408155.
- (236) I. Coman, E. Pomoni, M. Taki, and F. Yagi, “Spectral curves of = 1 theories of class ,” JHEP 06 (2017) 136, arXiv:1512.06079 [hep-th].
- (237) V. Mitev and E. Pomoni, “2D CFT blocks for the 4D class theories,” JHEP 08 (2017) 009, arXiv:1703.00736 [hep-th].
- (238) T. Bourton and E. Pomoni, “Instanton counting in class ,” J. Phys. A 53 no. 16, (2020) 165401, arXiv:1712.01288 [hep-th].
- (239) T. Bourton, A. Pini, and E. Pomoni, “The Coulomb and Higgs branches of = 1 theories of Class ,” JHEP 02 (2021) 137, arXiv:2011.01587 [hep-th].
- (240) T. Bourton, E. Pomoni, and X. Zhang, “ = 1 Curves on Generalized Coulomb Branches of Supersymmetric Gauge Theories,” Universe 8 no. 2, (2022) 101, arXiv:2111.14543 [hep-th].
- (241) P. Argyres, M. Lotito, Y. Lü, and M. Martone, “Geometric constraints on the space of = 2 SCFTs. Part I: physical constraints on relevant deformations,” JHEP 02 (2018) 001, arXiv:1505.04814 [hep-th].
- (242) P. Argyres and M. Martone, “Construction and classification of Coulomb branch geometries,” arXiv:2003.04954 [hep-th].
- (243) M. Martone, “The constraining power of Coulomb Branch Geometry: lectures on Seiberg-Witten theory,” in Young Researchers Integrability School and Workshop 2020: A modern primer for superconformal field theories. 6, 2020. arXiv:2006.14038 [hep-th].
- (244) M. Martone, “Testing our understanding of SCFTs: a catalogue of rank-2 =2 theories in four dimensions,” arXiv:2102.02443 [hep-th].
- (245) B. Le Floch, “A slow review of the AGT correspondence,” arXiv:2006.14025 [hep-th].
- (246) N. Nekrasov, “BPS/CFT correspondence: non-perturbative Dyson-Schwinger equations and qq-characters,” JHEP 03 (2016) 181, arXiv:1512.05388 [hep-th].
- (247) N. Nekrasov, “BPS/CFT Correspondence III: Gauge Origami partition function and qq-characters,” Commun. Math. Phys. 358 no. 3, (2018) 863–894, arXiv:1701.00189 [hep-th].
- (248) H. Ooguri and C. Vafa, “On the Geometry of the String Landscape and the Swampland,” Nucl. Phys. B 766 (2007) 21–33, arXiv:hep-th/0605264.
- (249) E. Palti, “The Swampland: Introduction and Review,” Fortsch. Phys. 67 no. 6, (2019) 1900037, arXiv:1903.06239 [hep-th].
- (250) M. van Beest, J. Calderón-Infante, D. Mirfendereski, and I. Valenzuela, “Lectures on the Swampland Program in String Compactifications,” arXiv:2102.01111 [hep-th].
- (251) M. A. Shifman and A. Vainshtein, “Solution of the Anomaly Puzzle in SUSY Gauge Theories and the Wilson Operator Expansion,” Sov. Phys. JETP 64 (1986) 428–440.
- (252) M. A. Shifman and A. Vainshtein, “On holomorphic dependence and infrared effects in supersymmetric gauge theories,” Nucl. Phys. B 359 (1991) 571–580.
- (253) B. Feng, A. Hanany, and Y.-H. He, “Counting gauge invariants: The Plethystic program,” JHEP 03 (2007) 090, arXiv:hep-th/0701063.
- (254) I. n. G. Etxebarria, B. Heidenreich, M. Lotito, and A. K. Sorout, “Deconfining SCFTs, or the Art of Brane Bending,” arXiv:2111.08022 [hep-th].
- (255) J. A. Harvey, “TASI 2003 lectures on anomalies,” 9, 2005. arXiv:hep-th/0509097.
- (256) L. Alvarez-Gaume and E. Witten, “Gravitational Anomalies,” Nucl. Phys. B 234 (1984) 269.
- (257) K. Intriligator, “6D Coulomb Branch Anomaly Matching,” arXiv:1408.6745 [hep-th].
- (258) E. Witten, “Topological Quantum Field Theory,” Commun. Math. Phys. 117 (1988) 353.
- (259) C. S. Chan, O. J. Ganor, and M. Krogh, “Chiral compactifications of 6-D conformal theories,” Nucl. Phys. B597 (2001) 228–244, arXiv:hep-th/0002097 [hep-th].
- (260) Y. Tachikawa and K. Yonekura, “Anomalies involving the space of couplings and the Zamolodchikov metric,” JHEP 12 (2017) 140, arXiv:1710.03934 [hep-th].