Construct fully controlled KKLT de Sitter vacua that survive subleading corrections and satisfy fully understood flux quantization

Establish the existence of explicit KKLT-type de Sitter vacua in type IIB Calabi–Yau orientifold flux compactifications that demonstrably persist after inclusion of subleading corrections beyond the leading-order effective field theory (including string-loop effects and higher-order α′ corrections) and that strictly satisfy completely characterized three-form flux quantization conditions.

Background

The work constructs candidate KKLT de Sitter vacua using a leading-order effective field theory that is exact in α′ at string tree level but neglects string-loop corrections and higher-order effects in the anti-D3-brane potential. The authors emphasize that demonstrating survival of these vacua under subleading corrections remains to be done.

They also highlight uncertainties about flux quantization constraints in Calabi–Yau orientifolds, which must be fully understood to claim complete control over explicit vacua.