Conjecture on generators of the simple loopless regular matroid complex homology

Let (Mreg,simp,del)(\mathcal{M}_{\bullet}^{\operatorname{\textbf{reg}},\operatorname{\textbf{simp}}},\partial_{\operatorname{del}}) be the simple loopless regular matroid complex, and let its indecomposable quotient be the connected quotient complex (Mreg,simp,cont,del)(\mathcal{M}_{\bullet}^{\operatorname{\textbf{reg}},\operatorname{\textbf{simp}},\operatorname{cont}},\partial_{\operatorname{del}}). Write U1,1U_{1,1} for the rank-one matroid on one element, let W2k+1W_{2k+1} be the wheel graph of genus 2k+12k+1 with 2(2k+1)2(2k+1) edges, and let M(W2k+1)\mathsf{M}(W_{2k+1}) be its graphic matroid.

Generator conjecture. The homology of the indecomposable quotient of the simple loopless regular matroid complex is generated by the classes of U1,1U_{1,1} and M(W2k+1)\mathsf{M}(W_{2k+1}) for all k1k\geq1.

Computations through n14n\leq14 find one-dimensional homology in degrees (1,1)(1,1), (6,3)(6,3), (10,5)(10,5), and (14,7)(14,7), generated respectively by U1,1U_{1,1}, M(W3)\mathsf{M}(W_3), M(W5)\mathsf{M}(W_5), and M(W7)\mathsf{M}(W_7). The conjecture predicts that this pattern continues for every odd wheel genus.

Sources & referencesView supporting material

Primary source

Juliette Bruce, Jacob Bucciarelli and Bailee Zacovic, “Explorations of Matroid Complexes”, arXiv:2605.24695 (2026).

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.