[论文解读] Notes on Artin-Tate motives

Jörg Wildeshaus|arXiv (Cornell University)|Nov 27, 2008

Algebraic Geometry and Number Theory参考文献 8被引用 16

一句话总结

本文证明了在代数闭包为ℚ的完美基域上的阿廷–塔特动机的 triangulated 范畴上存在一个非退化的 t-结构，并表明当基域为数域时，该范畴上的权重结构可通过霍奇理论或ℓ-进实现实现来检测和表征。关键贡献在于提出了一种通过实现实现识别权重结构的标准，统一了动机框架下的 t-结构与权重结构。

ABSTRACT

We first study the weight structure on the triangulated category of Artin-Tate motives over a perfect base field k, building on results of Bondarko's. We then study the t-structure on the triangulated category of Artin-Tate motives, when k is algebraic over the rationals, generalizing a result of Levine's. We finally study the interaction of the weight structure and the t-structure. When k is a number field, this will give a useful criterion identifying the weight structure via realizations.

研究动机与目标

• 研究完美基域 k 上阿廷–塔特动机 triangulated 范畴的结构性质。
• 分析该范畴上的动机权重结构，推广 [Bo] 中关于几何动机的结果。
• 当 k 为 ℚ 上的代数扩张时，确立非退化 t-结构的存在性，扩展 [L1] 中关于塔特动机的结果。
• 通过 t-结构和实现实现来表征权重结构，特别关注数域情形。
• 为在数域情形下通过霍奇理论或ℓ-进实现实现识别权重结构提供一个准则。

提出的方法

• 本文利用 triangulated 范畴上权重结构的理论，基于 [Bo] 的结果，将权重结构诱导到阿廷–塔特动机上。
• 应用 [W2] 的主要结果，证明阿廷–塔特动机范畴同构于其在 t-结构下的心的有界导出范畴。
• 该构造依赖于与 ℚ-系数的张量积，以确保贝林森–索勒消失猜想的有效性，这是 t-结构存在的必要条件。
• 利用霍奇理论和ℓ-进实现实现来检测权重结构，特别关注这些函子下上同调对象的行为。
• 证明策略遵循莱文 [L1] 的方法，但已适应更广泛的阿廷–塔特动机设定。
• 在导出范畴中建立正交性和纯性条件，以验证 t-结构与权重结构的相容性。

实验结果

研究问题

• RQ1 当基域为 ℚ 上的代数扩张时，阿廷–塔特动机的 triangulated 范畴上是否存在非退化的 t-结构？
• RQ2 能否通过 t-结构和实现实现来表征阿廷–塔特动机上的权重结构？
• RQ3 当 k 为数域时，阿廷–塔特动机上的权重结构是否可通过霍奇理论或ℓ-进实现实现来检测？
• RQ4 阿廷–塔特动机范畴中，权重结构与 t-结构如何相互作用？
• RQ5 ℚ-系数在确保 t-结构存在性及贝林森–索勒消失猜想有效性方面起什么作用？

主要发现

• 当基域 k 为 ℚ 上的代数扩张时，阿廷–塔特动机的 triangulated 范畴上存在非退化的 t-结构，如定理 3.1 所示。
• 该 t-结构的心是一个阿贝尔半单范畴，即混合阿廷–塔特动机的范畴。
• 阿廷–塔特动机上的权重结构被 t-结构完全表征，如定理 3.9 所确立。
• 对于数域，权重结构可通过实现实现来检测和识别：一个动机 K 属于 w=0 的心当且仅当其在实现实现下的第 n 个上同调是纯的，权重为 n，如定理 3.11 所述。
• 霍奇理论实现实现尊重权重结构，因为它将权重结构的心映射到混合霍奇结构导出范畴上标准权重结构的心。
• ℓ-进实现实现不尊重目标范畴上的标准权重结构，因为其正度数上的 Hom 群不消失，如注记 3.13(b) 所示。