Some $\mathbf{Z}_2$-invariant Variables: Constructed of the Scalars Dilaton and Axion

Using the dilaton scalar and axion pseudoscalar fields we construct a number of scalars and differential forms which are symmetric under the $\mathbf{Z}_2$-subgroup of the group $SL(2, \mathbf{R})$. These invariants enable us to establish various 10-dimensional invariant actions. Other invariants which are not independent from the previous ones will be detached.


Introduction
Deformation and generalization of the supergravity actions have been studied from the various point of view. Among them the modified versions of the type IIB supergravity are more desirable. One reason is due to the fact that the type IIB theory contains the axion (the R-R pseudoscalar field) and dilaton (the NS-NS scalar field), which are corresponding to the D-instanton and the Hodge duals of their field strengths are associated with the D7-brane and NS7-brane. The role of the type IIB instanton has been extremely studied in the subject of the AdS/CFT correspondence. In addition, the axion of the type IIB theory solves some cosmological problems [1,2,3].
On the other hand there is the SL(2, R) group which is certainly a symmetry group of the type IIB supergravity. There is also an important special case, i.e. the S-duality, which relates strong and weak coupling phases of a given theory in some cases, whereas in some other situations strong and weak coupling regimes of two different theories are connected.
In this paper, from the dilaton and axion fields and their field strengths and also the Hodge duals of their field strengths we construct various differential r-forms with r = 0, 1, 2, 10 which are invariant under the Z 2 -subgroup of the group SL(2, R). These differential forms enable us to obtain various independent 10-dimensional actions which separately have the above symmetry. In fact, many other invariant scalars, differential forms and actions can be made which are not independent of the previous ones. We shall detach independent invariants.
The following facts motivated us to study the Z 2 -invariant variables specially the invariant actions. The first is that, since the Einstein-Hilbert action also is a Z 2 -invariant, it is relevant to add a subset of the invariant actions to this action. In this case, the full resulted theory possesses this symmetry. Thus, this subset of the actions becomes a source for the gravity. In addition, appearance of the 1-forms and 9-forms are appropriate for realizing the D-instanton [4], D7-branes and NS7-branes. Furthermore, investigation on the dilaton and axion clarifies some properties of the D7-brane and NS7-brane, and hence may shed light on the F-theory [5]. Beside, we shall observe that the Z 2 -transformations can be viewed as gauge transformations. Finally, since the exponential of the dilaton defines the string coupling we should know all possible dynamics of this field, which are associated with various actions. This paper is organized as follows. In Sec. 2, the Z 2 -invariant scalars will be constructed. In Sec. 3, the Z 2 -invariant differential forms will be made. In Sec. 4, by using the above scalars and differential forms, various Z 2 -invariant actions will be established.
In Sec. 5, independent invariants will be detached from the dependent ones. Section 6 is devoted to the conclusions.

Invariant scalars
We remember that the bosonic massless excitations of the type IIB theory includes the graviton G µν , dilaton Φ and antisymmetric tensor B µν in the NS-NS sector, and the R-R counterparts are the axion C 0 ≡ C, an antisymmetric tensor field C (2)µν and a four-index antisymmetric potential C (4)µνρλ which its field strength is self-dual. In addition, in both sectors the Hodge duality also procreates some other form fields.
The Z 2 -duality is generated by the Z 2 -subgroup of the group SL(2, R). This determines Z 2 -transformations of the scalar fields C and Φ as τ → τ ′ = −1/τ where τ = C + ie −Φ is the complex axion-dilaton modulus. This transformation mixes the two scalars as in the following Since the string coupling is given by g s = e Φ , when the axion vanishes, the first equation relates the weak and strong coupling regimes of the type IIB superstring theory. The Einstein metric, which will be used, is an Z 2 -invariant variable where the Einstein frame and string frame metrics are related by G Eµν = e −Φ/2 G µν . From now on we utilize the word "invariant" instead of "Z 2 -invariant", which means invariance under the transformations (1) and (2).
According to the Eqs. (1) we acquire the following equations These equations represent two invariant scalars σ 1 and σ 2 , i.e.
Besides, there are also the following invariant scalars which comprise derivatives of the fields Φ and C, where The indices are raised by the Einstein metric, e.g. F µ = G µν E F ν . Some other kinds of the invariant scalars can be seen in the integrand of the action (24) and in the Eq. (27), where, in fact, the latter is anti-invariant.
Note that the 1-form field strength F = F µ dx µ is corresponding to the D(-1)-brane (D-instanton). This brane is unique among the D-branes since it is localized in time as well as in space.

Invariant differential forms
Exterior derivatives of the scalar fields give 1-forms. Combination of these 1-forms and their Hodge duals determines some higher order invariant differential forms which will be used to obtain several invariant actions.

• Invariant 2-form
Exterior derivative of the Eqs. (1) defines the 1-forms Wedge product of these forms specifies the following invariant 2-form This equation elaborates that F is field strength of the 1-form A = Ce Φ H, and or A ′ = C ′ e Φ ′ H ′ . These 1-forms are related to each other through the gauge transformation A ′ = A + Λ where Λ is a closed 1-form. We shall investigate this.
• Invariant 10-forms We know that Hodge duality definition of a differential form is characterized by the metric of the manifold. According to this, for the next purposes, we define this duality via the Einstein metric. For example, the Hodge dual of the 1-form F , which is a 9-form F , has the components where G E = det G Eµν . The Levi-Civita symbol ε µ 1 µ 2 ···µ 10 has the components ±1 and 0.
Therefore, the Hodge duality on the Eqs. (7) exhibits the following 9-forms Let us give a brief description regarding the 9-forms F andH. Two different local combinations of these forms accompanied by other form fields have been associated with the D7-brane and NS7-brane. The NS7-brane is related to the D7-brane by the S-duality.
These transformations also imply that the D7-brane and NS7-brane do not form a doublet under the S-duality. It has been commonly accepted that there are bound states of p D7branes and q NS7-branes which transform as doublets. The D7-brane has a magnetic charge whereas its dual is the D-instanton, which has an electric charge.
Combining (7) with (10) via the wedge product specifies the following invariant 10- These 10-forms have been precisely written on the basis of the Einstein frame. Note that there is also another invariant 10-form e Φ (H ∧ F − F ∧H) which identically vanishes.

Invariant actions
Making use of the 10-forms (11) -(13) we establish the following actions, which have the Z 2 -symmetry where κ is the 10-dimensional gravitational constant and M indicates the spacetime manifold. These actions have been written in the string frame which is more usual. The 9-forms in the two frames are related by F = e −2Φ F s andH = e −2ΦH s where the subscript "s" refers to the string frame.
The other forms of the above actions can be made by the standard duality transformation where G = det G µν , and F µ s and H µ s refer to the string frame, i.e. F µ s = G µν F ν and H µ s = G µν H ν . According to the invariant scalars (4) -(6) these actions also are symmetric under the Z 2 -transformations. The action S 1 in the Einstein frame can be written in the form This clarifies that S 1 is a part of the action of the type IIB supergravity, which we found an alternative derivation and various feature for it. Note that the actions S 1 , S 2 and S 3 are not independent of the actions I 1 , I 2 and I 3 . In other words, the action S i is an alternative version of the action I i for i ∈ {1, 2, 3}.
The effective field theory actions describing the dynamics of the massless modes of the various string theories contain, in addition to the well-known supergravity terms, an infinite number of higher-derivative corrections. Symmetries and dualities of these effective field theories are useful tools to find such higher-derivative terms. Therefore, several explicit higher-derivative terms have been known or conjectured to exist by symmetry/duality arguments (e.g. see [6] and references therein). Specially, the effective action for bosonic massless modes of the type IIB supergravity at various levels of derivatives has been studied. Naturally, the dilaton and axion fields also contribute on higher order derivative corrections to the type IIB theory [7,8,9]. Though the proposed forms of the corrections to the effective action satisfy the SL(2, R)-invariance condition, but there is no proof for their validity [8]. On the other hand, string scattering diagrams describe a large number of the Feynman diagrams in the Yang-Mills gauge theory [10]. It has been realized that only the bosonic degrees of freedom are relevant in the field theoretical limit of string amplitudes [11]. Thus, according to these facts, we proceed to construct a four-derivative action.

The 2-form (8) has the components
This indicates a field strength F µν = ∂ µ A ν − ∂ ν A µ where the U(1) vector field A µ is specified by We observe that under the transformations (1) the tensor F µν remains invariant. In addition, the 1-form A = A µ dx µ transforms to A ′ = A + Λ where Λ is the following closed Thus, we are lead to introduce the invariant action where g 10 is the 10-dimensional Yang-Mills coupling constant and F µν In the Einstein frame this action takes the form where

From this point of view the transformations (1) can be interpreted as gauge transformations.
In fact, under the transformation C → C + 1, which induces τ → τ + 1, the actions where the scalar curvature R E is constructed from the Einstein metric G Eµν . This action also has the Z 2 -symmetry. According to our request we can select a subset of the invariant actions {S i |i = 1, 2, 3, 4} as a source of gravity, i.e. the action S EH should be added to that subset. Therefore, we receive a gravity theory with the Z 2 -symmetry. In addition, due to the presence of the 1-forms and 9-forms field strengths, the actions (14) The components of this 1-form inspire an invariant action, i.e., We observe that this specific action is not independent, that is, The Hodge dual of the Eq. (28) exhibits an independent anti-invariant 9-form Wedge product of the Eqs. (28) and (30) defines the invariant 10-form By summing the Eqs. (11) and (12) and using the identity H ∧ F = F ∧H this 10-form is reproduced and hence loses its independence. The action associated with this 10-form also is not independent, i.e. again it is given by I = I 1 + I 2 .
In addition to the indicated invariant scalars, the 9-forms F , F ′ ,H andH ′ also enable us to obtain the following invariant scalars where dot product between any two 9-forms A and B is defined by For our case these 9-forms are Hodge duals of the 1-forms A and B, and hence we have Thus, the above invariant scalars are not independent of the previous ones, i.e. they are equivalent to the Eqs. (4) -(6), respectively.
According to the feature of S 4 it is obvious that it cannot be written in terms of two or three of the actions S 1 , S 2 and S 3 . In addition, vanishing of the linear combination 3 i=1 a i S i also leads to a 1 = a 2 = a 3 = 0, which implies that the actions S 1 , S 2 and S 3 also are linearly independent of each other. Therefore, we have four linearly independent actions.

Conclusions
Two dilaton scalar and axion pseudoscalar enabled us to establish various adequate Z 2invariant and anti-invariant quantities such as scalars, differential forms and actions.
There are some other new invariants which are not independent of the previous ones.
Our method inspired the action S 1 which is a portion of the bosonic part of the type IIB supergravity. Since all the actions S 1 -S 4 have the same derivation method they may possess the same pertinence. Therefore, from the point of view of the bosonic theories they may have the same desirability, but each action has its own properties. However, from the supersymmetry point of view they have different desirability.
We observed that the invariant 2-form (i.e. the Eq. (8)) can be interpreted as field strength of an Abelian gauge field. Therefore, we were guided to a U(1) Yang-Mills theory.
The Z 2 -transformations exhibit the corresponding gauge transformation of this theory.
Proliferation of the invariant variables demands its own subtlety. More independent invariants maybe exist. We illustrated that some of the invariant scalars and differential forms are not independent, and hence the invariant actions which are built from them can be extracted from the original actions. Note that by utilizing the self Z 2 -dual forms C 4 and F 5 = dC 4 + 1 2 B ∧ dC 2 − 1 2 C 2 ∧ dB and combining them with the discussed invariant forms we can construct more invariant variables and actions.

Some notes
The goal of this paper is not extension of the type IIB supergravity theory. In other words, the invariant actions (except S 1 ) are not parts of the type IIB supergravity. This implies that they do not need to be SL(2, R) invariant. However, we observed that the actions S 1 and S 4 possess the SL(2, Z) symmetry. We only borrowed the dilaton and axion fields of the type IIB theory but not more. In addition, since our setup is bosonic we neglected the supersymmetry. For constructing invariant supersymmetric actions one should add the Einstein-Hilbert action to each of the actions {S i |i = 1, 2, 3, 4}, then supersymmetrize the resulted theory.