Full-rank conjecture for descendent matroids

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 QMk\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(QMk)\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(QMk)\operatorname{dim}(\operatorname{QM}_k). Equivalently,

Q[{τk1τkn}(ki+2)=k]=QMk.\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.

Sources & referencesView supporting material

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.