Proof of absence of de Sitter vacua in classical type II supergravity

TL;DR

This paper proves that classical type II supergravity compactifications with fluxes, branes, and orientifolds cannot produce metastable de Sitter vacua, ruling out certain models of cosmic acceleration.

Contribution

It provides a rigorous no-go theorem showing the impossibility of metastable de Sitter solutions in classical type II supergravity.

Findings

No metastable de Sitter vacua exist in the considered models.

The proof applies to arbitrary fluxes, branes, and orientifold configurations.

Supports the idea that quantum effects are necessary for de Sitter vacua.

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.