Fusion-limit conjecture for finitized principal subspaces

From papers

Let A(m)(n)A_{(m)}(n) be the subalgebra generated by ξ0,,ξn1\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(ε)zi1(ε)=0(i=2,,n1),\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.

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

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

Solutions 0

No solutions have been posted yet.