[論文レビュー] An explicit estimate on multiplicity truncation in the second main theorem for holomorphic curves encountering hypersurfaces in general position in projective space

Ta Thi Hoai An, Ha Tran Phuong|ArXiv.org|Aug 7, 2007

Meromorphic and Entire Functions参考文献 12被引用数 20

ひとこと要約

本稿は、射影空間内の一般位置にある超曲面と交わる正則曲線に対する第二主定理における切り上げレベル $ M $ の明示的上限を提供する。Corvaja と Zannier のフィルトレーション技法を精緻化し、ワロンスキー式解析を活用することで、不等式 $ (q - n - 1 - \varepsilon)T_f(r) \leq \sum_{j=1}^q d_j^{-1}N_f^M(r,D_j) $ が十分大きな $ r $ において、有限測度の集合を除き成立するようにするための $ M \geq 2d\lceil 2^n(n+1)n(d+1)\varepsilon^{-1}\rceil^n $ が十分であることが示された。

ABSTRACT

Yan and Chen proved a weak Cartan-type second main theorem for holomorphic curves meeting hypersurfaces in projective space that included truncated counting functions. Here we give an explicit estimate for the level of truncation.

研究の動機と目的

• 正則曲線が一般位置にある超曲面と交わる第二主定理における切り上げレベル $ M $ の明示的推定を提供すること。
• Yan と Chen の切り上げ付き数え上げ関数を用いた弱い Cartan 型第二主定理における $ M $ の $ \varepsilon $ 依存性を解消すること。
• 値分布論およびディオファントス近似における具体的応用を想定した、切り上げレベルの計算可能性を確立すること。
• 切り上げ付き数え上げ関数の第二主定理への適用範囲を拡張するために、不等式が漸近的に成立する最小の $ M $ を定量化すること。

提案手法

• 著者らは、元来ディオファントス近似に用いられた Corvaja と Zannier のフィルトレーション手法の洗練された解析を用いる。
• 同次多項式の空間 $ V_\alpha $ を次数 $ \alpha $ で定義し、多重指数 $ \mathbf{i} $ に関連する単項式を用いて基底を構成する。
• 基底要素 $ \psi_t(f) $ からなるワロンスキー行列式 $ W $ を構成し、共通零点におけるその零点の位数を推定することで、数え上げ関数の切り上げを制御する。
• 第一主定理とワロンスキー式の境界を組み合わせて、フィルトレーションの総重み $ \Delta $ の下界が得られ、これが主要な不等式の導出に寄与する。
• 切り上げレベル $ M $ は、$ n+1 $ 変数の全次数 $ \leq \alpha/d - n $ の単項式の個数を用いて推定され、$ M\alpha/\Delta $ の境界が得られる。
• パラメータ $ \alpha $ を $ \varepsilon^{-1} $ に比例するように選ぶことで、$ d $, $ n $, $ \varepsilon $ の関数として明示的な $ M $-境界が導かれる。

実験結果

リサーチクエスチョン

• RQ1 一般位置にある超曲面と交わる正則曲線に対する切り上げ付き第二主定理が成立する最小の切り上げレベル $ M $ は何か？
• RQ2 値分布論への応用を想定した場合、$ M $ の $ \varepsilon $ 依存性を明示的にどのように表現できるか？
• RQ3 Corvaja と Zannier のフィルトレーション技法をどのように洗練させれば、切り上げ付き数え上げ関数の文脈で $ M $ の有効な境界を得られるか？
• RQ4 超曲面の次数と射影空間の次元を用いて、切り上げレベルをどの程度まで定量的に表現できるか？
• RQ5 不等式 $ (q - n - 1 - \varepsilon)T_f(r) \leq \sum d_j^{-1}N_f^M(r,D_j) $ が、すべての十分大きな $ r $ に対して、有限測度の集合を除き成立するような明示的 $ M $ を導出することは可能か？

主な発見

• 本稿では、$ M \geq 2d\lceil 2^n(n+1)n(d+1)\varepsilon^{-1}\rceil^n $ が、十分大きな $ r $ に対して、Lebesgue 測度が有限の集合を除き、切り上げ付き第二主定理の不等式が成立することを示した。
• 切り上げレベル $ M $ は、次数 $ d_j $ の最小公倍数 $ d $、次元 $ n $、誤差パラメータ $ \varepsilon $ の関数として明示的に境界づけられている。
• この境界は、適切に選ばれた同次多項式の基底のワロンスキー式の詳細な解析と、Corvaja と Zannier のフィルトレーション手法を用いて導出された。
• 推定結果から、$ M $ が $ \varepsilon^{-1} $ に対して多項式的に増加することが示され、固定された小さな $ \varepsilon $ に対して有効であることが保証される。
• この結果は、$ \mathbb{C} $ から $ \mathbb{P}^n(\mathbb{C}) $ への正則曲線に限らず、$ \mathbb{C}^m $ からのメルモルフィック写像および非アーキメデス的解析的曲線に対しても拡張可能である。
• 主要な不等式 $ (q - n - 1 - \varepsilon)T_f(r) \leq \sum d_j^{-1}N_f^M(r,D_j) $ は漸近的に成立することが証明され、$ o(T_f(r)) $ の誤差項が $ \varepsilon $-項に吸収されている。