[论文解读] Motivic characteristic classes

Shoji Yokura|arXiv (Cornell University)|Dec 25, 2008

Algebraic Geometry and Number Theory参考文献 95被引用 13

一句话总结

本文引入动机特征类作为统一框架，将三大主要奇异特征类——MacPherson的陈类、Baum-Fulton-MacPherson的黎曼-罗赫类以及Goresky-MacPherson的L类——整合到一个尊重剪裁关系（分解下的可加性）的动机同调理论中。核心贡献是构造了从代数簇的格罗滕迪克群到同调的自然变换，通过混合霍赫德理论推广了经典特征类，并为χy-亏格和示性类等不变量提供了动机解释。

ABSTRACT

Motivic characteristic classes of possibly singular algebraic varieties are homology class versions of motivic characteristics, not classes in the so-called motivic (co)homology. This paper is a survey on them with more emphasis on capturing infinitude finitely and on the motivic nature, in other words, the scissor relation or additivity.

研究动机与目标

• 将三个基本特征类——MacPherson的陈类、Baum-Fulton-MacPherson的黎曼-罗赫类以及Goresky-MacPherson的L类——统一到一个单一的动机框架中。
• 将动机特征类确立为动机特征的同调类版本，不依赖于动机上同调，而是基于带有剪裁关系的代数簇格罗滕迪克群。
• 将这些类解释为计数有限集的更高阶类比，通过混合霍赫德结构扩展至无限、奇异代数簇。
• 通过混合霍赫德模的导出范畴，为χy-亏格和示性类等不变量提供动机解释。
• 探讨通过构造基于惠特尼分层的不变量，实现“分层计数”的可能性，方法是利用构造层的格罗滕迪克群与混合霍赫德模。

提出的方法

• 本文通过剪裁关系（在不相交并集与闭子集上的可加性）构造了从代数簇格罗滕迪克群到整数同调的自然变换。
• 利用混合霍赫德理论与Saito的混合霍赫德模理论，定义了对经典不变量（如χy-亏格与示性类）进行精化的特征类。
• 动机特征类被定义为动机特征的类版本，类似于格罗滕迪克如何将Hirzebruch–Riemann–Roch推广为格罗滕迪克–Riemann–Roch。
• 该构造使用混合霍赫德模的导出范畴，从而能够定义诸如交叠同调霍赫德模不变量等不变量的类版本。
• 通过在惠特尼分层上，将动机类与Verdier自对偶构造层复形的cobordism群联系起来。
• 通过固定分层$X_\bullet$上的混合霍赫德模格罗滕迪克群$K_0(MHM(X_\bullet))$，提出了一种分层计数框架，该框架依赖于分层结构，非拓扑不变量。

实验结果

研究问题

• RQ1 是否存在一个单一的动机特征类，能够统一三大主要奇异特征类：陈类、黎曼-罗赫类与L类？
• RQ2 经典有限集计数概念如何在动机意义上推广至无限、奇异代数簇？
• RQ3 混合霍赫德理论在定义奇异簇的特征类方面扮演何种角色，超越经典上同调不变量？
• RQ4 是否存在一个有意义的“分层计数”不变量，能够尊重奇异簇的惠特尼分层？
• RQ5 动机特征类如何通过混合霍赫德模的导出范畴与χy-亏格和示性类相关联？

主要发现

• 动机特征类提供了一个统一框架，将MacPherson的陈类、Baum-Fulton-MacPherson的黎曼-罗赫类以及Goresky-MacPherson的L类统一为从代数簇格罗滕迪克群到同调的单一自然变换。
• 该构造尊重剪裁关系，即对于分解为$X = X_1 \cup X_2$且$X_1 \cap X_2$为闭子集的簇$X$，其类满足$c_{mot}(X) = c_{mot}(X_1) + c_{mot}(X_2) - c_{mot}(X_1 \cap X_2)$。
• 动机类通过混合霍赫德模的导出范畴定义，确保与χy-亏格和示性类等不变量的兼容性，其依据是交叠同调上的霍赫德结构。
• χy-亏格的类版本源于交叠同调层上的混合霍赫德模结构，而χy-亏格与其交叠同调版本之间的差异可度量奇异性的程度。
• 本文表明，动机特征类是Baum-Fulton-MacPherson黎曼-罗赫类的形变，类似于格罗滕迪克如何将Hirzebruch–Riemann–Roch推广。
• 通过$K_0(MHM(X_\bullet))$提出了一种可能的“分层计数”不变量，该不变量依赖于分层结构，非拓扑不变量，为奇异空间提供了更精细的不变量。