Conjecture on semisimplicity criteria for Brauer algebras

From papers

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 n2n\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)(z1),p_1(z)=(z+2)(z-1),

with

pi(z)={(z+2i)(zi)(z+i2)pi1(z)if i is odd,(z+2i)(zi)pi1(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 p2k1(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 p2k2(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.

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

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

Solutions 0

No solutions have been posted yet.