数学の特に抽象代数学および代数的位相幾何学における次数付き微分環(じすうつきびぶんかん、英: differential graded algebra; 次数付き微分代数、微分次数環)は、その多元環構造に両立する鎖複体の構造を併せ持つ次数付き環を言う。
定義
次数付き微分環 (differential graded algebra) または短くDG代数とは、次数付き多元環 A とその上の次数 1 または次数 −1 の何れかである写像 d: A → A で以下の性質を持つものとの組 (A, d) を言う。
この定義をより簡潔(だがやや難解)な形で述べれば、次数付き微分環とは鎖複体全体の成すモノイド圏におけるモノイド対象のことである。次数付き微分環の間の次数付き微分準同型 (DG射) とは、微分 d と両立する次数付き多元環の準同型を言う。
次数付き微分(添加代数)(DGA代数、添加DG代数、DGA)とは、係数環へのDG射を備えた次数付き微分代数を言う(この用語法はアンリ・カルタンによるものである[1])
- 注
- 文献によっては、DG代数の意味で DGA と言っている場合があるので注意。
例
次数付き微分環に関するその他の事実
- 次数付き微分環 (A, d) のホモロジー H*(A) ≔ ker(d)/im(d) は次数付き多元環を成す。また次数付き添加代数のホモロジーは(添加代数)となる。
関連項目
- (次数付き微分圏)
- (次数付き微分リー環)
- (次数付き微分スキーム): 次数付き可換微分環のスペクトルをエタール位相に関して貼り合わせて得られる
注
注釈
出典
- ^ Cartan, H. (1954), “Sur les groupes d'Eilenberg-Mac Lane H(Π,n)”, Proc. Natl. Acad. Sci. U.S.A. 40: 467–471
参考文献
- Manin, Yuri Ivanovich; Gelfand, Sergei I. (2003), Methods of Homological Algebra, Berlin, New York: Springer-Verlag, ISBN (978-3-540-43583-9), see sections V.3 and V.5.6