关于真满全纯映射下基于Lojaziewic三角剖分定理选取Stein邻域构造形变收缩的疑问

嘿，这个问题问得特别到位，刚好是Łojasiewicz三角剖分定理在复几何里的一个经典应用，我来给你一步步理清楚：

首先咱们先把已知条件锚定好：$X$是复流形，$Y$是正规复解析空间，$f:X\to Y$是真、满且纤维连通的全纯映射。我们的目标是对任意$y\in Y$，找到它的一个Stein开邻域$U$，使得$f^{{-1}(U)$能形变收缩到纤维$X_y=f}{-1}(y)$。

第一步：抓牢Łojasiewicz三角剖分定理的核心结论 #

Łojasiewicz的三角剖分定理告诉我们：对于复空间$Y$，任取一点$y\in Y$，都存在$y$的一个邻域$V$，使得$V$和$f^{{-1}(V)$都可以被**半代数三角剖分**——说白了，就是能把$V$和$f}{-1}(V)$拆成欧氏空间里单纯形的并集，而且这个剖分和映射$f$是“相容”的：$f$会把$f^{-1}(V)$里的每个单纯形，线性地映射到$V$里的某个单纯形上，完全贴合剖分的结构。

第二步：从剖分里抠出符合要求的邻域$U$ #

有了这个相容剖分之后，我们可以取$y$在剖分中的星形邻域$U_0$——所谓星形邻域，就是剖分中所有包含$y$的单纯形的内部与边界的并集，这个$U_0$是半代数的开集。
接下来利用$Y$的正规性：正规复解析空间中，任意半代数开邻域里都包含一个更小的Stein开邻域$U$（这是复解析空间的标准结论，正规性保证了我们能做这样的“精细化”操作）。这一步就得到了我们需要的Stein邻域$U$。

第三步：构造从$f^{-1}(U)$到$X_y$的形变收缩 #

现在有了$U$，怎么构造形变收缩呢？

• 因为$U$是星形邻域，我们可以在$U$上定义一个分片线性的径向收缩：对每个$z\in U$，定义从$z$到$y$的连续收缩映射$G_t:U\to U$（$t\in[0,1]$），其中$G_0$是恒等映射，$G_1(z)=y$，而且$G_t$在$y$处恒为$y$。
• 因为$f$是真映射且纤维连通，再加上剖分和$f$的相容性，我们可以把这个收缩映射$G_t$提升到$f^{{-1}(U)$上，得到$H_t:f}{-1}(U)\to f^{-1}(U)$：对每个$x\in f^{{-1}(U)$，$H_t(x)$就是$G_t(f(x))$在纤维$f}{-1}(G_t(f(x)))$里对应的点，而且这个提升是连续的。
• 很容易验证，$H_t$就是我们要的形变收缩：$H_0$是恒等映射，$H_1(f^{-1}(U))=X_y$，且对所有$t\in[0,1]$，$H_t$在$X_y$上恒为自身。

为啥这一套操作是成立的？ #

• 剖分的相容性保证了径向收缩能被顺利提升，真映射的性质保证了提升后的映射是连续的（不会出现“跑飞”的情况），纤维连通性则保证了提升的存在性。
• Stein邻域的存在性则依赖于正规复空间的性质：半代数开集可以被Stein开集“逼近”，而我们取的$U$是$U_0$的子集，所以$f^{{-1}(U)$是$f}{-1}(U_0)$的开子集，原来的形变收缩可以自然限制到$f^{-1}(U)$上，完全满足要求。

备注：内容来源于stack exchange，提问作者Lelong Wang