三角圏から導来圏への注意とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 三角圏から導来圏への注意の意味・解説 

三角圏から導来圏への注意

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/10 14:50 UTC 版)

導来圏」の記事における「三角圏から導来圏への注意」の解説

双対鎖複体 X が下に有界とは、n << 0 に対し Xn = 0 であることで、上に有界とは、n >> 0 に対し Xn = 0 であることで、単に有界とは、|n| >> 0 に対し Xn = 0 のことである。(以下に見るように)なんらかの目的のため、有界ではない双対鎖複体代わりとして、下に有界、上に有界、あるいは有界双対鎖複体を使う。対応する導来圏は、通常それぞれに対し、 D + ( A ) ,   D − ( A ) ,   D b ( A ) {\displaystyle D^{+}({\mathcal {A}}),\ D^{-}({\mathcal {A}}),\ D^{b}({\mathcal {A}})} と記す。 (クラス考え方ではなく)ある対象から別の対象への射の集合存在するという圏の古典的観点適用するとき、導来圏変更することを証明するには、議論追加する必要があるアーベル圏 A {\displaystyle {\mathcal {A}}} が小さ場合、つまり、対象集合し持たない場合は、何も問題がない。 A {\displaystyle {\mathcal {A}}} がグロタンディークアーベル圏(英語版であったとしても、導来圏 D ( A ) {\displaystyle D({\mathcal {A}})} はホモトピー圏 K ( A ) {\displaystyle K({\mathcal {A}})} の充満部分圏同値であるので、ある対象から他への射の集合を持つのみである。グロタンディークアーベル圏は、環の上加群の圏位相空間上のアーベル群の層の圏や他の例多く含んでいる。 しかしながら導来圏での 2つの射の合成は、合成される 2つの射の頂点に、ある第三の射を見つけることで完成する。このことが確認できて始めてwell-defined結合的な合成であることが完成する。 K ( A ) {\displaystyle K({\mathcal {A}})} は三角圏(英語版)であるので、 K ( A ) {\displaystyle K({\mathcal {A}})} の局所化 D ( A ) {\displaystyle D({\mathcal {A}})} も三角圏である。整数 n と双対鎖複体 X に対し、X を n シフトし双対鎖複体 X[n] を X [ n ] i = X n + i {\displaystyle X[n]^{i}=X^{n+i}} と微分 d X [ n ] = ( − 1 ) n d X {\displaystyle d_{X[n]}=(-1)^{n}d_{X}} により定義する。 定義から、 D ( A ) {\displaystyle D({\mathcal {A}})} の完全三角形は、ある双対鎖複体の射 f: X → Y から導かれる三角形 X → Y → Cone(f) → X[1] と D ( A ) {\displaystyle D({\mathcal {A}})} において同型三角形である。ここに、Cone(f) は f の写像錐(英語版)である。特に、 A {\displaystyle {\mathcal {A}}} 中の短完全系列 0 → X → Y → Z → 0 に対し三角形 X → Y → Z → X[1] は、 D ( A ) {\displaystyle D({\mathcal {A}})} の完全三角形である。ヴェルディエは、シフト X[1] の定義を、射 X → 0 の写像錐であることとし説明した。 A {\displaystyle {\mathcal {A}}} の対象次数 0 に集中され双対鎖複体とみなすと、導来圏 D ( A ) {\displaystyle D({\mathcal {A}})} は A {\displaystyle {\mathcal {A}}} を充満部分圏にもつ。さらに興味深いことに、導来圏の射は、Ext群の全情報含んでいる。すべての対象 X, Y とすべての整数 j について、 Hom D ( A ) ⁡ ( X , Y [ j ] ) = Ext A j ⁡ ( X , Y ) {\displaystyle \operatorname {Hom} _{D({\mathcal {A}})}(X,Y[j])=\operatorname {Ext} _{\mathcal {A}}^{j}(X,Y)} を得る。

※この「三角圏から導来圏への注意」の解説は、「導来圏」の解説の一部です。
「三角圏から導来圏への注意」を含む「導来圏」の記事については、「導来圏」の概要を参照ください。

ウィキペディア小見出し辞書の「三角圏から導来圏への注意」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「三角圏から導来圏への注意」の関連用語

1
12% |||||

三角圏から導来圏への注意のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



三角圏から導来圏への注意のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの導来圏 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS