[论文解读] Real Analytic Milnor Fibrations and a Strong Łojasiewicz Inequality

David B. Massey|ArXiv.org|Mar 20, 2007

Algebraic Geometry and Number Theory参考文献 15被引用 8

一句话总结

本文引入了实解析函数的一个强 Łojasiewicz 不等式，称为 'Ł-解析' 条件，该条件确保在奇点中心的球体内存在 Milnor 纤维丛。通过将复解析 Łojasiewicz 不等式推广至实解析情形，作者证明该条件保证了纤维丛的局部平凡性及其与球面纤维丛的等价性，从而将复 Milnor 纤维丛的关键拓扑性质推广至实解析设定。

ABSTRACT

We give a strong version of a classic inequality of Łojasiewicz; one which collapses to the usual inequality in the complex analytic case. We show that this inequality for a pair, quadruple, or octuple of real analytic functions allows us to construct a real Milnor fibration inside a ball.

研究动机与目标

• 将复解析 Łojasiewicz 不等式推广至实解析设定。
• 建立实解析函数在开球内存在 Milnor 纤维丛的条件。
• 证明新的强 Łojasiewicz 不等式蕴含存在类似于复情形的局部平凡纤维丛。
• 研究实解析函数在球体内的 Milnor 纤维丛是否微分同胚于球面上的纤维丛。
• 定义并研究 'Ł-解析' 函数类，作为复解析函数在实设定下的自然推广。

提出的方法

• 引入强版本的 Łojasiewicz 不等式，要求存在常数 $ c > 0 $ 和指数 $ \theta \in (0,1) $，使得对所有靠近 $ p $ 的 $ x $，有 $ |g(x) - g(p)|^\theta \leq c |\nabla g(x)| $。
• 将满足此强不等式的函数定义为 'Ł-解析' 函数，推广复解析情形。
• 利用 Thom 分层的存在性与强 Łojasiewicz 不等式，证明以 $ p $ 为中心的球体内 Milnor 纤维丛的存在性。
• 构造一个与纤维丛相适应的向量场，并证明其积分诱导出球体内纤维丛与球面纤维丛之间的微分同胚。
• 验证简单 Ł-解析函数满足 Milnor 条件 (c)，从而确保强 Milnor 条件成立。

实验结果

研究问题

• RQ1 实解析函数的强 Łojasiewicz 不等式是否蕴含在球体内存在 Milnor 纤维丛？
• RQ2 能否证明实解析函数在球体内的 Milnor 纤维丛微分同胚于球面上的纤维丛？
• RQ3 一般 Ł-解析映射到 $ \mathbb{R}^2 $ 是否满足 Milnor 条件 (c)，从而确保强 Milnor 条件？
• RQ4 两个 Ł-映射的复合是否仍为 Ł-映射，特别是在 Ł-解析情形下？
• RQ5 Ł-解析映射是否构成一个自然且有趣的函数类，而不仅限于其在 Milnor 纤维丛中的作用？

主要发现

• 强 Łojasiewicz 不等式，定义为 $ |g(x) - g(p)|^\theta \leq c |\nabla g(x)| $，其中 $ c > 0 $，$ \theta \in (0,1) $，可确保实解析函数在球体内存在 Milnor 纤维丛。
• 若实解析函数 $ f = (g,h) $ 在点 $ p $ 处为 Ł-解析，则以 $ p $ 为中心的球体内 Milnor 纤维丛存在。
• 当 $ f $ 为 Ł-解析时，球体内的 Milnor 纤维丛微分同胚于球面上的纤维丛。
• 简单 Ł-解析函数满足 Milnor 条件 (c)，从而确保强 Milnor 条件成立，因此球体与球面纤维丛等价。
• 若 $ f $ 无处局部为常数且 $ k \geq 2 $，则 Ł-解析函数是开映射，表明其结构与复解析函数具有相似性。
• Ł-解析映射类似乎是在实解析范畴中对复解析函数的自然推广，暗示其具有更广泛的数学兴趣。