[論文レビュー] On Zariski decomposition problem

Yuri Prokhorov|arXiv (Cornell University)|Nov 21, 2002

Algebraic structures and combinatorial models参考文献 14被引用数 9

ひとこと要約

本調査は、Zariski分解のさまざまな一般化—古典的、Fujita、Shokurov、s-/σ分解—と除数代数の有限生成性との間の関係を明確にする。Q-因子的多様体上のビッグな除数に対して、半々ampleなZariski分解（s-分解）は、正の部分がb-ネフであるとき、一般化されたFujita分解と一致することを確立し、klt対における中間Kodaira次元の文脈で、対数正則代数の有限生成性が準同型写像のもとで保存されることを示している。

ABSTRACT

We discuss different generalizations of Zariski decomposition, relations between them and connections with finite generation of divisorial algebras.

研究の動機と目的

• 古典的、Fujita、Shokurov、s-およびσ分解を含む、Zariski分解のさまざまな一般化の間の関係を明確化すること。
• これらの分解と除数代数の有限生成性との関係を調査すること。
• Q-因子的多様体上のビッグな除数に対して、半々ampleなZariski分解（s-分解）と一般化されたFujita分解が一致する条件を確立すること。
• klt対における中間Kodaira次元の文脈で、対数正則代数の有限生成性が準同型写像のもとで保存されることを示すこと。
• 既知の結果を体系的に概説し、b-半々ample性、b-ネフ性、および除数分解の間の相互作用に重点を置くこと。

提案手法

• b-除数とb-半々ample性の概念を用いて、古典的Zariski分解を相対的および双有理的設定に一般化する。
• 有理1-収縮とその引き戻しの概念を適用し、異なる分解型を定義・比較する。
• Kodairaの補題を用いてビッグな除数をアーマーと有効な除数で近似し、異なる分解における正の部分の比較を可能にする。
• huts（1.2）による引き戻し構成を用いて、双有理写像下での除数類の振る舞いを定義・分析する。
• 一般化されたFujita分解の概念を適用し、b-ネフ性とQ-因子的性のもとで、それがs-分解と同値であることを証明する。
• b-除数と有限生成に関する基礎的成果、および[PLF]、[F3]、[FM]の結果を用いて、分解型間の含意関係と代数的有限生成性との関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 Q-因子的多様体上のビッグな除数に対して、s-分解と一般化されたFujita分解が一致する条件は何か？
• RQ2 s-分解における正の部分のb-ネフ性は、除数代数の有限生成性とどのように関係するか？
• RQ3 有理1-収縮とその引き戻しは、異なるZariski分解型を比較する際に果たす役割は何か？
• RQ4 klt対の文脈で、対数正則代数の有限生成性は、どのように準同型写像のもとで保存されるか？
• RQ5 Fujitaの意味でのZariski分解の存在が、正則代数の有限生成性をどの程度示唆するか？

主な発見

• Q-因子的多様体上のビッグな除数 $D$ に対して、s-分解 $P_{\operatorname{s}}(D)$ と一般化されたFujita分解 $P_{\operatorname{gf}}(D)$ が一致するのは、$P_{\operatorname{s}}(D)$ がb-ネフであるときかつそのときに限る。
• 除数代数 $\mathcal{R}_X(D)$ が有限生成であることは、$\mathcal{R}_X(P_{\operatorname{gf}}(D))$ が有限生成であることと同値であり、これは $P_{\operatorname{gf}}(D)$ がb-半々ampleであるとき成立する。
• 正則代数 $\mathcal{R}(K_X)$ は、$g^*K_X$ が半々ampleな正の部分を持つFujita分解を備える場合に有限生成である。これは、楕円曲線ファイブレーションを伴う3次元多様体の例で示された。
• Kodaira次元が $0 \leq \kappa(X,K_X+B) \leq 3$ であるKawamata対数正則対 $(X,B)$ に対して、対数正則代数 $\mathcal{R}(K_X+B)$ は有限生成である。
• 双有理収縮による正則除数の引き戻しを介して、$g^*K_X$ に対してFujitaの意味でのZariski分解が存在することは、$\mathcal{R}(K_X)$ の有限生成性を示す。
• 一般化されたFujita分解 $D = P_{\operatorname{gf}} + F_{\operatorname{gf}}$ は、$\mathcal{R}_X(D) = \mathcal{R}_X(P_{\operatorname{gf}})$ を満たし、$P_{\operatorname{gf}} \geq P_{\operatorname{s}}(D)$ である。さらに、$P_{\operatorname{s}}(D)$ がb-ネフであるとき、等号が成立する。