[論文レビュー] Realizations of 1-motives over a scheme of characteristic 0

Cristiana Bertolin|arXiv (Cornell University)|Mar 17, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

要約: 本論文は Deligne の同値性を拡張し、特徴 0 のスキーム上の 1-モチーフの Hodge 実現を構築・特徴づけ、ℓ-アディック実現およびデ・ラム実現と関連付けて、テナナク的枠組みを形成する。

ABSTRACT

Let S be a connected and smooth scheme of finite type over the complex numbers. We construct functorially the Hodge realization of a 1-motive over S as a torsion-free, polarizable and admissible variation of mixed Hodge structures of type (0,0),(-1,0),(0,-1),(-1,-1). We prove that this construction yields an equivalence between the category of 1-motives over S and the category of such variations of mixed Hodge structures, thereby extending Deligne's equivalence over the complex numbers to the relative case and providing a positive answer to a question of André concerning the geometric origin of admissible variations of mixed Hodge structures of the above type. We also describe the l-adic and de Rham realizations of 1-motives and show that these realizations fit naturally into Deligne's framework of smooth mixed realizations.

研究の動機と目的

• 連結なスキーム S（C 上の有限型光滑性を持つ）上の 1-モチーフの Hodge 実現を定義する動機づけと定義。
• S 上の 1-モチーフのカテゴリーと、特定の型のトーション fre な極性付与・適合性のある混合 Hodge 構造の変動のカテゴリーとの間に同値性を証明する。
• 1-モチーフの ℓ-アディック実現とデ・ラム実現を記述し、それらを Deligne の滑らかな混合実現の枠組みに統合する。
• S 上の 1-モチーフの混合実現を用いて、Tannakian カテゴリを定義する。

提案手法

• S 上の 1-モチーフ M の Hodge 実現 T_H(M) を、型 (0,0)、(-1,0)、(0,-1)、(-1,-1) のトーションフリーで極性付与・適合性を有する混合 Hodge 構造の変動として構築する。
• Hodge 実現函手 M ↦ T_H(M) の本質的全射性と全忠実性を示し、S 上の 1-モチーフと指定された混合 Hodge 構造の変動との間にカテゴリーの同値性を得る。
• Admissible Variation の幾何学的起源に関する André の結果を用いて、Deligne の同値性の相対版を証明する。
• ℓ-アディック実現を滑らかな ℚ_ℓ-sheaf、デ・ラム実現を正則積分結合を持つベクターバンドルとして記述し、Hodge 実現との整合性を検証する。
• 全球的な Mumford-Tate 群を展開し、固定部分定理を適用して一般点の繊維と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 S^an 上の型 (0,0)、(-1,0)、(0,-1)、(-1,-1) のトーションフリー・極性付与・適合性を有する混合 Hodge 構造の変動は、同型同士ではなくとも S 上の 1-モチーフによって実現され得るか。
• RQ2 Hodge 実現函手は、S 上の 1-モチーフと指定された型の混合 Hodge 構造の変動のカテゴリーとの間の同値性を提供するか。
• RQ3 ℓ-アディック実現とデ・ラム実現が、Deligne の滑らかな混合実現の枠組みの中で Hodge 実現とどのように統合されるか。
• RQ4 S 上の 1-モチーフの全球的 Mumford-Tate 群とその標解析の群との関係はどうなるか。
• RQ5 相対的実現結果は、S 上の 1-モチーフの整合的な Tannakian カテゴリを生み出すか。

主な発見

• S 上の 1-モチーフ M の Hodge 実現 T_H(M) は、型 (0,0)、(-1,0)、(0,-1)、(-1,-1) のトーションフリーで極性付与・適合性を有する混合 Hodge 構造の変動である。
• 函手 M ↦ T_H(M) は本質的に全射かつ完全忠実であり、S 上の 1-モチーフと指定された混合 Hodge 構造の変動の間にカテゴリーの同値性をもたらす。
• 与えられた型の混合 Hodge 構造の変動は、繰り合わせると（同型同士への同型換算の範囲で）1-モチーフから生じる。トーリックな場合も Poincaré 二重拡張系を介して扱われる。
• 1-モチーフの ℓ-アディック実現とデ・ラム実現は構築され、Deligne の滑らかな混合実現の枠組みには自然に適合することが示され、テナナク的観点が可能となる。
• S 上の 1-モチーフの全球的 Mumford-Tate 群の中性成分は、固定部分定理を介してその標的繊維の Mumford-Tate 群と同定される。