N = 2 Liouville SCFT in four dimensions

,


Introduction
Liouville field theory in two dimensions [1] has been extensively studied for almost three decades and is recognized as a basic building block in quantum field and string theories. Higher dimensional Liouville field theories appeared recently as a basic ingredient of the inertial range field theory of fluid turbulence proposed in [2,3], with the Liouville field being JHEP10(2019)006 a Nambu-Goldstone boson, the Liouville potential being the local fluid energy dissipation and the Liouville background charge Q related to the fluid intermittency. The higher evendimensional bosonic Liouville field theories were studied in [4] and their four-dimensional N = 1 superconformal version in [5].
The aim of this work is to construct and study N = 2 Liouville superconformal field theory (SCFT) in four dimensions. The Liouville superfield is an N = 2 chiral superfield with sixteen bosonic and sixteen fermionic component fields. Its lowest component is a log-correlated complex scalar field whose real part carries a background charge. The resulting theory is non-unitary with a continuous spectrum of scaling dimensions. It localizes semi-classically on solutions that describe curved superspaces with a constant complex supersymmetric Q-curvature. We study its quantum dynamics on the supersymmetric 4-sphere and show that the classical background charge is not corrected quantum mechanically. This is similar to the non-renormalization of the background charge in the four-dimensional N = 1 superconformal case [5], and in two-dimensional N = 2 Liouville SCFT [6,7].
We calculate the super-Weyl anomaly coefficients and find that c vanishes, while a is negative and depends on the background charge. We derive an integral expression for the correlation functions of superfield vertex operators in N = 2 superspace and analyze them in the semiclassical approximation by using a quaternionic formalism for the N = 2 superconformal algebra. In this formalism one can express all superconformal transformations as quaternionic super-Möbius transformations, i.e. as quaternionic linear fractional transformations. We will use this in order to derive selection rules for the correlation function of vertex operators in the semiclassical limit.
The paper is organized as follows. In section 2 we will analyze the classical N = 2 Liouville field theory. In subsection 2.1 we will construct the action of the theory, verify its super-Weyl invariance and derive the classical field equations. In subsection 2.2 we will study the theory on the N = 2 supermanifold extension of the 4-sphere where one sees the background charge in the boundary conditions of the Liouville superfield. We will write the action in components, check its R-symmetries and construct a solution to the classical field equations. In section 3 we will study the quantum aspects of the theory. We will show that the background charge is not corrected quantum mechanically and we will calculate the super-Weyl anomaly coefficients. In section 4 we will study the correlation function of superfield vertex operators and derive an integral expression for them by considering the relation to free fields and four-dimensional Coulomb gas integrals. In section 5 we will consider the correlation functions of vertex operators in the semiclassical limit and introduce the quaternionic formalism for N = 2 superconformal transformations. We will conclude with a summary and outlook in section 6. A summary of notations and details of various calculations are given in the appendices.

N = Liouville SCFT in four dimensions
In this section we will construct and study the classical aspects of N = 2 Liouville superconformal field theory in four dimensions in an SU (2) superspace. We will mainly use JHEP10(2019)006 the notations of [8] and [10] for the curved supergravity geometrical quantities and the notations of [11] for flat space notation and reduction to component fields. These are briefly summarized in appendix A. The supergravity notations are in Lorenzian signature (−, +, +, +). We use the analytic continuation in [12] for the Euclidean signature of the supersymmetric 4-sphere. Four-dimensional N = 2 Liouville SCFT is given by the action: where E is the chiral density [13]. The Liouville superfield Φ is an N = 2 chiral superfield [13,14], which satisfies the conditions: where D A = (D a , D i α ,Dα i ) is the covariant superderivative [8]. The chiral multiplet Φ consists of 16 + 16 bosonic and fermionic component fields: a complex scalar field A, a chiral spinor doublet Ψ i , a complex symmetric scalar B ij = B ji , an antisymmetric tensor F ab = −F ba , a chiral spinor doublet Λ i and a complex scalar field C.
The dimensionless parameters in (2.1) are the background charge Q, the cosmological constant µ (which we take to be complex) and b. We will denote S C.G. = S L | µ=0 , which describes a free SCFT that we call four-dimensional N = 2 Coulomb gas SCFT.
In (2.1)∆ denotes the chiral projection operator [15,16]: are complex symmetric torsion tensors (see e.g. [8] and [10]). Their complex conjugated partners are denoted byS ij ≡ S ij andȲαβ ≡ Y αβ . Acting with the chiral projection operator on any scalar superfield U transforms it to a chiral superfield and we have: is the curved superspace integration measure. Using (2.4) we can write the kinetic part of the action (2.1) simply as d 4 x d 4 θ d 4θ E ΦΦ. The chiral projection operator provides an N = 2 supersymmetric extension of the conformally covariant fourthorder differential Paneitz operator [17].
In the Liouville action,Q is an N = 2 supersymmetric extension of the conformally covariant Q-curvature [18] given by [11]: This supersymmetric extension is chiral and satisfiesDα iQ = 0.

Super-Weyl invariance
The objects∆,Q transform covariantly under N = 2 super-Weyl transformations [8,10,11] which are parameterized by a chiral superfield σ: This transformation law is the super-Weyl generalization of the Weyl transformations of the Paneitz operator and the Q-curvature. Under super-Weyl transformations the Liouville superfield transforms according to which, together with (2.6), ensures that the action (2.1) is classically invariant under super-Weyl transformation, under the condition that the background charge takes it classical value: Similar to the N = 1 four dimensional Liouville SCFT studied in [5], the supersymmetric-Q-curvature is related to a topological functional given by [11]: where the complex symmetric torsion tensor W αβ = W βα is the supersymmetric extension of the Weyl tensor. It transforms homogenously under super-Weyl transformation [10]: The integral (2.10) is a superconformal invariant and when setting to zero the gravitino and the auxiliary fields of the supergravity multiplet, it is a topological invariant of the resulting curved space, where χ and p are the Euler characteristic and first Pontryagin invariant respectively. In [8] a Wess-Zumino action for spontaneously broken N = 2 superconformal symmetry, whose variation reproduces the N = 2 super-Weyl anomaly was introduced. The contribution of exactly marginal operators to the N = 2 super-Weyl anomaly has been further studied in [9]. The Goldstone supermultiplet in [8] was identified with a reduced chiral superfield [13] (i.e. the chiral field strength of an N = 2 vector multiplet) containing the dilaton and the axion among its components. This Wess-Zumino action is related to our action (2.1) by replacing the Liouville chiral superfield Φ with 1 b log Z, where Z is a reduced chiral superfield satisfying, in addition to (2.2), the constraints [13] D ij + 4S ij Z = D ij + 4S ij Z . There are two significant differences between the two actions: first, the Liouville interaction and the kinetic term 'switch' roles between the JHEP10(2019)006 two models. This change is technically convenient for the rest of this paper. Second, the number of degrees of freedom carried by the multiplets is different. The reduced chiral superfield carries 8 + 8 degrees of freedom (bosonic and fermionic), while the chiral one used in (2.1) carries 16 + 16 degrees of freedom. Yet, these two models yield the same super-Weyl variation.

Field equations
The field equations derived from the action (2.1) read: Using the finite form of the transformation (2.6) (see [19] for the finite super-Weyl transformation of the relevant curved superspace geometrical quantities) one sees that solutions to the field equations describe super-Weyl parameters σ = bΦ andσ = bΦ that transform the background to a supermanifold with a constant complex super-Q-curvature: This result is similar to the one found in [5] for the N = 1 case. Note, however, that the field equations in the non-supersymmetric four-dimensional Liouville field theory studied in [4] have a real positive cosmological constant parameter µ and their solutions can be viewed as Weyl factors that transform the background curved space into a constant negative Q-curvature one.

Background charge
We define Liouville SCFT on the N = 2 supermanifold extension of S 4 [20]. Using the fact that this supermanifold is superconformally flat, i.e. W αβ = 0, and the topological invariant (2.10), where for supersymmetric S 4 we have χ = 2, p = 0, we get that for a constant shift by φ 0 of the Liouville superfield: Performing a singular super-Weyl transformation from supersymmetric S 4 to flat superspace and using the transformation law (2.7) we find the following boundary conditions for the Liouville superfield:

Action in components, R-symmetry and a classical solution
The kinetic part of the Lagrangian in flat space written in terms of component fields is: (2.17) Its bosonic parts can be found in [21]. The interaction term in (2.1) can be derived in terms of component fields by constructing the chiral superfield e Φ in terms of the components of Φ. For simplicity and for later use, we list here only the bosonic parts of the interaction. The bosonic parts of the Liouville interaction yield: As in the N = 1 case [4], the U(1) R symmetry is not a standard one (the interaction term, as well as the boundary condition (2.15) are not invariant under a standard U(1) transformation). Rather, the Liouville superfield transforms in the affine representation under a non-compact U(1) R symmetry: In terms of bosonic component fields, the transformation (2.19) reads: Under the SU(2) R symmetry the Liouville chiral superfield transforms trivially. The fermions Ψ i and Λ i transform as doublets under the SU(2) R transformation, while the symmetric complex field B ij transforms in the triplet representation under SU(2) R . All other component fields transform as singlets under SU(2) R . The classical equations of motion with vanishing fermions are: Therefore, a possible solution to the classical equations of motion that respects the boundary condition (2.16) is given by: (2.25) All other fields vanish.

JHEP10(2019)006 3 Quantum N = 2 Liouville SCFT in four dimensions
In this section we study quantum aspects of the Liouville N = 2 SCFT in four dimensions. We show that the background charge is not corrected quantum mechanically and calculate supersymmetric Weyl anomaly coefficients. We find that the c anomaly coefficient vanishes while the a anomaly coefficient is negative and depends on the value of the background charge Q.

Primary vertex operators and background charge non-renormalization
The free field two-point function of the lowest order component field reads: thus, it is a log-correlated complex field. Consider the vertex operator: where α,α are two independent complex numbers. When α =α we denote V α = V αα . The vertex operators have scaling dimensions: Requiring the Liouville interaction to be a marginal operator implies: and using (3.3) we get the quantum value of the background charge: We see that the classical value of the background charge (2.9) is not corrected quantum mechanically. Note that N = 1 Liouville SCFT in four dimensions [5] and N = 2 Liouville SCFT in two dimensions [6,7] exhibit a similar non-renormalization of the background charge. We can also consider vertex operators in superspace: Its dimension is given by (3.3) and its U(1) R charge reads: The following operator is a chiral primary operator: Its dimension is equal to its U(1) R charge and they are given by ∆ Vα = w Vα = 2 b α.

JHEP10(2019)006
The free-fields superspace propagators are given by: For a detailed derivation of (3.9)-(3.11) see appendix B. For future reference, in supersymmetric Coulomb gas theory the following identity holds: where |z l −z m | is the distance in superspace between a chiral and an anti-chiral coordinate: This correlation function vanishes unless α l = α l = 1 b .

N = 2 super-Weyl anomalies
The super-Weyl anomaly can be related to the ordinary Weyl anomaly by setting the gravitino and the auxiliary fields of the supergravity multiplet to zero. The anomaly coefficients a and c correspond to the A-type and B-type Weyl anomalies [22]. The Weyl anomaly coefficients of the Liouville SCFT do not depend on the interaction terms and are the same as those of the supersymmetric Coulomb gas theory. The latter is a free SCFT, which consists of an ordinary four-dimensional Coulomb gas CFT Re(A) with a background charge Q, a conformal four-derivative real scalar Im(A), a conformal threederivative chiral spinor doublet Ψ i , a conformal two-derivative complex symmetric scalar B ij , a conformal antisymmetric tensor F ab , a conformal one-derivative chiral spinor doublet Λ i and an auxiliary complex scalar field C. Thus, to obtain the super-Weyl anomaly of Liouville SCFT, we should sum the anomalies of the component fields: Summing up the coefficients we obtain: JHEP10(2019)006

Correlation functions and supersymmetric Coulomb gas integrals
In this section we study the correlation functions of superfield vertex operators (3.8) in four-dimensional N = 2 Liouville SCFT by using their relation to the free supersymmetric Coulomb gas theory and derive an integral expression for them. We consider general correlation functions of these operators: where the expectation value is defined as: We consider the shift A → A − log µ 2b and using (2.14) we obtain a KPZ scaling relation: As a result of the KPZ scaling relation (4.3) one can see that the correlation functions are not analytic functions of the cosmological constant µ,μ. This implies that we can not perform a naive perturbation theory calculation in powers of µ. We write the interaction terms of the action (2.1) using the chiral and anti-chiral integrals: so that S L = S C.G. + µS + +μS − . We can separate the real zero mode Φ 0 ∈ R of the path integral over the real part of A(x) from the non-zero mode A(x) and write the corresponding superfield decomposition Φ(z) = Φ 0 + Φ(z) (see the two-dimensional bosonic case in e.g. [23]) . Integrating over the zero mode using equation (2.14) we get the following expression for the correlation functions: , (4.5) where we denote by . . . C.G. expectation values in the free Coulomb gas SCFT. The gamma function appearing in (4.5) produces poles in the correlation functions (4.1) when s +s is a non-negative integer, i.e. s +s = k ∈ N ∪ {0}. As a consequence of (4.5), the residues of the correlation function at these poles, when considered as a function of the variable 2 (α l +α l ), are given exactly by the the result of the naive perturbation theory in µ,μ: where the l.h.s. denotes the contribution of kth-order naive perturbation theory to the correlation functions: (4.7) The KPZ scaling relation (4.3) shows that actually only a single term in the sum (4.7) is non-vanishing. Therefore, the correlation functions have a pole only when both s ands are non-negative integers, which we denote by s = n,s =ñ. We now focus on the three-point function of vertex operators, i.e. N = 3. We can write explicit integral expressions for the residues (4.7) corresponding to the three-point function by using the free field correlation functions (3.12) to write: One case for which the integral can be explicitly computed is for the first pole n = 0,ñ = 1 of the threepoint function. According to (4.3), at the pole n = 0 we have the relation l 2bα l = 2. The integral can then be written as: This integral is an N = 2 generalization of the conformal and N = 1 superconformal integrals considered in [24]. We define z 2 l ≡ |z l −z| 2 = (x l+ − x − − 2iθ i l σθ li ) 2 and the integral we need to calculate is: (4.10) Using the identity ( ∞ 0 dλ λ α−1 e iλx 2 we have: where we have defined z lm = x l+ − x m+ − 2i(θ i l − θ i m )σθ i , Λ = l λ l and performed the Gaussian integration over x − . Performing the integration overθ we have: l,m λ l λmz 2 lm . (4.12) The result of this integral is proportional to the pole of the correlation function of vertex operators (4.2). As such, the integral should be proportional to an N = 2 chiral superconformal invariant built out of the supercoordinates, which we denote I α 1 α 2 α 3 (z 1 , z 2 , z 3 ). We are interested in the dependence of the proportionality constant C(α 1 , α 2 , α 3 ) on α l . To obtain the dependence, we use the result [25]: for u lm = u ml and δ l = 2P . Applying this result for our integral we get the proportionality constant: (4.14) which is a particular example of the DOZZ three-point function formula [26,27]. and its four-dimensional analogue [4,28]. We can thus write the first pole of the correlation function as:

Correlation functions in the semiclassical limit
In this section we consider the correlation functions of vertex operators (4.1) in the semiclassical limit b → 0. In this limit we define the rescaled Liouville superfield Φ c = bΦ, in terms of which the correlations function that we wish to evaluate are: Noting that written in terms of Φ c the action (2.1) scales as S L ∼ b −2 , we can use the saddle point approximation to evaluate the integral (5.1) in the semiclassical limit b → 0. If the inserted vertex operators V αα obey the scaling α,α ∼ b then the insertions do not affect the saddle point of the integral, which is then determined solely by minimizing the action. Such operators are called light operators, and for those we write α = bσ,α = bσ, where σ,σ are kept fixed in the limit b → 0 [26,29].

JHEP10(2019)006
Considering the correlation functions of light vertex operators, the leading exponential asymptotic behaviour in the limit b → 0 is given by the semiclassical expression: where we have assumed that there is a continuum of saddle points and therefore the saddle point approximation must include an integral over them. In (5.2), M is the moduli space of solutions to the field equations (2.21) equipped with some coordinates {g}, dµ(g) is a measure over this space and Φ g (z),Φ g (z) are the Liouville superfield saddle points as functions of the moduli space coordinates. In addition, S L (Φ c , Φ c ) is the minimal value of the action, which is the value of the action evaluated at any saddle point.
Using the four-dimensional N = 2 superconformal invariance of the theory, given a solution to the field equations (2.25), one can produce further solutions by applying superconformal transformations to the original solution. The moduli space of solutions to the field equations is given by the orbit of the solution (2.25) under the action of the N = 2 superconformal group. We can analyse and integrate over this moduli space by using the four-dimensional N = 2 super-Möbius representation of the superconformal transformations.

Four-dimensional N = 2 super-Möbius transformations
In [30] it was shown that the N = 2 superconformal group in Euclidean four dimensions can be identified with a quaternionic supergroup SL(2|1; H). This supergroup has the quaternionic supermatrix representation: where H denotes standard quaternions and H a denotes Grassmann quaternions, i.e. quaternions whose coefficients of the basis elements are anticommuting (Grassmann) numbers. The quaternionic superdeterminant, sdet (M ), is defined by first identifying each quaternion or Grassmann quaternion with a 2 × 2 complex or Grassmann complex matrix respectively, which results in a (4|2) × (4|2) complex supermatrix, and then taking the standard superdeterminant of the resulting supermatrix. The quaternionic Lie superalgebra sl(2|1, H) is isomorphic to the four-dimensional N = 2 Euclidean superconformal algebra. This was proved in [30] by explicitly writing the quaternionic supermatrix generators of SL(2|1; H), computing their superalgebra and showing its equivalence to the N = 2 superconformal algebra (the calculation is summarized in appendix C).

JHEP10(2019)006
Based on the isomorphism between the two supergroups, we are able to express all superconformal transformations as quaternionic super-Möbius transformations, i.e. as quaternionic linear fractional transformations. This provides a realization of the isomorphism on transformations of the supercoordinates. To do so, we identify the supercoordinates (x a , θ α i ,θ iα ) with the standard quaternion x and the Grassmann quaternions θ + , θ − . We also define the chiral and antichiral coordinates: which satisfy x = (x + +x − )/2. It is important to note that for a product of anticommuting quaternions α, β ∈ H a we get a minus sign under quaternion conjugation, i.e. αβ = −βᾱ.

JHEP10(2019)006
which are satisfied by the generators of the transformation: As a result, the chiral and antichiral coordinates satisfy the chirality conditions: A general superconformal transformations of the quaternion supercoordinates is a combination of the transformations (5.6)-(5.10) and therefore is given by a quaternionic super-Möbius transformation (quaternionic linear fractional transformations). In accordance with the isomorphism of the superconformal group with SL(2|1; H), quaternionic super-Möbius transformations are parameterized by two supermatrices M + , M − ∈ SL(2|1; H) of the form (5.3). The general quaternionic super-Möbius transformation is then given by: The two supermatrices M + , M − are not independent, and one can be determined by the other. This is done by noting that the reality condition which follows from the definition of the chiral coordinates (5.5), provides a relation between the supermatrices of the two chiralities. The reality condition (5.16) results in equations relating the two sets of parameters: (5.17)

Moduli space in the super-Möbius formalism
A chiral superfield Φ + and an antichiral superfield Φ − in the quaternionic formalism are defined by the chirality conditions: where as a result of (5.14) the superfields depend only on the corresponding chiral coordinates. We are interested in describing the moduli space of chiral superfield solutions to the field equations (2.21) using the super-Möbius transformations. We first construct chiral superfield (5.18) corresponding to the solution (2.25) of the field equations. In quaternionic notation this solution takes the form: where A ± (x ± ), C ± (x ± ) ∈ R are real fields andB ± (x ± ) = −B ± (x ± ) ∈ H are imaginary quaternionic fields, which ensures that the chiral and antichiral superfields are both real, i.e.Φ ± = Φ ± .

JHEP10(2019)006
The real degrees of freedom A + , A − and C + , C − correspond to the complex fields A and C respectively, and the imaginary quaternionic degrees of freedom B + , B − correspond to the complex SU(2) R triplet field B ij . The fields A ± , B ± , C ± are O(4) scalars, while under SU(2) R symmetry (5.9), A ± , C ± are singlets and B ± transform in the adjoint representation B ± → e q B ± e −q . The super-Liouville chiral field transforms in the affine representation of the O(1, 1) R symmetry, and therefore under the transformation (5.9) we have . The classical solution Φ c = bΦ to the field equations (2.25) can be written explicitly in terms of the quaternionic supercoordinates as: where B ± 0 = −B ± 0 ∈ H is a constant imaginary quaternion, which can be set to an arbitrary value using the O(1, 1) R × SU(2) R symmetry. The general solution to the field equations is given by the super-Möbius transformations of the basic superfield solution (5.20). The superconformal transformation introduces super-Weyl transformation, parameterized by the (anti)chiral superfield σ ± = log |c ± x ± + d ± + δ ± θ ± | 2 . Using the super-Möbius transformations (5.15) and the transformation law of the Liouville superfield under super-Weyl transformations (2.7) we find the general solution: (5.21)

Correlation functions of light operators
In the semiclassical limit b → 0, the correlation function of light operators is evaluated using the saddle point approximation (5.2) by integrating over the moduli space of solutions to the field equations (2.21). Looking at the general solution written using the quaternionic formalism (5.21) we see that the moduli space is M = SL(2|1; H). In order to get the leading exponential asymptotic of the correlation function of light operators we need to include two corrections to (5.2). We need to to multiply by the functional superdeterminant sdet δ 2 S(Φc) δΦ 2 , and we also need to multiply by the superdeterminant of the Jacobian for changing the integration variable Φ c to the coordinates of the moduli space. We can include both those effects by multiplying (5.21) by a b-dependent factorÂ(b) whose logarithm is at most O(log b) [29]. We therefore have the following semiclassical expression for the correlation function of light operators: Here we wrote the Haar measure in terms of elements of the supermatrix M + but it takes the same form in terms of M − .
In order for a correlation function to be non-zero, it needs to have a well-defined Rcharge (see e.g. [24] for the N = 1 case). The O(1, 1) R charge of the vertex operator (3.6) is the Euclidean version of the Lorentzian non-compact U(1) R charge (3.7), and is given by the same formula. The sum over all O(1, 1) R -charges of the vertex operators which appear in a given correlation function of the form (4.1) should agree with a series expansion in superspace coordinates which contains only integer powers of the Grassmanic external coordinates. Thus the N -point function of vertex operators (3.6) vanishes unless it obeys the O(1, 1) R selection rule: Our strategy is to start with the classical solution for the chiral superfield given by (5.19)-(5.20) and conformally transform it according to (5.21). Then, one must integrate over the parameters of the N = 2 superconformal transformation to find the semiclassical limit of the correlation function of vertex operators.
We are interested in understanding how the U(1) R selection rule arises from the integration over the SL ( By expanding the vertex operators appearing in a semiclassical calculation of an N -point function in powers of the θ ± l , l = 1, . . . , N , we find that under (5.25) each order of the power series is multiplied by exp (−2 l (σ l −σ l )ϕ + kϕ) for some k ∈ Z. However, (5.25) is simply a change of integration variables and thus cannot change the result of the integral. Therefore, we have shown that the result of the integration over the moduli space will have a defined O(1, 1) R charge and demonstrated the selection rule 2 l (σ l −σ l ) ∈ Z.
In addition to the reproduction of the O(1, 1) R selection rule, by explicitly inserting the classical solution (5.21) in the moduli space integral (5.22), we find some non-trivial selection rules which exist in the semiclassical limit. Specifically, by examining the lowest order component in all supercoordinates of (5.22), i.e. θ 1 =θ 1 = · · · = θ N =θ N = 0, one

JHEP10(2019)006
can see that the 2-point and 3-point functions of the chiral and antichiral vertex operators V α = e 2αA , Vα = e 2αĀ vanish in the semiclassical computation. This vanishing is a result of the number of Grassmann integrations appearing in the measure (5.23). By performing a series of changes to the integration variables for these 2-point and 3-point functions one can show that there is not a sufficient number of Grassmann variables appearing in the integrand for it to survive the integrations.

Discussion and outlook
We constructed and studied classical and quantum aspects of N = 2 Liouville SCFT in four dimensions. There are many directions one can follow. As in the N = 1 case, solving analytically the integrals for the three-point function of vertex operators should reveal a four-dimensional DOZZ-like formula, which in turn can lead to a complete bootstrap solution of the theory.
Solving the integrals over the quaternionic variables, which we largely left as an open problem, will result in the explicit expression of correlation functions of the vertex operators in the semiclassical regime. In fact, the quaternionic formalism presented in subsection 5.1 for general N = 2 superconformal transformations, which is based on the isomorphism of the superconformal group with SL(2|1; H) that was proven in [30], can be used for other calculations in a general framework of N = 2 SCFTs, as it leads to a simple, quaternionic linear fractional form of transformations. In [5], it was shown that by using the super-Möbius group one can easily evaluate correlation functions of vertex operators in the semiclassical limit. In this work, a quaternionic super-Möbius group was shown to yield some light over these correlators, however, the complete calculation had faced some technical difficulties. It will be interesting to develop new mathematical frameworks and other generalizations of super-Möbius groups for evaluating correlation functions of vertex operators in the semiclassical limit in other Liouville field theories in various dimensions.
In [31], the authors have established a correspondence between four-dimensional N = 2 SCFTs and two-dimensional chiral algebras. By classifying the Schur operators in the four dimensional theory, it was argued that in cases where the four-dimensional N = 2 theory is unitary, a component of the SU(2) R current yields the stress-tensor of the corresponding two-dimensional theory. A Schur operator [32] is an operator satisfying: It was shown in [31] that when the four-dimensional theory is unitary, the second condition necessarily follows from the first one. However, in non-unitary N = 2 four-dimensional SCFTs, such as the theory that was studied in this paper, the two conditions are independent. Due to the non-unitarity of the theory it is possible to find operators which are Schur operators but still transform trivially under the SU(2) R symmetry (see table 1 for a classification of the dimensions and charges of the various fields). For example, ∂ ++ A, and F ++ , 1 are two operators which satisfy the Schur conditions (6.1) and (6.2). When reducing JHEP10(2019)006 their two-point functions in flat space according to the prescription given in [31], one finds non-vanishing free field correlators in two dimensions. However, both of these operators transform trivially under the SU(2) R group, therefore do not appear in the SU(2) R current. It will be interesting to study how does the loss of unitarity in the four-dimensional theory affects the correspondence with the two-dimensional chiral algebra.

JHEP10(2019)006
In terms of component fields, it decomposes into: Note that in (2.17) we have used the normalization found in [14] for the kinetic term, which is different than the one given in [11] by a factor of 4.
C Quaternionic formalism for N = 2 superconformal algebra in 4d