[论文解读] Quasi-period collapse and GL_n(Z)-scissors congruence in rational polytopes

Christian Haase, TB Tyrrell McAllister|ArXiv.org|Sep 26, 2007

Advanced Combinatorial Mathematics参考文献 11被引用 7

一句话总结

本文通过证明当多面体可经仿射单模变换划分为并重新排列为整数多面体时，其Ehrhart准多项式会退化为多项式，从而为有理多面体中的准周期坍缩现象提供了几何解释。关键贡献在于提出了一个关于GLₙ(ℤ)-剪裁同伦的猜想性框架，将Ehrhart多项式性与GLₙ(ℤ)-剪裁同伦联系起来，并引入了适用于格点多面体的类Dehn不变量。

ABSTRACT

Quasi-period collapse occurs when the Ehrhart quasi-polynomial of a rational polytope has a quasi-period less than the denominator of that polytope. This phenomenon is poorly understood, and all known cases in which it occurs have been proven with ad hoc methods. In this note, we present a conjectural explanation for quasi-period collapse in rational polytopes. We show that this explanation applies to some previous cases appearing in the literature. We also exhibit examples of Ehrhart polynomials of rational polytopes that are not the Ehrhart polynomials of any integral polytope. Our approach depends on the invariance of the Ehrhart quasi-polynomial under the action of affine unimodular transformations. Motivated by the similarity of this idea to the scissors congruence problem, we explore the development of a Dehn-like invariant for rational polytopes in the lattice setting.

研究动机与目标

• 使用几何与变换不变量解释有理多面体中准周期坍缩这一尚不明确的现象。
• 通过证明多项式Ehrhart准多项式的现有特殊证明均源于多面体剖分的单模重排，从而统一这些方法。
• 基于剪裁同伦与对称多边形的启发，为GLₙ(ℤ)-等价可剖分构造格点类Dehn不变量的类似物。
• 研究Ehrhart等价的有理多面体是否为弱GLₙ(ℤ)-等价可剖分，特别是与单模三角剖分的关系。
• 探索是否存在一个完整的不变量系统用于GLₙ(ℤ)-剪裁同伦，类似于三维剪裁同伦中体积与Dehn不变量的作用。

提出的方法

• 将有理多面体划分为与整数单形单模等价的若干部分。
• 应用仿射单模变换（GLₙ(ℤ) ⋉ ℤⁿ中的元素）将这些部分重新排列，形成一个新的多面体，其所有缩放下均保持相同的格点数。
• 利用Ehrhart准多项式在GLₙ(ℤ)作用下的不变性，证明若一个有理多面体与一个整数多面体GLₙ(ℤ)-等价可剖分，则其Ehrhart函数为多项式。
• 基于Poonen与Rodriguez-Villegas的定理，提出一个猜想性的GLₙ(ℤ)-Dehn不变量，其定义为反射格点多边形中边长之和模12。
• 引入弱GLₙ(ℤ)-等价可剖分的概念，即存在某个正整数k，使得kP与kQ在GLₙ(ℤ)下等价可剖分，以关联Ehrhart等价与剖分不变性。
• 利用Kempf等人关于缩放整数多面体的单模三角剖分定理，证明Ehrhart等价的整数多面体为弱GLₙ(ℤ)-等价可剖分。

实验结果

研究问题

• RQ1 在何种条件下有理多面体会表现出准周期坍缩？是否可通过单模重排实现几何解释？
• RQ2 每个具有多项式Ehrhart准多项式的有理多面体是否都能通过单模变换与整数多面体GLₙ(ℤ)-等价可剖分？
• RQ3 能否为GLₙ(ℤ)-剪裁同伦构造一个类Dehn不变量，以检测两个有理多面体在仿射单模映射下是否等价可剖分？
• RQ4 反射多边形及其对偶在构造此类不变量中起何作用，特别是与边长之和模12的关系？
• RQ5 有理多面体的Ehrhart等价是否等价于弱GLₙ(ℤ)-等价可剖分？该结论在所有维度下是否成立？

主要发现

• 当有理多面体可被剖分并经仿射单模变换重排为整数多面体时，准周期坍缩发生，且所有缩放下格点数保持不变。
• 有理多面体的Ehrhart准多项式为多项式，当且仅当其可通过其部分的单模重排与整数多面体GLₙ(ℤ)-等价可剖分。
• 本文构造了若干Ehrhart多项式，其无法实现为任何整数多面体的Ehrhart多项式，揭示了有理多面体与整数多面体之间存在根本性差异。
• 对于非必凸的反射格点多边形，其边长与对偶多边形边长之和恰好为12，提示存在类似于三维剪裁同伦中Dehn不变量作用的模不变量。
• Ehrhart等价的有理多面体为弱GLₙ(ℤ)-等价可剖分，即存在正整数k，使得kP与kQ在GLₙ(ℤ)下等价可剖分，从而建立了Ehrhart多项式在单模变换下不变性的弱逆命题。
• 弱GLₙ(ℤ)-等价可剖分关系在无穷多个点上保持Ehrhart函数不变；对于整数多面体，Ehrhart等价等价于弱GLₙ(ℤ)-等价可剖分。