🔢 mathematics

Tropical Nevanlinna theory of several variables

This paper establishes a higher-dimensional tropical Nevanlinna theory by developing fundamental tools for tropical meromorphic functions and proving a Second Main Theorem for algebraically nondegenerate tropical holomorphic maps from $\mathbb{R}^n$ to tropical projective space intersecting tropical hypersurfaces.

Original authors: Tingbin Cao, Jiahu Peng

Published 2026-07-20

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Tingbin Cao, Jiahu Peng

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the world of mathematics as a vast, bustling city. For over a century, one of its most famous districts has been Complex Analysis, a neighborhood where mathematicians study "meromorphic functions." Think of these functions as magical, shape-shifting maps that stretch and twist across the complex plane. A century ago, a mathematician named Rolf Nevanlinna built a lighthouse here, creating a theory to count how often these maps visit specific locations (like "zero" or "one") and how fast they grow as they travel further out. This "Nevanlinna Theory" is a powerful tool for understanding the hidden patterns of numbers and shapes, with applications ranging from pure geometry to cryptography.

But what if we changed the rules of the road? What if, instead of smooth curves and continuous flows, our maps were made of sharp, straight lines and sudden jumps? This is the world of Tropical Geometry. In this quirky, alternative universe, the usual rules of addition and multiplication are swapped for "maximum" and "addition." It's like a city where the only way to combine two numbers is to pick the bigger one, and to multiply them, you just add them up. While this sounds like a game, it turns out to be a surprisingly powerful lens for solving problems in algebra and combinatorics. The big question for a long time was: Can we build Nevanlinna's famous lighthouse in this sharp, angular Tropical city? Can we count the "visits" and measure the "growth" of these jagged maps just as we do with the smooth ones?

This paper, written by Tingbin Cao and Jiahu Peng, says "Yes, and here is the blueprint." The authors have successfully extended Nevanlinna's theory from the smooth, one-dimensional world into the Tropical world of several variables. They didn't just copy the old rules; they had to invent new tools to handle the fact that tropical functions are made of flat, polyhedral pieces rather than smooth curves.

Here is what they discovered:

First, they built the foundation by defining what a "tropical meromorphic function" looks like in multiple dimensions (think of a 3D landscape made of flat, tilted roofs rather than a smooth hill). They introduced the essential measuring sticks: the proximity function (how close the map gets to a target), the counting function (how many times it hits a target), and the characteristic function (the overall speed of growth). They proved a "First Main Theorem," which is like a conservation law, showing that the growth of the map is perfectly balanced by how often it hits specific points.

Then, they tackled the harder stuff: the Second Main Theorem. In the original theory, this theorem sets a strict limit on how many different places a function can visit frequently. Cao and Peng proved that this limit holds true even in the tropical, multi-dimensional world. They showed that if a tropical map is "non-degenerate" (meaning it doesn't get stuck in a tiny, boring corner of the space) and doesn't grow too wildly, there is a mathematical ceiling on how many distinct "tropical hypersurfaces" (think of these as high-dimensional walls or barriers) it can intersect frequently.

The paper also introduces a clever way to measure "degeneracy" using something called the Gondran-Minoux sense, which checks if the map's components are truly independent or if they are just repeating the same pattern in disguise. They found that if the map is truly independent, the "Second Main Theorem" inequality holds tight, with a specific error term that becomes negligible as the map travels further out.

Perhaps most excitingly, they showed that if the tropical map intersects a "complete" set of barriers (where every possible coefficient is a real number), the relationship becomes even simpler: the growth of the map is almost exactly equal to the count of its intersections with these barriers. This recovers and generalizes previous results found in simpler, one-dimensional cases.

In short, Cao and Peng have taken a theory designed for smooth, flowing curves and successfully rebuilt it for a world of sharp angles and flat planes, proving that the deep, rhythmic laws of value distribution apply even in this strange, max-plus universe. They didn't just guess; they provided rigorous proofs, establishing a new, higher-dimensional framework that connects the smooth world of classical analysis with the combinatorial world of tropical geometry.

Technical Summary: Tropical Nevanlinna Theory of Several Variables

1. Problem Statement

The paper addresses a significant gap in the intersection of tropical geometry and value distribution theory. While classical Nevanlinna theory, which studies the value distribution of meromorphic functions, has been well-established in complex analysis and extended to higher dimensions, its tropical counterpart has remained largely confined to one-dimensional settings. Previous works by Halburd and Southall, Laine and Tohge, and Korhonen and Tohge successfully established tropical Nevanlinna theory for continuous piecewise linear functions in one variable ( $R$ ) and for tropical holomorphic curves in higher-dimensional projective spaces ( $TP^m$ ). However, a comprehensive theory for tropical meromorphic functions in several variables ( $R^n$ ) was absent.

The primary challenge lies in defining and characterizing the fundamental components of Nevanlinna theory—specifically the proximity function, counting function, and characteristic function—for functions of several variables where the underlying algebraic structure is the max-plus semiring ( $T = R \cup \{-\infty\}$ ). The authors aim to bridge this gap by developing a higher-dimensional tropical Nevanlinna theory that parallels the classical complex case while accommodating the unique properties of tropical algebra.

2. Methodology

The authors employ a systematic approach combining tropical algebra, convex analysis, and integral geometry to extend one-dimensional results to $R^n$ .

Tropical Algebraic Framework: The theory is built upon the tropical semiring $T$ , equipped with operations $x \oplus y = \max(x, y)$ and $x \otimes y = x + y$ . Tropical meromorphic functions are defined as ratios of tropical polynomials (or infinite series), resulting in globally continuous, piecewise linear functions with polyhedral complex structures.
Directional Derivatives and Classification: To handle non-differentiability in higher dimensions, the authors introduce the $\phi$ -positive directional derivative operator $\partial^+_\phi f(x)$ . They define a quantity $Jf(x; \phi)$ to classify points as tropical smooth points, tropical poles, or tropical roots based on the sign of this operator. Multiplicities are defined via integrals over the unit sphere $S^{n-1}(1)$ .
Integral Representations: A key methodological innovation is the use of Dirac delta functions to express proximity and counting functions as integrals over $R^n$ restricted to spheres of radius $r$ . This allows the authors to leverage the one-dimensional theory along radial slices $f_\theta(t) = f(t\theta)$ and average the results over the sphere.
Growth Conditions: The analysis distinguishes between functions of finite order, zero order, and subnormal growth (minimal hypertype), defined by $\limsup_{r\to\infty} \frac{\log T_f(r)}{r} = 0$ . This condition is crucial for establishing logarithmic derivative lemmas.
Linear Independence in Tropical Semifields: The authors utilize the Gondran-Minoux sense of linear independence to define algebraic non-degeneracy for maps into tropical projective space, adapting concepts of Casorati determinants to the tropical setting.

3. Key Contributions and Results

A. Foundations of Higher-Dimensional Tropical Meromorphic Functions

The paper establishes the basic definitions for tropical meromorphic functions $f: R^n \to T$ .

Definitions: It rigorously defines tropical roots and poles in $R^n$ and introduces the proximity function $m(r, f)$ , the counting function $N(r, f)$ , and the characteristic function $T(r, f)$ .
First Main Theorem (FMT): The authors prove the higher-dimensional tropical Jensen formula and the First Main Theorem:
$T(r, 1_T \oslash (f \oplus a)) = T(r, f) + O(1)$
for any constant $a$ below the infimum of the function's poles. This establishes the fundamental relationship between the growth of a function and its value distribution.

B. Logarithmic Derivative Lemmas

A critical component of Nevanlinna theory is the estimation of the logarithmic derivative. The paper proves two versions for several variables:

Difference Operators: For functions with subnormal growth, the proximity function of the difference quotient satisfies:
$m(r, f(x+c) \oslash f(x)) = o(T(r, f))$
outside a set of zero upper density measure.
$q$ -Difference Operators: For functions of zero order, the result holds for $f(qx) \oslash f(x)$ on a set of logarithmic density 1.
These lemmas are derived using a real-analogous version of a Biancofiore-Stoll lemma and properties of the Dirac function.

C. Second Main Theorem (SMT) for Hypersurfaces

The central result of the paper is the Second Main Theorem for algebraically non-degenerate tropical holomorphic maps $f: R^n \to TP^m$ intersecting a collection of tropical hypersurfaces $\{V_{P_j}\}_{j=1}^q$ .

The Inequality: Under the assumption of subnormal growth, the theorem states:
$\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))$
where:
- $M = \binom{m+d}{d} - 1$ (related to the dimension of the space of homogeneous polynomials of degree $d$ ).
- $d = \text{lcm}(d_1, \dots, d_q)$ .
- $\lambda = \text{ddg}(\{P_{M+2} \circ f, \dots, P_q \circ f\})$ measures the degree of degeneracy.
Defect Relation: The authors derive a defect relation $\sum \delta_f(V_{P_j}) \le M + 1 + \lambda$ , generalizing classical results to the tropical higher-dimensional setting.
Special Cases: The paper recovers known results for tropical hyperplanes ( $d=1$ ) and provides a specific formulation for $TP^1$ (tropical meromorphic functions).

D. Second Main Theorem Without Growth Condition

In the final section, the authors present a growth-free Second Main Theorem for maps intersecting a complete tropical hypersurface (where all coefficients are finite real numbers).

Result: For a complete polynomial $P$ , the characteristic function is exactly related to the counting function of the preimage:
$T_f(r) = \frac{1}{d} N\left(r, 1_T \oslash (P \circ f)\right) + O(1)$
This implies the defect $\delta_f(V_P) = 0$ for such hypersurfaces, generalizing results by Halonen, Korhonen, and Filipuk to several variables.

4. Significance and Claims

The paper claims to be the first to establish a comprehensive tropical Nevanlinna theory in several variables. Its significance is framed as follows:

Extension of Existing Theory: It extends the foundational work of Laine-Tohge, Korhonen-Tohge, and Cao-Zheng from one variable to $R^n$ .
Methodological Advancement: It introduces new techniques, particularly the use of Dirac functions to define and manipulate Nevanlinna functions in higher dimensions, and the adaptation of the Gondran-Minoux linear independence to tropical algebraic dependence.
Theoretical Completeness: By establishing the First and Second Main Theorems, logarithmic derivative lemmas, and defect relations, the paper provides the necessary framework for future investigations into value distribution in tropical geometry, analogous to the role classical Nevanlinna theory plays in complex geometry and Diophantine approximation.

The authors maintain a modest tone, noting that while they have established the fundamental inequalities and definitions, the field is emerging, and their work serves as a foundation for further exploration of tropical value distribution in higher dimensions.