全般的な話。マリオスは、次の記法・定義を使っている これは、 が2次DG環なこと。ここで、k次DG環とは、kより大きい次数がすべて0であるDG環〈可換DG代数〉。0次DG環は単なる環〈可換環〉、X上の1次DG環層はマリオスの微分三つ組〈differential triad〉。X…