Conjectural composition factors of the third lower-central quotient of the symplectic free associative algebra

From papers

Let A2nA'_{2n} be the symplectic quotient of the free associative algebra on 2n2n generators, let B3(A2n)B_3(A'_{2n}) denote its third lower-central-series quotient, and let H2nH_{2n} act on it. Write ρm\rho_m for the relevant irreducible sp2n\tfrac{\mathfrak{sp}}{}_{2n}-representation, and let Fλ\mathcal{F}_\lambda, TkT_k, XkX_k, and ZkZ_k denote the tensor-field modules and subquotients defined in the paper.

Composition-factor conjecture. The vectors vk,0v_{k,0} and zk,0z_{k,0} are non-zero in B3(A2n)B_3(A'_{2n}), and the H2nH_{2n}-module composition factors of B3(A2n)B_3(A'_{2n}) are

F(2,1k),F(1k)/Tk,Zk/Xk\mathcal{F}_{(2,1^k)},\,\mathcal{F}_{(1^k)}/T_k,\,Z_k/X_k

for odd kk with 1kn11\le k\le n-1.

This conjecture is based on direct computations in MAGMA for 2n=4,62n=4,6 and would identify the displayed surjection onto B3(A2n)B_3(A'_{2n}) as an isomorphism for all nn.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Ben Bond and David Jordan, “The lower central series of the symplectic quotient of a free associative algebra”, arXiv:1111.2316 (2012).

Solutions 0

No solutions have been posted yet.