The homogeneous X=M fermionic formula conjecture

About 28 years old · traced to

Let B=Br,sB=B^{r,s}, set k=⌈str⌉k=\left\lceil\frac{s}{t_r}\right\rceil, and choose b0,b♮∈Bb_0,b^\natural\in B such that

φ(b0)=kΛ0,wt⁡b♮=sΛ‾r.\varphi(b_0)=k\Lambda_0,\qquad \operatorname{wt}b^\natural=s\overline{\Lambda}_r.

Let X(B⊗L,λ,q)X(B^{\otimes L},\lambda,q) be the classically restricted one-dimensional sum, let M(Ws(r)⊗L,λ,q)M(W^{(r)\otimes L}_s,\lambda,q) be the corresponding fermionic form, and let HH be the energy function.

X=M conjecture. One has

X(B⊗L,λ,q)=qcM(Ws(r)⊗L,λ,q),X(B^{\otimes L},\lambda,q)=q^cM(W^{(r)\otimes L}_s,\lambda,q),

where

c=L(L−1)2H(b♮⊗b♮)+LH(b0⊗b♮).c=\frac{L(L-1)}{2}H(b^\natural\otimes b^\natural)+LH(b_0\otimes b^\natural).

Here MM is the fermionic form defined in the source. This conjecture proposes equality between the crystal one-dimensional sum and the fermionic formula, up to the stated energy normalization; the source gives no resolution status.

References

Primary source

Goro Hatayama, Atsuo Kuniba, Masato Okado, Taichiro Takagi and Yasuhiko Yamada, “Remarks on Fermionic Formula”, arXiv:math/9812022 (1999).

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.