[論文レビュー] Lefschetz Fixed Point Theorem and Lattice Points in Convex Polytopes

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

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

ひとこと要約

この論文は、トーリック多様体上のトーラス作用同変なラインバンドルにアティヤ＝ボットのリーマン・ホッホ固定点定理を適用し、単純な凸格子多面体内の格子点を数える明示的公式を導出する。この手法により、極点におけるデータを用いて格子点の数と多面体の体積を幾何学的に計算でき、ローラン展開を通じた凸幾何的解釈が得られ、ブルィオンの結果が初等的なアプローチで再現される。

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}.

研究の動機と目的

• 同変コhomologyを用いて、単純な凸格子多面体内の格子点を数える幾何学的公式を確立すること。
• リーマン・ホッホ固定点定理を凸幾何における格子点数え上げに結びつけること。
• ブルィオンの多面体Ehrhart理論に関する結果を、初等的な凸幾何的解釈により再構成すること。
• 頂点におけるデータを用いて、多面体の格子点数と体積の明示的公式を導出すること。

提案手法

• トーリック多様体上のラインバンドルのセクション層へのトーラス作用に、アティヤ＝ボットのリーマン・ホッホ固定点定理を適用すること。
• ラインバンドルに関連する層の複体を用いて、トーラス作用による固定点寄与を抽出すること。
• イシダの手法に類似して、多面体の頂点におけるローラン展開を実行し、局所的寄与を抽出すること。
• グローバルなリーマン・ホッホトレースを、多面体の極点における局所的寄与の和に結びつけること。
• 多面体の頂点における幾何的データを用いて、格子点数と体積を表す公式を導出すること。
• トレース公式を格子点の母関数と解釈することで、ブルィオンの結果と等価であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 リーマン・ホッホ固定点定理を用いて、凸格子多面体内の格子点数をどのように計算できるか。
• RQ2 トーリック多様体とラインバンドルの文脈において、固定点寄与の幾何的意味は何か。
• RQ3 ブルィオンのEhrhart理論に関する結果は、ローラン展開を用いた初等的な凸幾何的手法によって再現可能か。
• RQ4 多面体の極点は、格子点総数と体積にどのように寄与するか。
• RQ5 リーマン・ホッホトレースと多面体内の格子点の母関数との関係は何か。

主な発見

• 頂点における幾何的データを用いて、単純な凸格子多面体内の格子点数を計算する明示的公式が導出された。
• 多面体の体積も同様の公式により計算可能であり、トポロジカルなトレース不変量と幾何的不変量との直接的な関係が示された。
• ローラン級数展開を用いた頂点における局所的寄与の解析を通じて、ブルィオンの公式の凸幾何的解釈が得られた。
• トーラス作用による固定点寄与が、Ehrhart母関数における局所的寄与に正確に対応することが示された。
• 層論的道具を避けることで、ブルィオンの結果に対する新しい初等的導出が可能となった。
• 公式はトーリック解体の選択に依存せず、多面体の組合せ的・幾何的構造のみに依存する。