[论文解读] Intersecting the dimension filtration with the slice one for (relative) motivic categories

Mikhail V. Bondarko|arXiv (Cornell University)|Mar 30, 2016

Algebraic Geometry and Number Theory参考文献 14被引用 5

一句话总结

该论文在（相对） motivic 范畴中建立了维度过滤与分片过滤之间的精确交集公式，证明了维度至多为 $ m $ 的动机与第 $ i $ 个分片层的交集等于平移后的维度过滤 $ d_{\leq m-i}DM^{ \mathrm{eff}}_{-,R}(i) $。该结果被用于证明 Ayoub 的一个猜想等价于一个关键的正交性条件，并且该框架被推广至一般基概形上的相对 motivic 范畴，使用了新的公理体系和修改后的维度函数。

ABSTRACT

In this paper we prove that the intersections of the levels of the dimension filtration on Voevodsky's motivic complexes over a field $k$ with the levels of the slice one are "as small as possible", i.e., that $Obj d_{\le m}DM^{eff}_{-,R} \cap Obj DM^{eff}_{-,R} (i)=Obj d_{\le m-i} DM^{eff}_{-,R} (i)$ (for $m,i\ge 0$ and $R$ being any coefficient ring in which the exponential characteristic of $k$ invertible). This statement is applied to prove that a conjecture of J. Ayoub is equivalent to a certain orthogonality assumption. We also establish a vast generalization of our intersection result to relative motivic categories (that are required to fulfil a certain list of "axioms"). In the process we prove several new properties of relative motives and of the so-called Chow weight structures for them.

研究动机与目标

• 计算在域上 Voevodsky 的 motivic 范畴中维度过滤与分片过滤的交集。
• 证明该交集尽可能小，即等于平移后的维度过滤 $ d_{\leq m-i}DM^{\mathrm{eff}}_{-,R}(i) $。
• 将交集结果应用于证明 Ayoub 的猜想等价于某一正交性假设。
• 将维度与分片过滤的交集结果推广至满足一组公理的一般基概形上的相对 motivic 范畴。
• 定义 Gabber 维度函数的新变体，并在相对 motivic 设置中建立 Chow 权重结构的新性质。

提出的方法

• 使用 motivic 范畴上的 Chow 权重结构，分析维度过滤与分片过滤交集中对象的下有界性。
• 应用 Bondarko (2015) 关于紧生成子范畴与权重结构的结果，证明交集中的对象在 Verdier 商中成为右 Chow-权重退化。
• 采用权重编号的同调惯例，并利用 Lefschetz 指量 $ R\langle 1\rangle $ 的张量作用来实现过滤的平移。
• 提出一种适用于相对 motivic 范畴的新版本 Gabber 维度函数，且与 Chow 权重结构相容。
• 在确保 Chow 权重结构存在的公理下，将权重结构理论应用于基概形 $ B $ 上的 motivic 复形范畴 $ \mathcal{D}(B) $。
• 使用 $ \delta $-同伦 $ t $-结构以及关键引理（如引理 2.3.2）的相对版本，将结果从域推广至一般基概形。

实验结果

研究问题

• RQ1 维度过滤 $ d_{\leq m}DM^{\mathrm{eff}}_{-,R} $ 与分片过滤的第 $ i $ 个层级 $ DM^{\mathrm{eff}}_{-,R}(i) $ 的精确交集是什么？
• RQ2 Ayoub 的猜想 $ \underline{Hom}_{DM^{\mathrm{eff}}_R}(R\langle 1\rangle, -) $ 保持 $ d_{\leq m}DM^{\mathrm{eff}}_R $ 是否等价于某一特定正交性条件？
• RQ3 维度过滤与分片过滤之间的交集公式能否推广至一般基概形上的 motivic 范畴？
• RQ4 在给定公理下，相对 motivic 范畴上的 Chow 权重结构满足哪些新性质？
• RQ5 Gabber 的维度函数应如何修改，以适应相对 motivic 过滤与权重结构的需求？

主要发现

• 交集 $ \operatorname{Obj}d_{\leq m}DM^{\mathrm{eff}}_{-,R} \cap \operatorname{Obj}DM^{\mathrm{eff}}_{-,R}(i) $ 等于 $ \operatorname{Obj}d_{\leq m-i}DM^{\mathrm{eff}}_{-,R}(i) $，证明该交集尽可能小。
• 该交集结果表明，Ayoub 的猜想 4.22 等价于在商范畴 $ {DM^{\mathrm{eff}}_{\mathrm{gm},R}}/d_{\leq m-1}{DM^{\mathrm{eff}}_{\mathrm{gm},R}} $ 中不存在从 $ {DM^{\mathrm{eff}}_{\mathrm{gm},R}}(1) $ 到 $ d_{\leq m}{DM^{\mathrm{eff}}_{\mathrm{gm},R}} $ 的非零态射。
• 该结果对任意基域的指数特征在其中可逆的系数环 $ R $ 均成立。
• 交集公式被推广至诺特、分离、优良的有限克鲁尔维数概形 $ B $ 上的相对 motivic 范畴，且在包含 Chow 权重结构存在的公理条件下成立。
• 本文定义了一种 Gabber 维度函数的新变体，其与相对设定下的 motivic 过滤和权重结构相容。
• 整个范畴 $ \mathcal{D}(B) $ 上的 Chow 权重结构与通过 Borel-Moore 动机构造的标准 Chow 权重结构一致，且在该权重结构中，紧致对象总是下有界的。