DG代数、曲DG代数、非ビアンキ曲DG代数

  • DG代数の微分は、平方零微分。平方零性は仮定する。
  • 曲DG代数の微分は、平方零を仮定せず、曲平方公式を仮定し、曲がりはコサイクルだとする(ビアンキ恒等式Bianchi identity〉)。
  • ビアンキ曲DG代数は、曲平方公式は仮定するが、曲がりがコサイクルとは限らず、曲がりの微分が残る。

「非ビアンキ曲」を、ブロックが"really curved"と呼んでいたが訳しにくいので意訳。非ビアンキは non-Bianchi か non-Bianchian か?