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