Proof of Miyanishi's conjecture on endomorphisms of varieties

논문 요약: 다양체 엔도모피즘에 대한 미야니시 추측의 증명

1. 연구 배경 및 문제 제기 (Problem)

• 배경: 대수기하학에서 다양체의 엔도모피즘 (자기 사상) 연구는 중요한 주제입니다. 특히, 정규 사영 다양체 (normal projective varieties) 의 경우 엔도모피즘의 존재가 특이점과 전역 기하학에 강한 제약을 가하는 것으로 알려져 있습니다. 반면, 비완전 (non-complete) 다양체의 경우 이에 대한 연구는 제한적입니다.
• 기존 결과:
  • Ax (1960): 임의의 주사적 (injective) 엔도모피즘은 전사적 (bijective) 임을 증명.
  • Nowak (1980): 체 $k$가 대수적으로 닫혀 있고 표수가 0 일 때, 주사적 엔도모피즘은 자동형 (automorphism) 임을 증명.
• 미야니시 추측 (Miyanishi's Conjecture, 1990):
  • $X$를 $\mathbb{C}$-다양체, $\phi: X \to X$를 엔도모피즘이라 할 때, $\phi$가 코디멘션 (codimension) $\ge 2$인 닫힌 부분집합을 제외하고 주사적이라면, $\phi$는 동형사상 (isomorphism) 이어야 한다는 추측입니다.
  • 기존에는 $X$가 아핀 (affine) 이거나 완비 (complete) 인 경우, 또는 $X$가 $\mathbb{Q}$-인자 (Q-factorial) 인 경우 등 특정 조건 하에서만 증명되었습니다.
• 연구 목표: 임의의 표수 (arbitrary characteristic) 를 가지는 준사영 다양체 (quasi-projective variety) 에 대해 미야니시 추측을 증명하는 것.

2. 주요 결과 (Main Results)

저자 Supravat Sarkar 는 다음과 같은 정리를 증명하여 미야니시 추측을 완전히 해결했습니다.

• 정리 A (Theorem A):
  • $k$를 임의의 체, $X$를 $k$ 위의 준사영 다양체라고 합시다.
  • $\phi: X \to X$가 코디멘션 $\ge 2$인 닫힌 부분집합을 제외하고 주사적인 쌍유리 사상 (birational morphism) 이라면, $\phi$는 동형사상 (isomorphism) 입니다.
  • 비고: 표수 0 인 경우 주사성에서 쌍유리성이 자동으로 유도되지만, 양의 표수 (positive characteristic) 에서는 프로베니우스 사상 (Frobenius map) 과 같은 반례가 존재할 수 있으므로, 쌍유리성 (birationality) 가정이 필수적입니다.

3. 방법론 및 증명 전략 (Methodology)

증명의 핵심은 류 (Class) 군의 유한성과 코디멘션 조건을 결합한 두 개의 보조정리 (Lemma) 를 사용하는 것입니다.

• 가정 및 전제:

  • $X$는 정규 (normal) 다양체로 가정할 수 있음 (정규화 과정을 통해 일반성을 잃지 않음).
  • $\phi$의 예외적 궤적 (exceptional locus, $Ex(\phi)$) 의 코디멘션이 $\ge 2$임.

• 핵심 보조정리 1 (Lemma 2.1): 류 군의 유한성

  • $X$가 유한 생성된 체 (finitely generated field) $k$ 위의 다양체일 때, $\mathbb{Q}$-벡터 공간 $\text{Cl}(X) \otimes \mathbb{Q}$는 유한 차원임.
  • 또한 $X$가 기하학적으로 정규이고 propre 한 다양체와 쌍유리 동치라면, $\text{Cl}(X)$는 유한 생성 아벨 군임.
  • 의의: 이는 다양체의 류 군 (Weil divisor class group) 이 "크기"가 통제 가능함을 보장하여, 무한히 감소하는 과정을 막는 역할을 합니다.

• 핵심 보조정리 2 (Lemma 2.2): 류 군의 차수 감소

  • $\phi: Y \to X$가 정규 준사영 다양체 사이의 쌍유리 사상이며, $Ex(\phi)$의 코디멘션이 $\ge 2$이고 $\dim (\text{Cl} X / \text{Pic} X \otimes \mathbb{Q}) < \infty$라고 가정합니다.
  • 만약 $\phi$가 열린 매장 (open immersion) 이 아니라면, 다음 부등식이 성립합니다:
    $$\dim \left( \frac{\text{Cl} Y}{\text{Pic} Y} \otimes \mathbb{Q} \right) < \dim \left( \frac{\text{Cl} X}{\text{Pic} X} \otimes \mathbb{Q} \right)$$
  • 증명 아이디어: $\phi$가 열린 매장이 아니면 $Ex(\phi)$가 비어 있지 않으며, Zariski 주정리에 의해 $\phi|_{Ex(\phi)}$는 준유한 (quasi-finite) 이 아닙니다. 이를 이용해 두 점 $x, y$를 분리하는 카르티에 (Cartier) 인자 $H$를 구성하고, 이를 통해 $\text{Cl} X / \text{Pic} X$에서 영이 아닌 원소가 $\text{Cl} Y / \text{Pic} Y$로 사상될 때 0 이 되어 차원이 감소함을 보입니다.

• 최종 증명 흐름:

  1. 체를 유한 생성 부분체로 축소하여 Lemma 2.1 을 적용, $\dim (\text{Cl} X / \text{Pic} X \otimes \mathbb{Q})$가 유한함을 확보.
  2. 주사성 가정과 Zariski 주정리에 의해 $Ex(\phi)$의 코디멘션이 $\ge 2$임을 확인.
  3. Lemma 2.2 를 적용: 만약 $\phi$가 열린 매장이 아니라면 류 군의 차수가 무한히 감소해야 하는데, 이는 유한성 (Lemma 2.1) 과 모순됨.
  4. 따라서 $\phi$는 열린 매장이어야 함.
  5. Ax 의 정리에 의해 주사적 엔도모피즘은 전사적이므로, $\phi$는 동형사상이 됨.

4. 주요 기여 (Key Contributions)

1. 미야니시 추측의 완전한 증명: 아핀, 완비, $\mathbb{Q}$-인자 등 특정 조건에 국한되었던 기존 결과를 넘어, 임의의 준사영 다양체에 대해 추측을 증명했습니다.
2. 임의의 표수 적용: 표수 0 뿐만 아니라 양의 표수 (positive characteristic) 에서도 유효한 정리를 제시했습니다 (단, 양의 표수에서는 쌍유리성 가정이 필요함).
3. 류 군의 유한성 결과: Lemma 2.1 에서 제시된 류 군의 유한 생성성 및 유한 차원성은 그 자체로 대수기하학에서 중요한 독립적인 결과 (of interest in its own right) 로 평가됩니다.
4. 준사영성 조건 완화: Remark 2.3 에서 지적했듯이, 실제 증명에 준사영성 (quasi-projectivity) 이 필수적으로 사용된 부분은 "임의의 두 점 $x, y$에 대해 $x \in |H|, y \notin |H|$인 유효 카르티에 인자 $H$가 존재한다"는 사실뿐입니다. 이는 더 넓은 범위의 다양체로 일반화될 가능성을 시사합니다.

5. 의의 및 의의 (Significance)

• 이 논문은 대수기하학에서 엔도모피즘의 구조를 이해하는 데 있어 중요한 이정표입니다. 특히, "대부분의 곳에서 주사적"이라는 약한 조건이 전역적인 동형사상을 강제한다는 사실을 일반화했습니다.
• 증명 과정에서 사용된 류 군 (Class Group) 에 대한 유한성 논증은 향후 특이점을 가진 다양체나 비완전 다양체의 기하학적 성질을 연구하는 데 강력한 도구가 될 것입니다.
• János Kollár 교수와의 논의와 조언을 통해 이루어진 이 연구는 현대 대수기하학의 핵심 인물들의 연구 흐름을 잇는 중요한 업적입니다.

결론적으로, Supravat Sarkar 는 류 군의 유한성과 코디멘션 조건을 정교하게 결합하여, 미야니시가 1990 년대에 제기한 엔도모피즘에 대한 추측을 임의의 표수와 준사영 다양체 범위 내에서 완전히 증명했습니다.