Proof of absence of de Sitter vacua in classical type II supergravity
arXiv:2109.01832
Abstract
We consider classical type II supergravity with arbitrary fluxes, Dirichlet branes and orientifold planes and prove that a four-dimensional compactification of this theory can never correspond to a metastable de Sitter state.
The proof as given in v1 cannot be correct bcause, with the same methods, a number of well-known models could also be excluded. The error consisted in an application of the variational principle in section 4 in a manner that was too general, particularly with respect to nontrivial fluxes