[論文レビュー] Effectivity in the Hyperbolicity-related problems

Ya Deng|arXiv (Cornell University)|Jun 13, 2016

Algebraic Geometry and Number Theory参考文献 8被引用数 15

ひとこと要約

本稿は、射影空間内の一般の超曲面が小林双曲的であるための有効な下界を効果的に提供し、双曲性理論における未解決の効果的性の問題を解決する。中村の定理とデメールリ＝スマーズ塔上のワロンスキー理想層を用いて、$ M $ および $ m_\infty $ の臨界定数を計算することで、明示的な下界を導出する：小林双曲性については $ d \geq n^{n+1}(n+1)^{n+2}(n^3+2n^2+2n-1)+n^3+3n^2+3n $、完全交差における正則接束については $ d \geq 4c_0(2N-1)^{2c_0+1}+6N-3 $ が成り立ち、ここで $ c_0 = \lfloor (N+1)/2 \rfloor $ である。

ABSTRACT

The aim of this work is to deal with effective questions related to the Kobayashi and Debarre conjectures, and based on the work of Damian Brotbek and Lionel Darondeau. We first show that if a line bundle $L$ generates $k$-jets, the $k$-th Wronskian ideal sheaf associated with global sections of $L$ reaches its largest possible value. Then we obtain an effective estimate for a weaker version of a theorem of Nakamaye on certain universal Grassmannians. We finally derive from this explicit effective bounds for the Kobayashi and Debarre conjectures.

研究の動機と目的

• 超曲面の次数に対する明示的な数値的下界を計算することで、小林とデバールの予想における効果的問題を解決すること。
• Demailly-Semple塔上の漸近的ワロンスキー理想層の構成における有効定数 $ m_\infty $ を特定し、ワロンスキー切断の安定化を支配するものとする。
• 普遍グラスマンニアン上のビッグでフェイ・ラインバンドルのゼロ集合の増大基底領域に対する、中村の定理における定数 $ M $ を有効的に計算すること。
• ノエーター性に基づく従来の暗黙の定数を定量化することで、ブロトベックの小林予想の証明を有効版に拡張すること。
• 一般の完全交差が正則接束を有するための明示的な次数閾値を提供し、超曲面および高余次元多様体に適用可能である。

提案手法

• テータロジカルラインバンドル $ L $ とアンピール除数 $ A $ を用いて $ mL - A $ の基底領域を分析することで、普遍グラスマンニアンにおける中村の定理の有効版を確立し、$ m_0 $ を明示的に境界づける。
• ラインバンドル $ L $ が $ k $-ジェットを生成するならば、漸近的ワロンスキー理想層 $ \mathfrak{m}_\infty(X_k, L) $ は $ m_\infty = 1 $ で安定化し、非常にアンピールな $ L $ の場合 $ m_\infty = k $ となることを証明する。これはワロンスキー構成の鋭い下界を与える。
• Demailly-Semple塔 $ (X_k, V_k) $ を用いて、$ X_k $ 上のねじれラインバンドルのグローバルセクションとしてのワロンスキー切断 $ W(s_0, \dots, s_k) $ を定義し、その基底理想 $ \mathfrak{w}(X_k, L) $ を研究する。
• ワロンスキー理想層列のノエーター性を適用して $ m_\infty $ での安定化を示し、$ L $ が $ k $-ジェットを生成する場合 $ m_\infty = 1 $ であることを証明する。これは効果的性にとって極めて重要である。
• $ m_\infty $ と $ M $ の境界をブロトベックの枠組みと組み合わせ、双曲性および接束の正則性のための明示的次数閾値を導出する。
• $ 2\sum_p(\epsilon_p + \delta_p)b_p < r $ という条件を用いて、対称微分形式のねじれの負性を保証し、$ \min \delta_i + 1 > 2N - 1 $ を課して例外的領域を回避することで、有効な正則性基準を導く。

実験結果

リサーチクエスチョン

• RQ1 一般の超曲面が $ \mathbb{P}^n $ 内で小林双曲的である最小次数 $ d_0 $ に対して、有効な下界を与えることができるか？
• RQ2 ラインバンドルが $ k $-ジェットを生成する場合、Demailly-Semple塔における漸近的ワロンスキー理想層構成における有効定数 $ m_\infty $ の値は何か？
• RQ3 中村の定理におけるノエーター性に基づく定数 $ M $ を、テータロジカルラインバンドルを備えた普遍グラスマンニアンに対して有効的に計算できるか？
• RQ4 一般の超曲面の完全交差が $ \mathbb{P}^N $ 内で正則接束を有するための明示的次数閾値は何か？
• RQ5 中村の定理およびワロンスキー理想層からの有効定数を組み合わせることで、双曲性および正則性問題における明示的かつ定量的な結果を得られるか？

主な発見

• 本稿は、$ \mathbb{P}^n $ 内の一般の超曲面が小林双曲的であるための明示的有効下界 $ d \geq n^{n+1}(n+1)^{n+2}(n^3+2n^2+2n-1)+n^3+3n^2+3n $ を提供し、小林予想における効果的性の問題を解決する。
• ラインバンドル $ L $ が複素多様体 $ X $ 上で $ k $-ジェットを生成するならば、漸近的ワロンスキー理想層は $ m_\infty(X_k, L) = 1 $ を満たし、非常にアンピールな $ L $ の場合 $ m_\infty = k $ となることを証明する。これはワロンスキー構成の有効な安定化を保証する。
• 中村の定理における定数 $ M $ は、普遍グラスマンニアン上で有効的に計算可能であり、ビッグでフェイ・ラインバンドルの増大基底領域に対する有効な境界を与える。
• $ \mathbb{P}^N $ 内の完全交差に対して、$ d \geq 4c_0(2N-1)^{2c_0+1}+6N-3 $ かつ $ c_0 = \lfloor (N+1)/2 \rfloor $ ならば、$ H_1, \dots, H_{c_0} $ が次数 $ d $ で、他の成分が任意の次数である一般の完全交差は正則接束を有する。
• この結果は、非常にアンピールなラインバンドル $ A $ を備えた任意の smooth な $ N $ 次元代数的多様体 $ M $ に拡張可能であり、同じ下界を満たす一般の超曲面の完全交差は正則接束を有する。
• 有効な境界は、ワロンスキー理想層の安定化と対称微分形式の負性条件を組み合わせることで導出され、関連するラインバンドルがネフであることを保証する。その結果、接束が正則となる。