Доказательство теоремы Гончаровой для $L_1$

На конгрессе в Ницце И. М. Гельфандом была сформулирована задача вычисления когомлогий алгебр Ли $L_k$ формальных векторных полей на прямой, имеющих в нуле нуль порядка по крайней мере $k+2$. В 1973 году эти когомологии были посчитаны Л. В. Гончаровой. Однако, насколько известно докладчику, людей, которые разобрались в этом доказательстве, можно пересчитать по пальцам одной руки.
Позднее были обнаружены глубокие связи алгебры Ли $L_1$ с другими областями математики, в числе которых конформная теория поля и теория комплексных кобордизмов. Это вызвало интерес к получению проверяемого доказательства теоремы Гончаровой. Однако во всех посвящённых этому вопросу статьях позднее были найдены неточности или ошибки. Единственным известным на данный момент доказательством, в котором они не были найдены, является доказательство Ф. В. Вайнштейна (2010).
В докладе будет рассказано это элементарное доказательство для случая $L_1$. Причём, как надеется докладчик, так, что станет понятно всем слушателям.