Стягиваемые лагранжевы подмногообразия и нормальная форма в окрестности

Рассмотрим голоморфно симплектическое многообразие $X$ (возможно, некомпактное) и его лагранжево подмногообразие $Z$. Пусть $Z$ — стягиваемо (т.е. образ $Z$ — точка при некотором собственном отображении, являющемся изоморфизмом вне $Z$). В проективной ситуации хорошо известно, что $Z$ — проективное пространство. Мы покажем, что это верно и для любого, даже неалгебраического $X$, а кроме того, докажем следующую теорему о нормальной форме: некоторая окрестность $Z$ в $X$ изоморфна окрестности нулевого сечения кокасательного расслоения проективного пространства как голоморфно симплектическое многообразие.
Это совместная работа с М. Вербицким.