On the Boucksom-Zariski decomposition for irreducible symplectic varieties and bounded negativity

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

• 배경: 대수적 곡면 이론에서 선형계 (linear series) 의 핵심 도구인 Zariski 분해는 고차원 다양체로 일반화하려는 시도가 계속되어 왔습니다. 특히, 기약 심플렉틱 다양체 (Irreducible Symplectic Varieties, ISV) 의 경우, Boucksom 이 Beauville-Bogomolov-Fujiki (BBF) 2 차 형식을 사용하여 divisorial Zariski 분해 (Boucksom-Zariski 분해) 를 특징짓는 결과를 얻었습니다.
• 문제 1 (특이점의 확장): 최근 연구들은 특이점을 가진 심플렉틱 다양체 (singular holomorphic symplectic varieties) 에 집중하고 있습니다. 그러나 Boucksom-Zariski 분해가 가장 일반적인 범주, 즉 Q-팩토리얼 (Q-factorial) 이 아닐 수 있는 심플렉틱 특이점 (symplectic singularities) 을 가진 다양체에서도 성립하는지 여부는 명확하지 않았습니다.
• 문제 2 (계수의 유계성 및 분모): 곡면의 경우, Zariski 분해의 계수 (특히 음수 부분의 계수) 의 분모가 유계인지 여부는 유계 음성성 추측 (Bounded Negativity Conjecture) 과 밀접하게 연관되어 있습니다. 고차원 기약 심플렉틱 다양체에서도 유사한 현상, 즉 분해의 계수 분모가 유계인지, 그리고 이를 통해 유효한 쌍유리성 (effective birationality) 을 증명할 수 있는지 여부가 미해결 과제였습니다.

2. 연구 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구를 활용하여 문제를 해결했습니다.

• 심플렉틱 특이점의 일반화:
  • Kirchner 와 Namikawa 의 연구를 바탕으로, 특이점이 있는 기약 심플렉틱 다양체 $X$ 에 대해 Weil Q-분해자 (Weil Q-divisors) 에도 BBF 2 차 형식 ($q_X$) 을 확장하여 정의했습니다.
  • 이를 위해 특이점의 '비동일성 영역 (dissident locus)'을 제외한 열린 집합 $U$ 에서 2 차 형식을 정의하고, 이를 분해 (resolution) 를 통해 전체 공간으로 확장하는 기법을 사용했습니다.
• 교차 곱 (Intersection Product) 성질 증명:
  • Bauer 의 곡면 접근법을 차용하여, 확장된 2 차 형식 $q_{X,\sigma}$ 가 교차 곱 (intersection product) 성질 (서로 다른 소분해자 간의 교차 값이 음이 아님) 을 만족함을 증명했습니다. 이는 Boucksom-Zariski 분해의 존재성을 보장하는 핵심 조건입니다.
• 유계 음성성 및 분모 추정:
  • Druel 과 Markman 의 기존 결과 (특이점 없는 경우의 예외적 소분해자의 기하학적 성질) 를 특이점 있는 경우로 확장하여 적용했습니다.
  • 분해자 $E$ 의 자기 교차수 $q(E)$ 가 하한을 가진다는 것을 보임으로써, Zariski 분해의 계수 분모가 유계임을 유도했습니다.
• 유효한 쌍유리성 (Effective Birationality):
  • 분모의 유계성을 이용하여, 큰 선다발 (big line bundle) 에 대한 선형계의 매핑이 특정 정수 $m$ 이상에서 쌍유리 사상 (birational map) 이 됨을 명시적인 상수로 증명했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. Boucksom-Zariski 분해의 일반화 (Theorem 1.1)

• 결과: 심플렉틱 특이점을 가진 임의의 콤팩트 Kähler 다양체 $X$ 에서, 모든 유효한 Weil Q-분해자는 유일한 $q_{X,\sigma}$-Zariski 분해를 가집니다.
  $$D = P(D) + N(D)$$
  여기서 $P(D)$ 는 $q_{X,\sigma}$-nef, $N(D)$ 는 $q_{X,\sigma}$-exceptional 이며, 두 부분의 교차 값은 0 입니다.
• 의의: 이 결과는 Q-팩토리얼 가정을 제거하고 가장 넓은 범주 (특이점 포함) 에서 분해의 존재성을 확립한 것입니다.

B. 분모의 유계성 및 유계 음성성 (Theorem 1.2 & Corollary 4.10)

• 결과: 매끄러운 프로젝트 기약 심플렉틱 다양체 $X$ 에 대해, 모든 유효한 Cartier 분해자의 Boucksom-Zariski 분해 계수 분모는 다음 값으로 유계입니다:
  $$(4 \cdot \text{Card}(A_X))^{\rho(X)-1}!$$
  여기서 $\text{Card}(A_X)$ 는 판별군 (discriminant group) 의 크기, $\rho(X)$ 는 피카르 수입니다.
• 기반: 이는 기약 소분해자의 BBF 자기 교차수가 하한 ($4 \cdot \text{Card}(A_X)$) 을 가진다는 사실 (Proposition 4.8) 에 기반합니다. 이는 고차원에서의 유계 음성성에 대한 유효한 형태를 제공합니다.

C. 유효한 쌍유리성 (Corollary 1.3)

• 결과: 차원이 $2n$ 인 매끄러운 프로젝트 기약 심플렉틱 다양체 $X$ 와 큰 선다발 $L$ 에 대해, 다음 정수 $m$ 이상일 때 선형계 $|mL|$ 에 의해 유도된 사상은 그 상으로 쌍유리적입니다:
  $$m \geq \frac{1}{2}(2n+2)(2n+3)(4 \cdot \text{Card}(A_X))^{\rho(X)-1}!$$
• 의의: F. Charles 가 제기한 질문에 대해 명시적인 (explicit) 상수를 제공하여 긍정적으로 답변했습니다. 기존 Charles 의 결과 (유계성 존재는 증명했으나 상수 명시 안 함) 와 비교하여 더 구체적인 정보를 제공합니다.

D. 쌍유리 유계성 (Corollary 5.1)

• 결과: 고정된 변형 유형 (deformation type) 과 부피 제한을 가진 기약 심플렉틱 다양체들의 가족은 쌍유리적으로 유계 (birationally bounded) 입니다. 즉, 이러한 다양체들은 유한한 매개변수 공간에서 유래된 대수적 다양체로 표현될 수 있습니다.

4. 의의 및 영향 (Significance)

1. 이론적 확장: Boucksom-Zariski 분해가 특이점을 가진 심플렉틱 다양체에서도 잘 정의됨을 보여주어, 특이점 이론과 심플렉틱 기하학의 연결고리를 강화했습니다.
2. 계산 가능성 (Effectivity): 고차원 다양체에서 Zariski 분해의 계수 분모가 유계임을 증명하고, 이를 통해 명시적인 상수를 가진 유효한 쌍유리성 정리를 도출했습니다. 이는 구체적인 계산과 알고리즘적 접근에 중요한 발걸음입니다.
3. 유계 음성성 추측의 고차원 대응: 곡면 이론의 핵심인 유계 음성성 추측이 기약 심플렉틱 다양체라는 특수한 고차원 맥락에서 어떻게 작용하는지 보여주었습니다.
4. 모듈라이 이론 및 MMP: 심플렉틱 특이점을 가진 다양체는 최소 모델 프로그램 (MMP) 의 결과물로서 중요하며, 이 연구는 이러한 다양체의 선형계와 모듈라이 공간의 구조를 이해하는 데 기여합니다.

5. 결론

본 논문은 기약 심플렉틱 다양체 (특히 특이점이 있는 경우) 에 대한 Boucksom-Zariski 분해의 존재성을 증명하고, 그 계수 분모의 유계성을 통해 유효한 쌍유리성 정리를 확립했습니다. 이는 대수기하학의 고차원 선형계 이론에 있어 중요한 진전이며, F. Charles 의 질문에 대한 명시적인 해답을 제시했습니다. 또한, 특이점 있는 심플렉틱 다양체에서도 유사한 결과가 성립함을revision 과정에서 확인하여 (참고문헌 [43] 인용), 연구의 범위를 더욱 확장했습니다.