2025-11-10T03:08:50.542188

Higher characteristic classes of multisingularity loci

Koncki, RimÃ¡nyi

A map between manifolds induces stratifications of both the source and the target according to the occurring multisingularities. In this paper, we study universal expressions-called higher Thom polynomials-that describe the Segre-Schwartz-MacPherson class of such multisingularity loci. We prove a Structure Theorem reducing these Thom polynomials to the data of a linear series associated with each multisingularity. The series corresponding to the empty multisingularity, referred to as the Master Series, plays a distinguished role. Motivated by connections with geometric representation theory, we further prove an Interpolation Theorem that allows Thom polynomials to be computed algorithmically within Mather's range of nice dimensions. As an application, we derive an explicit formula for the image Milnor number of quasihomogeneous germs, providing one side of the celebrated Mond conjecture, computable up to the theoretical bound.

academic

다중특이점 궤적의 고차 특성류

기본 정보

논문 ID: 2510.14602
제목: Higher characteristic classes of multisingularity loci (다중특이점 궤적의 고차 특성류)
저자: Jakub Koncki, Richárd Rimányi
분류: math.AG (대수기하학)
발표 시간: 2025년 봄 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2510.14602

초록

다양체 사이의 사상은 나타나는 다중특이점에 따라 원천공간과 목표공간을 층화한다. 본 논문은 다중특이점 궤적을 기술하는 Segre-Schwartz-MacPherson 류의 보편적 표현식(고차 Thom 다항식이라 불림)을 연구한다. 우리는 이러한 Thom 다항식을 각 다중특이점과 관련된 선형급수의 데이터로 축약하는 구조정리를 증명한다. 공 다중특이점에 대응하는 급수를 주급수라 하며, 이는 특별한 역할을 한다. 기하표현론과의 연결에 기초하여, 우리는 Mather의 좋은 차원 범위 내에서 Thom 다항식의 알고리즘적 계산을 가능하게 하는 보간정리를 추가로 증명한다. 응용으로서, 우리는 준동차 싹의 상 Milnor 수에 대한 명시적 공식을 유도하며, 이는 유명한 Mond 추측의 한 측면에 대한 증명을 제공하고 이론적 한계까지 계산 가능하다.

연구 배경 및 동기

문제 설정

본 논문이 연구하는 핵심 문제는 다중특이점 궤적의 특성류 이론이다. 복소다양체 사이의 대수사상 $f: M → N$ 을 고려할 때, 이 사상은 발생하는 다중특이점에 따라 원천공간 $M$ 과 목표공간 $N$ 을 층화한다. 각 다중특이점 $η = \{η_1, ..., η_r\}$ 은 정확히 $r$ 개의 역상을 가지며 지정된 특이점 유형을 갖는 점들로 이루어진 목표 궤적 $Σ^T_η(f) ⊂ N$ 에 대응한다.

중요성 및 동기

보편성 원리: 특이점 이론의 핵심 목표는 보편적 계수 공식, 즉 Thom 원리를 수립하는 것이다. 이 원리는 다중특이점 유형에만 의존하는 보편적 다항식이 존재하며, 특이점 궤적의 특성류를 표현할 수 있음을 단언한다.
SSM 류의 정교한 구조: 기본 기본류와 비교하여, Segre-Schwartz-MacPherson (SSM) 류는 더욱 풍부한 정보를 담고 있다. 사영공간의 부분다양체에 대해, 기본류는 차수만 결정하지만 SSM 류는 모든 차원의 일반 선형 횡단면의 오일러 특성을 부호화한다.
기하표현론과의 연결: SSM 류는 Maulik-Okounkov 안정 포락선 특성류와 밀접한 관련이 있으며, 후자는 양자 적분가능 체계에서 핵심적 역할을 한다.

기존 방법의 한계

전통적인 Thom 다항식 이론은 주로 기본류에 초점을 맞추었으며, SSM 류에 대한 고차 Thom 다항식 이론은 아직 완성되지 않았다. 기존의 계산 방법에는 편미분해석, 반복 유수, 비축약 몫 등이 포함되지만, SSM 설정에서의 직접적 확장에는 어려움이 있다.

핵심 기여

구조정리: SSM-Thom 다항식의 구조 이론을 수립하여, 복잡한 고차 표현식을 각 다중특이점과 관련된 선형급수 $S_η$ 로 부호화한다.
주급수 이론: 공 다중특이점에 대응하는 주급수 $S_∅$ 가 기초적 역할을 한다는 것을 발견하며, 이는 SSM 이론에서 고전 이론에 상대적인 새로운 현상이다.
보간정리: Mather 범위 내에서 SSM-Thom 다항식의 알고리즘적 계산을 가능하게 하는 보간정리를 증명하여, 기하 문제를 순수 대수 계산으로 변환한다.
Mond 추측 응용: 준동차 사상 싹의 상 Milnor 수에 대한 명시적 공식을 유도하여, Mond 추측의 계산 가능한 한 측면을 제공한다.

방법 상세 설명

작업 정의

연구 목표는 SSM-Thom 다항식의 존재성과 계산 이론을 수립하는 것이다. T-다중특이점 $η$ 에 대해, 적절한 사상 $f: M → N$ 에 대해 다음을 만족하는 보편적 멱급수 $Th^T_η ∈ Q[[s]]$ 를 찾는다: $Th^T_η(f) = ssm(Σ^T_η(f)) · |Aut(η)| ∈ H^•(N)$

핵심 구조

1. 구조정리

T-다중특이점의 생성함수에 대해: $\sum_η \frac{Th^T_η}{|Aut(η)|} t^η = \exp\left(\sum_η \frac{S_η}{|Aut(η)|} t^η\right)$

이 지수 구조는 복잡한 Thom 다항식을 선형급수 $S_η$ 의 데이터로 축약한다.

2. 주급수 $S_∅$

공 다중특이점의 급수 $S_∅$ 는 $\exp(S_∅) = Th^T_∅$ 를 만족하며, $l=1$ 인 경우: $S_∅ = -s_∅ + \frac{1}{2}s_1 + \frac{1}{6}(7s_2 - 2s_{11}) + \frac{1}{4}(s_3 - 5s_{21} + s_{111}) + \cdots$

3. 보간 방법

보간정리는 SSM-Thom 다항식의 계산을 두 가지 조건으로 축약한다:

정규화 조건: 각 단일 특이점 $η$ 에 대해, 다항식 $A_{\{η\}}$ 는 등변 코호몰로지에서 원형 조건을 만족한다
지지 조건: 일치하지 않는 특이점 유형에 대해, 대응하는 특성류는 고차 부분에서 소멸한다

기술적 혁신점

지수 구조: 고전 이론에서 $S_∅ = 0$ 과 달리, SSM 이론에서는 비자명한 주급수가 기초적 역할을 하며, 다른 모든 Thom 다항식은 이에 의존한다.
선형화: 급수 $S_η$ 의 선형성을 증명함으로써 복잡한 기하 문제를 대수 계산으로 변환한다.
등변 방법: 원환 작용과 Borel 구성을 활용하여 무한차원 문제를 유한화한다.