晶体类1-动机范畴中的Tate型定理
代数几何
2026-03-16 v1 数论
摘要
Tate猜想预言，ℓ-代数上同调中的Galois不变类，以及晶体上同调中的Frobenius不变类，都来自代数循环。我们在1-动机范畴内证明了一个无条件的p-初等等价原理。我们的起点是Deligne 1-动机的全射性定理：经过p-代数标量延拓，Barsotti-Tate晶体函子将1-动机的Hom群与筛选的Dieudonne模组的Hom群等同。利用1-动机范畴等于理想化1-动机范畴与有理系数的Voevodsky三角范畴有效动机范畴等价，我们将这一全射性结果扩展至整个1-动机厠范畴。更确切地说，在有限域k=F_q上，我们证明，每个与Barsotti-Tate晶体实现兼容的Frobenius态射，都由唯一的1-动机态射诱导。因此，在这一范围内出现的Frobenius不变类已经是动机的，因而是代数的。这给出了动机态射和层级至多为1的延拓类的明确的线性代数描述，涉及保Hodge筛选的Frobenius等变映射，给出了Tate类代数化的晶体类比，而不诉诸至少2维的循环猜想。
引用
@article{arxiv.2603.12407,
title = {A Tate-Type Theorem for Crystalline Classes in the 1-Motivic Category},
author = {Mohammadreza Mohajer},
journal= {arXiv preprint arXiv:2603.12407},
year = {2026}
}