We perform a Kaluza-Klein reduction of eleven-dimensional supergravity on a Calabi-Yau fourfold including terms quartic and cubic in the Riemann curvature and determine the induced corrections to the three-dimensional N = 2 effective action. We focus on the effective Einstein-Hilbert term and the kinetic terms for vectors. Dualizing the vectors into scalars, we derive the resulting Kähler potential and complex coordinates. The classical expressions for the Kähler coordinates are non-trivially modified, while the functional form of the Kähler potential is shown to be uncorrected. For elliptically fibered Calabi-Yau fourfolds the corrections can be uplifted to a four-dimensional F-theory compactification. We argue that also the four-dimensional N = 1 Kähler coordinates receive non-trivial corrections. We find a simple expression for the induced corrections for different Abelian and non-Abelian seven-brane configurations by scanning over many Calabi-Yau fourfolds with resolved singularities. The interpretation of this expression leads us to conjecture that the higher-curvature corrections correspond to α ′2 corrections that arise from open strings at the selfintersection of seven-branes.

We study the problem of four-form flux quantization in F-theory compactifications. We prove that for smooth, elliptically fibered Calabi-Yau fourfolds with a Weierstrass representation, the flux is always integrally quantized. This implies that any possible half-integral quantization effects must come from 7-branes, i.e. from singularities of the fourfold.We subsequently analyze the quantization rule on explicit fourfolds with Sp(N) singularities, and connect our findings via Sen's limit to IIB string theory. Via direct computations we find that the four-form is half-integrally quantized whenever the corresponding 7-brane stacks wrap non-spin complex surfaces, in accordance with the perturbative Freed-Witten anomaly. Our calculations on the fourfolds are done via toric techniques, whereas in IIB we rely on Sen's tachyon condensation picture to treat bound states of branes. Finally, we give general formulae for the curvature-and flux-induced D3 tadpoles for general fourfolds with Sp(N) singularities.

Abstract:We study the effective physics of F-theory at order α ′ 3 in derivative expansion. We show that the ten-dimensional type IIB eight-derivative couplings involving the graviton and the axio-dilaton naturally descend from pure gravity in twelve dimensions. Upon compactification on elliptically fibered Calabi-Yau fourfolds, the non-trivial vacuum profile for the axio-dilaton leads to a new, genuinely N = 1, α ′ 3 correction to the four-dimensional effective action.