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

At least 1 year old · documented by

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−ρ1∣≤2|w_1-\rho_1|\leq 2; or (iii) λ(j)≠∅\lambda(j)\neq\emptyset for some j∈{3,4}j\in\{3,4\}, ∣w1−ρ1∣≥3|w_1-\rho_1|\geq 3, and λ(2)≠∅\lambda(2)\neq\emptyset with γ1+γ2≥⌈l2⌉−1\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.

References

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.