Conjecture on the complete support of the *-cocharacter of M_{1,2}(F)

Let FF be a field of characteristic zero, and let

χn(M1,2(F))=λn,h(λ(1))2, h(λ(2))3,h(λ(3))2, h(λ(4))2mλχλ\chi_n^{*}(M_{1,2}(F))=\sum_{\substack{\langle\lambda\rangle\vdash n,\\ h(\lambda(1))\leq 2,\ h(\lambda(2))\leq 3,\\ h(\lambda(3))\leq 2,\ h(\lambda(4))\leq 2}}m_{\langle\lambda\rangle}\chi_{\langle\lambda\rangle}

be the nnth *-cocharacter. Let λ=(λ(1),λ(2),λ(3),λ(4))\langle\lambda\rangle=(\lambda(1),\lambda(2),\lambda(3),\lambda(4)), with

λ(2)=(γ1+γ2+γ3,γ2+γ3,γ3),λ(3)=(w1+w2,w2),\lambda(2)=(\gamma_1+\gamma_2+\gamma_3,\gamma_2+\gamma_3,\gamma_3),\quad \lambda(3)=(w_1+w_2,w_2), λ(4)=(ρ1+ρ2,ρ2),l=max{w1,ρ1}.\lambda(4)=(\rho_1+\rho_2,\rho_2),\qquad l=\max\{w_1,\rho_1\}.

Cocharacter support conjecture. The multiplicity mλm_{\langle\lambda\rangle} is nonzero if and only if one of the following holds: (i) λ(3)=λ(4)=\lambda(3)=\lambda(4)=\emptyset and h(λ(1))1h(\lambda(1))\leq 1; (ii) λ(j)\lambda(j)\neq\emptyset for some j{3,4}j\in\{3,4\} and w1ρ12|w_1-\rho_1|\leq 2; or (iii) λ(j)\lambda(j)\neq\emptyset for some j{3,4}j\in\{3,4\}, w1ρ13|w_1-\rho_1|\geq 3, and λ(2)\lambda(2)\neq\emptyset with γ1+γ2l21\gamma_1+\gamma_2\geq\left\lceil\frac{l}{2}\right\rceil-1.

This conjecture is presented as a synthesis of the preceding conjectures and the final theorem, giving a proposed complete description of the nonzero multiplicities in the *-cocharacters of M1,2(F)M_{1,2}(F). The supplied text does not establish whether it is resolved.

Sources & referencesView supporting material

Primary source

Sara Accomando, “On the identities and cocharacters of the algebra of 3 3 matrices with orthosymplectic superinvolution”, arXiv:2409.10187 (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.