Generalized Eulerian duality conjecture for holonomic Weyl-algebra modules

About 10 years old · traced to

Let KK be a field of characteristic zero and let An(K)A_n(K) be the nnth Weyl algebra. Let MM be a non-zero left holonomic graded generalized Eulerian An(K)A_n(K)-module. Define its dual by

M†=Ext⁡An(K)n(M,An(K)),M^\dagger=\operatorname{Ext}^n_{A_n(K)}(M,A_n(K)),

and let ♯M†^\sharp M^\dagger denote the associated left An(K)A_n(K)-module after converting the right module M†M^\dagger via the sharp operation. The notation ♯M†(+n)^\sharp M^\dagger(+n) denotes its grading shift by nn.

Generalized Eulerian duality conjecture. The shifted module ♯M†(+n)^\sharp M^\dagger(+n) is a left generalized Eulerian An(K)A_n(K)-module.

The source presents this as another conjecture that would imply the graded Ext concentration conjecture. It applies to non-zero holonomic graded generalized Eulerian modules, but the source does not provide a resolution.

References

Primary source

Tony J. Puthenpurakal and Jyoti Singh, “On derived functors of Graded local cohomology modules”, arXiv:1612.02968 (2017).

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.