摘要 Abstract
本文研究有理锥上的积分分段指数函数环。受多面体中格点计数的启发,我们引入了一类特殊的单模锥,称为Ehrhart锥,其积分分段指数函数环具有一个类似于格点计数的典范线性泛函。特别地,我们验证了所有完整的单模锥都是Ehrhart锥,并且在相应的多面体中,Ehrhart泛函与格点计数一致,这可以解释为光滑环簇上向量丛的全纯Euler特征。我们还证明了所有拟阵的Bergman锥都是Ehrhart锥,并且在这种情况下,Ehrhart泛函与Larson、Li、Payne和Proudfoot最近引入的拟阵Euler特征一致。关于锥的Ehrhart性的关键性质是,它仅依赖于锥的支持而非锥的结构,从而为同时研究完整锥和Bergman锥的K-环及Euler特征提供了一个统一框架。
This paper studies rings of integral piecewise-exponential functions on rational fans. Motivated by lattice-point counting in polytopes, we introduce a special class of unimodular fans called Ehrhart fans, whose rings of integral piecewise-exponential functions admit a canonical linear functional that behaves like a lattice-point count. In particular, we verify that all complete unimodular fans are Ehrhart and that the Ehrhart functional agrees with lattice-point counting in corresponding polytopes, which can otherwise be interpreted as holomorphic Euler characteristics of vector bundles on smooth toric varieties. We also prove that all Bergman fans of matroids are Ehrhart and that the Ehrhart functional in this case agrees with the Euler characteristic of matroids, introduced recently by Larson, Li, Payne, and Proudfoot. A key property that we prove about the Ehrharticity of fans is that it only depends on the support of the fan, not on the fan structure, thus providing a uniform framework for studying K-rings and Euler characteristics of complete fans and Bergman fans simultaneously.