Tame homomorphisms of polytopal rings (Q945950)

The object of the paper under review is the tameness conjecture introduced by \textit{W. Bruns} and \textit{J. Gubeladze} [Beitr. Algebra Geom. 43, No. 2, 479--500 (2002; Zbl 1040.14023)], which describes an arbitrary graded \(k\)-algebra homomorphism of polytopal rings. The author will give further evidence of this conjecture by showing supporting results concerning joins, multiples and products of polytopes. Let \(P\) be a convex lattice polytope in \(\mathbb R^{n}\), and let \(S(P)\) be the additive monoid of \(\mathbb Z^{n+1}\) generated by \(\{ (x,1) | \;x \in P \cap \mathbb Z^{n} \}\). The polytopal ring \(k[P]\) is the monoid ring of \(S(P)\) with coefficients in \(k\). Put \(P\) and \(Q\) be convex lattice polytopes in \(\mathbb R^{n}\) respectively \(\mathbb R^{m}\). The join of \(P\) and \(Q\) is defined as convex hull of the image of \(P\) under \(\iota_1 : \mathbb R^{n} \to \mathbb R^{n+m+1} \;(x \mapsto (x,0,0))\) and the image of \(Q\) under \(\iota_2 : \mathbb R^{m} \to \mathbb R^{n+m+1} \;(y \mapsto (0,y,1))\), \(i.e.\) join\((P,Q)\) = conv\((\iota_1 (P), \iota_2 (Q))\). We denote the \(c\)-\(th\) multiple of \(P\) by \(cP\), \(i.e.\) \(cP = \{ cx | \;x \in P \}\). \(k[cP]\) is in general an overring of the \(c\)-\(th\) Veronese subring of \(k[P]\). The Segre product of \(k[P]\) and \(k[Q]\) is \(k[P \times Q]\) where \(P \times Q = \{ (x,y) | \;x \in P , y \in Q \}\). The main result of the paper under review shows for two convex polytopes \(P\) and \(Q\) in \(\mathbb R^{n}\) respectively \(\mathbb R^{m}\) the following assertion: If every graded homomorphism from \(k[P]\) respectively \(k[Q]\) is tame, then (1) every graded homomorphism from \(k[\)join\((P,Q)]\) is tame, (2) every graded homomorphism from \(k[cP]\) is tame, (3) every graded homomorphism from \(k[P \times Q]\) is tame.