Conjecture on semisimplicity criteria for Brauer algebras

About 19 years old · traced to

Let κ\kappa be a field, let z^∈κ\hat{z}\in\kappa, let Bn(z^)B_n(\hat{z}) be an algebra over κ\kappa, and let n≥2n\geq 2. Let κSn\kappa\mathfrak{S}_n denote the group algebra of the symmetric group over κ\kappa, and let pi(z)p_i(z) be the polynomials defined by

p1(z)=(z+2)(z−1),p_1(z)=(z+2)(z-1),

with

pi(z)={(z+2i)(z−i)(z+i−2)pi−1(z)if i is odd,(z+2i)(z−i)pi−1(z)if i is even.p_i(z)=\begin{cases}(z+2i)(z-i)(z+i-2)p_{i-1}(z)&\text{if }i\text{ is odd},\\(z+2i)(z-i)p_{i-1}(z)&\text{if }i\text{ is even}. \end{cases}

Semisimplicity conjecture. (i) If n=2k+1n=2k+1, then Bn(z^)B_n(\hat{z}) is semisimple only if κSn\kappa\mathfrak{S}_n is semisimple and p2k−1(z^)≠0p_{2k-1}(\hat{z})\ne 0. (ii) If n=2kn=2k, then Bn(z^)B_n(\hat{z}) is semisimple only if κSn\kappa\mathfrak{S}_n is semisimple, z^≠0\hat{z}\ne 0, and p2k−2(z^)≠0p_{2k-2}(\hat{z})\ne 0.

These are necessary conditions for semisimplicity of Brauer algebras, refining the preceding sufficient-condition discussion. The supplied text gives no resolution of this conjectural formulation.

References

Primary source

John Enyang, “Specht modules and semisimplicity criteria for Brauer and Birman–Murakami–Wenzl Algebras”, arXiv:0705.4142 (2007).

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.