Tame homomorphisms of polytopal rings

From MaRDI portal
(Redirected from Publication:945950)



Abstract: The object of this paper is the tameness conjecture which describes an arbitrary graded k-algebra homomorphism of polytopal rings. We give further evidence of this conjecture by showing supporting results concerning joins, multiples and products of polytopes.


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.











This page was built for publication: Tame homomorphisms of polytopal rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q945950)