[論文レビュー] On the non additivity of the trace in derived categories

Daniel Ferrand|arXiv (Cornell University)|Jun 29, 2005

Homotopy and Cohomology in Algebraic Topology被引用数 9

ひとこと要約

この論文は、関連する図が厳密に可換ではなくホモトピーの意味で可換である場合、完全複体の導来圏における自己準同型のトレースが加法的でないことを示す反例を提示する。主な結果は、特定の自己準同型の三つ組に対してTr(v) ≠ Tr(u) + Tr(w)であることを示し、Tr(v) = −ε、Tr(u) = Tr(w) = 0である。これはホモトピー的可換な設定における加法性の崩壊を強調する。

ABSTRACT

In this note we provide an example of an endomorphism of a short exact sequence of perfect complexes, with the trace of the middle map not equal to the sum of the traces of the two other ones. The point is that the squares involved are commutative only up to homotopy. In view of this example I have found in 1968, Deligne immediately created his "categories spectrales", and soon afterwards Illusie introduced the "filtered derived categories" where a satisfactory kind of additivity is restored for the trace. This paper, written in French, ends up with a brief chronological comment.

研究の動機と目的

• 自己準同型の図が厳密に可換ではなくホモトピーの意味で可換である場合に、導来圏におけるトレースの加法性が成り立たないことを示すこと。
• トレースの加法性を保つために、厳密可換性やフィルター付き導来圏などのより強い可換性条件が必要であることを示すこと。
• デリーニのスペクトル圏やイルシューのフィルター付き導来圏といった、トレース加法性が成り立つより洗練された圏的枠組みの開発を促すこと。
• 特に符号やホモトピー的整合性の観点から、導来圏における複体に対する行列式およびトレースの定義における基礎的問題を明確にすること。
• 厳密可換からホモトピー的可換へのトレース加法性の一般化を単純に拡張できないことを示す具体的な反例を提供すること。

提案手法

• ネイピオテンティアな元ε（ε² = 0）を含む可換環A上の完全複体の短完全列を構成すること。
• 複体の定義：K = A（次数1）、L = (A →ε A)（次数0と1）、M = A（次数0）。
• 自己準同型の指定：K上でu = 0、M上でw = 0、L上でv = (0, ε)、vは次数0で0、次数1でεに作用する。
• 交代和によるトレースの計算：Tr(u) = 0、Tr(w) = 0、Tr(v) = (−1)¹·Tr(ε) = −ε。
• ホモトピーとしてK¹ → L⁰の恒等写像hを用いて、左の正方形がホモトピーの意味で可換であることを確認すること。
• 右の正方形が厳密に可換である一方、左の正方形はホモトピー的可換にしか成り立たないことを示し、この場合における加法性の失敗を示すこと。

実験結果

リサーチクエスチョン

• RQ1 自己準同型の図が厳密に可換ではなくホモトピーの意味で可換である場合、導来圏におけるトレースの加法性は成り立つか？
• RQ2 ホモトピー的可換な完全複体の自己準同型の図において、トレース加法性を妨げる構造的障害は何か？
• RQ3 厳密可換性やフィルター付き導来圏などのより強い圏的条件のもとで、トレース加法性の公式を回復できるか？
• RQ4 符号の規約とホモトピー的整合性は、導来圏における行列式およびトレースの定義と挙動にどのように影響するか？
• RQ5 ネイピオテンティアな元が、導来圏におけるトレース加法性の反例を構成する上で果たす役割は何か？

主な発見

• 中間の複体Lにおける自己準同型vのトレースはTr(v) = −εであり、Tr(u) = 0、Tr(w) = 0であるため、Tr(v) ≠ Tr(u) + Tr(w)である。
• 右の正方形は厳密に可換であり、左の正方形はホモトピーの意味でのみ可換であるため、ホモトピー的可換性だけではトレース加法性が成り立たないことが示された。
• この例は、厳密可換からホモトピー的可換へのトレース加法性の単純な一般化が、完全複体の文脈ですら失敗することを示している。
• ε² = 0を満たすネイピオテンティアな元εの存在が反例に不可欠であり、これは被約環では結果が成り立たないことを示している。
• 加法性の失敗は、デリーニが「スペクトル圏」を考案し、イルシューが「フィルター付き導来圏」を導入する動機となった。両者とも、より強い構造的条件のもとでトレース加法性を回復する。
• この反例は、クヌーデンソンとマムフォードの研究において、トレース加法性が成り立つためには図がホモトピー的可換ではなく厳密可換でなければならないという要件を正当化している。