在本文中，我们对使用（非）几何通量的四维有效IIA型超重力理论开发的两个已知公式中的Bianchi身份进行了深入分析。 在我们所谓的“第一公式”中，通量以实际的六维索引表示，而在“第二公式”中，通量以同调形式书写。 我们发现，由这两个已知公式引起的通量约束条件集不相等，并且在同调学版本中缺少标识，需要对其进行补充以与第一个公式匹配。 通过分析两个显式示例，我们推测出（大多数）缺失身份的模型独立形式。 这些身份在先前研究模量稳定的尝试中被大多数人忽视了，特别是对于在超环面框架中开发的模型，其中它们