바이오리프스키 불변성으로 푼 아놀드 코랭크 문제

초록

본 논문은 복소 해석 함수의 코랭크가 주변의 바이오리프스키 동형사상에 의해 보존된다는 것을 증명한다. 특히 차원 3에서 위상적 코랭크 불변성을 얻고, 복소 초곡면의 곱셈도 2인 경우에도 바이오리프스키 불변성을 확립한다. 또한 차수 2인 대수적 원뿔의 위상적 성질을 이용해 관련된 여러 불변량을 제시한다.

상세 분석

논문은 먼저 아놀드가 1975년에 제기한 “코랭크 문제”(함수의 헤시안 행렬의 영인 차수, 즉 코랭크가 위상적으로 보존되는가?)를 메트릭 버전으로 전환한다. 여기서 메트릭 버전은 주변의 바이오리프스키(양쪽 Lipschitz) 동형사상이 존재할 때 코랭크가 동일한지를 묻는다. 저자들은 이 질문에 대해 전면적인 긍정답을 제시한다. 핵심 아이디어는 함수의 테일러 전개에서 2차 항을 제외한 나머지 부분이 코랭크에만 의존한다는 ‘분할 보조정리(Splitting Lemma)’를 활용하는 것이다. 이를 통해 코랭크가 실제로는 함수의 접선 원뿔(tangent cone)의 구조와 동형동형사상에 의해 결정된다는 점을 보인다.

구체적으로, 저자들은 먼저 차수 2인 대수적 원뿔 C(X)와 C(Y)의 위상적 동형성에서 차수가 동일함을 증명한다(정리 2.3). 이는 베티 수와 호프 섬유 구조를 이용한 스펙트럴 시퀀스 계산을 통해 이루어진다. 이어서 원뿔의 기반 X와 Y가 위상적으로 동형이면 그 오일러 특성도 동일함을 보이며(정리 2.5), 이는 차수 2인 경우에 곱셈이 바이오리프스키 불변임을 도출한다(정리 3.5).

메트릭 코랭크 문제의 핵심 증명(정리 3.1)은 두 단계로 나뉜다. 첫 번째 단계(보조정리 3.2)에서는 곱셈이 2인 경우, 즉 접선 원뿔이 이차식 z₁²+…+z_r²=0 형태인 경우에 코랭크가 보존된다는 것을 보인다. 여기서는 바이오리프스키 동형사상이 원뿔의 특이점 집합을 보존한다는 사실과, 차수가 2인 원뿔의 특이점이 선형 부분공간 C^{n−r}와 직접적으로 연결된다는 점을 이용한다.

두 번째 단계(보조정리 3.3)는 차수가 2가 아닌 원뿔이 바이오리프스키 동형사상에 의해 변환될 수 없음을 보인다. 가정에 모순이 생기도록 최소 차수 d>2인 원뿔을 가정하고, 그 특이점 집합 위에서의 국소적인 접선 원뿔을 분석한다. 여기서 Sampaio 도함과 베주 정리를 이용해 접선 원뿔이 다시 차수 2가 되거나 원래 차수와 동일해야 함을 보이며, 결국 차수 2가 아닌 경우에는 위상적·기하학적 모순이 발생한다는 결론에 도달한다.

또한 차원 3에서 위상적 코랭크 문제(정리 4.4)를 해결한다. 3차원 복소 공간에서는 코랭크가 0,1,2,3 중 하나이며, 각각에 대한 기존 결과와 위에서 증명한 메트릭 결과를 조합해 위상 동형사상만으로도 코랭크가 보존됨을 보인다.

전체적으로 논문은 대수기하학(원뿔의 차수와 베티 수), 복소해석(멀티플리시티와 Milnor 섬유), 그리고 거리기하학(바이오리프스키 동형사상)의 도구들을 유기적으로 결합해 코랭크와 곱셈이라는 두 핵심 불변량을 새로운 메트릭 관점에서 완전히 정립한다. 이는 기존의 Zariski 곱셈 추측과도 깊은 연관을 가지며, 차수 2인 경우에 한정된 기존 결과를 일반적인 차원·차수로 확장하는 중요한 전진이다.