[論文レビュー] The Albanese functor commutes with the Hodge realization

Vadim Vologodsky|arXiv (Cornell University)|Sep 17, 2008

Algebraic structures and combinatorial models参考文献 21被引用数 4

ひとこと要約

この論文は、アーブァネーゼ関手とヴォエバドスキーの有効モチーフの圏への関連埋め込みが、ホッジ実現関手と可換であることを証明する。この結果により、1-モチーフに関するデリーニの予想の有理型が、1-モチーフの導来圏（イソogenyを除く）を通じてモチーフ的実現とホッジ的実現の間の整合性を確立することにより、新たな証明が得られる。

ABSTRACT

Abstract. We prove that the embedding of the derived category of 1-motives up to isogeny into the triangulated category of effective Voevodsky motives, as well as its left adjoint functor LAlbQ, commute with the Hodge realization. This result yields a new proof of the rational form of Deligne’s conjecture on 1-motives. 1.

研究の動機と目的

• モチーフの文脈において、アーブァネーゼ関手とホッジ実現との整合性を確立すること。
• 1-モチーフのイソogenyを除く導来圏がヴォエバドスキーの有効モチーフの三角圏に埋め込まれる様子を調査すること。
• 実現関手を用いて、1-モチーフに関するデリーニの予想の有理型を再証明すること。
• 1-モチーフの導来圏におけるモチーフ的およびホッジ的不変量の関係を明確にすること。

提案手法

• 中心的な枠組みとして、1-モチーフのイソogenyを除く導来圏を用いる。
• ヴォエバドスキーの有効モチーフの圏への埋め込み関手を適用する。
• 埋め込み関手の左随伴関手 LAlbQ を構成し、実現関手と整合性を持つように保証する。
• ホッジ実現関手を用いて、モチーフ的構造とホッジ的構造を関連付ける。
• アーブァネーゼ関手とホッジ実現の合成が、モチーフ的実現を通じて因数分解されることを示す。
• 三角圏の技術と導来圏における随伴性の性質に依拠する。

実験結果

リサーチクエスチョン

• RQ1 1-モチーフの導来圏（イソogenyを除く）において、アーブァネーゼ関手はホッジ実現関手と可換か？
• RQ2 1-モチーフのヴォエバドスキーの有効モチーフの圏への埋め込みは、ホッジ的実現とどのように相互作用するか？
• RQ3 実現関手とモチーフ的圏を用いて、1-モチーフに関するデリーニの予想の有理型を再証明できるか？
• RQ4 この文脈において、左随伴関手 LAlbQ とホッジ実現との正確な関係は何か？
• RQ5 ホッジ実現は、有効モチーフの圏の三角圏構造と整合性を持つか？

主な発見

• 1-モチーフのイソogenyを除く導来圏がヴォエバドスキーの有効モチーフの圏に埋め込まれるとき、その埋め込みはホッジ実現関手と可換である。
• この埋め込み関手の左随伴関手 LAlbQ に対しても、ホッジ実現関手と可換である。
• これらの関手がホッジ実現と可換であるという整合性は、1-モチーフに関するデリーニの予想の有理型に対する新たな証明を提供する。
• この結果により、導来的設定におけるモチーフ的およびホッジ的不変量の深い整合性が確立される。
• 証明は、三角圏の構造的性質と、モチーフの文脈における随伴性の性質に依拠している。
• 研究結果は、ホッジ実現がイソogeny圏における1-モチーフのモチーフ的構造を尊重することを確認する。