[论文解读] Lefschetz Fixed Point Theorem and Lattice Points in Convex Polytopes

Sacha Sardo-Infirri|ArXiv.org|Feb 9, 1993

Advanced Combinatorial Mathematics参考文献 9被引用 3

一句话总结

本文将 Atiyah-Bott Lefschetz 不动点定理应用于环面等变线丛在 toric 簇上的情形，推导出一个显式公式，用于计算简单凸格多面体中的格点数量。该方法通过其极值点处的数据，实现了对格点数量与多面体体积的几何计算，借助洛朗展开提供了凸几何解释，并以初等方法重新获得了 Brion 的结果。

ABSTRACT

A simple convex lattice polytope $\Box$ defines a torus-equivariant line bundle $\LB$ over a toric variety $\XB.$ Atiyah and Bott's Lefschetz fixed-point theorem is applied to the torus action on the $d''$-complex of $\LB$ and information is obtained about the lattice points of $\Box$. In particular an explicit formula is derived, computing the number of lattice points and the volume of $\Box$ in terms of geometric data at its extreme points. We show this to be equivalent the results of Brion \cite{brion} and give an elementary convex geometric interpretation by performing Laurent expansions similar to those of Ishida \cite{ishida}.

研究动机与目标

• 通过等变上同调建立一个计算简单凸格多面体中格点数量的几何公式。
• 将 Lefschetz 不动点定理与凸几何中的格点计数联系起来。
• 通过初等凸几何方法，对 Brion 在多面体 Ehrhart 理论中的结果提供新的几何解释。
• 利用顶点处的数据，推导出格点数量与多面体体积的显式公式。

提出的方法

• 将 Atiyah-Bott Lefschetz 不动点定理应用于 toric 簇上线丛截面层的环面作用。
• 利用与线丛相关的层复形，提取环面作用下的不动点贡献。
• 在多面体的顶点处进行洛朗展开，类似于 Ishida 的方法，以提取局部贡献。
• 将全局 Lefschetz 跟踪公式与多面体极值点处的局部贡献之和联系起来。
• 推导出一个公式，将格点数量与多面体体积表示为顶点处几何数据的函数。
• 通过将迹公式解释为格点的生成函数，证明其与 Brion 的结果等价。

实验结果

研究问题

• RQ1 Lefschetz 不动点定理如何用于计算凸格多面体中的格点数量？
• RQ2 在 toric 簇与线丛的背景下，不动点贡献的几何意义是什么？
• RQ3 能否通过使用洛朗展开的初等凸几何方法，重新获得 Brion 在 Ehrhart 理论中的结果？
• RQ4 多面体的极值点如何对格点总数与体积的贡献产生影响？
• RQ5 Lefschetz 跟踪与多面体中格点的生成函数之间存在何种关系？

主要发现

• 推导出一个显式公式，利用多面体顶点处的几何数据计算其简单凸格多面体中的格点数量。
• 多面体的体积也通过同一公式计算，显示出拓扑迹不变量与几何不变量之间的直接联系。
• 该方法通过顶点处的洛朗级数展开，为 Brion 公式提供了凸几何解释。
• 证明了环面作用下的不动点贡献恰好对应于 Ehrhart 生成函数中的局部贡献。
• 该方法通过避免使用复杂的层论工具，为 Brion 的结果提供了新的初等推导。
• 该公式在 toric 分解的选择下保持不变，仅依赖于多面体的组合与几何结构。