Lyubeznik–Barile–Macchia rank conjecture for monomial ideals

About 4 years old · traced to

Let RR be a polynomial ring over a field k\boldsymbol{k}, and let I⊆RI\subseteq R be a monomial ideal. Let FL\mathcal{F}_L be a Lyubeznik resolution of R/IR/I. A Barile–Macchia resolution FB\mathcal{F}_B of II is a free resolution obtained by the Barile–Macchia construction. Lyubeznik–Barile–Macchia rank conjecture. There exists a Barile–Macchia resolution FB\mathcal{F}_B such that

rank⁡(FB)i≤rank⁡(FL)i\operatorname{rank}(\mathcal{F}_B)_i\leq \operatorname{rank}(\mathcal{F}_L)_i

for each i∈Zi\in\mathbb{Z}. This conjecture concerns whether Barile–Macchia resolutions can always be chosen, possibly using a different ordering, to be no larger in every homological degree than a given Lyubeznik resolution; the source presents it as motivated by examples and as an open question.

References

Primary source

Trung Chau and Selvi Kara, “Barile-Macchia resolutions”, arXiv:2211.04640 (2023).

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.