[論文レビュー] On pluricanonical systems of algebraic varieties of general type

Meng Chen|ArXiv.org|May 28, 2008

Algebraic Geometry and Number Theory参考文献 18被引用数 3

ひとこと要約

本稿は、Koll{\'a}rの技法を拡張することで、一般型の $n$-次元非特異射影代数的多様体の二倍 canonical および多倍 canonical 写像に対して明示的な上界を確立する。$Q$ をネフな $\mathbb{Q}$-有理数型で、$\iota$ を $m_0$-canonical 写像の像の次元とするとき、$|mK_V + \lceil Q\rceil|$ がすべての $m \geq \varepsilon(\iota)$ に対して双有理的であるような明示的な関数 $\varepsilon(\iota)$ を提供する。主な貢献は、$m_0$ と $n$ に依存する一様な上界であり、特に $n=4$ の場合、$\mu_4 \leq 151m_0 + 77$ を得る。結果は、ファイバー次元に関する帰納法と、Riemann-Roch型不等式および乗数イデアル技法を用いた有効な正則性推定に基づいて導出される。

ABSTRACT

We extend Kollar's technique to look for an explicit function h(n) with phi_m birational onto its image for all integers $m\geq h(n)$ and for all n-dimensional nonsingular projective varieties of general type.

研究の動機と目的

• すべての $n$-次元一般型非特異射影代数的多様体に対して、$m$-canonical 写像 $\varphi_m$ がすべての $m \geq \mu_n$ で双有理的であるような明示的定数 $\mu_n$ を見つけること。
• ネフな $\mathbb{Q}$-有理数型 $Q$ に対して、線型系統 $|mK_V + \lceil Q\rceil|$ の有効な双有理性を保証する Koll{\'a}rの技法を拡張すること。
• $m_0$-canonical 写像の像の次元 $\iota$ と $m_0$ に依存する一様な上界 $\varepsilon(\iota)$ を提供し、$m \geq \varepsilon(\iota)$ のとき双有理性が保証されることを示すこと。
• $n \geq 4$ の次元における明示的双有理性上限の未解決問題に取り組み、特に $n=4$ の場合、鋭い上限が得られること。

提案手法

• 方法は、$m_0$-canonical 纖維のファイバー次元に関する帰納法に基づき、制限と消失定理を用いて問題を次元の低い多様体に還元する。
• ファイバー上の線型系の有効な正則性推定に、不等式 $\pi^*(K_X)|_F \geq \gamma \sigma^*(K_{F_0})$ を適用し、$\gamma > \frac{1}{2m_0+1}$ を満たすが、最適性は未解決のまま残されている。
• 再帰的列 $w_t$ が $w_i = \widetilde{\lambda}_i + w_{i-1}(2\widetilde{\lambda}_i + 1)$ で定義され、$w_4 = 151\widetilde{\lambda}_4 + 75$ となる。ここで $\widetilde{\lambda}_i = m_0$ は最高次元で、それ以外は $\lambda_i$ である。
• 証明は、乗数イデアル技法と基点自由定理を用い、各帰納ステップで $|K_F + \lceil \cdots \rceil|$ の非消滅性と双有理性を保証する。
• 鍵となる技術的道具は、$m_0$-canonical 纖維を用いて、次元が減少するファイバーによる多様体のフィルトレーションを誘導し、多倍 canonical 線型系の再帰的制御を可能にすることである。
• 最終的な上限は、帰納のステップ数と列 $w_t$ の成長を分析することで得られ、$m_0$、$n$、$\iota$ の関数として明示的な式が得られる。

実験結果

リサーチクエスチョン

• RQ1 一般型の $n$-次元多様体（$n \geq 4$）に対して、$m$-canonical 写像がすべての $m \geq \mu_n$ で双有理的であるような最小の整数 $\mu_n$ は何か？
• RQ2 Koll{\'a}rの手法は、任意のネフな $\mathbb{Q}$-有理数型 $Q$ に対して、$|mK_V + \lceil Q\rceil|$ の双有理性を制御するために一般化可能か？
• RQ3 不等式 $\pi^*(K_X)|_F \geq \gamma \sigma^*(K_{F_0})$ がファイバー上で成り立つような最適な定数 $\gamma$ は何か？ そして、この $\gamma$ は最終的な上限にどのように影響を与えるか？
• RQ4 Riemann-Roch 公式 $\chi(\mathcal{O}_V(mK_V))$ が利用可能でない場合、その公式を用いて有効な上限を改善することは可能か？

主な発見

• 一般型の $n$-次元非特異射影代数的多様体で $P_{m_0} \geq 2$ である場合、$|mK_V + \lceil Q\rceil|$ はすべての $m \geq \varepsilon(\iota)$ に対して双有理的であり、ここで $\varepsilon(\iota)$ は $\iota = \dim \overline{\varphi_{m_0}(V)}$ に基づいて明示的に定義される。
• $\iota \geq n-2$ のとき、上限は $\varepsilon(\iota) = \min\{4m_0+4, 57\} \cdot (2m_0+1)^{n-3} + m_0(n-2) + 2$ であり、$m_0$ と $n$ に依存する一様な制御を提供する。
• $\iota = n-3$ のとき、上限は $\varepsilon(\iota) = 75(2m_0+1)^{n-3} + m_0(n-3) + 2$ であり、この場合の従来の推定を改善する。
• $\iota \leq n-4$ のとき、上限は $\varepsilon(\iota) = (2m_0+1)^{\iota-1} w_{n-\iota+1} + m_0(\iota-1) + 2$ であり、ここで $w_t$ は再帰的に $w_4 = 151\widetilde{\lambda}_4 + 75$ で定義され、$\widetilde{\lambda}_i = \lambda_i$（$i < n-\iota+1$ のとき）、$\widetilde{\lambda}_{n-\iota+1} = m_0$ である。これは最も一般な場合における最も鋭い上限を提供する。
• $n=4$ の場合、鋭い上限が得られる：$\varphi_m$ はすべての $m \geq 151m_0 + 77$ に対して双有理的である。これは、次元 4 における問題 1.1 の明示的解である。
• 結果は、すべての $k$-次元一般型多様体に対して $P_{\rho_k} \geq 2$ となるような明示的定数 $\rho_k$ が存在するとき、かつそのときに限り、明示的 $\mu_n$ が存在することを示唆しており、有効な多様体の正則性の下限の重要性を強調している。