Une classification des applications $\mathbb Q$-linéaires de $\overline{\mathbb Q}^\times/\overline{\mathbb Q}^\times_{\mathrm{tors}}$ vers $\mathbb R$

Informations fondamentales

• ID de l'article : 2503.09752
• Titre : Une classification des applications $\mathbb Q$-linéaires de $\overline{\mathbb Q}^\times/\overline{\mathbb Q}^\times_{\mathrm{tors}}$ vers $\mathbb R$
• Auteur : Charles L. Samuels (Christopher Newport University)
• Classification : math.NT (Théorie des nombres)
• Date de publication : 16 octobre 2025 (arXiv v2)
• Lien de l'article : https://arxiv.org/abs/2503.09752

Résumé

Cet article établit un théorème de représentation pour l'espace vectoriel $\mathbb{R}$ des applications $\mathbb{Q}$-linéaires de $\mathcal{G} := \overline{\mathbb{Q}}^\times/\overline{\mathbb{Q}}^\times_{\mathrm{tors}}$ vers $\mathbb{R}$, permettant de classifier les extensions de fonctions arithmétiques complètement additives sur $\mathcal{G}$. L'article esquisse également une stratégie de construction des applications $\mathbb{Q}$-linéaires de $\mathcal{G}$ vers $\mathbb{Q}$. La recherche utilise largement le théorème des S-unités de Dirichlet ainsi que des objets de type mesure appelés « applications uniformes » introduits dans les travaux antérieurs de l'auteur.

Contexte et motivation de la recherche

Contexte du problème

Cet article trouve son origine dans les travaux fondateurs d'Allcock et Vaaler en 2009, qui ont exploré l'espace vectoriel $\mathbb{Q}$ $G = \overline{\mathbb{Q}}^\times/\overline{\mathbb{Q}}^\times_{\mathrm{tors}}$ et montré comment le représenter comme partie d'un espace de fonctions sur les places de $\mathbb{Q}$.

Problèmes fondamentaux

L'article vise à résoudre deux problèmes ouverts importants :

1. Dual algébrique de $G$ : l'espace vectoriel $\mathbb{Q}$ des applications $\mathbb{Q}$-linéaires de $G$ vers $\mathbb{Q}$, noté $G^*$
2. Applications linéaires à valeurs réelles : l'espace vectoriel $\mathbb{R}$ des applications $\mathbb{Q}$-linéaires de $G$ vers $\mathbb{R}$, noté $L(G,\mathbb{R})$

Motivation de la recherche

• Nécessité de classifier les fonctions arithmétiques complètement additives
• Compréhension approfondie des espaces de fonctions liés à la hauteur de Weil
• Établissement d'un pont entre la théorie algébrique des nombres et l'analyse fonctionnelle

Contributions principales

1. Théorème de représentation principal : Preuve que l'application $\Phi^* : J^* \to L(G,\mathbb{R})$ est une transformation $\mathbb{R}$-linéaire surjective avec $\ker(\Phi^*) = \text{span}_{\mathbb{R}}\{\lambda\}$
2. Classification des fonctions complètement additives : Fourniture d'un cadre pour classifier les extensions de fonctions arithmétiques complètement additives sur $G$, incluant :
   • La fonction logarithme naturel
   • La fonction nombre de facteurs premiers $\Omega(n)$
   • La fonction somme des facteurs premiers $\Psi(n)$
3. Théorème d'extension des applications uniformes : Établissement d'un théorème d'existence et d'unicité pour les applications uniformes sur un corps de nombres donné (Théorème 1.3)
4. Construction d'applications linéaires à valeurs rationnelles : Fourniture de méthodes concrètes et de conditions nécessaires et suffisantes pour construire des formes linéaires à valeurs rationnelles (Théorème 1.4)

Détails des méthodes

Définitions des concepts fondamentaux

Applications uniformes : Une application $c: J \to \mathbb{R}$ est dite uniforme si pour tous corps de nombres $K$, toutes places $v$ de $K$, et toute extension finie $L/K$, on a : $c(K,v) = \sum_{w|v} c(L,w)$

Construction des applications clés : Pour chaque $c \in J^*$ et $\alpha \in \overline{\mathbb{Q}}^\times$, on définit : $\Phi_c(\alpha) = \sum_{v \in M_K} c(K,v) \log \|\alpha\|_v$ où $K$ est un corps de nombres quelconque contenant $\alpha$.

Cadre technique

Application du théorème des S-unités de Dirichlet :

• Pour un corps de nombres $K$ et un ensemble fini de places $S$, le groupe des S-unités $U_{K,S}$ est finiment engendré, de rang $\#S - 1$
• L'ensemble des S-unités fondamentales fournit une base de l'espace vectoriel $G_{K,S}$

Méthode matricielle : Utilisation de la matrice $A$ construite à partir des unités fondamentales : $A = \begin{pmatrix} \log \|\alpha_1\|_{v_1} & \log \|\alpha_1\|_{v_2} & \cdots & \log \|\alpha_1\|_{v_n} \\ \log \|\alpha_2\|_{v_1} & \log \|\alpha_2\|_{v_2} & \cdots & \log \|\alpha_2\|_{v_n} \\ \vdots & \vdots & \ddots & \vdots \\ \log \|\alpha_{n-1}\|_{v_1} & \log \|\alpha_{n-1}\|_{v_2} & \cdots & \log \|\alpha_{n-1}\|_{v_n} \end{pmatrix}$

où $\text{rang}(A) = n-1$ et $\dim(\ker A) = 1$.

Points d'innovation technique

1. Caractérisation complète du noyau : Preuve que $\ker(\Phi^*) = \text{span}_{\mathbb{R}}\{\lambda\}$, où $\lambda$ est l'application uniforme fondamentale issue de la formule du produit
2. Construction de la surjectivité : Par une méthode de construction inductive, pour toute application linéaire $\Phi: G \to \mathbb{R}$, construction de l'application uniforme correspondante $c$
3. Conditions pour les valeurs rationnelles : Établissement des conditions nécessaires et suffisantes pour qu'une application uniforme produise une forme linéaire à valeurs rationnelles

Théorèmes principaux et résultats

Théorème 1.1 (Théorème de représentation principal)

L'application $\Phi^*: J^* \to L(G,\mathbb{R})$ est une transformation $\mathbb{R}$-linéaire surjective avec $\ker(\Phi^*) = \text{span}_{\mathbb{R}}\{\lambda\}$.

Corollaire 1.2

Soit $F$ un corps de nombres et $q$ une place de $F$. Alors l'application $c \mapsto \Phi_c$ définit un isomorphisme d'espaces vectoriels $\mathbb{R}$ de $J^*_q$ vers $L(G,\mathbb{R})$.

Théorème 1.3 (Extension des applications uniformes)

Soit $K$ un corps de nombres. Pour chaque place $v$ de $K$, soit $y_v \in \mathbb{R}$. Alors il existe une unique application uniforme $c \in J^*$ telle que : $c(L,w) = \frac{[L_w : K_v]}{[L:K]} y_v$ pour tous $v \in M_K$, toute extension finie $L/K$, et toute place $w$ de $L$ divisant $v$.

Théorème 1.4 (Conditions pour les valeurs rationnelles)

Soit $K$ un corps de nombres, $\{v_1, v_2, \ldots, v_n\}$ l'ensemble de toutes les places archimédiennes de $K$, et $\{\alpha_1, \alpha_2, \ldots, \alpha_{n-1}\}$ un ensemble d'unités fondamentales de $K$. Alors : $\sum_{v \in M_K} y_v \log \|\alpha\|_v \in \mathbb{Q} \text{ pour tous } \alpha \in K^\times$ si et seulement si les deux conditions suivantes sont satisfaites :

(i) L'équation matricielle admet une solution rationnelle : $\begin{pmatrix} \log \|\alpha_1\|_{v_1} & \log \|\alpha_1\|_{v_2} & \cdots & \log \|\alpha_1\|_{v_n} \\ \vdots & \vdots & \ddots & \vdots \\ \log \|\alpha_{n-1}\|_{v_1} & \log \|\alpha_{n-1}\|_{v_2} & \cdots & \log \|\alpha_{n-1}\|_{v_n} \end{pmatrix} \begin{pmatrix} y_{v_1} \\ y_{v_2} \\ \vdots \\ y_{v_n} \end{pmatrix} \in \mathbb{Q}^{n-1}$

(ii) Pour toutes les places non-archimédiennes $v$ : $y_v \log \|\beta_v\|_v + \sum_{i=1}^n y_{v_i} \log \|\beta_v\|_{v_i} \in \mathbb{Q}$

Exemples d'applications

Extensions de fonctions arithmétiques classiques

Logarithme naturel : $\Phi_c$ étend le logarithme naturel si et seulement si pour tous $p \neq \infty$, $c(\mathbb{Q}, p) = -1$.

Fonction nombre de facteurs premiers $\Omega(n)$ : $\Phi_c$ étend $\Omega$ si et seulement si pour tous $p \neq \infty$, $c(\mathbb{Q}, p) = -1/(\log p)$.

Fonction somme des facteurs premiers $\Psi(n)$ : $\Phi_c$ étend $\Psi$ si et seulement si pour tous $p \neq \infty$, $c(\mathbb{Q}, p) = -p/(\log p)$.

Exemples de construction concrets

L'article fournit un exemple détaillé pour $K = \mathbb{Q}(\sqrt{2})$, construisant une application uniforme appartenant à $I^*$ (l'ensemble des applications uniformes produisant des formes linéaires à valeurs rationnelles), avec des calculs numériques explicites.

Stratégies de preuve

Caractérisation du noyau (Théorème 2.1)

1. Construction de la matrice des unités fondamentales utilisant le théorème de Dirichlet
2. Application de la formule du produit et des méthodes d'algèbre linéaire
3. Utilisation de l'existence des S-unités (Lemme 2.3)

Preuve de la surjectivité (Théorème 4.1)

1. Pour toute application linéaire $\Phi: G \to \mathbb{R}$, construction de l'application uniforme correspondante
2. Utilisation du Théorème 1.3 pour l'extension progressive
3. Vérification que l'application uniforme construite satisfait les conditions requises

Travaux connexes

Travaux fondamentaux

• Allcock-Vaaler (2009) : Établissement d'une isométrie entre $G$ et un espace de fonctions
• Travaux antérieurs de l'auteur 16,17 : Étude de divers espaces duaux liés à $G$, établissement de la théorie des applications uniformes

Connexions théoriques

• Analogie avec une version algébrique du théorème de représentation de Riesz
• Connexion entre la théorie algébrique des nombres et l'analyse fonctionnelle
• Extension de la théorie classique des fonctions arithmétiques

Conclusions et discussion

Réalisations principales

1. Caractérisation complète de l'espace des applications $\mathbb{Q}$-linéaires de $G$ vers $\mathbb{R}$
2. Fourniture d'un cadre unifié pour l'extension des fonctions arithmétiques complètement additives
3. Établissement d'une théorie de construction des formes linéaires à valeurs rationnelles

Limitations

1. Les méthodes s'appliquent uniquement aux fonctions complètement additives, sans généralisation directe aux fonctions additives générales
2. La caractérisation complète des applications linéaires à valeurs rationnelles reste un problème difficile
3. Certaines constructions nécessitent la structure spécifique du corps de nombres, avec une généralité limitée

Directions futures

1. Extension à la classification des fonctions additives générales
2. Caractérisation complète du dual algébrique $G^*$ de $G$
3. Connexions avec la théorie des courbes elliptiques et des variétés abéliennes

Évaluation approfondie

Avantages

1. Profondeur théorique : Établissement d'un théorème de représentation profond, connectant plusieurs branches de la théorie algébrique des nombres
2. Innovation technique : Utilisation créative du théorème des S-unités de Dirichlet et de la théorie des applications uniformes
3. Valeur pratique : Fourniture d'un cadre unifié d'extension pour les fonctions arithmétiques classiques
4. Rigueur des preuves : Processus de preuve détaillé et logiquement clair

Insuffisances

1. Portée d'application : Limitation principale aux fonctions complètement additives
2. Complexité computationnelle : Les constructions concrètes peuvent impliquer des calculs numériques complexes
3. Difficultés de généralisation : La généralisation à des cas plus généraux n'est pas évidente

Impact

1. Contribution théorique : Nouvelle perspective sur la théorie des formes linéaires en théorie algébrique des nombres
2. Valeur méthodologique : Le concept et les méthodes des applications uniformes ont un potentiel d'application large
3. Recherches ultérieures : Fourniture d'outils et de cadres importants pour la recherche sur les problèmes connexes

Domaines d'application

• Problèmes d'extension de fonctions arithmétiques
• Analyse fonctionnelle liée à la hauteur de Weil
• Étude de la théorie duale en théorie algébrique des nombres
• Problèmes de classification des fonctions de théorie des nombres

Références bibliographiques

Les principales références incluent :

• Allcock & Vaaler (2009) : Espaces de Banach déterminés par les hauteurs de Weil
• Travaux antérieurs de l'auteur 16,17 : Applications uniformes et théorèmes de représentation duale
• Littérature classique sur le théorème des unités de Dirichlet et le théorème des S-unités
• Manuels standards de théorie de la mesure et d'analyse fonctionnelle

Évaluation générale : Ceci est un article de théorie algébrique des nombres de haute qualité, établissant un théorème de représentation important et fournissant un cadre unifié pour la classification des fonctions arithmétiques complètement additives. Bien que techniquement exigeant, sa valeur théorique est remarquable et il pose des fondations importantes pour les recherches ultérieures dans les domaines connexes.