[논문 리뷰] A short proof of a formula of Brasselet, Le and Seade for the Euler obstruction

Joerg Schuermann|ArXiv.org|2002. 01. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 5

한 줄 요약

이 논문은 복소해석기하점 $(X,0)$의 일반화된 유클리드 방해의 공식을 Dubson, Lê, Ginsburg, Sabbah의 소멸 사이클 함수자에 대한 색인 정리에 기반하여 간결하게 증명한다. 비퇴화 조건을 만족하는 선형 형식 $l$ 하에서, 원점에서의 유클리드 방해는 각 군집의 밀너 섬유의 오일러 특성의 가중합과 일치하며, 각 군집에서의 유클리드 방해 값이 가중치로 작용한다. 이 결과는 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$에 대해, 근처 사이클 함수자 $\psi_l$ 에 Dubson, Lê, Ginsburg, Sabbah의 색인 정리를 적용하기.
• 군집의 국소적으로 콘 형태를 가지며 링크의 오일러 특성이 0이 되므로, $i_0^!\psi_l(\alpha)(0) = i_0^*\psi_l(\alpha)(0)$ 의 동치 관계를 이용하기.
• 구조 함수 $\alpha$ 를 군집 $V_i$ 에 대해 $Eu(cl(V_i), \cdot)$ 의 선형 조합으로 정의하여, 정밀화된 Whitney 군집화에 대해 구조적이게 만들기.
• 값 $\alpha(0)$ 이 열린 밀너 섬유 $V_i \cap \mathbb{B}_\epsilon^\circ \cap l^{-1}(t_0)$ 의 컴actsupport를 가진 오일러 특성 $\chi_c(V^\circ(i,\epsilon,t_0))$ 와 관련지기.
• 포incare 대칭을 이용하여, 매끄러운 군집에 대해 $\chi(V_i \cap \mathbb{B}_\epsilon \cap l^{-1}(t_0))$ 와 $\chi_c(V^\circ(i,\epsilon,t_0))$ 가 동일함을 보장하기.
• 원점에서 $dl_0$ 가 일반화된 탄성 공간에서 영이 되지 않음을 보장하는 비퇴화 조건이 색인 공식의 적용 가능성을 보장함을 검증하기.

실험 결과

연구 질문

• RQ1 Brasselet, Lê, Seade의 유클리드 방해 공식은 비등차원 복소해석기하점의 기호로 일반화될 수 있는가?
• RQ2 이 공식은 군집 폐포의 유클리드 방해의 선형 조합으로 이루어진 구조 함수로도 확장될 수 있는가?
• RQ3 소멸 사이클 함수자에 대한 색인 정리가 $\alpha(0)$ 을 계산하기 위해 적용되기 위해 선형 형식 $l$ 에 어떤 조건이 필요한가?
• 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$ 에서의 값이다.
• 링크의 오일러 특성이 0이 되므로, Sullivan 정리의 결과로 $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$-정규성 조건 하에서도 색인 정리의 맥락에서 공식이 성립함을 보였다.