[论文解读] Gerbes and abelian motives

J. S. Milne|ArXiv.org|Jan 26, 2003

Algebraic Geometry and Number Theory参考文献 13被引用 10

一句话总结

该论文在有限域与代数闭包上CM-动机的动机与伪动机范畴之间，通过显式上同调数据构造了一个无条件的Gerbe态射，并利用伽罗瓦上同调对这类态射进行分类。它通过区分fpqc上同调与伽罗瓦上同调的逆极限，解决了文献中长期存在的模糊问题，并证明当假设CM阿贝尔簇的霍奇猜想时，该态射成为预期的约化函子。

ABSTRACT

Assuming the Hodge conjecture for abelian varieties of CM-type, one obtains a good category of abelian motives over the algebraic closure of a finite field and a reduction functor to it from the category of CM-motives. Consequentely, one obtains a morphism of gerbes of fibre functors with certain properties. We prove unconditionally that there exists a morphism of gerbes with these properties, and we classify them.

研究动机与目标

• 在有限域上的阿贝尔动机范畴与ℚ的代数闭包上的CM-动机范畴之间，无条件地构造一个Gerbe态射。
• 对满足与adèlic数据和局部数据自然相容条件的所有此类Gerbe态射进行分类。
• 解决文献中长期存在的关于fpqc上同调与伽罗瓦上同调逆极限之间的混淆，特别是关于lim¹项的问题。
• 澄清在动机Tannakian范畴背景下，Gerbe、群胚与纤维函子之间的关系。
• 通过拟动机群胚，为具有有理权重的希米达流形的朗兰兹–拉波波特猜想提供基础。

提出的方法

• 利用以数域和CM-域为指标集的伽罗瓦上同调群的逆极限，构造全局上同调不变量。
• 将连续上同调与adèlic上同调理论应用于塞尔与韦尔数环面相关的原环面。
• 在H¹(ℚ, S/P)中构造基本上同调类，并将其与有限与无穷位置的局部类相联系。
• 通过H²(ℚ, P → S) ≅ H¹(ℚ, S/P)对以同态ρ: P → S为带的(P, S)-Gerbe进行分类。
• 建立Gerbe态射与所有位置上满足相容条件的局部截面系统(w^p, w_p, w_∞)之间的等价性。
• 利用伪动机群胚与拟动机群胚，将全局态射与动机的Tannakian范畴联系起来。

实验结果

研究问题

• RQ1 是否存在一个无条件的Gerbe态射，从𝔽_p^al上的阿贝尔动机的动机范畴到ℚ^al上的CM-动机范畴，且独立于霍奇猜想？
• RQ2 如何对所有满足adèlic数据与局部数据预期相容性的此类Gerbe态射进行分类？
• RQ3 H¹(ℚ, S/P)中的基本类与有限与无穷位置的局部类之间的确切关系是什么？
• RQ4 为何文献中先前的构造错误地将某些lim¹项等同于零？如何纠正这一错误？
• RQ5 所得到的Gerbe态射在多大程度上是良定义的？它们与朗兰兹–拉波波特猜想有何关系？

主要发现

• 无条件地构造了一个带ρ: P → S的Gerbe态射P → S，当假设CM阿贝尔簇的霍奇猜想时，该态射成为约化函子R∨。
• 此类Gerbe态射的集合由H¹(ℚ, S/P)分类，且通过上同调计算中某一特定lim¹项的消失，证明了全局解的存在性。
• 该态射被证明等价于满足所有位置相容条件的局部截面系统(w^p, w_p, w_∞)，且H¹(ℚ, S/P)中的类在H¹(𝔸_f^p, S/P)中映射为零。
• 该论文通过区分fpqc上同调与逆极限，解决了文献中长达15年的混淆，并表明lim¹项不可忽略。
• 该构造提供了一个良定义的系统(P, μ, w^p, w_p, w_∞)，其为具有有理权重的希米达流形的朗兰兹–拉波波特猜想提供了基础。
• 在假设受动循环模w约化及交数有理性的条件下，本文证明了在正特征下阿贝尔簇的塔特与霍奇标准猜想成立。