Isolated Hypersurface Singularities May Be Stably Degenerate

기술 요약: 고립된 초곡면 특이점은 안정적으로 퇴화될 수 있다

문제 제기
본 논문은 1975년 아르놀트(Arnol'd)가 제기한 특이점 이론의 오래된 난제를 다룬다: 모든 고립된 초곡면 특이점이 뉴턴 비퇴화 다항식(Newton non-degenerate polynomial)으로 안정적 동치(stable equivalence)를 갖는가? 다항식이 뉴턴 비퇴화라는 것은 그 다형식의 뉴턴 다면체의 임의의 컴팩트한 면(face) 위에서 $(\mathbb{C}^*)^N$에 대한 제한(restriction)이 임계점을 갖지 않음을 의미한다. 특정 좌표계에서는 특이점이 퇴화할 수 있음이 알려져 있으나, 안정화(stabilization, 새로운 변수에 비퇴화 이차 형식을 추가하는 것)가 항상 퇴화를 제거할 수 있는지에 대한 의문은 여전히 남아 있다. 저자들은 이 추측에 대한 반례의 존재를 증명한다.

방법론
증명은 접촉 로커스(contact loci)의 혼합 호지 구조(mixed Hodge structure)와 아벨 다양체의 모듈라이 공간 사이의 상호작용에 의존하는 존재성 논증이다. 핵심 전략은 특정한 특이점 $f$를 구성하고, 그 안정화된 불변량이 어떠한 뉴턴 비퇴화 특이점의 가계(family)로부터도 발생할 수 없음을 입증하는 것이다.

1. 특이점의 구성:
   저자들은 다음과 같은 다항식 $f = F + h$를 구성한다:

• $F$는 고차원($g \geq 16$)의 충분히 일반적인 주 극성 아벨 다양체(principally polarized abelian variety) $A$에 비라시오날(birational)인 사영 공간 내의 초곡면을 정의하는 차수 $d$의 동차 다항식이다.
• $h$는 $d$보다 엄격히 높은 차수(예: 페르마 유형)를 가진 다항식으로, $f$가 원점에서 고립된 특이점을 갖도록 보장한다.
• 특정한 아벨 다양체 $A$는 세 가지 성질(보조정리 3.3)을 만족하도록 선택된다: $A$는 자신의 모듈라이 공간 내의 어떤 유리 부분다양체(rational subvariety)에도 포함되지 않으며, 그 이소제니 클래스(isogeny class)는 상수 호지 구조를 가진 $\mathbb{Q}$ 위에서 정의된 사상의 일반 섬유(generic fiber)가 되는 다양체를 포함하지 않고, 네론-세베리 군(Neron-Severi group)의 계수가 1이다.

2. 접촉 로커스와 혼합 호지 구조:
   저자들은 특이점에 접하는 곡선의 $d$-젯(jet) 공간인 접촉 로커스 $\chi_f$를 분석한다. 이들은 안정화된 $f_k$의 접촉 로커스의 컴팩트 지지 코호몰로지의 혼합 호지 구조(MHS)를 계산한다.

• 핵심 결과(보조정리 6.10)는 $f_k$의 접촉 로커스의 특정 가중치 등급 조각(weight-graded piece)이 아벨 다양체 $A$의 코호몰로지의 테이트 트위스트(Tate twist), 즉 $H^{2g-1}(A; \mathbb{Q})(-m)$와 동형임을 확립한다.

3. 모듈라이 공간을 통한 모순 도출:
   증명은 모순을 통해 진행된다. 만약 $f$의 안정화가 좌표 변환 후 뉴턴 비퇴화라고 가정하자.

• 고정된 뉴턴 다면체를 가진 뉴턴 비퇴화 다항식들의 공간은 유리 다양체 $T$에 의해 매개되는 가계(family)를 형성한다.
• 이러한 가계에 대해, 접촉 로커스의 코호몰로지는 국소 상수 층(locally constant sheaf)을 형성하며(보조정리 5.8), 이는 매개 공간 $T$에서 극성 아벨 다양체의 모듈라이 공간 $A_{g, \delta}$로의 주기 사상(period map)을 유도한다.
• $T$는 유리 다양체이고, $g \geq 16$일 때 모듈라이 공간 $A_{g, \delta}$는 일반 유형(general type)이므로(따라서 충분히 일반적인 점을 지나는 유리 곡선을 포함하지 않음), $T$에서 $A_{g, \delta}$로의 임의의 대수적 사상은 상수여야 한다.
• 그러나 구성된 특정한 아벨 다양체 $A$는 그러한 상수 사상의 이미지 밖에 위치하도록 선택되었다(보조정리 3.3). 이 모순은 어떠한 좌표 변환도 안정화를 뉴턴 비퇴화로 만들 수 없음을 시사한다.

주요 기여 및 결과

• 정리 1.1: 안정적으로 퇴화하는(stably degenerate) 고립된 초곡면 특이점의 존재가 증명되었다. 이는 아르놀트의 1975년 문제를 부정하는 답을 제공한다.
• 기하학적 특징 규명: 본 논문은 안정적 비퇴화성의 장애물이 아벨 다양체의 모듈라이 공간의 전역적 기하학적 성질에 있음을 밝혀냈다. 구체적으로, 고차원 모듈라이 공간의 "비유니러블성(non-uniruledness, 일반 유형임)"은 특정 호지 구조가 뉴턴 비퇴화 특이점의 가계에 의해 실현되는 것을 방해한다.
• 알고리즘적 존재성: 주요 증명은 비구성적이지만, 섹션 8은 명시적인 예시를 생성하기 위한 이론적 알고리즘을 개설한다. 이는 아벨 다양체의 모듈라이 공간에서 대수적으로 독립적인 좌표를 가진 점을 찾기 위해 그뢰브너 기저(Gröbner basis) 기법을 사용하는 과정을 포함한다. 저자들은 결과 다항식의 거대한 차수와 이중 지수적 복잡도로 인해 이를 실제로 구현하는 것은 계산적으로 불가능하다고 언급한다.

의의
이 논문은 뉴턴 비퇴화 특이점의 클래스가 모든 고립된 초곡면 특이점의 클래스와 안정적 동치를 갖지 않음을 보여줌으로써, 특이점 이론의 근본적인 미해결 문제를 해결한다. 이 결과의 의의는 두 가지 측면에서 중요하다:

1. 이론적: 특이점의 국소적 해석적 성질과 아벨 다양체의 모듈라이 공간의 전역적 기하학 사이의 깊은 연결을 확립한다.
2. 방법론적: 접촉 로커스의 혼합 호지 구조를 안정적 동치 클래스를 구별하기 위한 강력한 불변량으로 사용하는 방법을 제시하며, 특히 일반 유형인 모듈라이 공간 상에서 주기 사상의 경직성(rigidity)을 활용한다.

저자들은 이 논증이 특정 성질을 가진 차원 $g \geq 16$인 아벨 다양체의 존재에 의존하고 있음을 밝히며, 이러한 특이점들이 밀너 수(Milnor number)가 일정한 층(strata) 내에서 일반적일 수 있다는 스티븐스(Stevens)의 연구를 인용한다. 논문은 이러한 방법들을 플로어 이론(Floer theory)과 결합함으로써, 이러한 특이점들이 $\mu$-불변 가계(constant Milnor number family) 내에서 뉴턴 비퇴화로 변형될 수 없음을 보이는 방향으로 결과를 강화할 수 있음을 시사하며 마무리된다.