The tameness conjecture for homomorphisms of polytopal algebras

Let k[P]k[P] and k[Q]k[Q] be polytopal algebras, and let Pol(k)\operatorname{Pol}(k) denote the category whose morphisms are homomorphisms of polytopal algebras. The allowed constructions are free extensions, Minkowski sums, homothetic blow-ups, polytope changes, and compositions; an endomorphism is idempotent when its square equals itself.

Tameness conjecture. Any homomorphism in Pol(k)\operatorname{Pol}(k) is obtained by a sequence of these constructions, starting from the identity mapping kkk\to k. Moreover, there are normal forms of such sequences for idempotent endomorphisms.

The conjecture says that the subcategory of homomorphisms obtained in this way, called the tame subcategory, is the whole category Pol(k)\operatorname{Pol}(k). The source gives no resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Winfried Bruns and Joseph Gubeladze, “Polytopal linear algebra”, arXiv:math/0002024 (2001).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.