2025-11-10T02:50:01.576955

A classification of $\mathbb Q$-linear maps from $\overline{\mathbb Q}^\times/\overline{\mathbb Q}^\times_{\mathrm{tors}}$ to $\mathbb R$

Samuels
A 2009 article of Allcock and Vaaler explored the $\mathbb Q$-vector space $\mathcal G := \overline{\mathbb Q}^\times/{\overline{\mathbb Q}^\times_{\mathrm{tors}}}$, showing how to represent it as part of a function space on the places of $\overline{\mathbb Q}$. We establish a representation theorem for the $\mathbb R$-vector space of $\mathbb Q$-linear maps from $\mathcal G$ to $\mathbb R$, enabling us to classify extensions to $\mathcal G$ of completely additive arithmetic functions. We further outline a strategy to construct $\mathbb Q$-linear maps from $\mathcal G$ to $\mathbb Q$, i.e., elements of the algebraic dual of $\mathcal G$. Our results make heavy use of Dirichlet's $S$-unit Theorem as well as a measure-like object called a consistent map, first introduced by the author in previous work.
academic

Una clasificación de aplicaciones Q\mathbb Q-lineales desde Q‾×/Q‾tors×\overline{\mathbb Q}^\times/\overline{\mathbb Q}^\times_{\mathrm{tors}} a R\mathbb R

Información Básica

  • ID del artículo: 2503.09752
  • Título: Una clasificación de aplicaciones Q\mathbb Q-lineales desde Q‾×/Q‾tors×\overline{\mathbb Q}^\times/\overline{\mathbb Q}^\times_{\mathrm{tors}} a R\mathbb R
  • Autor: Charles L. Samuels (Christopher Newport University)
  • Clasificación: math.NT (Teoría de Números)
  • Fecha de publicación: 16 de octubre de 2025 (arXiv v2)
  • Enlace del artículo: https://arxiv.org/abs/2503.09752

Resumen

El presente artículo establece un teorema de representación para el espacio vectorial R\mathbb{R} de aplicaciones Q\mathbb{Q}-lineales desde G:=Q‾×/Q‾tors×\mathcal{G} := \overline{\mathbb{Q}}^\times/\overline{\mathbb{Q}}^\times_{\mathrm{tors}} a R\mathbb{R}, permitiendo clasificar extensiones de funciones aritméticas completamente aditivas en G\mathcal{G}. El artículo además esboza una estrategia para construir aplicaciones Q\mathbb{Q}-lineales desde G\mathcal{G} a Q\mathbb{Q}. La investigación hace un uso extensivo del Teorema de las S-unidades de Dirichlet así como de objetos tipo medida denominados "aplicaciones uniformes" introducidos por el autor en trabajos previos.

Contexto de Investigación y Motivación

Antecedentes del Problema

Este artículo surge del trabajo pionero de Allcock y Vaaler en 2009, quienes exploraron el espacio vectorial Q\mathbb{Q} G=Q‾×/Q‾tors×G = \overline{\mathbb{Q}}^\times/\overline{\mathbb{Q}}^\times_{\mathrm{tors}} y demostraron cómo representarlo como parte de un espacio de funciones en los lugares de Q\mathbb{Q}.

Problemas Centrales

El artículo se propone resolver dos importantes problemas abiertos:

  1. Dual algebraico de GG: El espacio vectorial Q\mathbb{Q} G∗G^* de aplicaciones Q\mathbb{Q}-lineales desde GG a Q\mathbb{Q}
  2. Aplicaciones lineales con valores reales: El espacio vectorial R\mathbb{R} L(G,R)L(G,\mathbb{R}) de aplicaciones Q\mathbb{Q}-lineales desde GG a R\mathbb{R}

Motivación de la Investigación

  • Necesidad de clasificación de funciones aritméticas completamente aditivas
  • Comprensión profunda de espacios de funciones relacionados con la altura de Weil
  • Establecimiento de puentes entre la teoría algebraica de números y el análisis funcional

Contribuciones Principales

  1. Teorema de representación principal: Se demuestra que la aplicación Φ∗:J∗→L(G,R)\Phi^* : J^* \to L(G,\mathbb{R}) es una transformación R\mathbb{R}-lineal sobreyectiva, con ker⁡(Φ∗)=spanR{λ}\ker(\Phi^*) = \text{span}_{\mathbb{R}}\{\lambda\}
  2. Clasificación de funciones completamente aditivas: Se proporciona un marco para clasificar extensiones de funciones aritméticas completamente aditivas en GG, incluyendo:
    • La función logaritmo natural
    • La función número de factores primos Ω(n)\Omega(n)
    • La función suma de factores primos Ψ(n)\Psi(n)
  3. Teorema de extensión de aplicaciones uniformes: Se establece un teorema de existencia y unicidad para aplicaciones uniformes en un cuerpo numérico dado (Teorema 1.3)
  4. Construcción de aplicaciones lineales con valores racionales: Se proporcionan métodos concretos y condiciones necesarias y suficientes para construir funcionales lineales con valores racionales (Teorema 1.4)

Explicación Detallada de Métodos

Definiciones de Conceptos Centrales

Aplicación uniforme: Una aplicación c:J→Rc: J \to \mathbb{R} se denomina uniforme si para todos los cuerpos numéricos KK, todos los lugares vv de KK, y todas las extensiones finitas L/KL/K, se cumple: c(K,v)=∑w∣vc(L,w)c(K,v) = \sum_{w|v} c(L,w)

Construcción de aplicación clave: Para cada c∈J∗c \in J^* y α∈Q‾×\alpha \in \overline{\mathbb{Q}}^\times, se define: Φc(α)=∑v∈MKc(K,v)log⁡∥α∥v\Phi_c(\alpha) = \sum_{v \in M_K} c(K,v) \log \|\alpha\|_v donde KK es cualquier cuerpo numérico que contiene a α\alpha.

Marco Técnico

Aplicación del Teorema de las S-unidades de Dirichlet:

  • Para un cuerpo numérico KK y un conjunto finito de lugares SS, el grupo de SS-unidades UK,SU_{K,S} es finitamente generado, con rango #S−1\#S - 1
  • El conjunto de SS-unidades fundamentales proporciona una base para el espacio vectorial GK,SG_{K,S}

Método matricial: Utilización de la matriz AA construida a partir de unidades fundamentales:

undefined