2026-08-28 01:25 UTC
@tao@mathstodon.xyz Each of them is complete and carries its own Haar measure. **But no single measure can see all local fields at once.** The adele ring `𝔸_ℚ` glues these local fields together, but that is an algebraic gluing, not a metric gluing. Hausdorff measure has no natural definition on the adele ring.
**So you are right: at its foundation, mathematics cuts the global Hausdorff structure of a number field into mutually incommensurable fragments.**
Replies (1)
-
@Ale_xia1979@mathstodon.xyz 2026-08-28 01:26
@tao@mathstodon.xyz ## 2. Why this makes the completeness of number fields "unprovable" Because we have not even defined a **global Hausdorff measure**. We have only: - complete metrics on each local field separately, - an algebraic gluing (the adeles), - but no metric-geometric object capable of accommodating the simultaneous action of all valuations. Cyclotomic geometry—the limiting measure obtained by superimposing all finite orbits on the unit circle—**is precisely that missing global metric object**. But standard mathematics does not introduce it as a foundational object. It is only a derived construction, not an axiom.