When is the diagonal contractible?

기술 요약: 대각선이 축약 가능한 조건은 언제인가?

문제 정의
본 논문은 매끄러운 사영 복소 다양체 $X$의 대각선 $\Delta_X \subset X \times X$가 더 낮은 차원의 부분다양체로의 유리 사상(birational morphism) $\pi: X \times X \to Y$를 통해 축약될 수 있는 기하학적 조건을 조사한다. 저자들은 특히 다음 두 가지 주요 질문을 다룬다:

1. 점 축약 (Point Contraction): $\pi(\Delta_X)$가 단일 점이 되도록 하는 유리 사영 사상(birational projective morphism)이 존재하는 경우는 언제인가?
2. 일반 축약 (General Contraction): $\dim \pi(\Delta_X) = m < \dim X$인 축약이 존재하는 경우는 언제인가?

저자들은 $\dim X = 1$ (곡선)인 경우(고전적 사례)와 달리, 고차원의 경우는 $X$의 미묘한 양의 성질(positivity properties)에 달려 있음을 언급한다. 본 논문은 대각선의 축약 가능성을 알베르스 사상(Albanese morphism)의 성질과 연결함으로써 이를 해결하는 것을 목표로 한다.

방법론
핵심 방법론은 $X$의 기하학, $X$의 알베르스 다양체 $A = \text{Alb}(X)$, 그리고 유도된 차이 사상(difference map) 사이의 상호작용에 기초한다. 저자들은 다음과 같은 구조적 도구들을 활용한다:

• 차이 사상 (The Difference Map): 저자들은 $\lambda(x_1, x_2) = \text{alb}(x_1) - \text{alb}(x_2)$로 정의되는 사상 $\lambda: X \times X \to A$를 정의한다 (여기서 $\text{alb}: X \to A$는 알베르스 사상이다).
• 다이버시티 이론 및 교차수 (Divisor Theory and Intersection Numbers): 증명 과정에서 big하고 semi-ample한 다이버시티의 이론을 활용한다. 축약이 존재한다고 가정함으로써, 저자들은 대각선(또는 그 상)에서 소멸하는 $X \times X$ 상의 다이버시티 $D$를 구성한다.
• 퀴네스 분해 및 피카르 군 (Künneth Decomposition and Picard Groups): 중요한 기술적 단계로서 $X \times X$ 상의 다이버시티를 퀴네스 공식을 사용하여 분해한다. 보조정리 3.2는 $\text{Pic}_{\mathbb{Q}}(X \times X)$의 임의의 다이버시티가 $X$로부터의 풀백(pullback)들과 $A \times A$로부터의 풀백의 합으로 쓰일 수 있음을 확립한다. 이를 통해 저자들은 $X \times X$ 상의 다이버시티의 양의 성질을 알베르스 상의 기하학과 연관시킨다.
• 대칭화 (Symmetrization): 곱 $X \times X$의 대칭성을 다루기 위해, 저자들은 종종 다이버시티를 대칭화한다(변환 $\sigma(x_1, x_2) = (x_2, x_1)$ 사용). 이는 모순을 도출하거나 $\lambda$의 상의 차원에 관한 필요조건을 이끌어내는 데 사용된다.

주요 기여 및 결과

1. 점 축약의 특징 (정리 1.4)
본 논문은 대각선 $\Delta_X$가 점으로 축약될 필요충분조건으로 알베르스 사상과 관련된 일련의 동치 조건들을 확립한다. $n = \dim X$이고 $q = h^1(X, \mathcal{O}_X) = \dim \text{Alb}(X)$라고 하자. 다음은 동치이다:

• (A) $\Delta_X$가 점으로 축약 가능하다.
• (B) 차이 사상 $\lambda$의 상의 차원이 $2n$이다 (즉, $\lambda$는 상 위에서 일반적으로 유한하다).
• (C) 알베르스 다양체가 $\dim \text{Alb}(X) \ge 2n$을 만족하며, 모든 아벨 부분다양체 $B \subset \text{Alb}(X)$와 일반적인 점 $a$에 대하여 $\dim B \ge 2 \dim((B+a) \cap \text{alb}(X))$를 만족한다.
• (D) $X$의 두 일반적인 점은 홀로모픽 여코탄젠트 번들 $\Omega^1_X$에 대해 독립적인 조건을 부과한다. 동치적으로, 평가 사상(evaluation map) $H^0(\Omega^1_X) \to \Omega^1_{X,x} \oplus \Omega^1_{X,y}$는 일반적인 $x, y$에 대해 전사적이다.

저자들은 조건 (C)가 단순한 알베르스 상의 "비퇴화성(non-degeneracy)"보다 엄격하며, 아벨 부분다양체와 관련된 특정한 "기하학적 비퇴화성"을 요구한다는 점을 명확히 한다.

2. 고차원으로의 축약 (정리 1.6)
차원 $m < n$인 다양체로의 축약에 대해서는, 지배적 사상(dominant morphism) $\pi: X \to W$ ($\dim W = m$)가 존재하여 일반적인 파이버 $X_p$에 대한 차이 사상 $\lambda$의 제한이 그 상 위에서 일반적으로 유한해야 한다는 필요충분조건을 제공한다.

3. 대각선 외부에서의 동형 (정리 1.8)
축약이 대각선 외부에서 동형인 더 강한 변형을 다룬다. 저자들은 이것이 알베르스 사상이 상 위에서 유한하고 유리 동형(birational)이며, 알베르스 상으로 제한된 차이 사상이 대각선 외부에서 유한할 때 발생함을 증명한다. 이는 알베르스 상과 그 평행 이동들의 교집합이 0차원이어야 함을 의미한다.

4. 고차 곱에서의 축약 불가능성 (정리 1.9)
본 논문은 $\dim X > 0$이고 $n \ge 3$인 임의의 매끄러운 사영 다양체 $X$에 대하여, 단일 유리 사상을 통해 모든 쌍의 대각선 $\Delta_{ij} \subset X^n$을 동시에 점으로 축약하는 것이 불가능함을 증명한다.

예시 및 분류

• 곡선: 곡선 $C$의 대각선은 종수 $g \ge 2$인 경우에만 축약 가능하다.
• 곡면: 곡면 $S$의 대각선이 점으로 축약되기 위해서는 $S$가 일반 유형(general type)이어야 한다 (따름정리 2.7). 본 논문은 수치적 조건을 만족하는 $\kappa(S) \le 1$인 곡면들을 분류하며, 이들이 곡선 곱의 몫(quotient)이지만 실제 축약에 필요한 기하학적 비퇴화성을 결여하고 있음을 보여준다.
• 곡선의 곱: 곡선들의 곱 $C_1 \times \dots \times C_n$ ($g_i \ge 2$)의 대각선은 점으로 축약 가능하다. 더 일반적으로, 이는 $0 \le t \le n-1$인 임의의 차원 $t$를 가진 다양체로 축약될 수 있다.
• 아벨 다양체의 부분다양체: $\dim A \ge 2 \dim X$를 만족하는 기하학적으로 비퇴화된 부분다양체 $X \subset A$는 축약 조건을 만족한다.

의의 및 주장
저자들은 대각선 축약성 문제가 겉보기에는 복잡해 보이지만, 근본적으로 알베르스 사상의 성질과 동등하다는 점을 주장한다. 저자들은 알베르스 상의 차원 자체($q \ge 2n$)만으로 충분하다고 했던 자신들의 이전 연구(및 잠재적으로 기존 문헌)의 가정을 바로잡으며, 알베르스 다양체가 단순(simple)하지 않을 때 아벨 부분다양체와의 상호작용(조건 C)이 필수적임을 입증한다.

본 논문은 축약의 상 $Y$가 일반적으로 대각선의 상을 따라 특이(singular)할 것임을 강조하며, 이러한 축약의 비매끄러움(non-smoothness)에 관한 일반적인 결과들을 인용한다. 이 연구는 사이클 $[\Delta_X]$와 번들 $\Omega^1_X$의 양의 성질을 대각선의 존재성과 연결하며, $\Omega^1_X$의 다양성(ampleness)이 필요조건도 충분조건도 아니지만, 두 점에서의 전역적 생성(global generation) 성질이 핵심적임을 보여준다.

저자들은 결론적으로, 차이 사상(Jacobian 또는 Albanese로의 사상)이 특정 경우(예: 축약이 대각선 외부에서 동형인 경우) 대각선을 축약하는 유일한 사상임을 언급하지만, 이러한 유일성이 모든 일반적인 유한 사상에 대해 성립하는지에 대한 문제는 열린 과제로 남겨둔다.