[论文解读] A short proof of a formula of Brasselet, Le and Seade for the Euler obstruction

Joerg Schuermann|ArXiv.org|Jan 31, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 5

一句话总结

本文利用杜布松、 Lê、金堡和萨巴的消失上同调函子指标定理，对复解析芽 $(X,0)$ 的欧拉阻碍的一般化公式提供了简洁证明。在直线形式 $l$ 的非退化条件下，结果表明原点处的欧拉阻碍等于各分支的 Milnor 纤维的欧拉特征的加权和，权重为各分支上的欧拉阻碍值。该结果将 Brasselet、Lê 与 Seade 的早期工作推广至非等维空间及更一般的构造函数。

ABSTRACT

Using the index theorem of Dubson, Le, Ginsburg and Sabbah for the vanishing cycle functor, we give a short proof of formula of Brasselet, Le and Seade for the Euler obstruction.

研究动机与目标

• 将 Brasselet、Lê 与 Seade 的欧拉阻碍公式推广至复解析空间芽的非等维情形。
• 利用消失上同调函子的指标定理，提供简洁证明，避免冗长的几何论证。
• 将公式扩展至作为分支闭包欧拉阻碍的线性组合的构造函数。
• 在弱于 Whitney $b$-正则性的条件下（如 $C$-正则性）建立公式。
• 证明该结果不仅适用于线性形式，也适用于在原点具有非退化微分的全纯函数芽。

提出的方法

• 对在原点具有非退化微分的线性形式 $l$，将 Dubson、Lê、Ginsburg 与 Sabbah 的指标定理应用于邻近上同调函子 $\psi_l$。
• 通过分支的局部锥结构及链的欧拉特征消失，利用等价关系 $i_0^!\psi_l(\alpha)(0) = i_0^*\psi_l(\alpha)(0)$。
• 将构造函数 $\alpha$ 定义为各分支 $V_i$ 的欧拉阻碍 $Eu(cl(V_i), \cdot)$ 的线性组合，确保其相对于精细 Whitney 分层是构造可测的。
• 将值 $\alpha(0)$ 与开 Milnor 纤维 $V_i \cap \mathbb{B}_\epsilon^\circ \cap l^{-1}(t_0)$ 的紧支集欧拉特征 $\chi_c(V^\circ(i,\epsilon,t_0))$ 关联起来。
• 利用庞加莱对偶性，将光滑分支的 $\chi(V_i \cap \mathbb{B}_\epsilon \cap l^{-1}(t_0))$ 与 $\chi_c(V^\circ(i,\epsilon,t_0))$ 等同。
• 验证 $dl_0$ 在原点的广义切空间上非退化，可保证指标公式适用，等价于 $dl_0 \not\in \overline{\mathrm{im}(T^*_{V_i}\mathbb{C}^N)}$。

实验结果

研究问题

• RQ1 Brasselet、Lê 与 Seade 的欧拉阻碍公式能否推广至复解析空间芽的非等维情形？
• RQ2 该公式是否可扩展至作为分支闭包欧拉阻碍的线性组合的构造函数？
• RQ3 在何种条件下，消失上同调函子的指标定理可用于计算 $\alpha(0)$？
• RQ4 该结果能否超越 Whitney $b$-正则分层，推广至 $C$-正则或其他更弱的正则性条件？
• RQ5 当 $l$ 被替换为在原点具有非退化微分的全纯函数芽时，公式是否依然成立？

主要发现

• 在标准非退化条件下，对于一般线性形式 $l$，有 $Eu(X,0) = \sum_{i=1}^k \chi(V_i \cap \mathbb{B}_\epsilon \cap l^{-1}(t_0)) \cdot Eu_{V_i}(X)$。
• 对于任意作为 $Eu(cl(V_i), \cdot)$ 线性组合的构造函数 $\alpha$，有 $\alpha(0) = \sum_{i=1}^k \chi_c(V^\circ(i,\epsilon,t_0)) \cdot \alpha_i$，其中 $\alpha_i$ 为 $\alpha$ 在 $V_i$ 上的取值。
• 由于 Sullivan 定理，$Z$ 在 0 处的链的欧拉特征消失，因此等式 $i_0^!\psi_l(\alpha)(0) = i_0^*\psi_l(\alpha)(0)$ 成立。
• $dl_0$ 在原点的广义切空间上非退化，确保指标公式适用，等价于 $dl_0 \not\in \overline{\mathrm{im}(T^*_{V_i}\mathbb{C}^N)}$。
• 该结果不仅适用于线性形式，也适用于任何在原点具有非退化微分的全纯函数芽 $l$，在相同非零条件之下。
• 在弱于 Whitney $b$-正则性的假设（如 $C$-正则性）下，公式依然成立，如指标定理的语境所示。