Abstract
We propose a 12-dimensional supergravity action which describes low-energy dynamics of \(F\)-theory. Dimensional reduction leads the theory to become 11-dimensional, IIA, and IIB supergravities. Self-duality of the four-form field in IIB supergravity is understood. It is necessary to abandon 12-dimensional Poincaré symmetry by making one dimension compact, which is to be decompactified in some region of parameter space, such that the physical degrees of freedom are the same as those of 11-dimensional supergravity. This makes \(T\)-duality explicit as a relation between different compactification schemes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The ideas of Kaluza and Klein (KK) [1, 2], generalized to higher dimensions, are beautiful ones that translate the known field degrees of freedom and their interactions into geometry of extra dimensions. Most of the supergravity theories, which one hopes to have an intimate connection to our world, can be obtained by dimensional reduction of an 11-dimensional one [3]. However, it does not directly give type IIB supergravity in ten dimensions, although their relation is well understood in the context of string theory.
Eleven-dimensional supergravity is a low-energy description of \(M\)-theory [4, 5]. It has also been suggested that type IIB superstring theory is obtained by a reduction of \(F\)-theory on a torus, with its complex structure identified by the axion–dilaton, and the latter is shown to be \(T\)-dual to \(M\)-theory [6]. Thus, the effective field theory of \(F\)-theory should be 12-dimensional; however, it is not easy to write down the action. One crucial difficulty might be that the 12-dimensional minimal fermion with Lorentzian signature \((11,1)\), which must be the case for \(F\)-theory, should have superpartner components with spin higher than two in the four-dimensional language, whose interacting theory would be inconsistent [7]. Another obstacle is that, if \(F\)-theory is dual to \(M\)-theory, there should be no surplus field degrees of freedom, although the former is a higher-dimensional theory.
An important hint comes from a careful look at the derivation of \(F\)-theory [6, 8, 9]. Although it is \(T\)-dual to \(M\)-theory, \(F\)-theory has one more dimension than the latter. Now, this extra dimension is a dual dimension to one of the dimension shared by the two theories. In other words, \(F\)-theory has two redundant dimensions whose radii are inverse to each other. Although we cannot maintain 12-dimensional Poincaré symmetry fully, each of the 10- and 11-dimensional theories can be symmetric on its own. There is no contradiction if we cannot see both at once. Therefore, it is natural to keep both dimensions. In this picture, \(M\)-theory looks like a compactification \(F\)-theory on a circle, as schematically shown in Fig. 1.
We propose for the bosonic part a desired 12-dimensional effective action, whose dimensional reductions lead to those of all known supergravities in 11 and 10 dimensions, found in the standard textbooks [10]. Since we follow and make use of the duality relation between \(M\)- and \(F\)-theory from the 11-dimensional supergravity, this theory shall provide the effective field theory for \(F\)-theory.
Supergravity is powerful enough in the sense that many of the new results here, like the existence of a three-brane and generalized \(T\)-duality, are obtained without referring to string theory. Of course, the effective field description of \(F\)-theory is timely in realistic model building, because we have so far borrowed descriptions, for instance of the gauge fields, from \(M\)-theory [11–13].
2 The bosonic action of 12-dimensional supergravity
We start with the fundamental bosonic degrees of freedom of 11-dimensional supergravity: the graviton \(G_{mn}\) and the rank three antisymmetric tensor field \(C_{mnp}\). The latter is promoted to a four-form field,
with total antisymmetrization, for instance \(\mathcal{C}_{mny'p} \equiv -\mathcal{C}_{mnpy'}\). Here \(y'\) denotes the twelfth direction. Although this field is 12-dimensional, we do not introduce any more degrees of freedom if one of the indices is forced to be on \(y'\) and the others are 11-dimensional. The graviton is also regarded as a part of the 12-dimensional one,
We suggest a formally 12-dimensional action
with the 12-dimensional Hodge star operator. The Ricci scalar \(\mathcal R\) is made of the 12-dimensional metric (1). We will define \(\kappa _{12}\) shortly. The presence of the last term was noticed in Refs. [14, 15]. We have defined
It is important to note that the indices correspond only to 11-dimensional coordinates. Therefore the action (2) has at best 11-dimensional Poincaré invariance. Nevertheless this form is useful, since we may also have ten-dimensional invariance in which we include \(y'\) and exclude some of the other directions. There is another loop correction term, having the form \(\mathcal{C}_{ 4} \wedge I_{ 8}\), where \(I_{ 8}\) is again dependent on the 11-dimensional metric only, given in Ref. [16].
The equation of motion and the Bianchi identity of \(\mathcal{C}_{ 4}\) follow:
Exchanging the role of the two, we also have a dual field strength
which defines a six-form \({C}_{6}\). In components, the dual field strength to \(\mathcal{G}_5\) is defined as
where the indices are raised by the metric (1).
Note that we have converted the 11-dimensional field \(C_{ 3}\) to the 12-dimensional field
using the metric (1). They should not be treated as independent degrees of freedom, otherwise we cannot match the equation of motion with the 11-dimensional one.
The four-form structure (8) suggests that there is a sourcing three-brane wrapped on the \(y'\)-direction, becoming the \(M2\)-brane of \(M\)-theory [17]. When a dimension is compact, this wrapping behavior should not be strange, since in the decompactification limit it becomes a \(D3\)-brane along the \(y^{\prime }\)-direction, which we are familiar with. Also we may understand that its magnetic five-brane transverse to the \(y'\)-direction becomes the \(M5\)-brane of \(M\)-theory.
We consider in this letter only the bosonic degrees of freedom. The fermonic part will be dealt with elsewhere [17].
3 Reduction to 11-dimensional supergravity
The action (2) is meaningful only if we take the \(y'\)-direction as a circle with a radius \(2 \pi r\), measured in a length unit \(\ell \). Dimensional reduction gives us the KK tower of the fields \(\mathcal{C}_{ 4}, \mathcal{G}_{mn}, r\) with masses
All of them shall play an important role later in decompactification, but we keep the zero modes only for the moment. We can show that the kinetic terms of the graviton and the three-form field become the standard form of 11-dimensional supergravity. The last term in (2) is
The 11-dimensional coupling \(\kappa _{11}\) may reversely define the coupling \(\kappa _{12}\)
with the scale \(r\) is to be fixed shortly.
4 Reduction to IIB supergravity
Next, we compactify two more dimensions on a torus. It has a complex structure, \(\tau = \tau _1 + i \tau _2\), and we take the coordinate \(x,y\) such that we identify \(x + \tau y \sim x + \tau y + 2 \pi \ell \sim x + \tau y + 2 \pi \tau \ell \). Still we keep the \(y\)-direction orthogonal to the other directions, as in (1). The most general metric is
From now on, fields and their Greek indices are nine-dimensional. Here, \(\{a_{\mu },\tau _1\},b_{\mu }\) are ten- and nine-dimensional Lorentz vectors promoting the \(S^1\) isometries of \(x\)- and \(y\)-directions, respectively, to \(U(1)\) gauge symmetries.
We identify the fields of IIB supergravity as in Table 1. They have either all indices nine-dimensional or one component fixed to be \(y'\). Consider, for example, the reduction from \(\mathcal{G}_{\alpha \beta \gamma y y'}\) to \(H_{\alpha \beta \gamma } = 3 \partial _{[\alpha } B_{\beta \gamma ]}\), given in (31) in the appendix.Footnote 1 Neglecting the normalization, there are two possible expressions,
up to a total derivative which is a gauge transformation of \(B_{ 2}\). The left-hand side is the result of dimensional reduction of the ten-dimensional IIA field \(\{ H^{(10)}_{\mu \nu \rho }, H^{(10)}_{\mu \nu } \equiv H^{(10)}_{\mu \nu y} \}\) coupled to the KK field \(b_\mu \), whereas the right-hand side looks as dimensional reduction of the IIB field \(\{ H^{(10)}_{\mu \nu \rho }, (db)^{(10)}_{\mu \nu } \equiv H^{(10)}_{\mu \nu y'} \}\) coupled to the KK field \(K_\mu = r^{-1} {\mathcal{C}}_{\mu x y y'}\) under the metric [19]
In the latter picture, the vectors \(a_{\mu }\) and \(b_{\mu }\) become components \(A_{\mu y'}\) and \(B_{\mu y'}\), respectively, of rank two Neveu–Schwarz Neveu–Schwarz (NSNS) and Ramond–Ramond (RR) tensors. We already have the KK tower of the fields (9) completing the fields \(B_{\mu \nu }, b_\mu ,K_\mu ,g'_{\mu \nu }, r\) to be ten-dimensional. This is a crucial necessary condition to recover ten-dimensional Poincaré symmetry and fully covariant interactions. In low-energy theory, this is a possible way to see the presence of extra dimensions, if we admit that the gravitational interactions are not observable.
The RR four-form is obtained as
with one of the indices fixed to be \(y'\). We can perform dimensional reduction, as in (30) in the appendix (with a different nine-dimensional metric) and perform decompactification in the \(y'\) direction with the help of the one-form \(K_{ 1}\) as above. The corresponding part of the second term in (2) gives the kinetic term for
Remember that one of the indices is fixed to be \(y'\) for every term in (15). To avoid confusion later, we name this \( \tilde{F}_{5}^\mathrm{w(10)}.\)
Due to the fixing of the component in (15) we do not have complete ten-dimensional four-form. The other part may come from another 12-dimensional field (6). The only possible nine-dimensionally covariant four-form can be
Due to the 12-dimensional structure in (7), the fields in (16) cannot have any index on \(y'\). The left-hand side of the duality relation (7) becomes the \(\mathrm{d}C_{ 6}-\frac{1}{2} C_{ 3} \wedge G_{ 4}\) as in (6), with two components fixed to be \(x\) and \(y\). By expansion and decompactification, we obtain precisely the same expression as (15), up to normalization, with all the indices nine-dimensional. Hence we may call the result as \(L^{-2} \tau _2^{-1} \tilde{F}_{ 5}^\mathrm{wo(10)}.\)
Expressing the duality relation (7) in a local Lorentz frame by ten-dimensional fields, we have
with the ten-dimensional Hodge operation \(*_{10}\). The different components of \(F_{5}\) have the different origins, therefore the Lorentz symmetry is not trivial. For the covariance we need the same coefficient
This means that the three radii in the \(x,y,y'\) directions are inverse among themselves, so there is no point in the moduli space where we have all the 12 dimensions noncompact. Moreover, this graviton component \(r(x^m,y')\), which was the only surplus component compared to the gravity multiplet in the 11-dimensional supergravity, now turns out to be redundant and expressed in terms of the other existing fields \(L(x^m,y')\) and \(\tau _2(x^m,y')\) in this multiplet. Therefore we have the identical degrees of freedom to those of 11-dimensional supergravity. This explains how the difficulty of the maximal dimensional problem in the beginning is circumvented.
Therefore we have arrived at the self-duality condition for the fully covariant ten-dimensional four-form field via its modified field strength \(\tilde{F}_{ 5}^{(10)}\), re-expressed using Eq. (17),
We emphasize that this self-duality condition (19) is the defining relation of half the components of the four-form field in (16).
The ten-dimensional Einstein–Hilbert term is obtained as
where \(G' = g' r^2\) is the determinant of the ten-dimensional metric (13), with which the Ricci scalar \(R_{(10)}\) is calculated. Note that \(\tau _2= g_\mathrm{IIB}^{-1}\), if we require that \(L\) should be absent from the IIB supergravity action. Careful investigation shows that rescaling \(g_{\mu \nu }' \equiv L^{-1} g_{\mu \nu }\) and \(g_{y'y'} \equiv L g'_{y'y'} =L^3 \tau _2\) can pull out the overall factor \(r\), which should be absorbed by the coupling
The rescaling should also rescale the coordinate periodicity as
Finally, dimensional reduction of the last term in (2) gives
again with one index fixed to be \(y'\) for \(F_{ 5}^{(10)}\) and \(\tilde{F}_{ 5}^{(10)}\). For the equality, we used the relation \(F_{ 3} \wedge F_{ 3}=0\) and performed integration by parts. Again \(\tilde{F}_{ 5}^\mathrm{w (10)}\) can be exchanged by the covariant one (19). The remaining expansions give the kinetic terms for the IIB supergravity action in the standard form [10, 17].
5 Reduction to IIA supergravity
We may decompactify the \(y\)-direction in (11) using the KK field \(b_\mu \). Decompactification takes place in the same way. For example, Eq. (32) in the appendix, after the decompactification, gives the reduction of \(G_{mnpq}\) to ten-dimensional fields,
with one of the indices fixed on \(y\), whereas Eq. (30) provides the remaining components. The \(A_{1}\) is again the KK gauge field decompactifying the \(x\)-direction. This gives IIA supergravity. We identify ten-dimensional couplings \(\langle L\rangle ^3 = g_\mathrm{IIA}^2 \equiv \langle e^{2 \Phi } \rangle \). It is straightforward to have the type IIA supergravity action, because we know it is also obtained by further compactification of the 11-dimensional supergravity action along the \(x\)-circle.
In the unit (22) we can naturally convert between IIA and IIB theories in ten dimensions. The relation between the two radii from (11) now becomes the familiar \(T\)-duality relation,
Without referring to string theory, we can perform \(T\)-duality via two different compactifications, as in Fig. 1. In particular, Eq. (18) also allows us to interpret the KK tower of fields above Eq. (9) as ones arisen by wrapped \(M2\)-branes on the torus, whose mass is proportional to the dimensionless volume of the torus \(L^2 \tau _2\) [19–21]. This will also be useful in describing physics around the self-dual radius where the two theories are not so much distinct, or in a strong coupling regime of one theory. Gauge theories coming from ‘seven-brane’ loci, on which the ‘fibered’ torus becomes singular [6, 11, 22], cannot be described by this action because they are phenomena of \(M2\)-branes wrapped on the singularities. Rather, this action describes the bulk physics in terms newly defined native \(F\)-theory fields and potentials.
Notes
We are using the standard antisymmetric tensor notation [18].
References
T. Kaluza, Akad. Wiss. Phys. Math. K1, 966 (1921)
O. Klein, Zeits. Phys. 37, 895 (1926)
E. Cremmer, B. Julia, J. Scherk, Phys. Lett. B 76, 409 (1978)
E. Witten, Nucl. Phys. B 443, 85 (1995). arXiv:hep-th/9503124
P. Horava, E. Witten, Nucl. Phys. B 460, 506 (1996). arXiv:hep-th/9510209
C. Vafa, Nucl. Phys. B 469, 403 (1996). arXiv:hep-th/9602022
W. Nahm, Nucl. Phys. B 135, 149 (1978)
F. Denef, Les Houches Lectures on Constructing String Vacua. arXiv:0803.1194 [hep-th]
T. Weigand, Class. Q. Grav. 27, 214004 (2010). arXiv:1009.3497 [hep-th]
J. Polchinski, String Theory. Superstring Theory and Beyond, vol. 2 (Cambridge University Press, Cambridge, 1998)
C. Beasley, J.J. Heckman, C. Vafa, JHEP 0901, 058 (2009). arXiv:0802.3391 [hep-th]
T.W. Grimm, Nucl. Phys. B 845, 48 (2011). arXiv:1008.4133 [hep-th]
K.S. Choi, Eur. Phys. J. C 74, 2939 (2014). arXiv:1309.7297 [hep-th]
S. Ferrara, R. Minasian, A. Sagnotti, Nucl. Phys. B 474, 323 (1996). arXiv:hep-th/9604097
R. Donagi, M. Wijnholt, Adv. Theor. Math. Phys. 15, 1523 (2011)
M.J. Duff, J.T. Liu, R. Minasian, Nucl. Phys. B 452, 261 (1995). arXiv:hep-th/9506126
K.S. Choi, Supergravity in twelve dimension. arXiv:1504.00602 [hep-th]
J.A. Wheeler, C. Misner, K.S. Thorne, Gravitation (W.H. Freeman & Co., San Francisco, 1973)
E. Bergshoeff, C.M. Hull, T. Ortin, Nucl. Phys. B 451, 547 (1995). arXiv:hep-th/9504081
P.S. Aspinwall, Nucl. Phys. Proc. Suppl. 46, 30 (1996). arXiv:hep-th/9508154
J.H. Schwarz, Nucl. Phys. B 226, 269 (1983)
W. Taylor, TASI lectures on supergravity and string vacua in various dimensions. arXiv:1104.2051 [hep-th]
Acknowledgments
This work is partly supported by the National Research Foundation of Korea with Grant Number 2012-R1A1A1040695.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
We briefly summarize the technical details of dimensional reduction taking into account the metric. We have tensors in components in a local Lorentz frame, after the rescaling (22):
For convenience we have fixed some of the coordinates. We have the corresponding field strengths
Here \(H_{\alpha \beta } \equiv 2 \partial _{[\alpha } K_{\beta ]}\) and the derivative operator acts all the fields on the right.
The above relations are nine-dimensional and are to be lifted to ten-dimensional ones. For instance, we may rewrite the right-hand side of (30) in terms of differential forms,
This is a nine-dimensional relation with one component fixed to be on \(y'\). After decompactification, we have a ten-dimensional relation,
with the \(y'\)-component still fixed. There were two changes: The overall normalization has changed by the metric factor \(L^{-3/2} \tau _2^{-1}\) from the \(y'\)-dependence, and the couplings with \(K_{ 1}\) completed the covariant ten-dimensional fields.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3.
About this article
Cite this article
Choi, KS. Twelve-dimensional effective action and \(T\)-duality. Eur. Phys. J. C 75, 202 (2015). https://doi.org/10.1140/epjc/s10052-015-3423-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-015-3423-8