2020-05-25 DG代数、曲DG代数、非ビアンキ曲DG代数 幾何っぽい その他代数 用語法 DG代数の微分は、平方零微分。平方零性は仮定する。 曲DG代数の微分は、平方零を仮定せず、曲平方公式を仮定し、曲がりはコサイクルだとする（ビアンキ恒等式〈Bianchi identity〉）。 非ビアンキ曲DG代数は、曲平方公式は仮定するが、曲がりがコサイクルとは限らず、曲がりの微分が残る。 「非ビアンキ曲」を、ブロックが"really curved"と呼んでいたが訳しにくいので意訳。非ビアンキは non-Bianchi か non-Bianchian か？ DG代数 ＝ 無曲・曲DG代数 ＝ uncurved curved DG algebra 曲DG代数 ＝ ビアンキ・非ビアンキ曲DG代数 ＝ Bianchi non-bianchi curved DG algebra
