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

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

Basic Information

  • Paper ID: 2503.09752
  • Title: A classification of Q\mathbb Q-linear maps from Q‾×/Q‾tors×\overline{\mathbb Q}^\times/\overline{\mathbb Q}^\times_{\mathrm{tors}} to R\mathbb R
  • Author: Charles L. Samuels (Christopher Newport University)
  • Classification: math.NT (Number Theory)
  • Publication Date: October 16, 2025 (arXiv v2)
  • Paper Link: https://arxiv.org/abs/2503.09752

Abstract

This paper establishes a representation theorem for the R\mathbb{R}-vector space of Q\mathbb{Q}-linear maps from G:=Q‾×/Q‾tors×\mathcal{G} := \overline{\mathbb{Q}}^\times/\overline{\mathbb{Q}}^\times_{\mathrm{tors}} to R\mathbb{R}, enabling the classification of extensions of completely additive arithmetic functions on G\mathcal{G}. The article further outlines a strategy for constructing Q\mathbb{Q}-linear maps from G\mathcal{G} to Q\mathbb{Q}. The research extensively employs Dirichlet's SS-unit theorem and class-measure objects called "uniform maps" introduced by the author in previous work.

Research Background and Motivation

Problem Background

This work originates from the pioneering work of Allcock and Vaaler in 2009, who explored the Q\mathbb{Q}-vector space G=Q‾×/Q‾tors×G = \overline{\mathbb{Q}}^\times/\overline{\mathbb{Q}}^\times_{\mathrm{tors}} and demonstrated how to represent it as part of a function space on the places of Q\mathbb{Q}.

Core Problems

The article addresses two important open problems:

  1. Algebraic dual of GG: The Q\mathbb{Q}-vector space G∗G^* of Q\mathbb{Q}-linear maps from GG to Q\mathbb{Q}
  2. Real-valued linear maps: The R\mathbb{R}-vector space L(G,R)L(G,\mathbb{R}) of Q\mathbb{Q}-linear maps from GG to R\mathbb{R}

Research Motivation

  • Classification requirements for completely additive arithmetic functions
  • Deeper understanding of function spaces related to Weil heights
  • Establishing bridges between algebraic number theory and functional analysis

Core Contributions

  1. Main Representation Theorem: Proves that the map Φ∗:J∗→L(G,R)\Phi^* : J^* \to L(G,\mathbb{R}) is a surjective R\mathbb{R}-linear transformation with ker⁡(Φ∗)=spanR{λ}\ker(\Phi^*) = \text{span}_{\mathbb{R}}\{\lambda\}
  2. Classification of Completely Additive Functions: Provides a framework for classifying extensions of completely additive arithmetic functions on GG, including:
    • Natural logarithm function
    • Prime factor counting function Ω(n)\Omega(n)
    • Prime factor sum function Ψ(n)\Psi(n)
  3. Uniform Map Extension Theorem: Establishes a uniqueness theorem for uniform maps over a given number field (Theorem 1.3)
  4. Construction of Rational-valued Linear Maps: Provides concrete methods and necessary and sufficient conditions for constructing rational-valued linear functionals (Theorem 1.4)

Detailed Methodology

Core Concept Definitions

Uniform Map: A map c:J→Rc: J \to \mathbb{R} is called uniform if for all number fields KK, all places vv of KK, and all finite extensions L/KL/K: c(K,v)=∑w∣vc(L,w)c(K,v) = \sum_{w|v} c(L,w)

Key Map Construction: For each c∈J∗c \in J^* and α∈Q‾×\alpha \in \overline{\mathbb{Q}}^\times, define: Φc(α)=∑v∈MKc(K,v)log⁡∥α∥v\Phi_c(\alpha) = \sum_{v \in M_K} c(K,v) \log \|\alpha\|_v where KK is any number field containing α\alpha.

Technical Framework

Application of Dirichlet's SS-unit Theorem:

  • For a number field KK and finite set of places SS, the SS-unit group UK,SU_{K,S} is finitely generated with rank #S−1\#S - 1
  • The set of fundamental SS-units provides a basis for the vector space GK,SG_{K,S}

Matrix Method: Utilizing the matrix AA constructed from fundamental units:

\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}$$ where $\text{rank}(A) = n-1$ and $\dim(\ker A) = 1$. ### Technical Innovations 1. **Complete Characterization of the Kernel**: Proves that $\ker(\Phi^*) = \text{span}_{\mathbb{R}}\{\lambda\}$, where $\lambda$ is the fundamental uniform map arising from the product formula 2. **Surjectivity Construction**: Through inductive construction methods, for any linear map $\Phi: G \to \mathbb{R}$, constructs the corresponding uniform map $c$ 3. **Rational-value Conditions**: Establishes necessary and sufficient conditions for uniform maps to produce rational-valued linear functionals ## Main Theorems and Results ### Theorem 1.1 (Main Representation Theorem) The map $\Phi^*: J^* \to L(G,\mathbb{R})$ is a surjective $\mathbb{R}$-linear transformation with $\ker(\Phi^*) = \text{span}_{\mathbb{R}}\{\lambda\}$. ### Corollary 1.2 Let $F$ be a number field and $q$ a place of $F$. Then the map $c \mapsto \Phi_c$ defines an $\mathbb{R}$-vector space isomorphism from $J^*_q$ to $L(G,\mathbb{R})$. ### Theorem 1.3 (Uniform Map Extension) Let $K$ be a number field, and for each place $v$ of $K$, let $y_v \in \mathbb{R}$. Then there exists a unique uniform map $c \in J^*$ such that: $$c(L,w) = \frac{[L_w : K_v]}{[L:K]} y_v$$ for all $v \in M_K$, all finite extensions $L/K$, and all places $w$ of $L$ dividing $v$. ### Theorem 1.4 (Rational-value Condition) Let $K$ be a number field, $\{v_1, v_2, \ldots, v_n\}$ be all Archimedean places of $K$, and $\{\alpha_1, \alpha_2, \ldots, \alpha_{n-1}\}$ be a set of fundamental units in $K$. Then: $$\sum_{v \in M_K} y_v \log \|\alpha\|_v \in \mathbb{Q} \text{ for all } \alpha \in K^\times$$ if and only if the following two conditions hold: (i) The matrix equation has a rational solution: $$\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) For all non-Archimedean places $v$: $$y_v \log \|\beta_v\|_v + \sum_{i=1}^n y_{v_i} \log \|\beta_v\|_{v_i} \in \mathbb{Q}$$ ## Application Examples ### Extensions of Classical Arithmetic Functions **Natural Logarithm**: $\Phi_c$ extends the natural logarithm if and only if for all $p \neq \infty$, $c(\mathbb{Q}, p) = -1$. **Prime Factor Counting Function $\Omega(n)$**: $\Phi_c$ extends $\Omega$ if and only if for all $p \neq \infty$, $c(\mathbb{Q}, p) = -1/(\log p)$. **Prime Factor Sum Function $\Psi(n)$**: $\Phi_c$ extends $\Psi$ if and only if for all $p \neq \infty$, $c(\mathbb{Q}, p) = -p/(\log p)$. ### Concrete Construction Examples The article provides detailed examples for $K = \mathbb{Q}(\sqrt{2})$, constructing uniform maps belonging to $I^*$ (the set of uniform maps producing rational-valued linear functionals), with specific numerical calculations. ## Proof Strategy ### Characterization of the Kernel (Theorem 2.1) 1. Construct fundamental unit matrices using Dirichlet's unit theorem 2. Apply the product formula and linear algebra methods 3. Use the existence of $S$-units (Lemma 2.3) ### Proof of Surjectivity (Theorem 4.1) 1. For any linear map $\Phi: G \to \mathbb{R}$, construct the corresponding uniform map 2. Utilize Theorem 1.3 for stepwise extension 3. Verify that the constructed uniform map satisfies the required properties ## Related Work ### Foundational Work - **Allcock-Vaaler (2009)**: Established isometric isomorphism between $G$ and function spaces - **Author's Previous Work [16,17]**: Studied various dual spaces related to $G$, established uniform map theory ### Theoretical Connections - Similar to algebraic versions of the Riesz representation theorem - Connects algebraic number theory with functional analysis - Extends classical arithmetic function theory ## Conclusions and Discussion ### Main Achievements 1. Completely characterizes the space of $\mathbb{Q}$-linear maps from $G$ to $\mathbb{R}$ 2. Provides a unified framework for extensions of completely additive arithmetic functions 3. Establishes construction theory for rational-valued linear functionals ### Limitations 1. Methods apply only to completely additive functions, cannot be directly generalized to general additive functions 2. Complete characterization of rational-valued linear maps remains a challenging problem 3. Some constructions require specific number field structures, limiting generality ### Future Directions 1. Extension to classification of general additive functions 2. Complete characterization of the algebraic dual $G^*$ 3. Connections with elliptic curves and abelian variety theory ## In-depth Evaluation ### Strengths 1. **Theoretical Depth**: Establishes profound representation theorems connecting multiple branches of algebraic number theory 2. **Technical Innovation**: Creative use of Dirichlet's $S$-unit theorem and uniform map theory 3. **Practical Value**: Provides a unified extension framework for classical arithmetic functions 4. **Rigorous Proofs**: Detailed proofs with clear logical structure ### Weaknesses 1. **Limited Scope**: Primarily restricted to completely additive functions 2. **Computational Complexity**: Concrete constructions may involve complex numerical calculations 3. **Generalization Difficulty**: Extension to more general cases is not straightforward ### Impact 1. **Theoretical Contribution**: Provides new perspectives on linear functional theory in algebraic number theory 2. **Methodological Value**: The concept and methods of uniform maps have broad application potential 3. **Future Research**: Provides important tools and frameworks for related problem investigations ### Applicable Scenarios - Extension problems for arithmetic functions - Functional analysis related to Weil heights - Study of duality theory in algebraic number theory - Classification problems for number-theoretic functions ## References Main references include: - Allcock & Vaaler (2009): Banach spaces determined by Weil heights - Author's Previous Work [16,17]: Uniform maps and dual representation theorems - Classical literature on Dirichlet's unit theorem and $S$-unit theorem - Standard textbooks on measure theory and functional analysis --- **Overall Assessment**: This is a high-quality theoretical paper in algebraic number theory, establishing important representation theorems and providing a unified framework for the classification of completely additive arithmetic functions. While technically demanding, it has outstanding theoretical value and lays important foundations for subsequent research in related fields.