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

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