エルハート多項式

数学において、は付随するエルハート多項式（エルハートたこうしき、）を持つ。エルハート多項式は、多面体の体積とそれが含む整点 との間に成り立つ関係を情報として含む。エルハート多項式の理論はユークリッド平面におけるピックの定理の高次元への一般化とみることができる。 エルハート多項式の名称は1960年代にこれらの多項式について研究したウジェーヌ・エルハート (Eugène Ehrhart) に因む。
概要.
具体的に、ユークリッド空間 R"n" 内の格子 "L" と、同じく R"n" 内の "d"-次元多面体 "P" を考え、多面体 "P" の各頂点は格子 "L" 上の点であるものと仮定する（よくあるのは "L" = Z"n" で多面体 "P" の頂点座標が全て整数値であるような場合である）。任意の正の整数 "t" に対し、 "tP" を "P" の "t"-倍相似拡大とし、
を "tP" が含む格子点の数とする。エルハートは1962年に "L" が "t" に関して次数 "d" の有理多項式であること、すなわち有理数 "a"0, ..., "a""d" で、任意の正整数 "t" に対して
となるようなものが存在することを示した。さらに "P" が閉（つまり境界面が "P" に属する）ならば "L"("P", "t") の係数のいくつかは簡単な解釈をもつ。
これらの言及の "n" = "d" = 2 かつ "t" = 1 の場合をかんがえればピックの定理が得られる。また、これら以外の係数に対する公式を得るのは非常に難しく、トーリック多様体のトッド類やリーマン-ロッホの定理およびフーリエ解析などが必要である。
閉凸多面体 "P" の内部 int "P" に対応するエルハート多項式は
と計算できる。"X" が "P" の正規扇 に対応するトーリック多様体ならば"P" は "X" 上の豊富線束を定めるが、このとき "P" のエルハート多項式はその線束のヒルベルト多項式に一致する。