Effectiveness of an affine invariant for indecomposable integral polytopes (Q804954): Difference between revisions
From MaRDI portal
Changed an Item |
Created claim: Wikidata QID (P12): Q126340170, #quickstatements; #temporary_batch_1719314627150 |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Positive polynomials and product type actions of compact groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integral body-building in \({\mathbb{R}}^ 3\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deciding eventual positivity of polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Positive polynomials, convex integral polytopes, and a random walk problem / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q126340170 / rank | |||
Normal rank |
Latest revision as of 13:25, 25 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Effectiveness of an affine invariant for indecomposable integral polytopes |
scientific article |
Statements
Effectiveness of an affine invariant for indecomposable integral polytopes (English)
0 references
1990
0 references
An integral polytope K is a compact, convex polytope all of whose vertices lie in \({\mathbb{Z}}^ d\). Translation by some \(z\in {\mathbb{Z}}^ d\), or application of \(M\in GL(d,{\mathbb{Z}})\) (the group of \(d\times d\) matrices with integer entries having \(\det =\pm 1)\) yields a map of \({\mathbb{Z}}^ d\) to itself. Such maps generate the group AGL(d,\({\mathbb{Z}})\) of translations acting on integral polytopes K. K is projectively faithful if the group generated by \(K\cap {\mathbb{Z}}^ d-K\cap {\mathbb{Z}}^ d\) is the standard copy of \({\mathbb{Z}}^ d\) inside \({\mathbb{R}}^ d\). K is indecomposable if \(K=K_ 1+K_ 2\), \(K_ i\) real, implies that one summand must equal \(\lambda K+z\), where \(\lambda\in {\mathbb{R}}\), \(z\in {\mathbb{R}}^ d\). Denote the Laurent polynomial ring in the variables \(\{x_ i: i=1,2,...,d\}\), with \(x^ w=x_ 1^{w(1)}\cdot x_ 2^{w(2)}\cdot...\cdot x_ d^{w(d)}\) for monomials, by \({\mathbb{R}}[x_ i^{\pm 1}]\). Denote the set of Laurent polynomials with no negative coefficients by \({\mathbb{R}}[x_ i^{\pm 1}]^+\). If K is projectively faithful, set \(P=\Sigma \lambda_ wx^ w\) in \({\mathbb{R}}[x_ i^{\pm 1}]\), with \(w\in K\cap {\mathbb{Z}}^ d\), \(\lambda_ w\in {\mathbb{R}}\). Define \(R_ p\) as the real algebra generated by \(\{x^ w/P:\) \(w\in K\cap {\mathbb{Z}}^ d\}\), with the positive cone \(R^+_ p\) generated additively and multiplicatively by the same set of rational functions. Let U denote the set of elements in \(R_ p\) that are bounded below (away from zero) as functions on \((R^ d)^{++}\). Define \(R_ k\) to be \(R_ p[U^{-1}].\) The author's main new result is that K, \(K'\) projectively faithful indecomposable integral polytopes and \(R_ K\cong R_{K'}\) together imply that there exist positive integers m and n such that mK and \(nK'\) are AGL(d,\({\mathbb{Z}})\)-equivalent. Regarding the fine structure of \(R_ K\), for indecomposable K, he proves: if \(t<t'\) are positive integers and K is an integral polytope such that tK is projectively faithful, and if \(R_{tK}\neq R_{t'K}\), then \((R^+_{t'K}\cap R_{tK})\setminus R^+_{tK}\neq \emptyset.\) This gives insight into certain order- theoretic random walk problems. Moreover, if \(\phi (R_{t'K})\subseteq R_{tK}\) for some automorphism \(\phi\) of \(R_{dK}\), the \(R_{tK}=R_{t'K}\). Examples of integral polytopes of dimension \(\geq 5\) with very strange properties are presented.
0 references
lattice polytope
0 references
affine equivalence
0 references
indecomposable integral polytopes
0 references