弦论中一些最著名的亚稳态de Sitter vacua结构，例如KKLT提议，涉及到D7叶片堆叠上的高庚基缩合与正向张力物体的抬升之间的相互作用。 最近，使用依赖于轨迹反向和积分的10d爱因斯坦方程的参数对这些构造提出了挑战。 我们对此类问题进行严格评估。 我们首先将一个综合的10d爱因斯坦方程与一个10d衍生的4d有效势的极值化条件联系起来。 然后，我们争论如何从10d动作中获得后者，后者以（最近提出的）明显有限的，完美正方形的形式结合了高庚诺凝聚。 该有效潜力与4d超重力一致，并且不会为提升最小值提供障碍。 此外，在标准近似值内，我们在集成的10d方程的一种流行版本中清楚地了解了升力。 我