Abstract

String geometry theory is a candidate of the nonperturbative formulation of string theory. In order to determine the string vacuum, we need to clarify how superstring backgrounds are described in string geometry theory. In this paper, we show that all the type IIA, IIB, SO(32) type I, and SO(32) and heterotic superstring backgrounds are embedded in configurations of the fields of a single string geometry model. In particular, we show that the configurations satisfy the equations of motion of the string geometry model in if and only if the embedded string backgrounds satisfy the equations of motion of the supergravities, respectively. This means that classical dynamics of the string backgrounds are described as a part of classical dynamics in string geometry theory. Furthermore, we define an energy of the configurations in the string geometry model because they do not depend on the string geometry time. A string background can be determined by minimizing the energy.

1. Introduction

Superstring theory is a promising candidate of a unified theory including gravity. However, superstring theory is established at only the perturbative level as of this moment. The perturbative superstring theory lacks predictability because it has many perturbatively stable vacua.

String geometry theory is a candidate of nonperturbative formulation of superstring theory [1], which can determine a nonperturbatively stable vacuum. In string geometry theory, the path integral of the perturbative superstring theory on the flat string background is derived by taking a Newtonian limit of fluctuations around a fixed flat background in an Einstein-Hilbert action coupled with any field on string manifolds [1, 2]. A perturbative topological string theory is also derived from the topological sector of string geometry theory [3]. That is, the spectrum and all order scattering amplitudes in superstring theory on a flat background are derived from string geometry theory. However, perturbative string theory describes only propagation and interactions of strings in a fixed classical string background and cannot describe dynamics of the classical string background itself. Only the consistency with the Weyl invariance requires that the string background satisfies the equations of motion of supergravity. That is, string backgrounds are treated as external fields in the perturbative string theory. In order to determine a string background, a nonperturbative string theory needs to be able to describe dynamics of the string backgrounds not in consequence of consistency.

In paper [4], as a first step to determine the string vacuum, the authors studied how arbitrary configurations of the bosonic string backgrounds are embedded in configurations of the fields of a bosonic string geometry model. In particular, the authors showed that the action of the string backgrounds is obtained by a consistent truncation of the action of the string geometry model; the configurations of the fields of string geometry model satisfy their equations of motion if and only if the embedded configurations of the string backgrounds satisfy their equations of motion. This means that classical dynamics of the string backgrounds are described as a part of classical dynamics in string geometry theory. This fact supports the conjecture that string geometry theory is a nonperturbative formulation of string theory.

This truncation is valid without taking the limit, which corresponds to . This fact will be important to derive the path integral of the nonlinear sigma model from fluctuations around the string background configurations in the string geometry theory, since the string backgrounds in the nonlinear sigma model depend not only on the string zero modes but also on the other modes of [57]:

In this paper, we generalize the results in [4] to the supersymmetric case, which possesses interesting problems as follows. In general, it is too difficult to define nonlinear sigma models in R-R backgrounds in the NS-R formalism of string theory. On the other hand, if one can perform a supersymmetric generalization of the above results as they are, there is an apparent contradiction that we can derive nonlinear sigma models in R-R backgrounds in the NS-R formalism from string geometry theory. We will see how this contradiction is resolved. There is another interesting problem: Chern-Simons terms cannot be defined in string geometry models because they are infinite dimensional, although supergravities, which should be reproduced from the models, possess Chern-Simons terms. Nevertheless, we will see that the type IIA and IIB supergravities are reproduced from a string geometry model.

The organization of this paper is as follows. In Section 2, we introduce a string geometry model. In Section 3, we identify type IIA and IIB string background configurations and obtain the equations of motions of the type IIA and IIB supergravities from the equations of motions of the string geometry model by a consistent truncation in the limit. In Section 4, we define an energy of the string background configurations because they do not depend on the string geometry time. A string background can be determined by minimizing the energy. In Section 5, all the five supergravities in the ten dimensions are derived from a single string geometry model by consistent truncations. In Section 6, we conclude and discuss our results.

2. String Geometry Model

We study a string geometry model whose action is given by,

The action of string geometry theory is not determined as of this moment. On this stage, we should consider various possible actions. Then, we call each action a string geometry model and call the whole formulation string geometry theory. In [1], the perturbative superstring theory on the flat spacetime is derived from a gravitational model coupled with a field on a Riemannian string manifold, whereas in [2], it is derived from gravitational models coupled with arbitrary fields on a Riemannian string manifold. Thus, the perturbative superstring theory on the flat spacetime is derived from this model. In this action, is a constant,  , , and we use the Einstein notation for the index . Action (2) consists of a scalar curvature of a metric , a scalar field , a field strength of a two-form field and . are defined by , where are field strengths of ()-form fields . For example, . They are defined on a Riemannian string manifold, whose definition is given in [1]. String manifold is constructed by patching open sets in string model space , whose definition is summarized as follows. First, a global time is defined canonically and uniquely on a super Riemann surface by the real part of the integral of an Abelian differential uniquely defined on [8, 9]. We restrict to a constant line and obtain . An embedding of to represents a many-body state of superstrings in and is parametrized by coordinates where is a super vierbein on and is a map from to . represents a representative of the super diffeomorphism and super Weyl transformation on the worldsheet. Giving a super Riemann surface is equivalent to giving a supervierbein up to super diffeomorphism and super Weyl transformations.   represents all the backgrounds except for the target metric that consists of the B-field, the dilaton, and the R-R fields. String model space is defined by the collection of the string states by considering all the , all the values of , and all the . How near the two string states is defined by how near the values of and how near . An -open neighborhood of is defined by , where is a discrete variable in the topology of string geometry. As a result, cannot be a part of basis that span the cotangent space in (3), whereas fields are functionals of as in (4). The precise definition of the string topology is given in the Section 2 in [1]. By this definition, arbitrary two string states on a connected super Riemann surface in are connected continuously. Thus, there is a one-to-one correspondence between a super Riemann surface in and a curve parametrized by from to on . That is, curves that represent asymptotic processes on reproduce the right moduli space of the super Riemann surfaces in . Therefore, a string geometry model possesses all-order information of superstring theory. Actually, all order perturbative scattering amplitudes of the superstrings in the flat space-time are derived from the string geometry theory as in [1, 2]. The consistency of the perturbation theory determines (the critical dimension). The cotangent space is spanned by where . The summation over is defined by . , where is the lapse function of the two-dimensional metric. This summation is transformed as a scalar under and invariant under a supersymmetry transformation . As a result, action (2) is invariant under this supersymmetry transformation. An explicit form of the line element is given by

The inverse metric is defined by , where and , where .

3. Consistent Truncations to Type IIA and IIB Supergravities

In this section, we will show that we can consistently truncate the string geometry model (2) to the type IIA and IIB supergravities if we apply appropriate configurations to the model and take .

From equation (2), the equations of motion of , , , and are derived as respectively.

We consider particular configurations, which we call IIA and IIB string background configurations,

Metric:

Scalar field:

B field:

p-form field:

where for IIA string background configuration, or for IIB string background configuration. is a symmetric tensor field, is a scalar field, is a B field, and are p-form fields on a 10-dimensional space-time. We will show that the IIA and IIB configurations satisfy the equations of motion of the string geometry model in if and only if the 10-dimensional fields satisfy the equations of motion of the IIA and IIB supergravities.

We remark that the string background configuration has a nontrivial dependence on the worldsheet. The consistent truncation will be ensured due to the relation between the worldsheet dependence of the fields and of the indices of the string geometry fields. For example, see dependence on the string background configuration for the metric. In addition, the factor reflects that the point particle limit is a field theory.

The limits of the equations of motions (5), (6), (7), and (8) with the IIA string background configuration are equivalent to the equations of motion of the type IIA supergravity

The limits of the equations of motions (5), (6), (7), and (8) with the IIB string background configuration are also equivalent to the equations of motion of the type IIB supergravity, and the self-dual condition,

Here, we display a mechanism how the limit of the equation of motion of with the string background configuration is equivalent to the equation of motion of . By substituting the string background configuration, the left-hand side of the Einstein equation becomes

As one can see in this formula, if an equation of motion includes a trace (in in this case), the reduced equation of motion includes an extra summation against the equation of motion of the string backgrounds. Fortunately, the terms including the extra summation vanish by using the string background configuration and the equation of motion of the scalar, as one can see below. Actually, by substituting the string background configuration into the equation of motion of , we obtain

In the second equality, we have used the equation of motion of scalar (6), and the terms proportional to the equation of motion, which includes a part of the extra summation, vanish. By using the common property in the IIA and IIB string background configurations, we obtain

If we substitute this relation into (19), the last term, which includes the remaining part of the extra summation, vanishes. Furthermore, If we take we obtain and thus, (19) gets to be equivalent to

This formula is equivalent to the equation of motion of the metric of under the equation of motion of the scalar of this action and (21). The same applies to the other fields. Furthermore, the equations of motion of (25) where the zero mode part of the IIA or IIB string background configurations (13) and (14) are substituted are equivalent to the equations of motion of IIA or IIB supergravities (15) and (16), as one can see a proof in an appendix of [10]. Thus, the IIA and IIB supergravities, which possess the Chern-Simons terms, are derived from the string geometry model, which does not possess the Chern-Simons term. Therefore, we conclude that the string backgrounds can be embedded into the string geometry model in the sense of the consistent truncation in .

In the NS-NS (bosonic) sector of the string geometry theory, the above discussion is valid without taking limit as in [4]. We can see this from the fact that the last two lines are absent in (19) in the NS-NS sector, for example. This fact will be important to derive the nonlinear sigma model on the NS-NS backgrounds as we mentioned in the introduction. We do not need the special mechanism that the extra summation vanishes as in (19) to derive the supergravities because the extra summation automatically vanishes in as in (23).

We could not reproduce the R-R sector of the supergravities from string geometry theory without the limit. This suggests that the string geometry theory cannot reproduce nonlinear sigma models on R-R backgrounds in the NS-R formalism. This is consistent with the fact that it is too difficult to formulate nonlinear sigma models on R-R backgrounds in the NS-R formalism.

4. Equations That Determine a String Background

Because the string background configurations (9), (10), (11), (12), (13), and (14) are stationary with respect to the string geometry time , the energy of it is defined as

On the first and second lines in the above formula, we have substituted (9), (10), (11), (12), (13), and (14) and obtained the third line. On the third line, because , if one integrates and , only the bosonic leading terms remain and we obtained the fourth line. On the fourth line, we have regularized the integral over the embedding function as and obtained the fifth line.

Therefore, in string geometry theory, a string background is determined by minimizing the energy (26) of the solutions to the IIA or IIB equations of motions. In other words, in the IIA case, by using the method of Lagrange multiplier, the equations that determine string backgrounds are obtained by differentiating with respect to the IIA string backgrounds , , , and and the Lagrange multipliers , , , , and , where , , , , and represent the IIA equations of motions, respectively. The same applies to the IIB case.

5. Consistent Truncations to Heterotic and Type I Supergravities

Let us generalize the model (2) and consider where , , and is a Hermitian gauge field, whose field strength is given by . can be consistently truncated to 0 in this model, and model (2) is obtained. Thus, the IIA and IIB supergravities are derived by consistent truncations of model (29).

On the other hand, the heterotic supergravity where is derived by consistently truncating model (29) as in Section 3. Here, we have introduced the constants and by shifting the dilaton and rescaling in the 10 dimensions. The gauge field can be truncated to the adjoint representation of and .

The heterotic supergravity can be shown to be equivalent to the type I supergravity where , by a transformation: , , and . The gauge field can be truncated to the adjoint representation of . As a result, the supergravities on all the ten-dimensional vacua in string theory are derived from the single model (29).

The gauge fields in the string backgrounds are not only able to be truncated to but also chosen automatically as or by consistency of the perturbative strings obtained from the Newtonian limit of the fluctuations around the string background configurations in string geometry theory. Actually, path integrals of nonlinear sigma models on the string backgrounds will be derived from the Newtonian limit of the fluctuations. Actually, the path-integrals of the topological sigma models on Kähler manifolds are derived from Newtonian limits of fluctuations around a class of backgrounds in the topological sector of string geometry theory [11]. The contributions of the background gauge fields to the path integrals are in the heterotic theory, and in the type I theory. If the gauge fields are small, these contributions are insertions of the vertex operators representing gauge fields, in the heterotic theory, and in the type I theory. On the other hand, the path integrals of the heterotic and type I perturbative strings on the flat background are derived from string geometry theory [1], and the vertex operators (34) and (35) can be constructed. The consistency of the perturbative strings chooses only and in the heterotic case and in the type I case. As a result, the background gauge fields must be chosen as the same, because (34) and (35) are obtained from (32) and (33), respectively.

6. Conclusion and Discussion

In this paper, we have shown that the supergravities on all the ten-dimensional vacua in superstring theory are derived from a single string geometry model by consistent truncations. That is, arbitrary configurations of all the type IIA, IIB, SO(32) type I, and SO(32) and heterotic superstring backgrounds are embedded in configurations of fields of a single string geometry model. In particular, the single action of the string geometry model is consistently truncated to the supergravity actions by applying the corresponding superstring background configurations to the model and taking . That is, the limits of the equations of motions with those string background configurations are equivalent to the equations of motion of the corresponding supergravities. This means that classical dynamics of all the type IIA, IIB, SO(32) type I, and SO(32) and heterotic superstring backgrounds are described as a part of classical dynamics in string geometry theory. This fact supports the conjecture that string geometry theory is a nonperturbative formulation of string theory.

The above results are consistent with the fact that one can derive both the type IIA and IIB perturbative string theories on the flat background from a single string geometry model as shown in [1]: in this case, the configurations of the backgrounds are formally the same, whereas the charts that cover the backgrounds are different (IIA and IIB charts). These results strongly indicate that string geometry theory does not depend on string backgrounds. Here, we comment on supersymmetry. Although the single action of the ten-dimensional gravity (25) possesses both fields in type IIA and IIB supergravities, namely, all the R-R fields with odd and even degrees, the action cannot be generalized to be supersymmetric even if fermions are coupled. However, in the string geometry theory, an arbitrary action can be generalized to be supersymmetric, as one can see in [1]. Actually, the string geometry models (2) and (29) are supersymmetric, although they possess the tensor fields that include all the R-R fields with odd and even degrees.

Furthermore, we have defined an energy of the superstring background configurations, because they are stationary with respect to the string geometry time . Thus, a superstring background can be determined by minimizing the energy of the solutions to the equations of motions of the superstring backgrounds. Therefore, we conclude that string geometry theory includes a nonperturbative effect that determines a superstring background.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

We would like to thank K. Hashimoto, Y. Hyakutake, Y. Nakayama T. Onogi, S. Sugimoto, Y. Sugimoto, S. Yamaguchi, and especially H. Kawai and A. Tsuchiya for the long and valuable discussions.