Fusion-limit conjecture for finitized principal subspaces

About 22 years old · traced to

Let A(m)(n)A_{(m)}(n) be the subalgebra generated by ξ0,…,ξn−1\xi_0,\ldots,\xi_{n-1} in A(m)A_{(m)}, and let I(m)(n)I_{(m)}(n) be its defining ideal. For a family Z(ε)=(z1(ε),…,zn(ε))∈CnZ(\varepsilon)=(z_1(\varepsilon),\ldots,z_n(\varepsilon))\in\mathbb C^n satisfying the stated distinctness, convergence, and successive-spacing conditions, let I(m),Z(ε)(n)I_{(m),Z(\varepsilon)}(n) be the ideal generated by the corresponding pairwise products. Fusion-limit conjecture. If

lim⁡ε→0z2(ε)−z1(ε)z1(ε)=0,lim⁡ε→0zi+1(ε)−zi(ε)zi(ε)−zi−1(ε)=0(i=2,…,n−1),\lim_{\varepsilon\to 0}\frac{z_2(\varepsilon)-z_1(\varepsilon)}{z_1(\varepsilon)}=0,\qquad \lim_{\varepsilon\to 0}\frac{z_{i+1}(\varepsilon)-z_i(\varepsilon)}{z_i(\varepsilon)-z_{i-1}(\varepsilon)}=0\quad (i=2,\ldots,n-1),

then

lim⁡ε→0I(m),Z(ε)(n)=I(m)(n).\lim_{\varepsilon\to 0}I_{(m),Z(\varepsilon)}(n)=I_{(m)}(n).

This generalizes the proved fusion-limit result for m=1m=1 and would identify the fused finite-dimensional spaces with the desired finitizations for general mm.

References

Primary source

B. Feigin and E. Feigin, “Principle subspace for bosonic vertex operator ϕ_2m(z) and Jack polynomials”, arXiv:math/0407372 (2004).

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.