Tangent bundle of punctual Hilbert scheme and distinguishing products of varieties

1. 연구 배경 및 문제 제기

이 논문은 복소수체 $\mathbb{C}$ 위에서 정의된 매끄러운 사영 곡면 $X$에 대한 점수 Hilbert 스킴 (punctual Hilbert scheme) $X^{[n]}$의 기하학적 성질, 특히 접다발 (tangent bundle) $T_{X^{[n]}}$의 구조를 연구합니다.

• 주요 대상: $X^{[n]}$는 $X$ 위의 길이 $n$인 부분 스킴 (subschemes) 을 매개변수화하는 매끄러운 사영 다양체로, 차원은 $2n$입니다. $X$가 K3 곡면일 경우 $X^{[n]}$는 하이퍼켈러 (hyperkähler) 다양체가 되며, 아벨 곡면의 경우에도 관련된 하이퍼켈러 다양체 ($Kum_n(X)$) 와 밀접한 연관이 있습니다.
• 핵심 질문 1 (접다발의 분해): 임의의 사영 다양체 위의 벡터 다발은 유한 개의 비가분 (indecomposable) 벡터 다발의 직합으로 유일하게 분해됩니다. 이 논문은 $X^{[n]}$의 접다발 $T_{X^{[n]}}$이 어떤 비가분 성분들로 구성되는지를 규명하는 것을 목표로 합니다.
• 핵심 질문 2 (곱 다양체의 분류): 서로 다른 다양체들의 곱 $\prod X_i$와 $\prod Y_j$가 동형일 때, $r=s$이고 (순서를 재배열하여) $X_i \cong Y_j$가 성립하는가? (Zariski 취소 문제와 관련된 질문). 특히 점수 Hilbert 스킴들의 곱이나 대칭곱 (symmetric powers) 의 곱에 대해 이 성립 여부를 증명하는 것을 목표로 합니다.

2. 방법론 (Methodology)

저자는 다음과 같은 단계별 논증 구조를 사용합니다:

1. 대칭군 작용과 불변 부분다발: $X^n$에 대한 대칭군 $S_n$의 작용을 고려합니다. $X^{[n]}$은 $X^n$의 $S_n$-불변 부분다발과 밀접한 관련이 있습니다. $X^{[n]}$의 접다발 분해는 $X^n$의 접다발 $T_{X^n}$의 $S_n$-불변 부분다발 분해로 귀결됩니다.
2. 표면의 접다발 분해 조건 분석:
   • Theorem 3.2, 3.3: $X$의 접다발 $T_X$가 선다발 (line bundle) 로 분해되거나 자명한 직합항을 가질 때, $X$가 아벨 곡면 (abelian surface) 이거나 특정 클래스 $\tilde{C}$ (비타원 곡면, $P^1$-다발 등) 에 속함을 증명합니다. 이는 $X$의 기하학적 성질과 접다발의 분해 가능성을 연결하는 핵심 Lemma 입니다.
3. $S_n$-불변 분해의 제한성:
   • Theorem 4.1, 4.2: $T_X$가 비가분일 때 $T_{X^n}$은 두 개의 비영 $S_n$-불변 부분다발로 분해될 수 없음을 보입니다. 또한 $T_X$가 분해될 때, $T_{X^n}$의 가능한 $S_n$-불변 분해 형태를 구체적으로 나열합니다.
4. 확장 불가능성 (Non-extendability):
   • Theorem 5.1: $X^n$의 특정 $S_n$-불변 부분다발 (예: $\bigoplus \pi_i^* M$) 이 Hilbert-Chow 사상을 통해 $X^{[n]}$의 부분다발로 '확장 (extendable)'될 수 없음을 증명합니다. 이는 국소 좌표계에서의 계산과 Hilbert-Chow 사상의 성질을 활용하여, 확장 가정 시 차원 모순이 발생함을 보입니다.
5. 곱 다양체의 구별:
   • Theorem B, C: 위 결과들을 바탕으로, $X^{[n]}$들의 곱이나 $X^{(n)}$ (대칭곱) 들의 곱이 동형일 때, 그 구성 요소들의 차수 (multiset) 가 일치함을 유도합니다. 이를 위해 접다발의 비가분 분해에서의 계수 (rank) 를 불변량으로 활용하거나, 특이점 (singular locus) 의 정규화 (normalization) 구조를 비교합니다.

3. 주요 결과 (Key Results)

Theorem A: 점수 Hilbert 스킴의 접다발 분해

매끄러운 사영 곡면 $X$와 정수 $n \ge 2$에 대해 $T_{X^{[n]}}$의 구조는 다음과 같습니다:

1. $X$가 아벨 곡면인 경우:
   $$T_{X^{[n]}} \cong \mathcal{O}_{X^{[n]}}^{\oplus 2} \oplus E$$
   여기서 $E$는 비가분 벡터 다발입니다.
2. $X$가 클래스 $\tilde{C}$에 속하는 경우:
   $$T_{X^{[n]}} \cong \mathcal{O}_{X^{[n]}} \oplus E$$
   여기서 $E$는 비가분 벡터 다발입니다.
3. 그 외의 모든 경우:
   $T_{X^{[n]}}$은 **비가분 (indecomposable)**입니다.

• 보조 결과: 위 (1) 과 (2) 의 경우, $X^{[n]}$에서 아벨 다양체 $F'$로 가는 매끄러운 사상 $\pi$가 존재하며, $E$는 $d\pi$의 핵 (kernel) 으로 정의됩니다.

Theorem B: Hilbert 스킴 곱의 분류

$X$를 매끄러운 사영 곡면이라 하고, $a_1, \dots, a_r$과 $b_1, \dots, b_s$를 양의 정수라 합시다.
$$\prod_{i=1}^r X^{[a_i]} \cong \prod_{j=1}^s X^{[b_j]}$$
라면, $r=s$이고 다중집합 (multiset) $\{a_1, \dots, a_r\} = \{b_1, \dots, b_s\}$가 성립합니다.

• 이는 Hilbert 스킴 곱의 분류에 대한 최근의 추측 (Conjecture in [10]) 을 증명하는 것입니다.

Theorem C: 대칭곱 곱의 분류

차원 $\ge 2$인 매끄러운 다양체 $X$에 대해,
$$\prod_{i=1}^r X^{(a_i)} \cong \prod_{j=1}^s X^{(b_j)}$$
라면, $r=s$이고 $\{a_1, \dots, a_r\} = \{b_1, \dots, b_s\}$가 성립합니다.

• 이는 $X$가 사영일 필요도 없으며, 임의의 차원 $\ge 2$에 대해 성립함을 보입니다. (단, $X$가 곡선인 경우는 [20] 에서 이미 증명됨).

4. 의의 및 기여 (Significance)

1. 접다발 구조의 완전한 분류: 점수 Hilbert 스킴 $X^{[n]}$의 접다발이 어떤 조건에서 분해되고, 어떤 조건에서 비가분인지를 완전히 분류했습니다. 이는 $X$의 기하학적 성질 (아벨 곡면 여부, 클래스 $\tilde{C}$ 여부) 과 $X^{[n]}$의 벡터 다발 이론을 연결하는 중요한 결과입니다.
2. 곱 다양체의 유일성 증명: Hilbert 스킴과 대칭곱의 곱이 동형일 때, 그 구성 요소들이 유일하게 결정됨을 증명했습니다. 이는 대수기하학에서 곱 다양체의 분류 문제 (Cancellation problem) 에 대한 중요한 진전이며, 특히 Hilbert 스킴과 관련된 새로운 무한한 클래스의 다양체에 대해 적용됩니다.
3. 기술적 혁신:
   • $X^{[n]}$의 접다발 분해를 $X^n$의 $S_n$-불변 분해 문제로 환원시키는 접근법.
   • Hilbert-Chow 사상을 통한 부분다발의 '확장 불가능성 (non-extendability)'을 증명하기 위한 국소 계산과 차원 분석.
   • 대칭곱의 곱을 구별하기 위해 특이점의 정규화 구조를 비교하는 새로운 기법.

이 논문은 점수 Hilbert 스킴의 미분기하학적 성질과 대수적 구조 사이의 깊은 연관성을 규명했을 뿐만 아니라, 다양체 곱의 분류 문제에 대한 강력한 새로운 도구와 결과를 제공했습니다.