One-modulus Calabi-Yau fourfold reductions with higher-derivative terms

In this note we consider M-theory compactified on a warped Calabi-Yau four-fold including the eight-derivative terms in the eleven-dimensional action known in the literature. We dimensionally reduce this theory on geometries with one Kähler modulus and determine the resulting three-dimensional Kähler potential and complex coordinate. The logarithmic form of the corrections suggests that they might admit a physical interpretation in terms of one-loop corrections to the effective action. Including only the known terms the no-scale condition in three dimensions is broken, but we discuss caveats to this conclusion. In particular, we consider additional new eight-derivative terms in eleven dimensions and show that they are strongly constrained by compatibility with the Calabi-Yau threefold reduction. We examine their impact on the Calabi-Yau fourfold reduction and the restoration of the no-scale property.