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.
@article{arxiv.1506.06756,
title = {F-theory at order $\alpha'^3$},
author = {Ruben Minasian and Tom G. Pugh and Raffaele Savelli},
journal= {arXiv preprint arXiv:1506.06756},
year = {2015}
}