[论文解读] Miraculous Cancellation and Pick's Theorem

K. E. Feldman|ArXiv.org|Oct 3, 2007

Advanced Combinatorial Mathematics参考文献 23被引用 4

一句话总结

本文建立了格多面体的皮克定理与复复叠同调中的广义神奇抵消公式之间的深刻联系。通过利用兰德韦伯-诺维科夫代数和稳定几乎复流形的特征类，推导出格点计数的加权和公式，借助环面簇的扭曲Todd示性数将皮克定理推广至高维，并证明其在二维情形与经典公式等价，在三维Delzant多面体中给出新的类比公式。

ABSTRACT

We show that the Cappell-Shaneson version of Pick's theorem for simple lattice polytopes is a consequence of a general relation between characteristic numbers of virtual submanifolds dual to the characteristic classes of a stably almost complex manifold. This relation is analogous to the miraculous cancellation formula of Alvarez-Gaume and Witten, and is imposed by the action of the Landweber-Novikov algebra in the complex cobordism ring of a point.

研究动机与目标

• 通过复复叠同调中的共同框架，统一皮克定理与阿维瓦尔-加尔莫和维滕的神奇抵消公式。
• 通过虚拟子流形的特征数，将皮克定理推广至高维简单格多面体。
• 建立光滑环面簇的复叠同调不变量与其对应多面体中格点计数之间的对偶性。
• 为环面几何中的扭曲示性数和Todd示性数提供可计算公式，实现格点的显式计数。

提出的方法

• 在点的复复叠同调环中推导出一个类似于阿维瓦尔-加尔莫-维滕神奇抵消的抵消公式。
• 应用兰德韦伯-诺维科夫代数作用，将与稳定几乎复流形的陈类对偶的虚拟子流形的特征数联系起来。
• 利用Todd类和指数陈类，为与格多面体相关的环面簇定义扭曲示性数。
• 应用庞加莱对偶性，定义与切丛的复叠同调陈类对偶的子流形。
• 将环面簇的扭曲示性数表示为多面体面的加权和，权重由(−1/2)^k确定。
• 利用等变上同调和余维数一的面的本原向量，在任意维数下计算单项式陈特征数。

实验结果

研究问题

• RQ1 卡佩尔-沙内森版本的皮克定理能否从复复叠同调中的通用抵消公式推导得出？
• RQ2 与陈类对偶的虚拟子流形的特征数如何与多面体中的格点计数相关？
• RQ3 在环面簇的扭曲Todd示性数的术语下，皮克定理的高维推广形式为何？
• RQ4 环面簇的L-类能否用面数据和本原向量组合表达？
• RQ5 三维Delzant多面体的扭曲示性数的显式形式为何，其与格点计数有何关系？

主要发现

• 本文证明，卡佩尔-沙内森版本的皮克定理源于复复叠同调中的抵消公式，推广了阿维瓦尔-加尔莫和维滕的神奇抵消。
• 对于二维凸格多边形P，该公式退化为经典皮克定理：Area(P) = Int(P) + Bd(P)/2 - 1。
• 在三维情形，对于正则Delzant单形，公式给出 Int + Fac/2 + Edg/4 + Vert/8 = Vol(P) - Σ(a_j)/3，其中a_j为面的面积。
• 环面簇的扭曲示性数可表示为多面体面的格点计数加权和，权重(−1/2)^k取决于面的余维数。
• 推导出光滑环面簇的单项式陈特征数的一般公式，其以定义余维数一的面的本原向量表示。
• 该方法通过特征类和环面几何，为简单格多面体提供了一种可计算且具有几何意义的不变量。