[論文レビュー] Tensor-triangulated categories and dualities

Baptiste Calm Es, Jens Hornbostel|arXiv (Cornell University)|Jun 3, 2008

Algebraic structures and combinatorial models参考文献 11被引用数 13

ひとこと要約

本稿は、双対構造を備えたテンソル・トライアングレートカテゴリの間のモノイダル完全関手に対して、可換図式および射影公式を確立し、内部ホムおよび双対構造と整合することを保証する。対称モノイダル閉条件の下で、引き戻しや押し出し関手といった関手が双対性を保つことを証明し、自然同型および符号に整合する構造を通じて、ウィット群および関連するコホモロジー理論の関手的性質を可能にする。

ABSTRACT

In a triangulated symmetric monoidal closed category, there are natural dualities induced by the internal Hom. Given a monoidal functor f^* between two such catgories and adjoint couples (f^*,f_*) and (f_*,f^!), we prove the necessary commutative diagrams for f^* and f_* to respect certain dualities, for a projection formula to hold between them (as duality preserving functors) and for classical base change and composition formulas to hold when such duality preserving functors are composed. This framework is for example useful to define push-forwards for Witt groups.

研究の動機と目的

• 対称モノイダル閉構造を備えたテンソル・トライアングレートカテゴリの間の双対性を保つ関手を定義し、特徴づけること。
• モノイダル関手が双対性と可換となるための必要十分条件を確立すること。これには、射影公式および基底変換の同型が含まれる。
• スキームの準同型におけるウィット群の関手的性質を、特に導来引き戻しおよび押し出し関手を通じて、カテゴリー的枠組みで提供すること。
• バルメール、ギレ、ネナシフの研究に整合する明示的な符号規約を用いて、双対性同型における符号の曖昧さを解消すること。
• 導来関手および双対性の整合性を用いて、スキーム上のウィット群の押し出しの構成を可能にすること。

提案手法

• 懸垂およびトライアングレートカテゴリに、対称モノイダル閉構造を導入し、反変関手および自然同型を用いて内部ホムと双対性を定義する。
• 双対性を保つ関手を、F が双対性と自然変換 φ によって可換になるペア (F, φ) として定義する。この φ は、双対性同型を含む可換図式を満たす。
• 随伴三重 (f*, f*, f!) を用いて射影射を導出し、それがいつ逆にできるかを検討し、双対性と整合することを保証する。
• テンソル積、対称性、結合則同型に適用する符号規約を用いて、特にチェーン複体の導来圏において整合性を保つ。
• 21個の式（表3）にわたる符号の整合性を導出し、検証する。これにより、すべての構造的同型（例えば、結合則、対称性、ねじれ写像）が可換になることを保証する。
• ウィット群への応用において、双対性を保つ関手がウィット群上に群準同型を誘導することを示し、関手の準同型が整合する写像を誘導することを示す。

実験結果

リサーチクエスチョン

• RQ1 対称モノイダル閉トライアングレートカテゴリの間のモノイダル完全関手が、どのような条件下で双対性構造を保つのか。
• RQ2 射影射 f* → f! ∘ f* がいつ逆にできるのか。これは基底変換および合成の公式にどのような意味を持つのか。
• RQ3 テンソル積、対称性、結合則同型の符号規約を、導来圏における双対性を保つように一貫して選べるか。
• RQ4 双対性を保つ関手の合成が、双対性構造を尊重し、ウィット群上でwell-definedな写像を誘導するための条件は何か。
• RQ5 導来関手および双対性の整合性を用いて、スキーム上のウィット群の押し出しをどのように構成できるか。

主な発見

• 本稿は、対称モノイダル閉トライアングレート圏において、内部ホムが自然な双対性を誘導することを証明し、双対性を保つ関手は、双対性同型と関手の作用を含む可換図式によって特徴づけられることを示している。
• このような圏間のモノイダル関手 f* が双対性を保つ関手であるための必要十分条件は、射影射 f* → f! ∘ f* が可逆であることである。これにより、双対性と整合することが保証される。
• 著者らは、すべての必要な整合性条件（五角形、六角形、四角形公理を含む）を満たす完全な符号規約の集合（表3）を構成した。これにより、チェーン複体の導来圏における一貫性が保証される。
• この枠組みにより、正則なスキームの準同型に沿ったウィット群の押し出しの定義が可能となり、特にコロナリー5.5.1で示されているように、導来押し出し関手 f* が双対性を保つことによって実現される。
• 符号規約は明示的に与えられ、次の恒等式を満たすことが検証されている： ε^ath_{j-i,i}ε^ath_{i,j-i}ε^s_{j-i,i} = (-1)^{j(j-1)/2}。これは導来圏における双対性構造にとって不可欠である。
• 本成果はウィット群に限らず、グロタンディーク・ウィット群、ヘルミートK理論、チャウ・ウィット理論といった双対性に基づく他のコホモロジー理論に対しても、同じカテゴリー的道具立てを用いて適用可能である。