A Universal Adelic Normalization Principle: Ostrowski’s Product Formula and Ono’s Tamagawa Numbers as Specializations of One Local–Global Schema

In the paper's words

Ostrowski’s product formula ∏_v|x|_v=1 for a global field and Ono’s Tamagawa number formula τ(T)=|H¹(k,T)|/|Sha(T)| for an algebraic torus both express that freely chosen local contributions are forced by a global consistency condition to a canonical rational value. The literature lacks a single conceptual framework that simultaneously explains these two instances and predicts when the forced value equals 1. We formalize a universal adelic normalization principle (UANP) as a two‑layer schema: (i) a cohomological gluing cocycle ρ linking local data to a global cohomology group, and (ii) an idelic integration that normalizes local measures.

The abstract, verbatim, and its opening sentence is the claim. Every line below is quoted from the text.

Numbers it reports

No sentence of this paper reports a figure with a unit or a quantity word, so none is shown.

How it is done

1. Using the schema we derive the product formula for $x=12/5$ and $x=2$, compute the adelic height $H(2/3)=3$, and obtain the Tamagawa numbers $\tau(\mathbb{G}_{m})=1$ and $\tau(R^{1}_{\mathbb{Q}(i)/\mathbb{Q}}\mathbb{G}_{m})=2$, with every arithmetic step shown.

   from Abstract

2. Because the full unification conjecture is not proved here, we (i) verify the schema’s exactness mechanism in the flagship cases with full arithmetic (Section 4); (ii) test the cokernel criterion on cases with independently known answers; (iii) classify boundary cases from the literature ([1]–[12]).

   from 3.4 Verification protocol

3. Every input is stated with its source; every arithmetic step is shown.

   from 4. Analysis

4. The Hasse norm theorem for cyclic extensions states that an element of $\mathbb{Q}^{\times}$ is a norm from $K$ iff it is a norm locally everywhere.

   from 4.4 Norm‑one torus of $\mathbb{Q}(i)/\mathbb{Q}$

What would falsify it

1. The literature lacks a single conceptual framework that simultaneously explains these two instances and predicts when the forced value equals 1.

   from Abstract

2. If a principled rule could predict the exact global aggregate from the local pieces, designers could replace ad‑hoc normalizations with a mathematically guaranteed value, reducing implementation risk and computational overhead.

   from 1. Introduction

3. For $\mathbb{G}_{m}$ over a general number field $k$, $\operatorname{coker}(\rho)$ is the class group $C_{k}$, and the schema predicts $\tau(\mathbb{G}_{m,k})\neq1$ exactly when $h_{k}\gt 1$, matching the analytic class‑number formula $$ \operatorname{Res}_{s=1}\zeta_{k}(s)=\frac{2^{r_{1}}(2\pi)^{r_{2}}h_{k}R_{k}}{w_{k}\sqrt{|D_{k}|}}. $$

   from 4.5 The cokernel criterion

Where the claim stops

1. As illustrated by the poset/Wick‑product corrections of [6], an incorrect combinatorial normalization yields a wrong canonical value; our criterion detects this only if the cocycle $\rho$ is correctly identified.

   from 6. Discussion

2. The unification conjecture would be falsified by a natural adelic statement satisfying (T1) and (T2) whose forced aggregate value cannot be expressed as $|\mathrm{H}^{1}_{\mathrm{glue}}|/|\Sha_{\mathrm{glue}}|$ for any choice of gluing cocycle; or by a torus for which the cokernel criterion of Section 4.5 predicts a Tamagawa number that disagrees with the independently known value (e.g., a norm‑one torus of a quadratic field with class number > 1).

   from 6. Discussion

3. Either outcome would show that the product formula and Tamagawa numbers do not share a single underlying normalization mechanism.

   from 6. Discussion

Where to read

1. Abstract172 words · 1 min
2. 1. Introduction235 words · 1 min
3. 2. Background and Related Work317 words · 1 min
4. 3. Methods330 words · 1 min
5. 4. Analysis635 words · 3 min
6. 5. Results78 words · 1 min
7. 6. Discussion445 words · 2 min
8. 7. Practical Implications and Engineering Pathways337 words · 1 min
9. Appendix A. Divergence report26 words · 1 min
10. Appendix B. Claim attribution153 words · 1 min
11. Conclusion209 words · 1 min
12. Provenance and AI Involvement225 words · 1 min