没有O8平面的经典(反)Sitter解决方案

最近有人提出，IIA型弦理论可以允许使用O8平面作为唯一局部源的经典deSitter解。我们证明了这种解决方案与运动的综合超重力方程不兼容，类似于由于马尔达塞纳和努涅斯而产生的不通过定理。我们还详细讨论了O8平面位置的发散和不连续，并认为它们不会使这样的论点无效。此外，我们还表明，最近提出的具有O8平面的非超对称AdS解决方案类别也与我们的结果相反。