[论文解读] Chern classes of graph hypersurfaces and deletion-contraction

Paolo Aluffi|arXiv (Cornell University)|Jun 7, 2011

Geometric and Algebraic Topology参考文献 15被引用 6

一句话总结

本文在特定几何条件下，为图超曲面的陈-施瓦茨-麦克菲森（CSM）类建立了删边-收缩公式，证明当某条边满足横截性和奇点控制条件（I' 和 II'）时，与图 Γ 关联的超曲面的 CSM 类可分解为 $ C_{X_{\Gamma}}(t) = C_{X_{\Gamma\setminus e} \cap X_{\Gamma/e}}(t) + (t-1)C_{X_{\Gamma\setminus e}}(t) $。该结果为图超曲面的陈类提供了递归结构，其形式与图的组合性质相呼应，支持将 CSM 类作为代数几何意义上的费曼规则使用。

ABSTRACT

We study the behavior of the Chern classes of graph hypersurfaces under the operation of deletion-contraction of an edge of the corresponding graph. We obtain an explicit formula when the edge satisfies two technical conditions, and prove that both these conditions hold when the edge is multiple in the graph. This leads to recursions for the Chern classes of graph hypersurfaces for graphs obtained by adding parallel edges to a given (regular) edge. Analogous results for the case of Grothendieck classes of graph hypersurfaces were obtained in previous work. Both Grothendieck classes and Chern classes were used to define `algebro-geometric' Feynman rules. The results in this paper provide further evidence that the polynomial Feynman rule defined in terms of the Chern-Schwartz-MacPherson class of a graph hypersurface reflects closely the combinatorics of the corresponding graph.The key to the proof of the main result is a more general formula for the Chern-Schwartz-MacPherson class of a transversal intersection, which may be of independent interest. We also describe a more geometric approach, using the apparatus of `Verdier specialization'.

研究动机与目标

• 理解图超曲面的陈-施瓦茨-麦克菲森类在删边和收缩操作下的行为。
• 在边满足特定几何条件时，建立这些类的递归公式。
• 为通过 CSM 类定义的多项式费曼规则是否反映底层图的组合结构提供证据。
• 比较代数条件与几何条件在删边-收缩公式有效性中的作用，并探讨其可能的等价性。

提出的方法

• 推导出横截相交的 CSM 类的一般公式，作为主要结果的基础工具。
• 引入两个几何条件（I' 和 II'），以确保删边-收缩下 CSM 类的正确行为：I' 确保在光滑点处的横截性，II' 控制奇点附近交集的欧拉特征。
• 应用 Verdier 的专化定理，将超曲面的 CSM 类与它的各个层（包括奇点集和收缩集）的类联系起来。
• 利用图超曲面的锥的 CSM 类与底面的 CSM 类通过乘以 $ t+1 $ 相关的事实，借助 [AM09] 中已知的性质。
• 采用多项式费曼规则 $ C_{\Gamma}(t) $，其通过在射影空间中对超曲面余集的 CSM 类的直接像来定义。
• 通过验证奇点集的 CSM 类与删边图和收缩图类的预期组合一致，来验证该公式。

实验结果

研究问题

• RQ1 在何种几何条件下，图超曲面的陈-施瓦茨-麦克菲森类满足类似于格罗滕迪克类的删边-收缩公式？
• RQ2 先前工作中提出的代数条件（I 和 II）与本文引入的新几何条件（I' 和 II'）之间有何关系？
• RQ3 当边为正则且满足横截性条件时，图超曲面的 CSM 类能否通过删边和收缩操作递归计算？
• RQ4 CSM 类在多大程度上反映了图的组合结构，特别是与多重边和并行构造的关系？
• RQ5 是否存在对控制删边-收缩公式有效性的几何条件 I' 和 II' 的精确组合解释？

主要发现

• 当边满足几何条件 I' 和 II' 时，图超曲面 CSM 类的删边-收缩公式成立，这些条件比原始代数条件更弱且更直观。
• 公式明确给出为 $ C_{X_{\Gamma}}(t) = C_{X_{\Gamma\setminus e} \cap X_{\Gamma/e}}(t) + (t-1)C_{X_{\Gamma\setminus e}}(t) $，为计算多项式费曼规则提供了递归方法。
• 条件 I' 和 II' 为几何条件：I' 确保超曲面光滑点处的横截性，II' 控制奇点附近局部纤维的欧拉特征。
• 结果证实，基于 CSM 类的费曼规则携带了关于图超曲面奇点（包括 Milnor 数和 Segre 类）的非平凡交比理论信息。
• 该公式通过 Verdier 专化和 CSM 类的可加性得到证明，关键步骤是验证交集集对欧拉特征的正确贡献。
• 本文表明，基于 CSM 类的不变量满足代数几何费曼规则所期望的结构，支持其作为量子场论中有意义物理不变量的使用。