双亚纯可收缩全纯拉格朗日子流形的法形式

设 $M$ 为全纯辛复流形，不必紧或拟射影，且 $X \subset M$ 为紧致拉格朗日子流形。我们构造到法锥的形变，表明 $X$ 的邻域可形变为其在 $T^*X$ 中邻域。这被用于研究可双亚纯收缩为一点的拉格朗日子流形。我们证明此类子流形双全纯同构于 $CP^n$，并表明 $X$ 的某邻域辛双全纯同构于其余切丛零截面的邻域。这给出了 Weinstein 法邻域定理的全纯版本。