[论文解读] Realizations of 1-motives over a scheme of characteristic 0

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

Algebraic Geometry and Number Theory被引用 0

一句话总结

本文通过构建并刻画在特征为0的 schemes 上的1-motive的Hodge实现，扩展Deligne等价性，并将其与ℓ-进和de Rham实现相关联，以形成一个Tannakian框架。

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.

研究动机与目标

• 在连接的、在C上光滑且有限类型的 scheme S 上，Motivate and define the Hodge realization of a 1-motive over a connected scheme S smooth of finite type over C.
• 证明在 Denig 的框架下，1-motive 在 S 上的范畴与指定类型的、无 torsion 的极化的、可容许的混合Hodge 结构变分之范畴之间存在等价性。
• 描述1-motive 的ℓ-进实现与de Rham 实现，并将其整合进 Deligne 的平滑混合实现框架中。
• 通过它们的混合实现定义 S 上 1-motives 的 Tannakian 范畴。

提出的方法

• 将在 S 上的1-motive M 的 Hodge 实现 T_H(M) 构造为一个 torsion-free、polarizable、admissible 的混合 Hodge 结构变分，类型为 (0,0), (-1,0), (0,-1), (-1,-1)。
• 证明 Hodge 实现函子 M ↦ T_H(M) 的本质满射性与全忠实性，从而在 S 上的 1-motive 范畴与指定的混合 Hodge 结构变分范畴之间得到范畴等价。
• 使用 André 关于 admissible 变分的几何起源的结果，证明 Deligne 等价的相对版本。
• 描述 ℓ-进实现作为平滑的 ℚ_ℓ-层，de Rham 实现作为带有正则可积联络的向量丛，并验证与 Hodge 实现的一致性。
• 建立全局 Mumford-Tate 群，并应用 fixed part 定理将其与泛点纤维的 Mumford-Tate 群联系起来。

实验结果

研究问题

• RQ1 任何在 S^an 上类型为 (0,0), (-1,0), (0,-1), (-1,-1) 的 torsion-free、polarizable、admissible 的混合 Hodge 结构变分，是否可以被一个在 S 上的1-motive 实现（在同态等价意义下）？
• RQ2 Hodge 实现函子是否为在 S 上的 1-motives 与指定类型的 admissible 混合 Hodge 结构变分之间提供范畴等价？
• RQ3 ℓ-进与 de Rham 实现如何在 Deligne 的平滑混合实现框架中与 Hodge 实现整合？
• RQ4 S 上1-motive 的全局 Mumford-Tate 群与其泛点的 Mumford-Tate 群之间的关系是什么？
• RQ5 相对实现结果是否能够产生一个关于 S 的1-motives 的一致 Tannakian 范畴？

主要发现

• 在 S 上的1-motive M 的 Hodge 实现 T_H(M) 是一个 torsion-free、polarizable、admissible 的混合 Hodge 结构变分，类型为 (0,0), (-1,0), (0,-1), (-1,-1)。
• 函子 M ↦ T_H(M) 是本质上充满射且全忠实的，从而在 S 上的 1-motives 与指定的混合 Hodge 结构变分之间得到范畴等价。
• 给定类型的所有 admissible 混合 Hodge 结构变分在 S^an 上（在同态等价意义下）都来自一个 1-motive（包括通过 Poincaré 双扩张框架处理的 toric 情况）。
• ℓ-进与 de Rham 实现被构造出来并证明自然地适合进入 Deligne 的平滑混合实现框架，从而实现 Tannakian 视角。
• S 上的1-motive 的全局 Mumford-Tate 群的中性连接分量可通过 fixed part 定理等同于其泛点纤维的 Mumford-Tate 群。