[論文レビュー] q-Ehrhart polynomials of Gorenstein polytopes, Bernoulli umbra and related Dirichlet series

Frédéric Chapoton, Driss Essouabri|arXiv (Cornell University)|Aug 6, 2014

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

ひとこと要約

本稿では、Gorenstein多面体に対するq-Ehrhart多項式を導入し、Ehrhart系列係数の対称性のqアナログを確立する。特定の線形形式Ψが、このような多項式の積に作用するとき、ℚ(q)における自己双対的要素が得られることを示し、これは奇数添え字におけるベルヌーイ数の消失を一般化する。主要な結果は、この消失性と、メロモルフィックな正則化をもつディリクレ級数との関係を示す。

ABSTRACT

This article considers some q-analogues of classical results concerning the Ehrhart polynomials of Gorenstein polytopes, namely properties of their q-Ehrhart polynomial with respect to a good linear form. Another theme is a specific linear form {\\Psi} (involving Carlitz' q-analogues of Bernoulli numbers) on the space of polynomials, for which one shows interesting behaviour on these q-Ehrhart polynomials. A third point is devoted to some related zeta-like functions associated with polynomials

研究の動機と目的

• Gorenstein多面体に対する古典的Ehrhart理論を、Ehrhart多項式のqアナログを用いて一般化すること。
• カーリッツのベルヌーイ数のqアナログを含む特定の線形形式Ψが、これらのq-Ehrhart多項式に与える影響を研究すること。
• Ψの値と、特に負の整数におけるzeta型ディリクレ級数との関係を確立すること。
• r-Gorenstein多面体のEhrhart多項式の積に対するΨの像が、ℚ(q)において自己双対的であることを証明し、奇数添え字におけるベルヌーイ数の消失を一般化すること。
• Ehrhart多項式に付随するディリクレ級数を定義・分析し、そのℂへのメロモルフィックな正則化を示し、負の整数における明示的値を導出すること。

提案手法

• 整数値多項式空間のqアナログを導入し、q二項係数を用いてその基底を定義する。
• 線形作用素Σおよび2つの線形形式VとΨを定義し、Ψを生成関数を介してカーリッツのqベルヌーイ数に関連付ける。
• 特定の基底において表現されたGorenstein多面体のq-Ehrhart多項式に対して、古典的Ehrhart系列係数の対称性を一般化する対称性性質を確立する。
• 2つのr-Gorenstein Ehrhart多項式の積にΨを作用させると、符号を除いてℚ(q)における自己双対的要素が得られることを証明する。
• q=1とおくことで、古典的結果が回復され、特に1-Gorenstein（反射的）多面体のEhrhart多項式の積に対するΨの消失性が得られ、これは奇数添え字におけるベルヌーイ数の消失に類似している。
• Ehrhart多項式に付随するディリクレ級数を定義し、ℂへのメロモルフィックな正則化（s=1に単一の極をもつ）を証明し、負の整数における値をΨを用いて導出する。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein多面体のq-Ehrhart多項式は、古典的Ehrhart系列係数の対称性をどのように一般化するか？
• RQ2 r-Gorenstein多面体のq-Ehrhart多項式の積に対する線形形式Ψの振る舞いは何か？また、ℚ(q)における自己双対性とはどのように関係するか？
• RQ3 Ehrhart多項式に付随するディリクレ級数の値はΨを用いて表現可能か？また、メロモルフィックな正則化をもつか？
• RQ4 反射的多面体の積に対するΨの消失性と、古典的奇数添え字ベルヌーイ数の消失性との関係は何か？
• RQ5 固定されたGorenstein多面体のEhrhart多項式の係数が累乗されたとき、ベルヌーイ数に類似した数列を形成するか？また、これはzeta型関数と結びつけることができるか？

主な発見

• 特定のqアナログ基底において表現されたGorenstein多面体のq-Ehrhart多項式は、その係数に対称性を示し、古典的Ehrhart系列の分子の対称性を一般化する。
• 2つのr-Gorenstein Ehrhart多項式の積に線形形式Ψを作用させると、符号を除いてℚ(q)における自己双対的要素が得られ、これは奇数添え字におけるベルヌーイ数の消失を一般化する。
• q=1とおくことで、1-Gorenstein（反射的）多面体のEhrhart多項式の積に対するΨの古典的消失性が回復され、リーマンゼータ関数の関数等式に類似する。
• Gorenstein多面体のEhrhart多項式に付随するディリクレ級数は、ℂへのメロモルフィックな正則化をもち、s=1に単一の極をもつ。
• このディリクレ級数の負の整数における値は、Ψを含む公式により明示的に与えられ、古典的なベルヌーイ数とζ(-n)の関係を一般化する。
• 和∑_{u=1}^{A-1} E(u)^{M-1} E'(u)は、Z(1−M)の式における補正項として現れ、局所的ゼータ値と多項式E(X)の微分と関係する。