The generating-function equation for graded dimensions of the free Jordan superalgebra

Let R=Z[x]/(x21)R={\mathbb Z}[x]/(x^2-1), let ans=dimJn(D1D2)a_n^s=\overline{\dim}J_n(D_1|D_2), and write

ans=(aneven,anodd).a_n^s=(a_n^{\mathrm{even}},a_n^{\mathrm{odd}}).

Define

Ψs=n1(1[2]tzn+z2n,0)aneven(i=0[2i+1]tz2in,i=0[2i+2]tz(2i+1)n)anodd,\Psi^s=\prod_{n\geq 1}\left(1-[2]_tz^n+z^{2n},0\right)^{a_n^{\mathrm{even}}}\left(\sum_{i=0}^\infty[2i+1]_tz^{2in},-\sum_{i=0}^\infty[2i+2]_tz^{(2i+1)n}\right)^{a_n^{\mathrm{odd}}},

and

ψs=(D1z,D2z)t1+(1D1z,D2z)+(1,0)tR[t±1][z].\psi^s=(D_1z,D_2z)t^{-1}+(1-D_1z,-D_2z)+(-1,0)t\in R[t^{\pm1}][z].

The generating-function conjecture. The sequence ansa_n^s is the unique solution of

Rest=0ψsΨsdt=0.\operatorname{Res}_{t=0}\psi^s\Psi^s\,dt=0.

This is a more explicit equation for the graded dimensions of the free Jordan superalgebra, derived in the paper from the preceding structure identities; the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Shikui Shang, “The Z_2-graded dimensions of the free Jordan superalgebra J(D_1|D_2)”, arXiv:2211.09393 (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.