Minimal-generator conjecture for the generic ring

Let W(μ)W(\mu) denote the isotypic representation introduced in the paper, and let α\alpha, β\beta, and γ\gamma be partition parameters, with aa, bb, and cc the remaining weight parameters. The ring R^gen\hat R_{\mathrm{gen}} is the generic ring associated to the format, and Proposition 10.1 identifies the corresponding six families of generating weights.

Minimal-generator conjecture. The ring R^gen\hat R_{\mathrm{gen}} is generated by the six representations W(μ)W(\mu) corresponding to

α=(1),β=γ=a=b=c=0;\alpha=(1),\quad \beta=\gamma=a=b=c=0; a=1,α=β=γ=b=c=0;a=1,\quad \alpha=\beta=\gamma=b=c=0; β=(1),α=γ=a=b=c=0;\beta=(1),\quad \alpha=\gamma=a=b=c=0; b=1,α=β=γ=a=c=0;b=1,\quad \alpha=\beta=\gamma=a=c=0; γ=(1),α=β=a=b=c=0;\gamma=(1),\quad \alpha=\beta=a=b=c=0; c=1,α=β=γ=a=b=0.c=1,\quad \alpha=\beta=\gamma=a=b=0.

This would substantially reduce the generating set supplied by the known semigroup description. The source presents the assertion as an expectation, and no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Kyu-Hwan Lee and Jerzy Weyman, “Some branching formulas for Kac–Moody Lie algebras”, arXiv:1804.10251 (2022).

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.