The Endomorphic Collapse Traverses the Foundations of Mathematics
Arthur Stewart · Zenodo (CERN European Organization for Nuclear Research) · 2026
This quiver's canonical bilinear form is provably dead: indefinite, selecting no Dynkin type at all. One bit, a sign on a single vertex, is the entire distance from that form to the Cartan matrix of su(3) ⊕ su(2). That the form is provably dead is what makes the gauge content live in the bit and not in the graph. This paper is an inheritance walkthrough: a record of one formalism after another (counting, the path algebra, representation theory, and the canonical bilinear (Tits) form) reaching its own expressive limit, each limit proven and each naming the formalism that inherits the question. It starts at counting (the graded dimensions; counting cannot compose) and hands to the path algebra. The path algebra composes the Hamiltonian cycle γ₁ but cannot express the convergence at T as a relation: the three length-2 paths through T live in orthogonal idempotent components, and equating them would force e_S = e_L, which is false. It hands to representation theory. Under the convergence constraint dim(V_T) = 1 together with the involution conditions, every vertex space in an indecomposable representation is forced to dimension at most one (the rank argument). The quotient algebra cannot produce the braid relation ((γ₁γ₂)³ is a nonzero length-21 element, not e_L) and cannot produce nonzero commutation (γ₁γ₃ = 0 by vertex mismatch). It hands to the canonical bilinear invariant. The Tits form of Q on the cycle-support basis is indefinite, with negative diagonal and one isotropic generator, so it is not a Cartan matrix of any Dynkin type. Here the inheritance stops with a proven negative result: Q, by its own canonical invariants, does not select a finite reflection group; obtaining a Dynkin type requires structure added from outside Q. That added structure is a single binary distinction (vertex T carries a sign, vertex C does not), drawn from the functional anatomy of the endomorphism (Stewart, 2026c) and fixed before the path algebra is constructed. Running the four axioms of occurrence on that one distinction yields a bilinear form B, shown unique up to diagonal scaling, under which the same cycle generators that gave the dead Tits form realize the Cartan matrix of A₂ × A₁, returning the Lie algebra su(3) ⊕ su(2) via the Cartan-Killing correspondence. The difference between an indefinite, structure-selecting-nothing form and the strong-plus-weak gauge algebra is one bit: which vertex carries the sign. The cycle-generator basis has rank three, saturating A₂ × A₁; the fourth generator required for the u(1) of the full Standard Model gauge algebra is not supplied by H₁(Q; ℝ) and is developed in companion work (Stewart, 2026q). The proven deadness of the canonical form is what makes the gauge content carried by the single added distinction rather than by the graph, which is the load-bearing result. The inheritance sequence is itself the four-position cycle: counting (logic, distinction) → path algebra (composition) → representation theory (the type judgment dim(V_T) = 1, the many-to-one identity-by-collapse at T) → the bilinear morphism B (composition again). The paper builds mathematical structure in the order mathematics builds it, by letting each formalism break at its own ceiling and naming its heir. What the paper does and what the paper is are the same act, because for an occurrence doing γ₁ and being γ₁ are one event. The construction performed below is one γ₁ traversal of the cycle whose bilinear invariant the construction returns. The gauge content that invariant carries, su(3) ⊕ su(2) at the rank the cycle basis supplies, is read off from inside the cycle by the cycle running. Mathematics is one γ₁. Gauge structure is what γ₁ produces. The paper is the act in which the two are seen to be the same cycle viewed from opposite sides of itself. **Keywords:** quiver, path algebra, quiver representations, quotient algebra, Tits form, Euler form, Cartan matrix, Coxeter group, Dynkin diagram, root system, Lie algebra, special unitary group, first homology