A proof of Feigin's conjecture (Q1271378)

The author studies the semi-infinite cohomology of small quantum groups. For a fixed primitive \({\ell}\)th root of unity \(\zeta\) he defines the small quantum group \({\mathfrak u}_{\ell}\) at \(\zeta\). Then the author gives a full proof of Feigin's conjecture: Let \(\mathcal N\) be the set of nilpotent elements in the simple Lie algebra \({\mathfrak g}\) corresponding to fixed root data of finite type and let \({\mathfrak n}^+\) be the standard positive nilpotent subalgebra \({\mathfrak n}^+ \subset \mathcal N \subset {\mathfrak g}\). Then the quasicoherent sheaf on \(\mathcal N\) provided by \(\text{Ext} ^{{\infty \over 2}+ \cdot}_{{\mathfrak u}_{\ell}}(\underline {\mathbb C},\underline {\mathbb C})\) is equal to the sheaf of algebraic distributions on \(\mathcal N\) with support on \({\mathfrak n}^+ \subset\mathcal N\).