О лагранжевых расслоениях на симплектических $4$-фолдах

Известно, что для любого лагранжева расслоения $M \to X$ в случае гладкой базы, а также в случае некоторых конкретных многообразий $M$ (например, схема Гильберта от K3 или многообразие Куммера), можно доказать, что $X$ является проективным пространством. Я расскажу о работе Оу, в которой он доказал, что для лагранжева расслоения из неприводимого симплектического многообразия $M$ размерности четыре база является либо проективной плоскостью или поверхностью Фано $S^n(E_8)$.