Classification of conic divisorial ideals of toric rings associated to posets

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

CPXPZQ(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.

Sources & referencesView supporting material

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.