The tameness conjecture for homomorphisms of polytopal algebras

About 26 years old · traced to

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 k→kk\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.

References

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.