Гомологическая зеркальная симметрия для кривой рода $g>1$

Это продолжение доклада, который был 10 апреля; кроме того, будет обсуждаться, как в теореме формальности Концевича в явном виде построить $L_\infty$-морфизм, определенный над $Q$.