我们为大规模IIA型超重力开发了一种出色的广义几何形式主义。 特别是，我们构造了广义Lie导数的变形，该变形生成了如Romans质量所修改的IIA型规范转换。 我们将此新框架应用于保持最大超对称性的一致Kaluza-Klein约简。 我们在S 6上找到了异常切线束的广义并行化，并由此重现了一致的截断ansatz和嵌入张量，从而在四个维度上按了维度测量了ISO（7）超引力。 我们还讨论了紧密相关的双曲面还原，产生了动态的ISO（p，7-p）度量。 最后，尽管消失了的罗马人质量，我们发现对S d，d