1
$\begingroup$

Let $P \subseteq \mathbb{R}^n$ be a polytope with integral vertices, and $Q := \mathbb{R}_+ (P \times \{1\}) \cap \mathbb{Z}^{n+1}$ be the monoid of all lattice points of the cone generated by $P$ in $\mathbb{R}^{n+1}$.

In their book "Combinatorial Commutative Algebra" Miller and Sturmfels claim without proof that the Krull dimension of $\mathbb{k}[Q]$ equals the degree of its Hilbert polynomial plus one, where $\mathbb{k}$ is any field and $\mathbb{k}[Q]$ is graded with respect to the $(n+1)$-th coordinate.

Why does this statement hold? Do we really need all these prerequisites here or does it follow from a more general theorem? Note that $\mathbb{k}[Q]$ is a positively graded normal noetherian domain with $0$-homogeneous component $\mathbb{k}$. In particular $\mathbb{k}[Q]$ is a finitely generated $\mathbb{k}$-algebra.

$\endgroup$
  • $\begingroup$ Theorem 4.1.3 in B&H. $\endgroup$ – user26857 Aug 6 '14 at 12:14
  • $\begingroup$ @user26857: Thank you very much! Do you want to turn your comment into an answer? $\endgroup$ – Dune Aug 6 '14 at 12:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.