数学においてアーベル圏 A {\displaystyle {\mathcal {A}}} の導来圏（どうらいけん、英: Derived category、仏: Catégorie dérivée） D ( A ) {\displaystyle D({\mathcal {A}})} はホモロジー代数から構成されるもので、 A {\displaystyle {\mathcal {A}}} 上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。 その構成は基本的には次の様に進む：まず圏 D ( A ) {\displaystyle D({\mathcal {A}})} の対象は A {\displaystyle {\mathcal {A}}} の双対鎖複体であり、次に2つのその様な双対鎖複体の間にチェイン写像が存在してコホモロジーを取った段階で同型を誘導する場合に同型であると考えるのである。
数学においてアーベル圏 A {\displaystyle {\mathcal {A}}} の導来圏（どうらいけん、英: Derived category、仏: Catégorie dérivée） D ( A ) {\displaystyle D({\mathcal {A}})} はホモロジー代数から構成されるもので、 A {\displaystyle {\mathcal {A}}} 上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。 その構成は基本的には次の様に進む：まず圏 D ( A ) {\displaystyle D({\mathcal {A}})} の対象は A {\displaystyle {\mathcal {A}}} の双対鎖複体であり、次に2つのその様な双対鎖複体の間にチェイン写像が存在してコホモロジーを取った段階で同型を誘導する場合に同型であると考えるのである。
出典: Wikipedia「導来圏」 · CC BY-SA 4.0
この記事を共有: X · Bluesky