Homology fiber bundles of varieties, that are not topological fiber bundles

기술적 요약: 위상적 파이버 번들이 아닌 다양체의 호몰로지 파이버 번들

문제 정의
본 논문은 등특이성(equisingularity) 이론의 핵심 질문인, 대수적, 해석적, 그리고 위상적 버전의 파이버 번들 간의 관계를 다룬다. 구체적으로, $\mathbb{Z}$-호몰로지 파이버 번들인 평평한 사영 사상 $f: Y \to \Delta$ (여기서 $\Delta$는 디스크)가 반드시 위상적 파이버 번들이 되기 위한 조건을 조사한다.

이 연구는 [FdBK12]의 추측 1을 정교화한다. 해당 추측은 복소 해석적 다양체로부터의 사영 사상 $f: Y \to \Delta$에 대해 다음 세 조건이 동치라고 주장했다:

1. $f$는 매끄럽다(smooth), 따라서 미분 가능한 파이버 번들이다.
2. $f$는 호모토피 파이버 번들이다.
3. $f$는 $\mathbb{Z}$-호몰로지 파이버 번들이다.

(1) $\Rightarrow$ (2) $\Rightarrow$ (3)의 함의는 표준적이며, 고립 특이점을 갖거나 단순 연결된 파이버의 경우 화이트헤드 정리(Whitehead's theorem)를 통해 동치성이 성립하지만, 이 추측은 (3)이 일반적으로 (1)을 함의할 수 있다고 제안했다. 이전 연구인 Fernandez de Bobadilla [FdB05]와 [FdBK12]는 (2)는 성립하지만 (1)은 실패하는 예시들을 제공했으나, 모든 알려진 경우에서 전체 공간(total space)은 특이(singular)했다. [FdBK12]는 만약 전체 공간이 매끄럽다면, (3)이 (1)을 함의할 것이라고 추측했다.

방법론
저자들은 매끄러운 전체 공간을 가지면서도 $\mathbb{Z}$-호몰로지 파이버 번들이지만 위상적 파이버 번들은 아닌, 평평한 사영 사상을 생성함으로써 (3) $\Rightarrow$ (1)의 함의에 대한 반례를 구축한다.

이 구축은 아벨 다양체(abelian variety)와 고립 특이점을 가진 다양체를 이용한 몫(quotient) 기법에 의존한다:

1. 설정: $X \to \Delta$를 원점 위에서 유한 개의 임계점 $p_i$를 갖는 사영 사상이라 하자. $\gamma$를 $X$의 유한 차수 $c$를 갖는 자기동형사상(automorphism)이라 하고, 이는 사상과 가환하며 임계점들을 고정한다.
2. 몫 구축: $A$를 아벨 다양체, $\tau: A \to A$를 차수 $c$의 평행이동(translation)이라 하자. 저자들은 $Y$를 대각 작용(diagonal action) 하에서의 몫 $(A \times X) / (\tau, \gamma)$로 정의한다. 사상 $\pi_Y: Y \to \Delta$는 유도된 사상이다.
3. 호몰로지 분석: 증형의 핵심은 메이어-비토리스 수열(Mayer-Vietoris sequence)과 레레이 스펙트럴 수열(Leray spectral sequence)을 활용하는 것이다. 저자들은 특이점 근처의 영역(밀너 파이버)과 매끄러운 보집합으로 분해함으로써 파이버의 코호몰로지를 분석한다.
4. 핵심 보조정리 (보조정리 9): 저자들은 투영 $(A \times M)/(\tau, \gamma) \to A/(\tau)$가 코호몰로지 상에서 동형을 유도할 필요충분조건이 밀너 파이버 $M$의 모노드로미 작용 $T$에 대한 특성 다항식 $\chi_T(x)$가 $\chi_T(1) = \pm 1$을 만족하는 것임을 증명한다.
5. 예시 생성: 밀너 파이버 상의 모노드로미가 $\chi(1) = \pm 1$ 조건을 만족하는 특정 가족 $X \to \Delta$ (가중 사영 공간에서의 거듭제곱 합을 사용하여)를 구축한다.

주요 결과

• 정리 3: 저자들은 밀너 파이버 상의 모노드로미 작용의 특성 다항식이 $\chi(1) = \pm 1$을 만족하면, 결과적인 몫 가족 $Y \to \Delta$가 $\mathbb{Z}$-호몰로지 파이버 번들이 된다는 것을 증명한다. 그러나 $Y \to \Delta$는 매끄럽지도 않으며 위상적 파이버 번들도 아니다.
• 추측 1의 반증: 구축된 예시들은 매끄러운 전체 공간 $Y$가 위상적 파이버 번들이가 아니면서도 $\mathbb{Z}$-호몰ology 파이버 번들 구조를 가질 수 있음을 보여준다. 이는 매끄러운 전체 공간에 대해 (3)이 (1)을 함의한다는 추측을 반증한다.
• 파이버의 성질: 구축된 예시들에서 파이버 $Y_t$는 기본군 $\mathbb{Z}_2^r$ ($r \ge 1$)을 갖는다. 결과적으로 $Y \to \Delta$는 결코 호모토피 파이버 번들이가 될 수 없으며, 이는 (1)과 (2)의 동치성에 대한 문제를 미해결 과제로 남긴다.
• 구체적 예시:
  • 예시 4: 타원 곡선 몫 위로의 컵시달 곡선(cuspidal curve) 번들을 특이 파이버로 가지며, 일반 파이버는 하이퍼엘립틱 곡면(hyperelliptic surfaces)인 곡면 가족.
  • 예시 14: $E_8$ 특이점($x^2 + y^3 + z^5 = 0$)으로부터 유도된 터미널 특이점(terminal singularities)을 가진 3차원 다양체 가족. 여기서 밀너 모노드로미는 $E_8$ 격자의 코크스 {Coxeter} 변환이다.

의의 및 주장
본 논문은 매끄러운 전체 공간이 $\mathbb{Z}$-호몰로지 파이버 번들이라면 반드시 위상적 파이버 번들이여야 한다는 추측에 대한 첫 번째 반례를 제공한다고 주장한다. 저자들은 자신들의 예시가 평평하고, 사영적이며, 매끄러운 전체 공간을 가지면서도 위상적 파이버 번들이가 아니라는 점을 강조한다.

저자들은 다음과 같은 구체적인 특징들을 언급한다:

• $\mathbb{Z}$-호몰로지 파이버 번들인 성질은 유한 에탈 피복(finite étale cover)에 대해 안정적이지 않다. 그들의 구축에서 $A \times X$는 $\mathbb{Z}$-호몰로지 파이버 번들이지만, 몫 $Y$는 그러하다.
• 그들의 예시 속 파이버들은 아벨 다양체와의 곱을 허용하는 유한 에탈 피복을 가지므로 결코 일반 유형(general type)이 아니다.
• 이 구축은 아벨 다양체가 원들의 곱($S^1 \times N$)과 위상적으로 동형이라는 위상적 성질에 의존한다.

이 연구는 (1)과 (2)가 동치인지(즉, 매끄러운 모노드로미가 호모토피 파이버 번들이라면 매끄러운가)에 대한 질문을 열어두는데, 저자들의 예시는 호모토피 파이버 번들이가 아니기 때문이다. 저자들은 향후 연구에서 파이버의 정규 클래스(canonical class)가 진폭(ample)인 예시들을 탐구할 수 있을 것이라고 제안한다.