The Scarf resolution conjecture for powers of extremal ideals

About 1 year old · traced to

For an integer q≥1q\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=∏i∈A⊆[q]xA(i∈[q]).\epsilon_i=\prod_{i\in A\subseteq [q]}x_A\qquad (i\in[q]).

For r≥1r\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,q≥1r,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.

References

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.