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

About 4 years old · traced to

Let R=Z[x]/(x2−1)R={\mathbb Z}[x]/(x^2-1), let ans=dim⁡‾Jn(D1∣D2)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=∏n≥1(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)t−1+(1−D1z,−D2z)+(−1,0)t∈R[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

Res⁡t=0ψsΨs dt=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.

References

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.