The Scarf resolution conjecture for powers of extremal ideals

For an integer q1q\geq 1, let Sq=k[xA ⁣:A[q]]\mathcal{S}_q=\mathsf{k}[x_A\colon \emptyset\neq A\subseteq [q]], and let Eq\mathcal{E}_q be the ideal generated by

ϵi=iA[q]xA(i[q]).\epsilon_i=\prod_{i\in A\subseteq [q]}x_A\qquad (i\in[q]).

For r1r\geq 1, write Eqr=(Eq)r\mathcal{E}_q^r=(\mathcal{E}_q)^r and let S(Eqr)\mathbb{S}(\mathcal{E}_q^r) denote its Scarf simplicial complex. The Scarf resolution conjecture. For all integers r,q1r,q\geq 1, S(Eqr)\mathbb{S}(\mathcal{E}_q^r) supports a minimal free resolution of Eqr\mathcal{E}_q^r.

A Scarf resolution is the smallest possible cellular resolution in this setting, and would give an explicit minimal free resolution for every power of every extremal ideal. The conjecture was previously speculated in the cited work and is presented here as a guiding conjecture supported by the paper's additional evidence and results.

Sources & referencesView supporting material

Primary source

Trung Chau, Art M. Duval, Sara Faridi, Thiago Holleben, Susan Morey and Liana M. Şega, “Realizing resolutions of powers of extremal ideals”, arXiv:2502.09585 (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.