[논문 리뷰] Singularities and Characteristic Classes for Differentiable Maps

Toru Ohmoto|arXiv (Cornell University)|2013. 09. 03.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 5

한 줄 요약

이 논문은 등차형수학(cohomology)과 몫 체르니 클래스의 보편 다항식을 사용하여 복소해석적 사상의 특이점 집합의 특성류—특히 체르니-스웨이츠-맥필슨(CSM) 클래스—를 일반화한 프레임워크를 제안한다. 주요 기여는 가중 동차 사상-균열에서 $\alpha$-특이점의 판별 미르 수를 계산하는 새로운 방법을 제공하며, $m=2,3$에 대해 명시적인 공식을 도출하여 기존 특이점 이론의 결과를 복원하고 확장한다.

ABSTRACT

This is a note on my mini-course in the International Workshop on Real and Complex Singularities held at ICMC-USP (Sao Carlos, Brazil) in July 2012. Here we introduce a new branch of the Thom polynomial theory for singularities of holomorphic maps, in which we replace counting singular points by computing weighted Euler characteristics. The main purpose is to apply this theory to the study on the vanishing topology of weighted homogeneous map-germs of finite A-codimension without any corank condition.

연구 동기 및 목표

• 고전적 톰 다항식 이론을 복소해석적 사상에서 특이점 집합의 특성류를 계산하도록 일반화한다.
• CSM 클래스를 활용하여 오일러 특성수 및 미르 수와 같은 위상적 불변량을 체계적으로 계산하는 방법을 개발한다.
• 안정 사상에서 다중특이점의 가중 오일러 특성수 및 미르 수에 대한 보편 공식을 제공한다.
• $\mathcal{A}$-유한 사상-균열에서 차원 2 및 3인 경우 판별 미르 수 $\mu_{\Delta}$를 계산하기 위해 프레임워크를 적용한다.
• 등차형 체르니 클래스와 세그레-SM 클래스의 생성함수를 기반으로 효과적인 계산 도구를 수립한다.

제안 방법

• 논문은 몫 체르니 클래스 $c_i(f) = c_i(f^*TN - TM)$에 대한 멱급수로 표현되는 고차 톰 다항식 $tp^{\rm SM}(\overline{\eta})$를 도입하여, $\eta$-특이점 집합의 CSM 클래스를 보편적으로 표현한다.
• 등차형 CSM 클래스 형식론(정리 3.13)을 활용하여 특이점 집합 불변량에 대한 보편적 표현을 유도하며, 대수적 보렐 구축을 이용한다.
• 기본 클래스와 CSM 클래스 간의 쌍대성에 기반하여, 중심 방정식인 $\operatorname{Dual}\,c^{\rm SM}(\overline{\eta}(f)) = c(TM) \cdot tp^{\rm SM}(\overline{\eta})$ 를 사용한다.
• 특정 특이점인 $A_1$ (크로스캡스) 및 정규 교차점의 경우, 세그레-SM 클래스 생성함수를 통해 영상 및 판별 체르니 클래스를 계산한다.
• 토루 작용을 통한 국소화와 가중 오일러 특성수 적분을 활용하여 안정 사상 $f: M \to N$ 에 대해 적용한다.
• 저차항의 판별 세그레-SM 클래스 $tp^{\rm SM}(\alpha_{\rm dis})$ 를 사용하여 $\mu_\Delta$ 의 명시적 공식을 유도하며, 멱급수에서 유사 잔여치 추출을 통해 평가한다.

실험 결과

연구 질문

• RQ1 톰 다항식은 기본 클래스를 초월하여 특이점 집합의 특성류를 계산하기 위해 어떻게 일반화될 수 있는가?
• RQ2 안정 사상에서 $\eta$-특이점 집합의 체르니-스웨이츠-맥필슨 클래스에 대한 보편적 표현은 무엇인가?
• RQ3 $\mathcal{A}$-유한 사상-균열의 판별 미르 수 $\mu_\Delta$ 는 특이점의 특성류를 통해 계산될 수 있는가?
• RQ4 특이점 집합의 가중 오일러 특성수는 사상의 몫 체르니 클래스와 어떻게 관련이 있는가?
• RQ5 가중 동차 사상-균열 $\mathbb{C}^3,0 \to \mathbb{C}^3,0$ 의 판별 미르 수에 대한 명시적 공식은 무엇인가?

주요 결과

• $m=2$ 인 경우, 가중 동차 사상-균열 $\mathbb{C}^2,0 \to \mathbb{C}^2,0$ 의 판별 미르 수는 $\mu_\Delta = \frac{1}{2w_1^2w_2^2}(d_1d_2 - 2w_1w_2)(d_1^2 + d_2^2 + w_1^2 + 2d_1(d_2 - w_1 - w_2) + w_2^2 - 2d_2(w_1 + w_2))$ 로 주어지며, 이는 Gaffney-Mond의 결과를 새로운 방법으로 복원한다.
• $m=3$ 인 경우, 무게 $w_1,w_2,w_3$ 와 차수 $d_1,d_2,d_3$ 에 대한 유리함수로 표현되는 $\mu_\Delta$ 의 새로운 보편 공식이 유도되며, $d_i$ 에 대해 차수 5, $w_i$ 에 대해 차수 3의 다항식 표현을 가지며, 계수 1의 균열에 대해 유효하다.
• $m=3$ 의 경우 공식은 $\mathcal{A}$-분류 유형에 대해 알려진 계산 결과와 일치한다. 예를 들어 $(x^2 + y^2 + xz, xy, z)$ 에서 $\mu_\Delta = 1$ 이고, $(x^9 + y^2 + xz, xy, z)$ 에서는 $\mu_\Delta = 183$ 이다.
• 논문은 다중특이점의 세그레-SM 클래스를 위한 생성함수를 수립하여, 일반적인 특이점을 가진 3차원 프로젝티브 다양체에서 특이점 집합의 가중 오일러 특성수를 계산할 수 있게 한다.
• 프레임워크는 정규화 $M$ 에서의 적분을 통해 $\mathbb{P}^3$ 내의 특이 표면 $X \subset \mathbb{P}^3$ 에 대해 $\chi(X)$ 를 계산한다. 이는 $c_1(TM), c_2(TM), c_1, c_2, s_0 = f^*f_*(1), s_1 = f^*f_*(c_1)$ 를 포함하며, 유리수 계수 표현을 갖는다.
• 이 방법은 멱급수 $tp^{\rm SM}(\alpha_{\rm dis})$ 에서 잔여치 추출 $[\cdots]_3$ 을 통해 판별 미르 수를 성공적으로 계산하였으며, 기존 알려진 불변량과의 일관성을 확인하였다.