Almkvist's strong Lefschetz conjecture for relative coinvariant rings

Fix positive integers m,nm,n, let W=G(m,1,n)W=G(m,1,n) and K=SnWK=\mathfrak{S}_n\subset W, and define

A(m,n)=RG(m,1,n)Sn=C[e1,,en](e^1,,e^n).A(m,n)=R^{\mathfrak{S}_n}_{G(m,1,n)}=\frac{\mathbb{C}[e_1,\ldots,e_n]}{(\hat e_1,\ldots,\hat e_n)}.

Here eie_i is the ii-th elementary symmetric function in x1,,xnx_1,\ldots,x_n, and e^i\hat e_i is the ii-th elementary symmetric function in x1m,,xnmx_1^m,\ldots,x_n^m. Almkvist's strong Lefschetz conjecture. For fixed mm, the graded Artinian complete intersection A(m,n)A(m,n) has the strong Lefschetz property for all sufficiently large nn. Moreover, A(m,n)A(m,n) has maximum Jordan type compatible with its Hilbert function; in particular, it is strong Lefschetz if and only if its Hilbert function is unimodal, and it is always weak Lefschetz. This is an algebraic strengthening of Almkvist's conjecture on unimodality of the coefficients of the Hilbert polynomial. The source presents these assertions as an extension of Almkvist's conjecture; their general validity remains open.

Sources & referencesView supporting material

Primary source

Chris McDaniel, Shujian Chen, Anthony Iarrobino and Pedro Macias Marques, “Free extensions and Lefschetz properties, with an application to rings of relative coinvariants”, arXiv:1807.05869 (2018).

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.