[논문 리뷰] Thom polynomials of Morin singularities

Gergely Bérczi, András Szenes|ArXiv.org|2006. 08. 11.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 10

한 줄 요약

이 논문은 복소다양체 사이의 사상-점근형에 대한 모린 특이점의 톰 다항식을 계산한다. 등변 코homology와 플라그 다양체 내 궤도 폐쇄를 이용한 것으로, 유형 $ A_d $ 모린 특이점의 톰 다항식에 대한 완전한 공식을 대칭 다항식과 상대 코hen 클래스로 표현하며, 특이점의 해소에서 봄-고정점 기법과 등변 푸앵카레 dual을 통해 명시적인 계산을 수행한다.

ABSTRACT

We prove a formula for Thom polynomials of Morin (or A_d) singularities in any codimension. We use a combination of the test-curve method of Porteous, and the localization methods in equivariant cohomology. Our formulas are independent of the codimension, and they are computationally efficient for d less than 7.

연구 동기 및 목표

• 모린 특이점의 톰 다항식을 계산함으로써, 힐버트-홀로모르픽 사상에서 특이점의 위치 집합의 codimension을 분류하는 것.
• 상대 코hen 클래스에 대한 대칭 다항식으로 표현된 $ A_d $ 모린 특이점의 톰 다항식에 대한 일반 공식을 수립하는 것.
• 특이점 궤도의 해소에서 등변 코homology와 봄-고정점 기법을 이용해 톰 다항식을 계산하는 방법을 개발하는 것.
• 톰 다항식을 플라그 다양체 내 궤도 폐쇄의 기하학과 사상-점근형에 관련된 니르포텐트 대수의 구조와 연결하는 것.

제안 방법

• 저자들은 등변 코homology의 프레임워크를 사용하여 일반적인 사상의 특이점 집합의 푸앵카레 쌍대를 계산하고, 이를 $ H^*(N, \mathbb{C}) $ 내의 특성류로 식별한다.
• 특이점 궤도를 해소하기 위해 필터링된 플래그를 매개변수화하는 플라그 다양체 $ \widetilde{\mathcal{E}} $를 구성하고, 최대 토르스 $ T $ 의 작용을 이용해 고정점을 분석한다.
• 핵심 기술 도구는 좌표환 $ \mathbb{C}[u^{\bullet}] $ 내의 단항식 기저를 이용한 국소화를 통한 궤도 폐쇄 $ \mathcal{O} \subset \widetilde{\mathcal{E}} $ 의 등변 푸앵카레 쌍대의 식별이다.
• 특정 $ T $-고정점이 궤도 폐쇄에 유일하게 존재하도록 매개변수화하는 특별한 분할의 열 $ \boldsymbol{\pi}_{\mathrm{dst}} $ 를 정의함으로써 등변 클래스 $ \widehat{Q}_d $ 의 계산을 가능하게 한다.
• 선형 부분공간 $ \widehat{\mathcal{N}}_d \subset \mathcal{N}_{\mathrm{dst}} $ 를 구성하고, 사영 $ \widehat{\mathrm{pr}} $ 를 이용해 문제를 더 단순한 좌표계로 축소한다.
• 최종적으로 톰 다항식은 적절한 변수 변경을 통해 등변 클래스 $ \widehat{Q}_d $ 의 이미지로 복원되며, 상대 코헨 클래스로 표현된다.

실험 결과

연구 질문

• RQ1 유형 $ A_d $ 모린 특이점, 즉 $ d $-번째 모린 특이점의 톰 다항식은 무엇인가?
• RQ2 플라그 다양체 내 궤도 폐쇄의 등변 코homology는 어떻게 사용되어 특이점 집합의 푸앵카레 쌍대를 계산할 수 있는가?
• RQ3 궤도 폐쇄 $ \mathcal{O} \subset \widetilde{\mathcal{E}} $ 를 정의하는 아이디얼 $ I_{\mathcal{O}} $ 의 구조는 무엇이며, 이는 톰 다항식과 어떻게 관련되는가?
• RQ4 기준 플래그의 선택과 관련된 $ T $-고정점은 등변 클래스의 계산을 어떻게 단순화하는가?

주요 결과

• 유형 $ A_d $ 모린 특이점의 톰 다항식은 명시적으로 $ \mathrm{Tp}_{A_d}^{n \to k} = \mathrm{TD}_A^j(c_1, c_2, \dots) $ 로 주어지며, 여기서 $ j = k - n $ 이고, $ \mathrm{TD}_A^j $ 는 상대 코헨 클래스에 대한 일반 다항식이다.
• 궤도 폐쇄 $ \mathcal{O}_{\mathrm{dst}} \subset \mathcal{N}_{\mathrm{dst}} $ 의 등변 푸앵카레 쌍대는 $ \widehat{Q}_d $ 로 계산되며, 이는 좌표 $ \hat{u}_{mr}^l $ 에 대한 차수 $ d(d+1)/2 $ 의 동차 다항식이다.
• 궤도 폐쇄의 아이디얼 $ I_{\mathcal{O}} $ 는 $ \mathrm{Rel}(\boldsymbol{\rho}, \tau, \dots) $ 의 관계들에 의해 생성되며, 이는 $ \mathbb{C}[u^{\bullet}] $ 내의 단항식으로 명시적으로 述한다.
• 계산은 기준 플래그 $ \mathbf{f}_{\mathrm{ref}} $ 와 그에 관련된 $ T $-고정점 $ \tilde{\varepsilon}_{\mathrm{ref}} $ 의 정규 선택에 의존하며, 이는 국소화 과정을 단순화한다.
• 최종 톰 다항식은 등변 클래스 $ \widehat{Q}_d $ 를 선형 부분공간 $ \widehat{\mathcal{N}}_d $ 에 제한함으로써 얻어지며, 이는 접선(bundle)과 당겨진 접선(bundle)의 코헨 클래스에 대한 대칭 다항식이 된다.
• 이 방법은 톰 다항식이 상대 코헨 클래스 이론에 따라 codimension $ j = k - n $ 에만 의존함을 확인한다.