On SL(2,R) symmetry in nonlinear electrodynamics theories Academic research paper on "Physical sciences"

ELSEVIER

CrossMark

Available online at www.sciencedirect.com

ScienceDirect

Nuclear Physics B 913 (2016) 987-1000

www.elsevier.com/locate/nuclphysb

On SL(2, R) symmetry in nonlinear electrodynamics

theories

Komeil Babaei Velnia'*, H. Babaei-Aghbolaghb

a Department of Physics, Facualty of Science, University of Guilan, Rasht, Iran b Department of Physics, Ferdowsi University of Mashhad, Mashhad, Iran

Received 27 August 2016; received in revised form 25 October 2016; accepted 29 October 2016

Available online 5 November 2016

Editor: Stephan Stieberger

Abstract

Recently, it has been observed that the Noether-Gaillard-Zumino (NGZ) identity holds order by order in a' expansion in nonlinear electrodynamics theories as Born-Infeld (BI) and Bossard-Nicolai (BN). The nonlinear electrodynamics theory that couples to an axion field is invariant under the SL(2, R) duality in all orders of a' expansion in the Einstein frame. In this paper we show that there are the SL(2, R) invariant forms of the energy momentum tensors of axion-nonlinear electrodynamics theories in the Einstein frame. These SL(2, R) invariant structures appear in the energy momentum tensors of BI and BN theories at all orders of a' expansion. The SL(2, R) symmetry appears in the BI and BN Lagrangians as a multiplication of Maxwell Lagrangian and a series of SL(2, R) invariant structures.

© 2016 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/). Funded by SCOAP3.

1. Introduction

Duality transformations in nonlinear electrodynamics has been studied in [1]. Classical elec-tromagnetism is the most familiar duality-invariant theory. The Maxwell's Hamiltonian and the equations of motion are invariant under rotations. Note that the Lagrangian, however, is not

* Corresponding author.

E-mail addresses: komeilvelni@gmail.com (K. Babaei Velni), hossein.babaei66@gmail.com (H. Babaei-Aghbolagh).

http://dx.doi.org/10.1016Zj.nuclphysb.2016.10.020

0550-3213/© 2016 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/). Funded by SCOAP3.

invariant. This brings that nonlinear deformations of Lagrangian will require modifications which are also non-invariant.

Commonly, duality transformations may be found out in the path integral as a Legendre transform. Given some Lagrangian L(F) depending only on the field strength of a vector field, one can construct [2]

L(F, G) = L(F) - 1 cabcdFabdcAd (1)

in which F is treated as a fundamental field. The classical equations of motion for F require that Gab = daAb - dbAa is related to F by

d L(F)

Gab = (2)

through Gab = -2(abcdGcd and Gab = 2eabcdGcd.

Consistency of the duality constraint can be expressed as a requirement in which the Lagrangian must transform under duality in a particular way, defined by the Noether-Gaillard-Zumino (NGZ) identity [3].

We consider Linv that is invariant under the following transformation:

>{G)=(A B)(G) <3)

where AT = -D, BT = B and CT = C are the infinitesimal parameters of the transformations [2]. By applying the duality symmetry, the NGZ identity could be written as following [4]:

L = Linv - 4GabFab. (4)

When the theory only has linear duality (e.g. only F2 terms in the action) SLinv/SF vanishes. So it could be found that any higher order dependence (F4, F6, ...) must be part of Linv. The NGZ identity, along with (2) can be solved to find G(F) and various Lagrangians which provide a duality symmetry between equations of motion and Bianchi identities. We will discuss two cases of nonlinear deformations of the Maxwell theory that depend only on F's without derivatives.

The NGZ identity has a significant consequence for the duality rotations properties of the energy-momentum tensor. The energy-momentum tensor, which can be obtained as the vari-ational derivative of the Lagrangian with respect to the gravitational field, is invariant under duality transformation [5]. It has been found as [6]

Tab = gabL + GacFbc (5)

Considering this relation and (4), it could be found that Linv = 1 /4Taa.

The Born-Infeld Lagrangian density can be written intelligently in term of the square root of a determinant [7]:

Lbi = - det (nab + Fab) - 1 (6)

where the fundamental (scale)2 (= T-1 = 2na' in the string theory context) has been set equal to 1, has many considerable aspects, including electro-magnetic duality symmetry [8]. Since in four dimensions:

- det (nab + Fab) = 1 FabFab - -1 (FabFab)2, Fab = 1 eabcdFcd, (7)

2 16 2

Lbi interpolates between the Maxwell Lagrangian 4FabFab for small F and the total derivative (topological density) !4t(FabFab) for large F. One can find an appropriate form in Euclidean signature as:

Lei =V(1 + F2)2 + 2F4 - 1 = F2 + F4[1 + O(F2)], (8)

where F2 = 1 FabFab and F4 = ^ [FabFbcFcdFda - 1 (FabFab)2].

That Lei = F2 + F4 + O(F6) is true in all dimensions, however it is only in D = 4 that all higher order terms are proportional to F4.

Adding axion and dilaton fields to the Born-Infeld electrodynamics, the electric-magnetic duality invariance may be extended to SL(2, R) S-duality, relevant to string theory, which insinuates a strong-weak coupling duality of such theories [9]. This action is not invariant under the S-duality, however, its equations of motion and energy-momentum tensor are invariant under the S-duality as it was shown for the electric-magnetic duality [10]. The SL(2, R) S-duality transformation holds order by order in a' and is nonperturbative in the string loop expansion [11].

We will investigate the S-dual structure of energy momentum tensor of nonlinear electrodynamics theory that couples to dilaton and axion fields in the Einstein frame. In fact, we are going to study the energy momentum tensor order by order in a'. We want to show that the energy momentum tensor constructed of SL(2, R) structures at any order in a'. We will find the form of energy momentum tensor that is manifestly S-dual. The action of the theory that appears as a part of energy momentum tensor, can be written in term of a production of Maxwell action and a set of S-dual structures.

As was noted in [3] that the invariance of the energy momentum tensor and thus of the corresponding Lagransian should imply the invariance of the S-matrix. So one expects to find the S-matrix elements in term of the SL(2, R) invariant structures that appear in the energy momentum tensors. On the other hand, it has been found that the tree-level S-matrix elements of some scattering amplitudes including the loops and the nonperturbative effects become symmetric under the SL(2, Z) transformation. Using the Ward identity corresponding to the global S-duality transformations, this point can be extended to all S-matrix as well [15]. It could be expected, considering the SL(2, R) invariant structures of the energy momentum tensors and the Ward identity corresponding to the global S-duality transformations, have been used as guiding principles to find the S-matrix elements [17]. The action of linearized SL(2, R) invariance on S-matrix of scalars and vectors for D3-brane in tree-level open/closed string theory was studied in [10,15].

The theory that comes from nontrivial nonlinear deformation of classical electrodynamics, which is consistent with NGZ identity, is Bossard-Nicolai theory. This theory is produced in which the NGZ condition work order by order in a'. This theory is equal to Born-Infeld theory up to O(F6). Indeed, the Bossard-Nicolai theory differs from BI theory starting at O(F8) [2]. It will be expected that the action and the energy momentum tensor of BN theory appear in term of SL(2, R) structure. In fact, we extend our results from the BI theory to the BN theory.

The outline of the paper is as follows: We begin in section 2 by reviewing the SL(2, R) transformations of bosonic fields. We investigate the behavior of BI energy momentum tensor under the SL(2, R) transformations. In section 3, we extend our calculation in previous section to all orders of a'. We use these considerations to find the BN theory in term of relevant SL(2, R) invariant structure.

2. SL(2, R) invariant structure

In this section we are going to construct relevant structures which are manifestly invariant under SL(2, R) transformation. The nonlinear transformation of the gauge field and the axion-dilaton, t = C0 + ie-*0 are given by [6]

Fab — sFab + rGab

pT + q

Gab — pGab - qFab T — ----(9)

rT + s

where the antisymmetric tensor Gab is the one appears in (2). It could be written the transformation of gauge field as

F'b -( G:) - ^(t) ; A = (p q) - SL(2-R) (10)

The S-duality transformation on the background fields *0 and C is

M — AMAT ; M = e*°^ C2 (11)

Using the above transformations, one can find that the structure FTMF is a SL(2, R) invariant structure.

It could be useful to consider the Lagrangian at the presence of axion and dilaton couplings in the following form which the contribution of axion coupling is separated.

L = L + C0Z (12)

where the Lagrangian was constructed of the following two possible Lorentz invariants (L(t, z)):

t = 1 FabFab , z = 1 FabFab (13)

The antisymmetric tensor Gab then separates as Gab = G'ab — C0Fab where G'ab could be an arbitrary nonlinear function of F which is G'ab = —2d-La.

By this consideration one gets the SL(2, R) invariant structure in the following form:

(FT)acM0Fbc = e-*0 Fac Fbc + e*0 G'ac G'bc (14)

It is easy to check that the above structure is invariant under the linear transformations G' —> F,

F —> — G' and e-*0 —> e*0.

3. Nonlinear electrodynamics theories

In this section we review the nonlinear electrodynamics theories that couple to axion field and investigate their behavior under the SL(2, R) symmetry. The actions of these nonlinear theories are the generalized form of Maxwell action. In fact, it was demonstrated that the Maxwell action is the leading-order term in the expansion in F of nonlinear electrodynamics theories. These actions satisfy the NGZ identity, however they are not invariant under the S-duality transformation. In following, we consider the S-duality transformations in the axion-Maxwell theory and show the energy momentum tensor of this theory is invariant under the SL(2, R) symmetry. We extend this consideration to nonlinear theories: Axion-Born-Infeld and Axion-Bossard-Nicolai.

3.1. Axion-Maxwell theory

The simplest example of duality invariant theories is Maxwell's electromagnetism. The Maxwell action can be generalized to the case of the presence of background axion field1 [6]

L = t + Coz

where t and z are the ones appear in (13). According to (5) and (2), the energy momentum tensor of the above action could be found in the following form:

Tab = e~

-1 FcdF

' + FaCFbc

On the other hand, replacing in the S-duality transformation (10) and (11) the relevant Gab from (2), one finds the following SL(2, R) invariant structure:

]aCM0Fbc = e"*> [FaCFbc + F/Fb^ = ^ [-^FcdFCdgab + 2F/Fbc] (17)

where we use of the identity Fab = -Fab and

^abcd ^efgh _

bf nbg

df ndg

nch dh

Comparing the energy momentum tensor (16) and the structure (17), the energy momentum tensor in the form that is manifestly SL(2, R) invariant could be presented as:

Tab = ^ T)acM0Fbc

It is obvious that Tr(FTM0F) will thus be zero. (In the next sections, we see that the trace of SL(2, R) invariant structure is nonzero for nonlinear electrodynamics theories.) We will find the energy momentum tensors corresponding to the BI and BN theories in the forms which are manifestly SL(2, R) invariant.

3.2. Axion-Born-Infeld theory

The Born-Infeld theory, perhaps is the simplest nonlinear deformation of Maxwell's theory. The Axion-Born-Infeld Lagrangian, the general nonlinear electromagnetic theory couple to the axion field that the equations of motion are SL(2, R) invariant, in the Einstein frame is:

L = Lbi + Coz = g

1 -V 1 + 2g2e-

where g = 2na'. Regardless the axion term, it is clear that classical electromagnetism corresponds to g2 ^ 0. In the following calculation, we set a' = 1/2n. Using (2), we find the following expression for G:

1 We have also introduced a background dilaton field 00 with playing the role of an effective gauge coupling

constant.

е-ф0Fab - е-2фоzFab „ -

Gab = Л ~ А, пл, Ц - C0Fab

VI + 2е-фоt - е-2фоz2

One can expand the Born-Infeld Lagrangian as:

Lbi = -te

+ 2 e"

(t2 + z2) - 2te-3*o (t2 + z2)

+ :: e

-4фо

(t2 + z2) (5t2 + z2) + ...

Using (18), we can write the field variable z2 in term of the following trace terms:

2 1 1 2 z2 = - Tr(F ■ F ■ F ■ F)-- Tr(F ■ F)2 4 8

To simplify, we choose the SL(2, R) matrix A in (10) which has been made of the components p = 0, q = 1, r = -1 and s = 0. This consideration brings the following linear S-duality transformations

Fab ^ Fab

According to (18) and the following trace S-duality transformations

e-^>Tr(F ■ F) ^ -e-<A)Tr(F ■ F); e-2<A>Tr(F ■ F ■ F ■ F) ^ e-2<A)Tr(F ■ F ■ F ■ F)

it will be revealed that e-2фоz2 is invariant under the linear S-duality transformation. Replacing the field variable z2 from (23) in the Born-Infeld Lagrangian, one finds the expansion of CBj at the all levels of F2n in term of trace structures Tr(F ■ F) and Tr(F ■ F ■ F ■ F).

Lbj = e~ + e" + e" + e

4Tr(F ■ F)

-Tr(F ■ F ■ F ■ F)-— Tr(F ■ F)2

--Tr(F ■ F ■ F ■ F)Tr(F ■ F) +-Tr(F ■ F)3

32 ( ) ( 128 ( )

' 1 2 1 2

-Tr(F ■ F ■ F ■ F)2 +-Tr(F ■ F)2Tr(F ■ F ■ F ■ F)

128 256

Tr(F ■ F)

+ O(F1о) + ...

It is easy to show that the above Lagrangian CBi in the all levels of F2n is self-dual and anti-self-

dual under the linear S-duality transformation when n is even and odd respectively. By expanding

the denominator in (21), we can find the Gab in the following expression

Gab = G'ab - CoFab

= Fab - СоFab + e-1

Fa ■ F ■ Fb - 1 Tr(F ■ F)Fab

8 Tr(F ■ F ■ F ■ F)Fab + 4 Tr(F ■ F)Fa ■ F ■ Fb - — Tr(F ■ F)2Fab

-4M 8Tr(F ■ F ■ F ■ F)Fa ■ F ■ Fb + 1 Tr(F ■ F)Tr(F ■ F ■ F ■ F)Fab

+ 32Tr(F ■ F) Fa ■ F ■ Fb - — Tr(F ■ F) Fab ) + O(F9) + .

Replacing the above expansions of LBI and Gab in (5), the energy momentum tensor becomes

Tab = e-

4gabTr(F ■ F)- Fa ■ Fb

gab [ 8 Tr(F ■ F ■ F ■ F)- — Tr(F ■ F)2 ) - Fa ■ F ■ F ■ Fb

+ 4Tr(F ■ F)Fa ■ Fb

— Tr(F ■ F ■ F ■ F)Tr(F ■ F)--Tr(F ■ F)

32 128

1 1 3 2

Tr(F ■ F ■ F ■ F)Fa ■ Fb - -Tr(F ■ F)Fa ■ F ■ F ■ Fb + — Tr(F ■ F)2Fa ■ Fb 8 4 32

gab\—Tr(F ■ F ■ F ■ F)2 + ^Tr(F ■ F)2Tr(F ■ F ■ F ■ F)

Tr(F ■ F)

2048 1

— Tr(F ■ F ■ F ■ F)Fa ■ F ■ F ■ Fb--Tr(F ■ F)Tr(F ■ F ■ F ■ F)Fa ■ Fb

1 2 3 3

- 32Tr(F ■ F) Fa ■ F ■ F ■ Fb + — Tr(F ■ F)3Fa ■ Fb

+ O(F10) + .

In fact, the above BI energy momentum tensor is the generalization of Maxwell energy momentum tensor (16). It is not clear how the above tensor treat under the S-dual transformation. To answer this question, let us try to present the above BI energy momentum tensor in the form that is SL(2, R) invariant. So we calculate appropriate SL(2, R) invariant structure and should be able to write the energy momentum tensor in term of this structure. To this end, we make the nonlinear SL(2, R) invariant structure by replacing in (10) the antisymmetric tensor Gab from (27). This structure becomes:

(F T)ac M0Fcb = e-

- 2gabTr(F ■ F) + 2Fa ■ Fb

- 2Tr(F ■ F)Fa ■ Fb + 2Fa ■ F ■ F ■ Fb

Fa ■ F ■ F ■ F ■ F ■ Fb + 4Tr(F ■ F ■ F ■ F)Fa ■ Fb

-- Tr(F ■ F)2 Fa ■ Fb 8

Tr(F ■ F)Fa ■ F ■ F ■ F ■ F ■ Fb

1 2 - _Tr(F • F)2Fa • F • F • Fb

+ 2Tr(F • F • F • F)Fa • F • F • Fb

+ O(F10) + ... (29)

To build the energy momentum tensor (28) in term of the above SL(2, R) invariant structure we need to apply valuable identities at the level of n > 3. These identities for n = 3 are as following:

3 1 3 Tr(F • F • F • F • F • F)-- Tr(F • F • F • F)Tr(F • F) + - Tr(F • F)3 = 0

Fa • F • F • F • F • Fb - 2 Tr(F • F)Fa F • F • Fb

1 1 2 + 4Fa • Fb[2Tr(F • F)2 - Tr(F • F • F • F)] = 0 (30)

Using these identities one can write Tab in the form that is manifestly SL(2, R) invariant. 1 ~

Tab — Sab

gab + 2 (F T)aCM0Fcb

y am (-1)m 2-4m Tr(FTM0F)m (31)

3 5 35 63

ao = 1 ; a\ = 1 ; a2 = — ; a.3 = — ; a.4 = — ; 05 = — ; ...

2 2 8 8

One can find the above energy momentum tensor which is expanded in term of the level of coupling factor e-n<^0, where n = 2m + 1. We calculate the expansion factors up to m = 5 or up to level of e-11^0 (O(F22)). It is clear that the Born-Infeld energy momentum tensor leads to the Maxwell energy momentum tensor (19) for m = 0.

One may find the manifestly SL(2, R) invariant form of the energy momentum tensor in terms of the different SL(2, R) invariant structures as Tr(FTM0FFTM0F), Tr(FTM0FFTM0FFTM0F) and so on. It could be shown that these structures can be written in terms of powers of Tr(FTM0F) (see appendix). From these considerations, the manifestly SL(2, R) invariant form of the energy momentum tensors in this paper constructed out of the structure Tr(FTM0F) would be unique.

At the end of this section, we are going to find the representation of Born-Infeld Lagrangian that deduces from the relevant SL(2, R) invariant energy momentum tensor (31). According to (5) (and the energy-momentum tensor, which can be obtained as the variational derivative of the Lagrangian with respect to the gravitational field), one can find that only the first term in (29) contributes to the SL(2, R) invariant structure which appears in (31). Considering this, one can find the following representation for Born-Infeld Lagrangian:

Lei = 1 - (1 + e-*0i) £ am (-1)m 2-4m Tr(FTM0F)m (32)

In this form of Lei , it is obvious that the Lagrangian is constructed from two separable parts: invariant and non-invariant SL(2, R) structures. As expected, the Lei leads to Maxwell La-grangian for m = 0.

3.3. Graviton-Axion-Born-Infeld theory

It has been shown that the Born-Infeld Lagrangian coupled to gravity L(Fab, gcd) that the equations of motion, including the Einstein equations, are invariant under the SL(2, R) duality, has the following form [6]:

L = R + 1 - V1 + 2e-*01 - e-2*0z2 + C0z

In this section, we want to write the Einstein equation Rab - 1 Rgab = Tab in the form that is manifestly SL(2, R) invariant.2 Since the metric is invariant under the SL(2, R) duality in the Einstein frame, one can expect that the scalar curvature and ricci tensor can be constructed in term of SL(2, R) invariant structures. Take the trace of the Einstein equation leads to R =-Taa. By considering (31), one can find the scalar curvature in term of SL(2, R) invariant structure Tr(FTM0F) as following:

R = bm (-1)m2-4m Tr(FTMoF)m+1 (33)

1 1 5 7 63

b0 =1 ;b1 = 2 ;b2 = 2 ;b3 = 8 ;b4 = 8 ;b5 = T•••

As we expected for the Maxwell theory, m = 0, we get R = 0. Replacing in the Einstein equation the above expansion and the expansion (31), the ricci tensor then becomes in term of following SL(2, R) invariant structures:

Tr(F T MoF) (F T)ac MoFcb\

Rab + gab = gab +

One can use the above considerations to write Riemann tensor Rabcd and any scalar structure as

am (-1)m2-4m Tr(FTMoF)m

RabRab or RabcdRabcd in term of SL(2, R) invariant structures.

3.4. Axion-Bossard-Nicolai theory

Another NGZ-consistent theory is Bossard-Nicolai theory that comes from a distinct nontrivial nonlinear deformation of classical electrodynamics. We are going to show that the Lagrangian and the energy momentum tensor of BN theory appear in term of SL(2, R) structures.

Using the definition of G and G according to (2) and field variables (13), the NGZ consistency could be presented as a differential equation [2,12]. Both Lagrangians LBi and LBN are the solution of NGZ differential equation. However unlike the BI Lagrangian, it is not known if the BN Lagrangian has a closed-form expression. Note that this Lagrangian differs from LBI starting at O(F6). In [2], this Lagrangian was calculated up to level of coupling factor e-8^0.

CBN = -1e-^° + ^e-2*0 (12 + z2) - ^ 1e-3<p0 (t2 + z2) + 4e-4*0 (t2 + z2) (312 + z2)

2 We consider the Einstein constant G = 1/8^.

- 8te-5*o (t2 + z2) (lli2 + 7z2)

ШшИ I o<;4„2

+ 32е-6фо (t2 + z2) (91t4 + 86t2z2 + llz4) - 8te-7фo (t2 + z2) (51t4 + 64t2z2 + 17z4)

+ 1 е-8ф0 (t2 + z2) (969t6 + 1517t4z2 + 623t2z4 + 43z6) + ... (34)

Now using (23), one can expand the above Lagrangian at all orders of a' in term of Tr(F ■ F) and Tr(F ■ F ■ F ■ F). Similar Axion-Born-Infeld Lagrangian (20), the Axion-Bossard-Nicolai Lagrangian is L = Cbn + C0z. Like the antisymmetric tensor (27), we calculate the BN antisymmetric tensor Gab as following:

Gab = G'ab - CoFab

= е-ф0Fab - CoFab + е-2ф0 (Fa ■ F ■ Fb - 4Tr(F ■ F)Fab

8Tr(F ■ F ■ F ■ F)Fab + 4Tr(F ■ F)Fa ■ F ■ Fb - — Tr(F ■ F)2Fab

+ е-4ф0(^Tr(F ■ F ■ F ■ F)Fa ■ F ■ Fb - 64Tr(F ■ F)3Fab^j

+ е-5ф^2048 Tr(F ■ F)4Fab - ^ Tr(F ■ F)3Fa ■ F ■ Fb 15 2

-WÏ2Tr(F ■ F ■ F ■ F)Tr(F ■ F)2Fab 256

+ — Tr(F ■ F ■ F ■ F)Tr(F ■ F)Fa ■ F ■ Fb + — Tr(F ■ F ■ F ■ F)2Fab

+ ^ (lÄ Tr(F ^ FfFab - 4Ü6 Tr(F ^ F)AFa ^ F ^ Fb

Tr(F ■ F ■ F ■ F)Tr(F ■ F)3Fab

312 + — Tr(F ■ F ■ F ■ F)Tr(F ■ F)2Fa ■ F ■ Fb

31 2 33 2 + 1024Tr(F ■ F ■ F ■ F)2Tr(F ■ F)Fab + ^Tr(F ■ F ■ F ■ F)2Fa ■ F ■ Fb

+ е-7ф0 (3J68 Tr(F ■ F)6Fab - 4096 Tr(F ■ F)'Fa ■ F ■ Fb

--Tr(F ■ F ■ F ■ F)Tr(F ■ F)4Fab

21 3 - 512 Tr(F ■ F ■ F ■ F)Tr(F ■ F)3Fa ■ F ■ Fb

Tr(F ■ F ■ F ■ F)2Tr(F ■ F)2Fab

51 2 17 3

+ 4Ï2Tr(F ■ F ■ F ■ F)2Tr(F ■ F)Fa ■ F ■ Fb + — Tr(F ■ F ■ F ■ F)3Fab 256 512 ,

131072

Tr(F ■ F)'Fab +

271 65536

Tr(F ■ F) Fa ■ F ■ Fb

-Tr(F ■ F ■ F ■ F)Tr(F ■ F)5Fab

-Tr(F ■ F ■ F ■ F)Tr(F ■ F)4Fa ■ F ■ Fb

2048 ( ) ( ) a b

103 2 3

-Tr(F ■ F ■ F ■ F)2Tr(F ■ F)3Fab

2048 ( ) ( ) ab

483 2 2

+-Tr(F ■ F ■ F ■ F)2Tr(F ■ F)2Fa ■ F ■ Fb

+ 4096 ( ) ( ) a b

+-Tr(F ■ F ■ F ■ F) Tr(F ■ F)Fab +-Tr(F ■ F ■ F ■ F) Fa ■ F ■ Fb

4096 ( ) ( ) 512 ( ) a

+ O(F17) + ...

One can construct the SL(2, R) invariant structures for this theory by replacing in (10) the above antisymmetric tensor. Using (5), the BN energy momentum tensor could be derived. The form of the energy momentum tensor in term of the invariant structure then becomes:

Tab = -4 (F )

(F1 )acM0Fcb -

Tr(F M0F)gab

J2(-1)m2-4mamTr(F T M0F )"

a0 = 1 ; ax = 2, ; a2 = 1 ; a3 = ...

where we calculate the coefficients of series up to coupling factor e 8^0. Using (5), we find the BN Lagrangian in term of the SL(2, R) invariant structure as following:

Lbn = -1 e-*°t - — BN 2 16

t - Tr(FTM0F) (-1)m2-4mamTr(FT M0F )m

This ends our illustration of the behavior of nonlinear electrodynamics theories at the presence of dilaton and axion fields under the SL(2, R) symmetry. We could write the actions of these theories in term of SL(2, R) invariant structure. We could explicitly check the invariance of the energy momentum tensor of Axion-dilaton-nonlinear electrodynamics theories under the S-duality transformation and found relevant SL(2, R) invariant structures.

The nonlinear electrodynamics theory has been expressed as a leading term in the low-energy effective action of string theory. The BI action may be defined as the action representing the ^3-branes in 4 dimensions [8]. The equations of motion and the energy momentum tensor of the effective action of ,D3-branes are invariant under SL(2, R) transformation [13]. It is expected that this symmetry will be held at higher order fields. The effective action of ,D3-brane has been presented in [14] in term of two linear S-dual invariant g-tensors in which Q = dFdF + dFdF. On the other hand, we have shown in this paper that the SL(2, R) invariant structures appear nonlinearly in the effective action of D3-brane. So using nonlinear invariant structure as Q = dG'dG' + dFdF, it will be expected that one can derive more higher order couplings.

In the approach suggested in [16] just mentioned the whole information about the given duality invariant system is encoded, in a closed form, in some invariant function of tensorial auxiliary fields, while the representation of the relevant Lagrangians as infinite series over powers of the Maxwell field strength arises as a result of elimination of these auxiliary fields by their algebraic equation of motion. It would be interesting to find a closed form of the relevant energy momentum tensor in terms of their SL(2, R) invariants using this formulation.

Acknowledgements

We thank M.R. Garousi for very valuable discussions. This work is supported by the University of Guilan.

Appendix

In this appendix we want to show that the power series appearing in the energy-momentum tensors (or Lagrangians) of the nonlinear electromagnetic theories in this paper, is uniquely determined by the SL(2, R) invariant structure Tr(FTM0F) and hence, the expression that we have found for the energy-momentum tensors would be unique. In fact, one may use SL(2, R)-invariant expressions Tr(FTMoFFTMoF), Tr(FTMoFFTMoFFTMoF) and so on to write the energy-momentum tensors. It will be shown that these SL(2, R)-invariant expressions can be written in term of the power-series expansion of the SL(2, R) invariant structure Tr(F T MoF).

Taking the trace of (29), we have

Tr(FTM0F) = 2e-2*Tr(F • F • F • F)

- 1 e~2*Tr(F • F)2 + e-3*Tr(F • F • F • F)Tr(F • F)

- 1 e-3*Tr(F • F)3 + 1 e-4*Tr(F • F • F • F)2 + 1 e-4*Tr(F • F • F • F)Tr(F • F)2

- — e-4pTr(F • F)4 + O(F10) + ... (37) 16

where we use (30) to write the Tr(F6), in terms of the Tr(F2) and Tr(F4). It could be found the following expression for the structure Tr(FT M0FFT M0F)

Tr(FTM0FFTM0F) = 4e~2*Tr(F • F • F • F) - e-2*Tr(F • F)2

+ 2e-3^Tr(F • F • F • F)Tr(F • F)

- 1 e-3*Tr(F • F)3 + 3e-4*Tr(F • F • F • F)2 3

e-4$Tr(F • F • F • F)Tr(F • F)2 + O(F10) + ... (38)

where we use the following identity to write the Tr(F8), in terms of the expression including Tr(F2) and Tr(F4).

1 2 Tr(F ■ F ■ F ■ F ■ F ■ F ■ F ■ F) - -Tr(F ■ F ■ F ■ F)

1 2 1 4

- -Tr(F ■ F ■ F ■ F)Tr(F ■ F)2 + — Tr(F ■ F)4 = 0 (39)

One can find this identity (and all similar identities that appear in this paper) by comparing the expansion of (20) with the expansion of the BI action in the Einstein frame and explicitly check with substituting the four dimensional matrix form of the gauge fields in the identity.

Using the identity (39), we find the following expression for Tr (FT M0FFT M0FFT M0F)

Tr(FTM0FFTM0FFTM0F) = 6e-4*Tr(F ■ F ■ F ■ F)2

- 3e-4*Tr(F ■ F ■ F ■ F)Tr(F ■ F)2 3

+ -e~4^Tr(F ■ F)4 + O(F10) + ... (40)

Considering the relation (37), (38) and (40) one can write the last two structures in terms of the first structure as following

Tr(FT M0FFT M0F) = 2Tr(FT M0F) + 1 Tr(FT M0F )2 + ...

Tr(FT M0FFT M0FFT M0F) = 2 Tr(FT M0F )2 + 1 Tr(FT M0F) + ...

where we use the following identities to write the Tr(F10) and the Tr(F12), in terms of the expression including Tr(F2) and Tr(F4).

Tr(F10) + — Tr(F ■ F)5 - — Tr(F ■ F)Tr(F ■ F ■ F ■ F)2 = 0

Tr(F12) + ^Tr(F ■ F)4Tr(F ■ F ■ F ■ F)

- 3Tr(F ■ F)2Tr(F ■ F ■ F ■ F)2 - 1 Tr(F ■ F ■ F ■ F)3 = 0. References

[1] P. Aschieri, S. Ferrara, B. Zumino, Duality rotations in nonlinear electrodynamics and in extended supergravity, Riv. Nuovo Cimento 31 (2008) 625, arXiv:0807.4039 [hep-th].

[2] J.J.M. Carrascoa, R. Kallosha, R. Roiban, Covariant procedures for perturbative non-linear deformation of duality-invariant theories, Phys. Rev. D 85 (2012) 025007, arXiv:1108.4390v3 [hep-th].

[3] M.K. Gaillard, B. Zumino, Duality rotations for interacting fields, Nucl. Phys. B 193 (1981) 221.

[4] W.A. Chemissany, J. de Jong, M. de Roo, Selfduality of non-linear electrodynamics with derivative corrections, J. High Energy Phys. 086 (2006) 0611, arXiv:hep-th/0610060.

[5] M.K. Gaillard, B. Zumino, Nonlinear electromagnetic selfduality and Legendre transformations, arXiv:hep-th/9712103.

[6] G.W. Gibbons, D.A. Rasheed, SL(2, R) invariance of non-linear electrodynamics coupled to an axion and dilaton, Phys. Lett. B 365 (1996) 46, arXiv:hep-th/9509141.

[7] Barton Zwiebach, A First Course in String Theory.

[8] A.A. Tseytlin, Born-Infeld action, supersymmetry and string theory, arXiv:hep-th/9908105.

[9] D.A. Rasheed, Non-linear electrodynamics: zeroth and first laws of black hole mechanics, arXiv:hep-th/9702087.

[10] H. Babaei-Aghbolagh, M.R. Garousi, S-duality of tree-level S-matrix elements in D3-brane effective action, Phys. Rev. D 88 (2013) 026008, arXiv:1304.2938 [hep-th].

[11] K. Becker, M. Becker, J.H. Schwarz, String Theory and M-Theory: A Modern Introduction, Cambridge University Press, Cambridge, 2007, 739 pp.

[12] G. Bossard, H. Nicolai, Counterterms vs. dualities, J. High Energy Phys. 08 (2011) 074, arXiv:1105.1273 [hep-th].

[13] M.B. Green, M. Gutperle, Comments on three-branes, Phys. Lett. B 377 (1996) 28-35, arXiv:hep-th/9602077.

[14] M.R. Garousi, An off-shell D-brane action at order a'2 in flat spacetime, Phys. Rev. D 93 (2016) 066014, arXiv: 1511.01676v4 [hep-th].

[15] M.R. Garousi, On S-duality of D3-brane S-matrix, Phys. Rev. D 84 (2011) 126019, arXiv:1108.4782 [hep-th].

[16] E.A. Ivanov, B.M. Zupnik, N = 3 supersymmetric Born-Infeld theory, Nucl. Phys. B 618 (2001) 3-20, arXiv:hep-th/0110074;

New representation for Lagrangians of self-dual non-linear electrodynamics, in: International Workshop on Su-persymmetry and Quantum Symmetries: 16th Max Born Symposium, SQS 01, 21-25 Sep 2001, Karpacz, Poland trody-namics, 2001, arXiv:hep-th/0202203;

New approach to nonlinear electrodynamics: dualities as symmetries of interaction, Phys. At. Nucl. 67 (2004) 2188, arXiv:hep-th/0303192;

Auxiliary Bispinor, Fields in duality-invariant electrodynamics revisited, Phys. Rev. D 87 (6) (2013) 065023, arXiv: 1212.6637 [hep-th].

[17] K. Babaei Velni, H. Babaei-Aghbolagh, work in progress.