Geometric families of multiple elliptic Gamma functions and arithmetic applications, I

Résumé Technique : Familles Géométriques de Fonctions Gamma Elliptiques Multiples et Applications Arithmétiques, I

Énoncé du Problème
Cet article traite des applications arithmétiques des fonctions gamma elliptiques multiples, visant spécifiquement à construire un cadre pour résoudre le 12ème problème de Hilbert pour les corps de nombres généraux possédant exactement une place complexe. Alors que le cas des réseaux de rang 3 ($n=3$) a été exploré par Bergeron, Charollois et García [BCG23] en utilisant les fonctions gamma elliptiques, ce travail cherche à généraliser ces constructions aux rangs supérieurs ($n \ge 3$). Le défi central consiste à définir des familles géométriques de ces fonctions sur des réseaux de rang arbitraire et à établir leurs propriétés de transformation sous l'action du groupe linéaire spécial $SL_n(\mathbb{Z})$. Un objectif secondaire est d'utiliser le « défaut de modularité » associé — une collection de fonctions rationnelles de Bernoulli — pour calculer les valeurs de fonctions zêta partielles en $s=0$ pour les corps de nombres totalement réels.

Méthodologie
L'article emploie un mélange de théorie analytique des nombres, de géométrie algébrique et de la théorie des cônes polyédriques.

1. Construction Géométrique des Fonctions $G_{r}$ :
   Les auteurs améliorent la construction des familles géométriques de fonctions gamma elliptiques (initialement définies pour les réseaux de rang 3 par Felder, Henriques, Rossi et Zhu [FHRZ08]) pour des degrés plus élevés. Ils définissent des familles géométriques $G_{n-2, a_1, \dots, a_{n-1}}$ attachées à des familles de $n-1$ formes linéaires primitives linéairement indépendantes sur un réseau de rang $n$. Ces fonctions sont construites en utilisant les fonctions gamma elliptiques multiples $G_r$ de Nishizawa comme blocs de construction, adaptés au cadre géométrique de l'action de $SL_n(\mathbb{Z})$ sur le réseau.

2. Relations de Cocycle et Théorie des Cônes :
   Les propriétés de transformation de ces fonctions géométriques sont liées à une collection de fonctions rationnelles de Bernoulli, notée $B_{n, a_1, \dots, a_n}$. Les auteurs prouvent que ces fonctions satisfont des propriétés de modularité et d'équivariance spécifiques. Pour établir les relations de cocycle additif pour $B_{n, \dots}$, l'article utilise la théorie des fonctions indicatrices de cônes polyédriques fermés. En définissant un appariement de Solomon-Hu entre l'espace des fonctions indicatrices de cônes et les fonctions rationnelles, les auteurs relient les fonctions de Bernoulli géométriques à l'extraction de coefficients de séries génératrices associées aux cônes.

3. Preuves Inductives sur les Configurations de Cônes :
   Une partie importante du travail technique consiste à prouver une relation de cocycle pour les fonctions indicatrices de cônes fermés (Théorème 2). Cela est réalisé par une double induction sur la dimension de l'espace vectoriel et sur le nombre de coefficients négatifs dans les relations linéaires parmi les formes linéaires définissantes. Les auteurs distinguent soigneusement les configurations « bonnes » (où la relation de cocycle s'annule) et les configurations en « mauvaise position » (BP), où la relation peut ne pas être vérifiée ou nécessite un traitement spécifique.

4. Application aux Fonctions Zêta :
   L'article applique ces résultats à la méthode de Shintani pour le calcul des fonctions zêta partielles. En décomposant les domaines fondamentaux pour l'action des unités totalement positives en unions signées de cônes polyédriques rationnels, les auteurs expriment les valeurs des fonctions zêta partielles en $s=0$ comme des combinaisons linéaires des fonctions de Bernoulli géométriques.

Contributions Clés et Résultats

• Théorème 1 (Propriétés de Modularité et d'Équivariance) : L'article établit que les familles géométriques $G_{n-2, a_1, \dots, a_{n-1}}$ satisfont une propriété modulaire impliquant un produit de fonctions égal à l'exponentielle d'une fonction rationnelle de Bernoulli $B_{n, a_1, \dots, a_n}$. De plus, les fonctions $G$ et les fonctions $B$ sont équivariantes sous l'action de $SL_n(\mathbb{Z})$. Cela généralise les relations connues pour la fonction $\theta$ ($n=2$) et la fonction gamma elliptique ($n=3$).
• Théorème 2 (Relation de Cocycle pour les Cônes) : Les auteurs prouvent un résultat technique concernant les fonctions indicatrices de cônes polyédriques fermés. Ils montrent que pour des formes linéaires en position générale (excluant la « mauvaise position »), une somme alternée spécifique de fonctions indicatrices de cônes est congruente à zéro modulo le sous-espace engendré par les cônes contenant des droites. Ce résultat est le cœur technique de l'article et présente un intérêt indépendant dans la théorie des cônes polyédriques.
• Corollaire 1 (Relation de Cocycle pour les Fonctions de Bernoulli) : Dérivé du Théorème 2, ce corollaire stipule que la somme alternée des fonctions rationnelles de Bernoulli $B_{n, a_0, \dots, \hat{a}_j, \dots, a_n}$ s'annule pour presque toutes les configurations des formes linéaires. Cela confirme que la collection de fonctions $\phi_{n,a}$ forme une collection de $(n-1)$-cocycles pour des sous-groupes spécifiques de $SL_n(\mathbb{Z})$ associés aux groupes d'unités.
• Théorème 3 (Valeurs de Zêta Partielles) : L'article fournit une formule explicite exprimant les valeurs de zêta partielles $\zeta_{\mathfrak{f}}(\mathfrak{b}, 0)$ pour un corps de nombres totalement réel de degré $n$ comme une trace de nombres algébriques. Plus précisément, ces valeurs sont calculées comme une somme de évaluations des fonctions de Bernoulli géométriques $B_{n, a_1, \dots, a_n}$ en $s=0$, pondérées par des signes dérivés d'une décomposition de domaine fondamental signé.
• Calculs Explicites : Les auteurs démontrent l'efficacité de leur méthode avec des calculs explicites pour les corps cubiques réels ($n=3$), retrouvant les résultats connus de la littérature (par exemple, [CGS00]) et les vérifiant à l'aide de Pari/GP.

Signification et Revendications
L'article prétend fournir un cadre complet pour les applications arithmétiques des fonctions gamma elliptiques multiples dans des dimensions supérieures. Sa principale signification réside dans :

1. Généralisation : Il étend avec succès la construction géométrique des fonctions gamma elliptiques et leurs propriétés de modularité associées des réseaux de rang 3 à un rang $n$ arbitraire, offrant une perspective unifiée sur la fonction $\theta$, la fonction gamma elliptique et leurs analogues de rang supérieur.
2. Perspective Cohomologique : Il clarifie la nature cohomologique de ces fonctions, en les identifiant comme des cocycles (ou liées à des cocycles) pour $SL_n(\mathbb{Z})$ et en les liant au calcul d'invariants arithmétiques.
3. Outil de Calcul : Il offre une méthode concrète pour calculer les valeurs de zêta partielles en $s=0$ dans les corps totalement réels en utilisant les fonctions de Bernoulli géométriques, jetant un pont entre la théorie analytique des fonctions gamma multiples et l'arithmétique des corps de nombres.

Les auteurs notent que ceci est le premier papier d'une série. Les travaux futurs de la série se concentreront sur les opérations de lissage pour simplifier les relations de modularité, l'évaluation de ces cocycles pour construire des unités elliptiques conjecturales pour les corps de nombres possédant exactement une place complexe (abordant ainsi le 12ème problème de Hilbert), et d'autres exemples pour $n=4$. Le présent article présente modestement ses résultats comme une étape fondamentale, fournissant la machinerie géométrique et cohomologique nécessaire à ces applications arithmétiques ultérieures.