6つの操作

Formalism in homological algebra

数学において、アレクサンダー・グロタンディークにちなんで名付けられたグロタンディークの六演算は、ホモロジー代数の形式主義であり、六関数形式主義としても知られている。^{[1]これはもともと、}スキームf  : X → Yの射から生じるエタールコホモロジーの関係から生まれた。基本的な洞察は、 XとY上のコホモロジーに関する基本的事実の多くが、少数の公理の形式的な帰結であるということである。これらの公理は多くの場合、元の文脈とはまったく関係なく成り立ち、したがって形式的な帰結も成り立つ。それ以来、六演算形式主義は、代数多様体上のD加群、局所コンパクト位相空間上の層、動機などの文脈に適用できることが示されている。

オペレーション

演算は6つの関手です。通常、これらは導来圏間の関手であり、実際には左導来関手と右導来関手です。

• 直接的なイメージ ${\displaystyle f_{*}}$
• 逆のイメージ ${\displaystyle f^{*}}$
• 適切な（または異常な）直接像 ${\displaystyle f_{!}}$
• 適切な（または異常な）逆像 ${\displaystyle f^{!}}$
• 内部テンソル積
• 内部ホム

関数と は、と と同様に、随伴関数対を形成します。^[2] 同様に、内部テンソル積は内部 Hom の左随伴関数です。 ${\displaystyle f^{*}}$ ${\displaystyle f_{*}}$ ${\displaystyle f_{!}}$ ${\displaystyle f^{!}}$

エタールコホモロジーの 6 つの演算

f  : X → Y をスキームの射とする。射fは複数の関数を誘導する。具体的には、XとY上の層のカテゴリ間の随伴関数 と、適切なサポートを持つ直像の関数を与える。導来カテゴリでは、Rf _!は右随伴を許容する。最後に、アーベル層を扱う場合、テンソル積関数 ⊗ と内部 Hom 関数が存在し、これらは随伴である。6つの演算は、導来カテゴリの対応する関数であるLf ^*、Rf _*、Rf _!、f ^!、⊗ ^L、およびRHom。 ${\displaystyle f^{*}}$ ${\displaystyle f_{*}}$ ${\displaystyle f_{!}}$ ${\displaystyle f^{!}}$

がXおよびYの標数と互いに素であるような-進ねじり層のカテゴリに限定するとします。SGA 4 III で、 Grothendieck とArtin は、 f が相対次元dの滑らかな場合、は f ! (− d )[−2 d ] と同型であることを証明しました。ここで^、 ( − d )はd番目の逆Tateねじれを表し、[ −2 d ]は次数が−2 dだけシフトすることを示します。さらに、f が分離されており、有限型であるとします。g  : Y ′ → Yがスキームの別の射であり、X ′ がgによるXの基底変換を表し、f ′ とg ′ がそれぞれgとfによるfとgの基底変換を表す場合、自然な同型が存在します。 ${\displaystyle \ell }$ ${\displaystyle \ell }$ ${\displaystyle Lf^{*}}$

${\displaystyle Lg^{*}\circ Rf_{!}\to Rf'_{!}\circ Lg'^{*},}$

${\displaystyle Rg'_{*}\circ f'^{!}\to f^{!}\circ Rg_{*}.}$

ここでもfが分離型かつ有限型であると仮定すると、 Xの導出カテゴリ内の任意のオブジェクトMとYの導出カテゴリ内の任意のオブジェクトNに対して、自然同型が存在します。

${\displaystyle (Rf_{!}M)\otimes _{Y}N\to Rf_{!}(M\otimes _{X}Lf^{*}N),}$

${\displaystyle \operatorname {RHom} _{Y}(Rf_{!}M,N)\to Rf_{*}\operatorname {RHom} _{X}(M,f^{!}N),}$

${\displaystyle f^{!}\operatorname {RHom} _{Y}(M,N)\to \operatorname {RHom} _{X}(Lf^{*}M,f^{!}N).}$

iがZのSへの閉じた浸漬で、相補的な開いた浸漬jがある場合、導出カテゴリには区別された三角形が存在します。

${\displaystyle Rj_{!}j^{!}\to 1\to Ri_{*}i^{*}\to Rj_{!}j^{!}[1],}$

ここで、最初の2つの写像はそれぞれ、随伴写像の余単位写像と単位写像である。ZとSが正則写像ならば、同型写像が存在する。

${\displaystyle 1_{Z}(-c)[-2c]\to i^{!}1_{S},}$

ここで、1 _Zと1 _Sはテンソル積演算の単位です（考慮されている -adic ねじり層のカテゴリによって異なります）。 ${\displaystyle \ell }$

Sが正則かつg  : X → Sであり、KがS上の導来圏において⊗ ^Lに関して可逆な対象であるとき、D _Xを関手RHom(—, g ^! K )と定義する。すると、 X上の導来圏の対象MとM ′ に対して、以下の標準写像が成り立つ。

${\displaystyle M\to D_{X}(D_{X}(M)),}$

${\displaystyle D_{X}(M\otimes D_{X}(M'))\to \operatorname {RHom} (M,M'),}$

は同型である。最後に、f  : X → YがS -スキームの射であり、MとN がXとYの導出カテゴリの対象である場合、自然同型が存在する。

${\displaystyle D_{X}(f^{*}N)\cong f^{!}(D_{Y}(N)),}$

${\displaystyle D_{X}(f^{!}N)\cong f^{*}(D_{Y}(N)),}$

${\displaystyle D_{Y}(f_{!}M)\cong f_{*}(D_{X}(M)),}$

${\displaystyle D_{Y}(f_{*}M)\cong f_{!}(D_{X}(M)).}$

参照

• 一貫した二重性
• グロタンディークの局所双対性
• 層の像関数
• ヴェルディエの二重性
• 指輪の交換

参考文献

1. Gallauer, Martin (2021). 「6-関手形式論入門」(PDF) .
2. Fausk, H.; P. Hu; JP May (2003). 「左随伴項と右随伴項の同型性」(PDF) . Theory Appl. Categ. : 107– 131. arXiv : math/0206079 . Bibcode :2002math......6079F . 2013年6月6日閲覧。

• Laszlo, Yves; Olsson, Martin (2005). 「アルティンスタック上の層に対する6つの演算 I: 有限係数」. arXiv : math/0512097 .
• アユーブ、ジョセフ。グロタンディークと社会運動の形式主義に関する 6 つの操作(PDF) (論文)。
• Cisinski, Denis-Charles; Déglise, Frédéric (2019).混合モチーフの三角形化圏. Springer Monographs in Mathematics. arXiv : 0912.2110 . doi :10.1007/978-3-030-33242-6. ISBN 978-3-030-33241-9. S2CID  115163824。
• メブクハウト、ゾグマン (1989)。グロタンディークが D _Xモジュールの一貫性を保つための 6 つの操作の形式主義。トラヴォー・アン・クール。 Vol. 35. パリ：ヘルマン。ISBN 2-7056-6049-6。

外部リンク

• nラボでの6つの操作
• 安定ホモトピー理論とグロタンディークの 6 つの関数形式を統合するものは何ですか (ある場合)?

Retrieved from "https://en.wikipedia.org/w/index.php?title=Six_operations&oldid=1289024799"