On $u$-Multiple Zeta Values in Positive Characteristic

1. Problématique et Contexte

Ce travail se situe à l'intersection de la théorie des nombres, de l'arithmétique des corps de fonctions et de la théorie des valeurs zêta multiples (MZV).

• Contexte classique : En caractéristique zéro, la théorie des analogues $q$ (déformations de formules classiques où $q \to 1$) a permis de relier les séries harmoniques multiples finies aux valeurs zêta multiples finies et symétriques. Les travaux de Bachmann, Takeyama et Tasaka [BTT18] ont établi que les "limites" de séries harmoniques multiples $q$ évaluées aux racines de l'unité fournissent des liens entre les MZV classiques, les MZV finis et les MZV symétriques, offrant ainsi des preuves en faveur de la conjecture de Kaneko-Zagier.
• Contexte en caractéristique positive : Dans le cadre des corps de fonctions (arithmétique de Carlitz), les analogues des entiers et des factorielles sont remplacés par des polynômes sur $\mathbb{F}_r[\theta]$. Les valeurs zêta multiples de Thakur ($\zeta_A(s)$) sont les objets centraux. Cependant, une théorie unifiée reliant les versions "finies" (sur l'anneau des adèles restreints) et les versions "analytiques" via un paramètre de déformation analogue à $q$ manquait.
• Objectif du papier : Introduire un nouvel analogue fonctionnel, le paramètre $u$, basé sur le module de Carlitz, pour définir des séries harmoniques multiples $u$ et des valeurs zêta multiples $u$. L'objectif est de démontrer que ces objets servent de pont entre les valeurs zêta de Thakur (limite analytique) et les valeurs zêta multiples finies sur le corps de fonctions (limite algébrique), généralisant ainsi les résultats de [BTT18] au contexte de la caractéristique positive.

2. Méthodologie

L'auteur développe une approche structurée en plusieurs étapes :

1. Définition de l'objet de base (le crochet $u$) :

   • Introduction du crochet $u$ défini par $[a]_u := C_a(u)/u$, où $C_a$ est l'action du module de Carlitz et $u$ est une variable formelle (ou un élément de $\mathbb{C}_\infty$).
   • Définition de la factorielle $u$-Carlitz $\Gamma_{u, n+1}$, qui généralise la factorielle de Carlitz classique. L'auteur établit une formule analogue à celle de Legendre pour cette factorielle, impliquant les polynômes cyclotomiques de Carlitz.

2. Construction des séries et des valeurs :

   • Définition des sommes de puissances $u$ ($H_d(s; u)$) et des séries harmoniques multiples $u$ finies ($H_{<d}(s; u)$) en remplaçant les termes classiques $1/a^s$ par $1/[a]_u^s$.
   • Définition des valeurs zêta multiples $u$ ($\zeta_u(s)$) comme la limite de ces séries lorsque le degré $d$ tend vers l'infini.

3. Analyse des limites :

   • Limite analytique : Étude du comportement de $H_{<d}(s; \lambda_n)$ lorsque $n \to \infty$, où $\lambda_n$ est un point de torsion de Carlitz. L'auteur utilise des estimations précises sur la valuation $p$-adique (ou $\infty$-adique) des termes du module de Carlitz pour montrer la convergence vers les valeurs de Thakur $\zeta_A(s)$.
   • Limite algébrique : Étude de la réduction modulo les idéaux premiers de l'anneau des polynômes. L'auteur montre que la réduction de $H_{<d}(s; \lambda_v)$ modulo $\lambda_v$ (où $v$ est un polynôme irréductible) correspond aux valeurs zêta multiples finies $\zeta_{A_K}(s)$.

4. Relations algébriques et dérivations :

   • Utilisation de la structure d'algèbre de Hopf et des relations de $r$-mélange (r-shuffle relations) pour établir des identités algébriques.
   • Développement des valeurs $\zeta_u(s)$ en séries formelles en $u$.
   • Introduction d'une famille d'opérateurs $(D_N)_{N \ge 0}$ agissant comme des dérivations de Hasse-Schmidt sur l'algèbre des valeurs zêta de Thakur, générées par les coefficients de l'expansion formelle.

3. Résultats Clés et Contributions

Le papier apporte plusieurs résultats fondamentaux :

• Théorèmes de Limites (Théorèmes 1.6 et 1.7) :

  • Analytique : La limite de la série harmonique $u$ finie évaluée aux points de torsion de Carlitz $\lambda_n$ (quand $\deg(n) \to \infty$) est exactement la valeur zêta multiple de Thakur :
    $$\lim_{\deg(n) \to \infty} H_{<\deg(n)}(s; \lambda_n) = \zeta_A(s)$$
  • Algébrique : La réduction modulo $\lambda_v$ de la même série (pour un polynôme irréductible $v$) donne la valeur zêta multiple finie sur le corps de fonctions :
    $$\zeta_{A_K}(s) = \left( H_{<\deg(v)}(s; \lambda_v) \mod \lambda_v \right)_v$$
    Ces résultats constituent l'analogue en caractéristique positive des théorèmes 1.2 et 1.3 de [BTT18].

• Formule d'Euler-Carlitz Finie (Théorème 3.15) :
  L'auteur établit une formule reliant les séries harmoniques finies aux nombres de Bernoulli-Carlitz dégénérés, généralisant la formule classique d'Euler pour les valeurs zêta aux entiers pairs.

• Expansion Formelle et Coefficients (Théorème 1.8) :
  Les valeurs $\zeta_u(s)$ sont développées comme des séries formelles en $u$ :
  $$\zeta_u(s) = \sum_{N=0}^\infty \gamma_N(s) u^{N(r-1)}$$
  Les coefficients $\gamma_N(s)$ sont démontrés être des combinaisons linéaires à coefficients dans $K$ de valeurs zêta de Thakur, y compris celles à indices non positifs. Cela fournit une méthode explicite pour exprimer des valeurs "étranges" (indices négatifs) en fonction des valeurs classiques.

• Dérivations de Hasse-Schmidt (Théorème 1.9) :
  L'auteur définit une famille d'opérateurs $D_N$ sur l'algèbre des mots (générée par les indices) qui satisfont la règle de Leibniz généralisée :
  $$D_N(x_r * x_s) = \sum_{k=0}^N D_k(x_r) D_{N-k}(x_s)$$
  où $*$ est le produit de $r$-mélange. Cela permet de générer systématiquement des relations algébriques entre les valeurs zêta de Thakur à indices positifs et non positifs.

• Propriétés Analytiques :
  Les valeurs $\zeta_u(s)$ sont interprétées comme des fonctions rigides analytiques sur le demi-plan supérieur de Drinfeld $\Omega$, admettant un développement en série $t$ (où $t = 1/\exp_C(\tilde{\pi}z)$) à coefficients dans l'anneau des polynômes $A$.

4. Signification et Impact

• Unification des théories : Ce travail réussit à unifier les perspectives analytique et algébrique des valeurs zêta multiples en caractéristique positive, en introduisant un paramètre de déformation $u$ qui joue un rôle analogue au paramètre $q$ en théorie classique.
• Preuve de la conjecture de Kaneko-Zagier (partielle) : En montrant que les mêmes objets (séries $u$) convergent vers les MZV finis et les MZV analytiques, l'auteur fournit des preuves structurelles fortes pour l'existence d'un isomorphisme entre les algèbres de ces valeurs, soutenant l'analogue de la conjecture de Kaneko-Zagier dans ce contexte.
• Nouvelles relations algébriques : La méthode des dérivations de Hasse-Schmidt offre un outil puissant pour découvrir de nouvelles relations linéaires entre les valeurs zêta multiples de Thakur, en particulier celles impliquant des indices non positifs, qui étaient auparavant difficiles à traiter.
• Perspectives futures : L'auteur suggère que ces méthodes pourraient être étendues aux modules de Drinfeld généraux et aux valeurs zêta multiples $v$-adiques ou adéliques, ouvrant de nouvelles voies de recherche en arithmétique des corps de fonctions.

En résumé, ce papier établit un cadre robuste pour l'étude des valeurs zêta multiples en caractéristique positive via le paramètre $u$, reliant profondément l'analyse complexe, l'algèbre et la théorie des nombres, et généralisant des résultats majeurs de la théorie $q$ classique.