Generator conjecture for invariant rings of generalized signatures

Let n,d3n,d\ge 3, let VV be a dd-dimensional vector space, and let σ:Z{1,2,,d1}\sigma:\mathbb{Z}\to\{1,2,\dots,d-1\} be a generalized signature of period nn. Set Vσ=j=1nσ(j)VV^\sigma=\prod_{j=1}^n\bigwedge^{\sigma(j)}V and Rσ=C[Vσ]SL(V)R_\sigma=\mathbb{C}[V^\sigma]^{\operatorname{SL}(V)}. For distinct indices j1,,jk[1,n]j_1,\dots,j_k\in[1,n], let ujiσ(ji)Vu_{j_i}\in\bigwedge^{\sigma(j_i)}V be coordinates. Generator conjecture. The invariant ring RσR_\sigma is generated by the invariants of the form

uj1uj2ujku_{j_1}\curlywedge u_{j_2}\curlywedge\cdots\curlywedge u_{j_k}

where

i=1kσ(ji)0(modd).\sum_{i=1}^k\sigma(j_i)\equiv0\pmod d.

The conjecture gives an explicit finite generating family for the finitely generated factorial invariant ring; the source supplies no resolution.

Sources & referencesView supporting material

Primary source

Zenan Fu, “Cluster structures in mixed Grassmanianns”, arXiv:2506.20038 (2025).

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.