[ [ A B ] [ C D ] ]The syntactic cross‑ratio is the fundamental invariant of the Syntactic Token Calculus. For any four expressions $A, B, C, D$ (each of which may be blank), the syntactic cross‑ratio is defined as the normal form of the arrangement:
$$ \chi(A,B,C,D) = \text{NF}\big(\,[\,[\,A\;B\,]\;[\,C\;D\,]\,]\,\big). $$
Here, juxtaposition inside an enclosure means that $A$ and $B$ are placed side by side within the same enclosure, and similarly for $C$ and $D$. The outer brackets are always present; they create a single enclosure that contains two inner enclosures. This structure is called a double enclosure.
Blank slots: If a slot is blank, we simply omit the token. For example:
The empty expression (blank) is not a token; it is the absence of a token. Therefore, a blank slot leaves an empty position inside the enclosure.
Why this arrangement? The double‑enclosure pattern is the simplest syntactic construct that can encode a projective invariant. In projective geometry, the cross‑ratio of four points on a line is the only invariant under projective transformations. The STC captures this invariant syntactically, without needing coordinates or numbers.
Example: Let $A = \#$, $B = \text{blank}$, $C = \#$, $D = \text{blank}$. Then: $$ \chi(\#,\text{blank},\#,\text{blank}) = \text{NF}([\,[\,\#\,]\;[\,\#\,]\,]) = \text{NF}([\,[\,\#\,]\;[\,\#\,]\,]). $$ The expression $[\,[\,\#\,]\;[\,\#\,]\,]$ is already in normal form (no ##, no [[A]]), so the cross‑ratio is that pattern.
The syntactic cross‑ratio is symmetric in the sense that permuting the slots may change the normal form, but the change is governed by the same projective symmetries as the classical cross‑ratio. We will explore this in Section 8.4.
#), and the Photon ([#])To extract physical properties from a particle pattern, we compare it against three fixed reference states:
#–the unit distinction.[#]–the simplest stable boundary (an enclosure containing a mark).These references are chosen because they represent the three simplest non‑trivial entities in the calculus:
Any particle pattern $P$ can be plugged into the cross‑ratio arrangement alongside these references to produce three distinct invariants:
These specific arrangements are motivated by the projective geometry of the Standard Model quantum numbers (see Chapter 11). For now, we note that each arrangement yields a unique normal form that characterizes the particle’s mass, charge, and spin.
Why these particular slots? The choice is not arbitrary; it is the unique (up to projective equivalence) arrangement that separates the three quantum numbers. The mass pattern places the particle and the mark together in one inner enclosure, with the other inner enclosure containing only the mark. The charge pattern replaces the mark with the photon. The spin pattern duplicates the particle. The blank slot serves as a neutral element that keeps the structure simple.
Worked example (photon): Let $P = [\#]$.
We will compute these normal forms in Chapter 11. The key point is that the photon’s charge and spin patterns coincide, syntactically proving that the photon is a neutral boson.
[[#]] → # Forces the Mark # to Serve as the Projective Boundary ReferenceIn projective geometry, the cross‑ratio is usually defined for four points on a projective line. One of the points can be chosen as the point at infinity; this choice simplifies formulas and is often convenient. In the classical cross‑ratio formula
$$ \chi(a,b,c,d) = \frac{(a-c)(b-d)}{(a-d)(b-c)}, $$
if we set $d = \infty$, the expression reduces to $(a-c)/(b-c)$.
In the STC, we need a syntactic analogue of the point at infinity. Early drafts used [[#]] as this reference, because it is a stable pattern under a restricted crossing rule. However, under the authentic crossing rule [[A]] → A, the expression [[#]] reduces to #. Therefore, [[#]] cannot serve as a stable reference.
The solution is to use the mark # itself as the syntactic point at infinity. This is natural because # is the most primitive object in the calculus. Moreover, the reduction [[#]] → # shows that [[#]] is equivalent to #; they are the same normal form. So using # as infinity is consistent with the calculus.
Consequences:
#. This corresponds to choosing the mark as the point at infinity.[#] serves as the unit reference, analogous to a fixed finite point.This assignment is not arbitrary; it is forced by the reduction rules. The STC’s adherence to the authentic Laws of Form thus determines the geometry of the projective line on which the cross‑ratio is defined.
The syntactic cross‑ratio is not merely a symbolic construct; it corresponds exactly to the classical projective cross‑ratio when the expressions are mapped to points on a projective line.
Mapping to the projective line: Each expression $E$ can be assigned a p‑adic coordinate $xE$ on the projective line $\mathbb{P}^1(\mathbb{Q}p)$. The mapping is defined recursively:
# maps to $\infty$.[#] maps to $1$.[A] maps to the inverse of the coordinate of $A$ (with respect to the p‑adic norm).This mapping is a Monna map (see Chapter 9) that translates syntactic structure into p‑adic numbers. Under this mapping, the syntactic cross‑ratio $\chi(A,B,C,D)$ becomes the classical cross‑ratio $\chi(xA, xB, xC, xD)$:
$$ \chi(xA, xB, xC, xD) = \frac{(xA - xC)(xB - xD)}{(xA - xD)(xB - xC)}. $$
The proof is by induction on the structure of the expressions. The key steps are:
[ [ A B ] [ C D ] ] corresponds to the harmonic construction in projective geometry.Thus, the STC’s syntactic cross‑ratio is a discrete, finite representation of the classical projective invariant. This is a powerful result: it means that the STC can do projective geometry without real numbers, without coordinates, and without infinity—just marks and brackets.
Implications for physics: Projective geometry underlies the symmetry groups of the Standard Model. For example, the group $SU(2)$ is the double cover of the projective linear group $PGL(2)$. The cross‑ratio is the fundamental invariant of $PGL(2)$ acting on the projective line. By capturing the cross‑ratio syntactically, the STC provides a direct link between the syntax of distinctions and the symmetries of particle physics.
In the next chapter, we will explore this link further, showing how the Bruhat‑Tits tree (the p‑adic analogue of the projective line) unifies the syntactic and geometric perspectives.
Chapter 8 has introduced the master invariant of the STC: the syntactic cross‑ratio. Defined as the normal form of a double‑enclosure arrangement, it compares a particle pattern against three fundamental references (blank, mark, photon). The mark # serves as the syntactic point at infinity, a consequence of the authentic crossing rule. This syntactic construction coincides with the classical projective cross‑ratio, bridging the discrete world of distinctions with the continuous world of geometry.
With this invariant in hand, we can now derive the physical properties of particles—mass, charge, and spin—by computing specific cross‑ratio arrangements. That is the task of Chapter 11. First, however, we need to understand the projective geometry that underlies the cross‑ratio. Chapter 9 will cover that geometry, focusing on the adelic unification of real and p‑adic places.