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

以下は、Michał Kapustka らによる論文「ON THE BOUCKSOM-ZARISKI DECOMPOSITION FOR IRREDUCIBLE SYMPLECTIC VARIETIES AND BOUNDED NEGATIVITY」の技術的な要約です。

1. 研究の背景と問題設定

背景:
代数曲面の理論において、Zariski 分解は線形系列の理解に不可欠な道具です。高次元への一般化として、Boucksom は除数的 Zariski 分解を定義しました。特に、既約シンプレクティック多様体（Irreducible Symplectic Varieties）の滑らかな場合、Boucksom はこの分解を Beauville-Bogomolov-Fujiki (BBF) 二次形式を用いて特徴づけました。

近年、特異点を持つシンプレクティック多様体（特異シンプレクティック多様体）の研究が盛んに行われています。これらは最小模型プログラムやモジュライ空間の文脈で現れます。

問題:

1. 分解の存在: Boucksom-Zariski 分解が、滑らかな多様体だけでなく、より広いクラスである「シンプレクティック特異点を持つ多様体」の任意の有効な除数に対して成り立つかどうか。
2. 係数の有界性: 曲面の場合、Zariski 分解の係数の分母の有界性は「有界負性予想（Bounded Negativity Conjecture）」と密接に関連しています。高次元の既約シンプレクティック多様体において、同様の現象（分母の有界性）が観測されるか、また具体的な有効な上限が得られるか。
3. 効果的双有理性: 上記の結果を用いて、大なる線束（big line bundle）に対する双有理写像の「効果的」な次数（effective bound）を導出できるか（F. Charles の問いへの回答）。

2. 手法とアプローチ

シンプレクティック特異点を持つ多様体への一般化:

• 定義の拡張: 特異点を持つ場合、Weil 除数（Q-Cartier ではない成分を含む可能性）に対して BBF 二次形式 $q_X$ を定義し直す必要があります。
• 技術的工夫: 著者らは、特異点の「非 ADE 型」部分（dissident locus）を除いた開集合 $U$ を考え、そこでの Q-Cartier 性を利用します。特異点解消 $\pi: Y \to X$ を用いて、Weil 除数 $D$ に対して、$U$ への制限とその閉包（closure）を介して、解消多様体 $Y$ 上のホモロジー類を定義し、そこで二次形式を評価することで、$q_{X,\sigma}(D)$ を Well-defined に定義しました（定義 2.10）。
• 交差積としての性質: 主要なステップとして、この拡張された二次形式 $q_{X,\sigma}$ が、異なる素除数（prime divisors）に対して非負の値をとる「交差積（intersection product）」の性質を持つことを証明しました（定理 3.10）。これは Bauer の曲面へのアプローチを高次元に拡張するものであり、Boucksom の滑らかな場合の証明とは異なる経路をたどっています。

分母の有界性と有界負性:

• 分母の制御: Zariski 分解 $D = P + N$ における負の部 $N$ の係数の分母は、負の部を構成する素除数 $N_i$ たちの Gram 行列の行列式（$|\det(q(N_i, N_j))|$）によって制御されます。
• 自己交差数の下限: 分母の有界性を保証するためには、既約除数の BBF 自己交差数 $q(E)$ が下方から有界であることを示す必要があります。
• Druel と Markman の結果の適用: 特異点を持たない滑らかな場合の結果（Druel, Markman）を引用・拡張し、特異シンプレクティック多様体においても、素例外除数 $E$ について $|q(E)| \le 4 \cdot \text{Card}(A_X)$ が成り立つことを示しました（ここで $A_X$ は判别群 $H^2(X, \mathbb{Z})^\vee / H^2(X, \mathbb{Z})$）。

3. 主要な結果

定理 1.1 (Boucksom-Zariski 分解の存在):
シンプレクティック特異点を持つコンパクト Kähler 多様体 $X$ において、任意の有効な Weil Q-除数 $D$ は、一意な $q_{X,\sigma}$-Zariski 分解 $D = P(D) + N(D)$ を持つことが示されました。

• $P(D)$ は $q_{X,\sigma}$-nef。
• $N(D)$ は $q_{X,\sigma}$-exceptional（Gram 行列が負定値）。
• $q_{X,\sigma}(P(D), N(D)) = 0$。
• 切断の全射性：$H^0(X, \mathcal{O}_X(kP(D))) \twoheadrightarrow H^0(X, \mathcal{O}_X(kD))$ が成り立つ。
  これは、滑らかな場合だけでなく、最も一般的なシンプレクティック特異点を持つ多様体の枠組みで成立します。

定理 1.2 (分母の有界性):
滑らかな射影的既約シンプレクティック多様体 $X$（ピカール数 $\rho(X)$）において、任意の有効 Cartier 除数の Boucksom-Zariski 分解の係数の分母は、以下の値で有界です：
$$(4 \cdot \text{Card}(A_X))^{\rho(X)-1}!$$
ここで $\text{Card}(A_X)$ は判别群の位数です。この結果は、変形族全体に一様な上限を与えることを意味します。

補題 1.3 (効果的双有理性):
次元 $2n$ の滑らかな射影的既約シンプレクティック多様体 $X$ と、その上の大なる線束 $L$ について、以下の整数 $m$ に対して、線形系 $|mL|$ に付随する写像は像に対して双有理になります：
$$m \ge \frac{1}{2}(2n + 2)(2n + 3)(4 \cdot \text{Card}(A_X))^{\rho(X)-1}!$$
これは、F. Charles が提起した問題に対する肯定的かつ「効果的（explicit）」な回答となります。

4. 意義と貢献

1. 理論的枠組みの拡張: Boucksom-Zariski 分解の存在を、滑らかな多様体から「シンプレクティック特異点を持つ多様体」全体へと拡張し、Weil 除数に対しても定義可能な形式を構築しました。これは特異点を持つ多様体の双有理幾何学における重要な進展です。
2. 有界性の明確化: 曲面の理論における「分母の有界性」と「有界負性」の関係が高次元のシンプレクティック多様体でも成り立つことを示し、さらに具体的な数値的な上限（判别群の位数とピカール数を用いた式）を導出しました。
3. 効果的結果の提供: 既存の結果（C. Birkar による klt 特異点を持つ Calabi-Yau 多様体への一般論など）は存在しますが、それらは非構成的（explicit な定数が不明）でした。本論文は、滑らかな既約シンプレクティック多様体という特定のクラスにおいて、双有理性の次数を明示的に計算可能な形で与え、F. Charles の問いに答えることで、具体的な計算や応用を可能にしました。
4. 変形不変性: 得られた上限が変形族全体にわたって一様であること（$h^{1,1}(X)$ を用いることで）を示した点も重要です。

総じて、この論文はシンプレクティック幾何学と双有理幾何学の交差点において、特異点を含む場合の基礎的な構造（Zariski 分解）を確立し、その定量的な制御（分母の有界性、双有理性の次数）を達成した画期的な成果です。