[论文解读] A Category of Motivic Sheaves

Donu Arapura|arXiv (Cornell University)|Jan 1, 2008

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文使用诺里（Nori）的方法，在ℂ的子域上的代数簇上构造了动机层的阿贝尔范畴，建立了到经典层与平展构造层的忠实精确实现函子。此外，识别出一个动机局部系统中的tannakian子范畴，其可实现为混合霍奇结构的变体，且所有标准几何例子的后者均由此构造得出。

ABSTRACT

The goal of this paper is to construct a category of motivic on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the categoriesof constructible sheaves for the classical and etale topologies. Moreover, there is a tannakian subcategory of motivic local systems with a realization functor into the category of variations of mixed Hodge structures. Conversely, all basic geometric examples of the latter come from this motivic category.

研究动机与目标

• 使用诺里（Nori）的方法在ℂ的子域上的代数簇上定义动机层的范畴。
• 确保该范畴为阿贝尔范畴，并且存在到经典拓扑与平展拓扑下构造层的忠实精确实现函子。
• 识别出动机局部系统范畴中的一个tannakian子范畴，其可忠实映射到混合霍奇结构的变体范畴。
• 证明所有混合霍奇结构变体的基本几何例子均可由此动机构造得出。
• 在单一范畴框架内统一动机层与经典实现及霍奇理论实现。

提出的方法

• 采用诺里（Nori）的图示方法，从代数簇与态射的图出发构造动机层范畴。
• 将该范畴定义为在经典拓扑与平展拓扑下，构造层图的阿贝尔包络。
• 从动机范畴构造到经典拓扑与平展拓扑下构造层范畴的忠实精确实现函子。
• 在动机层范畴中识别出一个动机局部系统的tannakian子范畴。
• 建立从该tannakian子范畴到混合霍奇结构变体范畴的实现函子。
• 利用tannakian范畴的性质，确保实现函子既忠实又精确。

实验结果

研究问题

• RQ1 能否使用诺里（Nori）的方法，在ℂ的子域上的代数簇上构造出一个行为良好的阿贝尔范畴的动机层？
• RQ2 动机层是否能存在到经典与平展构造层范畴的精确且忠实的实现函子？
• RQ3 是否存在一个动机局部系统的tannakian子范畴，其可实现为混合霍奇结构的变体？
• RQ4 所有标准几何例子的混合霍奇结构变体是否均可由此动机构造恢复？
• RQ5 动机层范畴如何在代数几何中统一不同实现方式（经典、平展、霍奇理论）？

主要发现

• 所构造的动机层范畴为阿贝尔范畴，确保了其良好的同调性质，便于进一步研究。
• 从动机层范畴到经典与平展构造层范畴的忠实精确实现函子均存在。
• 识别出一个动机局部系统的tannakian子范畴，其可实现为混合霍奇结构变体的范畴。
• 所有混合霍奇结构变体的基本几何例子均作为该动机范畴中对象的实现而出现。
• 该构造提供了一个统一框架，将动机层与经典、平展及霍奇理论实现联系起来。
• 实现函子保持精确性与忠实性，确保动机结构能真实反映代数簇的几何与上同调数据。