Low-weight rotational eigenvector conjecture for 3G3^G subfactor planar algebras

At least 10 years old · documented by

Let GG be a finite group, let \cP∙\cP_\bullet be a 3G3^G subfactor planar algebra, and for each g∈G∖{1}g\in G\setminus\{1\} let pgp_g be the projection in \cP4,+\cP_{4,+} corresponding to gρg\rho. Suppose g,h,k,ℓ∈G∖{1}g,h,k,\ell\in G\setminus\{1\} are distinct. Low-weight rotational eigenvector conjecture.

  1. If g=g−1g=g^{-1} and h=h−1h=h^{-1}, then pg−php_g-p_h is a low-weight rotational eigenvector with eigenvalue 11.
  2. If g=h−1g=h^{-1}, then pg−php_g-p_h is a low-weight rotational eigenvector with eigenvalue −1-1.
  3. If g=g−1g=g^{-1} and h=k−1h=k^{-1}, then 2pg−(ph+pk)2p_g-(p_h+p_k) is a low-weight rotational eigenvector with eigenvalue 11.
  4. If g=h−1g=h^{-1} and k=ℓ−1k=\ell^{-1}, then (pg+ph)−(pk+pℓ)(p_g+p_h)-(p_k+p_\ell) is a low-weight rotational eigenvector with eigenvalue 11.

These formulas agree with the known Haagerup and Izumi examples and are intended as a first step toward a uniform planar-algebraic approach to 3G3^G subfactors. The source gives no resolution of the conjecture.

References

Primary source

Zhengwei Liu and David Penneys, “The generator conjecture for 3^G subfactor planar algebras”, arXiv:1507.04794 (2015).

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.