2025-11-25T11:25:17.864636

The Second Main Theorem with moving hypersurfaces in subgeneral position

Cai, Yang

In this paper, we prove a second main theorem for a holomorphic curve $f$ into $\mathbb P^N (\mathbb C)$ with a family of slowly moving hypersurfaces $D_1,...,D_q$ with respect to $f$ in $m$-subgeneral position, proving an inequality with factor $3 \over 2$. The motivation comes from the recent result of Heier and Levin.

academic

部分一般位置にある移動超曲面を伴う第二主定理

基本情報

論文ID: 2501.00833
タイトル: The Second Main Theorem with moving hypersurfaces in subgeneral position
著者: Qili Cai, Chin Jui Yang (ヒューストン大学)
分類: math.CV (複素変数論)
発表日: 2025年1月1日
論文リンク: https://arxiv.org/abs/2501.00833

要約

本論文は、正則曲線 $f: \mathbb{C} \to \mathbb{P}^N(\mathbb{C})$ に関する第二主定理を証明する。ここで、 $f$ に関する緩増加移動超曲面族 $D_1, \ldots, D_q$ が $m$ -部分一般位置にあり、係数 $\frac{3}{2}$ を伴う不等式を証明している。研究の動機はHeierとLevinの最近の結果に由来する。

研究背景と動機

問題の背景

歴史的起源: 1929年、R. Nevanlinnaは亜正則関数の値分布論を研究する際に予想を提出した：固定点を緩増加する亜正則関数に置き換えた場合、第二主定理が依然として成立するという予想である。
発展の経過:
- Osgood、Steinmetz、Yamanoi は切断1を用いてこの予想を解決した
- 1991年、RuとStollは線形非退化正則曲線と部分一般位置にある移動超平面に関する第二主定理を確立した
中心的問題: 正則曲線と移動目標の交集性質、特に部分一般位置条件下の第二主定理を研究すること。

研究の重要性

古典的Nevanlinna理論を移動目標の場合に拡張する
複素幾何とディオファントス近似論に重要な道具を提供する
値分布論と代数幾何を結びつける

中心的貢献

主定理: $m$ -部分一般位置にある緩増加移動超曲面族の第二主定理を証明し、係数 $\frac{3}{2}$ の改善結果を得た
一般化フレームワーク: より一般的な理論フレームワークを確立し、代数的非退化の場合に適用可能で、「通用域」概念を導入した
技術的革新: Heier-Levin法を採用し、Vojta のNochka重み付けグラフ技術と組み合わせた
理論の完成: 古典的固定超曲面理論を移動超曲面の場合に一般化した

方法の詳細

基本定義と記号

緩増加関数: 亜正則関数 $g$ が $f$ に関して緩増加であるとは、 $T_g(r) = o(T_f(r))$ であることをいう。

移動超曲面: 次数 $d$ の移動超曲面 $D$ は斉次多項式 $Q = \sum_{I \in I_d} a_I x^I$ で定義され、ここで $a_I$ は共通零点を持たない正則関数である。

$m$ -部分一般位置: 移動超曲面 $D_1, \ldots, D_q$ が $m$ -部分一般位置にあるとは、ある $z \in \mathbb{C}$ が存在して、 $D_1(z), \ldots, D_q(z)$ の任意の $m+1$ 個が一点で交わらないことをいう。

主定理

定理1.4 (主定理): $f: \mathbb{C} \to \mathbb{P}^N(\mathbb{C})$ を正則写像、 $D_1, \ldots, D_q$ を $f$ に関する緩増加移動超曲面族とし、次数をそれぞれ $d_1, \ldots, d_q$ とする。 $f$ が $K_f$ 上で代数的に非退化であり、 $D_1, \ldots, D_q$ が $m$ -部分一般位置にあると仮定する。このとき、任意の $\varepsilon > 0$ に対して：

$\sum_{j=1}^q \frac{1}{d_j} m_f(r, D_j) \leq_{\text{exc}} \frac{3}{2}(2m - N + 1 + \varepsilon)T_f(r)$

通用域法

通用域: $k = K_f$ とし、 $k$ の通用域 $\Omega_k$ を $k$ の体拡大で、代数閉かつ $k$ 上で無限超越次数を持つものとする。

代数多様体: $V_f := \cap\{P = 0 | P \in K_f[x_0, \ldots, x_N], P(f) \equiv 0\} \subseteq \mathbb{P}^N(\Omega)$ と定義する

一般化定理1.6: より一般的な設定の下で、以下を証明した： $\sum_{j=1}^q \frac{1}{d_j} m_f(r, D_j) \leq_{\text{exc}} \frac{3}{2}(2m - n + 1 + \varepsilon)T_f(r)$

ここで $n = \dim V_f$ である。

技術的革新点

分布定数法

分布定数 $\Delta$ を導入する： $\Delta := \max_{\Gamma \subset \{1,\ldots,q\}} \frac{\#\Gamma}{\text{codim}_{V_f}(\cap_{j \in \Gamma} D_j)}$

Vojta重み付けグラフ技術

Vojta のNochka重み付けグラフ分析を利用し、幾何学的方法により最適定数を決定する。重要な観察は、点 $P = (\alpha(W_0), \text{codim}_{V_f} W_0)$ が2本の直線の交点 $Q = (\frac{2m-n+1}{2}, \frac{n+1}{2})$ の左下に位置することである。