1 Introduction

The low-energy effective action of M-theory is known as the 11-dimensional supergravity. This theory is described by massless modes of M-theory (the graviton, the three-form and the gravitino), which contains a membrane as a fundamental object. This theory also consists of the lowest-order supergravity action [1] plus an infinite number of higher-derivative terms beyond the leading order.

There exists a variety of methods which can be used to capture these higher-derivative terms. Let us briefly review some of them. The perturbative analyses of the scattering amplitudes is one of the important methods to determine the structure of the higher-derivative corrections to the 11d supergravity [2, 3]. Besides the approaches based on the perturbation analyses, there are other methods to derive the higher-derivative effective action of the M-theory. The famous methods are the analyses performed by computing the scattering amplitudes of superparticles [4,5,6,7,8,9,10,11], the superfield method [12,13,14,15,16,17,18,19,20] and by applying Noether’s method [21].

Among these approaches, we employ the straightforward dimensional reduction method to determine the higher-derivative corrections to 11d supergravity. We assume that all fields are independent of the coordinate \( z = x^{11} \) which we choose to correspond to a spacelike direction (\( \eta ^{(11)}_{zz} = 1 \)) and then we rewrite the fields and action in a ten-dimensional form.

Let us now consider the dimensional reduction of the bosonic fields of 11d supergravity, the metric and the three-form [22, 23]. The dimensional reduction of the metric gives rise to the ten-dimensional metric, a vector field, and a scalar (the dilaton). According to this, the metric of eleven-dimensional theory has to be expressed in terms of the ten-dimensional one as follows:

$$\begin{aligned}&g^{(11)}_{\mu \nu } = e^{-\frac{2}{3}\Phi }g_{\mu \nu }+e^{\frac{4}{3}\Phi } {C_1}_{\mu }{C_1}_{\nu },\nonumber \\&g^{(11)}_{\mu z} = e^{\frac{4}{3}\Phi } {C_1}_{\mu }\qquad \mathrm{and} \qquad g^{(11)}_{zz} = e^{\frac{4}{3}\Phi }, \end{aligned}$$
(1.1)

whereas the dimensional reduction of the 3-form potential in \( D = 11 \) gives rise to a three-form and a two-form which are the fields of the 10d supergravity theory

$$\begin{aligned} {C_3}^{(11)}_{\mu \nu \rho }= {C_3}_{\mu \nu \rho }\qquad \mathrm{and} \qquad {C_3}^{(11)}_{\mu \nu z}= B_{\mu \nu }, \end{aligned}$$
(1.2)

with the corresponding field strengths \( F_4=dC_3 \) and \( H=dB \) given by

$$\begin{aligned} {F_4}^{(11)}_{\mu \nu \rho \lambda }= {F_4}_{\mu \nu \rho \lambda }\qquad \mathrm{and} \qquad {F_4}^{(11)}_{\mu \nu \rho z}= H_{\mu \nu \rho }. \end{aligned}$$
(1.3)

The terms we would like to obtain consist of 4-form field strength and Riemann tensor. The dimensional reduction of 4-form field strength is given by Eq. (1.3), whereas the dimensional reduction of the Riemann tensor needs more considerations.

For our intended purposes, it is sufficient to study the dimensional reduction of 11-dimensional supergravity which involves four massless fields. So we need the transformations (1.1) at the linear order. Assuming that the massless fields are small perturbations around the flat background, i.e.

$$\begin{aligned} g_{\mu \nu }\!=\!\eta _{\mu \nu }\!+\!2\kappa h_{\mu \nu };\; \Phi \!=\!\phi _0\!+\!2\kappa \phi ;\;{C_1}_{\mu }=2\kappa {c_1}_{\mu }. \end{aligned}$$
(1.4)

The transformation of \( g_{\mu \nu } \), which is introduced in Eq. (1.1), takes the following linear form for the perturbations:

$$\begin{aligned} h^{(11)}_{\mu \nu }=h_{\mu \nu }. \end{aligned}$$
(1.5)

On the other hand, the linearized Riemann curvature is defined as

$$\begin{aligned} R_{\mu \nu }{}^{ \rho \lambda }= \kappa \partial _{[\mu } \partial ^{[\rho } h_{\nu ]}{}^{\lambda ]}. \end{aligned}$$
(1.6)

The Eq. (1.5) implies that the transformation of the linearized Riemann tensor, when carries no Killing index, is

$$\begin{aligned} R^{(11)}_{\mu \nu \rho \lambda }=R_{\mu \nu \rho \lambda }. \end{aligned}$$
(1.7)

The requirement of the dimensional reduction is a powerful tool to restrict the form of an effective action. The procedure of the dimensional reduction method is well known and quite simple. First we prepare the ansatz for the higher derivative effective action in which each term has some unknown coefficients. Then we consider the dimensional reduction of the ansatz by splitting the eleven-dimensional indices into the ten-dimensional ones and the 11th index z. Some of the generated terms can be transformed to the known couplings in ten dimensions under dimensional reduction rules. The comparison of these terms gives rise simultaneous equations among the unknown coefficients in the ansatz. By solving these equations and substituting the solutions into the ansatz, one can determine the possible forms of the higher-derivative effective action.

The content of our paper is as follows. In Sect. 2, we first construct an ansatz for \( R^4 \) terms with unknown coefficients in 11 dimensions and then derive them by forcing the ansatz to match with the known \( R^4 \) terms in ten dimensions. In Sect. 3, we follow the same procedure to determine the \( (\partial {F_4})^2 R^2 \) terms in 11 dimensions. Finally, in Sect. 4 we will obtain \( (\partial {F_4})^4 \) terms. Section 5 is devoted to discussion.

2 \( R^4 \) terms

An ansatz for the higher derivative effective action, which includes quartic terms of the Riemann tensor [21], is parametrized by

$$\begin{aligned}&C_1^{\text {}} R_{abcd} R^{abcd} R_{efgh} R^{efgh} + C_2^{\text {}} R_{abcd} R^{abc}{}_{e} R^{d}{}_{fgh} R^{efgh} \nonumber \\&\quad + C_3^{\text {}} R_{abcd} R^{ab}{}_{ef} R^{cd}{}_{gh} R^{efgh} + C_4^{\text {}} R_{abcd} R^{a}{}_{e}{}^{c}{}_{g} R^{b}{}_{f}{}^{d}{}_{h} R^{efgh} \nonumber \\&\quad + C_5^{\text {}} R_{abce} R^{ab}{}_{dg} R^{c}{}_{f}{}^{d}{}_{h} R^{efgh} + C_6^{\text {}} R_{abce} R^{ab}{}_{df} R^{cd}{}_{gh} R^{efgh} \nonumber \\&\quad + C_7^{\text {}} R_{abce} R^{a}{}_{d}{}^{c}{}_{g} R^{b}{}_{f}{}^{d}{}_{h} R^{efgh}. \end{aligned}$$
(2.1)

Note that the terms which include the scalar curvature and Ricci tensor are removed by using the field redefinition.

Upon dimensional reduction of our ansatz to ten dimensions, it should be possible to extract the terms in which the Riemann tensor carries no Killing index. These terms are transformed to ten-dimensional ones according to the rule (1.7). After doing so, we match the obtained results, which have the same structure as ansatz but with indices in ten dimensions, with the known \( R^4 \) terms computed a long time ago by Gross and Sloan [24]. This match of the dimensionally-reduced action provides strong consistency check on our computations and results in the following relations between the unknown coefficientsFootnote 1:

$$\begin{aligned}&\{C_2 \rightarrow -16 C_1, C_3 \rightarrow 2 C_1, C_4 \rightarrow 16 C_1, C_5 \rightarrow -32 C_1,\\&\quad C_6 \rightarrow -32 + 16 C_1, C_7 \rightarrow 128 - 32 C_1\}. \end{aligned}$$

Inserting these conditions into the ansatz leads to the following \( R^4 \) terms in 11 dimensions:

$$\begin{aligned}&{e^{-1}\mathcal{L}_{R^4}}=32 \left( 4 R_{abce} R^{a}{}_{d}{}^{c}{}_{g} R^{b}{}_{f}{}^{d}{}_{h} R^{efgh} \right. \nonumber \\&\left. \qquad \quad - R_{abce} R^{ab}{}_{df} R^{cd}{}_{gh} R^{efgh} \right) , \end{aligned}$$
(2.2)

plus some other terms with unknown coefficients which implicitly are zero. The reason is that they vanishes when we write them in terms of independent variables in which all symmetries (including mono- and multi-term symmetries), mass-shell and on-shell conditions as well as conservation of momentum are applied. In the above equation, e denotes \(\sqrt{-g}\), where g is the determinant of the metric in 11 dimensions.

3 \( (\partial {F_4})^2 R^2 \) terms

Let us now consider the ansatz of the \( (\partial {F_4})^2 R^2 \) part. By imposing the linearised lowest-order equations of motion [11], one obtains 24 possible terms in the action

$$\begin{aligned}&C_1^{\text {}} F^{agh}{}_{i}{}^{,e} F^{bdfi,c} R_{abcd} \ R_{efgh} \nonumber \\&\quad + C_2^{\text {}} F^{acg}{}_{i}{}^{,e} F^{bdfi,h} R_{abcd} R_{efgh} \nonumber \\&\quad + C_3^{\text {}} F^{acg}{}_{i}{}^{,e} F^{bdhi,f} R_{abcd} \ R_{efgh} \nonumber \\&\quad + C_4^{\text {}} F^{cdgh}{}_{,i} F^{iabe,f} R_{abcd} R_{efgh} \nonumber \\&\quad + C_5^{\text {}} F^{bc}{}_{hi}{}^{,a} \ F^{fghi,e} R_{abcd} R_{efg}{}^{d}\nonumber \\&\quad + C_6^{\text {}} F^{be}{}_{hi}{}^{,a} F^{fghi,c} R_{abcd} \ R_{efg}{}^{d}\nonumber \\&\quad + C_7^{\text {}} F^{be}{}_{hi}{}^{,a} \ F^{cfhi,g} R_{abcd} R_{efg}{}^{d}\nonumber \\&\quad + C_8^{\text {}} F^{ce}{}_{hi}{}^{,a} \ F^{fghi,b} R_{abcd} R_{efg}{}^{d}\nonumber \\&\quad + C_9^{\text {}} F^{bghi,f} F^{ce}{}_{hi}{}^{,a} R_{abcd} \ R_{efg}{}^{d}\nonumber \\&\quad + C_{10}^{\text {}} F^{abfh,i} F^{ceg}{}_{h,i} R_{abcd} R_{efg}{}^{d} \nonumber \\&\quad + C_{11}^{\text {}} F^{abf}{}_{i,h} F^{cegh,i} R_{abcd} R_{efg}{}^{d} \nonumber \\&\quad + C_{12}^{\text {}} F^{bahi,g} F^{ef}{}_{hi}{}^{,c} R_{abcd} R_{efg}{}^{d} \nonumber \\&\quad + C_{13}^{\text {}} F^{bf}{}_{gh,i} F^{degh,i} R_{abcd} R_{e}{}^{a}{}_{f}{}^{c} \nonumber \\&\quad + C_{14}^{\text {}} F^{bd}{}_{gh,i} \ F^{efgh,i} R_{abcd} R_{e}{}^{a}{}_{f}{}^{c} \nonumber \\&\quad + C_{15}^{\text {}} F^{dghi,e} F^{f}{}_{ghi}{}^{,b} R_{abcd} R_{e}{}^{a}{}_{f}{}^{c} \nonumber \\&\quad + C_{16}^{\text {}} F^{d}{}_{ghi}{}^{,b} F^{fghi,e} R_{abcd} R_{e}{}^{a}{}_{f}{}^{c} \nonumber \\&\quad + C_{17}^{\text {}} \ F^{e}{}_{ghi}{}^{,b} F^{fghi,d} R_{abcd} R_{e}{}^{a}{}_{f}{}^{c}\nonumber \\&\quad + C_{18}^{\text {}} F^{bghi,d} F^{ef}{}_{gh,i} R_{abcd} R_{e}{}^{a}{}_{f}{}^{c} \nonumber \\&\quad + C_{19}^{\text {}} \ F^{ae}{}_{gh,i} F^{bfgh,i} R_{abcd} R_{ef}{}^{cd} \nonumber \\&\quad + C_{20}^{\text {}} \ F^{e}{}_{ghi}{}^{,a} F^{fghi,b} R_{abcd} R_{ef}{}^{cd}\nonumber \\&\quad + C_{21}^{\text {}} F^{bghi,f} F^{e}{}_{ghi}{}^{,a} R_{abcd} R_{ef}{}^{cd}\nonumber \\&\quad + C_{22}^{\text {}} F_{fghi}{}^{,b} F^{fghi,e} R_{abcd} R_{e}{}^{acd} \nonumber \\&\quad + C_{23}^{\text {}} F^{b}{}_{fgh,i} F^{efgh,i} R_{abcd} R_{e}{}^{acd}\nonumber \\&\quad +C_{24}^{\text {}} F^{eghi,f} F_{fghi,e} R_{abcd} R^{abcd}, \end{aligned}$$
(3.1)

where comma on the 4-form indices refers to a partial derivative with respect to the index afterwards. To find the unknown coefficients, we impose the following two constraints on the above ansatz:

  1. 1.

    The terms with structure \( (\partial {F_4})^2 R^2 \) in \( D = 11 \) should transform to \( (\partial {F_4})^2 R^2 \) in \( D = 10 \) under dimensional reduction.

  2. 2.

    Upon dimensional reduction rules, the terms with structure \( (\partial {F_4}_{z})^2 R^2 \) in \( D = 11 \) should convert to \( (\partial H)^2 R^2 \) in \( D = 10 \).

By splitting the indices of ansatz, one may consider the terms with structure \( (\partial {F_4})^2 R^2 \) in which the 4-form field strength and the Riemann tensor. One can shift them to ten dimensions according to the rules (1.3) and (1.7). These terms are similar to the 11-dimensional ones but with indices in ten dimensions, as was expected. The corresponding couplings in type IIA supergravity have been previously found in [25,26,27,28]. On the other hand, the terms \( (\partial H)^2 R^2 \) in ten dimensions which are obtained by applying the above second constraint on the terms in which each 4-form field strength carries one Killing index and the Riemann tensors carry no one, have the following form

$$\begin{aligned}&-2 C_6 H_{a}{}^{ef,g} H^{abc,d} R_{bdg}{}^{h} R_{cefh} \nonumber \\&- C_1 H^{abc,d} H^{efg,h} R_{abde} R_{cfgh} \nonumber \\&- C_{10} H^{abc,d} H^{efg}{}_{,d} R_{abe}{}^{h} R_{cfgh} \nonumber \\&- 2 C_7 H_{a}{}^{ef,g} H^{abc,d} R_{bde}{}^{h} R_{cfgh} \nonumber \\&+ 2 C_{19} H_{a}{}^{ef}{}_{,d} H^{abc,d} R_{be}{}^{gh} R_{cfgh} \nonumber \\&+ C_3 H^{abc,d} H^{efg,h} R_{aebf} R_{cgdh} \nonumber \\&+ 2 C_9 H_{a}{}^{ef,g} H^{abc,d} R_{bge}{}^{h} R_{chdf} \nonumber \\&+ C_2 H^{abc,d} H^{efg,h} R_{aebf} R_{chdg} \nonumber \\&+ 2 C_{13} H_{a}{}^{ef}{}_{,d} H^{abc,d} R_{b}{}^{g}{}_{e}{}^{h} R_{chfg} \nonumber \\&+ 3 C_{21} H_{ab}{}^{e,f} H^{abc,d} R_{cf}{}^{gh} R_{degh} \nonumber \\&+ 3 C_{20} H_{ab}{}^{e,f} H^{abc,d} R_{ce}{}^{gh} R_{dfgh} \nonumber \\&- 2 C_8 H_{a}{}^{ef,g} H^{abc,d} R_{bec}{}^{h} R_{dgfh} \nonumber \\&+ 3 C_{17} H_{ab}{}^{e,f} H^{abc,d} R_{c}{}^{g}{}_{e}{}^{h} R_{dgfh}\nonumber \\&- 2 C_{12} H_{a}{}^{ef,g} H^{abc,d} R_{bcg}{}^{h} R_{dhef} \nonumber \\&+ 3 C_{15} H_{ab}{}^{e,f} H^{abc,d} R_{c}{}^{g}{}_{f}{}^{h} R_{dheg}\nonumber \\&- 3 C_{23} H_{ab}{}^{e}{}_{,d} H^{abc,d} R_{c}{}^{fgh} R_{efgh} \nonumber \\&- 4 C_{22} H_{abc}{}^{,e} H^{abc,d} R_{d}{}^{fgh} R_{efgh} \nonumber \\&+ 2 C_5 H_{a}{}^{ef,g} H^{abc,d} R_{bdc}{}^{h} R_{egfh} \nonumber \\&- 2 C_{18} H_{ad}{}^{e,f} H^{abc,d} R_{b}{}^{g}{}_{c}{}^{h} R_{egfh} \nonumber \\&+ 2 C_{14} H_{a}{}^{ef}{}_{,d} H^{abc,d} R_{b}{}^{g}{}_{c}{}^{h} R_{egfh} \nonumber \\&+ 3 C_{16} H_{ab}{}^{e,f} H^{abc,d} R_{c}{}^{g}{}_{d}{}^{h} R_{egfh} \nonumber \\&+ 3 C_{24} H_{abd,c} H^{abc,d} R_{efgh} R^{efgh}. \end{aligned}$$
(3.2)

It also has been shown that the \( (\partial H)^2 R^2 \) terms in the 10-dimensional effective action can be obtained from the known \( R^4 \) action by extending the Riemann curvature to the generalized Riemann curvature [24].

By comparing the results obtained from the above two constraints with the corresponding ones in ten dimensions, one observes that both constraints lead to the same relations between the unknown coefficients as

$$\begin{aligned}&\{ C_{13} \rightarrow -128 + C_{1}/2, C_{16} \rightarrow 256 - C_{1} \nonumber \\&\qquad + (2 C_{10})/3 - C_{15}, C_{17} \rightarrow -(512/3) + C_{1} \nonumber \\&\qquad - (2 C_{10})/3, C_{18} \rightarrow 256 - C_{1} - 2 C_{14} \nonumber \\&\qquad + 3 C_{15}, C_{19} \rightarrow 128 - C_{1}/4 + C_{12} - C_{14}/2,\nonumber \\&\quad C_{2} \rightarrow C_{1}, C_{20} \rightarrow -128 \nonumber \\&\qquad + C_{1}/6 - (2 C_{12})/3 \nonumber \\&\qquad + C_{14}/3 + C_{15}/2, C_{21} \rightarrow C_{1}/3 - C_{10}/3 \nonumber \\&\qquad + (2 C_{12})/3 - C_{14}/3 + C_{15}/2, C_{22} \nonumber \\&\qquad \rightarrow 128/3 - C_{1}/6 \nonumber \\&\qquad + C_{10}/8 - C_{15}/4, C_{23} \rightarrow 256/3 \nonumber \\&\qquad - C_{1}/3 + C_{10}/6, C_{24} \rightarrow 32 - C_{1}/8 + C_{10}/12\nonumber \\&\qquad - C_{15}/8, C_{3} \rightarrow -256 - 4 C_{12}, C_{4} \rightarrow 128 \nonumber \\&\qquad - C_{1}/4 + C_{10}/2 + C_{11}/2, C_{5} \rightarrow -512 \nonumber \\&\qquad + 2 C_{1} - C_{10}, C_{6} \nonumber \\&\qquad \rightarrow 1024 - 4 C_{1} + 2 C_{10} + 8 C_{12},\nonumber \\&\quad C_{7} \rightarrow 256 + 4 C_{12}, C_{8} \rightarrow -1280 + 4 C_{1} - 2 C_{10} \nonumber \\&\qquad - 4 C_{12}, C_{9} \rightarrow -256 + 2 C_{1} - C_{10} \}. \end{aligned}$$
(3.3)

Having had these conditions, one can put them into the ansatz to find the \( (\partial {F_4})^2 R^2 \) terms in 11 dimensions. Here also by doing so, we are left with a coupling with some determined and undetermined coefficients, but the terms containing undetermined coefficients vanish when we rewrite them in terms of independent variables. The final result is summarized as follows:

$$\begin{aligned}&{e^{-1}\mathcal{L}_{(\partial {F_4})^2 R^2}}=\frac{32}{3} \left( 3 F^{eghi,f} F_{fghi,e} R_{abcd} R^{abcd} \right. \nonumber \\&\left. \quad + 8 F^{b}{}_{fgh,i} F^{efgh,i} R_{abcd} R_{e}{}^{acd} \right. \nonumber \\&\quad + 4 F_{fghi}{}^{,b} F^{fghi,e} R_{abcd} R_{e}{}^{acd}\nonumber \\&\quad - 12 F^{bf}{}_{gh,i} F^{degh,i} R_{abcd} R_{e}{}^{a}{}_{f}{}^{c} \nonumber \\&\quad + 24 F^{bghi,d} F^{ef}{}_{gh,i} R_{abcd} R_{e}{}^{a}{}_{f}{}^{c} \nonumber \\&\quad - 16 F^{e}{}_{ghi}{}^{,b} F^{fghi,d} R_{abcd} R_{e}{}^{a}{}_{f}{}^{c} \nonumber \\&\quad + 24 F^{d}{}_{ghi}{}^{,b} F^{fghi,e} R_{abcd} R_{e}{}^{a}{}_{f}{}^{c} \nonumber \\&\quad + 12 F^{ae}{}_{gh,i} F^{bfgh,i} R_{abcd} R_{ef}{}^{cd} \nonumber \\&\quad - 12 F^{e}{}_{ghi}{}^{,a} F^{fghi,b} R_{abcd} \ R_{ef}{}^{cd} \nonumber \\&\quad - 24 F^{bghi,f} F^{ce}{}_{hi}{}^{,a} R_{abcd} R_{efg}{}^{d} \nonumber \\&\quad + 24 F^{be}{}_{hi}{}^{,a} F^{cfhi,g} R_{abcd} R_{efg}{}^{d} \nonumber \\&\quad - 120 F^{ce}{}_{hi}{}^{,a} F^{fghi,b} R_{abcd} \ R_{efg}{}^{d} \nonumber \\&\quad + 96 F^{be}{}_{hi}{}^{,a} F^{fghi,c} R_{abcd} R_{efg}{}^{d}\nonumber \\&\quad - 48 F^{bc}{}_{hi}{}^{,a} F^{fghi,e} R_{abcd} R_{efg}{}^{d} \nonumber \\&\quad \left. - 24 F^{acg}{}_{i}{}^{,e} F^{bdhi,f} R_{abcd} \ R_{efgh}\right. \nonumber \\&\left. \quad + 12 F^{cdgh}{}_{,i} F^{iabe,f} R_{abcd} R_{efgh}\right) . \end{aligned}$$
(3.4)

4 \( (\partial {F_4})^4 \) terms

The basis for the \( (\partial {F_4})^4 \) terms (at linearised on-shell level) [11] is given by

$$\begin{aligned}&C_1 F^{aehj,i} F_{bcde,a} F^{c}{}_{fgh}{}^{,b} \ F^{dg}{}_{ij}{}^{,f} \nonumber \\&\quad + C_2 F^{a}{}_{fgh}{}^{,b} F_{bcde,a} \ F^{cdf}{}_{j,i} F^{eghi,j} \nonumber \\&\quad + C_3 F_{bcde,a} \ F^{b}{}_{fgh}{}^{,a} F^{cdf}{}_{j,i} F^{eghj,i} \nonumber \\&\quad + C_4 F^{ad}{}_{ij}{}^{,f} F_{bcde,a} \ F^{c}{}_{fgh}{}^{,b} F^{eghj,i} \nonumber \\&\quad + C_5 F_{bcde,a} \ F^{b}{}_{fgh}{}^{,a} F^{df}{}_{ij}{}^{,c} F^{eghj,i} \nonumber \\&\quad + C_6 \ F^{ac}{}_{fg}{}^{,b} F_{bcde,a} F^{df}{}_{ij,h} F^{eghj,i} \nonumber \\&\quad + C_7 F_{bcde,a} F^{bc}{}_{fg}{}^{,a} F^{df}{}_{ij,h} \ F^{eghj,i} \nonumber \\&\quad + C_8 F_{bcde,a} F^{cdf}{}_{j}{}^{,b} F^{ehij,g} \ F_{fghi}{}^{,a} \nonumber \\&\quad + C_9 F^{aghi,j} F_{bcde,a} \ F^{cde}{}_{j}{}^{,f} F_{fghi}{}^{,b} \nonumber \\&\quad + C_{10} F^{aehi,j} F_{bcde,a} F^{cdg}{}_{j}{}^{,f} \ F_{fghi}{}^{,b} \nonumber \\&\quad + C_{11} F^{acd}{}_{j}{}^{,f} F_{bcde,a} \ F^{ehij,g} F_{fghi}{}^{,b} \nonumber \\&\quad + C_{12} F_{bcde,a} \ F^{b}{}_{fgh}{}^{,a} F^{cde}{}_{j,i} F^{fghi,j} \nonumber \\&\quad + C_{13} F_{bcde,a} F^{cdej,i} F_{fghi}{}^{,a} \ F^{fgh}{}_{j}{}^{,b} \nonumber \\&\quad + C_{14} F^{ac}{}_{fg}{}^{,b} \ F_{bcde,a} F^{de}{}_{ij,h} F^{fghj,i} \nonumber \\&\quad + C_{15} F_{bcde,a} \ F^{b}{}_{fgh}{}^{,a} F^{ehij,d} F^{fg}{}_{ij}{}^{,c} \nonumber \\&\quad + C_{16} F^{aeij,h} F_{bcde,a} F^{c}{}_{fgh}{}^{,b} \ F^{fg}{}_{ij}{}^{,d} \nonumber \\&\quad + C_{17} F^{ac}{}_{fg}{}^{,b} \ F_{bcde,a} F^{e}{}_{hij}{}^{,d} F^{fgij,h} \nonumber \\&\quad + C_{18} F_{bcde,a} F^{bc}{}_{fg}{}^{,a} F^{ehij,g} \ F^{f}{}_{hij}{}^{,d} \nonumber \\&\quad + C_{19} F_{bcde,a} \ F^{bcd}{}_{f}{}^{,a} F^{e}{}_{hij,g} F^{fhij,g} \nonumber \\&\quad + C_{20} F^{acde,j} F_{bcde,a} F_{fghi}{}^{,b} \ F^{ghi}{}_{j}{}^{,f} \nonumber \\&\quad + C_{21} F_{bcde,a} \ F^{b}{}_{fgh}{}^{,a} F^{cde}{}_{j,i} F^{ghij,f} \nonumber \\&\quad + C_{22} \ F_{bcde,a} F^{bc}{}_{fg}{}^{,a} F^{e}{}_{hij}{}^{,d} F^{ghij,f} \nonumber \\&\quad + C_{23} F_{bcde,a} F^{bcd}{}_{f}{}^{,a} F_{ghij}{}^{,e} \ F^{ghij,f}\nonumber \\&\quad + C_{24} F_{bcde,a} F^{bcde,a} F_{ghij,f} \ F^{ghij,f}. \end{aligned}$$
(4.1)

In order to determine the coefficients of these linear combinations of terms in the effective action, it is necessary to consider three following constraints:

  1. 1.

    The terms in the form \( (\partial {F_4})^4 \) with no Killing index in \( D = 11 \) should transform to \( (\partial {F_4})^4 \) couplings in \( D = 10 \).

  2. 2.

    The terms with structure \( (\partial {F_4})^2 (\partial {F_4}_{z})^2 \) in \( D = 11 \) should convert to the terms \( (\partial {F_4})^2 (\partial H)^2 \) in \( D = 10 \).

  3. 3.

    The \( (\partial {F_4}_{z})^4 \) terms in \( D = 11 \) should produce \( (\partial H)^4 \) couplings in \( D = 10 \).

Let us first focus on the terms with structure \((\partial {F_4})^4\) in 10 dimensions. To obtain the 10-dimensional version of these couplings, we first put the above basis under dimensionally-reduction and then select the terms \( (\partial {F_4})^4 \) in the dimensionally reduced theory in which none of the 4-form field strengths contains any Killing index. These terms acquire the same form as 11-dimensional ones but with indices in ten dimensions using the transformation (1.3). The corresponding 10-dimensional couplings are also obtained in [25, 29].

On the other hand, the \( (\partial {F_4})^2 (\partial H)^2 \) couplings in ten dimensions can be found by applying dimensional reduction on the above ansatz and choosing the terms in which two of the 4-form field strengths carry one Killing index while the two other ones carry no one. These terms are then transformed to \( (\partial {F_4})^2 (\partial H)^2 \), using the compactification rule (1.3). They take the following explicit form:

$$\begin{aligned}&8 C_{24} F_{efgh,i} F^{efgh,i} H_{abc,d} H^{abc,d}\nonumber \\&\quad + 4 \ C_{23} F_{d}{}^{fgh,i} F_{efgh,i} H_{abc}{}^{,e} \ H^{abc,d} \nonumber \\&\quad + 6 C_{20} F_{e}{}^{fgh,i} F_{fghi,c} \ H_{abd}{}^{,e} H^{abc,d} \nonumber \\&\quad + 6 C_{19} F_{c}{}^{fgh,i} F_{efgh,i} \ H_{ab}{}^{e}{}_{,d} H^{abc,d} \nonumber \\&\quad + 3 C_{23} F_{fghi,e} \ F^{fghi}{}_{,c} H_{ab}{}^{e}{}_{,d} H^{abc,d} \nonumber \\&\quad + 3 C_{18} F_{cf}{}^{gh,i} F_{degh,i} H_{ab}{}^{e,f} \ H^{abc,d} \nonumber \\&\quad - 6 C_{13} F_{c}{}^{ghi}{}_{,e} F_{dghi,f} \ H_{ab}{}^{e,f} H^{abc,d}\nonumber \\&\quad + 3 C_{22} F_{cd}{}^{gh,i} \ F_{efgh,i} H_{ab}{}^{e,f} H^{abc,d} \nonumber \\&\quad + 3 C_{21} F_{cd}{}^{gh,i} F_{eghi,f} H_{ab}{}^{e,f} \ H^{abc,d} \nonumber \\&\quad - 6 C_9 F_{d}{}^{ghi}{}_{,e} F_{fghi,c} \ H_{ab}{}^{e,f} H^{abc,d} \nonumber \\&\quad + 6 C_{12} F_{c}{}^{ghi}{}_{,d} \ F_{fghi,e} H_{ab}{}^{e,f} H^{abc,d}\nonumber \\&\quad - 2 C_{11} F_{bf}{}^{gh,i} F_{cghi,e} H_{ad}{}^{e,f} \ H^{abc,d} \nonumber \\&\quad + 4 C_8 F_{be}{}^{gh,i} F_{cghi,f} \ H_{ad}{}^{e,f} H^{abc,d} \nonumber \\&\quad + 2 C_{17} F_{bc}{}^{gh,i} \ F_{efgi,h} H_{ad}{}^{e,f} H^{abc,d} \nonumber \\&\quad - 2 C_{21} F_{b}{}^{ghi}{}_{,c} F_{eghi,f} \ H_{ad}{}^{e,f} H^{abc,d}\nonumber \\&\quad - 2 C_{11} F_{be}{}^{gh,i} \ F_{fghi,c} H_{ad}{}^{e,f} H^{abc,d} \nonumber \\&\quad + 2 C_7 \ F_{be}{}^{gh,i} F_{cfgi,h} H_{a}{}^{ef}{}_{,d} H^{abc,d} \nonumber \\&\quad + 2 C_{22} F_{b}{}^{ghi}{}_{,c} F_{eghi,f} \ H_{a}{}^{ef}{}_{,d} H^{abc,d} \nonumber \\&\quad + 2 C_{18} \ F_{b}{}^{ghi}{}_{,e} F_{fghi,c} H_{a}{}^{ef}{}_{,d} H^{abc,d} \nonumber \\&\quad + 2 C_5 F_{bde}{}^{h,i} F_{cfhi,g} H_{a}{}^{ef,g} \ H^{abc,d} \nonumber \\&\quad + 4 C_3 F_{be}{}^{hi}{}_{,d} F_{cfhi,g} \ H_{a}{}^{ef,g} H^{abc,d} \nonumber \\&\quad - 2 C_{16} F_{bcg}{}^{h,i} \ F_{dehi,f} H_{a}{}^{ef,g} H^{abc,d} \nonumber \\&\quad + 2 C_{10} F_{bg}{}^{hi}{}_{,c} F_{dehi,f} \ H_{a}{}^{ef,g} H^{abc,d} \nonumber \\&\quad + 2 C_{15} F_{bce}{}^{h,i} \ F_{dfgh,i} H_{a}{}^{ef,g} H^{abc,d} \nonumber \\&\quad - 2 C_{16} F_{bc}{}^{hi}{}_{,e} F_{dfgh,i} \ H_{a}{}^{ef,g} H^{abc,d} \nonumber \\&\quad + 4 C_2 F_{bg}{}^{hi}{}_{,e} \ F_{dfhi,c} H_{a}{}^{ef,g} H^{abc,d} \nonumber \\&\quad + 2 C_{15} \ F_{bce}{}^{h,i} F_{dfhi,g} H_{a}{}^{ef,g} H^{abc,d} \nonumber \\&\quad + 2 C_{17} F_{bcd}{}^{h,i} F_{eghi,f} H_{a}{}^{ef,g} \ H^{abc,d} \nonumber \\&\quad + 4 C_{14} F_{bd}{}^{hi}{}_{,c} F_{eghi,f} \ H_{a}{}^{ef,g} H^{abc,d} \nonumber \\&\quad + 2 C_4 F_{bde}{}^{h,i} \ F_{fghi,c} H_{a}{}^{ef,g} H^{abc,d} \nonumber \\&\quad + 2 C_{10} F_{bd}{}^{hi}{}_{,e} F_{fghi,c} \ H_{a}{}^{ef,g} H^{abc,d}\nonumber \\&\quad + C_7 F_{be}{}^{gh,i} \ F_{cfgh,i} H^{abc,d} H_{d}{}^{ef}{}_{,a} \nonumber \\&\quad + 2 C_6 \ F_{be}{}^{gh,i} F_{cfgi,h} H^{abc,d} H_{d}{}^{ef}{}_{,a} \nonumber \\&\quad + 2 C_{14} F_{bc}{}^{gh,i} F_{efgi,h} H^{abc,d} \ H_{d}{}^{ef}{}_{,a} \nonumber \\&\quad - C_{17} F_{bc}{}^{gh,i} \ F_{eghi,f} H^{abc,d} H_{d}{}^{ef}{}_{,a} \nonumber \\&\quad + 4 C_1 F_{aeg}{}^{h,i} F_{bfhi,c} H^{abc,d} \ H_{d}{}^{ef,g} \nonumber \\&\quad - C_4 F_{ae}{}^{hi}{}_{,f} F_{bghi,c} \ H^{abc,d} H_{d}{}^{ef,g} \nonumber \\&\quad + C_4 F_{abg}{}^{h,i} \ F_{cehi,f} H^{abc,d} H_{d}{}^{ef,g} \nonumber \\&\quad + C_5 F_{abe}{}^{h,i} F_{cfgh,i} H^{abc,d} \ H_{d}{}^{ef,g} \nonumber \\&\quad - C_{15} F_{ab}{}^{hi}{}_{,e} \ F_{cfhi,g} H^{abc,d} H_{d}{}^{ef,g} \nonumber \\&\quad - C_5 \ F_{ae}{}^{hi}{}_{,b} F_{cfhi,g} H^{abc,d} H_{d}{}^{ef,g} \nonumber \\&\quad + C_{21} F_{abc}{}^{h,i} F_{efgh,i} H^{abc,d} \ H_{d}{}^{ef,g} \nonumber \\&\quad + 2 C_{10} F_{abg}{}^{h,i} F_{efhi,c} \ H^{abc,d} H_{d}{}^{ef,g}\nonumber \\&\quad - C_{16} F_{ag}{}^{hi}{}_{,b} \ F_{efhi,c} H^{abc,d} H_{d}{}^{ef,g} \nonumber \\&\quad - 2 C_{22} F_{abc}{}^{h,i} F_{efhi,g} H^{abc,d} \ H_{d}{}^{ef,g} \nonumber \\&\quad - C_{17} F_{ab}{}^{hi}{}_{,c} \ F_{eghi,f} H^{abc,d} H_{d}{}^{ef,g} \nonumber \\&\quad + C_4 \ F_{abe}{}^{h,i} F_{fghi,c} H^{abc,d} H_{d}{}^{ef,g} \nonumber \\&\quad + C_{16} F_{ab}{}^{hi}{}_{,e} F_{fghi,c} H^{abc,d} \ H_{d}{}^{ef,g} \nonumber \\&\quad + 2 C_3 F_{abe}{}^{h,i} F_{cfgh,i} \ H^{abc,d} H^{efg}{}_{,d} \nonumber \\&\quad - C_5 F_{abe}{}^{h,i} \ F_{cfhi,g} H^{abc,d} H^{efg}{}_{,d} \nonumber \\&\quad + C_{15} F_{ab}{}^{hi}{}_{,e} F_{cfhi,g} H^{abc,d} \ H^{efg}{}_{,d} \nonumber \\&\quad + C_{12} F_{abc}{}^{h,i} F_{efgi,h} \ H^{abc,d} H^{efg}{}_{,d} \nonumber \\&\quad - C_{21} F_{abc}{}^{h,i} \ F_{efhi,g} H^{abc,d} H^{efg}{}_{,d} \nonumber \\&\quad - 2 C_1 F_{ade}{}^{i}{}_{,f} F_{bghi,c} H^{abc,d} \ H^{efg,h} \nonumber \\&\quad - C_5 F_{abe}{}^{i}{}_{,h} F_{cdfi,g} \ H^{abc,d} H^{efg,h} \nonumber \\&\quad + C_4 F_{abe}{}^{i}{}_{,f} \ F_{cdgh,i} H^{abc,d} H^{efg,h} \nonumber \\&\quad - C_{15} F_{abef}{}^{,i} F_{cdgi,h} H^{abc,d} \ H^{efg,h}\nonumber \\&\quad + C_{11} F_{abdh}{}^{,i} F_{cefi,g} H^{abc,d} \ H^{efg,h} \nonumber \\&\quad - 2 C_8 F_{abd}{}^{i}{}_{,h} F_{cefi,g} \ H^{abc,d} H^{efg,h} \nonumber \\&\quad + C_8 F_{abde}{}^{,i} F_{cfgh,i} H^{abc,d} H^{efg,h} \ \nonumber \\&\quad + 2 C_3 F_{abe}{}^{i}{}_{,h} F_{cfgi,d} H^{abc,d} \ H^{efg,h} \nonumber \\&\quad + 4 C_7 F_{abe}{}^{i}{}_{,d} F_{cfhi,g} \ H^{abc,d} H^{efg,h} \nonumber \\&\quad + 4 C_6 F_{ade}{}^{i}{}_{,b} F_{cfhi,g} H^{abc,d} \ H^{efg,h} \nonumber \\&\quad - C_5 F_{abe}{}^{i}{}_{,f} F_{cghi,d} \ H^{abc,d} H^{efg,h} \nonumber \\&\quad + C_{13} F_{abch}{}^{,i} F_{defg,i} \ H^{abc,d} H^{efg,h} \nonumber \\&\quad + 2 C_2 F_{abh}{}^{i}{}_{,e} F_{dfgi,c} H^{abc,d} \ H^{efg,h} \nonumber \\&\quad - 2 C_{18} F_{abc}{}^{i}{}_{,e} F_{dfgi,h} \ H^{abc,d} H^{efg,h} \nonumber \\&\quad + 2 C_{19} F_{abc}{}^{i}{}_{,d} \ F_{efgi,h} H^{abc,d} H^{efg,h} \nonumber \\&\quad + C_{11} F_{abde}{}^{,i} F_{fghi,c} H^{abc,d} \ H^{efg,h}. \end{aligned}$$
(4.2)

As already mentioned above, the corresponding 10-dimensional couplings in type IIA supergravity can be found in [25,26,27,28]. Imposing the first two constraints with this requirement that the couplings obtained from dimensional reduction should be consistent with the corresponding 10-dimensional ones, leads to the same relations between the unknown coefficients as

$$\begin{aligned}&\{C_{11} \rightarrow 0, C_{16} \rightarrow -128 + C_{10} - 2 C_{14}, C_{19} \nonumber \\&\quad \rightarrow 64/9 + C_{14}/9, C_{2} \rightarrow 128 - C_{10} + 3 C_{14},\nonumber \\&\quad C_{20} \rightarrow -(128/9) + 2 C_{12} - C_{13} - C_{14}/9 \nonumber \\&\quad + C_{18}/3, C_{21} \rightarrow 128 - (2 C_{10})/3 - 3 C_{12} \nonumber \\&\quad + 3 C_{13} + (4 C_{14})/3 - C_{18}, C_{22} \rightarrow -(448/3) \nonumber \\&\quad + (2 C_{10})/3 + 3 C_{12} - 3 C_{13} - 2 C_{14} + C_{18}, \nonumber \\&\quad C_{23} \rightarrow -(32/9) - C_{13}/4 - C_{14}/18 + C_{18}/12, C_{24} \nonumber \\&\quad \rightarrow -(2/9) + C_{12}/32, C_{3} \rightarrow -64 + C_{10} \nonumber \\&\quad - 2 C_{14}, C_{5} \rightarrow 512 - 8 C_{10} + 16 C_{14} - 2 C_{15} + C_{4}, C_{6} \nonumber \\&\quad \rightarrow -768 + C_{1}/2 + 6 C_{10} + 18 C_{12} \nonumber \\&\quad - 18 C_{13} - 16 C_{14} - 2 C_{17}, C_{7} \rightarrow 192 \nonumber \\&\quad - 9 C_{12} + 9 C_{13} + 2 C_{14} + C_{15} + C_{17} - C_{4}/2, \nonumber \\&\quad C_{8} \rightarrow 128 + 2 C_{14} - 3 C_{18}, C_{9}\nonumber \\&\quad \rightarrow -(128/9) + C_{12} - C_{13}\}. \end{aligned}$$
(4.3)

Now, we are going to impose the third constraint. To this end, among other couplings in dimensionally-reduced theory, we select the terms in which each 4-form field strengths carries one Killing index. They convert to \( (\partial H)^4 \) in the compactified theory due to the transformation (1.3). They read:

$$\begin{aligned}&-2 C_5 H_{ad}{}^{e,f} H^{abc,d} H_{be}{}^{g,h} H_{cfg,h} \nonumber \\&+ 4 C_3 H_{a}{}^{ef}{}_{,d} H^{abc,d} H_{be}{}^{g,h} \ H_{cfg,h} \nonumber \\&+ 2 C_7 H_{a}{}^{ef}{}_{,d} H^{abc,d} \ H_{be}{}^{g,h} H_{cfh,g} \nonumber \\&- 4 C_8 H_{ad}{}^{e,f} H^{abc,d} H_{be}{}^{g,h} \ H_{cgh,f} \nonumber \\&+ 6 C_{18} H_{ab}{}^{e,f} H^{abc,d} \ H_{cf}{}^{g,h} H_{deg,h} \nonumber \\&+ 2 C_{15} H_{ab}{}^{e,f} \ H^{abc,d} H_{ce}{}^{g,h} H_{dfg,h} \nonumber \\&- 2 C_{16} H_{ab}{}^{e,f} H^{abc,d} H_{c}{}^{gh}{}_{,e} \ H_{dfg,h}\nonumber \\&+ (4 C_2 + C_6) H_{a}{}^{ef,g} \ H^{abc,d} H_{bg}{}^{h}{}_{,e} H_{dfh,c} \nonumber \\&+ (2 C_{16} + C_4) H_{ab}{}^{e,f} H^{abc,d} H_{cf}{}^{g,h} \ H_{dgh,e} \nonumber \\&+ 2 C_{15} H_{ab}{}^{e,f} H^{abc,d} \ H_{ce}{}^{g,h} H_{dgh,f} \nonumber \\&- 9 C_{13} H_{ab}{}^{e,f} \ H^{abc,d} H_{c}{}^{gh}{}_{,e} H_{dgh,f} \nonumber \\&- C_1 H_{ad}{}^{e,f} H^{abc,d} H_{b}{}^{gh}{}_{,c} \ H_{efg,h} \nonumber \\&+ 6 C_{22} H_{ab}{}^{e,f} H^{abc,d} \ H_{cd}{}^{g,h} H_{efg,h} \nonumber \\&+ 9 C_{19} H_{ab}{}^{e}{}_{,d} \ H^{abc,d} H_{c}{}^{fg,h} H_{efg,h} \nonumber \\&+ (- C_{18} + C_{22} + 12 C_{23}) \ H_{abc}{}^{,e} H^{abc,d} H_{d}{}^{fg,h} H_{efg,h} \nonumber \\&- 2 C_{17} H_{abd}{}^{,e} H^{abc,d} H_{c}{}^{fg,h} H_{efh,g} \nonumber \ \\&+ 2 C_7 H_{ab}{}^{e}{}_{,d} H^{abc,d} H_{c}{}^{fg,h} \ H_{efh,g} \nonumber \\&+ 2 (2 C_{14} + C_6) \ H_{ad}{}^{e}{}_{,b} H^{abc,d} H_{c}{}^{fg,h} H_{efh,g} \nonumber \\&- 2 (C_1 + 2 C_{10}) H_{ad}{}^{e,f} H^{abc,d} H_{bf}{}^{g,h} \ H_{egh,c}\nonumber \\&- C_5 H_{ab}{}^{e,f} H^{abc,d} H_{cf}{}^{g,h} \ H_{egh,d} \nonumber \\&+ C_3 H_{ab}{}^{e,f} H^{abc,d} \ H_{c}{}^{gh}{}_{,f} H_{egh,d} \nonumber \\&+ (-6 C_{21} - C_5) H_{ab}{}^{e,f} H^{abc,d} \ H_{cd}{}^{g,h} H_{egh,f} \nonumber \\&+ C_3 H_{ab}{}^{e,f} H^{abc,d} \ H_{c}{}^{gh}{}_{,d} H_{egh,f}\nonumber \\&+ (C_{19} + 16 C_{24}) H_{abc,d} H^{abc,d} H_{efg,h} H^{efg,h} \nonumber \\&+ \ 2 (2 C_{11} + C_4) H_{ad}{}^{e,f} H^{abc,d} \ H_{be}{}^{g,h} H_{fgh,c} \nonumber \\&+ (- C_{10} - 9 C_9) H_{ab}{}^{e,f} H^{abc,d} H_{d}{}^{gh}{}_{,e} \ H_{fgh,c} \nonumber \\&- 9 C_{20} H_{abd}{}^{,e} H^{abc,d} \ H_{e}{}^{fg,h} H_{fgh,c} \nonumber \\&+ 2 C_{17} H_{ab}{}^{e,f} \ H^{abc,d} H_{cd}{}^{g,h} H_{fgh,e} \nonumber \\&- C_8 H_{abd}{}^{,e} H^{abc,d} H_{c}{}^{fg,h} \ H_{fgh,e} \nonumber \\&+ 9 C_{12} H_{ab}{}^{e,f} H^{abc,d} \ H_{c}{}^{gh}{}_{,d} H_{fgh,e} \nonumber \\&+ C_{21} H_{abc}{}^{,e} \ H^{abc,d} H_{d}{}^{fg,h} H_{fgh,e} \nonumber \\&+ (C_{14} + C_2) H_{ab}{}^{e,f} H^{abc,d} \ H_{d}{}^{gh}{}_{,c} H_{fgh,e}. \end{aligned}$$
(4.4)

The associated couplings in type II theories can be obtained from the known \( R^4 \) action by substituting the Riemann curvature with the generalized Riemann curvature [24]. Matching these couplings leads to the following relations between the unknown coefficients

$$\begin{aligned}&\{C_{22} \rightarrow 32 - C_{10}/9 - (2 C_{11})/9 - 3 C_{12} + 2 C_{13} \nonumber \\&\quad - C_{14}/2 + (2 C_{16})/9 - ( 2 C_{18})/3 \nonumber \\&\quad - (3 C_{19})/2 + C_{2}/3 + C_{20} - (4 C_{21})/3, C_{23} \nonumber \\&\quad \rightarrow -(64/9) + C_{11}/18 + C_{12}/4 - C_{13}/2 \nonumber \\&\quad + C_{14}/18 - C_{16}/18 + C_{18}/ 6 \nonumber \\&\quad - C_{2}/9 + C_{21}/12, C_{24} \rightarrow 1/9 + C_{12}/32 + C_{14}/192 \nonumber \\&\quad - (3 C_{19})/64, C_{3} \rightarrow 32 + C_{14}/2 + (9 C_{19})/2 - C_{2}, C_{5} \nonumber \\&\quad \rightarrow -384 + 4 C_{11} - 2 C_{14} - 2 C_{15}\nonumber \\&\quad - 4 C_{16} - 18 C_{19} + 4 C_{2} + C_{4}, \nonumber \\&\quad C_{6} \rightarrow -128 + C_{1}/2 + 2 C_{11} + 18 C_{12} - 18 C_{13} + 2 C_{14}\nonumber \\&\quad - 2 C_{16} - 2 C_{17} + 18 C_{19} - 8 C_{2}, C_{7} \nonumber \\&\quad \rightarrow 128 + C_{10}/3 - (7 C_{11})/3 + 3 C_{13} + C_{15} + (7 C_{16})/3\nonumber \\&\quad + C_{17} + 2 C_{18} - 9 C_{19} + 2 C_{2} - 3 C_{20} \nonumber \\&\quad + C_{21} - C_{4}/2, C_{8} \rightarrow -96 - C_{10}/3 + (4 C_{11})/3\nonumber \\&\quad + 18 C_{12} - 12 C_{13} + (7 C_{14})/2 - ( 4 C_{16})/3 \nonumber \\&\quad + C_{18} + (27 C_{19})/2 - 3 C_{2} - 6 C_{20} + 2 C_{21},\nonumber \\&\quad C_{9} \rightarrow -(64/9) - C_{10}/9 + C_{12} - C_{13}\nonumber \\&\quad + (2 C_{14})/9 + C_{19} - C_{2}/9\}. \end{aligned}$$
(4.5)

By substituting the condition (4.3) into the basis Eq. (4.1), one finds the following couplings between four 4-form field strengths in 11 dimensions:

$$\begin{aligned}&{e^{-1}\mathcal{L}_{(\partial {F_4})^4}}=\frac{2}{9} \left( 576 F^{a}{}_{fgh}{}^{,b} F_{bcde,a} F^{cdf}{}_{j,i} \ F^{eghi,j}\right. \nonumber \\&\quad \left. - 288 F_{bcde,a} F^{b}{}_{fgh}{}^{,a} F^{cdf}{}_{j,i} \ F^{eghj,i} \right. \nonumber \\&\quad + 2304 F_{bcde,a} F^{b}{}_{fgh}{}^{,a} \ F^{df}{}_{ij}{}^{,c} F^{eghj,i} \nonumber \\&\quad - 3456 F^{ac}{}_{fg}{}^{,b} F_{bcde,a} F^{df}{}_{ij,h} F^{eghj,i} \ \nonumber \\&\quad + 864 F_{bcde,a} F^{bc}{}_{fg}{}^{,a} F^{df}{}_{ij,h} F^{eghj,i}\nonumber \\&\quad + \ 576 F_{bcde,a} F^{cdf}{}_{j}{}^{,b} F^{ehij,g} F_{fghi}{}^{,a} \nonumber \\&\quad - 64 F^{aghi,j} F_{bcde,a} F^{cde}{}_{j}{}^{,f} F_{fghi}{}^{,b}\nonumber \\&\quad - \ 576 F^{aeij,h} F_{bcde,a} F^{c}{}_{fgh}{}^{,b} F^{fg}{}_{ij}{}^{,d} \nonumber \\&\quad + \ 32 F_{bcde,a} F^{bcd}{}_{f}{}^{,a} F^{e}{}_{hij,g} F^{fhij,g} \nonumber \\&\quad - 64 F^{acde,j} F_{bcde,a} F_{fghi}{}^{,b} F^{ghi}{}_{j}{}^{,f} \nonumber \\&\quad + \ 576 F_{bcde,a} F^{b}{}_{fgh}{}^{,a} F^{cde}{}_{j,i} F^{ghij,f} \nonumber \\&\quad - 672 F_{bcde,a} F^{bc}{}_{fg}{}^{,a} F^{e}{}_{hij}{}^{,d} F^{ghij,f} \nonumber \\&\quad \left. - 16 F_{bcde,a} F^{bcd}{}_{f}{}^{,a} F_{ghij}{}^{,e} F^{ghij,f}\right. \nonumber \\&\left. \quad - \ F_{bcde,a} F^{bcde,a} F_{ghij,f} F^{ghij,f}\right) \end{aligned}$$
(4.6)

plus some other terms with unknown coefficients which are zero for the reasons already mentioned. This coupling which has been obtained from the above constraints 1 and 2, automatically satisfies the constraint 3. But the conditions (4.5), which are obtained by applying the constraint 3, do not fix all the unknown coefficients and consequently lead to an incorrect coupling that does not satisfy the other two constraints. This indicates that each of the above constraints alone is necessary but not sufficient to obtain the correct coupling.

5 Discussion

In this paper we have presented a systematic derivation of the modifications to the eleven-dimensional supergravity. In contrast to existing approaches, our analysis is based on the dimensional reduction of 11-dimensional supergravity. Given the complexity of higher-derivative supergravity actions, it is most encouraging that the use of dimensional reduction information has enabled us to find these corrections.

One may also use the algorithm introduced in [29] to reduce the tensor polynomials and rewrite the couplings in their minimal-term forms. We observe that the coupling 2.2 is in its minimal-term form. On the other hand, the reduced (relativity normalized) form of the \( (\partial {F_4})^2 R^2 \) terms can be written as

$$\begin{aligned}&{e^{-1}\mathcal{L}_{(\partial {F_4})^2 R^2}}\nonumber \\&\quad =\frac{64}{3} \left( 12 F^{a g h}{}_{i}{}^{,e} F^{b d f i ,c} R_{a b c d} R_{e f g h} \right. \nonumber \\&\left. \qquad + 12 F^{a c g}{}_{i}{}^{,e} F^{b d f i ,h} R_{a b c d} R_{e f g h} \right. \nonumber \\&\qquad + 12 F^{b g h i ,f} F^{c e}{}_{h i}{}^{,a} R_{a b c d} R_{e f g}{}^{d} \nonumber \\&\qquad - 3 F^{b a h i ,g} F^{e f}{}_{h i}{}^{,c} R_{a b c d} R_{e f g}{}^{d}\nonumber \\&\qquad + 2 F^{b g h i ,f} F^{e}{}_{g h i}{}^{,a} R_{a b c d} R_{e f}{}^{c d} \nonumber \\&\qquad - 2 F^{e}{}_{g h i}{}^{,a} F^{f g h i ,b} R_{a b c d} R_{e f}{}^{c d} \nonumber \\&\qquad - 24 F^{b e}{}_{h i}{}^{,a} F^{f g h i ,c} R_{a b c d} R_{e f g}{}^{d} \nonumber \\&\qquad + 4 F^{e}{}_{g h i}{}^{,b} F^{f g h i ,d} R_{a b c d} R_{e}{}^{a}{}_{f}{}^{c} \nonumber \\&\qquad \left. + 3 F^{c d g h}{}_{,i} F^{i a b e ,f} R_{a b c d} R_{e f g h} \right) . \end{aligned}$$
(5.1)

In the other words, they are different presentations that are equivalent up to symmetries of the various tensors. Furthermore, the (relativity normalized) \( (\partial {F_4})^4 \) terms are given by the following economical form

$$\begin{aligned} {e^{-1}\mathcal{L}_{(\partial {F_4})^4}}= & {} -\frac{128}{3} \left( 72 F_{a b f g ,e} F^{a b c d ,e} F_{c d i j ,h} F^{f g i j ,h}\right. \nonumber \\&\left. -36 F_{a b f g ,i} F^{a b c d ,e} F_{c d j h ,i} F^{f g j h ,e} \right. \nonumber \\&-64 F_{a b c f ,g} F^{a b c d ,e} F_{d i j h ,e} F^{f i j h ,g} \nonumber \\&-F_{a b c d ,e} F^{a b c d ,e} F_{f g i j ,h} F^{f g i j ,h} \nonumber \\&\left. +6 F_{a b c d ,f} F^{a b c d ,e} F_{g i j h ,f} F^{g i j h ,e} \right) . \end{aligned}$$
(5.2)

Our findings in the present paper agree with the results that have been obtained in [11] using superparticle vertex operator correlators in the light-cone gauge, up to an overall factor. We also check our results by calculating the scattering amplitude of massless states in 11 dimensions and find an exact agreement.

As a next future work, it is also interesting to consider higher-derivative corrections to supergravity in 12 dimensions [30,31,32,33,34], whose dimensional reduction on a circle and on a torus yields 11-dimensional and type IIB supergravity, respectively. This also provides the effective field theory of F-theory [35]. Applications to black hole physics [36], brane solutions [37,38,39] and cosmology [40] are also important directions.