Dual polytopes of rational convex polytopes (Q1196693)

A convex polytope \({\mathcal P}\subset\mathbb{R}^ N\) is called rational (resp. integral) if each vertex of \(\mathcal P\) has rational (resp. integer) coordinates. The dual polytope \(\mathcal P^{\text{dual}}\subset\mathbb{R}^ d\), \(d=\dim{\mathcal P}\), is defined by \({\mathcal P}^{\text{dual}}:=\{(x_ 1,\dots,x_ d)\in\mathbb{R}^ d\); \(\sum^ d_{i=1}x_ iy_ i\leq 1\) for any \((y_ 1,\dots,y_ d)\in{\mathcal P}\}\). Given a positive integer \(n\), write \(i({\mathcal P,n})\) for the number of rational points \((x_ 1,\dots,x_ N)\in{\mathcal P}\) with each \(nx_ i\in\mathbb{Z}\), and set \(i({\mathcal P},0)=1\). Let \(\omega({\mathcal P},\lambda)\) be the generating function \(\omega({\mathcal P},\lambda)=\sum^ \infty_{n=0}i({\mathcal P},n)\lambda^ n\) of the sequence \(\{i({\mathcal P},n)\}^ \infty_{n=0}\). The purpose of this paper is to present a necessary and sufficient condition for the dual polytope \({\mathcal P}^{\text{dual}}\) of a rational convex polytope \(\mathcal P\) to be integral: \(\omega({\mathcal P},\lambda^{- 1})=(-1)^{d+1}\lambda\omega({\mathcal P},\lambda)\).