[논문 리뷰] Higher order double point formulas via SSM-Thom polynomials

Reese Lance|arXiv (Cornell University)|2026. 01. 25.

Homotopy and Cohomology in Algebraic Topology인용 수 0

한 줄 요약

이 논문은 Segre–Schwartz–MacPherson (SSM) 클래스를 이용하여 고전적 이중점 공식을 한 매개변수 변형으로 만들고, A0^2, A0, A1에 대한 SSM–Thom 다항식을 큰 차수 범위에서 계산하며 보편적인 고차 보정들을 도출한다.

ABSTRACT

We study the geometry of double point loci of maps $F:M o N$ of complex manifolds through the lens of Segre-Schwartz-MacPherson (SSM) classes. Classical double point formulas express the fundamental class of the closure of the double point locus of $F$ in terms of global invariants of source and target spaces, as well as $F$. In this paper we extend these results by computing a one-parameter cohomological deformation of the double point formula given by the SSM class. We compute the SSM class of the double point locus in a large cohomological degree range. The leading term in our new formulas recovers the classical double point formula of Fulton and Laksov, while higher-degree terms provide explicit universal corrections. Our approach uses interpolation techniques for SSM-Thom polynomials of multisingularities, recently developed by Koncki, Nekarda, Ohmoto and Rimányi. We also compute SSM-Thom polynomials for the singularities $A_0$ and $A_1$ in the same range. As an application, we show how the deformed formulas yield refined geometric information about those singularity loci through a theorem of Aluffi and Ohmoto, including constraints on when such loci can arise as complete intersections.

연구 동기 및 목표

• SSM 클래스를 이용하여 고전적 이중점 공식을 코호모로지적 변형으로 확장한다.
• 일정한 사상 클래스에 대해 이중점 영역의 SSM 클래스를 큰 코호모로지 차수 범위에서 계산한다.
• SSM–Thom 다항식을 통해 고전적 공식에 대한 보편적 고차 보정을 얻는다.
• 다중 특이점의 SSM–Thom 다항식에 대한 보간 기법을 활용하여 명시적 표현을 도출한다.

제안 방법

• CSM/SSM(Chern–Schwartz–MacPherson/Segre–Schwartz–MacPherson) 클래스와 기본 클래스 간의 관계를 정의하고 다룬다.
• Cℓ 설정에서의 매핑에 대한 Thom 원칙과 안정성 개념을 사용하여 특이점을 연구한다.
• Mather 다중 특이점 간의 보간법을 통해 A0^2, A0, A1에 대한 SSM–Thom 다항식을 계산한다.
• SSM–Thom 다항식을 변수 c, s의 보편적 거듭제곱급으로 매개변수 ℓ = n − m으로 나타낸다.
• 프로토타입 'germ'과 토러스-평가를 이용한 보간 제안 8.7의 유사 사례를 적용하여 계수를 제약한다.
• Landweber–Novikov 클래스와 결정식 S_(m)을 활용하여 고차 항을 표현한다.
• Thom 원칙을 활용하여 추상적 SSM–Thom 다항식을 안정 맵의 특이점 영역의 실제 SSM 클래스로 연결한다.

실험 결과

연구 질문

• RQ1 SSM 클래스의 이중점 영역이 포착하는 고전적 이중점 공식의 한 매개변수 변형은 무엇인가?
• RQ2 고차 코호모로지 차수 범위에서 A0^2, A0, A1에 대한 SSM–Thom 다항식을 어떻게 계산할 수 있는가?
• RQ3 고차 항이 Fulton–Laksov형 이중점 공식에 대한 보편적 보정으로 얼마나 기여하는가?
• RQ4 Cℓ-맵에서 다중 특이점에 대한 SSM–Thom 다항식의 보간 기법을 어떻게 사용해 다항식 표현을 얻을 수 있는가?
• RQ5 Aluffi–Ohmoto와 같은 결과를 통해 변형된 공식으로부터 어떤 기하학적 제약(예: 완전 교차상태)들이 도출되는가?

주요 결과

• SSM 클래스의 선도항은 Fulton과 Laksov의 고전적 이중점 공식을 재현한다.
• 고차 항은 고전 공식에 대한 보편적 보정을 명시적으로 제공한다.
• A0^2, A0, A1에 대한 SSM–Thom 다항식은 같은 차수/차원 범위에서 계산된다.
• 보간 기법은 SSM–Thom 다항식의 구체적인 거듭제곱급 표현을 도출해 안정 맵 전반에 걸친 보편성을 보여준다.
• 변형된 공식들은 특이점 영역에 대한 정교한 기하학적 정보를 제공하고 이러한 영역이 완전 교차조건을 만족할 수 있는지 제약한다.