Résumé technique : Théorie de Nevanlinna tropicale à plusieurs variables

1. Énoncé du problème

L'article traite d'une lacune importante à l'intersection de la géométrie tropicale et de la théorie de la distribution des valeurs. Alors que la théorie de Nevanlinna classique, qui étudie la distribution des valeurs des fonctions méromorphes, est bien établie en analyse complexe et a été étendue aux dimensions supérieures, son équivalent tropical est resté largement confiné aux contextes unidimensionnels. Les travaux précédents de Halburd et Southall, Laine et Tohge, ainsi que Korhonen et Tohge, ont établi avec succès la théorie de Nevanlinna tropicale pour les fonctions de classe $C^{pwl}$ (linéaires par morceaux continues) en une variable ($\mathbb{R}$) et pour les courbes holomorphes tropicales dans des espaces projectifs de dimension supérieure ($TP^m$). Cependant, une théorie complète pour les fonctions méromorphes tropicales à plusieurs variables ($\mathbb{R}^n$) faisait défaut.

Le défi principal réside dans la définition et la caractérisation des composantes fondamentales de la théorie de Nevanlinna — spécifiquement la fonction de proximité, la fonction de comptage et la fonction caractéristique — pour des fonctions de plusieurs variables où la structure algébrique sous-jacente est le semi-anneau max-plus ($T = \mathbb{R} \cup \{-\infty\}$). Les auteurs visent à combler cette lacune en développant une théorie de Nevanlinna tropicale de dimension supérieure qui soit parallèle au cas complexe classique tout en tenant compte des propriétés uniques de l'algèbre tropicale.

2. Méthodologie

Les auteurs emploient une approche systématique combinant l'algèbre tropicale, l'analyse convexe et la géométrie intégrale pour étendre les résultats unidimensionnels à $\mathbb{R}^n$.

• Cadre algébrique tropical : La théorie est construite sur le semi-anneau tropical $T$, équipé des opérations $x \oplus y = \max(x, y)$ et $x \otimes y = x + y$. Les fonctions méromorphes tropicales sont définies comme des rapports de polynômes (ou de séries infinies) tropicaux, résultant en des fonctions globalement continues et linéaires par morceaux avec des structures de complexes polyédriques.
• Dérivées directionnelles et classification : Pour gérer la non-différentiabilité en dimensions supérieures, les auteurs introduisent l'opérateur de dérivée directionnelle $\phi$-positive $\partial^+_\phi f(x)$. Ils définissent une quantité $Jf(x; \phi)$ pour classer les points comme points tropicaux lisses, pôles tropicaux ou racines tropicales selon le signe de cet opérateur. Les multiplicités sont définies via des intégrales sur la sphère unité $S^{n-1}(1)$.
• Représentations intégrales : Une innovation méthodologique clé est l'utilisation de fonctions delta de Dirac pour exprimer les fonctions de proximité et de comptage comme des intégrales sur $\mathbb{R}^n restreintes à des sphères de rayon$r$. Cela permet aux auteurs de tirer parti de la théorie unidimensionnelle le long de tranches radiales $f_\theta(t) = f(t\theta)$ et de moyenner les résultats sur la sphère.
• Conditions de croissance : L'analyse distingue les fonctions d'ordre fini, d'ordre zéro et de croissance subnormale (hypertype minimal), définie par $\limsup_{r\to\infty} \frac{\log T_f(r)}{r} = 0$. Cette condition est cruciale pour établir les lemmes de la dérivée logarithmique.
• Indépendance linéaire dans les semifields tropicaux : Les auteurs utilisent le sens de l'indépendance linéaire de Gondran-Minoux pour définir la non-dégénérescence algébrique pour les applications vers l'espace projectif tropical, en adaptant les concepts de déterminants de Casorati au contexte tropical.

3. Contributions clés et résultats

A. Fondements des fonctions méromorphes tropicales de dimension supérieure

L'article établit les définitions de base pour les fonctions méromorphes tropicales $f: \mathbb{R}^n \to T$.

• Définitions : Il définit rigoureusement les racines et les pôles tropicaux dans $\mathbb{R}^n$ et introduit la fonction de proximité $m(r, f)$, la fonction de comptage $N(r, f)$, et la fonction caractéristique $T(r, f)$.
• Premier Théorème Principal (FMT) : Les auteurs prouvent la formule de Jensen tropicale de dimension supérieure et le Premier Théorème Principal :
  $$T(r, 1_T \oslash (f \oplus a)) = T(r, f) + O(1)$$
  pour toute constante $a$ inférieure à l'infimum des pôles de la fonction. Cela établit la relation fondamentale entre la croissance d'une fonction et sa distribution de valeurs.

B. Lemmes de la dérivée logarithmique

Une composante critique de la théorie de Nevanlinna est l'estimation de la dérivée logarithmique. Le papier prouve deux versions pour plusieurs variables :

1. Opérateurs de différence : Pour les fonctions à croissance subnormale, la fonction de proximité du quotient de différence satisfait :
   $$m(r, f(x+c) \oslash f(x)) = o(T(r, f))$$
   en dehors d'un ensemble de mesure de densité supérieure nulle.
2. Opérateurs de différence $q$ : Pour les fonctions d'ordre zéro, le résultat est vrai pour $f(qx) \oslash f(x)$ sur un ensemble de densité logarithmique 1.
   Ces lemmes sont dérivés en utilisant une version de l'analogue réel d'un lemme de Biancofiore-Stoll et des propriétés de la fonction Dirac.

C. Second Théorème Principal (SMT) pour les hypersurfaces

Le résultat central de l'article est le Second Théorème Principal pour les applications holomorphes tropicales algébriquement non dégénérées $f: \mathbb{R}^n \to TP^m$ intersectant une collection d'hypersurfaces tropicales $\{V_{P_j}\}_{j=1}^q$.

• L'inégalité : Sous l'hypothèse de croissance subnormale, le théorème stipule :
  $$\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))$$
  où :
  • $M = \binom{m+d}{d} - 1$ (lié à la dimension de l'espace des polynômes homogènes de degré $d$).
  • $d = \text{ppcm}(d_1, \dots, d_q)$.
  • $\lambda = \text{ddg}(\{P_{M+2} \circ f, \dots, P_q \circ f\})$ mesure le degré de dégénérescence.
• Relation de défaut : Les auteurs dérivent une relation de défaut $\sum \delta_f(V_{P_j}) \le M + 1 + \lambda$, généralisant les résultats classiques au cadre tropical de dimension supérieure.
• Cas particuliers : Le papier récupère les résultats connus pour les hyperplans tropicaux ($d=1$) et fournit une formulation spécifique pour $TP^1$ (fonctions méromorphes tropicales).

D. Second Théorème Principal sans condition de croissance

Dans la dernière section, les auteurs présentent un Second Théorème Principal sans condition de croissance pour les applications intersectant une hypersurface tropicale complète (où tous les coefficients sont des nombres réels finis).

• Résultat : Pour un polynôme complet $P$, la fonction caractéristique est exactement liée à la fonction de comptage de la préimage :
  $$T_f(r) = \frac{1}{d} N\left(r, 1_T \oslash (P \circ f)\right) + O(1)$$
  Cela implique que le défaut $\delta_f(V_P) = 0$ pour de telles hypersurfaces, généralisant les résultats de Halonen, Korhonen et Filipuk à plusieurs variables.

4. Signification et affirmations

L'article affirme être le premier à établir une théorie de Nevanlinna tropicale complète à plusieurs variables. Sa signification est structurée comme suit :

• Extension de la théorie existante : Il étend les travaux fondateurs de Laine-Tohge, Korhonen-Tohge et Cao-Zheng de l'unité vers $\mathbb{R}^n$.
• Avancement méthodologique : Il introduit de nouvelles techniques, particulièrement l'utilisation des fonctions de Dirac pour définir et manipuler les fonctions de Nevanlinna en dimensions supérieures, et l'adaptation de l'indépendance de Gondran-Minoux à la dépendance algébrique tropicale.
• Complétude théorique : En établissant les premiers et seconds théorèmes principaux, les lemmes de la dérivée logarithmique et les relations de défaut, le papier fournit le cadre nécessaire aux investigations futures sur la distribution des valeurs en géométrie tropicale, de manière analogue au rôle que joue la théorie de Nevanlinna classique en géométrie complexe et en approximation diophantienne.

Les auteurs maintiennent un ton modeste, notant que bien qu'ils aient établi les inégalités et définitions fondamentales, le domaine est émergent, et que leur travail sert de fondation pour une exploration ultérieure de la distribution de valeurs tropicale en dimensions supérieures.