Abstract
We present a systematic study of \({{\mathcal {N}}}=(2,2)\) supersymmetric non-linear sigma models on \(S^2\) with the target being a Kähler manifold. We discuss their reformulation in terms of cohomological field theory. In the cohomological formulation we use a novel version of 2D self-duality which involves a U(1) action on \(S^2\). In addition to the generic model we discuss the theory with target space equivariance corresponding to a supersymmetric sigma model coupled to a non-dynamical supersymmetric background gauge multiplet. We discuss the localization locus and perform a one-loop calculation around the constant maps. We argue that the theory can be reduced to some exotic model over the moduli space of holomorphic disks.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Starting from the work of Pestun [1] numerous exact calculations for supersymmetric gauge theories on spheres and other curved backgrounds in different dimensions have been performed (see [2] for the review of the subject). In this work we are interested in two dimensional theories on \(S^2\). Supersymmetric \({{\mathcal {N}}}=(2,2)\) gauge theories coupled to matter were constructed on \(S^2\) and localization calculations were carried out in [3, 4]. Many \({{\mathcal {N}}}=(2,2)\) two dimensional non-linear sigma models with Calabi–Yau spaces as target admit a UV description in terms of \({{\mathcal {N}}}=(2,2)\) gauge theories, the so called the gauged linear sigma models (GLSM), and thus the partition function \(Z_{S^2}\) for GLSM should carry the relevant information about the corresponding non-linear sigma model. In [5] it has been conjectured that \(Z_{S^2}\) for GLSM computes the quantum corrected Kähler potential for the Kähler moduli space of the corresponding Calabi–Yau. This conjecture led to a prescription on how to deduce the Gromov–Witten invariants from \(Z_{S^2}\) for GLSM and some non-trivial checks were performed. Later in [6,7,8] arguments were provided to prove this conjecture. For a review of the subject the reader may consult [9, 10] (and references therein). It is also possible to construct GLSM models on \(S^2\) that flow to a Calabi–Yau nonlinear sigma model and whose partition function computes the Kähler potential for the complex structure moduli space of the Calabi–Yau [11]. In this work we concentrate on \({{\mathcal {N}}}=(2,2)\) supersymmetric non-linear sigma models on \(S^2\) with the target being a Kähler manifold parametrized by chiral fields, we study these theories in the context of localization. Our main goal is to understand the formulation of these theories and find on which maps they localize. Equivariance with respect to a rotation of the \(S^2\) plays a crucial role in the formalism. If the target Kähler manifold admits a toric action we also formulate a version of the sigma model with target space equivariance and we study it on \(S^2\). These models are closely related to GLSM since some of the parameters in a GLSM can be interpreted as the equivariant parameters for the non-linear sigma model in IR. Thus the relation between GLSM and non-linear sigma model is subtle and, as we argue, the non-linear sigma model is not simply a product of an A-model and a \({\bar{A}}\)-model, but contains more information.
Let us briefly sketch the idea behind our construction. The formulation of the standard A-model is based on the notion on 2D self-duality defined on one forms \(\Omega ^1(\Sigma , X^*(TM))\) with values in \(X^*(TM)\). In 2D the Hodge star \(\star \) on one forms satisfies \(\star ^2=-1\) and if we introduce a (almost) complex structure J on M then on \(\Omega ^1(\Sigma , X^*(TM))\) we can define the operation \(J\star \) such that \((J\star )^2=1\). In the A-model the projector \(\frac{1}{2}(1+ J\star )\) (or with minus sign) is used to define some fields and the model is localized on the holomorphic maps \(\frac{1}{2}(1+ J\star ) dX=0\). Our main observation is that on \(S^2\) using the vector field corresponding to the standard U(1) rotation of \(S^2\) one can modify the notion of self-duality on \(\Omega ^1(\Sigma , X^*(TM))\) and, roughly speaking, define a smooth interpolation between \(\frac{1}{2}(1+ J\star )\) over north pole of \(S^2\) and \(\frac{1}{2}(1- J\star )\) over south pole of \(S^2\). Our present 2D construction is similar to the generalization of self-duality on two-forms in 4D suggested in [12, 13] in the attempt to explain the original work [1]. This novel 2D self-duality condition appears naturally from supersymmetry considerations on \(S^2\), as we will explain later. Thus using this new self-duality we can formulate a modification of the A-model on \(S^2\) and relate it to \({{\mathcal {N}}}=(2,2)\) non-linear supersymmetric sigma models on \(S^2\). We present the details of this construction and we discuss the localization of this model. Although this model is formulated on \(S^2\), supersymmetry will force the model to localize on holomorphic disks.
The model we consider interpolates between the equivariant extension of the A and the \( {{\bar{A}}}\) models around opposite poles of the \(S^2\). Starting from a nonlinear sigma model parametrized by twisted (anti)chiral fields and placing it on the same supergravity background considered here we can build models that interpolate between the equivariant extension of the B and the \( {{\bar{B}}}\) models. This construction is directly related to that of [11]. The cohomological description of these models and the corresponding localization are an interesting problem [14].
The paper is organized as follows: in Sect. 2 we review some basic facts about \({{\mathcal {N}}}=(2,2)\) non-linear sigma models on \({\mathbb {R}}^2\) to set some ideas and conventions. In Sect. 3 we go through the construction of \({{\mathcal {N}}}=(2,2)\) non-linear sigma model on \(S^2\) with the target being a Kähler manifold. We also describe the supersymmetric sigma model coupled to supersymmetric background gauge multiplets when the target space admits some isometries. These supersymmetric models can be reformulated in terms of a cohomological field theory as we present in Sect. 4. We review the standard A-model and explain how to modify the notion of self-duality for one forms in the context of the sigma model. We present the cohomological description of the supersymmetric sigma model both without and with target space equivariance. In Sect. 5 we analyze the observables of the new cohomological theory. Section 6 deals with the localization locus and problems related to the interpretation of the corresponding PDEs. In this section we suggest the interpretation of the localization locus and discuss potential problems. In Sect. 7 we derive the one-loop result around the constant maps, both for the model with only \(S^2\) equivariance and for the model with \(S^2\) and target space equivariance. For the case of Calabi–Yau it agrees with the previously conjectured answer. In Sect. 8 we give a summary of the results, we conjecture the full answer and outline the open problems within our present understanding of the localization calculation on \(S^2\).
2 \({{\mathcal {N}}}=(2,2)\) nonlinear sigma model on \({\mathbb {R}}^2\)
In this section we review standard facts about \({{\mathcal {N}}}=(2,2)\) non-linear sigma models and set the conventions for further discussion. We are interested in two dimensional non-linear sigma models which are defined on the space of maps \(X:\Sigma \rightarrow M \) from a two dimensional manifold \(\Sigma \) to a target manifold M with the following action
where M is equipped with a metric g and \(\Sigma \) with Hodge star (which on one-forms requires only a complex structure). The non-linear sigma model and its different extensions/generalizations play a prominent role in string theory and in mathematical physics, in particular through their relation to geometry. Here we are interested in the supersymmetric extensions of the non-linear sigma model which are sensitive to a choice of \(\Sigma \) equipped with additional geometrical structures.
The standard discussion of \({{\mathcal {N}}}=(1,1)\) and \({{\mathcal {N}}}=(2,2)\) supersymmetric sigma models is performed on \(\Sigma = {\mathbb {R}}^{1,1}\) equipped with flat Lorentz metric. This choice allows to deal with real (Majorana) two-component spinors. The best way to encode the supersymmetric sigma models is to introduce superfields, see [15]Footnote 1 for a review of supersymmetric sigma models and their relation to the geometry of the target space M. Here we are interested in \({{\mathcal {N}}}=(2,2)\) sigma models which require M to be a Kähler manifold [16]. A Kähler manifold M is equipped with a metric g, a closed Kähler form \(\omega \) and a complex structure J that satisfy: \(g_{i{\bar{j}}} = \partial _i \partial _{{\bar{j}}} K\), \(\omega = g J\) and \(\omega = i {\bar{\partial }} \partial K\) where K is a locally defined Kähler potential on M. Here we use Latin indices \((i,{\bar{i}})\) to denote complex coordinates. Because the manifold is Kähler the form \(\omega \) is covariantly constant with respect to the Levi-Civita connection. Hence the Levi-Civita connection coincides with the Chern connection and its only nonzero Christoffel symbols are
In the following we will be interested in manifolds M with isometries which preserve the Kähler structure. Let such an isometry be generated by a vector field k (or collection of the vector fields \(k_a\) which are commuting in our setting). Because k preserves the complex structure, that is \({{\mathcal {L}}}_k J=0\), then in complex coordinates
Because k is a Killing vector for the Kähler metric additionally we have that
Locally this implies the existence of a function \({\mathcal {D}}\) such that
We assume that the function \({\mathcal {D}}\) also exists globally and we refer to \({\mathcal {D}}\) as Hamiltonian for k.
Introducing the \({{\mathcal {N}}}=(2,2)\) superspace for \({\mathbb {R}}^{1,1}\) we can write the action as a superspace integral
where \({\varvec{\Phi }}\) is a chiral superfield and its complex conjugate \(\bar{{\varvec{\Phi }}}\) is an anti-chiral superfield. For detailed conventions and more general sigma models one may consult [17]. In the next section we discuss the extension of this model to \(S^2\) for a general Kähler manifold M.
If the Kähler manifold M admits a torus action \({\mathbb {T}}^k\) preserving the Kähler structure then we can discuss another version of supersymmetry. The vector fields \(k_a\) corresponding to the torus action generate a global symmetry of the sigma model (4)
for any constants \(\epsilon ^a\) since
which follows from \({{\mathcal {L}}}_k \omega = {{\mathcal {L}}}_k (i{\bar{\partial }}\partial K)=0\). The RHS vanishes under integration over superspace. These global symmetries can be gauged by introducing a real vector superfield \({\mathbf {V}}^a\) and postulating the transformations
where \({\varvec{\Lambda }}^a\) and \(\bar{{\varvec{\Lambda }}}^a\) are gauge parameters promoted to chiral and anti-chiral superfields. There exists a canonical way of constructing a model that is invariant under the gauge transformations (7)
Here we will treat \({\mathbf {V}}^a\) as a background field specified in Wess–Zumino gauge. The Wess–Zumino gauge does not preserve supersymmetry, but it preserves a combination of supersymmetry and super-gauge transformations [18]. We will refer to such combination as the supersymmetry transformation in the background gauge field. This is a nice way to encode target space equivariance into the supersymmetry transformations of the sigma model.
We want to extended these two types of supersymmetric models to \(S^2\). For this we need to work in Euclidean signature. Let us discuss first the model on \({\mathbb {R}}^2\) equipped with the flat Euclidean metric. Now we have to deal with the Weyl spinors (\({\mathbb {R}}^2\) does not admit the real Majorana spinor representation). We summarize the spinor and superspace conventions in Appendix A. The superfield action has the form
where \({\varvec{\Phi }}\) is a chiral superfield and \(\tilde{{\varvec{\Phi }}}\) is an anti-chiral superfield. In Euclidean signature \({\varvec{\Phi }}\) and \(\tilde{{\varvec{\Phi }}}\) are not related by complex conjugation and reality conditions are subtler. In the next section we provide a detailed construction of \({{\mathcal {N}}}=(2,2)\) sigma models on \(S^2\), both for general M and for M with isometries coupled to background gauge fields.
3 \({{\mathcal {N}}}=(2,2)\) nonlinear sigma model on \(S^2\)
Here we first review how to place a \({{\mathcal {N}}}=(2,2)\) theory on a round two sphere preserving all four supercharges. This is accomplished by coupling the theory to an appropriate rigid supergravity background. In case the theory possesses an Abelian flavor symmetry we show how to turn on background gauge multiplets preserving supersymmetry. We comment on the possibility of breaking some of the supercharges in order to deform the round sphere while maintaining a U(1) isometry. Finally we write down the Lagrangian of an \({{\mathcal {N}}}=(2,2)\) non linear sigma model with Kähler target space coupled to background supergravity. In case the target space admits an isometry we show how to introduce the coupling to a supersymmetric background gauge multiplet.
3.1 Killing spinors
In order to preserve supersymmetry in curved space we couple the theory to background supergravity. For the case of a \({{\mathcal {N}}}=(2,2)\) theory the supergravity multiplet includes several bosonic fields in addition to the metric [19]. These are a connection \(a^{(R)}\) for the U(1) R-symmetry, and two auxiliary scalars \({\mathcal {H}}\) and \(\widetilde{{\mathcal {H}}}\). Setting to zero the gravitino variation we obtain the Killing spinor equations
Each solution to these equations corresponds to a supercharge acting via supersymmetry variations \(\delta _\zeta \) and \(\delta _{{\tilde{\zeta }}}\). For two solutions \(\zeta \) and \({\tilde{\zeta }}\) we can define the spinor bilinears:
On any fieldFootnote 2\(\phi \) of R-charge r the algebra satisfied by the variations \(\delta _\zeta \) and \(\delta _{{\tilde{\zeta }}}\) is
On a round two-sphere of radius \(R_{S^2}\) with the standard choice of orthonormal frame:
consider the spinors
where \(A, B, {\tilde{A}}, {\tilde{B}}\) are complex constants.
The spinors in (14) are solutions of the Killing spinor equations (10) provided that the background \(U(1)_R\) connection vanishes while the two scalars \({\mathcal {H}}\) and \(\widetilde{{\mathcal {H}}}\) are constant.
In the following we will single out two supercharges corresponding to \(\zeta \) and \({\tilde{\zeta }}\) with \(A={\tilde{A}}=1\) and \(B={\tilde{B}}=0\). The spinors bilinears (11), built from \(\zeta \) and \({\tilde{\zeta }}\) are then
Near the \(z=0\) pole the spinors and the supercharge corresponding to \(\delta _Q=\delta _\zeta +\delta _{{\tilde{\zeta }}}\) approach those corresponding to the \({{\bar{A}}}\) topological twist. Similarly near the \(z=\infty \) pole the supercharge approaches that corresponding to the A topological twist. More precisely \(\delta ^2_Q\supset \varepsilon {\mathcal {M}}\), where \({\mathcal {M}}\) is the generator of the U(1) isometry \(i(z\partial _z-{{\bar{z}}} \partial _{{{\bar{z}}}})\). Hence near the poles we have an equivariant deformation of the corresponding topological supercharge. By making use of (12) and the expression for v we fix the equivariant parameter \(\varepsilon \) to be
We can squash the two sphere maintaining the U(1) isometry generated by \(i(z\partial _z-{{\bar{z}}} \partial _{{{\bar{z}}}})\). The maximum number of supercharges is then reduced to two corresponding to two Killing spinors \(\zeta \) and \({\tilde{\zeta }}\). This squashing is explored in more detail in Appendix D.
3.2 Supersymmetric background U(1) gauge multiplet
A two dimensional \({{\mathcal {N}}}=(2,2)\) vector multiplet in Wess–Zumino gauge comprises two scalars \(\sigma \) and \({\tilde{\sigma }}\), a gauge connection \(A_m\), an auxiliary field D and spinors \(\lambda \) and \({\tilde{\lambda }}\). We will consider a background gauge multiplet and set \(\lambda =0,~~ {\tilde{\lambda }}=0\). In the presence of a background gauge multiplet the algebra satisfied by the susy variations on any field \(\phi \) of R-charge r and U(1) charge q is modified from (12)
On the round sphere we can turn on a background gauge multiplet that preserves all four supercharges [19]. This requires that \(\sigma \) and \({\tilde{\sigma }}\) are constant and:
where \(F_{m n}\) is the field strength of \(A_m\) and \(F_{1{{\bar{1}}}}\) are the corresponding frame components. We will select
where u is a complex constant. More general choices with nonzero flux threading the \(S^2\) may also be interesting. The anticommutator of \(\delta _{{\tilde{\zeta }}}\) and \(\delta _\zeta \) reduces to
The background gauge multiplet is less constrained if we want to preserve only the two supercharges we singled out setting \(A={\tilde{A}}=1\) and \(B={\tilde{B}}=0\). Introducing a function \(f(z {{\bar{z}}})\) we can then set
where u is a complex constant as above. The anticommutator of \(\delta _{{\tilde{\zeta }}}\) and \(\delta _\zeta \) reduces to
Hence the function \(f(z {{\bar{z}}})\) does not appear in the superalgebra. By exploiting the freedom in the choice of \(f(z {{\bar{z}}})\) we can set
almost everywhere except at the poles of the sphere where \(f=1\) to ensure smoothness. In this limit the scalar field D is zero except for two dimensional delta functions supported at the poles of the sphere
3.3 Chiral and antichiral multiplets
We consider a chiral multiplet of R-charge r and vanishing central charges. The multiplet is composed of a scalar X of R-charge r a spinor \(\psi \) of R-charge \(r-1\) and an auxiliary scalar field F of R-charge \(r-2\). For later use we give charge q to the chiral multiplet under a background U(1) gauge multiplet. For \(r=0\), which is the case of our interest, the susy transformations of the components are [19]:
The covariant derivatives in the expression above include the U(1) connection \(A_m\) and the \(U(1)_R\) connection \(a^{(R)}_m\).
Similarly an anti-chiral multiplet comprises of a scalar \({\tilde{X}}\) of R-charge \(-r\) a spinor \({\tilde{\psi }}\) of R-charge \(1-r\) and an auxiliary scalar field \({\tilde{F}}\) of R-charge \(2-r\). For later use we give charge \(-q\) to the antichiral multiplet under a background U(1) gauge multiplet. The susy transformations of the components for \(r=0\) are [19]:
3.3.1 Chiral multiplet with gauged isometries
The scalar fields at the bottom of chiral and anti-chiral multiplets parametrize a sigma model with Kähler target space. If the target space admits a holomorphic Killing vector k we can gauge the corresponding isometry by coupling to a vector multiplet. The gauging considered in the previous section corresponds to the Killing vector \(k^i=i q_i X^i\). The gauge transformation parameters can be promoted to a chiral superfield \({\varvec{\Lambda }}\). The gauge transformation of a chiral superfield \({\varvec{\Phi }}^i\) is then given by (7):
Letting \(\epsilon \) be the lowest component of \(i {\varvec{\Lambda }}\) this results in the following:
The auxiliary fields \(F^i\) do not transform homogeneously under gauge transformations. We can however define new fields
which transform homogeneously
Note that \({{\hat{F}}}\) is a function both of \(X^i\) and \({{\bar{X}}}^{{{\bar{i}}}}\) through \(\Gamma ^i_{j k}.\) A second property of the \({{\hat{F}}}^i\) is that, like the \(\psi ^i\), they transform tensorially under holomorphic coordinate changes \(X^i\rightarrow f^i(X)\).
Specializing to a supersymmetric background gauge field and letting the R-charges of the chiral multiplets be 0 supersymmetry acts as follows
3.4 Lagrangian
Here we write the Lagrangian of a supersymmetric nonlinear sigma model with Kähler target space coupled to background supergravity. We consider the Kähler potential to depend on the bottom components \(X^i,~{\widetilde{X}}^{{{\bar{i}}}}\) of chiral and antichiral superfields of R-charge 0. When the target space admits a U(1) isometry generated by a holomorphic Killing vector field k we couple the model to a background gauge multiplet.
The Lagrangian, written in terms of the Kähler metric \(g_{i{{\bar{j}}}}\), the curvature \(R_{i {{\bar{j}}} k {{\bar{l}}}}\) of the target space and the Hamiltonian \({\mathcal {D}}\) defined in (3), is
where we defined
When the coupling to the background gauge multiplet is turned off, the Lagrangian is a special case of that written in [19] for general R-charge and central charge assignments of the chiral fields. On a round \(S^2\) and when the background gauge multiplet is maximally supersymmetric (30) coincides with the Lagrangian derived in [20]. When the space-time is flat the Lagrangian can be compared to that in [21].
4 Cohomological description
In this section we introduce the cohomological description of the \({{\mathcal {N}}}=(2,2)\) supersymmetric non-linear sigma models presented in the previous section. We first review the description of the A-model and then introduce its different equivariant modifications.
4.1 A-model
To start we define the A-model (topological sigma model). We follow closely the original works [22, 23]. We consider only the case when the target manifold M is Kähler.
The A-twist of a \({{\mathcal {N}}}=(2,2)\) sigma model can be formulated in terms of the following set of fields: the map \(X:\Sigma \rightarrow M\) and \(\Psi ^\mu \) which is an odd zero form with values in \(X^*(TM)\). We also introduce an odd one form \(\chi ^\mu \) valued in \(X^*(TM)\). These one forms \(\chi ^\mu \) are constrained as we describe below to reduce the number of their components. Let J be a complex structure on M. The Hodge star operation \(\star \) on \(\Sigma \) requires only a complex structure on \(\Sigma \) and has the property \(\star ^2=-1\) when acting on \(\Omega ^1(\Sigma )\). Thus on one forms with values in \(X^*(TM)\) (here we assume the complexified TM) the operation \(\star J\) has the property \((\star J)^2=1\). Assuming the conventions \(\star dz = -i dz\) and \(\star d{\bar{z}} = i d{\bar{z}}\) the action of \(\star J\) on \(\Omega ^1(\Sigma , X^*(TM))\) is
We can introduce two projectors
which define the notion of (anti) self-duality for \(\Omega ^1(\Sigma , X^*(TM))\). Let us keep only the fields in the kernel of \(1/2(1+\star J)\): \(\chi ^i_{{\bar{z}}} d{\bar{z}} \in \Omega ^{0,1}(\Sigma , X^*(T^{1,0}M))\) and \(\chi ^{{\bar{i}}}_{z}dz \in \Omega ^{1,0}(\Sigma , X^*(T^{0,1}M))\). We define the cohomological theory by the following odd transformations which can be interpreted as the de Rham differential on the space of fields
Here we introduced a one form \(h^\mu \) in the kernel of \(1/2(1+\star J)\). The field \(h^\mu \) transforms non-tensorially under target space diffeomorphism. Namely if we perform the change of coordinates
we have
The field \(H_{{\bar{z}}}^i\) is related to \(h_{{{\bar{z}}}}^i\) as follows
where we used the Levi-Civita connection \(\Gamma \) for the Kähler metric g (similarly for \(H^{{\bar{i}}}_z\)). The field \(H^\mu \) is also in the kernel of \(1/2(1+\star J)\) and transforms tensorially under a target space diffeomorphism, \(H^i_{{\bar{z}}} d{\bar{z}} \in \Omega ^{0,1}(\Sigma , X^*(T^{1,0}M))\) and \(H^{{\bar{i}}}_{z}dz \in \Omega ^{1,0}(\Sigma , X^*(T^{0,1}M))\).
Finally combining (34) with the definition (37) we obtain the standard formulas for the A-twist of the sigma model
The action of the A-model is defined as the following BRST exact term
If we integrate out the H-field we arrive at the action
where dots stand for fermionic terms. The model localizes on the holomorphic maps \(\partial _{{\bar{z}}} X^i=0\). The interesting observables are labelled by the de Rham cohomology \(H_{dR}(M)\). If, as an example, we take a closed two form \(\omega \) then we can define the following objects
which satisfy the following relations
This allows us to define the following BRST invariant observables
Moreover if in the definition (41) we shift the two form \(\omega \) by an exact form the observables (43) get shifted by \(\delta \)-exact terms and thus the deformation will vanish under the path integral. These observables can be generalized to any closed form and up to \(\delta \)-exact terms they depend only on the corresponding class in \(H_{dR}(M)\) (see [22,23,24] for further explanation). The correlators in the A-model are related to the deformation of the ring structure of \(H_{dR}(M)\) and this cohomological model is the physical counterpart of the Gromov–Witten theory.
In what follows we use the following terminology: the A-model is defined as above with the \(\chi \) and H fields in the kernel of \(\frac{1}{2}(1+\star J)\). The model is localized on holomorphic maps \(\partial _z X^{{\bar{i}}}=0\). We refer to the \(\bar{\mathrm{A}}\)-model with the \(\chi \) and H fields in the kernel of \(\frac{1}{2}(1-\star J)\). The model is then localized on anti-holomorphic maps \(\partial _z X^{i}=0\).
4.2 New self-duality on \(S^2\)
As we reviewed in the previous subsection, the construction of the A-model uses the notion of (anti)self-duality on \(\Omega ^1(\Sigma , X^*(TM))\) which is based on the operator \(\star J\) satisfying \((\star J)^2=1\). In 4D it has been pointed out in [12] that if a manifold is equipped with a vector field v then one can generalize the notion of (anti)self-duality for two forms. Formally we can repeat this construction for the 2D case on one-forms. Assume that \(\Sigma \) has a vector field v and a metric g such that \(\kappa =g(v)\) (with \(||v||^2 = \iota _v \kappa \)). Away from the fixed points of v we can define the following operation on \(\Omega ^1(\Sigma , X^*(TM))\)
which acts on target space indices as the identity. This operation has the following property
Thus away from the fixed point of v we can define a new operation \(\alpha \star J + \beta m\) such that
with \(\alpha ^2+\beta ^2=1\). Choosing \(\alpha = \cos 2\rho \) and \(\beta = \sin 2\rho \) with \(\rho \) being a suitably chosen function on \(\Sigma \) (see section 2.1 in [12] for other formal considerations which are equally applicable here) we can construct a new projector
which can be smoothly extended to the fixed points v. There are further generalizations where in front of m instead of the identity tensor we put another tensor on M squaring to 1.
Consider specifically the case of \(S^2\) (see Appendix B for our conventions on \(S^2\)). On \(S^2\) we choose the vector field v associated with a U(1) rotation of \(S^2\). In what follows we use two sets of coordinates: the spherical coordinates \((\theta , \phi )\) and the stereographic coordinates \((z,{\bar{z}})\) (or \((z',{\bar{z}}')\) in another patch). If we choose the function \(\rho \) such that
then we get the following projectorFootnote 3
where we have used \(||v||^2 = \sin ^2 \theta \). This concrete form of the projector is motivated by supersymmetry considerations. The projector \(P^+\) simplifies to \(\frac{1}{2}(1+\star J)\) at the north pole \(\theta =\pi \) and to to \(\frac{1}{2}(1-\star J)\) at the south pole \(\theta =0\). We also define the complementary projector \(P^-=1-P^+\) and decompose one forms with values in \(X^*(TM)\) as follows
where
Some explicit formulas for this decomposition are as follows. In \((z,{\bar{z}})\) coordinates the projector (49) is written as
Consider
If \(\chi \in \Omega ^{1-}(S^2, X^*(TM))\) then
and the basis for \(\Omega ^{1-}(S^2, X^*(TM))\) is given by
Let us consider the differential equation
where \(X^i\) is an holomorphic map from the disk to M. We will elaborate on this point later on.
On the other hand for \(\chi \in \Omega ^{1+}(S^2, X^*(TM))\)
and the basis for \(\Omega ^{1+}(S^2, X^*(TM))\) is given by
The PDE with \(P^-\) projector can be reduced to
where \(X^i\) is a holomorphic map from the disk to M.
4.3 New model on \(S^2\)
In this subsection we present a new cohomological field theory on \(S^2\) which is a reformulation of the supersymmetric theory in terms of differential forms. There are two novel aspects of our construction: we introduce equivariance with respect to the rotation of \(S^2\) and we use the exotic projector \(P^+\) defined in the previous subsection.
As for the A-model we define the space of maps \(X:S^2\rightarrow M\), an odd zero form \(\Psi ^\mu \) with values in \(X^*(TM)\) and \(\chi ^\mu \) an odd element of \(\Omega ^{1+}(S^2, X^*(TM))\). The cohomological transformations are defined as
where we introduced \(h^\mu \) as partner for \(\chi ^\mu \). The transformations are such that \(\delta ^2={{\mathcal {L}}}_v\). In front of v we assume the equivariant parameterFootnote 4\(\varepsilon \). However in most of the formulas we will not write \(\varepsilon \) to avoid unreadable expressions unless it is crucial for the discussion like in Sect. 7. As before the new field \(h^\mu \) does not transform tensorially under target space diffeomorphism and to fix it we introduce
where \(H^\mu \) is an even element of \(\Omega ^{1+}(S^2, X^*(TM))\). Next we calculate
We define the covariant version of the Lie derivative
which transforms tensorially under target space diffeomorphism and rewrite the transformations as follows
Here we prescribe that the fields \(\chi \) and H are in the image of \(P^+\). This cohomological description is a reformulation of \({{\mathcal {N}}}=(2,2)\) theory on \(S^2\) described in Sect. 3. An explicit map between \({{\mathcal {N}}}=(2,2)\) fields and the cohomological variables (58) is presented in (203).
An important feature of this model derives from the following property of the BRST-exact term
which can be rewritten as follows
Here we used \(\star 1= \Omega _2\) and the dots stand for fermionic terms. Thus the supersymmetric sigma model action is BRST-exact up to the term \(\cos \theta ~X^*(\omega )\) which can be thought of as an equivariant analog of the topological term \(X^*(\omega )\). We will discuss this term and its generalizations when we consider observables in Sect. 5. To clarify the meaning of our theory we can rewrite the bosonic integrand in (62) in mixed coordinates (using both \((z,{\bar{z}})\) and \((\theta , \phi )\)) as follows
This form is very reminiscent of the formulas in the 4D theory of Pestun on \(S^4\) [1]. We see that holomorphic maps dominate around \(\theta =0\) while anti-holomorphic maps dominate around \(\theta =\pi \).
4.4 New model with target-space equivariance
If the target space M admits a torus action then there exists a natural extension of the model introduced in the previous section. Let the holomorphic vector fields \(k^\mu _a\) generate a torus action on Kähler manifold M and preserve the Kähler structure, i.e. \({{\mathcal {L}}}_{k_a} g=0\), \({{\mathcal {L}}}_{k_a} \omega =0\) and \({{\mathcal {L}}}_{k_a} J=0\). Moreover we require that this action is Hamiltonian
As before we define the space of maps \(X:S^2\rightarrow M\), an odd zero form \(\Psi ^\mu \) with values in \(X^*(TM)\) and \(\chi ^\mu \) an odd element of \(\Omega ^{1+}(S^2, X^*(TM))\). The cohomological transformations are now defined as follows
where we introduce the equivariant parameters \(\epsilon ^a\) which we assume to be real for the moment. By construction \(\delta ^2\) is given by a rotation of \(S^2\) plus a rotation generated by \(k_a\) on the target space M. Using the same logic as before we define the new field
so that \(H^\mu \) is even element of \(\Omega ^{1+}(S^2, X^*(TM))\). Calculating its transformation results in
so that we obtain the final result
with
As before the fields \(\chi \) and H are in the image of \(P^+\). In Appendix C we show that this cohomological description is a reformulation of the \({{\mathcal {N}}}=(2,2)\) theory coupled to a background gauge field on \(S^2\) described in Sect. 3.
We can study the BRST-exact term
where we have introduced a flat background connection
with singularities at the poles of \(S^2\) and the property \(\iota _v A=1\). We concentrate our attention only on the bosonic terms of this BRST-exact action. Upon the integration of \(H^\mu \) we obtain the following bosonic action
where we have suppressed the integral sign. The last term can be simplified using (64)
We can rewrite the second as follows
where \(\Omega _2\) is defined in (194), in Appendix. Under the integral the first term on the RHS vanishes due to Stokes theorem (the singularity for A does not spoil Stokes theorem). Remember that \(A=d\phi \) and thus we have
where on the RHS we have delta function contributions from the north and south poles. Combing everything together we obtain
where \(X_{n.p}\) and \(X_{s.p}\) are the values of a map X at north and south poles. Thus to summarize we get the following relation
where the dots stand for the fermionic part. The second term corresponds to the bosonic part of a cohomological observable which we will discuss in detail in the next section. This identity can be used to rewrite the Lagrangian (30) in cohomological variables for the special case where the function f specifying the background gauge field configuration (20) is taken to vanish except at the poles. In this case the background field D vanishes except for delta functions at the poles as seen in (23). These delta functions then cancel the third term in (76). The rewriting of the action stemming from (30) using cohomological variables is considered for generic f in Appendix C.
Let us stress one important point. In A-model considerations in Sect. 4.1 we could introduce the equivariance in the transformations (38), however it will lead to the modification in the kinetic term (it will not have a canonical form). While in the model described in this subsection and in the previous subsection we have canonical kinetic term and this is due to the natural compatibility properties between the new projector \(P^+\) and the equivariance.
5 Observables in new model
In this section we study observables in the supersymmetric sigma model on \(S^2\). For this discussion we use the cohomological variables although the results can be restated in terms of the original supersymmetry fields from Sect. 3. Our present discussion is a generalization of standard A-model considerations from [22,23,24]. In Sect. 4.1 we reviewed the A-model transformations and the A-model observables (41)-(43) which are naturally associated with the de Rham cohomology \(H_{dR}(M)\) of the target space manifold M.
5.1 With equivariance on \(S^2\)
We start by analyzing the observables in the model presented in Sect. 4.3 where only the equivariance on \(S^2\) is present. Using the transformations (60) we know that \(\delta ^2 = {{\mathcal {L}}}_v = d_v^2\) on all fields, where \(d_v = d + \iota _v\) is the equivariant differential on \(S^2\). To be concrete let us pick up an equivariantly closed form \(d_v (\Omega _0 + \Omega _2)=0\) on \(S^2\) and a closed two form \(\omega \) on M. We can then introduce the following objects
Using the transformations (60) we get
which can be written more compactly as
Thus we conclude that the zero form \(O_0\) is a local observable if it is placed either on the north pole \(O_0^{np}\) or the south pole \(O_0^{sp}\) of \(S^2\) where v vanishes and \(\delta O_0^{np}=0\), \(\delta O_0^{sp}=0\).
The one dimensional integral of the one form \(O_1\)
is an observable (i.e., it is annihilated by \(\delta \)) if \(\gamma \) is a closed 1-dimensional U(1) orbit on \(S^2\) (e.g., the equator of \(S^2\)). Moreover if we change \(\gamma \) within homology class
such that \(\partial \Sigma = \gamma - \tilde{\gamma }\). Thus on \(S^2\) there are no non-trivial observables associated the above integral over \(\gamma \). Finally the integral over the two form
is an observable in our theory. These observables depend on the choice of equivariantly closed form \(\Omega _0+\Omega _2\) on \(S^2\) and a closed form \(\omega \) on M. If we shift the equivariantly closed form \(\Omega _0+\Omega _2\) as follows
for some U(1)-invariant one form \(\Omega _1\) on \(S^2\) we obtain the shifts
that imply the following shifts for the local observables
while for the non-local observables
and
Thus these observables depend only on the class of \((\Omega _0 + \Omega _2)\) within the equivariant cohomology \(H_{equiv}(S^2)\).
If instead we shift \(\omega \) by an exact form: \(\omega \rightarrow \omega + d \nu \) we get the following shifts
Thus under such shift the local observables are shifted by \(\delta \)-exact terms
where np/sp indicates that the expression is evaluated either on the north pole or the south pole. Non-local observables are shifted as follows
and
Hence these observables depend only on the class of \(\omega \) within \(H_{dR}(M)\) cohomology. The discussion above can be generalized to any class in \(H_{equiv}(S^2)\) and \(H_{dR}(M)\) and analyzed in similar fashion and the result is that the cohomology classes of the observables under the operator \(\delta \) depend only on the equivariant cohomology on \(S^2\), \(H_{equiv}^\bullet (S^2)\) and the de Rham cohomology on M, \(H^\bullet _{dR} (M)\). If we focus on the degree two part of \(H_{equiv}^\bullet (S^2)\), which is two dimensional for \(S^2\), we can say that our set of observables corresponds to two copies of \(H_{dR}(M)\), one copy is associated with the north pole and another with the south pole.
As we show in Appendix C the partition function on \(S^2\) can be understood as the evaluation of the non-local observable (82) with the following data: a Kähler form \(\omega \) on M and a concrete choice of the equivariantly closed form of degree 2
which is an equivariant extension of the Fubini-Study volume form. Within the cohomology class in \(H_{equiv}(S^2)\) we can change the representative as
where \(\Omega _1 = f(\theta ) d\phi \) is an invariant one form. Since \(d\phi \) is not well defined at the poles we have to require that \(f(0)=0\) and \(f(\pi )=0\) in order for \(\Omega _1\) to be well-defined. From (93) we see that within the cohomology class we can set both zero and two forms to zero everywhere except at the poles of \(S^2\). Thus cohomologically we can represent (92) as
with \(\Omega _0^N=1\) on north pole and zero elsewhere, \(\Omega _0^S=-1\) and zero elsewhere. The partition function on \(S^2\) corresponds to the evaluation of the following observable
where under the integral we put \(2(O_0 + O_2)\) and we added a b-field contribution where \(db=0\). The term with the b-field
can be interpreted as a cohomological observable fitting the description (82) for the choice of \(\Omega _0=1\) (the trivial element in \(H_{equiv}(S^2)\)). Under the integral we can perform the following substitution
since we can change the class in \(H_{equiv}(S^2)\) without changing the result of integration. After some more manipulations we can rewrite the partition function as the expectation value of the following observables
Hence we see that formally the partition function “factorizes” in two contributions, one coming from north hemisphere responsible for the \((b-i\omega )\) dependence and another coming from the south hemisphere responsible for the \((b+ i\omega )\) dependence. So far we did not analyze actual localization locus but it should comprise two disks, weighted differently, one going to the north hemisphere and one going to the south hemisphere. At this point this argument is formal and we cannot say that the model simply factorizes in two copies of the A-model and the \(\bar{\mathrm{A}}\)-model for two disks. The equivariance of \(S^2\) plays non-trivial role and we will see this even at the level of the constant map contribution.
5.2 Target space equivariance
Here we consider the model with both equivariance on \(S^2\) and equivariance on M. This model has been described in Sect. 4.4 and it is defined by the cohomological transformations (68). For the sake of clarity let us focus on specific observables related to the Kähler form \(\omega \) and its equivariant extension on M given by
where \({{\mathcal {D}}}_a\) is a Hamiltonian for \(k_a\). Picking an equivariant closed form \((\Omega _0 + \Omega _2)\) on \(S^2\) we can define
Using the transformations (68) we derive the relations
Following the logic described previously we can define the local observables: \(O_0^{np}\) and \(O_0^{sp}\) (\(O_0\) evaluated at either at the north pole or at the south pole) and non-local observables: the integral of \(O_1\) over a closed invariant U(1) orbit and the integral of \(O_2\) over \(S^2\). If in the definition (100) we shift
with \(\Omega _1\) being a U(1) invariant form on \(S^2\) we obtain
Hence the observables get shifted only by \(\delta \)-exact terms. Thus the correlators of our observables depend only on the class in \(H_{equiv}(S^2)\). Next let us study the dependence on \((\epsilon ^a {{\mathcal {D}}}_a + \omega )\) within \(H_{equiv}(M)\). Consider the shift
assuming that \(d\omega _3=0\) and \(\omega _1\) is an invariant form (\({{\mathcal {L}}}_{k_a} \omega _1=0\)). This leads to
from which we conclude that the observables get shifted by \(\delta \)-exact term. Thus the correlators of our observables depend only on the corresponding class in \(H_{equiv}(M)\). These arguments continue to hold for more general observables that will depend only on \(H_{equiv}(S^2)\) and \(H_{equiv}(M)\).
The partition function on \(S^2\) corresponds to the following observable
where \(\Omega _0+\Omega _2\) is given by (92) and we conveniently combined \(O_0 + O_2\). As we discussed in the previous subsection \(\Omega _0+\Omega _2\) can be decomposed into contributions of the north pole and of south pole. Thus we can argue the formal factorization in two contributions: one from the north hemisphere responsible for the dependence on \((b-i\omega )\) and one from the south hemisphere responsible for the dependence on \((b+ i\omega )\).
We can also observe another property. From (101) we know that
We can set \(\Psi =0\) and obtain
provided that \({{\mathcal {L}}}_v X^\mu + \epsilon ^a k_a^\mu =0\) (formal equivariance of a map X). Thus the bosonic part of the observable can be evaluated on such equivariant maps
where \(X_{np}\), \(X_{sp}\) are the values of a map X at the north/south poles which should coincide with the fixed points of \(k_a\) due to the condition \({{\mathcal {L}}}_v X^\mu + \epsilon ^a k_a^\mu =0\). Thus we should be careful with the implementing condition \({{\mathcal {L}}}_v X^\mu + \epsilon ^a k_a^\mu =0\) directly since it tends to kill all non-trivial topology related to non-trivial maps. If we restore the equivariant parameter \(\varepsilon \) for v on \(S^2\) then in front of RHS we get the ratio \(\epsilon ^a/\varepsilon \).
6 Localization locus revisited
In this section we discuss the localization locus in some detail. At the moment we are unable to furnish a fully coherent mathematical description of the localization locus space and thus we limit ourselves to present some partial observations. Some of the PDEs which we discuss below have appeared previously in [25, 26] although in slightly different context.
6.1 Model with equivariance on \(S^2\)
In this subsection we analyze the model with equivariance on \(S^2\), with the target space being any Kähler manifold. We use the cohomological description given in Sect. 4.3 of the supersymmetric theory from Sect. 3.
As follows from rewriting of the formulas (61) and (62) the supersymmetric action for the sigma model can be written as a sum of a BRST-exact term and the supersymmetric observable described in previous section
where the \(\delta \)-exact term is given by (61). Due to standard arguments the path integral localizes on the solutions of the following PDEs
On these solutions we should evaluate the observables and calculate the corresponding one-loop determinant. Here we want to analyze these PDEs. It is impossible to find smooth solutions that satisfy all equations, hence we have to separate our analysis of the Eqs. (111) and (112). We first look in detail to the Eq. (111). Using the conventions from Sect. 4.2 we have the following identity for our projector
which implies the following PDEs
These PDEs are not elliptic. At the south pole \(z=0\) these equations reduce to \(\partial _z X^i=0\) and at the north pole \(z'=0\) the equations reduce to \(\partial _{{\bar{z}}'} X^i=0\). As we move from the north pole to the south pole the Eq. (114) smoothly transition between the two limits. We can solve the Eq. (114) using the following trick. Let us define the map from \(S^2\) to the disk D
with by the following explicit relations
where \((y, {\bar{y}})\) are the coordinates on the disk \(D = \{ |y|^2 \le \frac{1}{4}\}\) and \((z,{\bar{z}})\) are the standard stereographic coordinates on \(S^2\). Alternatively on another patch we can write
where we use the conventions from Appendix B. In polar coordinates this map is
From these formulas we see that the map (115) describes the double cover of D by \(S^2\) with the equator of \(S^2\) (\(|z|=1\)) being mapped to the boundary of the disk D (\(|y|=\frac{1}{2}\)). Using the map (115) we can push forward the differential operators from \(S^2\) to D. It is straightforward to derive the following relations for the derivatives
and its complex conjugate. Here we use the relation
and thus we had to make a choice for taking a square root. The differential operator which appears in the Eq. (114) has the following simple form on the disk
Thus away from the equator \(|z|=1\) the Eq. (114) are mapped to \(\partial _y X^i=0\) and \(\partial _{{\bar{y}}} X^{{\bar{i}}}=0\) on the disk D. In other words one can check explicitly that
solve the Eq. (114). Hence we have reduced the non-elliptic system (114) to anti-holomorphic maps from the disk D to M without specification of any boundary conditions. Let us evaluate the bosonic part of the observable on the solutions of (114). We start from the pull back of the symplectic form on the solutions of (114)
Assuming that \( 2i dz \wedge d{\bar{z}}\) is positive, we see that the pull-back of \(\omega \) takes a different sign on the upper and lower hemispheres and on the equator it becomes zero. With our conventions (\(z=0\), \(\theta = \pi \) for the south pole and \(z'=0\), \(\theta =0\) for the north pole) we see that
We can push to the disk D also the second equation (112). The vector field \(v = i (z \partial _z- {\bar{z}} \partial _{{\bar{z}}}) \) pushed to the disk D has the following form
hence the Eq. (112) becomes
If we impose this equation on the solutions (122) we can see that the only smooth solutions are constant. However formally we may allow point like solutions, with holomorphic point like maps on the north pole and anti-holomorphic point like maps on the south pole. We need better tools and better analytical control to enumerate such solutions and perform any reliable calculation.
One can suggest a different treatment of the problem. If the Eq. (114) would give rise to some good moduli space then another equation \({{\mathcal {L}}}_v X^\mu =0\) can be used to further localize on this moduli space with the U(1)-action coming from the rotation of \(S^2\). In this picture the point-like solutions will be interpreted as fixed points under this U(1)-action in this good moduli space. The main problem is that the the Eq. (114) can be converted to anti-holomorphic disk equations which do not give rise to a good moduli space unless appropriate boundary conditions are specified. For the (anti)holomorphic disks the good boundary conditions are when the boundary of the disk is mapped to a Lagrangian submanifold. Let us suggest a possible logic which may lead to Lagrangian boundary conditions. If we take our localization argument (110) and split the sphere in two hemispheres \(S^2 = S^2_+ \cup S_-^2 \) with the boundary for each hemisphere along the equator \(\gamma _\mathrm{eq}= \partial S_+^2 = - \partial S_-^2\) then we can try to run the localization argument for each hemisphere. For the localization to work on each hemisphere we have to impose appropriate boundary conditions on the equator and in the path integral we sum over all allowed boundary conditions. We can argue for the correct boundary conditions in the following fashion. From our previous discussion about the observables we know that \(\delta O_2 = dO_1\). The integral over the north hemisphere \(S_+^2\) of \(O_2\) is not BRST invariant since
unless we require that X maps the equator to Lagrangian submanifold. Here in the observable \(O_1\) we have inserted \(( \cos \theta + f(\theta ))\) following our discussion around Eq. (93). We want that our observable defined over the hemisphere still depends only on the class in the equivariant cohomology of \(S^2\) and not on a concrete representative. In this case \(O_1\) restricted to \(\gamma _\mathrm{eq}\) is identically zero and the integral of \(O_2\) over \(S_+^2\) is good observable. We can apply the same argument for the other hemisphere \(S_-^2\). If we accept this logic then the Eq. (114) get supplemented by Lagrangian boundary conditions and we can reduce the problem to anti-holomorphic disks with Lagrangian boundary conditions. Thus in the path integral we have to further localize in each moduli space and then sum up over all allowed boundary conditions. At the moment this is a rather speculative logic and one needs to study problem further in order to perform some non-trivial checks.
6.2 Model with target space equivariance
In this subsection we study the localization locus when the target space admits some torus action compatible with the Kähler structure. The corresponding cohomological field theory was described in Sect. 4.4. As follows from the BRST exact term (69) the localization locus is given by the following PDEs
where we introduce the singular flat connection
such that
As before we analyze these two equations separately. We start from the Eq. (128) which in complex coordinates can be written explicitly as follows
and its complex conjugate. Here \((z,{\bar{z}})\) are the stereographic coordinates on \(S^2\). Following the discussion from the previous subsection we can introduce the map \(i:S^2\rightarrow D\) with \((y,{\bar{y}})\) defined in (116). Using (116) and (119) the above equations become
on the disk D. Thus we obtain the following PDEs on for the interior of D
Since we deal with the Hamiltonian action \(k_a^\mu = \omega ^{\mu \nu } \partial _\nu {{\mathcal {D}}}_a\) on a Kähler manifold we can rewrite these equations as follows
Our goal is to understand how to solve these equations. Let us look at a very simple example when we consider the maps from the disk to \({\mathbb {C}}\). In complex coordinates we have X and \({\bar{X}}\) with \(k^\mu \partial _\mu = i (X\partial _X - {\bar{X}} \partial _{{\bar{X}}})\). Hence the above equations are
These equations have the following simple solutions
where n is a non-negative integer and \(\epsilon <0\) for the solutions to be smooth. Actually one can see that the solutions of the Eq. (135) have the following form
since
where the derivative with respect to |y| acts only on the second argument in \(X^i(y,|y|)\). Hence we have anti-holomorphic disks twisted by an additional radial dependence |y| which is controlled by the gradient flow with the Morse function given by the moment map \(\epsilon ^a {{\mathcal {D}}}_a\). For example, if we look only on the solutions of the form \(X^\mu (|y|)\) then
with \(|y|=e^t\), hence we deal with the gradient flows between the fixed points. Since the disk has a finite size \(|y| \le \frac{1}{2}\), \(t\in (-\infty , - \log 2)\). Thus the solutions of (135) are some mixture of anti-holomorphic disks and gradient flows for the Morse function given by the moment map \(\epsilon ^a {{\mathcal {D}}}_a\). As we discussed previously for anti-holomorphic disks to give rise to a nice moduli space we have to impose the Lagrangian boundary conditions on the boundary of D. The argument presented around the Eq. (127) can be repeated here and most likely the good moduli space of (135) would require imposing Lagrangian boundary conditions for D. Moreover in this fully equivariant story the Lagrangian submanifolds may be required to preserve some toric symmetry (as may be argued from (129)).
Provided that we have a good moduli space we can understand the equation
as a further localization on the moduli space. Formally this equation will tell us that the fixed points of \(S^2\) are mapped to the fixed points of \(k_a\) on M. We cannot find any smooth solutions satisfying all equations. Rewritten in \((y,{\bar{y}})\) coordinates we have
and there are no smooth single valued solutions for both Eqs. (142) and (135). To illustrate this let us look at the example of maps from D to \({\mathbb {C}}\) (see above) which satisfy both (136) and the equations
where we have assumed \(\epsilon \) to be real. It is hard to find solutions for all equations. The only solution we find
that is not single valued.
7 1-loop calculation
In this section we perform the localization calculation around the constant maps. We start with the model without target space equivariance from Sect. 4.3 and we reintroduce the equivariant parameter \(\varepsilon \) in front of v in the transformations (60) but we keep the canonical kinetic term as in (62). In the localization locus we have a distinguished subspace of constant maps \(dX=0\) which solves both Eqs. (111) and (112). The moduli space of constant maps is identified with the target space M. We denote by \(X^\mu _0\) a point on target Kähler manifold M and by \(\Psi ^\mu _{0}\) the corresponding fermionic zero modes which have the interpretation of \(dX_0^\mu \). We will localize around such constant solutions and calculate explicitly the one-loop determinant. For the contribution of other topological sectors we will make a conjecture in the next section. The localization answer for the observable (98) for such maps has the following form
where we will use standard notations for differential forms and the 1-loop contribution \(Z^{(const)}_{\mathrm {1-loop}}\) is understood as a differential form. Here in the observable (98) we have to have an extra factor \(\varepsilon ^{-1}\) since we require a canonical kinetic term. Hence the observable should contain the term \(\cos \theta ~ \omega _{\mu \nu }dX^\mu \wedge dX^\nu \) but in the transformations we should have \(\varepsilon \) in front of \({{\mathcal {L}}}_v\). Here \(\omega _a\) is a basis in \(H^{2}(M)\) and \(t^a\), \({\bar{t}}^a\) are the complexified coordinates such that
Hence in the exponent of (145) we have the evaluation of the observable (98) on the constant maps with a canonical kinetic term.
The one-loop contribution \(Z^{(const)}_{\mathrm {1-loop}}(\varepsilon )\) can be obtained by the study of the linearized supersymmetry transformations (60) around the constant maps. Let us expand our variables X and \(\Psi \) around the constants maps and related zero modes
where \(\varDelta X^\mu \) and \(\varDelta \tilde{\Psi }^\mu \) are the bosonic and fermionic fluctuations over which we have to integrate. The problem is that while the bosonic fluctuation \(\varDelta X^\mu \) transforms tensorially (with respect to the diffeomorphisms of M) the fermionic fluctuation \(\varDelta \tilde{\Psi }^\mu \) does not transform tensorially and thus we have a problem in defining the path integral measure. The standard way to fix it is to use the Levi-Civita connection and redefine
Now \(\varDelta \Psi ^\mu \) transform tensorially and thus the path integral measure is well-defined. We have to track down the corresponding supersymmetry transformations for the fluctuations. We plug (147) and (148) into (60), and assume the following transformations for the zero modes \(\delta X_0=\Psi _0\), \(\delta \Psi _0=0\). We obtain the following linearized transformations for the fluctuations \( \varDelta X^\mu \) and \(\varDelta {\Psi }^\mu \)
It is convenient to define the covariant version of the transformations \(\delta _\nabla = \delta + \Gamma ^\mu _{\nu \rho }\Psi ^\nu _0\) hence
where we use the short hand convention \((R)^\mu _{~\sigma } = \dfrac{1}{2}R^\mu _{~\sigma \nu \lambda } \Psi _0^\nu \Psi _0^\lambda \). The fields \(\chi \) and H do not have any zero modes for the constant maps and thus we treat them as fluctuations. The original transformations (60) are linear in the \(\chi \) and H fields and we should further linearize them in the fluctuations \(\varDelta X^\mu \) and \(\varDelta {\Psi }^\mu \). The final result can be written as follows
where we use again the short hand conventions \((R)^\mu _{~\nu }\) and \(\mathcal {L}_v = \mathcal {L}^\Gamma _v\) at the linearized level in the fluctuations.
Using the linearized transformations (149), (151) and applying standard arguments (see e.g. the review [27] or the more detailed exposition in [13]) we can derive the one-loop contribution. It is given by the following superdeterminant
where the denominator comes from (149) and the numerator comes from (151). Here \({\hat{R}}\) is the Lie algebra valued curvature form \((R)^\mu _{~\nu }\) and the determinant is assumed both over the infinite set of modes and the Lie algebra action on TM. Recall that \(\Delta X\) are zero forms on \(S^2\) with values in the tangent bundle of M
while the odd field \(\chi \) is in the subspace of one-forms on \(S^2\) valued in the tangent bundle M with respect to the \(P^{+}\) projector
(see the discussion around (50) for more explanations). We stress that in (153) and (154) we deal with the linearized spaces around \(X_0\), therefore below we regard \(\Omega ^{0}\left( S^2, X^*(TM_{X_0}) \right) \) \(\Omega ^{1+}\left( S^2, X^*(TM_{X_0}) \right) \) as linear spaces (we suppress the expansion point \(X_0\) in our notation). Hence the one-loop answer is written more properly as follows
This ratio of determinants can be calculated in different ways and it is related to the one-loop contribution of the chiral field on \(S^2\). We present below an explicit calculation of this determinant ratio stressing the relevant regularization issues. Instead of diagonalizing explicitly he relevant operator, we exploit the fact that there are many cancellations. For that we use the operator \(P^+d\) that connects the two spaces
and commutes with the operator which appears in the one-loop expression
There are cancellations between common eigenfunctions so that the answer reduces to the kernel and cokernel
We now address in detail how to find the kernel and the cokernel, since they admit explicit descriptions on \(S^2\). First we make use of the target space complex structure and separate the determinant into that over the holomorphic and anti-holomorphic parts of the tangent bundle \(T^{(1,0)}M\) and \(T^{(0,1)}M\). We use stereographic coordinates \((z, {\bar{z}})\) on \(S^2\); by changing the coordinates to \((z', {\bar{z}}')\) we can check that everything is well-defined on \(S^2\). On the holomorphic part the kernel is defined by the equation
which, as discussed above is solved by any function of the form:
Hence the kernel is spanned by basis functions (or every i)
which is diagonal with respect to \({{\mathcal {L}}}_v\). The cokernel is defined by the one-forms \(\chi ^i\) which are not in the image of \(P^+d\) operator. Equivalently we can write
where we use Hodge decomposition and the second condition makes sure that \(\chi ^i\) is in the correct space. These two conditions are solved by (for every i)
For the anti-holomorphic components (for every \({\bar{i}}\)) we get the complex conjugate answer
On \(S^2\) these basis element diagonalize the Lie derivative operator \({{\mathcal {L}}}_v\)
We also diagonalize the curvature form \({\hat{R}}\) and denote the Chern roots by \(r_i\). Finally the ratio of determinants is given by the following expression
where we have excluded the constant mode (\(m=0\)) of the \(\varDelta X^\mu \) fluctuations since we expand around the constant maps. Using zeta-function regularization the infinite products can be rewritten in terms of Gamma functions as follows
The resulting answer as a function of the Chern roots can be presented in terms of the characteristic class called the Gamma class [28, 29] as
where \(c_1(M)\) is the first Chern class of M. The Gamma class is a multiplicative characteristic class which can be expressed through the Chern characters \({\text {ch}}_k\left( TM\right) \)
The conjugate is given by \(\bar{\hat{\Gamma }_M}(\varepsilon )=\det \Gamma \left( 1-\frac{{\hat{R}}}{\varepsilon }\right) \). Finally substituting (168) into (145) we can write down the full answer for the contribution of the constant maps
This answer is written for any Kähler manifold M. As it stands this integral is well-defined for compact M and it depends only on the cohomology class of \({\hat{R}}\) and the cohomology class of the complexified Kähler form \(\omega \).
If we assume that M is a Calabi–Yau (CY) manifold (\(c_{1}(X)=0\)) then the dependence of (170) on the equivariant parameter \(\varepsilon \) is analytical
This answer agrees with the results presented in [30, 31]. In [30] the answer (171) which encodes the perturbative corrections to the Kähler potential was argued from mirror symmetry considerations and some other consistency checks (see also [9] for a review). In [31] the above answer was discussed in the context of a GLSM localization calculation and its geometrical meaning (we will comment more on this case below). Here our goal was to obtain this answer directly from the calculation within the non-linear sigma model without assuming any specific geometrical restrictions on M. Due to degree considerations upon the expansion the answer (171) has the following overall dependence
in agreement with the anomaly considerations in [8] (keeping in mind that \(\varepsilon \) is proportional to \(R^{-1}_{S^2}\)).
Let us write down some explicit formulas for CY manifolds in different dimensions. If we look at a CY-threefold then expanding (171) to the appropriate order we get
where the first integral on the RHS is just the Euler number of M. The \(\zeta (3)\) term as a perturbative correction was initially obtained in [32] by explicit evaluation of loop integrals in the \(\mathcal {N}=(2,2)\) sigma model and later via mirror symmetry in [33]. For higher dimensional CY the perturbative contributions mix with the observable, for example for a CY-fourfold we obtain
Notice, that a potential \(\zeta (4)\) perturbative contribution is absent. This is in accordance with the absence of the five loop correction in the sigma model [34]. In fact in the ratio of gamma functions only terms with odd zeta-values survive, and the transcendental weight is related to the loop order at which corrections to the sigma model appear. This pattern of seemingly complicated transcendental loop corrections summing up into a simple expression indicates once again, why the study of the transcendental structure of loop integrals [35,36,37] is important.
Let us comment on the non-analytical dependence in (170) for a general Kähler case. In (170) we can collect the terms with \(c_1(M)\) as follows
For example, if we look at a six dimensional Kähler manifold then in (173) the perturbative term on RHS should be replaced as follows for the non CY case
We believe that one can relate \( \varepsilon \) to the UV renormalization scale (there will be some ratio of \(\varepsilon \) and the UV scale). Since the model is no longer conformal, a dependence on such parameter is expected. In particular we conjecture that if one restores the scale dependence in [32, 34], one would obtain exactly the expression (176). We think that a similar statement can be made for Kähler manifold of other dimensions and the corrections analyzed in [32, 34] can be better understood in cohomological terms.
7.1 One loop with target space equivariance
We analyzed the constant map contribution to the partition function for the model with just \(S^2\) equivariance. The answer (170) is given in terms of an integral over certain de Rham cohomology classes, this integral is well-defined for a compact Kähler target space manifold. For non-compact examples, it may require an additional regularization. If a target space admits isometries then target space equivariance may serve as natural way to regularize the non-compact answer. Here we briefly sketch the derivation for the model with the target space equivariance. The main idea is that the result is the same as in (170) but now all classes are understood as equivariant classes and the integral can be localized and written as a sum over fixed point contributions.
Let us analyze the contribution of constant maps in the model with target space equivariance. In this case a constant map will provide a solution to the localization equations (128) and (129) if \(k_a (X_0)=0\). Hence we have a finite number of constant maps which map \(S^2\) to the fixed points of our torus action on M. Let us concentrate on one given fixed point \(X_0^\mu \) (we assume that all fixed points are isolated) and analyze the linearized supersymmetry (68) around this point. The main difference is that in this case there are no fermionic zero modes \(\Psi _0\) and thus we will regard \(\Psi \) as fluctuations, together with the \(\chi \) and H fields. Up to linear order in the fluctuations we obtain the following transformations
At the fixed point \(X_0\) we have \(\partial _\nu k^\mu _a (X_0)= \nabla _{\nu } k^\mu _a(X_0)\). Due to the isometry property this is an anti-symmetric matrix acting on \(TM_{X_0}\) (for short below we denote this matrix as \(\partial k (X_0)\)). Next we have to calculate the determinants and this goes through exactly in the same way as we discussed earlier. Eventually we arrive to the expression (166) where under \(i r_i\) we understand the eigenvalues of \(\partial k (X_0)\). Moreover we now have to keep the mode \(m=0\) for the \(\Delta X\) fluctuations. Finally we can summarize the one-loop contributions for a given fixed point \(X_0\) as follows
where the determinants are understood on \(TM_{X_0}\) and the additional determinant in front of Gamma functions comes from the \(m=0\) contribution. It is important to stress that (178) is a complicated expression in the equivariant parameters and it does not terminate if we expand it. In order to write the full answer we have to sum over all fixed points \(X_0\) and evaluate the observable (106) at the constant maps \(X_0\). Hence the full contribution can be written as follows
where the factor \(4\pi \) comes from the evaluation of the volume of \(S^2\) in our conventions. The additional factor \(\varepsilon ^{-1}\) in the exponent is related to the canonical normalization of the kinetic term and thus to fixing the normalization of the observable (106) with all parameters turned on. The answer (179) can be written as an integral over of the appropriate equivariant forms as follows
Hence this is the equivariant extension of the previously discussed answer (170). Here the equivariant extensions are defined as \(\omega _{equiv} = \omega + \epsilon ^a {{\mathcal {D}}}_a\) and \({\hat{R}}_\mathrm{equiv} = {\hat{R}} + \epsilon ^a \nabla k_a\) where we have used the following identity
which follows from the standard properties of the curvature tensor and the fact that the \(k_a\) are isometries of the corresponding metric. By applying the Berline–Vergne–Atiyah–Bott localization theorem to (180) we reproduce the answer (179) with (178).
If we impose the CY conditionFootnote 5 the answer (179) has the following functional dependence
hence it agrees with the anomaly considerations in [8]. Please observe that the natural normalization of the target space equivariant parameters is \(\epsilon ^a \varepsilon ^{-1}\) since the flat connection (70) has \(\varepsilon ^{-1}\) in front to keep the property \(\iota _v A=1\). Finally let us remark about the relation to the localization result for GLSM. Let us restrict to the toric CY manifolds which are obtained by the Kähler quotient \({\mathbb {C}}^N//(U(1))^r\) then the integral over the equivariant characteristic classes (180) can be written in terms of r-dimensional contour integral (see [38] for an explanation). This integral can be identified with the concrete pole contribution (within the zero flux sector) in the full answer for the GLSM model of the corresponding toric CY manifold.
8 Summary and full answer
In this paper we focused on the formulation on \(S^2\) of supersymmetric \(N=(2,2)\) non-linear sigma models with a Kähler target manifold. We described these supersymmetric theories on \(S^2\) and provided a reformulation in terms of a cohomological theory similar to the A-model. Unlike the A-model here we introduce a new notion of 2D self-duality defined on one forms \(\Omega ^1(\Sigma , X^*(TM))\) that uses the existence of a U(1) vector field on \(S^2\). We also considered the model with target space equivariance, corresponding to a supersymmetric sigma model coupled to a supersymmetric background gauge multiplet. We analyzed the observables in the model and we presented a discussion of the localization locus and of the 1-loop calculation around constant maps.
Let us speculate about the possible structure for the full result. If we look at the model with a general Kähler target space manifold then we have argued that the localization locus is given by holomorphic disks but within our framework we do not single out any kind of boundary conditions (or we do not understand how to derive them). However motivated by ellipticity considerations we may guess that the holomorphic disks should end on Lagrangian submanifolds. Hence we can conjecture that the full answer should be written schematically as sum over all Lagrangian submanifolds
where \(Z_L\) is the theory associated to the moduli space of holomorphic disks ending on a given L. This theory is not the A-model, the counting should be done differently and the relevant cohomology class is related to the ratio of two Gamma classes (as we saw in the case of the constant maps). The conjectured answer is hard to check in such generality, but some explicit checks may be done for simple examples of target spaces. Another related question is how structures related to A-model appear in the present context. For example, it is not clear to us how the quantum cohomology (ring structure of observables) appears in the present context. Many standard arguments from the A-model cannot be applied directly here, for example the local observables are stuck at fixed points etc. Let us stress that we do not understand what is the string theory interpretation of the conjectured answer (183) as this definitely requires further investigation.
If we move to the case when the model has target space equivariance then the situation is better. For example, if we assume that the target space manifold is a toric CY manifold then we expect that the answer for \(Z_{S^2}\) should be given in terms of a GLSM localization calculation (certain sum over fluxes of contour integrals). The main challenge is to understand how the GLSM answer encodes the counting of disks at the level of the non-linear sigma model. It would be natural to expect that the formula (183) holds but now we have to sum over a specific class of invariant Lagrangians. It would be nice to perform some simple enumerative calculations for the disks and to understand how to extract them from the GLSM answer. This can also help us to understand better the localization locus we discussed. In this context the conjectured answer (183) looks even more surprising since there is no obvious relation between what we suggest and the discussion of the factorization of the GLSM answer in [5] and [31]. It may be that these two pictures are dual in some sense; any further insight requires to analyze the localization equations properly in the context of the supersymmetric non-linear sigma model.
Let us make a final comment, the relation of the presently discussed non-linear sigma model with all equivariant parameters \(\varepsilon \) and \(\epsilon ^a\) to the A-model is not as simple as it may appear at first. It is not so easy to extract the non-equivariant answer and the claim that we deal with a gluing of A and \({\bar{A}}\) models is not that straightforward. We think that the role of the equivariant parameters should be studied better and one should pay more attention to different expansions in the parameters of the model. We hope to come back to these issues elsewhere.
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This work is in theoretical and mathematical physics and there is no associated numerical/observational data.]
Notes
Although the paper formally deals with 3-dimensional sigma models, all formalism is identical for 2-dimensional models.
We set the central charges of \(\phi \) to zero. The case with nonzero central charges is considered in [19].
There exists another set of projectors based on \(\frac{1}{1+\cos ^2 \theta } (1 + \cos \theta ~ \star J - \kappa \wedge \iota _v)\).
Please note that we use \(\varepsilon \) for the equivariant parameter on \(S^2\) and \(\epsilon ^a\) as equivariant parameters for a target manifold.
We need to set to zero the equivariant first Chern class \(\text {Tr}({\hat{R}}_\mathrm{equiv})\). For this beside the CY condition we also need to require that the isometries preserve the CY structure, i.e. \(\sum _a \epsilon ^a=0\).
References
V. Pestun, Localization of gauge theory on a four-sphere and supersymmetric Wilson loops. Commun. Math. Phys. 313, 71–129 (2012). https://doi.org/10.1007/s00220-012-1485-0. arXiv:0712.2824 [hep-th]
V. Pestun et al., Localization techniques in quantum field theories. J. Phys. A 50(44), 440301 (2017). https://doi.org/10.1088/1751-8121/aa63c1. arXiv:1608.02952 [hep-th]
F. Benini, S. Cremonesi, Partition functions of \({\cal{N} =(2,2)}\) gauge theories on S\(^{2}\) and vortices. Commun. Math. Phys. 334(3), 1483–1527 (2015). https://doi.org/10.1007/s00220-014-2112-z. arXiv:1206.2356 [hep-th]
N. Doroud, J. Gomis, B. Le Floch, S. Lee, Exact results in D = 2 supersymmetric gauge theories. JHEP 05, 093 (2013). https://doi.org/10.1007/JHEP05(2013)093. arXiv:1206.2606 [hep-th]
H. Jockers, V. Kumar, J.M. Lapan, D.R. Morrison, M. Romo, Two-sphere partition functions and Gromov–Witten invariants. Commun. Math. Phys. 325, 1139–1170 (2014). https://doi.org/10.1007/s00220-013-1874-z. arXiv:1208.6244 [hep-th]
J. Gomis, S. Lee, Exact Kahler potential from gauge theory and mirror symmetry. JHEP 04, 019 (2013). https://doi.org/10.1007/JHEP04(2013)019. arXiv:1210.6022 [hep-th]
E. Gerchkovitz, J. Gomis, Z. Komargodski, Sphere partition functions and the Zamolodchikov metric. JHEP 11, 001 (2014). https://doi.org/10.1007/JHEP11(2014)001. arXiv:1405.7271 [hep-th]
J. Gomis, P.-S. Hsin, Z. Komargodski, A. Schwimmer, N. Seiberg, S. Theisen, Anomalies, conformal manifolds, and spheres. JHEP 03, 022 (2016). https://doi.org/10.1007/JHEP03(2016)022. arXiv:1509.08511 [hep-th]
D.R. Morrison, Gromov–Witten invariants and localization. J. Phys. A 50(44), 443004 (2017). https://doi.org/10.1088/1751-8121/aa6f65. arXiv:1608.02956 [hep-th]
F. Benini, B. Le Floch, Supersymmetric localization in two dimensions. J. Phys. A 50(44), 443003 (2017). https://doi.org/10.1088/1751-8121/aa77bb. arXiv:1608.02955 [hep-th]
N. Doroud, J. Gomis, Gauge theory dynamics and Kähler potential for Calabi–Yau complex moduli. JHEP 12, 099 (2013). https://doi.org/10.1007/JHEP12(2013)099. arXiv:1309.2305 [hep-th]
G. Festuccia, J. Qiu, J. Winding, M. Zabzine, Twisting with a flip (the art of pestunization). Commun. Math. Phys. 377(1), 341–385 (2020). https://doi.org/10.1007/s00220-020-03681-9. arXiv:1812.06473 [hep-th]
G. Festuccia, J. Qiu, J. Winding, M. Zabzine, Transversally elliptic complex and cohomological field theory. J. Geom. Phys. 156, 103786 (2020). https://doi.org/10.1016/j.geomphys.2020.103786. arXiv:1904.12782 [hep-th]
G. Festuccia, M. Zabzine, in preparation
N.J. Hitchin, A. Karlhede, U. Lindstrom, M. Rocek, Hyperkahler metrics and supersymmetry. Commun. Math. Phys. 108, 535 (1987). https://doi.org/10.1007/BF01214418
B. Zumino, Supersymmetry and Kähler manifolds. Phys. Lett. B 87(3), 203–206 (1979). https://doi.org/10.1016/0370-2693(79)90964-X. https://www.sciencedirect.com/science/article/pii/037026937990964X
U. Lindstrom, M. Rocek, R. von Unge, M. Zabzine, Generalized Kahler manifolds and off-shell supersymmetry. Commun. Math. Phys. 269, 833–849 (2007). https://doi.org/10.1007/s00220-006-0149-3. arXiv:hep-th/0512164
J. Wess, J. Bagger, Supersymmetry and Supergravity (Princeton University Press, Princeton, 1992)
C. Closset, S. Cremonesi, Comments on \( \cal{N} \) = (2, 2) supersymmetry on two-manifolds. JHEP 07, 075 (2014). https://doi.org/10.1007/JHEP07(2014)075. arXiv:1404.2636 [hep-th]
B. Jia, E. Sharpe, Curvature couplings in \(\cal{N} =(2,2)\) nonlinear sigma models on \(S^2\). JHEP 09, 031 (2013). https://doi.org/10.1007/JHEP09(2013)031. arXiv:1306.2398 [hep-th]
J. Baptista, Twisting gauged non-linear sigma-models. JHEP 02, 096 (2008). https://doi.org/10.1088/1126-6708/2008/02/096. arXiv:0707.2786 [hep-th]
E. Witten, Topological sigma models. Commun. Math. Phys. 118, 411 (1988). https://doi.org/10.1007/BF01466725
E. Witten, Mirror manifolds and topological field theory. AMS/IP Stud. Adv. Math. 9, 121–160 (1998). arXiv:hep-th/9112056
L. Baulieu, I.M. Singer, The topological model. Commun. Math. Phys. 125, 227 (1989). https://doi.org/10.1007/BF01217907
A. Alexandrov, N. Nekrasov, Topological string on \(S^2\) revisited (unpublished, IHES/P/08/18). https://preprints.ihes.fr/2008/P/P-08-18.pdf
E. Frenkel, A. Losev, N. Nekrasov, Instantons beyond topological theory II. arXiv:0803.3302 [hep-th]
V. Pestun, M. Zabzine, Introduction to localization in quantum field theory. J. Phys. A 50(44), 443001 (2017). https://doi.org/10.1088/1751-8121/aa5704. arXiv:1608.02953 [hep-th]
S. Galkin, V. Golyshev, H. Iritani, Gamma classes and quantum cohomology of Fano manifolds: Gamma conjectures. Duke Math. J. 165(11), 2005–2077 (2016). https://doi.org/10.1215/00127094-3476593. arXiv:1404.6407 [math.AG]
A. Libgober, Chern classes and the periods of mirrors. arXiv preprint math/9803119 (1998)
J. Halverson, H. Jockers, J.M. Lapan, D.R. Morrison, Perturbative corrections to Kaehler moduli spaces. Commun. Math. Phys. 333(3), 1563–1584 (2015). https://doi.org/10.1007/s00220-014-2157-z. arXiv:1308.2157 [hep-th]
K. Hori, M. Romo, Exact results in two-dimensional (2,2) supersymmetric gauge theories with boundary. arXiv:1308.2438 [hep-th]
M.T. Grisaru, A.E.M. van de Ven, D. Zanon, Two-dimensional supersymmetric sigma models on Ricci flat Kahler manifolds are not finite. Nucl. Phys. B 277, 388–408 (1986). https://doi.org/10.1016/0550-3213(86)90448-7
P. Candelas, X.C. De La Ossa, P.S. Green, L. Parkes, A pair of Calabi–Yau manifolds as an exactly soluble superconformal theory. Nucl. Phys. B 359, 21–74 (1991). https://doi.org/10.1016/0550-3213(91)90292-6
M.T. Grisaru, D.I. Kazakov, D. Zanon, Five loop divergences for the \(N=2\) supersymmetric nonlinear model. Nucl. Phys. B 287, 189 (1987). https://doi.org/10.1016/0550-3213(87)90102-7
D.J. Broadhurst, D. Kreimer, Association of multiple zeta values with positive knots via Feynman diagrams up to 9 loops. Phys. Lett. B 393, 403–412 (1997). https://doi.org/10.1016/S0370-2693(96)01623-1. arXiv:hep-th/9609128
K. Bönisch, C. Duhr, F. Fischbach, A. Klemm, C. Nega, Feynman integrals in dimensional regularization and extensions of Calabi–Yau motives. arXiv:2108.05310 [hep-th]
F. Brown, Feynman amplitudes, coaction principle, and cosmic Galois group. Commun. Number Theory Phys. 11, 453–556 (2017). https://doi.org/10.4310/CNTP.2017.v11.n3.a1. arXiv:1512.06409 [math-ph]
N. Nekrasov, N. Piazzalunga, M. Zabzine, Shifts of prepotentials (with an appendix by Michele Vergne). arXiv:2111.07663 [hep-th]
Acknowledgements
We are very grateful to Tobias Ekholm for illuminating discussions. The work of Guido Festuccia is supported by Vetenskapsrådet under grant 2018-05572. The work of Maxim Zabzine is supported by the grant “Geometry and Physics” from the Knut and Alice Wallenberg foundation. The work of Victor Mishnyakov and Victor Alexeev was partly funded by RFBR and MOST, project number 21-52-52004 (V.M.) and RFBR grant 20-01-00644 (V.A, V.M.) and RFBR grant 21-51-46010 (V.A).
Author information
Authors and Affiliations
Corresponding author
Appendices
Notations
The Euclidean flat-space metric is \(\delta _{A B}\), \(A,B=1,2\) and the Levi-Civita symbol \(\epsilon ^{A B}\) is normalized to \(\epsilon ^{12}=1\). We use complex coordinates \(z= x^1 + i x^2, {{\bar{z}}}= x^2 - i x^2\), so that \(\delta _{z{{\bar{z}}}}= {1\over 2}\), \(\delta _{zz}=\delta _{{{\bar{z}}}{{\bar{z}}}}=0\) and \(\epsilon ^{z{{\bar{z}}}}= -2 i\).
We denote Weyl spinors with ± indices so that \(\psi _-\) and \(\psi _+\) have spin \({1\over 2}\) and \(-{1\over 2}\), respectively, under \(\mathrm{Spin}(2) \cong U(1)\). We also use Dirac spinors
The two-dimensional gamma matrices are \({(\gamma ^{A})_{\alpha }}^\beta = { (-\sigma ^1, -\sigma ^2)_{\alpha }}^\beta \) when A runs over 1, 2, and \(\gamma ^3 = \sigma ^3\), with \(\sigma ^A\) the Pauli matrices. They satisfy \(\gamma ^A \gamma ^B = \delta ^{A B}+i \epsilon ^{A B}\gamma ^3\) and \(\{ \gamma ^3,\gamma ^A\}=0\). In complex coordinates, we have
Dirac indices are raised and lowered with the epsilon symbols \(\epsilon ^{\alpha \beta }, \epsilon _{\alpha \beta }\) and are contracted from upper-left to lower-right so that
The supersymmetry covariant derivatives read
they satisfy \(\{D_- , {\widetilde{D}}_- \} = - 4 i \partial _z\) and \(\{D_+ , {\widetilde{D}}_+ \} = 4 i \partial _{{{\bar{z}}}}\).
Summary of \(S^2\) geometry
In this appendix we summarize our conventions on \(S^2\) geometry. The unit sphere \(S^2\) is defined in \({\mathbb {R}}^3\) as
We define the stereographic projection of \(S^2\) minus point (0, 0, 1) (we refer to this point as the north pole) into the plane \(x_3=0\)
where \((\theta , \phi )\) are the standard spherical coordinates with the values \(\phi \in [0, 2\phi )\), \(\theta \in [0, \pi ]\). Analogously we define the stereographic projection of \(S^2\) minus point \((0,0,-1)\) (we refer to this point as south pole) into the plane \(x_3\)
Using these two stereographic projections we see that for \(S^2\) minus north and south poles
and this diffeomorphism identifies \(S^2\) with the projective space \({{\mathbb {C}}}{{\mathbb {P}}}^1\). Throughout the paper we use two systems of coordinates for \(S^2\), either \((z, {\bar{z}})\) (with \((z', {\bar{z}}')\) on another patch) or the spherical coordinates \((\theta , \phi )\) and the following relation will be useful
with the appropriate regions of validity. In our conventions the north pole of \(S^2\) corresponds to \(\theta = 0, z'=0\) and the south pole to \(\theta =\pi , z=0\).
The sphere \(S^2\) is equipped with the Fubini-Study metric
and with the Fubini-Study Kähler form
which also defines the volume form. The sphere \(S^2\) admits U(1)-action which is realized by shifting the angle \(\phi \) (or phase of z). The corresponding vector field is defined as follows
and we define the dual 1-form
such that
This U(1)-action is the Hamiltonian since
with the Hamiltonian function \(\Omega _0 = \cos \theta \).
Sometimes we consider the sphere \(S^2\) of radius \(R_{S^2}\). In this case we use the following form for the Fubini-Study metric
where we use the conventions with z being dimensionless coordinate. By appropriate rescaling of z one can switch to other convention with the dimensionful coordinates.
Cohomological complex
Here we present the explicit map between the \({{\mathcal {N}}}=(2,2)\) chiral and anti-chiral superfield components and the cohomological fields introduced in Sects. 4.3 and 4.4.
In order to define the cohomological fields we will use the Killing spinors \(\zeta \) and \({\tilde{\zeta }}\). When the supersymmetric background admits more than one \(\zeta \) or \({\tilde{\zeta }} \) we need to single out one of each to construct the cohomological variables.
From the Killing spinors we can form the spinor bilinears:
The vector field v is Killing and the scalars s and \({\tilde{s}}\) are constant along v.
We require \(s+{\tilde{s}}\) and \(s^2+{\tilde{s}}^2\) to be smooth positive real functions. We can then write down the following projectors acting on one forms (we remind the reader that we denote with \(\kappa \) the one form with components \(\kappa _m=v_m\))
Using these definitions it follows that \(P^+\tau =\tau \) while \({\widetilde{P}}^+{\tilde{\tau }}={\tilde{\tau }}\).
Specifically we are interested in the round two sphere and we select the spinors (14) with \(A={\tilde{A}}=1, B={\tilde{B}}=0\). With this choice the projectors \(P^+\) is:
which can be compared with (51) when acting on one forms with the values in \(X^*(T^{1,0}M)\).
We start by considering the case of chiral and anti-chiral multiplets that are not coupled to a background gauge field. The cohomological variables for the chiral multiplet (see Sect. 3.3) are defined as follows:
Note that we have \(P^+\chi ^i=\chi ^i\) and \(P^+h^i=h^i\). The inverse map is given by
The supersymmetry variation \(\delta =\delta _\zeta +\delta _{{\tilde{\zeta }}}\) acts on the cohomological variables as:
These coincide with (58) up to redefining \(\delta \) when acting on Grassmann odd variables with an extra factor of \(-i\).
Next we consider the case where there is an Abelian isometry generated by a holomorphic Killing vector field \(k^i\). We can then couple the chiral fields to a supersymmetric background gauge field. The definition of the cohomological variables is then
where \(D_m X^i= \partial _m X^i-k^i\). The inverse map is
Supersymmetry acts on the cohomological variables as:
For the Killing spinors we selected on the round sphere and with the choice of background gauge field as in (20) we have that
where u is a constant complex parameter. Hence the susy transformations simplify to
Comparing with (65) we identify the target-space equivariant parameter to be \(\epsilon =-{u\over R_{S^2}}\).
With these definitions the transformations of the cohomological variables are independent of the sigma model target space geometry. However the fields \(h^i\) do not transform as tensors under holomorphic coordinate changes. As we reviewed in Sect. 4 we can define fields \(H^i=h^i +\Gamma ^i_{j k} \Psi ^j \chi ^k\) that do transform tensorially.
Similarly we can consider an anti-chiral field of R-charge 0. The corresponding \({\tilde{\chi }}^i\) and \({\tilde{h}}^i\) fields are then in the image of \({\widetilde{P}}^+\) :
Next we look at the action obtained from the Lagrangian density (30). Using the Killing spinors we selected on the round sphere and with the choice of background gauge field as in (20) the action can be rewritten in terms of the cohomological variables. This results in the observable \({{\mathcal {O}}}_2\) introduced in (100) plus various \(\delta \)-exact terms:
Here the angle \(\theta \) is the latitude on \(S^2\) as in (189) while \(\Omega _2\) is defined in (194). The indices \(\mu ,\nu \) run over \(i,{{\bar{i}}}\). The arbitrary function \(f(z{{\bar{z}}})\) that specifies the background gauge multiplet configuration (20) appears only in Q-exact terms.
Squashing
We can squash the two sphere maintaining a U(1) isometry by multiplying the radius \(R_{S^2}\) by a positive function \(c(z{{\bar{z}}})\). By rescaling \(R_{S^2}\) the values of the function c at the two poles can be taken to be \(w^2=c(\infty )=c(0)^{-1}\). The maximum number of Killing spinors satisfying (10) is reduced to two. For instance
satisfy the Killing spinor equations for vanishing background \(U(1)_R\) connection and
The spinors bilinears (11), built from the two Killing spinors above are
Near the \(z=0\) pole the spinors (214) and the supercharge corresponding to \(\delta _Q=\delta _\zeta +\delta _{{\tilde{\zeta }}}\) approach those corresponding to the \({{\bar{A}}}\) topological twist. Similarly near the \(z=\infty \) pole the supercharge approaches that corresponding to the A topological twist.
1.1 Background gauge field
Here we present the supersymmetric background gauge field configurations that preserve both supercharges on the squashed sphere. Introducing a function \(f(z {{\bar{z}}})\) we can set
where u is a complex constant. The anticommutator of \(\delta _{{\tilde{\zeta }}}\) and \(\delta _\zeta \) reduces to
Hence neither the squashing profile \(c(z {{\bar{z}}})\) nor the function \(f(z {{\bar{z}}})\) appear in the superalgebra.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Alekseev, V., Festuccia, G., Mishnyakov, V. et al. Localizing non-linear \({{\mathcal {N}}}=(2,2)\) sigma model on \(S^2\). Eur. Phys. J. C 82, 766 (2022). https://doi.org/10.1140/epjc/s10052-022-10610-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10610-8