Generator-and-relation conjecture for the modules M_\bm

Let =(mi,j)1ijn\bm=(m_{i,j})_{1\le i\le j\le n} be the multiplicity data defining the module M_\bm, let \ga\g^a be the degenerate Lie algebra acting on it, and let fi,jf_{i,j} be the corresponding polynomial variables. Define I_\bm to be the ideal generated by the subspace

\U(b)span(fi,jikljmk,l+1, ij).\U({\mathfrak b})\circ \operatorname{span}\left(f_{i,j}^{\sum_{i\le k\le l\le j}m_{k,l}+1},\ i\le j\right).

Generator-and-relation conjecture. The following \ga\g^a-module M_\bm is isomorphic to

{\mathbb C}[f_{i,j}]_{i\le j}/I_\bm.

This conjecture extends the corresponding presentation known when \bm is supported on the diagonal. It would provide a uniform generators-and-relations description of the degenerate modules M_\bm.

Sources & referencesView supporting material

Primary source

Evgeny Feigin, “Degenerate SL_n: representations and flag varieties”, arXiv:1202.5848 (2012).

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.