Corrected Feigin cohomology conjecture for twisted differential operators

Let λC\lambda\in\mathbb C, let gl(λ){\mathfrak{gl}}(\lambda) be embedded in Dif1\mathrm{Dif}_1, and let

E1p,q=Hq(gl(λ);p(Dif1/gl(λ)))E_1^{p,q}=H^q\left({\mathfrak{gl}}(\lambda);\wedge^p\left(\mathrm{Dif}_1/{\mathfrak{gl}}(\lambda)\right)^*\right)

be the first page of the associated Feigin Serre–Hochschild spectral sequence. Corrected Feigin cohomology conjecture. For general λC\lambda\in\mathbb C,

H(gl(λ);C)=(ξ1,ξ3,ξ3,ξ5,ξ5,ξ7,ξ7,),H^\bullet({\mathfrak{gl}}(\lambda);\mathbb C)=\wedge^\bullet(\xi_1,\xi_3',\xi_3”,\xi_5',\xi_5”,\xi_7',\xi_7”,\dots), E1,=(ξ1,ξ3,ξ3,ξ5,ξ5,)S(c2,c4,c6,),E_1^{\bullet,\bullet}=\wedge^\bullet(\xi_1,\xi_3',\xi_3”,\xi_5',\xi_5”,\dots)\otimes S^\bullet(c_2,c_4,c_6,\dots), d2(ξ1)=c2,d_2(\xi_1)=c_2,

and the spectral sequence degenerates at E2E_2, while

H(Dif1;C)=(ξ3,ξ3,ξ5,ξ5,ξ7,ξ7,)S(c4,c6,c8,).H^\bullet(\mathrm{Dif}_1;\mathbb C)=\wedge^\bullet(\xi_3',\xi_3”,\xi_5',\xi_5”,\xi_7',\xi_7”,\dots)\otimes S^\bullet(c_4,c_6,c_8,\dots).

The preceding version is contradicted by the paper's computation of dimH3(Dif1;C)=2\dim H^3(\mathrm{Dif}_1;\mathbb C)=2, so this corrected formulation is proposed as the replacement; the source gives no later resolution.

Sources & referencesView supporting material

Primary source

Boris Shoikhet, “Lifting formulas, Moyal product, and Feigin spectral sequence”, arXiv:math/9810162 (2022).

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.