Corrected Feigin cohomology conjecture for twisted differential operators

About 28 years old · traced to

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 dim⁡H3(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.

References

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.