The structure conjecture for the free Jordan superalgebra J(D1∣D2)J(D_1|D_2)

About 4 years old · traced to

Let J(D1∣D2)J(D_1|D_2) be the free Jordan superalgebra with D1+D2≥1D_1+D_2\geq 1. Let GG be the acting algebraic group, let Rs(G){\mathcal R}^s(G) be the relevant super representation ring, let λs\lambda^s be the super λ\lambda-operation, and let L(0)L(0) and L(2)L(2) denote the indicated PSL(2)PSL(2)-modules. Set

A(D1∣D2)=[J(D1∣D2)],B(D1∣D2)=[Bs(J(D1∣D2))].A(D_1|D_2)=[J(D_1|D_2)],\qquad B(D_1|D_2)=[{\mathcal B}^s(J(D_1|D_2))].

The structure conjecture. The elements A(D1∣D2)A(D_1|D_2) and B(D1∣D2)B(D_1|D_2) are uniquely determined in Rs(G){\mathcal R}^s(G) by

[λs(A(D1∣D2)L(2)+B(D1∣D2)):L(0)]=[k],[\lambda^s(A(D_1|D_2)L(2)+B(D_1|D_2)):L(0)]=[k], [λs(A(D1∣D2)L(2)+B(D1∣D2)):L(2)]=−[kD1∣D2],[\lambda^s(A(D_1|D_2)L(2)+B(D_1|D_2)):L(2)]=-[k^{D_1|D_2}],

where kk is the trivial graded GG-module and kD1∣D2k^{D_1|D_2} is the natural graded GG-module. This is the proposed representation-ring description of the free Jordan superalgebra and its associated object; 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.