The projective line over the rational numbers, denoted ℙ¹(ℚ), is the set of equivalence classes of pairs $(a,b)$ of integers (not both zero), where $(a,b) \sim (c,d)$ if $ad = bc$. A point on ℙ¹(ℚ) can be represented as a fraction $a/b$ (with $b \neq 0$) or as the symbol $\infty$ (corresponding to the class $(1,0)$). The projective line includes all rational numbers plus a point at infinity.
The Syntactic Token Calculus provides a natural mapping from expressions to points on ℙ¹(ℚ). This mapping is defined recursively:
# maps to $\infty$.[#] maps to $1$.[E] maps to the inverse of the coordinate of $E$: if $E \mapsto x$, then $[E] \mapsto 1/x$ (with $1/\infty = 0$ and $1/0 = \infty$).E F maps to the sum of the coordinates: if $E \mapsto x$ and $F \mapsto y$, then $E F \mapsto x + y$.This mapping is homomorphic: it preserves the structure of the calculus in the sense that reduction rules correspond to algebraic identities. For example:
## → # corresponds to $\infty + \infty = \infty$.[[A]] → A corresponds to $1/(1/x) = x$.[ ] maps to $1/0 = \infty$, which is the same as the mark. This reflects the fact that [ ] and # are distinct syntactically but coincide under this mapping—a subtlety we will return to.The mapping is not injective: different expressions can map to the same point. For instance, # and [ ] both map to $\infty$. Moreover, some distinct particle patterns may also map to the same coordinate. For example, both the photon [#] and the electron [# [#]] map to $0$ under this naive rational mapping (see the calculation below). This non‑injectivity is not a flaw; it simply indicates that the rational projective line is a coarse‑grained picture of the underlying syntactic reality. The full injectivity is restored when we pass to a p‑adic completion, where the hierarchical structure of the Bruhat‑Tits tree distinguishes every normal form.
Calculation for the electron:
# ↦ $\infty$[#] ↦ $1/\infty = 0$[# [#]] contains # (↦ $\infty$) and [#] (↦ 0). Juxtaposition inside the enclosure corresponds to addition: $\infty + 0 = \infty$.Thus the electron maps to $0$, the same coordinate as the photon. This coincidence disappears when we move to p‑adic coordinates, because the p‑adic valuation of the electron’s coordinate differs from that of the photon. The syntactic cross‑ratio, however, distinguishes them even in the rational mapping, because the cross‑ratio arrangement uses the blank slot differently for the two particles. The cross‑ratio, not the coordinate, is the fundamental invariant.
The rational numbers ℚ can be completed in different ways to form larger fields. The most familiar completion is the field of real numbers ℝ, obtained by filling in the gaps according to the usual absolute value. But there are infinitely many other completions: for each prime number $p$, there is the p‑adic field ℚₚ, obtained by using the p‑adic absolute value. These completions are collectively called the places of ℚ.
The adelic principle states that all completions of ℚ are equally important. No one completion is fundamental; physics should be formulated in a way that treats all places symmetrically. This principle is central to number theory and has been proposed as a key to unifying quantum mechanics (which uses complex numbers, an Archimedean field) with p‑adic physics (which appears in string theory and cosmology).
The STC embodies the adelic principle by constructing a syntactic structure that is neutral with respect to the choice of completion. The Bruhat‑Tits tree is a geometric object that exists for each p‑adic field ℚₚ, but the tree’s structure is independent of $p$ in a combinatorial sense. The STC’s expressions can be interpreted in any completion, yielding different but compatible physical predictions.
In particular:
The adelic principle suggests that both descriptions are projections of a single underlying syntactic reality. The STC provides that underlying reality: the calculus of distinctions.
The cross‑ratio is a projective invariant—it is unchanged under projective transformations. Remarkably, the cross‑ratio formula works equally well over the real numbers and over the p‑adic numbers. Indeed, for any four points on a projective line over a field, the cross‑ratio is defined by the same algebraic expression:
$$ \chi(a,b,c,d) = \frac{(a-c)(b-d)}{(a-d)(b-c)}. $$
This expression is valid whether $a,b,c,d$ are real, complex, p‑adic, or even elements of a finite field. The cross‑ratio is therefore an adelic invariant: it takes the same value (or a compatible value) across all completions.
In the STC, the syntactic cross‑ratio $\chi(A,B,C,D)$ is defined as a normal form, not as a number. Yet, when we map the expressions to points on the projective line over a particular completion, the syntactic cross‑ratio coincides with the numerical cross‑ratio. This means that the STC’s invariant is completion‑independent: it captures the adelic essence of the cross‑ratio without committing to a specific number system.
Example: Consider the four expressions: blank, #, [#], and [[#]] (which reduces to #). Their p‑adic coordinates (for a chosen prime $p$) are:
# ↦ ∞[#] ↦ 1[[#]] ↦ ∞ (same as #)The classical cross‑ratio $\chi(0, ∞, 1, ∞)$ is undefined because of the double infinity. But the syntactic cross‑ratio $\chi(\text{blank}, \#, [\#], \#)$ is well‑defined: it is the normal form of [ [ blank # ] [ [#] # ] ]. Computing this normal form yields a specific pattern. That pattern is the adelic invariant—it encodes the same information as the cross‑ratio, but in a discrete, syntactic form.
Thus, the STC bypasses the need to choose a completion; the syntax itself is the invariant.
While the STC is completion‑agnostic, we often want to connect its predictions to real‑world measurements, which are expressed in real numbers. The bridge is provided by the Monna map (also called the Minkowski question‑mark function or the p‑adic to real map).
The Monna map is a function $M_p : ℚₚ → ℝ$ that sends p‑adic numbers to real numbers in a way that preserves certain algebraic relations. It is defined by interpreting the p‑adic expansion as a binary (or p‑ary) expansion of a real number. Specifically, if a p‑adic number has expansion
$$ x = \sum{k=-m}^{\infty} ak p^k \quad (a_k \in \{0,1,\dots,p-1\}), $$
then its Monna image is
$$ Mp(x) = \sum{k=-m}^{\infty} a_k p^{-k}. $$
Notice the exponent changes sign: $p^k$ becomes $p^{-k}$. This flip turns the p‑adic metric (where higher powers of $p$ are smaller) into the real metric (where higher powers of $p$ are larger). The Monna map is continuous, measure‑preserving, and maps the p‑adic integers onto the unit interval $[0,1]$.
In the STC, the Monna map allows us to translate syntactic patterns into real‑valued physical quantities. For example, the p‑adic coordinate of a particle pattern (obtained via a p‑adic mapping that respects the tree structure) can be mapped to a real number that corresponds to its mass in MeV. This provides the quantitative bridge that earlier drafts identified as an open issue (see Chapter 31).
Moreover, the Monna map explains why continuous, Archimedean physics works so well at macroscopic scales: it is the coarse‑grained shadow of the underlying discrete, p‑adic structure. The map is fractal—it preserves self‑similarity—which accounts for the log‑periodic oscillations predicted in the CMB (Chapter 23).
Example: The p‑adic coordinate of the photon [#] is 1 (in any ℚₚ). The Monna map sends 1 to 1 (since $1 = 1·p^0$ maps to $1·p^{-0} = 1$). So the photon’s real‑valued mass parameter would be 1 in some units. Of course, actual masses require scaling; the STC predicts only ratios, not absolute values.
The Monna map also clarifies the role of the Planck scale. In p‑adic terms, the Planck length corresponds to the finest branch of the Bruhat‑Tits tree. Under the Monna map, this branch maps to the smallest measurable distance in the real continuum. Thus, the discrete tree structure naturally gives rise to a minimal length, solving the ultraviolet divergence problem.
Chapter 9 has connected the STC’s syntactic cross‑ratio to projective geometry and the adelic principle. Expressions map to points on the projective line over ℚ, and the cross‑ratio serves as an adelic invariant. The Monna map provides a bridge from p‑adic to real numbers, enabling quantitative predictions and explaining the success of continuous physics as a coarse‑grained approximation.
With this geometric foundation, we are ready to delve into the particle taxonomy. The next chapter will present the first‑generation particles as stable normal forms on the Bruhat‑Tits tree, and the following chapters will derive their masses, charges, and spins via the cross‑ratio.