[論文レビュー] Effective freeness of adjoint line bundles

Gordon Heier|ArXiv.org|Aug 17, 2001

Algebraic Geometry and Number Theory参考文献 20被引用数 16

ひとこと要約

この論文は、コンパクトな複素射影多様体 $X$ の自己線束 $K_X + mL$ に対して、既存の2つの手法—Angehrn-Siu 法とHelmkeの手法—を組み合わせることで、新たな有効な自由性の上限を確立する。$K_X + mL$ が基点自由であることを示した。$m \geq (e + \frac{1}{2})n^{4/3} + \frac{1}{2}n^{2/3} + 1$ のとき、これは Fujita の線形予想 $m \geq n+1$ に $n^{1/3}$ の要因で近い。この結果を応用して、多様体の多項式 canonical 埋め込みに関する有効な非常に正則性の結果を得た。

ABSTRACT

In this note we establish a new Fujita-type effective bound for the base point freeness of adjoint line bundles on a compact complex projective manifold of complex dimension $n$. The bound we obtain (approximately) differs from the linear bound conjectured by Fujita only by a factor of the cube root of $n$. As an application, a new effective statement for pluricanonical embeddings is derived.

研究の動機と目的

• コンパクトな複素射影多様体上の自己線束 $K_X + mL$ の自由性に関する有効な境界を改善すること。
• 既知の有効な境界（$n^2$ 階）と Fujita が予想する線形境界 $m \geq n+1$ の間のギャップを埋めること。
• Angehrn-Siu と Helmke の手法を組み合わせ、よりタイトな自由性境界を得ること。
• もし $K_X$ が正定値であれば、多項式 canonical 埋め込みの有効な非常に正則性の記述を得ること。

提案手法

• Angehrn-Siu の帰納的戦略と Helmke の曲率に基づく手法を組み合わせ、有効な境界を精緻化する。
• スターリングの公式と対数不等式を用いて、二項係数 $\binom{n-1}{d-1}$ の精密な推定を行う。
• 正定値の $(1,1)$-形式を支配する曲率カレントを持つ $mL$ 上の計量構成を適用する。
• 消滅定理が適用可能になるように、乗数イデアル層の議論を用いて基点自由性を保証する。
• 乗数イデアルからの特異計量と $L^{m_0 - k}$ からの滑らかな計量を組み合わせて、$m_0L$ 上の計量 $h$ を構成する。
• 条件 $m_0 \geq (e + \frac{1}{2})n^{4/3} + \frac{1}{2}n^{2/3} + 1$ を用いて、$m_0 - k > 0$ かつ曲率支配が保証されるようにする。

実験結果

リサーチクエスチョン

• RQ1 自己線束 $K_X + mL$ の自由性境界は、既知の $O(n^2)$ の境界を越えて改善可能か？
• RQ2 有効な自由性境界は、Fujita が予想する線形境界 $m \geq n+1$ にどの程度近づけるか？
• RQ3 Angehrn-Siu と Helmke の手法を組み合わせることで、それぞれ単独で得られるものよりもタイトな境界が得られるか？
• RQ4 もし $K_X$ が正定値であれば、多項式 canonical 系の有効な非常に正則性境界はどのようになるか？
• RQ5 得られた境界は、正の canonical バンドルと数値的に有効な canonical バンドルを持つ可変な標的多様体への支配的で正則なホロモーフィック写像の数に関する境界を改善できるか？

主な発見

• 論文は、$K_X + mL$ が $m \geq (e + \frac{1}{2})n^{4/3} + \frac{1}{2}n^{2/3} + 1$ のとき基点自由であることを確立した。これは Fujita の予想する線形境界 $m \geq n+1$ に $n^{1/3}$ の要因で近い。
• この境界は、Angehrn-Siu や Helmke が得た $O(n^2)$ の境界を改善し、指数を 2 から $4/3$ に低下させ、予想に近づける大きな飛躍を達成した。
• 曲率計量と乗数イデアル層の組み合わせにより、消滅定理が適用可能となり、有効な自由性が保証された。
• 有効な非常に正則性の結果が得られた：もし $K_X$ が正定値であれば、$mK_X$ は $m \geq (e + \frac{1}{2})n^{7/3} + \frac{1}{2}n^{5/3} + (e + \frac{1}{2})n^{4/3} + 3n + \frac{1}{2}n^{2/3} + 5$ のとき非常に正則である。これは、多項式 canonical 埋め込みに関して、これまでに得られた最良の有効境界である。
• この結果により、正の canonical バンドルを持つ固定多様体から、大域的かつ数値的に有効な canonical バンドルを持つ可変な標的多様体への支配的で正則なホロモーフィック写像の数に関する境界が鋭くされた。