---
title: Type IIB 8-Derivative Effective Lagrangian
url: https://www.emergentmind.com/topics/type-iib-eight-derivative-effective-lagrangian
type: topic
---

# Type IIB 8-Derivative Effective Lagrangian

Searching arXiv for the specified paper and closely related work on Type IIB eight-derivative couplings.
arXiv search query: 1107.3353 Type IIB eight derivative effective action R^4 supermultiplet SL(2) SL(3)
The Type IIB eight-derivative effective Lagrangian is the \(O((\alpha')^3)\) correction to the two-derivative Type IIB supergravity action. In Einstein frame it is organized as a supersymmetric completion of the \(R^4\) interaction together with couplings involving the axio-dilaton \(\tau=C^{(0)}+i\,e^{-\phi}\), the complex three-form \(G_3\), and the self-dual five-form \(F_5\). Its coefficient functions are non-holomorphic modular forms, most notably the Eisenstein series \(E_{3/2}(\tau,\bar\tau)\), and in compactifications on \(T^2\) the same eight-derivative data is constrained by supersymmetry into a \(1/2\)-BPS supermultiplet whose couplings satisfy differential equations on \(SO(2)\backslash SL(2,\mathbb R)\) and \(SO(3)\backslash SL(3,\mathbb R)\) moduli space [1702.08404] [1107.3353].

## 1. Basic form of the correction

At the two-derivative level, one representative ten-dimensional bosonic action used in analyses of the eight-derivative sector is
\[
S \;=\;\frac{1}{2\kappa_{10}^2}\int d^{10}x\;\sqrt{-g}\, \Bigl[ R\;-\;\tfrac12\,\partial_M\phi\,\partial^M\phi \;-\;\tfrac1{4\cdot5!}\,F_{M_1\cdots M_5}F^{M_1\cdots M_5} \Bigr]
\;+\;\frac{\alpha'^3}{2\kappa_{10}^2} \int d^{10}x\;\sqrt{-g}\; f^{(0,0)}(\tau,\bar\tau)\;W[g_{MN},\,F_5] \;+\;\cdots,
\]
with \(2\kappa_{10}^2=(2\pi)^7\alpha'^4\), \(\tau=C^{(0)}+i\,e^{-\phi}\), and \(W\) a scalar built from four Weyl tensors \(C_{MNPQ}\) and two five-form torsions \(T_{M_1\cdots M_6}\) [1301.6773]. In the same order of the derivative expansion, another explicit organization writes
\[
S_{(\alpha')^3}=\alpha\int d^{10}x\sqrt{-g}\,\mathcal L^{(3)},\qquad
\alpha=\frac{(\alpha')^3}{3\cdot2^{12}},
\]
and decomposes \(\mathcal L^{(3)}\) by \(U(1)\)-charge into sectors with up to eight powers of \(G_3\) and up to four powers of the Riemann tensor [2205.11530].

The neutral gravitational term is the familiar \(R^4\) structure. In string-frame conventions it appears as
\[
L_{\rm grav}^{(8)}  =\;\alpha'^3\;\Big[\,\zeta(3)\,e^{-2\phi} \;+\;\tfrac{\pi^2}{3}\Big] \;\Big(t_8\,t_8\,R^4+\tfrac18\,\epsilon_{10}\epsilon_{10}R^4\Big),
\]
while in Einstein frame the full coefficient is the non-holomorphic Eisenstein series \(E_{3/2}(\tau,\bar\tau)\) [1702.08404]. The tensor contractions \(t_8t_8R^4\), \(\epsilon_{10}\epsilon_{10}R^4\), and related \(t_{16+2w}\) structures are the basic kinematic building blocks throughout the eight-derivative sector [2205.11530].

A standard misconception is that the topic is exhausted by the single \(R^4\) term. The published formulations instead treat \(R^4\) as the bottom or central component of a larger supersymmetric invariant that also contains \(G_3^{2w}R^{4-w}\), \(F_5\)-dependent terms, axio-dilaton derivative couplings, and fermionic completions [2205.11530] [1301.6773].

## 2. Modular functions and \(SL(2,\mathbb Z)\) covariance

The coefficient of the ten-dimensional \(R^4\) structure is
\[
f^{(0,0)}(\tau,\bar\tau)\;=\; \sum_{(m,n)\neq(0,0)}\;\frac{\tau_2^{\,\tfrac32}}{\lvert m+n\,\tau\rvert^3},
\qquad \tau_2=e^{-\phi},
\]
which is the weight-\(3/2\) non-holomorphic Eisenstein series \(E_{3/2}(\tau,\bar\tau)\) [1301.6773] [1702.08404]. Its weak-coupling expansion begins as
\[
E_{3/2}(\tau,\bar\tau)\simeq 2\,\zeta(3)\,\tau_2^{3/2}+\tfrac{2\pi^2}{3}\,\tau_2^{-1/2}+{\cal O}(e^{-2\pi\tau_2}),
\]
or equivalently \(2\zeta(3)e^{-3\phi/2}+\tfrac{2\pi^2}{3}e^{\phi/2}+\cdots\), encoding tree-level, one-loop, and non-perturbative D-instanton contributions [1702.08404] [1301.6773].

More generally, the \(SL(2,\mathbb Z)\)-covariant coefficient functions that multiply charged sectors are
\[
f_{w}(\tau,\bar\tau)
= \sum_{(m,n)\neq(0,0)}
\tau_2^{3/2}\,|m+n\,\tau|^{-3}\,
\Bigl(\frac{m+\tau n}{m+\bar\tau n}\Bigr)^{w},
\]
which carry \(U(1)\)-charge \(-2w\) and obey
\[
D_{w} f_{w} = \frac{3+2w}{4}\, f_{w+1},
\qquad
D_{w}=i(\tau_2\partial_\tau-iw/2).
\]
These relations encode the modular-covariant ladder structure among the coefficient functions [2205.11530].

Recent five-point analyses sharpen this organization in the scalar-graviton sector. Couplings with an even number of scalars are neutral under \(SL(2,\mathbb Z)\) and are multiplied by \(f_0\), whereas couplings with an odd number of scalars are charged and pair with \(f_{\pm1}\). The corresponding weak-coupling expansions are
\[
f_0 = 2\,\zeta(3)\,\tau_2^{3/2} + \frac{2\pi^2}{3}\,\tau_2^{-1/2} + O(e^{-2\pi\tau_2}),
\]
\[
f_{\pm1} = 2\,\zeta(3)\,\tau_2^{3/2} - \tfrac13\,\frac{2\pi^2}{3}\,\tau_2^{-1/2} + O(e^{-2\pi\tau_2}),
\]
and the kinematic structures appear with the same relative normalization at tree level and one loop [2507.07934].

This structure suggests a general principle: supersymmetry and \(SL(2,\mathbb Z)\) covariance do not merely constrain the overall \(R^4\) coefficient, but sort the entire eight-derivative Lagrangian into neutral and charged sectors with modular forms of definite weight.

## 3. The \(R^4\) supermultiplet on \(T^2\)

For Type IIB compactified on \(T^2\), the eight-derivative interactions form a \(1/2\)-BPS supermultiplet whose bottom component is \(R^4\). In eight-dimensional Einstein frame one writes
\[
L_8
=
f_{R^4}(\tau,\bar\tau;M)\; t_8t_8\,R^4
+g_{F^2R^2}(\tau,\bar\tau;M)\;t_8t_8\,F^{(2)2}R^2
+h_{(F^3)R}(\tau,\bar\tau;M)\;t_8t_8\,F^{(3)2}R
+\cdots
+(\text{fermion completions}),
\]
where the moduli lie on the two cosets \(SL(2)/SO(2)\) and \(SL(3)/SO(3)\), parameterized respectively by \(\tau=\tau_1+i\tau_2\) and a symmetric unimodular matrix \(M_{mn}=L^TL\) [1107.3353].

The relevant metrics on moduli space are
\[
ds^2_{(2)}=\frac{\partial\tau\,\partial\bar\tau}{2\,\tau_2^2},
\qquad
ds^2_{(3)}=\mathrm{Tr}\bigl(P^{(3)}_\mu P^{(3)\,\mu}\bigr),
\]
with \(P^{(2)}_\mu=(D_\mu\tau)/(2i\tau_2)\) and \(P^{(3)}_{mn,\mu}=(L^{-1}\partial_\mu L)_{(mn)}\) [1107.3353]. In an explicit Iwasawa gauge one may choose physical coordinates \((\phi,T,B)\) for the \(SL(3)/SO(3)\) factor, with \(e^{-\phi}\sim \mathrm{Vol}(T^2)\), \(T=T_1+iT_2\), and \(B=B_1+iB_2\) [1107.3353].

Supersymmetry imposes a chain of first-order differential relations among couplings in the same supermultiplet. Denoting by \(f_{16}\) the coefficient of \(\chi^{16}\), by \(f_{15}\) that of \(\chi^{15}\psi\), and by \(f_0\equiv f_{R^4}\) the bottom component, one has schematic relations of the form
\[
D^{(16)}f_{16}=c_1f_{15},\qquad
D^{(15)}f_{15}=c_2f_{16}+c_3f_{14},\qquad
\cdots,\qquad
D^{(0)}f_0=c_nf_1,
\]
where \(D^{(n)}_{(ij)}\) carries the symmetrized traceless \(SU(2)\) action \( \mathrm{spin}\text{-}2n\to \mathrm{spin}\text{-}2(n\pm1)\) [1107.3353]. Iterating these first-order equations produces second-order equations on moduli space.

For couplings depending only on the \(SO(2)\backslash SL(2,\mathbb R)\) modulus, the result is a Laplace eigenvalue equation,
\[
\Delta_{SL(2)}f_{m,-m}=4D_mD_{-(m-1)}f_{m,-m}
=\lambda_m f_{m,-m},
\]
and modular invariance forces the neutral \(R^4\) coefficient to be
\[
f_{0,0}(\tau,\bar\tau)=E_s(\tau,\bar\tau),\qquad
\Delta_{SL(2)}E_{3/2}=\tfrac34\,E_{3/2}
\]
for the \(R^4\) interaction [1107.3353]. For couplings depending only on the \(SO(3)\backslash SL(3,\mathbb R)\) moduli, the hierarchy is instead Poisson-type,
\[
\Delta_{SL(3)}g_k=\alpha_k g_k+\sum_{\ell<k}S_{k,\ell}g_\ell,
\]
with source terms determined by neighboring slots in the supermultiplet [1107.3353].

A notable point is that the couplings of interactions charged under \(SU(2)\) are not automorphic forms of \(SL(3,\mathbb Z)\) [1107.3353]. This rules out a naive expectation that every coefficient in the multiplet should be an automorphic form of the full U-duality group.

## 4. Ten-dimensional bosonic sectors

In ten dimensions, the eight-derivative Lagrangian can be organized by powers of \(G_3\) and \(R\). A compact form presented for the metric and complexified three-form sector is
\[
\mathcal L^{(3)}
=
C_0\,f_0\,t_{16}R^4
+
C_1\,[\,f_1\,t_{18}G_3^2R^3+f_{-1}\,t_{18}\bar G_3^2R^3]
+
C_2\,f_2\,t_{20}G_3^4R^2
+
C_3\,f_3\,t_{22}G_3^6R
+
C_4\,f_4\,t_{24}G_3^8
+
f_0[\,T(\epsilon_{10},t_8)-t_{18}\,]|G_3|^2R^3
+\cdots,
\]
with
\[
C_w=\frac{2}{\sqrt{\pi}\,\Gamma(3/2)}\,\Gamma(3/2+w)
=\frac{2^{3w+1}(w+1)!}{(2w+2)!}.
\]
Here \(t_{16},t_{18},t_{20},t_{22},t_{24}\) are the index tensors obtained from the linearized superspace integral, and \(T(\epsilon_{10},t_8)\equiv-\tfrac13\epsilon_9\epsilon_9+2t_8t_8-\tfrac12\epsilon_8\epsilon_8\) [2205.11530].

The same order also contains the \(F_5\)-dependent completion. In the formulation used for higher-derivative black-hole analyses, the density \(W\) is written as
\[
W=\frac{1}{86016}\sum_{i=1}^{26}M_i,
\]
where the \(M_i\) are monomials built from Weyl tensors and the five-form torsion \(T_{MNPQRS}\). The torsion is
\[
T_{MNPQRS}
=
P_{[MNP][QRS]}\,
\Bigl[
i\,\nabla_MF_{NPQRS}
+\tfrac1{16}\bigl(F_{MN\,TU}F_{PQ}{}^{TU}-3F_{MPTU}F_{NQ}{}^{TU}\bigr)
\Bigr],
\]
and on a purely bosonic, self-dual \(F_5\) background the \(\nabla F_5\) term may be set to zero [1301.6773].

A complementary bosonic reconstruction from a twelve-dimensional \(\alpha'^3\)-corrected theory gives the following ten-dimensional sectors after \(T^2\) reduction: pure-gravity \(R^4\), \((\partial F_5)^2R^2\), \((\partial F_5)^4\), \((\partial H_3)^4\), \((\partial F_3)^4\), \((\partial H_3)^2(\partial F_3)^2\), \((\partial F_5)^2(\partial H_3)^2\), and \((\partial F_5)^2(\partial F_3)^2\), with self-duality imposed through \(F_5=*_{10}F_5\) or equivalently \(F_5^+=\tfrac12(F_5+*_{10}F_5)\) [1806.01160].

The status of the axio-dilaton sector evolved over time. Earlier summaries stated that a fully explicit form of the \((\nabla\phi)^4\), \((\nabla\phi)^2R^2\), and related terms was not yet known from string amplitudes, although S-duality strongly suggested that they belong to the same superinvariant as \(R^4\) and the \(G_3\) couplings [1702.08404]. Subsequent five-point work extracted explicit genuine five-point contact terms in the scalar-graviton sector, thereby extending the explicit Lagrangian beyond the quartic level [2507.07934].

## 5. Superspace, superparticle, and higher-point structure

At linearized level, the eight-derivative couplings arise from a chiral scalar superfield \(\Phi(x,\Theta)\) in \(N=2\), \(D=10\) superspace, obeying
\[
\bar D\,\Phi=0,\qquad
(D)^4\Phi=(\bar D)^4\bar\Phi.
\]
Around a constant \(SL(2)/U(1)\) background, its \(\Theta\)-expansion is
\[
\Phi=\tau_{20}+\tau_{20}\Delta,\qquad
\Delta(\Theta)=
\Theta^0\{\hat\tau\}
+\Theta^2\{G_3\}
+\Theta^4\{R+\nabla F_5+F_5^2\}
+\Theta^6\{\bar G_3\}
+\Theta^8\{\hat{\bar\tau}\},
\]
and the \((\alpha')^3\) contact terms are generated by the single superspace integral
\[
S^{(3)}=\int d^{10}x\,d^{16}\Theta\,\det e\,F[\Phi]+c.c.
\]
The \(\Theta^{16}\) term packages all interactions with total \(\Theta\)-power \(16\), including the elementary tensors \(t_{16}R^4\) and \(t_{18}G_3^2R^3\) [2205.11530].

The same maximally \(U(1)\)-violating tower is reproduced from the one-loop amplitude of the eleven-dimensional superparticle compactified on \(T^2\). For example,
\[
A_{G_3^2R^3}^{(SP)}
=
\frac32\,[\,f_1(\tau,\bar\tau)\,t_{18}G_3^2R^3
+f_{-1}(\tau,\bar\tau)\,t_{18}\bar G_3^2R^3\,],
\]
and more generally the superparticle computation reproduces the full MUV tower
\[
\sum_{w=0}^4 C_w\,f_w\,t_{16+2w}\,G_3^{2w}R^{4-w}
\]
in the Type IIB limit [2205.11530]. This agreement between superspace, string amplitudes, and superparticle methods is one of the main structural supports for the known eight-derivative action.

Beyond four points, the scalar-graviton sector contains genuinely new contact interactions. Up to four points,
\[
\mathcal{L}^{(3)}_{4\rm pt}
=
\alpha\,f_0(\tau,\bar\tau)\,
\Bigl[
(t_8t_8-\tfrac14\epsilon_8\epsilon_8)\,\bar R^4
+
1536\,(\nabla_\mu P_\nu\nabla^\mu P^\nu)(\nabla_\rho\bar P_\sigma\nabla^\rho\bar P^\sigma)
\Bigr],
\]
where \(P_\mu=\tfrac{i}{2\tau_2}\partial_\mu\tau\) and \(\bar R\) is the linearized Weyl-scaled Riemann containing the trace scalar [2507.07934]. At five points, the odd-scalar sector is multiplied by \(f_{\pm1}\) and the even-scalar sector by \(f_0\), with explicit structures of the schematic form \(\epsilon_8\epsilon_8R^2P^2\nabla\nabla P\), \((t_8t_8-\tfrac14\epsilon_8\epsilon_8)R^3\delta(P\bar P)\), and \(R^{\mu\nu\rho\sigma}\mathcal T_{\mu\nu\rho\sigma}(P)\) [2507.07934].

A plausible implication is that the earlier statement that the explicit dilaton sector was incomplete must now be qualified: the quartic-plus-genuine-five-point scalar-graviton sector is considerably more explicit than in older summaries, although the available presentations remain sector-specific.

## 6. Higher-dimensional origins, compactification checks, and physical consequences

One line of development embeds the neutral \(R^4\) and axio-dilaton derivative couplings into pure gravity in twelve dimensions. With the metric ansatz
\[
\hat g_{MN}\,dX^M dX^N
=
g_{mn}(x)\,dx^m dx^n
+\frac{1}{\tau_2(x)}
\begin{pmatrix}
1&\tau_1\\
\tau_1&|\tau|^2
\end{pmatrix}_{\alpha\beta}
dy^\alpha dy^\beta,
\]
the twelve-dimensional terms \(\hat t_8\hat t_8\hat R^4\) and \(\epsilon_{12}\epsilon_{12}\hat R^4\) descend to the ten-dimensional \(SL(2,\mathbb Z)\)-invariant eight-derivative action
\[
S_{IIB}^{(8)}
=
\frac{\alpha'^3}{2\kappa_{10}^2}\int d^{10}x\sqrt{-g}\,
f_0(\tau,\bar\tau)\,
\Bigl[t_8t_8R^4+\tfrac1{96}\epsilon_{10}\epsilon_{10}R^4+\mathcal L_{(\partial\tau)^4}\Bigr],
\]
where \(P_m=\tfrac{i}{2\tau_2}\partial_m\tau\), \(Q_m=-\tfrac12\tau_2^{-1}\partial_m\tau_1\), and \(D_mP_n=\nabla_mP_n-2iQ_mP_n\) [1506.06756]. A broader twelve-dimensional bosonic proposal also reproduces the \(F_5\), \(F_3\), and \(H_3\) sectors by consistent reduction on \(T^2\) [1806.01160].

Compactification provides stringent checks. Reduction on K3 shows that the ten-dimensional \(G_3^2R^3\) and \(|G_3|^2R^3\) five-point terms reduce to factorized six-dimensional three-point couplings \(G_3^2R\) and \(|G_3|^2R\), which supersymmetry requires to vanish; this occurs through a vanishing projection for the MUV sector and a non-trivial cancellation in the \(U(1)\)-preserving sector [2205.11530]. Reduction on Calabi–Yau threefolds yields the four-dimensional flux scalar potential
\[
V_F=e^K\bigl(K^{A\bar B}D_AW D_{\bar B}\bar W-3|W|^2\bigr)
\]
with a corrected Kähler potential
\[
K=
-\ln(-i(\tau-\bar\tau))
-\ln\!\Bigl(-i\int\Omega\wedge\bar\Omega\Bigr)
-2\ln\!\Bigl[V+\frac{\zeta}{4}f_0(\tau,\bar\tau)\Bigr],
\]
and the resulting \((\alpha')^3\) terms reproduce the expected \(N=2\) hyper-Kähler metric in the universal hypermultiplet sector [2205.11530]. In F-theory on elliptically fibered Calabi–Yau fourfolds, the non-trivial vacuum profile for the axio-dilaton induces a genuinely \(N=1\), \(\alpha'^3\) correction to the four-dimensional effective action [1506.06756].

The eight-derivative term also has direct dynamical consequences for moduli stabilization. In rotating D3-brane solutions, the dilaton is a flat direction at leading order, but the full supersymmetric \(O((\alpha')^3)\) correction with modular prefactor \(f^{(0,0)}(\tau,\bar\tau)\) lifts it. The regular extremal solution is
\[
\tau_1=0,\qquad \tau_2=1\qquad\Longrightarrow\qquad \phi_h=0,
\]
whereas retaining only the tree-level piece \(2\zeta(3)e^{-3\phi/2}\) would drive the attractor equation to the unphysical divergence \(\phi\to+\infty\) [1301.6773]. This is a particularly clear instance in which the full Eisenstein-series completion is not a formal refinement but a necessary ingredient for a finite solution.

Taken together, these results define the Type IIB eight-derivative effective Lagrangian as a supersymmetric, duality-covariant, and partially non-perturbatively completed \((\alpha')^3\) superinvariant. Its best-understood components are the \(R^4\) term, the \(G_3^{2w}R^{4-w}\) tower, the \(F_5\)-torsion completion, and the scalar-graviton sector through genuine five-point order, while compactification and duality arguments continue to organize the broader structure [1107.3353] [2205.11530] [2507.07934].

Source: https://www.emergentmind.com/topics/type-iib-eight-derivative-effective-lagrangian