[论文解读] Un critère d'extension d'un foncteur défini sur les schémas lisses

Francisco Guillén, Vicente Aznar|ArXiv.org|May 5, 1995

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

一句话总结

本文建立了一般性判据，用于将定义在特征零域上光滑概形上的反变函子，通过Hironaka的奇点消解和同伦下降条件，延拓至同一域上所有分离的有限型概形。关键结果是：若该函子在爆开（blow-up）下满足某种拟同构条件（即‘爆开正合序列’），则其可唯一延拓至阿贝尔范畴的导出范畴，且该延拓满足上同调下降性质。

ABSTRACT

Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the criterion shows that if such a functor satisfies the standard exact sequence of a blowing-up, then the functor can be extended to all separated k-schemes of finite type. The result is applied to the Grothendieck's theory of motives, to the Hodge-De Rham filtered complex of an analytic space, and to the rational homotopy of k-schemes in algebraic De Rham theory.

研究动机与目标

• 为从特征零域上光滑概形到同一域上所有分离、有限型概形的上同调函子提供一个一般性判据。
• 通过奇点消解，将经典上同调延拓（如德拉姆上同调、霍奇-戴利尼上同调）推广至非光滑情形。
• 在非加法语境（如微分分次代数与动机）中，通过新定义的‘下降范畴’概念，发展函子延拓的框架。
• 将该判据应用于构造复解析空间上的滤子霍奇-德拉姆复形及具有紧支集的动机函子。
• 通过构造两个动机函子 h 和 h_c，解决塞尔关于动机范畴格罗滕迪克环中欧拉示性数独立性的问题。

提出的方法

• 作者将‘下降范畴’定义为三角范畴的推广，适用于微分分次代数与伪阿贝尔范畴等非加法语境。
• 引入一个判据：对任意沿闭浸入的爆开，函子值的全复形诱导的态射必须构成拟同构。
• 利用Hironaka的奇点消解验证该判据，确保例外除子与严格提升满足所需的同伦性质。
• 通过在导出范畴 D^b(A) 中利用普遍性质构造延拓，确保其在关于开补集为同构的正则态射下与上同调下降相容。
• 该方法同时适用于代数与复解析情形，利用两类语境下的消解定理。
• 该构造被用于在 Sch(k) 上定义动机函子 h 和 h_c，通过滤子与同伦不变性，将格罗滕迪克的 K_0-理论推广。

实验结果

研究问题

• RQ1 在特征零域上，若一个上同调函子定义在光滑概形上，是否可在自然的同伦条件下延拓至所有分离、有限型概形？
• RQ2 函子的何种条件可确保其在奇异概形上的延拓满足上同调下降？
• RQ3 如何通过奇点消解与导出下降条件，将动机理论推广至奇异概形？
• RQ4 是否可在不依赖德尔格的霍奇理论前提下，为复解析空间构造滤子霍奇-德拉姆复形？
• RQ5 在 Sch(k) 上存在动机函子 h 和 h_c 是否能为塞尔关于格罗滕迪克环中欧拉示性数独立性的问题提供肯定答案？

主要发现

• 本文证明：若光滑概形上的函子 G 满足爆开正合序列条件（F3），则其可唯一延拓为取值于导出范畴 D^b(A) 的函子，且保持上同调下降性质。
• 该延拓对任意正则态射 f: X' → X 满足下降条件，其中 f 在 X−Y 上为同构，Y 为闭子概形。
• 复解析空间上的滤子霍奇-德拉姆复形被构造为具有次数滤子的全纯形式复形，无需假设德尔格的霍奇理论。
• 作者在 Sch(k) 上构造了两个动机函子 h 和 h_c，其延拓自格罗滕迪克的 K_0-理论，其中 h 对应于权重滤子的 E1 页，h_c 对应于紧支集上同调。
• 函子 h 和 h_c 被证明与贝尔实现相容，且满足同伦不变性；对光滑射影概形 Y 的仿射锥 X，有 χ(X) = 1，而 χ_c(X) = 1 + χ(Y)(-1) - χ(Y)，表明二者在 K_0(M_{rat}^+) 中不相等。
• 该判据不仅适用于阿贝尔范畴设定，也适用于非加法语境（如微分分次代数与伪阿贝尔范畴），通过‘下降范畴’的概念实现。