More on Ramond–Ramond, SYM, WZ couplings, and their corrections in IIA

We obtain the closed form of the correlation function of one current and four spin operators (with different chiralities) in type IIA superstring theory. The complete form of the S-matrix of one gauge, two fermions (with different chiralities) and one closed string Ramond–Ramond for all order α′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha '$$\end{document} type IIA has been explored. Moreover, we make use of a different gauge fixing to be able to find all the closed forms of ⟨VCVAVψ¯Vψ⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\langle V_{C} V_{A}V_{{\bar{\psi }}}V_{\psi }\rangle $$\end{document} correlators. An infinite number of t,s\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$t,s$$\end{document}-channel fermion poles of this S-matrix in the field theory of IIA is generated. Unlike the closed form of the correlators of the same amplitude of IIB, for various p,n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p,n$$\end{document} cases in type IIA we do have different double poles in t,(t+s+u)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$t,(t+s+u)$$\end{document} and in s,(t+s+u)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$s,(t+s+u)$$\end{document} channels and we produced them. We also find new Wess–Zumino couplings of IIA with their third order α′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha ' $$\end{document} corrections as well as a new form of higher derivative corrections (with different coefficient from its IIB one) to SYM couplings at third order of α′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha ' $$\end{document}. Using them, we are able to produce a (t+s+u)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(t+s+u)$$\end{document} channel scalar pole of the ⟨VCVAVψ¯Vψ⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\langle V_{C} V_{A}V_{{\bar{\psi }}}V_{\psi }\rangle $$\end{document} amplitude for the p+2=n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p+2=n$$\end{document} case. Finally we make some comments on α′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha '$$\end{document} corrections to IIA superstring theory.


Introduction
It is well known that the fundamental objects, the so called D p -branes ( p is the spatial dimension of a brane) [1][2][3][4] could play the most important role in both type IIA and IIB superstring theories as well as in AdS/CFT correspondence. Let us start by mentioning several crucial papers on superstring theories [5][6][7][8] and refer to some pioneering papers that either pointed out the mathematical structures or dealt with various symmetries of the scattering amplitudes/gauge theories [9a e-mail: ehsanhatefi@gmail.com b e-mail: ehatefi@ictp.it c e-mail: ehsan.hatefi@cern.ch 11]. To reveal the dynamics of a brane one needs to consider diverse transitions of open/closed strings, where several processes have been very well realized in [12].
For several reasons, we are not interested in applying dualities, however, it is always nice to have understanding of string dualities and clearly reveal most of the dual descriptions of IIA (IIB) theories that to our knowledge originated from [13]. 1 In this paper we try to find the effective actions of type IIA for all BPS branes 2 of two fermions (with different chiralities), one closed string Ramond-Ramond (RR), and a massless gauge field in the world volume space by making use of superstring scattering from different D-branes. One could view some part of those actions from the point of view of supergravity [15], for which the ADM formalism could be applied to IIB and the realization of both AdS and dS space brane worlds is achieved [15]. 3 Concerning the complete form of the IIA S-matrix, we are able to first of all find the third order of α higher derivative corrections to SYM couplings and secondly distinguish α corrections from type IIB. Our computations show that the coefficients of the corrections should be different in type IIA, while in [18] we have proven that even the general structure of IIA corrections of two fermions and two scalars is different from its IIB one.
In order to discuss the dynamical facet of various branes, we should focus on the proper effective actions. The bosonic effective actions in the presence of different configurations are addressed in Myers' paper [19] with some clarifications concerning all order higher derivative corrections added in [20]. On the other hand, to our knowledge, the supersymmetrized actions of those bosonic actions have not yet been completely derived; however, let us address an original work in this topic [21]. For a single bosonic D p -brane and for its supersymmetrized action it seems appropriate to refer to [22] and [23][24][25][26][27].
In order to avoid explaining all the details of the description of the world volume brane dynamics (Myers terms, the Chern-Simons, Wess-Zumino (WZ), and Born-Infeld actions) we just refer to the basic references [20,[28][29][30]. Three standard approaches to the effective field theory of either the Myers terms or Taylor expansion/pull-back methods including the method for exploring all order α higher derivative corrections are explicitly explained in [31] (providing full details). Nevertheless, we argued in [20] that some other methods are needed to be able to construct new couplings of either BPS [20,32] or non-supersymmetric branes [33][34][35][36][37].
Some great results due to the efforts in [38][39][40] have already appeared. The first goal of this paper is just to employ the direct scattering amplitude process to see whether or not one could extract more information on the general structure of the effective actions in IIA; and the second goal is to describe in an efficient way the dynamical aspects of branes. We refer to [41][42][43][44][45][46][47][48][49] on the scattering of BPS branes or to provide more applications to the BPS/non-BPS branes [50][51][52][53][54]. Eventually having worked out new WZ and Myers terms [30,[35][36][37][55][56][57], we can definitely get some of the corrections of string theory [58].
Given the fact that there is no derivation for the AdS/CFT correspondence, it is always good to have some theoretical methods at hand to get α higher derivative corrections of IIA superstring theory. Indeed there is a very direct correspondence both in AdS/CFT and in string theory between a closed and an open string so it should be an inevitable task to have embedded the corrections in a compact form. Thus if we deal with open-closed amplitudes of type II, we may hope to shed light on various features of corrections, dualities, and some other features. As a specific example, we have obtained some WZ couplings involving their α higher derivative corrections, and in particular it was shown how those corrections might be taken to interpret the N 3 entropy of M5 brane [14] so that it could be realized as a matter of dissolving branes with lower dimensions inside the higher dimensions. It also happens for the D(−1)/D3 system in which by applying those α corrections we could interpret the N 2 entropy relation. α corrections and new WZ couplings are also applied to flux vacua and M-or F-theory frameworks [59][60][61][62]. 4 The organization of the paper is as follows. We first apply conformal field theory techniques (CFT) to discover the compact/closed form of the correlation function of four spin operators with different chiralities and one current V C Vγ ψ Vδ ψ V A in ten dimensions of space-time in type IIA superstring theory. The entire form of the S-matrix of one closed string RR, two fermion fields with different chiralities, and one gauge field of IIA with all order α closed form have also been explored. Let us stress the fact that due to several differences, we cannot obtain this S-matrix from its IIB one.
First of all unlike the type IIB amplitude there is no uchannel scalar/gauge pole left over. Secondly, we will obtain various double poles in the t, (t + s + u) and in s, (t + s + u) channels of the closed form of V C Vψ V ψ V A of IIA, but there is no double pole in IIB and the presence of these double poles cannot be confirmed by a duality transformation at all. We also generate all infinite massless fermion poles of t, schannels of type IIA for diverse p, n (n is the rank of RR field strength) cases, and the extensions of several new Wess-Zumino couplings have been confirmed.
Most importantly their all order α higher derivative corrections (related to contact interactions out of fermion poles) without any ambiguity are found. Thus our computations are different from IIB; one could clearly confirm this stark conclusion by comparing both S-matrix computations of all two different theory. We also show that there are no corrections to two fermion-two gauge couplings. Having obtained the entire form of the S-matrix, we are able to discover several new Wess-Zumino couplings with their third order α correction and note that those couplings cannot be found by having the IIB form of the S-matrix. It is just the first (t + s + u)channel scalar pole for the p + 2 = n case dictating us that the α 3 corrections of two fermions, one scalar, one gauge of IIA have to be accompanied with the same corrections but with different coefficients of their corrections in IIB. We take this fact as an advantage carrying out the direct CFT rather than applying duality transformation. More promising explanations are clarified in [20] and we have shown that one is not able to derive the entire result of by using a T-duality transformation [30].

The complete form of C A¯ S-matrix in IIA
To get the complete and closed form of the amplitude of one closed string RR, two fermions with different chiralities, and one gauge field in the world volume of BPS branes of IIA, one must use the direct CFT techniques. The reason for this stark conclusion will be clarified in the next sections. We try to address some of the higher point stable BPS functions [30,56,57,[64][65][66][67][68][69][70] and also emphasize there being various non-BPS [31,34] computations. It is obvious that non-BPS S-matrices cannot be derived by making use of any dualities (see [35]). The fermion vertex operators of type IIA are of the same as type IIB, however, their chirality in IIA must be changed; for completeness we just write them down: All on-shell conditions, the definitions of RR's field strength and charge conjugation in type IIB and type IIA are given, respectively, in [18] and [32,71]. To work with holomorphic functions, we apply the doubling tricks to deal with the usual correlation functions for bosonic and fermionic world sheet fields. We have To see more standard notations and further details we refer to [31,56].
Since the correlation function of two fermions and one gauge field in type IIA is exactly the same as type IIB, the S-matrices are also the same as they had been computed in [72]. Hence, one could easily show that by taking into account these definitions, 5 the V A Vψ V ψ S-matrix could be generated in the same manner in the field theory of IIA as IIB; however, for mixed higher point functions the work gets complicated, as we comment on in a moment.
) (their standard pictures), and, since the total ghost charge must be (−2), we then have to put the gauge field just in the zero picture (V (0) A (x 1 )). We find the complete form of this S-matrix in IIA and we show that this S-matrix is different from IIB; thus all closed form of the corrections of type IIB cannot be used for IIA and vice versa.
For the first part of the S-matrix we need to work with the correlation function of four spin operators with different 5 We have (2πα T p )Tr (ψγ a D a ψ), chiralities [73,74]. 6 Having said that, we find the first part of the mixed amplitude of IIA as follows: with Above we wrote the S-matrix in such a way that it clearly shows the property of SL(2,R) invariance of the amplitude. We make the change of variables In order to explore the closed and complete form of the amplitude with their α corrections, one must take integrations on the location of RR closed string, and it means that we have to get rid of the position of open strings by having applied a very particular gauge fixing as (x 1 = 0, x 2 = 1, x 3 = ∞). If we do apply that gauge fixing, then we get the following: We need to deal with several important results for the integrals on the upper half plane. For the fourth term above we need to employ the results for the integrals taken in [31] and for the other integrals in the above amplitude we use [75]. Thus one can write down the final result for the first part of the amplitude: 6 We have S α (z 4 with , , Obviously, as we expected, the amplitude is antisymmetric with respect to interchanging the fermions. All the terms including L 2 are related to contact interactions, on the other hand the terms carrying the coefficients of −s L 1 (−t L 1 ) have infinite singularities in the t (s) channels.
In the closed form of the correlators of one RR, two fermions, and one gauge field of type IIB, we did not have any double pole, while here, as is clear from the closed form of the first part of the amplitude in type IIA, we do have various double poles. Basically −s L 3 (−t L 3 ) showed us the fact that those parts of the S-matrix do include double poles in t and (t + s + u) (s and t + s + u) channels, respectively. Of course, if μ gets a world volume (transverse) index then we will appropriately have a gauge for the n = p case (scalar for the n = p + 2 case) poles, where the expansion is just the low energy expansion and all singularities/contact interactions would be generated by having sent all three Mandelstam variables to zero [30]. Now we derive the second part of the S-matrix in type IIA. In order to proceed one has to know the closed form of the correlation function of four spin operators (with different chiralities in ten dimensions) and one current. Indeed the current which consists of two fermion fields in one position comes from the second part of the vertex of the massless gauge field in zero picture.
The method for obtaining this correlation function has been completely explained in [32] and it has been mentioned how to build various combinations of the gamma matrices where we have also used Appendices A.1, A.3, B.3 of [74]. Basically one has to first take the OPE of the current with one spin operator (the result is just a spin operator) and then replace it inside the main correlation function (four spin operators) and carry out the same approaches for the other cases. Eventually we re-combine different combinations of various symmetric and antisymmetric gamma matrices. Given the comprehensive explanations in [18,71], one can find the entire and closed form of the correlation function of four spin operators with different chiralities with one current in ten dimensions of space-time in type IIA as follows: Hence, one can write down the second part of the S-matrix: with Now by replacing the closed form of the : correlator, gauge fixing it as we did for the first part of the amplitude, and taking the integrations on the position of the RR, we get the final result of the amplitude in type IIA: with the following definitions: such that L 5 = −uL 4 and it does not involve any singularity and also L 6 = 4(−t − s − u)L 3 . From the above relations we understand that L 4 has infinite singularities in the u-channel and −s L 6 (−t L 6 ) has infinite t (s)-channel fermion poles and finally −s L 3 (−t L 3 ) has double poles in the t, (t + s + u) and s, (t + s + u) channels, respectively.
Therefore unlike the IIB amplitude, here we do have various double poles in different channels, which cannot be explained by any duality transformations. Notice that if we apply momentum conservation, then we obtain t + s + u = −p a p a ; thus this clearly shows that the expansion is a low energy expansion and all s, t, u and p a p a should be sent to zero, in order to be able to find all α corrections.
More importantly we obtained the complete form of the S-matrix in type IIA to be able to look for all the corrections to super Yang-Mills couplings and in particular remove the ambiguities related to the corrections by fixing the coefficients of new couplings. Once more from the above we can see that the second part of the amplitude is also antisymmetric with respect to fermions.
Let us first deal with singularities and then get the desired α corrections of SYM and WZ couplings of type IIA superstring theory.

Infinite singularities for V C V A Vψ V ψ of IIA
In [32] for the closed form of V C V φ Vψ V ψ in type IIB we have shown that there are infinite u-channel singularities for both massless gauge field and massless scalar field and in particular for the same S-matrix with different chiralities, we have seen that there are only the infinite massless scalar fields of IIA. On the other hand, after having done further computations and having provided physical kinematic reasons we confirmed that V C V A Vψ V ψ of type IIB suggested to us that it just involves infinite massless scalar poles. Now for the same S-matrix (of course with different chiralities) of IIA, here we have used various identities and observed that neither there are gauge nor scalar poles. Therefore this clearly shows that the sum of the second term of A 23 , the fourth term of A 23 , and all the terms appearing in A 24 will be canceled. Let us just provide the physical reasons in favor of showing that there are no u-channel gauge/scalar poles left over.
As is obvious from A 23 , the trace is just non-zero for the p = n case and Ramond-Ramond (C p−1 ) is allowed, or C p−1 ∧ F makes sense for this part of the S-matrix. On the other hand, in order to have u-channel gauge poles in the field theory of IIA, we need to have Ramond-Ramond (C p−3 ) and employ C p−3 ∧ F ∧ F. Thus obviously there are no u-channel gauge poles. Hence the following rule: and in particular the following corrections: should not be taken into account for mixed RR, fermion/gauge of type IIA. Let us further discuss not having a u-channel scalar pole either. From A 23 , the trace is just non-zero for the p = n case and Ramond-Ramond (C p−1 ) is allowed and, in particular, to have u-channel scalar poles in the field theory of IIA, we need to have Ramond-Ramond (C p−1 ) and consider ∂ i C p−1 ∧ Fφ i 7 , while this is satisfactory, we should note that to have scalar poles in the closed form of the amplitude, we need to have the kinematic factor ofūγ i u, 8 which does not appear in our S-matrix. Thus unlike the closed form of V C V A Vψ V ψ of IIB here we do not have any scalar u-channel poles. The above arguments hold even for A 24 , therefore we realize there are no gauge/scalar poles for the closed form of V C V A Vψ V ψ of IIA. Hence the following rule: more significantly the following corrections of type IIB cannot hold for type IIA: Let us now emphasize the infinite fermion poles.
Having settled on the fact that the total super ghost charge must be satisfied, we reveal that one can write down all fermion t-channel poles as follows: where all s-channel fermion poles should be read off as 9 Obviously the amplitude is antisymmetric with respect to interchanging two fermions (or t ↔ s). Indeed the second term and the fourth term of A 21 (A 22 ) are due to an infinite number of t (s) channel poles of mixed closed-open string of the type IIA amplitude. Meanwhile the first and the third term of A 21 (A 22 ) are related to different cases of p, n and are due to an infinite number of contact interactions between one RR, two fermions with different chiralities, and one gauge field of type IIA.
Since the amplitude is antisymmetric, we just need to generate t-channel poles and finally by interchanging the fermions we could produce all infinite s-channel poles as well. If we include the expansion for L 6 and extract the 8 We have 9 Here the normalization constant for this string amplitude should be μp π −1/2 4 . related trace, then one can explore all infinite t-channel poles for the p = n case: and to be able to find them, one needs to apply the following rule: In [18] we have shown that neither the fermion kinetic term nor the fermion propagator receive any corrections: we have extracted the connection part in the kinetic term of fermions, and now we need to supersymmetrize the Wess-Zumino action to get the fermions involved as follows: 10 Note that in the above action we can just confirm the presence of a partial derivative and in order to see whether or not the connection part is kept fixed, one would need to go beyond five point functions, which definitely cannot be answered by the computations of this paper. However, in order to keep the general covariance we stick to that. Now we would extract the vertex of one on-shell fermion/a RR ( p − 1) form field and one off-shell fermion V α (C p−1 , 3 ,¯ ). We have To discover all infinite fermion poles, one needs to actually have all order corrections of the above coupling, for which, surprisingly, these corrections have been found in type IIB [71] and we shall do work in IIA. We have 10 The fermion field equations should be applied (k / 2aū = k / 3a u = 0).
Concerning (20), one finds the entire and all order α corrections of V α (C p−1 , 3 ,¯ ) as follows: If we replace (21) and (17) in (16) and use fermion's equations of motion, most notably we apply momentum conservation just in the world volume direction (k 1 +k 2 +k 3 + p) a = 0 (in the transverse direction it is arbitrary) then we are precisely able to re-construct all orders in the α t (s)-channel fermion poles. Hence, we were able to clarify the fact that for the RR p − 1 form field one has proposed the same α corrections to two fermion fields of IIA. We just highlight the point that these corrections are the key ingredient tools for all higher point functions; therefore, by applying them, we could either overcome the full world-sheet integrals of the higher point functions or find all their singularities and therefore resolve the singularities of the string theory.
Let us end this section by producing all order α higher derivative corrections of a RR p − 1 form field, two fermions of type IIA, and a gauge field that would correspond to contact interactions extracted out of expansions where we just write down the final result. We have ∞ p,n,m=0 e p,n,m (α ) 2n+m−2 α 2 ×γ c D a1 · · · D am (D a1 · · · D an D an+1 · · · D a2n ) the connection parts could be confirmed if we would have the result of higher point functions. Indeed these contact interactions are produced by comparison with string theory S-matrix of type IIA.

New Wess-Zumino couplings of IIA and their α 3 corrections
The aim of this section is to actually overcome double poles, new Wess-Zumino couplings of IIA and their α 3 corrections. Unlike the closed form of the correlation functions for various p, n cases of one RR, two fermions, and a gauge field of type IIB, here in IIA we discover some double poles and we are able to advance our knowledge about the closed form of SYM/WZ couplings. On the other hand we are going to emphasize, going into details, that the following fact holds. Although the general structure at third order of α for the corrections to two on-shell fermions and one off-shell scalar and one on-shell gauge field (SYM) of IIA is the same, however, the coefficient of those corrections are completely dif-ferent from type IIA, which means that one has to first derive the S-matrix of type IIA and then by comparison those elements on the field theory side, the coefficient of the field theory couplings should have been fixed without any ambiguity. We explain this further.
In order to get the above conclusion, let us first write down the S-matrix of type IIA. Hence, we need to consider the first and the third term of A 23 and in particular consider the world volume component of λ = a in both terms of A 25 ; finally we need to add them up and extract the related traces, such that after having considered all the simplifications, one could explore the S-matrix as below: Note that we have the same S-matrix for −s L 3 , but the terms inside that S-matrix can be precisely generated by interchanging the fermions. Most importantly, since the amplitude is antisymmetric under the interchanging of the fermions, we conclude that this part has to vanish for IIB with the same chirality, which is consistent with our expectation of IIA.
The expansion of t L 3 has been given before, but for completeness we present it here: As we can see from the expansion we have a double pole in the s, (s +t +u)− channels (there is no double pole in type IIB). If we make use of type IIA effective field theory and RR's kinematic relations, then we can discover the following in IIA: where the vertex of one RR and an Abelian gauge field should have been read from the Chern-Simons term 11 in which it has been fixed and there is no correction to that coupling so that V a (C p−1 , A) = (2πα )μ p 1 p! (ε) a 0 ···a p H a 0 ···a p ; meanwhile the gauge propagator must be derived from the kinetic term of gauge field which has no correction either. We have 11 We have Now one may argue that the vertex of an on-shell/an offshell fermion and one off-shell gauge field has no contribution to this S-matrix. We need to extract the covariant derivative of fermion fields, however, notice that these fermions originated from two different D-branes, so the following vertex makes sense in the presence of different overlapping branes (note that similar couplings have been discovered for non-supersymmetric cases in brane-antibrane systems): It is also discussed that the kinetic term of fermion has no correction. Concerning momentum conservation, one explores the fermion propagator as well as V (ψ 2 , ψ 1 , A (1) ). We have Now if we substitute (26), (27), (28), and the above Chern-Simons term into the above rule (24), we obtain Hence we have generated the first double pole of the type IIA, where fermion field equations of motion have been applied to the above field theory side as well.
The natural question one may ask is how to deal with the second term of the expansion, which is a simple s-channel pole. Replacing it in the S-matrix one might explore the second term of the S-matrix as Let us begin with generating new WZ couplings as follows. In order to actually produce the above S-matrix, one has to take into account the following rule: with a new WZ coupling: whereas the fermion propagator and the structure of V (¯ 2 , 1 , A 1 ) are kept fixed. 12 Therefore, if we extract the 12 We should drop the connection part inside the above WZ coupling (32).
needed vertex from (32) as with β 1 = (2ln2/(π α )) 1/2 and replace the given vertices appearing in (31), we will precisely obtain (30) and this means that not only can we confirm the new form of the WZ coupling but also we fix its normalization constant. One might wonder about the third simple pole, because it is again a simple s-channel pole and we have already produced it.
However, the answer is hidden in the higher derivative correction of the new WZ coupling that we just discovered right now. Indeed the above rule, , with the same fermion propagator, and likewise V (¯ 2 , 1 , A 1 ), should be applied for the third term of the expansion, while the vertex V (C p−1 ,¯ 1 , 2 ) gets modified. Let us propose the following higher derivative correction to a ( p −1)-RR form field and one off-shell/on-shell fermion field: and take momentum conservation for all external states in the world volume direction s + t + u = −p a p a so that Having replaced (35) and the same vertex/propagator inside (31), we get we have also used the fermion field k 3a γ a u = 0, thus the third pole is also precisely produced. In order to show that the coefficients of the higher derivative corrections to SYM couplings of two fermion fields, one off-shell scalar, and one on-shell gauge of type IIA are different from the type IIB ones, we just consider the last two terms of the first part of the amplitude: If we consider the sum of the fourth terms of the expansions of s L 3 and −t L 3 in the above S-matrix, 13 extract the trace for the transverse component of (μ = i) and for the p + 2 = n case with a proper normalization constant, we derive the S-matrix as follows: This S-matrix with three momenta (without counting RR's momentum) has to be produced by the following rule of the effective field theory: For the RR's kinetic term one has proposed the constraint that just a massless scalar can be propagated to generate the (t + s + u)-pole. Hence one might wonder whether or not the couplings that we found for two fermions and one scalar/gauge of type IIB 14 even at third order in α , n = m = 0 could be applied to IIA.
Let us first consider the third order corrections of two onshell fermions, one off-shell scalar and one on-shell gauge of type IIB. We have The scalar propagator should be derived from its kinetic term and the vertex of one RR ( p + 1)-form field and an offshell scalar is given in [32] but for completeness we mention both once more. We have 13 We have 14 We have L n,m = π 3 α n+m+3 T p a n,m Tr Taking (42) and considering the orderings of Tr (λ 2 λ 3 λ β λ 1 ) and Tr (λ 2 λ 3 λ 1 λ β ) for the first and second couplings of (42), respectively, we get where all the connection parts or commutator terms should have been ignored in the those corrections and momentum conservation has to be used. If we would replace (44) and (43) in (41) we would obtain the following field theory amplitude of type IIA: Its comparison with the string theory S-matrix of (40) shows us that obviously the coefficients of the corrections of type IIB must be modified (to make sense of IIA computations) in such a way that we can generate all the string theory S-matrix elements of type IIA very precisely.
The proposal for the SYM corrections of type IIA is as follows: T p (π α ) 3 3 The scalar propagator and the vertex of one RR ( p + 1)-form field and an off-shell scalar remain invariant; now taking into account (46) and considering the orderings of Tr (λ 2 λ 3 λ β λ 1 ) and Tr (λ 2 λ 3 λ 1 λ β ) for the first and second couplings of (46) accordingly, we obtain where all the connection parts or commutator terms are removed in the corrections and momentum conservation was used.
If we would replace (47) and (43) in (41) we would find the following field theory amplitude of type IIA: which is precisely the string theory S-matrix of (40), and this dictates that we have correctly derived the third corrections of SYM to type IIA. It is shown that all order α corrections of type IIB for fermionic amplitudes and bosonic amplitudes could be derived by applying a universal prescription to their leading order couplings [57] (see [30,56]), however, it is not obvious whether that kind of rule holds for type IIA.
Let us end this section by discussing some other couplings that one could expect to see in type IIA. Namely for the p = n case, one might hope to obtain the other SYM couplings of two on-shell fermions and one off-shell/an on-shell gauge, then fix their coefficients in both type IIA and IIB. First of all one has to write down all possible couplings with three momenta as follows: If we take two different orderings of Tr (λ 2 λ 3 λ 1 λ β ) and Tr (λ 2 λ 3 λ β λ 1 ) with Abelian gauge field (λ β ), then we conclude that the contribution of the second and third term to the effective field theory is the same so we just need to keep track of one of them. On the other hand the first coupling produces the following terms: where, having taken the on-shell condition for the fermion field, we realize that the first coupling of (49) does not play any role in the effective field theory of this S-matrix. What about the second coupling of (49)? If we consider that coupling, apply momentum conservation, take all possible orderings, and re-consider the on-shell condition for fermions, we obtain the following terms: for which these terms do not appear in the S-matrix elements of one RR, two fermion fields (with different chiralities), and one gauge field of IIA. Therefore we can definitely conclude that there exists even no first order of α correction to those SYM couplings of type IIA.

Concluding remarks
In this paper, first we obtained the compact/closed form of the correlation function of four spin operators with different chiralities and one current V C Vγ ψ Vδ ψ V A in ten dimensions of space-time in type IIA superstring theory. Conformal field theory techniques have been used to explore the entire form of the S-matrix of one closed string RR, two fermion fields with different chiralities, and one gauge field of IIA. Concerning the complete form of the IIA S-matrix, we are able to first of all find the third order of α higher derivative corrections to SYM couplings and secondly distinguish α corrections from type IIB. Our computations show that the coefficients of two fermions (with different chiralities), one scalar, and one gauge of IIA corrections should be completely different from type IIB, while in [18] we have proven not only the coefficients of two fermions and two scalars, but also the general structure of those corrections of IIA is entirely different from the IIB corrections at all order of α . The other result that we obtained is that, although in the S-matrix we have the u-channel pole, if we use various identities those scalar/gauge singularities will disappear; so, unlike the closed form of V C Vψ V ψ V A of type IIB, we have no uchannel singularity in IIA. Note also that unlike the computations of IIB for the same S-matrix, in IIA we do have several double poles in the t, (t + s + u) and in the s, (t + s + u) channels where the presence of these double poles cannot be confirmed by a duality transformation at all. We have produced all infinite massless fermion poles of t, s-channels of type IIA for diverse p, n cases. Most importantly, their all order α higher derivative corrections and their extensions have been discovered and constructed without any ambiguities.
Having found the entire form of the S-matrix, we are able to discover several new Wess-Zumino couplings with their third order α corrections. Note that those new WZ couplings cannot be found by having the S-matrix of IIB. It was just the first (t + s + u)-channel scalar pole that dictated that the α 3 corrections of IIA have to be accompanied with the same corrections but with different coefficients of IIB. We take this fact as a benefit of having done direct conformal field theory techniques rather than applying duality transformation. By comparison of the field theory amplitude with string theory elements we also explored the idea that there is not even a single α correction to gauges/two fermions of type IIA.
Finally, we used CFT for propagators and, as is well known, the RR has two sectors and it is not obvious how to get involved its second sectorα n but one might apply the ideas appearing in [76] for further developments so that clearly the analytic continuation must be made. In the other words, background fields should be seen as functions of SYM. We could observe background fields as some composite states of the open strings where a certain definition of a Taylor expanded function is necessarily made [19].