技術要約：多変数トロピカル・ネヴァンリンナ理論

1. 問題提起

本論文は、トロピカル幾何学と値分布論の交差点における重要な空白に対処している。古典的なネヴァンリンナ理論は、複素解析における有理関数（正則関数）の値分布を研究するものであり、高次元への拡張も確立されているが、そのトロピカル版はこれまで主に一変数の設定に限定されていた。HalburdとSouthall、LaineとTohge、あるいはKorhonenとTohgeによる先行研究は、一変数（$\mathbb{R}$）における連続な区分線形関数、および高次元射影空間（$TP^m$）におけるトロピカル正則曲線に関するトロピカル・ネヴァンリンナ理論を成功裏に確立してきた。しかし、多変数（$\mathbb{R}^n$）におけるトロピカル・有理関数のための包括的な理論は存在していなかった。

主な課題は、基礎となる代数構造が最大加算半環（$T = \mathbb{R} \cup \{-\infty\}$）である多変数の関数に対して、ネヴァンリンナ理論の基本構成要素（具体的には近接関数、計数関数、および特性関数）をどのように定義し、特徴付けるかにある。著者らは、トロピカル代数の特有の性質を考慮しつつ、古典的な複素解析の場合と並行するような、高次元のトロピカル・ネヴァンリンナ理論を構築することで、この空白を埋めることを目的としている。

2. 手法

著者らは、トロピカル代数、凸解析、および積分幾何学を組み合わせた体系的なアプローチを用いて、一変数の結果を $\mathbb{R}^n$ へと拡張している。

• トロピカル代数的枠組み: 理論は、演算 $x \oplus y = \max(x, y)$ および $x \otimes y = x + y$ を備えたトロピカル半環 $T$ に基づいている。トロピカル・有理関数は、トロピカル多項式（または無限級数）の比として定義され、その結果、大域的に連続な、多面体複体構造を持つ区分線形関数となる。
• 方向微分と分類: 高次元における非微分性を扱うため、著者らは $\phi$-正の方向微分演算子 $\partial^+_\phi f(x)$ を導入している。彼らは、この演算子の符号に基づいて、点をトロピカル滑らかな点、トロピカル極、またはトロピカル根として分類するための量 $Jf(x; \phi)$ を定義している。重複度は単位球面 $S^{n-1}(1)$ 上の積分を通じて定義される。
• 積分表現: 近接関数と計数関数を、半径 $r$ の球体に制限された $\mathbb{R}^n$ 上の積分として表すために、ディラックのデルタ関数を用いることが主要な手法上の革新である。これにより、著者らは径方向のスライス $f_\theta(t) = f(t\theta)$ に沿った一変数の理論を利用し、その結果を球面上で平均化することが可能となる。
• 成長条件: 解析では、有限次数の関数、零次の関数、および劣正規成長（最小ハイパータイプ）によって定義される条件 $\limsup_{r\to\infty} \frac{\log T_f(r)}{r} = 0$ を区別している。この条件は、対数微分補題を確立するために極めて重要である。
• トロピカル半体における線形独立性: 著者らは、トロピカル射影空間への写像に対する代数的非退化性を定義するために、Gondran-Minouxの意味での線形独立性を利用し、カソラティ行列式の概念をトロピカルの設定に適応させている。

3. 主要な貢献と結果

A. 高次元トロピカル・有理関数の基礎

本論文は、トロピカル・有理関数 $f: \mathbb{R}^n \to T$ の基本定義を確立している。

• 定義: $\mathbb{R}^n$ におけるトロピカル根と極を厳密に定義し、近接関数 $m(r, f)$、計数関数 $N(r, f)$、および特性関数 $T(r, f)$ を導入している。
• 第一主定理 (FMT): 著者らは、高次元のトロピカル・イェンセン公式および第一主定理を証明している：
  $$T(r, 1_T \oslash (f \oplus a)) = T(r, f) + O(1)$$
  ここで、$a$ は関数の極の下限よりも小さい任意の定数である。これは、関数の成長と値分布の間の基本的な関係を確立するものである。

B. 対数微分補題

ネヴァンリンナ理論の重要な構成要素は、対数微分の推定である。本論文では、多変数のための2つのバージョンを証明している：

1. 差分演算子: 劣正規成長を持つ関数に対して、差分商の近接関数は以下のようになる：
   $$m(r, f(x+c) \oslash f(x)) = o(T(r, f))$$
   これは、上極密度がゼロの集合の外側で成立する。
2. $q$-差分演算子: 零次の関数に対して、結果は $f(qx) \oslash f(x)$ について対数密度1の集合上で成立する。
   これらの補題は、Biancofiore-Stollのレマの、実数版の利用とディラック関数の性質を用いて導出されている。

C. 超曲面に対する第二主定理 (SMT)

本論文の中心的な結果は、トロピカル超曲面 $\{V_{P_j}\}_{j=1}^q$ と交わる、代数的に非退化なトロピカル正則写像 $f: \mathbb{R}^n \to TP^m$ に対する第二主定理である。

• 不等式: 劣正規成長の仮定の下で、定理は以下を述べている：
  $$\left(q - M - 1 - \lambda\right)T_f(r) \le \sum_{j=M+2}^q \frac{1}{d_j} N\left(r, 1_T \oslash (P_j \circ f)\right) + o(T_f(r))$$
  ここで、
  • $M = \binom{m+d}{d} - 1$ （次数 $d$ の斉次多項式の空間の次元に関連する）。
  • $d = \text{lcm}(d_1, \dots, d_q)$。
  • $\lambda = \text{ddg}(\{P_{M+2} \circ f, \dots, P_q \circ f\})$ は退化の度合いを測定する。
• 欠損関係: 著者らは、古典的な結果をトロピカル高次元設定へと一般化し、欠損関係 $\sum \delta_f(V_{P_j}) \le M + 1 + \lambda$ を導出している。
• 特殊なケース: 本論文は既知のトロピカル超平面（$d=1$）の結果を回収し、$TP^1$（トロピカル・有理関数）に対する特定の定式化を提供している。

D. 成長条件なしの第二主定理

最後の節では、完全なトロピカル超曲面（すべての係数が有限の実数であるもの）と交わる写像に対する、成長条件なしの第二主定理を提示している。

• 結果: 完全な多項式 $P$ に対して、特性関数は前像の計数関数と正確に次のように関連する：
  $$T_f(r) = \frac{1}{d} N\left(r, 1_T \oslash (P \circ f)\right) + O(1)$$
  これは、欠損 $\delta_f(V_P) = 0$ であることを意味し、Halonen, Korhonen, および Filipuk による結果を多変数へと一般化したものである。

4. 意義と主張

本論文は、多変数の包括的なトロピカル・ネヴァンリンナ理論を確立した最初の研究であると主張している。その意義は以下のように構成されている：

• 既存理論の拡張: Laine-Tohge, Korhonen-Tohge, および Cao-Zheng による基礎的研究を、一変数から $\mathbb{R}^n$ へと拡張している。
• 手法的な進展: 特に、高次元におけるネヴァンリンナ関数を定義し操作するためにディラック関数を用いる手法や、Gondran-Minouxの線形独立性をトロピカル代数的依存性に適応させる手法を導入している。
• 理論的完全性: 第一主定理、第二主定理、対数微分補達、および欠損関係を確立することにより、本論文は、古典的なネヴァンリンナ理論が複素幾何学やディオファントス近似において果たしている役割と同様に、トロピカル幾何学における値分布の研究のための将来的な調査に向けた必要な枠組みを提供している。

著者らは、基礎的な不等式と定義を確立したものの、この分野は発展途上であり、彼らの研究は高次元におけるトロピカル値分布のさらなる探求のための基礎となるものであるとして、控えめなトーンを維持している。