Full-rank conjecture for descendent matroids

About 3 years old · traced to

For each weight kk, let Mk\mathcal{M}_k be the descendent matroid whose ground set consists of stationary descendents of weight kk, and let QM⁡k\operatorname{QM}_k be the space of quasimodular forms of weight kk. The rank of a matroid is the cardinality of any basis, and dim⁡(QM⁡k)\operatorname{dim}(\operatorname{QM}_k) denotes the dimension of this quasimodular-form space. The conjecture also uses the stationary descendents ⟨τk1…τkn⟩\langle\tau_{k_1}\ldots\tau_{k_n}\rangle with ∑i(ki+2)=k\sum_i(k_i+2)=k.

Full-rank conjecture. The rank of Mk\mathcal{M}_k is always equal to dim⁡(QM⁡k)\operatorname{dim}(\operatorname{QM}_k). Equivalently,

Q[{⟨τk1…τkn⟩}∑(ki+2)=k]=QM⁡k.\mathbb{Q}\left[\left\{\left\langle\tau_{k_1}\ldots\tau_{k_n}\right\rangle\right\}_{\sum(k_i+2)=k}\right]=\operatorname{QM}_k.

This conjecture would ensure that stationary descendents span the full space of quasimodular forms of each weight and, in particular, that the relevant bases exist. The paper reports computations supporting its plausibility but does not establish it in general.

References

Primary source

Adam Afandi, “Stationary Descendents and the Discriminant Modular Form”, arXiv:2308.14198 (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.