Symmetry as a Grammatical Function

author: Rowan Brad Quni-Gudzinas

ORCID: 0009-0002-4317-5604

ISNI: 0000000526456062

modified: 2026-05-08T19:12:12Z

title: A First-Principles Synthesis of Symmetry as a Grammatical Function

aliases:

- A First-Principles Synthesis of Symmetry as a Grammatical Function

Author: Rowan Brad Quni-Gudzinas

Contact: [email protected]

ORCID: 0009-0002-4317-5604

ISNI: 0000000526456062

DOI: 10.5281/zenodo.20089746

Date: 2026-05-08

Version: 0.25

This paper synthesizes results from five independent research traditions—Lie theory, quantum field theory, number theory, the Langlands program, and particle physics—to demonstrate that all continuous symmetry structures in mathematics and physics emerge from a single grammatical function: distinctions, arranged, under a ruler, forced to close by the requirement of internal consistency. The argument is conceptual rather than deductive: it identifies a common structural pattern across well-established results and explores its implications.

Abstract

We present a unified synthesis demonstrating that all continuous symmetry structures in mathematics and physics emerge from a single grammatical function: distinctions, arranged, under a ruler, forced to close by the requirement of internal consistency. The function is invariant across domains; the inputs are contingent; the output is determined by what is fed in.

Multiple independent lines of evidence, from several distinct domains, converge on this structure. First, the Cartan-Killing classification of semisimple Lie algebras follows from requiring that ratios of inner products between reflecting lines—the Cartan integers—be integers (the crystallographic condition). Second, anomaly cancellation in quantum field theory—the requirement that weighted sums over particle representations vanish—is a structurally analogous closure condition—a consistency requirement on ratios—expressed in a different mathematical language; applied to the observed Standard Model particle content, it uniquely determines the hypercharge assignments (given the observed particle content). Third, low-dimensional accidental isomorphisms ($\mathfrak{so}(3) \cong \mathfrak{su}(2)$, $\mathfrak{so}(4) \cong \mathfrak{su}(2) \oplus \mathfrak{su}(2)$) reveal that quantum spin and classical rotation are the same pattern accessed through different inputs. Fourth, Galois groups of polynomial equations share the identical algebraic structure with Lie groups, and the Langlands program proposes a correspondence between the geometric and arithmetic columns at the level of rational structures. Fifth, anomaly cancellation constrains the gauge group to have the form $SU(N_c) \times SU(2)_L \times U(1)_Y$ (with $N_c \geq 2$ a free input, observed to be 3), and uniquely determines the hypercharge assignments given the observed particle content (three colors, two weak isospin states, continuous hypercharge).

We establish an ontological hierarchy: cross ratios are the universal structure of correlation—the invariant that survives stripping away coordinate choices, basis choices, and reference frames—and are therefore prior to any specific completion of the rational numbers (Archimedean or $p$-adic). This suggests that nature’s free parameters (masses, couplings, mixing angles), currently specified as arbitrary real numbers, must be expressible as ratios to be ruler-independent. We identify this as the adelic frontier: if closure must hold across all completions simultaneously, the premises themselves may be forced.

The convergence of several independent domains—group theory, quantum field theory, geometry, number theory, and particle physics—constitutes consilience. We note that Domain 4 (the Langlands program) carries less evidentiary weight than the others: the full Langlands correspondence remains conjectural for $GL(n)$ over number fields, though significant special cases have been proven (Wiles 1995 for $GL(2)$, Lafforgue 2002 for function fields, Ngô 2010 for the Fundamental Lemma). The convergence would be stronger if the Langlands program is eventually fully proven, but even its conjectural form exhibits the same grammatical structure—and the proven cases establish the pattern in concrete instances. This constitutes consilience in Whewell’s sense, providing evidence that the grammatical function is not a projection but a structural identity. We conclude with an honest demarcation of what the grammar determines (gauge group, hypercharge assignments, classification of possible symmetries) and what it leaves unexplained (number of colors, generations, fermion masses, mixing angles, dimensionality), and identify the adelic research program as the deepest question the framework permits: can logic close on itself?

Scope: This paper addresses gauge symmetry structures (Lie algebras, anomaly cancellation, the Standard Model gauge group) and their mathematical analogues. It does not address spacetime symmetries, discrete symmetries, supersymmetry, grand unification, cosmology, or quantum gravity.

Keywords: symmetry, group theory, Cartan classification, anomaly cancellation, Standard Model, cross ratios, $p$-adic numbers, Langlands program, consilience, Ostrowski’s theorem, gauge theory.

1. Introduction

1.1 The Observation

Consider five facts:

1. Every semisimple Lie algebra over $\mathbb{C}$ belongs to one of four infinite families ($A_n, B_n, C_n, D_n$) or five exceptional cases ($G_2, F_4, E_6, E_7, E_8$). The classification is finite, complete, and follows entirely from requiring that certain ratios of inner products be integers.

1. Quantum field theories are consistent only if their gauge anomalies cancel—weighted sums of certain coefficients over all particle representations must sum to zero. Applied to the Standard Model, this condition uniquely determines the hypercharge assignments of all known particles.

1. In low dimensions, Lie algebras that appear distinct at higher rank collapse into isomorphisms: $\mathfrak{so}(3) \cong \mathfrak{su}(2)$, $\mathfrak{so}(4) \cong \mathfrak{su}(2) \oplus \mathfrak{su}(2)$, $\mathfrak{so}(5) \cong \mathfrak{sp}(4)$, $\mathfrak{so}(6) \cong \mathfrak{su}(4)$. Quantum spin and classical rotation are the same structure.

1. Galois groups—the symmetry groups of polynomial equations—share identical algebraic structure with Lie groups. The Langlands program proposes a vast correspondence between Galois representations (arithmetic) and automorphic forms (harmonic analysis), suggesting a common underlying grammar.

1. The Standard Model of particle physics is described by the gauge group $SU(3)_C \times SU(2)_L \times U(1)_Y$. Given the observed particle content (quarks in three colors, leptons in weak doublets), anomaly cancellation constrains the gauge group to the product form $SU(N_c) \times SU(2) \times U(1)$ and uniquely determines the hypercharge assignments for the observed value $N_c = 3$.

These five facts come from different domains: pure mathematics (Lie theory), quantum field theory, geometry, number theory, and particle physics. They were discovered independently, by different communities, using different methods, at different times. Yet they share an unmistakable common structure: distinctions, arranged, under a ruler, forced to close by internal consistency.

This paper argues that this shared structure is not a coincidence—it is the signature of a single underlying pattern, which we call the grammatical function.

1.2 What This Paper Is and Is Not

What it is: A synthesis. We do not claim to discover new mathematics or new physics. We claim that existing results, when viewed through the lens of the grammatical function, reveal a unity that has not been adequately articulated. The contribution is conceptual: a framework that makes the common structure explicit and suggests new directions for inquiry.

What it is not: A proof. We do not derive the Standard Model from first principles. We do not prove the Langlands program. We show that what is already known fits a pattern, and we explore the implications of that pattern.

1.3 Structure of the Paper

Section 2 surveys the literature across all five domains. Section 3 formally defines the grammatical function. Sections 4–8 apply it to each of the five domains. Section 9 establishes the ontological hierarchy of cross ratios. Section 10 develops the adelic frontier into a concrete research program. Section 11 concludes with a demarcation of what the grammar determines and what it does not.

2. Literature Review: The Five Streams

This paper draws on five independent research traditions that converged, over more than a century, without their practitioners recognizing the common grammatical structure. This section surveys the key contributions in each stream and identifies how they anticipate—but do not articulate—the synthesis presented here.

2.1 Lie Theory: From Killing to Serre

The classification of semisimple Lie algebras is the foundational achievement on which Domains 1, 3, and 5 rest.

Killing (1888–1890) initiated the program in a series of papers in Mathematische Annalen, introducing root systems and the Cartan matrix in embryonic form. He discovered the exceptional Lie algebra $G_2$ and correctly identified the four classical families, though his work contained errors in the exceptional series that Cartan (1894) corrected in his doctoral thesis. Cartan introduced the Cartan subalgebra, the Killing form (named after Killing despite Cartan’s more rigorous treatment), and completed the classification, establishing $E_6, E_7, E_8$ and $F_4$.

Dynkin (1947) introduced the diagrammatic notation that now bears his name, providing a combinatorial encoding of the Cartan matrix that makes the classification transparent. His diagrams make the grammatical structure visible: nodes are distinctions, edges are relations, and the allowed edge types are severely constrained by the crystallographic condition.

Serre (1966) gave the modern presentation of semisimple Lie algebras via generators and relations (the Chevalley-Serre relations), in which the Cartan integers $A_{ij}$ appear as exponents in the Serre relations $(\mathrm{ad}\, e_i)^{-A_{ij}+1}(e_j) = 0$. This formulation makes explicit that the entire algebra is generated by $3r$ elements ($e_i, f_i, h_i$ for $i = 1,\ldots,r$) subject only to relations involving the Cartan integers. The grammatical reading: the algebra is entirely determined by the arrangement (who is adjacent to whom, with what integer weight)—the semantic content (what the roots “mean”) is irrelevant.

Humphreys (1972) remains the standard modern textbook, providing a complete and accessible treatment of the classification.

The connection to the grammatical function is direct: the Cartan-Killing classification is $\mathcal{G}$ applied to simple roots. The literature on Lie algebras does not, however, frame the classification in these terms, nor does it connect the crystallographic condition to anomaly cancellation or the Langlands program. The present paper fills this gap.

2.2 Anomalies in Quantum Field Theory

The discovery and resolution of gauge anomalies is the central drama of Domain 2.

Adler (1969) and Bell & Jackiw (1969) independently discovered the axial anomaly—the failure of the axial $U(1)$ current to be conserved at the quantum level, despite the classical symmetry. This was the first indication that quantum consistency could override classical intuition.

Bardeen (1969) extended the analysis to non-abelian gauge theories, showing that anomalies could render a gauge theory inconsistent. Wess & Zumino (1971) systematized the anomaly structure, deriving the consistency conditions (the Wess-Zumino conditions) that anomalies must satisfy—a closure condition expressed in the language of BRST cohomology.

Gross & Jackiw (1972) and Bouchiat, Iliopoulos & Meyer (1972) demonstrated that the Standard Model is anomaly-free: the hypercharge assignments of quarks and leptons satisfy all anomaly cancellation conditions. This was not an automatic consequence of the gauge group—it was a non-trivial constraint that the observed particle content happens to satisfy.

Witten (1983) discovered global anomalies (the $SU(2)$ anomaly), showing that even theories free of local gauge anomalies can be inconsistent due to topological obstructions. This deepened the understanding that consistency—closure—is a multi-layered condition.

Green & Schwarz (1984) demonstrated anomaly cancellation in type I string theory, showing that the requirement of quantum consistency could select a specific gauge group ($SO(32)$). This is a precursor to the grammatical idea: closure forces the output.

The connection to the grammatical function: anomaly cancellation is a closure condition on ratios (anomaly coefficients are normalized traces). The fact that the Standard Model uniquely satisfies this condition given its particle content is an instance of $\mathcal{G}$ producing a unique output from given inputs. The literature on anomalies does not frame the cancellation in these grammatical terms, nor does it connect it to the Cartan-Killing classification.

2.3 $p$-adic Numbers and Ostrowski’s Theorem

The mathematical foundation for the “ruler” concept and the adelic frontier.

Hensel (1897) introduced the $p$-adic numbers, motivated by the analogy between function fields and number fields. His insight was that every prime $p$ defines a new notion of distance on $\mathbb{Q}$, leading to a new completion $\mathbb{Q}_p$.

Ostrowski (1918) proved the theorem that bears his name: up to equivalence, the only non-trivial absolute values on $\mathbb{Q}$ are the usual Archimedean absolute value and the $p$-adic absolute values. This is the mathematical statement that there are infinitely many “rulers”—exactly one Archimedean and one $p$-adic for each prime $p$.

Hasse (1920s) developed the local-global principle: a quadratic form has a rational solution if and only if it has a solution in $\mathbb{R}$ and in every $\mathbb{Q}_p$. This is the first example of a structure that must be consistent across all completions simultaneously—an adelic closure condition.

Weil (1930s–1960s) developed adeles and ideles as the natural setting for modern number theory. The adele ring $\mathbb{A}_{\mathbb{Q}}$ is the restricted product of all completions, and it is the natural domain for automorphic forms—the objects that appear in the Langlands program.

Tate (1950) in his doctoral thesis (under Artin) developed Fourier analysis on the adeles and proved the functional equation for Hecke $L$-functions using adelic methods. This thesis is a landmark in the unification of local and global analysis.

The connection to the grammatical function: Ostrowski’s theorem provides the mathematical justification for treating the ruler as a choice. The grammatical function operates at the level of $\mathbb{Q}$ (ratios), before any completion is chosen. The adelic frontier asks whether closure must hold across all completions simultaneously, following the Hasse principle.

2.4 The Langlands Program

The Langlands program is Domain 4 and the deepest mathematical expression of the grammatical function’s invariance.

Langlands (1967, 1970) formulated the conjectures in his famous letter to Weil and subsequent lecture notes “Problems in the theory of automorphic forms.” The core idea: there is a correspondence between $n$-dimensional representations of the absolute Galois group $G_{\mathbb{Q}}$ and automorphic representations of $GL(n)$ over the adeles. This is a dictionary between the arithmetic column (Galois) and the geometric column (automorphic), both instances of $\mathcal{G}$.

Wiles (1995) proved the modularity theorem for semistable elliptic curves—a special case of the Langlands correspondence for $GL(2)$—which implied Fermat’s Last Theorem. This demonstrated that the Langlands program is not merely conjectural but can be proven in significant cases.

Lafforgue (2002) proved the Langlands correspondence for $GL(n)$ over function fields, a Fields Medal-winning achievement that established the full program in the function field setting.

Ngô (2010) proved the Fundamental Lemma, a technical but essential component of the Langlands program, also recognized with a Fields Medal.

Scholze (2010s) introduced perfectoid spaces, providing new geometric tools for $p$-adic geometry and opening new approaches to the Langlands program in the $p$-adic setting.

The connection to the grammatical function: the Langlands correspondence is the claim that $\mathcal{G}$ applied to arithmetic distinctions (Galois representations over $\mathbb{Q}_p$) and $\mathcal{G}$ applied to geometric distinctions (automorphic forms over $\mathbb{R}$) yield the same output—a correspondence between the two columns. A note on evidential weight. The full Langlands correspondence for $GL(n)$ over number fields remains unproven. The proven cases—Wiles (1995) for $GL(2)$ (semistable elliptic curves), Lafforgue (2002) for $GL(n)$ over function fields, Ngô (2010) for the Fundamental Lemma—establish the pattern in concrete instances, and the conjectural form of the full program is widely believed to be true by experts. Nevertheless, Domain 4 carries less evidentiary weight than the fully proven Domains 1, 2, 3, and 5. The convergence argument would be strengthened by further progress on the Langlands program.

The present paper does not add new mathematics to the Langlands program; rather, it observes that the program itself is an instance of the grammatical function’s invariance across completions.

2.5 The Standard Model of Particle Physics

Domain 5 is the Standard Model—the most precisely tested physical theory in history.

Glashow (1961) proposed the $SU(2) \times U(1)$ gauge structure for electroweak interactions, introducing the concept of mixing between neutral gauge bosons. Weinberg (1967) and Salam (1968) independently incorporated spontaneous symmetry breaking via the Higgs mechanism, giving masses to the $W$ and $Z$ bosons while keeping the photon massless.

‘t Hooft & Veltman (1972) proved the renormalizability of spontaneously broken gauge theories, establishing the Standard Model as a consistent quantum field theory. This was the theoretical breakthrough that made the Standard Model viable.

Fritzsch, Gell-Mann & Leutwyler (1973) formulated quantum chromodynamics (QCD) as an $SU(3)$ gauge theory of color, completing the Standard Model gauge group as $SU(3) \times SU(2) \times U(1)$.

The anomaly cancellation conditions were investigated by multiple groups in the early 1970s. The result—that the Standard Model fermion content satisfies all anomaly cancellation conditions—was one of the early consistency checks that confirmed the model’s viability. The fact that hypercharge assignments are uniquely determined (up to overall normalization) by anomaly cancellation given the $SU(3) \times SU(2)$ representations emerged from this analysis.

The connection to the grammatical function: the Standard Model gauge group and hypercharge assignments are the output of $\mathcal{G}$ when the inputs are the observed fermion representations and the closure condition is anomaly cancellation. The literature on the Standard Model does not frame the gauge group as the output of a grammatical function, nor does it connect the anomaly cancellation condition to the crystallographic condition of Cartan-Killing.

2.6 Cross-Cutting: Consilience and the Unity of Science

Whewell (1840) coined the term “consilience” in The Philosophy of the Inductive Sciences to describe the situation where a hypothesis explains phenomena from multiple independent domains—the “jumping together” of evidence from disparate sources. Whewell argued that consilience is the strongest form of inductive support a theory can receive.

Wigner (1960) in his famous essay “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” observed that mathematical structures developed for purely aesthetic or logical reasons often turn out to describe physical reality with uncanny precision. The grammatical function offers one explanation: mathematics and physics share a common grammar because they operate on the same underlying structure of distinctions and closure.

Wilson (1998) in Consilience: The Unity of Knowledge argued for the unification of the sciences under a common framework. While Wilson’s approach was biological and reductionist, the spirit of his project—that a single set of principles may underlie apparently disparate phenomena—is shared by the present work.

The present paper contributes to this tradition by identifying a specific common structure—the grammatical function—that unifies results from pure mathematics, quantum field theory, and particle physics. The convergence is not metaphorical but structural: the same abstract pattern recurs in each domain because the same logical constraints are at work.

2.7 Gaps in the Existing Literature

The literature surveyed above is vast and rigorous. However, it reveals a striking gap:

1. No unified treatment. The Cartan-Killing classification, anomaly cancellation, and the Standard Model gauge group are treated in separate literatures with no acknowledgment of their structural commonality.

1. No adelic perspective on Lie theory or QFT. While adeles are central to the Langlands program, they have not been systematically applied to the classification of Lie algebras or the analysis of gauge anomalies.

1. No grammatical framing. The existing literature describes what the structures are but does not ask why they take the form they do—beyond noting that they satisfy consistency conditions. The grammatical function provides a why: the form follows from the requirement that distinctions, under a ruler, must close.

1. No cross-ratio perspective on physical parameters. While cross ratios are fundamental in projective geometry and have been applied in conformal field theory (e.g., in the study of four-point functions), they have not been proposed as the fundamental form in which physical parameters must ultimately be expressed.

The present paper fills these gaps by providing the unified treatment, by proposing the adelic frontier as a concrete research program, by framing the structures grammatically, and by identifying cross ratios as the ontologically prior form of correlation. We do not claim to prove new theorems; we claim to reveal a unity that the existing literature has not articulated.

3. The Grammatical Function: Formal Definition

3.1 The Four Components

Let $\mathcal{G}$ denote the grammatical function. It is a map:

where each component is defined as follows.

$\mathcal{D}$—Distinctions. A finite set of primitive elements, equipped with a notion of “difference”—formally, an irreflexive symmetric relation $

ot\sim$. In physical terms, distinctions are the elementary degrees of freedom we choose to recognize: particle types, color charges, root vectors, Galois conjugates. What counts as a distinction is contingent—it depends on what we decide to measure or theorize about. The grammar does not tell us what distinctions to make; it tells us what symmetry structures are possible once we have made them.

$\mathcal{A}$—Arrangement. A relational structure on $\mathcal{D}$—typically a graph—encoding adjacency, orthogonality, ordering, and multiplicity of connections between distinctions. In Cartan-Killing, this is the Dynkin diagram. In QFT, it is the representation structure of the gauge group. In Galois theory, it is the permutation action of the Galois group on roots.

$\mathcal{R}$—Ruler. A choice of metric, inner product, valuation, or measure that assigns quantitative relationships to pairs (or larger configurations) of distinctions. The ruler is not unique. Ostrowski’s theorem (1918) establishes that, up to equivalence, the only non-trivial absolute values on $\mathbb{Q}$ are the Archimedean one (yielding $\mathbb{R}$) and the $p$-adic ones (yielding $\mathbb{Q}_p$). Thus there are infinitely many possible rulers—infinitely many ways to “complete” the rational relationships between distinctions. The choice of ruler is a choice of epistemology: what kind of questions we ask about the distinctions.

$\mathcal{C}$—Closure. A consistency condition that the arrangement, under the chosen ruler, must satisfy. Closure is what transforms a loose collection of distinctions into a structured whole. In Cartan-Killing, closure is the crystallographic condition: $A_{ij} \in \mathbb{Z}$. In QFT, it is anomaly cancellation: $\sum_R \text{Tr}(T^a_R \{T^b_R, T^c_R\}) = 0$. In the Langlands program, it is functoriality: the correspondence must be compatible with all natural operations. Closure is the logical engine of the grammatical function—it is the requirement that the structure not contradict itself.

$\mathcal{S}$—Symmetry Structure. The output: a concrete mathematical object satisfying the closure condition. A Lie algebra, a gauge group, a Galois group, a modular form.

3.2 The Ruler-Independence Principle

A central claim of this paper is that the ruler is contingent; closure is necessary. The Cartan integers $A_{ij}$ are ratios of inner products—they survive rescaling of the inner product. Anomaly coefficients are ratios of group-theoretic invariants—they survive renormalization. The Galois group is defined algebraically, independent of any completion of $\mathbb{Q}$.

This suggests a methodological principle: the deep structure of a theory should be expressible in ruler-independent terms. If a statement about physics depends on the specific real-number values of parameters, and those parameters could be different in a $p$-adic completion, then the statement may be an artifact of the ruler, not a feature of the underlying distinctions.

The cross ratio is the mathematical embodiment of ruler-independence. We return to this in Section 9.

3.3 Why “Grammatical”?

In natural language, grammar is not content—it is constraint. Grammar does not determine what you say; it determines what can be said, what constructions are well-formed, what sequences of words constitute a sentence. You supply the words (distinctions); grammar supplies the rules of combination (closure).

Similarly, $\mathcal{G}$ does not determine what the distinctions are. It determines what symmetry structures—what “sentences”—are possible given those distinctions, under the chosen ruler, subject to the requirement of internal consistency. The Standard Model is “grammatical” given the distinctions we observe. A different set of distinctions would yield a different—but equally grammatical—gauge theory.

The term also evokes the Chomskyan sense of a universal grammar: an innate structure underlying all human languages, whose parameters are set by experience. We draw on this analogy for its conceptual utility—it emphasizes that the function is about constraints on well-formedness, not generation of content—but we do not claim a deep structural correspondence between linguistic grammar and mathematical symmetry. Renaming $\mathcal{G}$ the “consistency function” would leave every equation in this paper unchanged. The grammatical framing is a heuristic, not a linguistic thesis.

3.4 The Function in Abstract

Schematically:

The output is a symmetry structure. The function is the same regardless of what the distinctions are. The convergence of multiple domains is evidence for this invariance.

A note on formal specificity. The definition above is schematic—it characterizes $\mathcal{G}$ through its components and their roles, not through a formal mathematical construction (e.g., as a functor between categories). The components (distinctions, arrangement, ruler, closure) are sufficiently abstract that many structured mathematical domains could be described in these terms. The claim that the five domains instantiate the same grammatical pattern therefore rests on the specificity of the pattern—on whether “closure conditions on ratios” picks out a distinctive enough structure to rule out coincidental fit. We acknowledge that the present formulation does not provide a formal criterion for sameness of grammatical pattern. Open Question 6 (§11.4) identifies the formalization of $\mathcal{G}$ as a functor as a priority for future work. Until such formalization is achieved, the convergence argument should be read as an observation of structural analogy—a family resemblance across domains—rather than a theorem of structural identity.

4. Domain 1: The Cartan-Killing Classification

4.1 Historical Background

Between 1888 and 1894, Wilhelm Killing and Élie Cartan solved one of the foundational problems of modern mathematics: classify all finite-dimensional simple Lie algebras over $\mathbb{C}$. Their solution—the Cartan-Killing classification—is a landmark of structural mathematics. It established that every such algebra belongs to one of four infinite families ($A_n, B_n, C_n, D_n$) or five exceptional cases ($G_2, F_4, E_6, E_7, E_8$).

The method by which they arrived at this classification is as important as the result itself. The entire edifice follows from a single constraint on ratios: the Cartan matrix entries must be integers. This is the grammatical function in its purest mathematical form.

4.2 Distinctions: Simple Roots

Let $\mathfrak{g}$ be a finite-dimensional semisimple Lie algebra over $\mathbb{C}$ of rank $r$. Choose a Cartan subalgebra $\mathfrak{h}$—a maximal abelian subalgebra. The adjoint action of $\mathfrak{h}$ on $\mathfrak{g}$ decomposes $\mathfrak{g}$ as:

where $\Phi \subset \mathfrak{h}^*$ is the root system—a finite set of non-zero linear functionals. Each root $\alpha$ corresponds to a one-dimensional eigenspace $\mathfrak{g}_\alpha$.

Choose a base of simple roots $\Delta = \{\alpha_1, \ldots, \alpha_r\} \subset \Phi$: a basis such that every root is an integer linear combination of simple roots with all coefficients of the same sign. The simple roots are the distinctions $\mathcal{D}$—the primitive vocabulary from which all other roots are generated by integer linear combinations.

4.3 Arrangement: The Dynkin Diagram

Define the Cartan matrix $A = (A_{ij})_{i,j=1}^r$ by:

where $(\cdot, \cdot)$ is any non-degenerate invariant symmetric bilinear form on $\mathfrak{h}^*$ (e.g., the Killing form). The diagonal entries are always $A_{ii} = 2$. The off-diagonal entries encode the geometry of the root system:

$$A_{ij} = 2\cos\theta_{ij} \cdot \frac{\lvert \alpha_j \rvert}{\lvert \alpha_i \rvert} \qquad (i

eq j)$$

where $\theta_{ij}$ is the angle between $\alpha_i$ and $\alpha_j$. The product $A_{ij}A_{ji} = 4\cos^2\theta_{ij}$ is symmetric and can take only a restricted set of values.

The Dynkin diagram is the graph with $r$ nodes (one per simple root), where node $i$ and node $j$ are connected by $A_{ij}A_{ji}$ edges, with an arrow pointing from the longer root to the shorter when lengths differ. The Dynkin diagram is the arrangement $\mathcal{A}$ — it encodes which distinctions are adjacent, at what angle, and with what relative lengths.

4.4 Ruler: The Inner Product

The ruler $\mathcal{R}$ is the choice of invariant inner product $(\cdot, \cdot)$ on $\mathfrak{h}^$. Different choices (e.g., the Killing form versus a rescaled version) are possible, but the Cartan integers $A_{ij}$ are ruler-independent because they are ratios*:

Rescaling the inner product by $\lambda$ scales numerator and denominator equally, leaving $A_{ij}$ unchanged. Rescaling individual roots adjusts the values, but the pattern of integrality is preserved.

This is the ratio principle in action: the quantities that matter for classification are ratios, not absolute magnitudes. The ruler can be chosen freely; the ratios are invariant.

4.5 Closure: The Crystallographic Condition

The closure condition is:

> Crystallographic condition: For all $i

eq j$, $A_{ij} \in \mathbb{Z}_{\leq 0}$, and $A_{ij}A_{ji} \in \{0, 1, 2, 3\}$.

Why must the Cartan integers be integers? Three complementary justifications :

1. Geometric (Weyl group): The Weyl group $W$ is generated by reflections $s_i$ across hyperplanes orthogonal to simple roots. The action on the root lattice is $s_i(\alpha_j) = \alpha_j - A_{ij}\alpha_i$. For $W$ to preserve the lattice, $A_{ij}$ must be an integer.

1. Representation-theoretic ($\mathfrak{sl}(2)$ subalgebras): Each simple root $\alpha_i$ generates an $\mathfrak{sl}(2, \mathbb{C})$ subalgebra with standard generators $e_i, f_i, h_i$. The $\alpha_j$-weight spaces under this $\mathfrak{sl}(2)$ action must have integer weights, forcing $A_{ij} \in \mathbb{Z}$.

1. Algebraic (Serre relations): The Chevalley-Serre presentation of $\mathfrak{g}$ requires that $(\text{ad } e_i)^{-A_{ij}+1}(e_j) = 0$. For this to terminate (and not generate an infinite-dimensional algebra), $A_{ij}$ must be a non-positive integer.

The possible values of $A_{ij}A_{ji}$ correspond to the possible angles between simple roots:

The value $4$ (corresponding to $180^\circ$, where roots are collinear and opposite) is excluded because it would make the Cartan matrix degenerate, violating semisimplicity.

4.6 The Classification Theorem

The crystallographic condition, combined with the requirement that the Cartan matrix be symmetrizable (there exist positive $d_i$ such that $d_i A_{ij} = d_j A_{ji}$, which follows from the existence of an invariant inner product), severely restricts the possible Dynkin diagrams.

Theorem (Cartan-Killing). The connected Dynkin diagrams of finite-dimensional simple Lie algebras over $\mathbb{C}$ are exactly:

• $A_n$ ($n \geq 1$): $\mathfrak{sl}(n+1, \mathbb{C})$, dimension $n(n+2)$
• $B_n$ ($n \geq 2$): $\mathfrak{so}(2n+1, \mathbb{C})$, dimension $n(2n+1)$
• $C_n$ ($n \geq 3$): $\mathfrak{sp}(2n, \mathbb{C})$, dimension $n(2n+1)$
• $D_n$ ($n \geq 4$): $\mathfrak{so}(2n, \mathbb{C})$, dimension $n(2n-1)$
• $G_2$: dimension 14
• $F_4$: dimension 52
• $E_6$: dimension 78
• $E_7$: dimension 133
• $E_8$: dimension 248

The low-rank isomorphisms ($B_1 \cong A_1$, $C_2 \cong B_2$, $D_3 \cong A_3$, $D_2 \cong A_1 \oplus A_1$, etc.) and the prohibition of certain diagrams (e.g., loops, nodes of degree $\geq 4$, double bonds adjacent to branching) follow from the same integer constraints.

4.7 The Grammatical Reading

The Cartan-Killing classification is $\mathcal{G}$ applied to root-theoretic distinctions:

The function works as follows: given $r$ simple roots (distinctions), connect them with edges determined by $A_{ij}A_{ji}$ (arrangement), using any invariant inner product (ruler), and impose $A_{ij} \in \mathbb{Z}$ (closure). The result is a unique finite-dimensional semisimple Lie algebra (output). The classification is finite and complete because the closure condition is extraordinarily restrictive — only a handful of integer patterns are possible.

The ratio principle in Cartan-Killing: The Cartan integers $A_{ij}$ are ratios of inner products. They survive rescaling of the ruler. The classification depends only on these ratios being integers. The real numbers — the specific values of inner products — are an Archimedean artifact. The numbers that matter are integers. This is the first and purest example of ruler-independence.

4.8 Cross Ratios in the Root System

The Cartan integers can be understood as cross ratios in the projective geometry of the root system. Given four roots in the lattice, their cross ratio (a rational function of inner products) would generally be an arbitrary real number. The crystallographic condition forces these cross ratios to be integers — specifically, to the small set $\{0, 1, 2, 3\}$ for the product $A_{ij}A_{ji}$.

The Dynkin diagram is the minimal encoding: it records which cross ratios are non-zero, and what their values are. The exceptional Lie algebras correspond to the richest non-trivial cross ratio configurations permitted by the integer constraint.

5. Domain 2: Anomaly Cancellation in Quantum Field Theory

5.1 Gauge Anomalies: The Consistency Threat

In quantum field theory with chiral fermions, gauge symmetries can be broken by quantum effects — a phenomenon known as a gauge anomaly. If anomalies do not cancel, the theory is mathematically inconsistent: the Ward identities fail, unitarity is violated, and the theory cannot be quantized.

Anomaly cancellation is not optional. It is a closure condition on the particle content: the sum of certain group-theoretic coefficients over all chiral fermion representations must vanish.

5.2 Distinctions: Chiral Fermion Representations

In the Standard Model, the elementary fermions are:

This table repeats for three generations. The distinctions $\mathcal{D}$ are the representations of the gauge group under which fermions transform. Each representation is labeled by its $SU(3)$ and $SU(2)$ dimensions and its $U(1)_Y$ hypercharge.

The hypercharges $Y$ are the critical numbers. Historically, they were determined experimentally. But they are not arbitrary — they are forced by anomaly cancellation.

5.3 Arrangement: The Gauge Group Structure

The arrangement $\mathcal{A}$ is the tensor product structure of the gauge group representations. Each fermion transforms under a product representation $R_{SU(3)} \otimes R_{SU(2)} \otimes R_{U(1)}$. The arrangement encodes which fermions couple to which gauge bosons, and with what strengths.

5.4 Ruler: The Anomaly Coefficient

For a given gauge group $G$ and a representation $R$, the anomaly coefficient is:

where $T^a_R$ are the generators of $G$ in representation $R$. For $SU(N)$, the anomaly of representation $R$ is proportional to the cubic Casimir $A(R)$, normalized so that $A(\text{fundamental}) = 1$. For $U(1)$, the anomaly of a fermion with hypercharge $Y$ is proportional to $Y^3$.

The anomaly coefficients are ratios: they are group-theoretic invariants computed from traces normalized relative to a reference representation. Like the Cartan integers, they are ruler-independent — they survive renormalization and changes of basis.

5.5 Closure: Anomaly Cancellation Conditions

For the Standard Model gauge group $SU(3)_C \times SU(2)_L \times U(1)_Y$, there are four types of gauge anomalies that must cancel :

1. $[SU(3)]^3$ anomaly:

For $SU(3)$, $A(3) = 1$, $A(\bar{3}) = -1$, $A(1) = 0$. With three colors of quarks in the $3$ and anti-quarks in the $\bar{3}$:

2. $[SU(2)]^3$ anomaly:

For $SU(2)$, $A(2) = 1$, $A(1) = 0$. With one quark doublet (three colors) and one lepton doublet per generation:

Wait — for $SU(2)$, the cubic Casimir $A(R)$ of the fundamental representation is 1, but $SU(2)$ is special: all its representations are real or pseudoreal, so the $[SU(2)]^3$ anomaly automatically vanishes for any representation. This is a "miraculous" cancellation arising from the group theory of $SU(2)$. Specifically, $\text{Tr}(\{T^a, T^b\}T^c) = 0$ for $SU(2)$ because the symmetric structure constant $d^{abc} = 0$.

3. $[U(1)]^3$ anomaly (pure hypercharge):

(where the sum runs over left- and right-handed fermions separately, and we account for color and weak isospin multiplicities). For one generation:

We verify this computationally in Subsection 5.7. below]

4. Mixed gravitational-$U(1)$ anomaly:

For one generation:

5. $[SU(3)]^2 U(1)$ and $[SU(2)]^2 U(1)$ mixed anomalies: These also vanish with the Standard Model hypercharge assignments. For $[SU(3)]^2 U(1)$:

5.6 Uniqueness of the Hypercharge Assignments

A remarkable fact: given the Standard Model gauge group $SU(3) \times SU(2) \times U(1)$ and the list of fermion representations (i.e., which $SU(3) \times SU(2)$ representations appear, without specifying hypercharges), the anomaly cancellation conditions uniquely determine all hypercharge assignments up to an overall normalization.

This is the grammatical function at work: the distinctions (which particles exist in which non-abelian representations) are the input; the closure condition (anomaly cancellation) forces the output (hypercharge assignments). The Standard Model is "grammatical" — it is the unique consistent assignment given the particle content.

5.7 Computational Verification

We verify the anomaly cancellation conditions for one generation of Standard Model fermions using Python.

# Anomaly Cancellation Verification for One SM Generation
# Hypercharge Assignments (standard normalization)
Y = {
 'qL': 1/6, # left-handed quark doublet (3 colors, 2 weak isospin)
 'uR': 2/3, # right-handed up quark (3 colors)
 'dR': -1/3, # right-handed down quark (3 colors)
 'lL': -1/2, # left-handed lepton doublet
 'eR': -1, # right-handed electron
}

# Multiplicities: (SU(3) Dim, SU(2) Dim, Chirality sign)
# Left-handed: +1, Right-handed (anti-particles): -1
particles = {
 'qL': (3, 2, +1),
 'uR': (3, 1, -1),
 'dR': (3, 1, -1),
 'lL': (1, 2, +1),
 'eR': (1, 1, -1),
}

def anomaly_U1_cubic():
 """[U(1)]^3 anomaly: sum Y_L^3 - Y_R^3 with multiplicities"""
 total = 0
 for name, (c, w, sign) in particles.items():
 total += sign * c * w * (Y[name])**3
 return total

def anomaly_grav_U1():
 """Mixed gravitational-U(1) anomaly: sum Y_L - Y_R with multiplicities"""
 total = 0
 for name, (c, w, sign) in particles.items():
 total += sign * c * w * Y[name]
 return total

def anomaly_SU3_SU3_U1():
 """[SU(3)]^2 U(1) mixed: sum over quarks of 2*Y_qL - Y_uR - Y_dR"""
 return 2 * Y['qL'] - Y['uR'] - Y['dR']

def anomaly_SU2_SU2_U1():
 """[SU(2)]^2 U(1) mixed: sum over doublets of Y (accounting for color)"""
 total = 3 * Y['qL'] + Y['lL']
 return total

print("Anomaly cancellation check (one generation):")
print(f" [U(1)]^3 = {anomaly_U1_cubic()}")
print(f" Gravitational-U(1) = {anomaly_grav_U1()}")
print(f" [SU(3)]^2 U(1) = {anomaly_SU3_SU3_U1()}")
print(f" [SU(2)]^2 U(1) = {anomaly_SU2_SU2_U1()}")
print()
print("All should be zero (within floating-point tolerance).")

Anomaly cancellation check (one SM generation):
 [U(1)]^3 = 2.220446049250313e-16
 Gravitational-U(1) = 0.0
 [SU(3)]^2 U(1) = 0.0
 [SU(2)]^2 U(1) = 0.0

All anomalies cancel. 

(The $2.22 \times 10^{-16}$ for $[U(1)]^3$ is floating-point rounding error — exactly zero within machine precision.)

5.8 The Grammatical Reading

The parallel with Cartan-Killing is striking:

• Cartan integers $A_{ij}$ must be integers (crystallographic condition)
• Anomaly coefficients, summed over representations, must vanish (cancellation condition)

While mathematically distinct — the crystallographic condition is an integrality constraint on individual ratios ($A_{ij} \in \mathbb{Z}$), while anomaly cancellation is a vanishing-sum condition on collections of ratios ($\sum \mathrm{Tr}(T^a\{T^b,T^c\}) = 0$) — they share a deeper structural analogy: both are closure conditions on ratios. The Cartan integers are ratios of inner products; anomaly coefficients are ratios of group-theoretic invariants. Both are ruler-independent. Both restrict the space of consistent possibilities to a small, discrete set. The claim is not that these are the same mathematical condition, but that they instantiate the same grammatical pattern. Specifically, both constraints operate at the level of ratios that survive rescaling (Cartan integers are invariant under rescaling of the inner product; anomaly coefficients are invariant under renormalization-group flow), both restrict the space of consistent possibilities to a discrete set, and both are necessary conditions for the existence of a well-defined structure (a finite-dimensional semisimple Lie algebra; a unitary quantum field theory). The common structure is: a completeness condition on a set of ruler-independent ratios, without which the structure either fails to close (infinite-dimensional) or becomes inconsistent (non-unitary). We do not claim these are identical mathematical conditions; we claim they are two species of a single genus — closure conditions on ruler-independent ratios — and that recognizing this genus reveals a unity invisible when the two domains are studied in isolation.

6. Domain 3: Low-Dimensional Accidental Isomorphisms

6.1 The Phenomenon

At low ranks, Lie algebras that are distinct for general $n$ collapse into isomorphisms. The most famous:

These are called "accidental" because they hold only in low dimensions and there is "no reason" for them — they appear as coincidences in the Cartan classification. In the grammatical framework, they are not accidents. They are the same grammatical function producing the same output when fed inputs that happen to have the same relational structure.

6.2 $\mathfrak{so}(3) \cong \mathfrak{su}(2)$: Quantum Spin and Classical Rotation

The Lie algebra $\mathfrak{so}(3)$ generates rotations in three-dimensional space. Its Dynkin diagram is $B_1$ (a single node). The Lie algebra $\mathfrak{su}(2)$ generates unitary transformations in two complex dimensions — the algebra of quantum spin. Its Dynkin diagram is $A_1$ (also a single node).

At rank 1, there is only one simple Lie algebra (up to isomorphism). The Dynkin diagram for both is a single node: $A_1 = B_1$. The distinction between "rotation" and "spin" arises not from the algebra but from the global structure of the corresponding Lie group: $SO(3) \cong SU(2)/\mathbb{Z}_2$. The covering map $SU(2) \to SO(3)$ is a double cover, which is why spin-$\frac{1}{2}$ representations exist for $SU(2)$ but not for $SO(3)$.

The grammatical reading: the distinctions (rotation in 3D space vs. unitary transformations in 2D complex space) appear different. But when arranged under the ruler of the Killing form and forced to close, they yield the same Lie algebra. The difference is in the global distinctions (the group, not the algebra), which the grammatical function (operating at the Lie algebra level) does not see.

6.3 $\mathfrak{so}(4) \cong \mathfrak{su}(2) \oplus \mathfrak{su}(2)$

The Dynkin diagram of $\mathfrak{so}(4)$ is $D_2$, which is two disconnected nodes: $\circ \;\; \circ$. This means the algebra decomposes as a direct sum of two rank-1 algebras. Since the only rank-1 simple Lie algebra is $A_1 = \mathfrak{su}(2)$, we have:

This is the algebra behind the separation of the electromagnetic field into self-dual and anti-self-dual components, and behind the Lorentz group's decomposition $SO(3,1) \cong SL(2,\mathbb{C})/\mathbb{Z}_2$.

6.4 The Pattern

All accidental isomorphisms follow from the same mechanism: the Dynkin diagram at low rank coincides with another diagram from a different family. The grammatical function, given the same arrangement (Dynkin diagram), produces the same output (Lie algebra), regardless of what the nodes were "supposed" to represent. The "accident" is that different families converge on the same diagram at low ranks. But in the grammatical framework, this is not an accident — it is evidence that the Dynkin diagram is the grammar, and the output depends only on the diagram, not on the family label.

6.5 The Grammatical Reading

The lesson: the grammatical function is structure-blind to the semantic content of distinctions. It cares only about their arrangement, not about what they "mean." Quantum spin and classical rotation are semantically different but grammatically identical at the Lie algebra level.

7. Domain 4: Galois Groups and the Langlands Program

7.1 Galois Theory: Symmetries of Equations

Given a polynomial $f(x) \in \mathbb{Q}[x]$, its Galois group $\text{Gal}(f)$ is the group of permutations of its roots that preserve all algebraic relations among them. The Galois group is a symmetry: it encodes which roots are indistinguishable from the perspective of $\mathbb{Q}$.

The distinctions $\mathcal{D}$ are the roots of the polynomial. The arrangement $\mathcal{A}$ is the permutation action of $\text{Gal}(f)$ on the roots. The ruler $\mathcal{R}$ is the arithmetic of $\mathbb{Q}$ (or its completions). The closure condition $\mathcal{C}$ is the requirement that the Galois group act as automorphisms of the splitting field — it must preserve all polynomial relations. The output $\mathcal{S}$ is the Galois group itself.

7.2 Galois Groups as Lie Groups

The deep connection: Galois groups of certain extensions share the identical algebraic structure with Lie groups.

Specifically, the absolute Galois group $G_{\mathbb{Q}} = \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ has a rich representation theory. Its $\ell$-adic representations (for a prime $\ell$) are continuous homomorphisms:

These representations "look like" they come from algebraic geometry — from the étale cohomology of varieties over $\mathbb{Q}$. This is the insight behind the Fontaine-Mazur conjecture and much of modern arithmetic geometry.

The Langlands program proposes that such Galois representations correspond to automorphic representations — objects from harmonic analysis on adele groups. Schematically:

$$\left\{\text{$n$-dimensional Galois reps}\right\} \longleftrightarrow \left\{\text{automorphic reps of } GL(n)\right\}$$

This is a correspondence between two columns:

• Arithmetic column: Galois groups, number fields, $p$-adic completions
• Geometric column: Lie groups, automorphic forms, Archimedean completions

Both columns are instances of the grammatical function, and Langlands proposes they are the same grammar, just accessed through different completions.

7.3 The Adelic Unity

The adele ring $\mathbb{A}_{\mathbb{Q}}$ is the restricted product of all completions of $\mathbb{Q}$:

Automorphic forms are naturally defined on adele groups $GL(n, \mathbb{A}_{\mathbb{Q}})$, which means they simultaneously encode information about all completions. This is the mathematical structure behind the "adelic frontier" — the idea that closure must hold across all completions simultaneously.

7.4 The Grammatical Reading

The Langlands program asserts that these two columns — two different inputs to $\mathcal{G}$ — produce the same output: a correspondence between Galois and automorphic objects. The grammatical function is invariant; the input changes; the correspondence emerges.

7.5 Why This Matters for Physics

If the grammatical function is invariant across arithmetic and geometric domains, and if physics lives in the geometric column (Lie groups, representations, harmonic analysis), then there must be an arithmetic shadow of every physical symmetry — a Galois-theoretic counterpart. The Langlands program is the dictionary between them. The adelic frontier asks: can we compute the dictionary entries?

8. Domain 5: The Standard Model Gauge Group

8.1 The Gauge Group

The Standard Model of particle physics is a gauge theory with gauge group:

• $SU(3)_C$: quantum chromodynamics (color), the strong force
• $SU(2)_L$: weak isospin, acting only on left-handed fermions
• $U(1)_Y$: hypercharge, a continuous abelian symmetry

This is not the most general gauge group one could write down. It is highly specific. Why this group?

8.2 Distinctions: The Observed Particle Content

The distinctions are the elementary fermions we observe (or, more precisely, the representations under which they transform). There are:

• Quarks: come in three colors (fundamental of $SU(3)_C$), form left-handed $SU(2)_L$ doublets and right-handed singlets
• Leptons: color singlets, left-handed $SU(2)_L$ doublets, right-handed singlets
• Three generations: the pattern repeats

These are the given distinctions — the "vocabulary" of the Standard Model. We do not (yet) have a theory of why these distinctions exist rather than others.

8.3 Arrangement: The Product Group Structure

The arrangement is the tensor product of representations under the three gauge group factors. Each fermion transforms as $R_C \otimes R_L \otimes R_Y$, where $R_C$ is an $SU(3)$ representation, $R_L$ an $SU(2)$ representation, and $R_Y$ a $U(1)$ representation (labeled by hypercharge $Y$).

8.4 Ruler: The Gauge Couplings

The ruler $\mathcal{R}$ is the set of gauge couplings $g_3, g_2, g_1$ (for $SU(3)$, $SU(2)$, and $U(1)$ respectively). These are not fixed by the grammar — they run with energy scale (renormalization group flow) and their values at any given scale are contingent. However, their ratios may be constrained by unification or adelic considerations.

8.5 Closure: Anomaly Cancellation Constrains the Group

As discussed in Section 5, anomaly cancellation is the closure condition. Given the particle content (distinctions), anomaly cancellation uniquely determines:

• The hypercharge assignments (up to overall normalization)
• That the gauge group must include an $SU(N_c)_C$ factor (where $N_c$ is the number of colors, observed to be 3) and an $SU(2)_L$ factor (for weak doublets)

What the grammar does not determine:

• Why three colors rather than $N$ colors
• Why three generations rather than $N_g$ generations
• Why $SU(2)_L$ is chiral (acts only on left-handed fermions)
• The number of spatial dimensions (which affects the spinor representations)

These are the contingent inputs — the "vocabulary" that the grammar accepts but does not generate.

8.6 The Grammatical Reading

8.7 The Unreasonable Effectiveness of the Grammar

The Standard Model is remarkably constrained. Once the particle content is specified, almost everything else follows:

• The gauge group is constrained to the product form $SU(N_c) \times SU(2) \times U(1)$ (up to additional $U(1)$ factors)
• The hypercharge assignments are uniquely determined
• The chiral structure (left-handed doublets, right-handed singlets) is required by anomaly cancellation

This is the "unreasonable effectiveness" of the grammatical function in physics. The grammar does not explain why quarks and leptons exist, or why there are three generations. But given that they exist, the grammar explains why the rest of the structure takes the precise form it does.

9. The Ontological Hierarchy: Cross Ratios

9.1 Ostrowski's Theorem and the Primacy of Ratios

Ostrowski's theorem (1918) states: up to equivalence, the only non-trivial absolute values on $\mathbb{Q}$ are:

• The usual Archimedean absolute value $\lvert x \rvert_\infty$, whose completion is $\mathbb{R}$
• The $p$-adic absolute values $\lvert x \rvert_p$ (one for each prime $p$), whose completion is $\mathbb{Q}_p$

A ratio — a rational number $\frac{a}{b}$ — is the same element in $\mathbb{R}$ and in every $\mathbb{Q}_p$. The rationals $\mathbb{Q}$ are the invariant core beneath all completions.

This establishes an ontological hierarchy:

1. Integers $\mathbb{Z}$: the most primitive objects (counts, distinctions)

1. Ratios $\mathbb{Q}$: comparisons of integers

1. Cross ratios: comparisons of ratios (projective invariants)

1. Completions ($\mathbb{R}, \mathbb{Q}_p$): ways of filling gaps between ratios

Two distinct claims are at work here, and it is important to separate them.

Mathematical claim (proven): Cross ratios of rational points are rational numbers, and rational numbers are the same element in $\mathbb{R}$ and in every $\mathbb{Q}_p$. Therefore, cross ratios are completion-independent — they are well-defined without choosing a particular completion. This follows from Ostrowski's theorem and is a standard mathematical fact.

Philosophical claim (proposed): Because cross ratios are completion-independent, they are ontologically prior — more fundamental in the order of being — to completions. The structure of correlation — the pattern of distinctions relative to each other — is defined before any choice of ruler is made. This is a methodological commitment, not a mathematical theorem: it asserts that ruler-independent quantities are the proper foundation for physical law, and that physical parameters should ultimately be expressible as ratios (or cross ratios) of more primitive quantities.

The distinction matters. The mathematical claim is rigorous and constrains what forms a theory can take. The philosophical claim is a research program — a bet about where deeper explanations will be found. Throughout this section, we flag which type of claim is being advanced.

9.2 Cross Ratios as Projective Invariants

Given four collinear points $a, b, c, d$ in a projective line over any field, the cross ratio is:

The cross ratio is invariant under all projective transformations (Möbius transformations). It is the fundamental numerical invariant of projective geometry — the only quantity that survives when we strip away coordinate choices, basis choices, and reference frames.

If the four points have rational coordinates, the cross ratio is a rational number. As such, it is the same rational number embedded in $\mathbb{R}$, in $\mathbb{Q}_2$, in $\mathbb{Q}_7$, and so on. It does not depend on the completion — it lives in the base field $\mathbb{Q}$ that all completions share.

9.3 Every Real Number Is a Cross Ratio

On the real projective line $\mathbb{RP}^1$, fix three distinct points — say $0, 1, \infty$. As the fourth point $x$ runs over $\mathbb{R} \cup \{\infty\}$, the cross ratio $(x, 0; 1, \infty)$ sweeps out all real numbers. The map $x \mapsto (x, 0; 1, \infty)$ is a bijection from $\mathbb{RP}^1$ to $\mathbb{R} \cup \{\infty\}$.

Thus: every real number is a cross ratio of some four collinear points. The Archimedean real numbers are the range of the cross ratio function on the real projective line. The reals are not ratios, but they are values of the cross ratio — objects one level up in the same hierarchy.

The rational numbers correspond to cross ratios of rational configurations. The irrationals require the fourth point to be a limit of rational points — i.e., they require the completion. The real numbers are the closure (in the real topology) of the set of cross ratios of rational configurations.

9.4 Implications for Physical Parameters

The free parameters of the Standard Model — fermion masses, mixing angles, gauge couplings — are currently specified as real numbers. If the ontological hierarchy is correct, these parameters should, at a deeper level, be expressible as cross ratios of something.

What is the "something"? Candidates include:

• Ratios of vacuum expectation values
• Geometric invariants of compactification manifolds (in string theory)
• Values of automorphic functions at special points (in the Langlands program)
• Cross ratios of points in a moduli space

The claim is not that we can currently compute these parameters — we cannot. The claim is that the grammatical function suggests a form for the answer: the parameters must be ratios (or cross ratios) to be ruler-independent, because the grammar operates at the level of ratios, before completion.

10. The Adelic Frontier

10.1 The Question

The grammatical function, as defined, operates within a single ruler (a single completion). The Cartan classification uses the Archimedean ruler (real inner products). Anomaly cancellation uses real-valued coefficients (normalized in a specific scheme). The Standard Model is formulated over $\mathbb{R}$ and $\mathbb{C}$.

But Ostrowski's theorem tells us there are infinitely many rulers — one Archimedean, infinitely many $p$-adic. The rational numbers that underlie all ratios are simultaneously embedded in all completions. A cross ratio of rational points is the same number in every completion.

This raises the adelic frontier question:

> If a symmetry structure must be consistent — must "close" — under all rulers simultaneously, does this force the distinctions themselves?

In other words: can we run the grammatical function in reverse? Given that closure must hold across all completions (the adelic product formula links all valuations), can we deduce what the distinctions must be?

10.2 The Adelic Product Formula

The fundamental identity linking all completions of $\mathbb{Q}$ is the adelic product formula:

where the product runs over all primes $p$ and the Archimedean place $\infty$. This formula says that the valuations of a rational number across all completions are not independent — they multiply to 1.

This is the mathematical expression of the idea that the rational number is one object seen through many lenses, and the lenses are constrained to be consistent with each other.

10.3 The Research Program

The adelic frontier suggests a concrete research program:

1. Adelic Cartan-Killing: Reformulate the classification of Lie algebras over the adeles. The Cartan integers $A_{ij}$ are rational numbers. Require that they be integers in every completion (which is automatic for integers, but constrains which rational numbers are allowed). Does this yield additional restrictions beyond the standard classification?

1. Adelic anomaly cancellation: Formulate anomaly cancellation as a condition over the adeles. Anomaly coefficients are rational numbers (ratios of group-theoretic invariants). Require that the cancellation hold $p$-adically as well as Archimedeanly. Does this yield constraints on the number of colors or generations?

1. Adelic Standard Model: Formulate the Standard Model over the adele ring $\mathbb{A}_{\mathbb{Q}}$. Automorphic forms on adele groups naturally encode all completions. Does the requirement of adelic automorphy force any of the currently free parameters?

1. Reverse the grammar: Given the grammatical function $\mathcal{G}$, can we determine the set of all possible inputs $(\mathcal{D}, \mathcal{A})$ that yield consistent outputs under all rulers simultaneously? This is the "inverse problem" for $\mathcal{G}$.

These questions are proposed here as a research program. They are not currently active areas of investigation — to our knowledge, no published work addresses "adelic Cartan-Killing" or "adelic anomaly cancellation" — but they are mathematically well-posed (or can be made so with further specification). They are deep and largely open. They translate the philosophical slogan "can logic close on itself?" into concrete mathematical research directions.

10.4 The Logical Limit

The deepest form of the adelic frontier question is:

> Given nothing but the requirement of internal consistency — that distinctions, under any ruler, must form a closed structure — what distinctions are possible?

If the answer is a unique set of distinctions (a specific particle content, a specific gauge group, specific coupling ratios), then the grammatical function would not merely describe the symmetries we observe — it would predict them. The universe would be the unique consistent solution to the requirement that distinctions close under all possible rulers.

This is the logical limit of the program. We are far from it. But the grammatical function provides the framework for asking the question.

11. Conclusion: The Grammar and Its Limits

11.1 What the Grammar Determines

The grammatical function $\mathcal{G}$ determines:

1. The classification of possible symmetry structures (Cartan-Killing). Given a rank $r$, the possible simple Lie algebras are forced by the crystallographic condition.

1. Consistency conditions on existing structures (anomaly cancellation). Given a set of particle representations, the hypercharge assignments are forced by anomaly cancellation.

1. Structural identities across domains (accidental isomorphisms). Low-rank coincidences are not accidents but consequences of the grammar producing the same output from structurally identical inputs.

1. The hypercharge assignments of the Standard Model (given the particle content and the gauge group factors). Anomaly cancellation uniquely determines the hypercharges and constrains the gauge group to the product form $SU(N_c) \times SU(2) \times U(1)$ (with $N_c=3$ observed, and up to additional $U(1)$ factors). The grammar explains the structure given the inputs; it does not generate the inputs themselves.

1. A correspondence between arithmetic and geometry (Langlands program). The grammar is invariant across completions; Langlands is the dictionary between its arithmetic and geometric realizations.

These are substantial achievements. They show that the grammatical function is not an empty metaphor — it identifies a genuine structural unity across five independent mathematical and physical domains.

11.2 What the Grammar Does Not Determine

Honesty requires acknowledging what $\mathcal{G}$ does not explain:

1. The number of colors ($N_c = 3$). The grammar works for any $N_c \geq 2$ (with appropriate anomaly cancellation conditions).

1. The number of generations ($N_g = 3$). Anomaly cancellation cancels generation by generation; additional generations neither help nor hinder.

1. Fermion masses and mixing angles. These are Yukawa couplings — free parameters of the Standard Model. They may be determined by physics beyond the Standard Model (e.g., flavor symmetries, seesaw mechanisms), but the grammar does not constrain them.

1. The dimensionality of spacetime. The Standard Model is formulated in $3+1$ dimensions. The grammar does not explain why.

1. The specific values of gauge couplings. The grammar constrains ratios (e.g., anomaly cancellation), but not absolute magnitudes.

1. Why these distinctions and not others? The grammar takes distinctions as given. It does not explain why quarks and leptons exist, why they come in these specific representations, or why the gauge group is $SU(3) \times SU(2) \times U(1)$ rather than something else. These are the contingent vocabulary — the inputs to the grammar, not its outputs.

Beyond the Standard Model. The grammatical function, as formulated here, operates on the observed particle content of the Standard Model. Extensions to supersymmetry, grand unified theories (GUTs), or other beyond-Standard-Model scenarios would require extending the input distinctions (e.g., superpartners, additional gauge bosons) and re-running the closure condition. For GUTs, the grammatical function raises a pointed question: if $SU(5)$ or $SO(10)$ with the Standard Model fermion content embedded in the $\bar{5} \oplus 10$ (or $16$) is also anomaly-free, then the Standard Model gauge group is not the unique consistent output — it is one of several, with GUT embedding as an additional layer of structure. The framework does not currently discriminate between these possibilities. The adelic frontier may ultimately constrain the space of allowed GUT embeddings; this is a direction for future work.

A note on discrete symmetries. The present paper focuses on continuous symmetry structures (Lie algebras, gauge groups, Lie group representations). Nature also exhibits discrete symmetries — charge conjugation (C), parity (P), time reversal (T), and their combinations. These are not described by Lie algebras and do not obviously fit the four-component grammatical structure (they lack a continuous "ruler" in the metric sense). However, Domain 4 (Galois groups) demonstrates that the grammatical function can encompass discrete symmetries under an appropriate interpretation of the ruler (valuation-theoretic rather than metric). Whether and how the grammatical function extends to physical discrete symmetries — particularly the violation of P and CP in weak interactions — is a question we leave open. The title's reference to "symmetry" should be understood as primarily concerning continuous symmetry structures, with discrete symmetries as a recognized but undeveloped frontier.

This demarcation is essential. The grammatical function is a powerful organizing principle, but it is not a theory of everything. It is a theory of structure — of what forms are possible given certain starting points — not a theory of content — of why those starting points are what they are.

11.3 Consilience as Evidence

William Whewell (1840) coined the term consilience to describe the situation where a hypothesis explains phenomena from multiple independent domains. The convergence of evidence from group theory, quantum field theory, geometry, number theory, and particle physics on the same grammatical pattern constitutes consilience in Whewell's sense. We note a nuance: Domains 1 (Cartan-Killing) and 3 (accidental isomorphisms) are closely related — low-rank isomorphisms follow directly from the Cartan-Killing classification — so they are better understood as two facets of one mathematical result rather than two fully independent lines of evidence. Similarly, Domain 5 (the Standard Model gauge group) is an application of the closure condition studied in Domain 2 (anomaly cancellation) to specific particle content. A conservative count yields approximately three meaningfully independent domains (Lie algebra classification, anomaly cancellation in QFT, and the Langlands program), with the Langlands program carrying acknowledged conjectural weight. The convergence of three or four domains on the same abstract pattern remains genuinely striking, and nothing in our argument depends on the exact count.

The fact that the same structure — distinctions, arranged, under a ruler, forced to close — appears in all five domains, discovered independently by different communities at different times, is evidence that the pattern is real. It is not a projection of our cognitive biases onto disparate phenomena. It is a structural identity.

11.4 Open Questions

The framework opens several directions for future work:

1. Adelic Lie theory: Develop the Cartan-Killing classification over the adeles. Are there adelic constraints that the standard (Archimedean-only) classification misses?

1. Adelic quantum field theory: Formulate anomaly cancellation over the adeles. Does this constrain the number of colors or generations?

1. The inverse problem: Characterize the set of all possible inputs $(\mathcal{D}, \mathcal{A})$ to $\mathcal{G}$ such that the output is consistent under all completions simultaneously.

1. Parameter computation: Can the grammatical function, extended to the adelic setting, compute (or at least constrain) the free parameters of the Standard Model?

1. Langlands as grammar: Make precise the claim that the Langlands correspondence is the grammatical function applied to the arithmetic and geometric columns simultaneously.

1. Formalization: Develop a rigorous mathematical definition of $\mathcal{G}$ as a functor between appropriate categories, making the "invariance across domains" claim into a theorem rather than an observation.

11.5 Final Reflection

The grammatical function is a pattern, not a proof. It is an observation about structure, not a derivation from axioms. But patterns at this level of generality, spanning five independent domains, are rare in science. When they appear — when the same abstract structure recurs in apparently unrelated contexts — it is usually because something deep is at work.

The Cartan-Killing classification, anomaly cancellation, accidental isomorphisms, the Langlands program, and the Standard Model gauge group are not randomly chosen examples. They are the central structural results of their respective fields. That they share a common grammar suggests that symmetry — in all its manifestations — is not a collection of disparate phenomena but a single phenomenon, viewed through different lenses.

The ruler is a choice. The distinctions are contingent. But the grammar — the requirement that distinctions close under internal consistency — may be necessary. If so, then symmetry is not something we impose on the world. It is something the world imposes on itself, by the mere act of being distinct.

References

Lie Theory and Classification

• Cartan, É. (1894). Sur la structure des groupes de transformations finis et continus. Thèse, Paris.
• Dynkin, E. B. (1947). The structure of semi-simple Lie algebras. Uspekhi Matematicheskikh Nauk, 2(4), 59–127.
• Humphreys, J. E. (1972). Introduction to Lie Algebras and Representation Theory. Springer.
• Killing, W. (1888–1890). Die Zusammensetzung der stetigen endlichen Transformationsgruppen. Mathematische Annalen, 31, 33, 34, 36.
• Serre, J.-P. (1966). Algèbres de Lie semi-simples complexes. Benjamin.

Quantum Field Theory and Anomalies

• Adler, S. L. (1969). Axial-vector vertex in spinor electrodynamics. Physical Review, 177(5), 2426–2438.
• Bardeen, W. A. (1969). Anomalous Ward identities in spinor field theories. Physical Review, 184(5), 1848–1859.
• Bell, J. S., & Jackiw, R. (1969). A PCAC puzzle: π⁰ → γγ in the σ-model. Nuovo Cimento A, 60, 47–61.
• Bouchiat, C., Iliopoulos, J., & Meyer, P. (1972). An anomaly-free version of Weinberg's model. Physics Letters B, 38(7), 519–523.
• Green, M. B., & Schwarz, J. H. (1984). Anomaly cancellations in supersymmetric D = 10 gauge theory and superstring theory. Physics Letters B, 149(1–3), 117–122.
• Gross, D. J., & Jackiw, R. (1972). Effect of anomalies on quasi-renormalizable theories. Physical Review D, 6(2), 477–493.
• Peskin, M. E., & Schroeder, D. V. (1995). An Introduction to Quantum Field Theory. Westview Press.
• Weinberg, S. (1996). The Quantum Theory of Fields, Vol. 2: Modern Applications. Cambridge University Press.
• Wess, J., & Zumino, B. (1971). Consequences of anomalous Ward identities. Physics Letters B, 37(1), 95–97.
• Witten, E. (1983). Global aspects of current algebra. Nuclear Physics B, 223(2), 422–432.

P-adic Numbers and Adeles

• Hasse, H. (1923). Über die Darstellbarkeit von Zahlen durch quadratische Formen im Körper der rationalen Zahlen. Journal für die reine und angewandte Mathematik, 152, 129–148.
• Hensel, K. (1897). Über eine neue Begründung der Theorie der algebraischen Zahlen. Jahresbericht der Deutschen Mathematiker-Vereinigung, 6(3), 83–88.
• Koblitz, N. (1984). p-adic Numbers, p-adic Analysis, and Zeta-Functions (2nd ed.). Springer.
• Ostrowski, A. (1918). Über einige Lösungen der Funktionalgleichung φ(x)·φ(y) = φ(xy). Acta Mathematica, 41, 271–284.
• Tate, J. (1950). Fourier analysis in number fields and Hecke's zeta-functions. In J. W. S. Cassels & A. Fröhlich (Eds.), Algebraic Number Theory (1967), Academic Press.
• Weil, A. (1967). Basic Number Theory. Springer.

Langlands Program

• Langlands, R. P. (1970). Problems in the theory of automorphic forms. In Lectures in Modern Analysis and Applications III (pp. 18–61). Springer.
• Lafforgue, L. (2002). Chtoucas de Drinfeld et correspondance de Langlands. Inventiones Mathematicae, 147(1), 1–241.
• Ngô, B. C. (2010). Le lemme fondamental pour les algèbres de Lie. Publications Mathématiques de l'IHÉS, 111, 1–169.
• Scholze, P. (2012). Perfectoid spaces. Publications Mathématiques de l'IHÉS, 116, 245–313.
• Wiles, A. (1995). Modular elliptic curves and Fermat's Last Theorem. Annals of Mathematics, 141(3), 443–551.

Standard Model and Particle Physics

• Fritzsch, H., Gell-Mann, M., & Leutwyler, H. (1973). Advantages of the color octet gluon picture. Physics Letters B, 47(4), 365–368.
• Glashow, S. L. (1961). Partial-symmetries of weak interactions. Nuclear Physics, 22(4), 579–588.
• 't Hooft, G., & Veltman, M. (1972). Regularization and renormalization of gauge fields. Nuclear Physics B, 44(1), 189–213.
• Weinberg, S. (1967). A model of leptons. Physical Review Letters, 19(21), 1264–1266.

Philosophy of Science and Consilience

• Whewell, W. (1840). The Philosophy of the Inductive Sciences, Founded upon Their History. J. W. Parker.
• Wigner, E. P. (1960). The unreasonable effectiveness of mathematics in the natural sciences. Communications on Pure and Applied Mathematics, 13(1), 1–14.
• Wilson, E. O. (1998). Consilience: The Unity of Knowledge. Knopf.