Higher order double point formulas via SSM-Thom polynomials

기술 요약: SSM–Thom 다항식을 통한 고차 이중점 공식

문제 정의
본 논문은 복소 다양체 사이의 사상 $F: M \to N$에 대한 이중점 로커스(double point loci)의 기하학을 기술하는 문제를 다룬다. 고전적으로, 이중점 로커스 $\Delta(F)$(파이버가 정확히 두 개의 전이미지를 갖는 점들의 집합)의 기본 클래스는 소스, 타겟, 그리고 사상의 전역 불변량(Chern classes)을 통해 Fulton-Laksov 공식으로 표현된다. 핵심 질문은 이 고전적인 공식이 더 높은 차원의 기하학적 정보를 포착하도록 확장될 수 있는지 여부이다. 구체적으로, 저자는 이중점 로커스의 Segre-Schwartz-MacPherson (SSM) 클래스를 계산하고자 한다. 기본 클래스와 달리, SSM 클래스는 비동차 코호몰로지 클래스(inhomogeneous cohomology class)로서, 그 선행 항(leading term)은 기본 클래스이며, 고차 항들은 선형 절단(linear sections)의 오일러 특성수와 같은 정교한 위상적 데이터를 인코딩하는 "보편적 보정(universal corrections)"을 제공한다.

방법론
본 논문은 최근 Koncki, Nekarda, Ohmoto, Rimányi에 의해 개발된 SSM-Thom 다항식과 보간법(interpolation techniques) 이론을 채택한다. 방법론은 다음과 같이 진행된다:

1. 다중 특이점 프레임워크: 이중점 로커스는 두 개의 단순 특이점($A_0$)의 연결인 $A_0^2$ (또는 $A_0 A_0$)로 표기되는 특정 "다중 특이점(multisingularity)" 유형으로 취급된다. 연구는 $C_\ell$-사상(유한한 파이버를 갖는 타겟-국소적 안정 사상)으로 제한되며, 여기서 $\ell = \dim(N) - \dim(M)$이다.
2. Thom 원리: 저자는 SSM 클래스가 안정적인 사상의 특이점 로커스에 대해, 사상의 특성 클래스(characteristic classes) 상에서 보편적 멱급수(SSM-Thom 다항식)를 평가함으로써 결정된다는 Thom 원리를 활용한다. 다중 특이점의 경우, 이 다항식은 두 종류의 변수, 즉 Chern 클래스($c$)와 Landweber-Novikov 클래스($s$)에 의존한다.
3. 보간법: 이러한 보편적 다항식을 계산하기 위해, 본 논문은 [KR25]의 보간 정리(Proposition 3.1)를 사용한다. 이 정리는 SSM-Thom 다항식이 특정 코호몰로지 차수(Mather bound)까지는 유한한 집합의 "프로토타입(prototype)" 사상들에 대한 값에 의해 유일하게 결정됨을 명시한다. 이 프로토타입들은 특이점 유형을 나타내는 특정 젬(germ)들이다.
4. 명시적 계산: 저자는 $A_0, A_0^2, A_1$ 특이점에 대한 프로토타입을 구축한다. 제안된 다항식 공식들을 이러한 프로토타입들에 적용하고, 등식이 equivariant cohomology 상에서 성립함을 검증함으로써 SSM-Thom 다항식의 계수들을 결정한다.

주요 기여 및 결과

1. 이중점 공식의 변형: 주요 결과(Theorem 4.5)는 넓은 코호몰로지 차수 범위($\ell \le \text{deg} < 2\ell$)에서 이중점 로커스($A_0^2$)에 대한 SSM-Thom 다항식의 명시적 계산을 제공한다.

   • 계산된 SSM 클래스의 선행 항은 고전적인 Fulton-Laksov 이중점 공식($s_\emptyset - c_\ell$)을 회복한다.
   • 고차 항들은 Chern 클래스($c_i$)와 Landweber-Novikov 클래스($s_\lambda$)를 포함하는 명시적이고 보편적인 보정 항들을 제공한다.
   • 본 논문은 $\ell = 1, 2, 3, 4$에 대한 명시적인 공식들을 나열하여 이러한 보정의 구조를 보여준다.

2. 관련 특이점의 계산: 동일한 차수 범위 내에서, 본 논문은 단순 특이점 $A_0$(Theorem 4.6)와 특이점 $A_1$(Corollary 4.7)에 대한 SSM-Thom 다항식을 계산한다.

   • 핵심 명제(4.1)는 $C_\ell$-사상에 대하여, 주어진 차수 제한 내에서 $A_0, A_0^2, A_1$의 SSM 클래스의 합이 도메인의 기본 클래스(1로 정규화됨)와 같음을 확립한다. 이를 통해 다른 두 다항식으로부터 하나의 다항식을 결정할 수 있다.

3. 사영 공간에 대한 적용: 본 논문은 이 변형된 공식들을 차수가 $d$인 사상 $F: \mathbb{P}^{\ell+1} \to \mathbb{P}^{2\ell+1}$ 사이의 사영 공간에 적용한다.

   • 다양체의 SSM 클래스를 일반 선형 절단의 오일러 특성수와 연결하는 Aluffi와 Ohmoto의 정리(Theorem 5.1)를 사용하여, 저자는 특이점 로커스 $A_0(F), A_0^2(F), A_1(F)$의 위상적 오일러 특성수($\chi$)와 차수를 계산한다.
   • 결과는 차수 $d$와 상대 차원 $\ell$에 대한 명시적인 식으로 표현된다.

4. 완전 교차(Complete Intersection)에 대한 제약: 구체적인 기하학적 응용으로서, 본 논문은 이중점 로커스 $A_0^2(F)$가 완전 교차가 될 수 있는지 조사한다.

   • 계산된 로커스의 오일러 특성수 및 차수를 완전 교차를 위한 이론적 제약 조건과 비교함으로써, 저자는 $\ell=2$이고 $d > 1$인 경우 해당 로커스가 완전 교차가 될 수 없음을 입증한다(Example 5.5). 완전 교사가 되기 위해 요구되는 방정식 체계가 모순됨을 보여준다.

의의 및 주장
본 논문은 SSM 클래스의 메커니즘을 통합함으로써 고전적인 이중점의 열거 기하학(enumerative geometry)을 확장한다고 주장한다. 그 의의는 다음과 같다:

• 보편성: 도출된 공식들은 "보편적"이다. 즉, 소스와 타겟 다양체가 무엇인지와 관계없이, 오직 그들의 특성 클래스에만 의존하며, 제어된 특이점 유형($C_\ell$-maps)을 갖는 모든 사상에 적용된다.
• 정교한 기하학: SSM-Thom 다항식의 고차 항들은 고전적인 기본 클래스만으로는 접근할 수 없는 기하학적 정보(선형 절단의 오일러 특성수)를 제공한다.
• 알고리즘적 접근: 본 연구는 단일 특이점(monosingularities)을 넘어 복잡한 보편적 다항식을 계산하기 위해 다중 특이점(multisingularities)에 대한 보간 기법의 효용성을 입증한다.
• 기하학적 제약: 사영 공간에 대한 적용은 특이점 로커스의 기하학에 대한 구체적인 제약을 제공하며, 이를 통해 특정 이중점 로커스의 완전 교차 성질을 배제함으로써 자기 교차 집합의 구조에 대한 새로운 통찰을 제시한다.

저자는 보간법을 통해 Mather bound(대략 $6\ell + 7$)까지의 항을 계산할 수 있지만, 현재로서는 이 범위를 넘어서는 전체 멱급수에 대한 폐쇄형 공식(closed formula)을 제공하지는 못한다고 언급한다. 제시된 결과들은 이 코호몰로지 범위 내에서 이중점 공식의 첫 번째 명시적인 고차 변형이다.