Chiral Algebras, Localization and Surface Defects

Four-dimensional N = 2 superconformal quantum field theories contain a subsector carrying the structure of a chiral algebra. Using localization techniques, we show for the free hypermultiplet that this structure can be accessed directly from the path integral on the four-sphere. We extend the localization computation to include supersymmetric surface defects described by a generic 4d/2d coupled system. The presence of a defect corresponds to considering a module of the chiral algebra: our results provide a calculational window into its structure constants.


Introduction
Four-dimensional N = 2 superconformal quantum field theories (SCFTs) contain a subsector of local operators whose operator product algebra is described by a chiral algebra [1].
The chiral algebra repackages and organizes an infinite amount of conformal data in a tightly constrained structure. As a result, it is an efficient tool to obtain new results on various aspects of the above-lying SCFT. For example, one can extract novel unitarity bounds on central charges [1][2][3][4], get a handle on Higgs branches and their relations [5,6], find expressions for superconformal indices [7][8][9][10][11][12][13][14] and obtain modular differential equations they must satisfy [6,15,16], etc. Vice versa, the image of the map from four-dimensional N = 2 SCFTs to chiral algebras defines a set of vertex operator algebras of mathematical interest [15,17]. For example, the image of theories of class S has the structure of a topological quantum field theory valued in chiral algebras [18].
The SCFT/chiral algebra correspondence was constructed algebraically in [1]: the relevant subsector of local operators was isolated by passing to the cohomology of either one of two well-chosen nilpotent supercharge Q i , i = 1, 2, and it was shown that the algebra of cohomology classes, obtained by reducing the operator product algebra, is isomorphic to a chiral algebra. The chiral algebra depends meromorphically on the complex coordinates of a plane that is singled out by the choice of Q i . The first goal of this paper is to show that the chiral algebra structure can be carved out directly from the path integral. We restrict attention to the example of the free hypermultiplet, which already showcases all salient features and serves as a proof of principle. Concretely, we map the theory to the round four-sphere, and employ supersymmetric localization techniques with respect to the supercharge Q = Q 1 + Q 2 to argue that the theory can be localized to a quantum field theory on a two-sphere. 1 This quantum field theory is precisely the chiral algebra associated with the free hypermultiplet, namely the symplectic boson pair. The localization computation is compatible with the insertion of operators in the subsector mentioned above. Schematically, The representation theory of the chiral algebras associated with N = 2 SCFTs can be probed by inserting surface defects in the four-dimensional theory [1,21,22]. Indeed, it is easy to verify that a defect preserving N = (2, 2) supersymmetry on its worlvolume can be embedded perpendicular to the plane in which the chiral algebra lives in such a way that it is compatible with the nilpotent supercharges Q i . Its insertion corresponds to considering a module of the chiral algebra. Our localization computation can be extended likewise to include defects wrapping an orthogonal two-sphere. We consider a large class of defects described by coupling an arbitrary two-dimensional quantum field theory T 2d to the free hypermultiplet via a twisted superpotential coupling. 2 . We present in detail the extension of the localization computation to these 4d/2d coupled systems. Our result for the partition function of the 4d/2d coupled system is Here φ 2d collectively denotes the localization locus of the two-dimensional theory T 2d , and is the one-loop determinant of quadratic fluctuations of the two-dimensional theory. In the twisted superpotential, W , the quantum fields Q and Q are pinned at the north pole and we collectively wrote φ tc 2d for the bottom components of the twisted chiral multiplets of the two-dimensional theory. The latter are set to their constant BPS profile (which is integrated/summed over). In the complex conjugate term, the symplectic boson pair is located at the south pole. This result can be further enriched by operator insertions.
Away from the north and south poles, the computation is compatible with the insertion of operators in the subsector as above, while at the poles one can additionally insert native two-dimensional twisted chiral fields. This distinction of allowed insertions between the bulk of the two-sphere and the poles precisely reflect the structure of the module.
While information about the space of states constituting the module can be gained via, for example, the superconformal index, the structure constants of the module have been inaccessible so far. Our localization computation opens a computational window to compute these coefficients and to analyze their dependence on coupling constants.
The paper is organized as follows. In section 2 we briefly review the salient features of the SCFT/chiral algebra correspondence. In section 3 we prepare the localization computation by placing the theory on the four-sphere and selecting the localizing supercharge. The main results of the paper are in sections 4 and 5, in which we present the localization computation of the free hypermultiplet to the symplectic boson, and its extension to include surface defects described by 4d/2d coupled systems. Two appendices contain some technical details and further results. 2 The embedding of the two-dimensional N = (2, 2) symmetry algebra in the four-dimensional N = 2 algebra is such that a hypermultiplet decomposes into a pair of twisted chiral multiplets (and their conjugates).

Review of SCFT/chiral algebra correspondence
In this section, we briefly review the correspondence between four-dimensional N = 2 superconformal field theories and chiral algebras. We refer the readers to the original paper [1] for all details. We also explain how the inclusion of a superconformal surface defect in the four-dimensional SCFT naturally leads one to consider modules of the chiral algebra [1,21,22].
As for any conformal field theory, the conformal data of a four-dimensional N = 2 SCFT fully determine correlation functions of finitely many local operators. These data comprise the spectrum of local operators, organized in representations of the superconformal algebra and any additional global symmetry algebras, and the three-point couplings or operator product expansion (OPE) coefficients, one for every three local operators. Naturally, the organization of local operators in multiplets implies relations among various OPE coefficients.
The conformal data satisfy the conformal bootstrap constraints, which state that the operator product algebra is associative. The conformal bootstrap program aims to reverse the logic by trying to extract useful information from these constraints, and ideally solve for the conformal data, given a minimal amount of information on the (S)CFT. It has been successfully implemented for rational conformal field theories in two dimensions, in large part thanks to their enlarged Virasoro symmetry, but is not easily generalizable analytically away from rationality or for higher-dimensional theories. In [1], however, it was found that for fourdimensional N = 2 SCFTs a solvable truncation can be obtained by considering instead of the algebra of local operators the algebra of cohomology classes with respect to a cleverly chosen nilpotent supercharge. 3 This algebra was shown to be a chiral algebra.
In the N = 2 superconformal algebra, one can define two nilpotent supercharges, denoted as Q i , i = 1, 2, which each take the schematic form of a sum of a Poincaré supercharge and a superconformal supercharge. 4 Their anticommutator is given by where r denotes the U (1) r charge and M ⊥ is the generator of rotations in the (x 1 , x 2 )-plane.
The latter can be expressed in terms of the usual rotation generators (j 1 , j 2 ) as M ⊥ = j 1 − j 2 .
The cohomologies of Q i can be shown to be isomorphic and can be easily characterized in two steps. First, the harmonic representatives of cohomology classes at the origin are 3 See [23][24][25] for similar constructions in three and six dimensions. 4 Denoting the Poincaré supercharges of the four-dimensional N = 2 superconformal algebra as Q Iα , Q Iα and the conformal supercharges as S Iα , Sα I , we take, following [1], Q 1 = Q 1− + S− 2 and Q 2 = S 1− − Q 2− . Here I is an SU (2) R index and α,α are the standard spinor indices.
characterized by the conditions which contain the conformal dimension E and the SU (2) R spin R. Operators satisfying these conditions were called Schur operators in [1] as they satisfy the shortening conditions defining operators contributing to the Schur limit of the superconformal index [26]. Unitarity of the four-dimensional SCFT demands that Schur operators necessarily are SU (2) R highest weight states, and moreover that their rotational quantum numbers j 1 and j 2 are maximal. A Schur operator can thus be schematically represented as O (11...1),+...++...+ , where the first set of (symmetrized) indices are SU (2) R indices, and the other indices are the usual Lorentz indices.
We will sometimes suppress the Lorentz indices in what follows. Second, one can move the operator away from the origin, while remaining inside the cohomology of Q i , by employing Q i -closed translation operators. It turns out that one can only translate the operators in this manner in the plane kept fixed pointwise by M ⊥ , which we will call the chiral algebra plane. Introducing complex coordinates (z,z) in this plane, the z-translation operator P z is Q i -closed, while a twistedz-translation is Q i -exact. 5 The latter is given concretely as Pz where R − is the SU (2) R lowering operator. One then finds As thez dependence is generated by a Q i -exact operator, it drops out in cohomology: . One can argue that the algebra of cohomology classes thus obtained defines a chiral algebra.
The resulting chiral algebras exhibit many beautiful, general properties [1]: • It features Virasoro symmetry with central charge c 2d = −12c 4d , where c 4d is the (four-dimensional) Weyl anomaly associated to the square of the Weyl tensor. It is noteworthy that four-dimensional unitarity implies that the chiral algebra is necessarily non-unitary.
• Four-dimensional flavor symmetries manifest themselves as affine symmetries of the chiral algebra. The level k 2d of the current algebra is universally determined in terms of the flavor central charge k 4d , which controls the canonically normalized flavor current two-point function, as k 2d = − 1 2 k 4d .
• Exactly marginal gauging in the four-dimensional SCFT is concisely captured by a BRST reduction. Non-renormalization theorems guarantee that the resulting chiral algebra is independent of the exactly marginal coupling. 6 • Each generator of the Higgs branch chiral ring gives rise to a strong generator of the chiral algebra, 7 while Higgs branch chiral ring relations translate into null relations.
Moreover, the Higgs branch can be extracted from the chiral algebra as its associated variety [6].
• The vacuum character of the chiral algebra is computed by the Schur limit of the superconformal index.
The chiral algebras associated to free N = 2 SCFTs, i.e., the free hypermultiplet and the free vectormultiplet, are easily found to be a symplectic boson pair and a small (b, c) ghost system. As these chiral algebras are the basic building blocks of any localization computation, we briefly review their construction. The four real scalars of a free hypermultiplet are rotated by an SU (2) R × SU (2) F symmetry. The first factor is the R-symmetry, whose indices we denote as I, J, . . ., while the second is a flavor symmetry, for which we use indices A, B, . . .
The Schur operators in the free hypermultiplet are all words built from the elementary letters q 1A and the derivative ∂ ++ = ∂ z . The cohomology elements are then obtained by applying the 'twisted translation' of (2.4). In particular, one The meromorphic operator product expansion (OPE) of q A (z) with itself can be easily deduced from the OPE of the four-dimensional free hypermultiplet scalars, q IA (x)q JB (y) ∼ IJ AB (x−y) 2 , and reads One readily recognizes this OPE as defining a symplectic boson pair, and one can easily convince oneself that the full algebra of cohomology classes indeed corresponds to this chiral algebra.
Similarly, the free vector multiplet contains as Schur operators all words built from the letters λ 1+ ,λ 1+ and ∂ ++ , where λ Iα ,λ Iα are the gaugini. The full cohomology is then obtained by 'twisted translations' of these words. For the elementary letters one can definẽ which can be easily shown to satisfy the OPE (2.8) Upon identifyingλ = b and λ = ∂c, these OPEs can be recognized as defining the (b, c) ghost system of type (1, 0), b(z)c(w) ∼ (z − w) −1 , upon removing the spurious c zero-mode. The resulting chiral algebra is the small (b, c) ghost system. In this paper we will focus mainly focus on the free hypermultiplet and provide some comments on the free vector multiplet in appendix B.3.
Let us now consider a four-dimensional N = 2 SCFT in the presence of a half-BPS superconformal surface defect. It is straightforward to verify that if the defect preserves N = (2, 2) superconformal symmetry on its worldvolume and is transverse to the chiral algebra plane, piercing it at the origin, then it can be embedded such that both supercharges Q i are preserved. 8 The presence of the defect enriches the cohomology of the nilpotent supercharges Q i at the origin, while away from the origin the twisted-translated (four-dimensional) Schur operators still make up the full cohomology. Let us denote the cohomology at the origin as M and the original chiral algebra, as an algebra of modes, as A. It is easy to see that in the setup at hand, M is endowed with the algebraic structure of a module [1,21,22]: where the action of the chiral algebra on the module is defined as follows. Let a = a −ha−p be a mode of the twisted-translated Schur operator a(z) of weight h a , i.e., a Laurent coefficient of the expansion a(z) = n a −ha−n z n . Consider the bulk-defect operator product expansion (within cohomology) of a(z) with (a representative of) the cohomology class m. Then a · m is obtained by selecting the coefficient of z p in this OPE. One can easily verify that thanks to the associativity of the bulk-defect OPE this action satisfies the standard requirements to define a module. As always, if e i is some basis for M , the structure constants λ j ai are defined as as the Schur limit of the superconformal index of the four-dimensional SCFT in the presence of the surface defect, and allows to attempt to identify the module and to answer general questions like, for example, if the modules satisfy any particular representation theoretic properties, or perhaps, in the other extreme, if for any given N = 2 SCFT all modules of the corresponding chiral algebra can be obtained from the insertion of some surface operator. 9 Such analysis has been initiated in [21,22]. On the other hand, the character has little to say about whether the module possesses any dependence on coupling constants. 10 Unlike the dependence of the chiral algebra on exactly marginal couplings, there is no known nonrenormalization theorem preventing any dependence of the module on coupling constants. 11 Using the computations in the current paper, we provide a computational tool that in principle allows one to probe this question.

Setup
Our first goal of this paper is to rederive the chiral algebra, whose algebraic construction was reviewed in the previous section, from the path integral on the four-sphere using localization techniques. In this section we prepare ourselves for this computation by recalling the supergravity background on S 4 and identifying the Killing spinor associated with the supercharge Q we would like to use for the localization computation. It turns out to be most 9 A particularly 'nice' property one could hope the module to have is a spectrum bounded from below. In examples, however, one can show this property to be violated [22]. 10 Let us be more precise and define the dependence of a module on a parameter τ . We denote by M τ the module at the specified value of the parameter, and assume that there exists an isomorphism φ τ τ : M τ → M τ (for sufficiently small |τ − τ | and at a generic value of τ ) as vector spaces. Let us denote the action of the chiral algebra on the module at τ as · τ . We say that the module does not depend on the parameter τ if for any τ the following diagram commutes Let e i (τ ) be a basis at τ and φ τ τ (e i (τ )) = j φ j i e j (τ ). Then commutativity of the above diagram requires that the structure constants obey (2.11) 11 The argument used in the former case crucially uses the existence of extended superconformal symmetry and its associated Ward identities in the chiral algebra plane. The relevant supercharges in this extended algebra are not all preserved upon inserting the defect and hence the argument is not applicable in the latter case. convenient to choose (the Weyl transformation of) Q 1 + Q 2 .
We note that the loci at θ = 0 and θ = π 2 form two intersecting two-spheres, S 2 θ=0 and S 2 θ= π 2 , which intersect at the north pole (ρ = 0) and south pole (ρ = π). The vielbein on these two-spheres are easily obtained from (3.3) and are the standard vielbeins on a two-sphere: = r sin ρ dχ . (3.5) An algorithmic method to place supersymmetric theories on a curved background was developed in [27]. The idea is to first couple the theory to supergravity and then to consider a rigid limit freezing the bosonic supergravity fields, both dynamical and auxiliary, to supersymmetric configurations. The equations describing such configurations are obtained by setting to zero the supergravity variations of the gravitino and other fermionic fields in the supergravity multiplet. 12 For N = 2 supersymmetric theories the relevant equations have been analyzed in [28,29], and in particular applied to the (squashed) four-sphere. 13 On the four-sphere, the result of the above analysis (or the shortcut described in footnote 13) is that the Killing spinors ξ I ,ξ I describing supersymmetry variations should solve the 12 One can similarly couple the theory to a nontrivial background for flavor symmetries. 13 Note that one can straightforwardly place a superconformal quantum field theory on a conformally flat space by performing a Weyl transformation. This approach was taken in the original paper [30]. Mass deformations of the theory can be obtained as in footnote 12. Squashing the four-sphere, however, requires the full machinery of [27]. (3.6) and the auxiliary equations

Killing spinor equations 14
The index I carried by the Killing spinor is an SU (2) R index, and M is a background field frozen to M = − 1 3 R with R the Ricci scalar, i.e., R = 12 r 2 . 15 Let Q denote a supercharge associated to a Killing spinor solving (3.6) and (3.7). The variations of a vector multiplet (A µ , φ,φ, λ I ,λ I , D IJ ) are given by [28] while those of N f hypermultiplets (q IA , ψ A ,ψ A , F IA ) coupled to an SU (N f ) vector multiplet Here A, B, . . . are U Sp(2N f ) indices, and SU (N f ) embeds in the standard way. The spinors 14 We follow the spinor conventions of Wess and Bagger [31]. See, for example, also appendix A of [32] for some more details. 15 Note that for the case at hand the auxiliary equations are in fact a direct consequence of the Weitzenböck formula.
In the next subsection, we will spell out Q 2 for the Killing spinor of our interest.
The supersymmetric actions on the four-sphere read [28,30]

Choice of Killing spinor
On the four-sphere, the equations (3.6) (and (3.7)) have sixteen C-linearly independent solutions. These solutions are simply the Weyl transformations of the conformal Killing spinors on R 4 . 16 Among these spinors, we choose for our localization computation the Weyl transformation of the supercharge Q 1 + Q 2 . Concretely, the Killing spinor reads (3.14) We can choose the auxiliary spinorsξ I ,ξ I as 17 Let us define a few convenient bilinears built from the Killing spinors ξ I ,ξ I Let Q henceforth denote the supercharge described by the above Killing spinor. Its square can be computed straightforwardly: where L A R is the gauge covariant Lie derivative along the vector field R = − 2 r ∂ ϕ .

Localizing the free hypermultiplet
In this section, we localize the theory of a free hypermultiplet on the four-sphere with respect to the supercharge Q identified in the previous section. We will find that the theory localizes onto a two-dimensional quantum field theory on the two-sphere S 2 . This quantum field theory precisely describes a symplectic boson pair, as expected from the algebraic discussion presented in section 2. The computation in this section is a crucial ingredient for our analysis in the next section of the effect of including defects. It also serves as a blueprint for the localization computation of gauge theories, which, however, is not the focus of the current paper and is left for future work. 18

Brief review of localization
Localization computations are based on the observation that in the path integral the action can be deformed by Q-exact terms for any supercharge Q preserving the action, Here Φ collectively denotes all fields in the theory, V is any (local) fermionic functional of the quantum fields such that the integral of its variation under Q 2 vanishes and t is an arbitrary parameter. We also inserted an operator O, local or non-local, order or disorder, which must 18 See appendix B for a discussion of certain aspects of the extension to include vector multiplets. 19 See also the recent comprehensive review [35].
be annihilated by Q for the equality to hold. Note that if the operator O can be obtained as the Q-variation of another operator, the path integral will evaluate to zero, so the interesting observables lie in Q-cohomology. If one now chooses V such that the (bosonic part of) QV is positive definite and sends t to infinity, it is clear that the zeros of QV will dominate the path integral. Let us denote this set of zeros as {Φ 0 }. The path integral localizes to this vanishing locus and it is sufficient to only take into account quadratic fluctuations of the deformation action Q V around them. In other words, such that the localization locus {Φ 0 } is given by the solutions of the BPS equations Qψ = 0.
The localization computation thus consists of three steps: 1. find the localization locus, defined by the BPS equations Qψ = 0

evaluate the classical action and any operator insertions on this locus
3. evaluate the one-loop determinant of quadratic fluctuations We will address each of them in turn for the case of the free hypermultiplet.

Localization locus
The BPS equations can be read off from (3.9), and we reproduce them here for convenience: It is straightforward to deduce that (4.5) Note that the first equation can also be read off from (3.18), and that similarly ∂ ϕ F IA = 0.
Imposing the standard reality conditions q † IA = IJ AB q JB and F † IA = − IJ AB F JB , the BPS equations can be split in their real and imaginary parts. We find explicitly for A = 1 while the equations for A = 2 can be obtained by complex conjugation of the above equations.
It is clear that the first two equations constrain the hypermultiplet scalars, while the last two simply determine the auxiliary fields in terms of these scalars. We can thus focus on the first two equations. We will show momentarily that the moduli space of solutions to these equations (and their complex conjugates), and thus the space of BPS configurations, is one copy of the space of complex functions on S 2 We can thus already infer that the result of the localization computation will be a quantum field theory defined on S 2 θ= π 2 describing the dynamics of this complex field.
Let us now analyze the BPS equations for the hypermultiplet scalars q 11 and q 21 , i.e., the first two equations of (4.6). Thanks to the ϕ-invariance of q IA , they are coupled firstorder partial differential equations on the three ball D 3 parametrized by (χ, θ, ρ) and whose boundary is given by the sphere S 2 θ= π 2 . Let us first decompose the coupled system of equations into two independent second-order equations. To do so, we define the operators and rewrite the equations (4.6) as Let us then act on the left equation with the first-order differential operator e +iχ (D − + sin ρ sin θ), and on the right one with ie +iχ (sin ρ∂ ρ + 2 cos ρ). Subtracting the two resulting equations and using that where the derivatives act on everything to the right, including any test function, one can extract a second-order, linear, homogeneous partial differential equation for q 11 , 0 = e +iχ (D − + sin ρ sin θ)(e −iχ D + q 11 ) + (∂ ρ sin ρ + cos ρ)∂ ρ (sin ρq 11 ) . (4.10) We recall that the qualitative behavior of the solutions to such a second-order linear differential equation is mostly controlled by its highest derivative terms: Representing these terms as Aμν∂μ∂ν withμ = χ, θ, ρ, it immediately follows that det A = cos 2 θ(sin θ sin ρ) −2 ≥ 0. This is precisely the ellipticity condition of the second-order differential equation for q 11 . Similar to the Dirichlet problem of the Laplace equation, the solutions to the equation for q 11 are thus determined by the value of q 11 at the boundary sphere S 2 θ= π 2 (see for example [43]). An almost identical analysis can be performed for q 12 . Note however, that the original equations should still hold, restricting the freedom in the solution to q 12 .
This shows that the moduli space of the BPS equations (4.6) is indeed given by the space of

Evaluation of the classical action
Our next task is the evaluation of the classical action (3.12) 21 on the BPS configurations.
First of all, we argued above that (3.18) implies that q IA , F IA are independent of the coordinate ϕ. Hence, the (bosonic part of the) free hypermultiplet Lagrangian is independent of the coordinate ϕ, and we can perform the ϕ-integral effortlessly. As a result, we are left with an integral over a three-ball D 3 , parametrized by the coordinates χ, θ, ρ, with boundary 22 Next we substitute the complex BPS solutions for the auxiliary fields F IA as in equation (4.6). 23 It is straightforward to show that the hypermultiplet Lagrangian can 21 In this section we are considering a free hypermultiplet and hence we consider the action in the absence of its coupling to the vector multiplet. In appendix B.2 we consider the evaluation of both the Yang-Mills action and the gauged hypermultiplet action on configurations satisfying the (complex) BPS equations. 22 The coordinate ϕ is ill-defined on this locus. We set it to zero consistently. 23 As was observed in for example [20,44], it is sufficient to consider the complex BPS equations to evaluate the classical action and reduce it to an action of a lower-dimensional quantum field theory.
then be written as a total divergence, Here √ g D 3 = r 3 cos θ sin θsin 3 ρ is the square root of the determinant of the metric on the three-ball and µνλδ ≡ e a µ e b ν e c λ e d δ abcd is the standard volume form. Using Stokes' theorem, one can reduce the integral over the three-ball to an integral over the boundary. The latter can be reinterpreted as the action for the lower-dimensional quantum field theory onto which we are localizing. In other words, To write the Lagrangian L 2d HM more concretely, it is convenient to first define two flavor doublets of spinors q A ≡ q I A ξ I ,q A ≡ q I AξI . As explained in detail in appendix A.2, when restricting to S 2 θ= π 2 , these spinors can be traded for a two-dimensional anti-chiral spinor q 2d A . 24 Concretely, in the patch U eq of the two-sphere excluding both the north pole and south pole, The fully covariant two-dimensional Lagrangian is When restricting a pair of four-dimensional spinors ψ α ,ψα to a two-dimensional locus, one typically finds a pair of two-dimensional spinors ψ 2d ,ψ 2d . It turns out that for the the case of q αA ,qα A the two-dimensional spinors q 2d A andq 2d A are proportional to each other and anti-chiral in the two-dimensional sense. 25 We complete the patch U eq to an open cover of the two-sphere as S 2 = U N ∪ U S ∪ U eq , where U N/S excludes the south/north pole of the two-sphere. We choose the standard vielbein (3.5) on U eq . The vielbein on U N/S are related by a frame rotation and are simply induced from stereographic projection. The anti-chiral component Q A of the spinor thus satisfies Q (4.14) Here γ a are two-dimensional gamma-matrices, 26 while ∇ 2d denotes the two-dimensional covariant derivative on the two-sphere, i.e., ∇ 2d with ω ab ν the standard spin-connection on the two-sphere.
In spinor components, and defining Q (eq) ≡ Q (eq) 1 and Q (eq) ≡ Q (eq) 2 , the action can be written alternatively as where ℘ (eq) is the lowering operator for the magnetic charge m = 1 2 of monopole harmonics in the equator patch [45,46]. Its expression, as well as those in the patches U N/S which exclude the south/north pole respectively (see also footnote 25), is With these operators, the action can be written uniformly in all patches: Note that the fields Q and Q are related by a reality condition. This follows directly from the analysis in the previous subsection.

Evaluation of the one-loop determinant
The final step in the localization computation is to evaluate the one-loop determinant of quadratic fluctuations. We will argue that We first observe that the deformation action is quadratic in the hypermultiplet fields. The differential operator describing quadratic fluctuations around the BPS configurations, and therefore also the one-loop determinant, can thus only depend on background parameters. 27 Consequentially, the one-loop determinant provides an overall normalization to the partition function which, while immaterial for the computation of correlation functions, can be fixed 26 We take γ 1 = τ 1 , γ 2 = τ 2 , and thus γ 3 = τ 3 , in terms of the Pauli-matrices and define the inner product between two two-dimensional spinors as (ψχ) ≡ ψ T (iτ 2 )χ. 27 Here we make use of the fact that the hypermultiplet is free. For the interacting case, the one-loop determinant can depend nontrivially on the localization locus of the vector multiplet. by demanding that the partition function of the two-dimensional theory defined by the action (4.16) or (4.19) equals the partition function of the four-dimensional free hypermultiplet.
Both computations are straightforward, as the theories are Gaussian. In fact, the result of the latter can be borrowed from the localization literature [28,30] and reads Note that Y m jm (ρ, χ) = (−1) m+m Y −m j,−m (ρ, χ) and thus Y m jm and Y −m j,−m are sections of the same line bundle S − . We take and impose Q jm = Q jm . 30 Using the orthogonality condition 28 The Upsilon-function is the regularization of the infinite product 29 On S 2 there are two inequivalent spin structures. Here the spinor bundle corresponds to the nontrivial spin structure. 30 Recall that indeed Q and Q are related by a reality property.
the two-dimensional action simplifies to The partition function can now be computed easily and reads, up to some normalization constants, This shows that the one-loop determinant is indeed equal to one: Z 1-loop = 1.

Final result
The analysis of the previous few subsections shows that the free hypermultiplet on the four-sphere can be localized to a two-dimensional quantum field theory, described by the action S 2d HM in equation (4.19). In formulae, where Φ HM collectively denotes all fields in the hypermultiplet. The localization argument only guarantees the above equality if the observables O are annihilated by Q. As the twodimensional theory describes the dynamics of Q and Q, it is natural to expect that, as far as local operators go, composites of these fields are good observables on the two-sphere. Indeed, it is easy to verify that and similarly for any composite made from the letters Q, Q and the operator ℘. 31 It may be useful to note that the combinations Q and Q of elementary four-dimensional fields, see The two-dimensional theory is Gaussian, hence all correlators can be computed via Wick contractions. The key-ingredient is thus the propagator G(ρ, χ; ρ , χ ) = Q(ρ, χ) Q(ρ , χ ) = − Q(ρ, χ) Q(ρ , χ ) . It should solve the differential equation It is easy to show that in the equator patch is the solution.
There are two shortcuts to construct the above propagator. The first one leverages the Weyl transformation to flat space, discussed around (4.37). Starting form the standard flat space propagator of a symplectic boson pair, multiplying the appropriate conformal factors, performing a change of coordinates and finally rotating the frame as in (4.14) results in (4.32).
The second one starts from the propagator of a massive free scalar field on the four-sphere.
In section 2, we reviewed that the chiral algebra associated to a free hypermultiplet is a symplectic boson pair. Let us show that the action S 2d HM = d 2 x √ g S 2 L 2d HM indeed describes a curved space version of the symplectic boson. We do so by performing a Weyl transformation.
It is straightforward to verify that the Lagrangian density (4.16) multiplied by the measure √ g S 2 is invariant under the Weyl rescalings Let us then perform a Weyl recaling from S 2 to R 2 = C. In terms of the component Q A of q A , and using that d 2 x = − i 2 dzdz, the action becomes where once again Q = Q A=1 and Q = Q A=2 . One can readily recognize this action as describing a symplectic boson pair.
The symplectic boson is a special instance of the more general βγ-system, where β and γ have equal conformal weight. The βγ-system can be placed canonically on an arbitrary  32 More precisely, it has an SU (2) flavor symmetry. We focus on its Cartan here.

Surface defects and chiral algebra modules
In the previous section, we have localized the theory of a free hypermultiplet to a twodimensional quantum field theory on S 2 θ= π 2 . The computation is compatible with the insertion of operators preserving the localizing supercharge. We have already considered the insertion of local operators, and will now turn attention to non-local operators. We consider the insertion of a surface defect preserving two-dimensional N = (2, 2) supersymmetry on the two-sphere S 2 θ=0 . We describe the defect by coupling the four-dimensional theory to additional degrees of freedom residing on S 2 θ=0 .

Embedding 2d N = (2, 2) into 4d N = 2
To couple lower-dimensional degrees of freedom to a higher-dimensional quantum field theory, it is convenient to decompose the higher-dimensional multiplets in terms of lowerdimensional ones while treating the extra coordinates as continuous labels. Indeed, such decomposition trivializes the task of writing the action coupling the two systems while manifestly preserving the lower-dimensional symmetries, in particular supersymmetry. Naturally, the decomposition depends on the embedding of the lower-dimensional algebra into the higher-dimensional one. Our first order of business is thus to specify the relevant embedding of the two-dimensional N = (2, 2) superconformal algebra in the four-dimensional N = 2 superconformal algebra. For convenience, we do so in flat space; a Weyl transformation easily maps the result to the four-sphere.
The two-dimensional N = (2, 2) superconformal algebra can be embedded in the fourdimensional N = 2 superconformal algebra in various ways. Let us choose to orient the embedded plane along the (x 1 , x 2 )-directions. For the purposes of this paper, we make the following identifications between two-dimensional supercharges and four-dimensional The identification of the bosonic generators L 0 , L ±1 , J 0 and their barred versions follow immediately by matching the anticommutation relations among the supercharges. In particular, one finds for the two-dimensional vector and axial R-symmetries It is important to remark that the supercharges Q 1 and Q 2 of section 2 (see in particular footnote 4) are contained in the embedded two-dimensional algebra. This implies that an cohomological construction of section 2, as claimed there already. Similarly, after performing a Weyl transformation, it means that our localization computation can be enriched by inserting an N = (2, 2) superconformal surface defect along S 2 θ=0 . (See below for more details.) Also note that R + M ⊥ is central to the embedding.
Finally, by analyzing the supersymmetry variations, it is easy to verify that the fourdimensional hypermultiplet scalars q 1A , for A = 1, 2, are the bottom components of twodimensional twisted chiral multiplets, and thus the hypermultiplet decomposes into a pair of twisted chiral multiplets (and their complex conjugate twisted anti-chiral multiplets). 34,35

4d/2d coupled system on S 4
Returning to our setup on the four-sphere, we are interested in describing the defect as a 4d/2d coupled system. As explained above, the two-dimensional theory resides on S 2 θ=0 . It is useful to recall that a massive two-dimensional N = (2, 2) supersymmetric theory can be placed on the two-sphere while preserving the symmetry algebra su(2|1). Its su(2) ⊕ u (1) bosonic subalgebra consists of the spatial isometries of the two-sphere su(2) so(3) and a u(1) subalgebra of the vector and axial R-symmetry. The background preserving u(1) V is called the A-background, while the one preserving u(1) A is called the B-background [37,49].
Momentarily, we will show that the localizing supercharge Q defined in (3.2) resides in su(2|1) A . One preliminary indication that this is the case is the fact that its square (3.18) equals a sum of a rotation of S 2 θ=0 and, as can be read off from (5.7), the vector R-symmetry. Consequentially, our localization computation can proceed in the absence of a conformal UV Lagrangian description of the defect theory.
To verify the above statement, we show that the reduction of the four-dimensional Killing spinors ξ Iα ,ξα I of (3.13)-(3.14) to S 2 θ=0 carry the vector and axial R-symmetry charges and 34 Recall that the bottom component of the two-dimensional N = (2, 2) supersymmetric multiplets in the left column of the following table are annihilated by the (Poincaré) supercharges in the right column multiplet supercharges annihilating bottom component Here we have omitted the less standard semi-chiral multiplets. 35 The four-dimensional N = 2 vector multiplet decomposes in a two-dimensional N = (2, 2) twisted vector multiplet and a twisted chiral multiplet. satisfy the two-dimensional Killing spinor equation relevant for the su(2|1) A background. As explained in appendix A.1, the reduction of arbitrary four-dimensional two-component chiral and anti-chiral spinors ψ α ,ψα to S 2 θ=0 is given by 36 Applied to the Killing spinors ξ Iα ,ξα I , we find (two-dimensional) (anti-)chiral spinors. We define ,˜ by Here P ± = 1 2 (1 + γ 3 ) is the (two-dimensional) projection operator onto chiral/anti-chiral spinors. These definitions ensure that ± ≡ P ± both carry one unit of U (1) V charge and have opposite U (1) A charge, while˜ ± both have U (1) V charge minus one and once again opposite U (1) A charge. Moreover, the two-dimensional spinors can be shown to satisfy the The U (1) V and U (1) A charge assignments of the two-dimensional Killing spinors and the equations they satisfy together prove that they indeed define a supercharge in su(2|1) A .
Before starting to analyze the 4d/2d coupled system, we provide the detailed decomposition of the four-dimensional hypermultiplet in a pair of two-dimensional twisted chiral multiplets One can verify that the four-dimensional supersymmetry transformations of these fields, when restricted to S 2 θ=0 , indeed precisely reproduce those of twisted chiral multiplets of Weyl 36 Recall that the vielbein on S 2 θ=0 are induced from those on the four-sphere as in (3.4) and that our gamma-matrices are chosen as in footnote 26. weight ∆ Θ A = 1 placed on a two-sphere. The latter are, for example, given in formula 4.3 of [50]. 37 We emphasize that D 2 and D 3 (are proportional to) derivatives along the χ and θ directions, which are orthogonal to the two-sphere S 2 θ=0 . In the absence of four-dimensional gauge fields, the coupling between the four-dimensional and two-dimensional degrees of freedom takes place via superpotentials. More precisely, since the free hypermultiplet decomposes in a pair of twisted chiral multiplets, such coupling is implemented by a twisted superpotential. Let the native two-dimensional degrees of freedom be described by some theory T 2d involving vector multiplets, twisted vector multiplets, chiral multiplets and twisted chiral multiplets. 38 Let Λ = (φ,φ, η,η, G,G) Λ collectively denote the twisted chiral multiplets and Σ = ( 12 ) the twisted chiral field strength multiplet. The most general twisted superpotential describing the coupling between T 2d and the four-dimensional free hypermultiplet, as well as any additional native two-dimensional twisted superpotential couplings, is then described by a holomorphic function W (φ Σ , φ Λ , φ Θ ). It enters in the Lagrangian as [50] L tc = L 2d Here L 2d tc denotes the Lagrangian describing the twisted superpotential couplings among native two-dimensional degrees of freedom only, while L . The total action of the 4d/2d coupled system of interest in this paper is thus For localization purposes, it is important to note that the kinetic terms for native twodimensional vector multiplets, twisted vector multiplets, chiral multiplets and twisted chiral 37 Note that the notations η andη are slightly misleading since the fields with and without tilde do not separate in multiplets. Rather, (φ, η − ,η + , G) form a twisted chiral multiplet, while (φ,η − , η + ,G) form a twisted anti-chiral multiplet. 38 We do not consider the less standard semi-chiral multiplets. 39 Note that if one were to write the four-dimensional free hypermultiplet action in terms of its reduced twisted chiral multiplets on the two-sphere, additional twisted superpotential terms would occur. multiplets are all Q-exact, and so are any superpotential couplings. The Lagrangian L tc of (5.12) describing the twisted superpotential couplings, however, is Q-closed but not exact.

Localization of 4d/2d coupled system on S 4
To perform a localization computation of the 4d/2d coupled system, one starts by localizing the theory T 2d describing the dynamics of the native two-dimensional degrees of freedom.
Since, as remarked in the above subsection, the supercharge with respect to which the localization computation is to be performed is the standard choice in su(2|1) A , the results of [36,37,49,50] are directly applicable. 40 We refer the readers to these papers for all details on the computation.
It is relevant to stress that the classical action evaluated on the BPS configurations receives only nontrivial contributions from the twisted superpotential terms, as all other actions are Q-exact. In the computation at hand, one finds in particular a non-zero contribution from To obtain a detailed understanding of the effect of the 4d/2d twisted superpotential coupling, we summarize the BPS configurations of multiplets that enter W : where B is a GNO quantized (constant) magnetic flux through the two-sphere. We thus find for the evaluation of L tc on the two-dimensional localization locus Here W (φ) is still a holomorphic function of the scalar bottom components of all twisted chiral multiplets Σ, Λ, Θ, but with φ Λ and φ Σ set to constants as in (5.14). Note also that we used that the Weyl weights ∆ Θ A of the twisted chiral multiplets Θ A obtained from the reduction of the free hypermultiplet equal one.
As a next step, one performs the localization of the four-dimensional free hypermultiplet.
The computation is identical to the one in section 4, except for that we additionally need to evaluate the twisted superpotential 4d/2d coupling. To do so, we first remark that all fermions in the hypermutliplet are set to zero, and then observe that the BPS equations (4.6) 40 The localization of non-abelian twisted vector multiplets has not yet appeared in the literature.
imply that at the locus θ = 0 the combinations (5.11) satisfy It is then straightforward to verify that the Lagrangian term (5.15) multiplied with the integration measure simplifies to a total ρ-derivative: Note that here we used that the profiles of the native two-dimensional fields entering in the twisted superpotential is constant. Recalling that on the localization locus both twodimensional and four-dimensional fields are independent of ϕ, it is trivial to perform the integral over S 2 θ=0 . We find where NP denotes the north pole ρ = 0 and SP the south pole ρ = π. As before φ Λ and φ Σ are set to constants as in (5.14). It is also useful to recall that In summary, the partition function of our 4d/2d coupled system is given by Here φ 2d collectively denotes the localization locus of the two-dimensional theory T 2d . The one-loop determinant of quadratic fluctuations of the two-dimensional theory is denoted . Once again, in the twisted superpotential, φ Λ and φ Σ are set to constants as in (5.14). 41 Note that the localization computation can be extended to compute correlators also for the coupled system. As in subsection 4.5 the computation is compatible with the insertion of composites of Q and Q on S 2 θ= π 2 . Moreover, we can also insert two-dimensional Q-closed observables. In particular, polynomials in the scalar fields φ Λ , φ Σ andφ Λ ,φ Σ of the twisted chiral multiplets Λ, Σ can be inserted at the north pole and south pole respectively. It may 41 Note that these constant profiles are integrated over by the integral [dφ 2d ].
be useful to remark that the twisted superpotential can be reinterpreted as the insertion of a particular pair of mixed 4d/2d observables V NP/SP at the north pole and south pole: Also note that the additional insertions of two-dimensional observables at the poles of S 2 θ= π 2 are a crucial ingredient to build the module of the chiral algebra, as explained at the end of section 2, and as we will explore in more detail in the next subsection.

Computing structure constants of chiral algebra modules
In section 2, we reviewed that the insertion of a surface defect -orthogonal to the chiral algebra plane and preserving N = (2, 2) supersymmetry on its worldvolume -translates to considering a module M of the chiral algebra. The localization results of the previous subsection allow us to analyze this module quantitatively.
For the class of 4d/2d coupled systems under consideration, the space M is easily identified.
Its basis e i is given by all words built from the elementary letters Q, Q, φ Λ , φ Σ and ℘. The defined by and extended by sesquilinearity. Here the brackets around e i V NP denote the regularization mentioned above, and similarly for e j V SP . In other words, no contractions should be considered within the bracketed combinations. It will be useful to introduce the notation N j i ≡ e j , e i . We will assume that N is invertible.
The algebra acts on the module M as explained around (2.9). We would like to compute the structure constants defined in (2.10). Using the path integral it is more convenient to consider the action of the Schur operator a(ρ, χ) as a field. The action of individual modes can afterwards be easily extracted. On the basis element e i , we thus have Taking the pairing with e j , one finds Isolating the structure constants is then, in principle, straightforward: Note that the right-hand side of this expression can be computed explicitly from the path integral using (5.22) and

Discussion and future directions
In this paper we have used supersymmetric localization techniques to show that the chiral algebra associated with four-dimensional N = 2 superconformal quantum field theories is accessible directly in the path integral. We did so for the specific case of the free hypermultiplet.
We extended the localization computation to include surface defects and showed that this point of view provides a computational handle on properties of the resulting chiral algebra modules not easily accessible by other methods. Many future directions present themselves.
We list a few of the most promising ones: • In this paper we have focused on the four-dimensional free hypermultiplet. Extending the computation to also include vector multiplets is an obvious next step. It is relatively straightforward to convince oneself that the vector multiplet BPS locus is not purely bosonic. In other words, the deformation action admits fermionic zero-modes around the bosonic BPS configurations. Taking these fermionic zero-modes into account properly presumably works along the lines of [52][53][54][55]. The classical action for the vector multiplet, when evaluated on the solutions of the (complex) BPS equations, can be shown to reduce to an action on the two-sphere S 2 θ= π 2 , as can the gauged hypermultiplet action.
We present these computations in appendix B.2. Finally, one should evaluate the one-loop determinants.
Note that in the absence of any operator insertions, one is simply computing the four-sphere partition function and should thus reproduce the results of [30]. It would be particularly fascinating to see how the instanton contributions are captured in this alternative localization computation. An intriguing, and possibly relevant, observation made in [56] is that the dual instanton partition function has a description in terms of correlators constructed from chiral fermions.
• The structure of a chiral algebra is naturally quite rigid. Nevertheless, one should study if and to what extent the computation presented in this paper can be deformed, either geometrically, by deforming the four-sphere, or field theoretically, by turning on BPS configurations for various background fields. Note that deformations of the latter kind were observed to be feasible in a similar computation on the three-sphere [20]. In appendix B.3 we consider the effect on the partition function of an example of such a deformation. Moreover, if the localization computation goes through on the squashed four-sphere, it would be extremely interesting to consider the non-canonical deformation action used in the Higgs branch localization computations of [32,42].
• In this paper we have considered the insertion of defects orthogonal to the chiral algebra sphere. To be compatible with the localizing supercharge, these defects had to preserve two-dimensional N = (2, 2) supersymmetry. It is easy to verify that the localizing supercharge is also compatible with the insertion of defects on the chiral algebra sphere if they preserve two-dimensional N = (0, 4) supersymmetry. The insertion of such defects is expected to modify the structure of the resulting two-dimensional theory nontrivially. In appendix B.4, we describe a simple singular profile for a (background) vector multiplet representing such a defect. One could also consider exploring systems of intersecting surface defects, as initiated in [57]. (See also [58].) • The four-sphere partition function of four-dimensional N = 2 theories of class S features prominently in the AGT correspondence [59]. It seems natural to expect that the new representation of the four-sphere partition function obtained in this paper, and in particular its extension to include vector multiplets mentioned above, will provide new perspectives on this correspondence and on its relationship to the chiral algebras associated to theories of class S [5,18].
We hope to report on progress on some of these problems in the future.
grant #2014-5517, by the STINT grant and by the grant "Geometry and Physics" from the Knut and Alice Wallenberg foundation. The work of W.P. is supported in part by the DOE grant doe-sc0010008.

A Reduction of spinors
In section 4 we showed that the theory of the free hypermultiplet reduces to a quantum field theory defined on the submanifold S 2 θ= π 2 , while in section 5 we studied the coupling of the four-dimensional theory to native degrees of freedom on the submanifold S 2 θ=0 . In this appendix we elaborate on an important technical step in these computations, namely the reduction of four-dimensional spinors to these two-spheres.
In general, the first step to reduce spinors onto a two-dimensional submanifold Σ ⊂ S 4 is to find a suitable similarity transformation U Σ that casts the four-dimensional Γ-matrices in a useful Kronecker product form. Let E A=1,2,3,4 denote the vielbein on the four-sphere S 4 . Without loss of generality, we assume that the restriction to the submanifold Σ is such that E α | Σ = e 1 , E β | Σ = e 2 , for some α, β, where e a=1,2 are vielbein on Σ. We then look for a similarity transformation U Σ such that Let us first consider the reduction onto S 2 θ=0 . The four-dimensional vielbein reduce as E 4 → e 1 , E 1 → e 2 , where e 1 = rdρ, e 2 = r sin ρdϕ are the vielbein on S 2 θ=0 . We choose the transformation matrix U θ=0 to be In this new representation, a four-component spinor Ψ = (ψ α ,ψα) on S 4 is rotated into The induced action of the σ-andσ-matrices (or equivalently the four-dimensional Γmatrices) on the two-dimensional spinors ψ 2d andψ 2d is simply The two-dimensional inner product of spinors is defined to be (ψ 2d χ 2d ) ≡ (ψ 2d ) T (iτ 2 )χ.

A.2 Reduction onto
In this new representation The action of the σ-andσ-matrices reduce as In section 2, we encountered the spinorial combinations q A ≡ q I A ξ I ,q A ≡ q I AξI . Using the explicit expression for the Killing spinors (3.13)-(3.14), the corresponding four-component . 42 We note that, although we start with two pairs of spinors q A ,q A in four dimensions, only a single anti-chiral pair q 2d A appears in the reduction. Again, the two-dimensional inner product of spinors is given by (ψ 2d χ 2d ) ≡ (ψ 2d ) T (iτ 2 )χ, and is related to the four-dimensional inner product between two-component undotted spinors ψ and χ and between dotted spinorsψχ as (ψχ) = −(ψ 2d χ 2d ), (ψχ) = −(ψ 2dχ2d ). 42

This expression for q 2d
A is valid in the patch U eq of the two-sphere, as that is the region of validity of the vielbein we used. See footnote 25 for more details on the patches and the frame rotations between them.

B Vector multiplets and gauged hypermultiplets
In the main text we performed the localization computation of free hypermultiplets in great detail. In this appendix we would like to collect some results on the localization of vector multiplets and gauged hypermultiplets. In appendix B.1 we analyze in some detail the

B.1 BPS equations for the vector multiplet
We would like to study solutions to the vector multiplet BPS equations. The relevant equations were given in (3.8) and we reproduce them here for convenience.
Let us now impose the reality conditions as well as In a slight abuse of notation, we introduced one-forms R = R a e a , R IJ = R IJ a e a , and D = D IJ R IJ . The latter satisfies R µ D µ = 0. If one further imposes the standard reality condition on the auxiliary field, namely D † IJ = −D IJ , then one can easily see that D vanishes on the BPS locus. Therefore, the one-form D captures the deviation of D IJ from the real contour.
The scalars φ 1,2 are constrained by the equations in (B.6). The left equation implies that cos ϕφ 1 + sin ϕφ 2 = φ + cos θ sin ρ , (B.11) in terms of a (covariantly) constant matrix φ + . The right equation of (B.6) then becomes For smooth solutions, one should set φ + = 0. In appendix B.4, however, we will show that the singular profile described by φ + defines an interesting surface operator. Note also that equation (B.7) can be solved for D as Finally, (B.7) also implies ι R F = 0.
Let us finally discuss a special solution to these equations, where we do impose the standard reality properties on all fields. In particular, we set D = 0. The Bianchi identity applied to (B.7) then states that Plugging this back into the BPS equations for the field strength simply sets F = 0. Moreover, the simple fact that φ 2 commutes with itself implies that This result is puzzling, since it seems too trivial to reproduce the known result for the four-sphere partition function [30]. This provides an additional motivation to relax certain reality properties as we did above.
It is also important to remark, and relatively easy to verify, that the deformation action admits fermionic zero-modes around the bosonic configurations discussed here. As it is beyond the scope of this appendix, we do not present the details of these fermionic zero-modes. The vector multiplet localization computation should take these zero-modes into account properly.

B.2 Evaluating classical actions
In section 4.3, we evaluated the classical action of a free hypermultiplet on the solutions of the complex BPS equations described by (4.5). In this appendix, we present the generalization of that computation to hypermultiplets coupled to a dynamical vector multiplet. We find that both the vector multiplet and gauged hypermultiplet action reduce to a two-dimensional action.
The relevant complex BPS equations for the gauged hypermultiplet are Using these equations together with the complex BPS equations expressing the auxiliary field D IJ given in (B.3), the bosonic part of the hypermultiplet action (3.12) can be shown to become while the bosonic part of the vector multiplet action (3.11) reduces to In the latter we definedK µ ≡ (ξ I σ µξ I ). At this point we can perform the ϕ-integral. Also notice that the index ν in D ν q A J inside the bracket can never take the value ϕ. We are left with the hypermultiplet action as a three-dimensional integral. By Stokes' theorem, it reduces to a two-dimensional action on where D 2d µ contains the BPS vector multiplet gauge field A µ . It acts on the indices A, B = 1, . . . , 2N in the appropriate way. For smooth φ andφ, the second term goes to zero in the θ → π 2 limit. Similarly to section 4.3, the action can finally be written more explicitly as where ℘ A is the gauged monopole-charge-lowering operator of monopole charge m = 1 2 . Let us now consider the vector multiplet action S VM . Recall from around (B.3) that In view of the fact that the vector multiplet possesses fermionic zero-modes, it is of interest to also consider the fermionic part of the super Yang-Mills action. We will show here that it also reduces to a two-dimensional action. For simplicity, we consider the free limit, where g YM = 0. In this case, the fermionic part consists of the Dirac action, Let us define Λ µ ≡ (λ I σ µξ I ),Λ µ ≡ (ξ I σ µλI ). The BPS equations impose various conditions on Λ andΛ, including 43

B.3 Some Gaussian integrals
Let us define an interesting BPS background configuration for the vector multiplet. We take the auxiliary fields D IJ to be complex, so that in fact there exist nontrivial, smooth BPS configurations. We choose the gauge group to be SU (N ) and take A µ at S 2 is trivial also implies that one can extend A µ into the interior of S 2 θ= π 2 and therefore to the entire four-sphere. Let us consider fundamental hypermultiplets coupled to this vector multiplet background. The relevant two-dimensional theory is described by the action (B.22). We would like to compute the resulting partition function. Following the discussion in subsection 4.4, we expand the components of Q and Q in the basis of harmonics Y 1/2 jm and Y −1/2 jm respectively, with complex conjugate coefficients Q ajm and Q ajm . Here a = 1, . . . , N is the gauge index. Using the orthonormality properties of Y m jm , the action simplifies to where the second term in the square bracket is given by 44 = δ mm m |m|   −δ jj + 2(δ j >j δ m<0 + δ j <j δ m>0 )(−1) j +j (−min j,j − |m|) 2|m| (−max j,j − |m|) 2|m|   .
Here we used the Pochhammer symbol (x) n ≡ n−1 k=0 (x + k), and the delta function δ p = 1 if the proposition p is true and δ p = 0 otherwise.
Using this result, one can perform the Gaussian integral in (B.32) explicitly, and one finds up to some unimportant constant prefactors, Quite curiously, this is precisely the one-loop determinant for a gauged hypermultiplet. Quite possibly, this result implies that the monopole-configuration we turned on plays an essential role in the full localization computation including dynamical vector multiplets.
As reviewed in section 2, the chiral algebra associated with the free vector multiplet is a small (b, c) ghost system. Without derivation, but given our experience of section 4, we consider the following action on S 2 and assume the reality condition b jm = c jm . Note that we separated out the c zero-mode.
This mode is absent in the small (b, c) ghost system. Each root contributes to the partition 44 We checked the final equality with Mathematica systematically to very large j and j .

B.4 (0, 4)-supersymmetric singular configurations
In appendix B.1 we encountered interesting singular solutions to the vector multiplet BPS equations. In this appendix we would like to show that they define a surface defect that preserves two-dimensional (0, 4) superconformal symmetry. We do so by finding all conformal Killing spinors under which the profile is supersymmetric.