Classification of conic divisorial ideals of toric rings associated to posets

About 4 years old · traced to

Let PP be a poset, let P^\widehat{P} be its augmented poset, let Q(P^)\mathcal{Q}(\widehat{P}) denote the set of maximal chains of P^\widehat{P}, and let CP\mathfrak{C}_P and XP\mathfrak{X}_P be the polyhedral sets defined from the circuits and general X-shape subposets of P^\widehat{P}, respectively. Write CP\mathcal{C}_P for the associated toric configuration and k[CP]\Bbbk[\mathcal{C}_P] for its toric ring. Classification conjecture. The conic divisorial ideals of k[CP]\Bbbk[\mathcal{C}_P] one-to-one correspond to the points in

CP∩XP∩ZQ(P^)∖{Q0}.\mathfrak{C}_P\cap \mathfrak{X}_P\cap \mathbb{Z}^{\mathcal{Q}(\widehat{P})\setminus \{Q_0\}}.

This claim gives a polyhedral and integral parametrization of the conic divisorial ideals of the toric ring associated with PP; the supplied text does not indicate whether the statement is proved or remains open.

References

Primary source

Koji Matsushita, “Conic divisorial ideals of toric rings and applications to Hibi rings and stable set rings”, arXiv:2210.02031 (2025).

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.