[论文解读] Rost Nilpotence and Free Theories

Stefan Gille, Alexander Vishik|arXiv (Cornell University)|Apr 12, 2018

Algebraic Geometry and Number Theory参考文献 6被引用 3

一句话总结

该论文在h-动机范畴中建立了当h为通用常值凝聚上同调理论时，射影齐次概形的Rost幂零性原理，其关键应用包括自由理论（如代数cobordism及其后继理论）。作者引入了将上同调函子扩展至基域所有有限生成扩张的凝聚理论，并证明当理论为通用常值时幂零性成立，通过动机上的归纳法及Rost引理控制扩张上的核行为。

ABSTRACT

We introduce coherent cohomology theories h_* and prove that if such a theory is moreover generically constant then the Rost nilpotence principle holds for projective homogeneous varieties in the category of h_*-motives. Examples of such theories are algebraic cobordism and its descendants the free theories.

研究动机与目标

• 在h-动机范畴中建立射影齐次概形的Rost幂零性原理。
• 引入并研究将上同调函子扩展至基域所有有限生成扩张的凝聚上同调理论。
• 证明Rost幂零性原理对自由理论及更一般的通用常值凝聚理论成立。
• 通过在非凝聚设定中构造反例，证明Rost幂零性并非面向定向上同调公理的逻辑推论。

提出的方法

• 在基域k上定义扩展的定向上同调理论，为每个有限生成扩张F/k分配一个上同调理论h∗F，具备局部化与拉回结构。
• 通过变量X与Y之间上同调环的相容性条件θY/X引入凝聚理论的概念。
• 证明自由理论——定义为h∗(X) = h∗(F) ⊗L Ω∗(X)，其中L为Lazard环——为通用常值且凝聚。
• 通过在代数闭包上对X的动机分解中Tate动机分量数进行归纳，利用Rost引理控制扩张上的幂零性。
• 在非凝聚理论中构造Rost幂零性的反例，表明即使在常值理论中，若存在非平凡关系，幂零性仍可能不成立。
• 应用Rost引理推导：若一个对应在所有剩余域上消失，则其幂在动机范畴中为零。

实验结果

研究问题

• RQ1 在何种上同调理论条件下，Rost幂零性原理对h-动机范畴中的射影齐次概形成立？
• RQ2 Rost幂零性原理能否超越Chow动机推广至更一般的上同调理论（如代数cobordism）？
• RQ3 Rost幂零性原理是否为定向上同调公理的逻辑推论，还是需要额外的结构条件？
• RQ4 为确保一个在域扩张上变为平凡的对应在动机范畴中幂零，上同调理论的最小条件是什么？
• RQ5 如何构造具有灵活性质的凝聚上同调理论？其对幂零性有何影响？

主要发现

• 当上同调理论h∗为通用常值且凝聚时，Rost幂零性原理对任意域k上的射影齐次概形成立。
• 自由理论（包括代数cobordism及其后继理论）对射影齐次概形满足Rost幂零性原理。
• 凝聚上同调理论提供了Rost幂零性成立的一般框架，其适用范围超越Chow理论。
• 存在为通用常值但非自由的凝聚理论，表明满足Rost幂零性的理论类严格大于自由理论类。
• 反例表明，Rost幂零性在非凝聚理论中不成立，即使在常值理论中亦然，证明其并非标准公理的逻辑推论。
• 对一个满足在L上消失的对应α ∈ Endk(X)h，存在仅依赖于动机分解中维数与分量数的整数m ≥ 1，使得α◦m = 0。