Abstract |
Finding de Sitter compactifications of string theory has long been a challenge. They are
known to require quantum corrections, or orientifold planes, or both. Most existing models rely
on effective four-dimensional actions, or work with the ten-dimensional action but involve
'smearing' the internal O-planes. After a brief review of such efforts, we present some new
numerical solutions with localized and back-reacted O8-planes. While the solution is singular
and strongly-coupled near one of the O8s, it exhibits the same behavior observed for such
objects in flat space and in a variety of AdS solutions in various dimensions, with solid
holographic cross-checks. Away from the O8s the solution can be made parametrically
weakly-coupled thanks to some moduli, whose nature might however be changed by string
theory corrections. |