Without real vector spaces all regulators are rational

Basic Information

• Paper ID: 2510.10816
• Title: Without real vector spaces all regulators are rational
• Author: Oliver Braunling
• Classification: math.NT (Number Theory), math.KT (K-Theory)
• Publication Date: October 12, 2025
• Paper Link: https://arxiv.org/abs/2510.10816

Abstract

Every locally compact abelian (LCA) group admits a unique Haar measure (up to positive scalar multiples). Clausen has shown that the Haar measure describes the universal determinant functor of the LCA category in the sense of Deligne. This paper proves that when using only LCA groups without real vector space summands, any possible rescaling of a determinant functor can differ by at most rational multiples. Therefore, if one attempts to circumvent the real (Betti) realization of motives, transcendental real or p-adic regulators cannot appear in special L-value conjectures (such as the Tamagawa number conjecture or Weil-étale cohomology).

Research Background and Motivation

Problem Background

1. Special L-value Theory: In modern number theory, special L-value conjectures (such as the BSD conjecture and Tamagawa number conjecture) relate arithmetic cohomology values to transcendental regulator values
2. Determinant Functor Theory: The determinant functor theory developed by Deligne provides a unified framework for understanding these conjectures
3. Realization Comparison: Standard conjectures involve comparison of determinant lines across different realizations (p-adic, real, integral/rational)

Core Problem

The fundamental question addressed in this paper is: Can determinant functors on the category of LCA groups produce transcendental numbers when real vector spaces are excluded?

Research Motivation

• Theoretical Completeness: Understanding the behavior of Haar measure on different subcategories
• Conjecture Constraints: Providing theoretical restrictions on the properties of regulators in special L-value conjectures
• K-Theory Applications: Studying the structure of determinant functors through K-theoretic methods

Core Contributions

1. Main Theorem: Proves that the Haar functor restricted to vector-free LCA groups $\text{LCA}_{\text{vf}}$ takes only rational values
2. Universality Result: Establishes that the rationalized Haar measure $\text{Ha}_Q$ is the universal determinant functor on $\text{LCA}_{\text{vf}}$
3. K-Theory Computation: Complete calculation of K-theory groups for $\text{LCA}_{\text{vf}}$: $K_1(\text{LCA}_{\text{vf}}) \cong \mathbb{Q}_{>0}^×$
4. Application Significance: Provides theoretical restrictions on the existence of transcendental regulators in special L-value conjectures

Methodology Details

Task Definition

Study determinant functors on the category of locally compact abelian groups $\text{LCA}_{\text{vf}}$ (excluding real line direct summands), particularly the properties of the Haar measure functor.

Theoretical Framework

Structure of LCA Groups

By the structure theorem, every $G \in \text{LCA}$ is isomorphic to $G \cong G_0 \oplus \mathbb{R}^n$, where $G_0$ has a compact open subgroup. For $\text{LCA}_{\text{vf}}$, we have $n = 0$.

Determinant Functor Definition

A determinant functor $D: \mathcal{C}^× \to \mathcal{P}$ must satisfy:

1. For each exact sequence $\Sigma: G' \hookrightarrow G \twoheadrightarrow G''$, provide an isomorphism $D(\Sigma): D(G) \cong D(G') \otimes D(G'')$
2. Compatibility with zero objects, isomorphisms, filtrations, and symmetry

Rationalized Haar Measure Construction

For $X \in \text{LCA}_{\text{vf}}$:

1. Choose a compact open subgroup $C \subseteq X$
2. Take the normalized Haar measure $\mu_C(C) = 1$ on $C$
3. Take the counting measure on the discrete group $X/C$
4. Define the root measure $\mu_{\text{root}}^C$ such that the volume formula holds
5. $\text{Ha}_Q(X) := \mathbb{Q}_{>0}^× \cdot \mu_{\text{root}}^C$

Technical Innovations

K-Theory Methods

1. Verdier Localization: Utilize the localization sequence $\text{Ab}_{\text{fin}} \to \text{Ab} \to \text{Ab}/\text{Ab}_{\text{fin}}$
2. Categorical Equivalence: Establish $\text{Ab}/\text{Ab}_{\text{fin}} \cong \text{LCA}_{\text{vf}}/\mathcal{C}$
3. Non-commutative Motives: Compute K-theory via $U^{\text{loc}}(\text{LCA}_{\text{vf}}) \cong \Sigma U^{\text{loc}}(\text{Ab}_{\text{fin}})$

Gillet-Grayson Model

Use the simplicial K-theory model to precisely compute connecting homomorphisms, particularly the action of the multiplication map $\mathbb{Q}_p \xrightarrow{\cdot p} \mathbb{Q}_p$ in K-theory.

Experimental Setup

Theoretical Verification

This is primarily a theoretical work, with results verified through rigorous mathematical proofs rather than numerical experiments.

Key Computations

1. K-Group Calculations:
   • $K_0(\text{LCA}_{\text{vf}}) = K_0(\text{LCA}) = 0$
   • $K_1(\text{LCA}_{\text{vf}}) \cong \mathbb{Q}_{>0}^×$
   • $K_1(\text{LCA}) \cong \mathbb{R}_{>0}^×$
2. Stable k-Invariants: Prove that virtual objects of $\text{LCA}_{\text{vf}}$ have trivial symmetric constraints

Experimental Results

Main Results

Complete Statement of Theorem 1.1

The Haar functor restricted to $\text{LCA}_{\text{vf}}$ takes only rational values: $\text{Ha}_Q: \text{LCA}_{\text{vf}}^× \to \text{Tors}(\mathbb{Q}_{>0}^×)$

Moreover, $\text{Ha}_Q$ is the universal determinant functor, meaning for any determinant functor $D: \text{LCA}_{\text{vf}}^× \to \mathcal{P}$, there exists a factorization: $\text{LCA}_{\text{vf}}^× \xrightarrow{\text{Ha}_Q} \text{Tors}(\mathbb{Q}_{>0}^×) \xrightarrow{f} \mathcal{P}$

K-Theory Calculation Results

Through dévissage and localization techniques: $K_1(\text{LCA}_{\text{vf}}) \cong \bigoplus_p \mathbb{Z} \cong \mathbb{Q}_{>0}^×$ where the isomorphism is given by prime factorization $2^{a_2}3^{a_3}\cdots \leftrightarrow (a_2, a_3, \ldots)$.

Concrete Examples

Example: Multiplication on p-adic Groups

For the multiplication map $\mathbb{Q}_p \xrightarrow{\cdot p} \mathbb{Q}_p$, although transcendental logarithmic values $\log_p(*)$ may be involved, the Haar measure only sees the p-adic valuation, with the ratio being $p^{-r}$ (a rational number).

Example: Power Series Rings over Finite Fields

$\text{Ha}_Q(\mathbb{F}_q((t)))$ is the set of all Haar measures such that $\text{vol}(\mathbb{F}_q[[t]])$ is a positive rational number.

Related Work

Historical Background

1. Deligne's Determinant Functor Theory Del87: Establishes connections between determinant functors and K-theory
2. Clausen's Results Cla17: Proves $K(\text{LCA}) \cong \text{cofib}(K(\mathbb{Z}) \to K(\mathbb{R}))$
3. Special L-Value Conjectures: Work by Bloch-Kato BK90, Lichtenbaum Lic09, Lic24, and others

Related Research Directions

• Weil-étale Cohomology: Work by Flach-Morin FM18, Geisser-Morin GM24, and others
• Motivic Theory: Involving comparison of different realizations
• Tamagawa Number Conjecture: A central problem in arithmetic geometry

Conclusions and Discussion

Main Conclusions

1. Core Result: On the category of LCA groups without real vector space summands, all determinant functors can only differ by rational multiples
2. Application Significance: This provides theoretical constraints on the properties of regulators in special L-value conjectures
3. Methodological Contribution: Demonstrates the power of K-theoretic methods in studying determinant functors

Limitations

1. Scope Restriction: Results apply only to the case without real vector space summands
2. Constructivity: While existence is proven, concrete constructions still require choices
3. Application Limitations: Does not apply to the complete LCA category containing real vector spaces

Future Directions

1. Generalization: Consider more general locally compact groups
2. Computational Methods: Develop more efficient K-theory computation techniques
3. Application Exploration: Apply these results to concrete number-theoretic problems

In-Depth Evaluation

Strengths

1. Theoretical Depth: Cleverly combines K-theory, category theory, and harmonic analysis
2. Methodological Innovation: Novel technical approach using Verdier localization and non-commutative motives
3. Precise Results: Provides complete K-theory calculations and universal characterizations
4. Application Value: Provides theoretical constraints for important number-theoretic conjectures

Weaknesses

1. Technical Threshold: Requires deep background in K-theory and category theory
2. Practical Limitations: Primarily theoretical results with limited direct applications
3. Presentation Complexity: Some technical details could be presented more clearly

Impact

1. Theoretical Contribution: Adds important results to determinant functor theory
2. Methodological Value: Demonstrates the application potential of K-theory in number theory
3. Inspirational: Provides new perspectives for research on related problems

Applicable Scenarios

• Theoretical research on special L-value conjectures
• Deeper understanding of harmonic analysis on LCA groups
• Applications of K-theory in number theory
• Classification problems for determinant functors

References

• Del87 P. Deligne, Le déterminant de la cohomologie
• Cla17 D. Clausen, A K-theoretic approach to Artin maps
• BK90 S. Bloch and K. Kato, L-functions and Tamagawa numbers of motives
• FM18 M. Flach and B. Morin, Weil-étale cohomology and zeta-values
• Lic09 S. Lichtenbaum, The Weil-étale topology for number rings