Invisible singularities in complex algebraic geometry

기술 요약: 복소 대수 기하학에서의 보이지 않는 특이점 (Invisible Singularities)

문제 정의
본 논문은 등가 특이성(equisingularity) 이론의 핵심 질문인, 대수적, 해석적, 위상적 특이성 개념 사이의 관계를 다룬다. 자리스키(Zariski)의 등가 특이성 개념은 고차원에서도 일치할 것으로 기대되었으나, 페르난데스 데 보바디야(Fernández de Bobadilla)의 이전 반례들은 전체 공간(total space)이 특이점을 갖는 경우였다. 2차원과 3차원에서의 결과들에 의해 뒷받침되는 지배적인 믿음은, $Y$가 매끄러운 복소 사영 다양체이고 $g: Y \to C$가 곡선으로의 적절한 사상(proper morphism)일 때, $Y$의 위상적 구조가 임계점(특이 섬유)의 존재를 반드시 감지해야 한다는 것이었다. 구체적으로, 만약 사상이 위상적으로 매끄러워 보인다면(예: 호모토피 파이버 번들이거나 코호몰로지 층이 일정한 경우), 그것은 반드시 대수적으로 매끄러워야 한다(아하, submersion)는 것이 추측되어 왔다.

저자들은 "보이지 않는" 특이점이 존재하는지 조사한다: 즉, 매끄러운 다양체 $Y$로부터의 사상 $g: Y \to \mathbb{P}^1$이 특이 섬유를 가지고 있음에도 불구하고 위상적으로는 매끄러워 보이는 경우이다. 이 연구는 네 가지 구체적인 미해결 문제들을 겨냥한다:

1. 페르난데스 데 보바디야와 콜라르(Fernández de Bobadilla and Kollár)의 매끄러움 추측 [FdBK12].
2. 곡선 위로 파이버링된 다양체의 유니버설 커버의 호모토피 유형에 관한 콜라르와 파던(Kollár and Pardon)의 질문 [KP12].
3. 영점이 없는 홀로모픽 1-형식(holomorphic one-form)을 갖는 것과 영점이 없는 실수 폐 1-형식(real closed one-form)을 갖는 것의 동등성에 관한 코칙(Kotschick)의 추측 [Kot22].
4. 아모토 복합체(Aomoto complex)의 완전성과 비영점 형식의 존재에 관한 슈라이더(Schreieder)의 추측 [Sch21].

방법론
저자들은 quotient 구성, blow-up, 그리고 위상적 smoothing 기술의 조합을 사용하여 명시적인 반례를 구축한다.

1. Quotient 구성 (국소 모델): 핵심 구축은 고립된 임계점을 갖는 사영 사상 $\pi: Z \to \Delta$ (디스크 상의)에서 시작된다. $Z \times A$ ($A$는 아벨 다양체)를 대각 작용(diagonal action)을 하는 유한 순환 군에 의해 quotient 함으로써, 저자들은 새로운 사상 $\pi_Y: Y \to \Delta$를 만든다. 밀너 섬(Milnor fiber) 상의 모노드로미 작용의 특성 다항식이 $\chi(1) = \pm 1$을 만족하도록 $\gamma$ (Z의 자기 동형 사상)와 $\tau$ (A의 평행 이동)를 신중하게 선택함으로써, 결과적인 사상이 $\mathbb{Z}$-호몰로지 파이버 번들이지만 호모토피 파이버 번들은 아니도록 보장한다 (섹션 2).

2. Blow-up 및 단순 연결된 섬: 단순 연결된 섬(전역 정리의 요구 사항)을 달성하기 위해, 저자들은 특이 quotient $Y$를 단순 연결된 섬을 가진 매끄러운 사영 번들 $P$ 안에 임베딩하고 blow-up $X = \text{Bl}_Y P$를 수행한다. Proposition 17을 사용하여, 저자들은 유도된 사상 $X \to \Delta$가 $\mathbb{Z}$-호몰로지 파이버 번들이지만 submersion은 아님을 보여준다 (섹션 3). 섬들이 단순 연결되어 있으므로, 화이트헤드 정리(Whitehead's theorem)에 의해 $X \to \Delta$는 호모토피 파이버 번들이 된다.

3. Globalization 및 Smoothing: 국소적 예시들을 전역적 사상 $g: Y \to \mathbb{P}^1$로 확장한다. 이 사상들이 위상적으로 매끄러워 보이도록 하기 위해, 저자들은 스메일(Smale)의 $h$-코보디즘 정리와 세르프(Cerf)의 pseudo-isotopy 정리를 사용한다 (섹션 4). 저자들은 단순 연결된 섬을 가진 리만 곡면으로의 사상의 경우, 만약 사상이 $\mathbb{Z}$-호몰로지 파이버 번들이라면, 그것은 원래의 사상과 특이 섬 근처를 제외한 영역에서 일치하는 $C^\infty$-submersion과 호모토피하다는 것을 입증한다.

4. 특정 추측에 대한 적용:

   • 코칙의 추측: 타원 곡선과의 파이버 곱(fiber product)을 취함으로써, 저자들은 알바네스 사상(Albanese map)이 호모토피 파이버 번들이지만(비영점 실수 형식의 존재를 의미함) submersion은 아닌(모든 홀로모픽 형식이 영점을 가짐을 의미함) 다양체 $X$를 구축한다.
   • 아모토 복합체: 데바레-지앙-라호즈(Debarre–Jiang–Lahoz [DJL17])에 기반한 유리 코호몰로지 토러스 구성을 사용하여, 모든 유한 에탈 커버에 대해 아모토 복합체가 완전하지만, 비영점 실수 폐 1-형식이 존재하지 않는 다양체를 구축한다.

주요 결과

• 정리 1: 다음과 같은 성질을 갖는 매끄러운 복소 사영 다양체 $Y$ (구체적으로 차원 5)로부터의 사상 $g: Y \to \mathbb{P}^1$가 존재한다:

  • $g$는 특이 섬을 갖는다.
  • $R^i g_* \mathbb{Z}_Y$는 상수 층(constant sheaves, 위상적으로 일정한 코호몰로지)이다.
  • $g$는 단순 연결된 섬을 가진 호모토피 파이버 번들이다.
  • 모든 섬은 PL-다양체이지만, $g$는 $C^0$-파이버 번들이 아니다.
  • $g$는 원래의 $g$와 특이 섬 주변을 제외한 곳에서 일치하는 국소적으로 자명한 $C^\infty$-파이버 번들과 호모토피하다.
  • 의의: 이는 페르난데스 데 보바디야-콜라르의 매끄러움 추측을 반박한다.

• 따름정리 3 (Kollár–Pardon & Kotschick): 다음과 같은 성질을 갖는 매끄러운 사영 다양체 $X$ (차원 5)가 존재한다:

  • 유니버설 커버 $\tilde{X}$는 유한 CW 복합체의 호모토피 유형을 갖지만, 알바네스 사상은 매끄럽지 않다.
  • $H^1(X, \mathbb{R})$의 모든 0이 아닌 클래스는 비영점 실수 폐 1-형식에 의해 표현될 수 있지만, 그러한 클래스의 조화 표현(harmonic representative)은 영점을 갖는다. 결과적으로, $X$는 영점이 없는 홀로모픽 1-형식을 갖지 않는다.
  • 의의: 이는 유니버설 커버에 관한 콜라르-파던의 질문과 코칙의 추측에 대한 부정적인 답변을 제공한다.

• 정리 4: 모든 유한 연결 에탈 커버 $\pi: X' \to X$와 모든 0이 아닌 $\omega \in H^0(X', \Omega^1_{X'})$에 대하여, 아모토 복합체가 완전하지만, $X$ 상의 모든 실수 폐 1-형식은 영점을 갖는 매끄러운 사영 다양체 $X$가 존재한다.

  • 의의: 이는 아모토 복합체의 완전성이 비영점 실수 형식의 존재를 함의한다는 슈라이더의 추측을 반박한다.

• 정리 40: 단순 연결된 섬을 가진 매끄러움 추측에 대한 반례는 차원 3에서는 존재하지 않는다. 만약 $Y$가 매끄러운 복소 사영 3중차원 다양체이고 $g: Y \to \mathbb{P}^1$가 단순 연결된 섬을 가진 $\mathbb{Q}$-호몰로지 파이버 번들인 사상이라면, $g$는 매끄럽다(smooth).

  • 의의: 이는 "보이지 않는 특이점" 현상의 날카로운 차원 경계를 설정한다.

의의 및 주장
본 논문은 전체 공간이 매끄러움에도 불구하고, 표준적인 위상적 불변량(호몰로지, 호모토피 유형, 심지어 호모토피 상의 $C^\infty$-smoothing까지)으로는 감지할 수 없는 특이 섬을 가진 "보이지 않는 특이점"의 첫 번째 사례를 제공한다고 주장한다.

저자들은 자신들의 구축이 명시적이고 단순함을 강조하며, 가장 작은 예시는 차원 5에서 발생하며, 이때 사상의 임계 집합(critical locus)의 차원은 1이다. 저자들은 일반적인 구축이 더 높은 차원의 임계 집합을 허용할 수 있지만, 정리 1에서 제시된 매끄러움 추측에 대한 특정 반례는 1차원 임계 집합을 특징으로 한다는 점을 명시한다. 이 연구는 차원이 4 이상인 경우 대수적 매끄러움이 위상적 불변량이 아님을 보여줌으로써 복소 기하학의 오랜 질문들을 해결한다. 저자들은 차원 4에 대해서는 문제가 여전히 열려 있다고 언급하며 신중한 태도를 유지한다.