The excellent-set conjecture for Serre conditions of simplicial complexes

Let Δ\Delta be a simplicial complex, and let AΔA\subseteq\Delta be excellent if its elements are pairwise independent and every facet of Δ\Delta contains a unique element of AA. Define

ΔA:=Δ{σΔστ for some τA}.\Delta_A:=\Delta-\{\sigma\in\Delta\mid \sigma\supseteq\tau\text{ for some }\tau\in A\}.

A simplicial complex Δ\Delta satisfies (S)(S_{\ell}) when it has the stated Serre condition.

Excellent-set conjecture. If AΔA\subseteq\Delta is excellent and Δ\Delta satisfies (S)(S_{\ell}), then ΔA\Delta_A satisfies (S)(S_{\ell}).

This conjecture proposes that deleting all faces containing members of an excellent set preserves the Serre condition. It extends the preceding result that deleting faces containing an independent set decreases depth by at most one; its status is not resolved in the supplied source.

Sources & referencesView supporting material

Primary source

Brent Holmes and Justin Lyle, “Rank Selection and Depth Conditions for Balanced Simplicial Complexes”, arXiv:1802.03129 (2019).

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.