Relations conjecture for invariant differential operators on the Siegel–Jacobi space

Let Pn,m{\mathscr P}_{n,m} be the Siegel–Jacobi space, and let DjD_j for 1jn1\leq j\leq n and Ωpq(k)\Omega_{pq}^{(k)} for 0kn10\leq k\leq n-1 and 1pqm1\leq p\leq q\leq m be the invariant differential operators defined in the source. The relations (4.14), (4.15), and (4.16) are the commutation relations displayed immediately before the conjecture. Relations conjecture. These relations generate all relations among the set

{Dj,Ωpq(k)1jn, 0kn1, 1pqm}.\left\{D_j,\,\Omega_{pq}^{(k)}\mid 1\leq j\leq n,\ 0\leq k\leq n-1,\ 1\leq p\leq q\leq m\right\}.

This conjecture asserts that the displayed commutation relations give a complete presentation of the relations among the invariant differential operators. The supplied text gives no evidence that it has been resolved.

Sources & referencesView supporting material

Primary source

Jae-Hyun Yang, “Introduction to Automorphic Forms for GL(n,)^(m,n)”, arXiv:2312.02794 (2024).

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.