[論文レビュー] 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準多項式が多項式に collapses する現象である準周期崩壊を、幾何的説明によって解明する。具体的には、有理多面体がアフィンユニモジュラー変換を用いて整数多面体に分割・再配置可能である場合に、そのような崩壊が発生することを示している。主な貢献は、GLₙ(ℤ)-スコイナス合同性とEhrhart多項式性の間の予想的枠組みを提示し、格子多面体に対する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準多項式の周期が短縮するという未解明な現象を、幾何的および変換的不変量を用いて解明すること。
• 既存のEhrhart準多項式の多項式性に関する特殊な証明を統一し、それらが多面体分割のユニモジュラー再配置によって生じることを示すこと。
• スコイナス合同性と反射的多角形にインspiredされた、GLₙ(ℤ)-同値分割に対する格子版の古典的Dehn不変量を構築すること。
• Ehrhart同値な有理多面体が、特にユニモジュラー三角形分割に関連して、弱い意味でGLₙ(ℤ)-同値分割可能かどうかを調査すること。
• GLₙ(ℤ)-スコイナス合同性に対して、体積とDehn不変量が3次元スコイナス合同性において果たす役割に類似した完全な不変量系が存在するかを探索すること。

提案手法

• 有理多面体を、整数単体とユニモジュラー同値な部分に分割する多面体分割を用いる。
• GLₙ(ℤ) ⋉ ℤⁿ の元であるアフィンユニモジュラー変換を用いて、各部分を再配置し、すべての倍長で同じ数の格子点を持つ新たな多面体を構成する。
• GLₙ(ℤ)作用におけるEhrhart準多項式の不変性を活用し、有理多面体が整数多面体とGLₙ(ℤ)-同値分割可能であれば、そのEhrhart関数が多項式であることを示す。
• PoonenとRodriguez-Villegasの定理を根拠に、反射的多角形における辺の長さの和を12で割った剰余に基づく、予想的なGLₙ(ℤ)-Dehn不変量を提案する。
• Ehrhart関数の不変性と関連して、ある正の整数k ∈ ℤ>0 に対してkPとkQがGLₙ(ℤ)-同値分割可能であるような弱いGLₙ(ℤ)-同値分割可能性の概念を導入する。
• Kempfらの定理（倍長された整数多面体のユニモジュラー三角形分割に関するもの）を用い、Ehrhart同値な整数多面体は弱い意味でGLₙ(ℤ)-同値分割可能であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 有理多面体が準周期崩壊を示す条件は何か？ そして、ユニモジュラー再配置による幾何的説明は可能か？
• RQ2 Ehrhart準多項式が多項式である任意の有理多面体は、ユニモジュラー変換を用いて整数多面体とGLₙ(ℤ)-同値分割可能か？
• RQ3 アフィンユニモジュラー写像の下で2つの有理多面体が同値分割可能かどうかを検出できる、GLₙ(ℤ)-スコイナス合同性に対するDehnに類似した不変量を構築可能か？
• RQ4 反射的多角形とその双対性は、特に辺の長さの和を12で割った剰余に関連して、このような不変量の構築にどのような役割を果たすか？
• RQ5 有理多面体のEhrhart同値性は弱いGLₙ(ℤ)-同値分割可能性と同値であり、これはすべての次元で成り立つか？

主な発見

• 準周期崩壊は、有理多面体がアフィンユニモジュラー変換を用いて整数多面体に分割・再配置可能である場合に発生し、すべての倍長で格子点数が保存される。
• 有理多面体のEhrhart準多項式が多項式であるための必要十分条件は、その多面体がユニモジュラー再配置による部分の分割を通じて整数多面体とGLₙ(ℤ)-同値分割可能であることである。
• 本論文では、任意の整数多面体のEhrhart多項式として実現できない有理多面体のEhrhart多項式の例を構築し、有理多面体と整数多面体の間の根本的な違いを示している。
• （必ずしも凸でない）反射的格子多角形に対しては、その多角形と双対多角形の辺の長さの和が正確に12に等しくなることが示唆され、3次元スコイナス合同性におけるDehn不変量の役割に類似したモジュラー不変量が存在する可能性を示している。
• Ehrhart同値な有理多面体は弱い意味でGLₙ(ℤ)-同値分割可能であり、ある正の整数kが存在してkPとkQがGLₙ(ℤ)-同値分割可能である。これは、ユニモジュラー変換によるEhrhart多項式の不変性の弱い逆を確立する。
• 弱いGLₙ(ℤ)-同値分割可能性関係は、無限個の点でEhrhart関数を保存する。特に整数多面体に対しては、Ehrhart同値性と弱いGLₙ(ℤ)-同値分割可能性が同値である。