微分射、ライプニッツ射、導分、共変微分が同義語でいいかどうか疑問になってきた。微分階付き＝DG の意味の微分は平方零な作用素になっている。 ライプニッツ{射 | 作用素}： ライプニッツ法則を満たす{射 | 作用素} 導分 ： 相対多元環（非可換でもよい）…

オンラインのMarkdownエディタ＆ビューワーには、StackEditを使うことにした。 https://stackedit.io/ オンラインで直接書くこともできるが、 [#] → Import/Export → Import Markdown で、ローカルからのファイルアップロードができる。 Mrakdownテキストを…

亜郡・亜代数と層の幾何 - (新) 檜山正幸のキマイラ飼育記 メモ編への追加。 "Lectures on gerbes with connections" Konrad Waldorf (January 2013)http://www.konradwaldorf.de/docs/singapur.pdf に surjective submersion とチェック亜群が出てくる。 ニ…

DG代数の微分は、平方零微分。平方零性は仮定する。 曲DG代数の微分は、平方零を仮定せず、曲平方公式を仮定し、曲がりはコサイクルだとする（ビアンキ恒等式〈Bianchi identity〉）。 非ビアンキ曲DG代数は、曲平方公式は仮定するが、曲がりがコサイクルと…

微分作用素の言い方： 階付きライプニッツ作用素 ： 階付き加群層の自己作用素＝R-自己線形層射 が階付きライプニッツ法則を満たすとき、階付きライプニッツ作用素 {階付き}?半微分作用素 ＝ 階付きライプニッツ作用素 {階付き}?微分作用素 ＝ 平方零〈nilqu…