Motives, Periods, and Amplitudes: The Coalgebraic Anatomy of Physical Representation

1 Introduction

1.1 The representation library and where Part II sits

The series A Math$\to$Physics Representation Library formalizes the idea that mathematics functions as the syntax of physical representation: physical observables are obtained as realizations of structured mathematical information. The program is deliberately modular. Rather than positing a single universal functor from all of mathematics to all of physics — which we argue in 11 is unlikely to be well defined — we build a ladder of domain-indexed modules, each of which is defensible on its own and each of which composes with its neighbours to add an emergent structural property.

Part I introduced the ambient formalism: a category $\mathsf{Dom}$ of mathematical domains, a category or higher category ${\mathsf{Math}}_d$ of structures in each domain, a category $\mathsf{Phys}$ of physical-representation targets, and the bracket notation $[[M]{]}_{\mathsf{Phys}}$ for the physical representation assigned to $M$. Its central construct is the realization pipeline

together with a three-level epistemic-status system that every module must carry (1.3). In Part I the maps $\Phi$, ${\mathrm{Real}}_{\alpha }$, $\mathrm{Obs}$ are abstract: placeholders awaiting concrete content.

This paper provides that content in the motivic channel. We take $\Phi$ to be “pass to the motive” $X\mapsto \mathrm{Mot}(X)$, we take ${\mathrm{Real}}_{\alpha }$ to be the classical realization functors of a motive (Betti, de Rham, Hodge, étale), and we take $\mathrm{Obs}$ to be the period map $\mathrm{per}$. Under this dictionary the compressed master slogan of the series, $\text{observable}=\mathrm{Real}(\text{abstract structure})$, becomes the motivic refinement

Here ${\mathcal{A}}^{\mathfrak{m}}$ is a motivic amplitude object — a pre-numerical object living in a category or comodule of motivic periods — $\mathcal{A}$ is the physical amplitude obtained by taking periods, $\Delta$ is the coaction that exposes the amplitude’s internal anatomy, and $\delta$ is the cobracket that isolates its primitive antisymmetric pieces.

1.2 The emergent property added by Part II

In the language of the modular ladder, each level adds an emergent property that its predecessor could only gesture at. Part I could speak of “realization channels ${\mathrm{Real}}_{\alpha }$” only in the abstract. Part II makes those channels concrete and numerically checkable: Betti/de Rham/Hodge/étale realizations are honest functors with honest comparison isomorphisms, and periods are honest numbers one can compute. More importantly, Part II endows observables with an internal coalgebraic anatomy: the coaction and cobracket decompose an amplitude into primitive informational pieces. Where Part I’s Decomposition Axiom merely asserted that “compositional observables admit a decomposition operation,” Part II identifies that operation with the Goncharov coproduct and its cobracket, and proves structural theorems about it. This is the sense in which coalgebras are the decomposition laws of physics.

1.3 The epistemic-status discipline

Following Part I we tag every dictionary entry and every claim with one of three epistemic-status labels, and we regard these labels as part of the formalism, not as decoration.

Composite labels such as $\mathsf{S}$/$\mathsf{H}$ and $\mathsf{H}$/$\mathsf{P}$ occur where an entry is standard as pure mathematics but heuristic or speculative in its physical reading. We preserve these composite labels verbatim. The discipline forces us to state, for every amplitude class, whether the motivic coaction is an established fact (status $\mathsf{S}$, e.g. Panzer–Schnetz on ${\varphi }^4$ periods [10]) or a conjectural extension (status $\mathsf{H}$/$\mathsf{P}$, e.g. the cosmic Galois group [8]).

1.4 Contributions

1. A precise formulation of the functional-essence reading of a motive as a status-$\mathsf{H}$ semantic layer over Grothendieck’s standard notion, with a boxed caution (10) that prevents the reading from being mistaken for the mathematical definition.

2. An instantiation of Part I’s realization pipeline (1) in the motivic channel, identifying $\Phi ,{\mathrm{Real}}_{\alpha },\mathrm{Obs}$ with the motive, the cohomological realizations, and the period map (3, 4).

3. A self-contained proof of the Conditional Amplitude Decomposition theorem (22), stating that a realization channel — realized as a homomorphism of the motivic-Galois Hopf algebras induced by a Tannakian realization functor — transports the coaction on ${\mathcal{A}}^{\mathfrak{m}}$ to a decomposition of the realized amplitude, together with an explicit statement of where the S/H/P labels bite.

4. A structure theorem for the Goncharov Lie coalgebra (26): the weight-graded primitives cogenerate ${\mathcal{L}}_G(F)$, and weight-one primitives are $F^{\times }\otimes \mathbb{Q}$.

5. Multiplicativity of the period pairing (14) and a Non-Tate Obstruction limitation theorem (31) giving a citable, rigorous form of the series’ Limitation 4.

6. A compiling Haskell formalization of period data, motivic amplitude objects, coactions and cobrackets, and the Goncharov Lie coalgebra, together with an idiomatic Lean type-signature sketch (10).

1.5 Outline

2 recalls the Part I framework and fixes motivic notation. 3 treats motives as functional essence and the realization functors. 4 develops periods and proves multiplicativity of the period pairing. 5 introduces motivic amplitude objects, coalgebraic anatomy, and proves the Conditional Amplitude Decomposition theorem. 6 constructs the Goncharov Lie coalgebra and proves the generation theorem. 7 gives the physics dictionary — coproducts, cuts, factorization, residues, positive geometries, and the Connes–Kreimer Hopf algebra. 8 proves the Non-Tate Obstruction theorem and states the conditional cosmic Galois compatibility. 9 collects the results. 10 presents the Haskell and Lean formalizations. 11 discusses limitations and the bridges to Parts I and III, and 12 concludes.

2 Mathematical Framework

2.1 Recollection of the Part I formalism

We briefly recall the ambient objects; see Part I for details.

Part I imposes four axioms on the pipeline (1), each of which Part II will instantiate concretely:

The whole of Part II may be read as the statement: in the motivic channel, 6 is the Goncharov coproduct, and 3 is the period map.

2.2 Motivic notation and standing conventions

We work over a base field $k$ of characteristic zero, usually a number field, with a fixed embedding $k\hookrightarrow \mathbb{C}$. We write ${\mathrm{Var}}_k$ for smooth quasi-projective varieties over $k$. We assume a Tannakian category $\mathrm{MM}(k)$ of mixed motives (or, in the concrete cases we use, the category $\mathrm{MTM}(k)$ of mixed Tate motives, which is unconditionally available over number fields by Levine, Deligne–Goncharov, and Voevodsky, and whose period side is controlled by Brown [6]). All tensor products without a subscript are over $\mathbb{Q}$. For a graded vector space $V={⨁}_n{V}_n$ we write $\mathrm{wt}(v)=n$ for $v\in V_n$ and call $n$ the weight.

The Betti and de Rham realizations of a motive are related by the comparison isomorphism

and periods are the entries of the matrix of $\mathrm{comp}$ in chosen rational bases. This is the arithmetic origin of (2): a period is what one measures when one realizes a motive both algebraically and topologically and compares the two.

3 Motives as Functional Essence

3.1 The standard notion and the heuristic layer

Grothendieck’s motives are the universal cohomological invariants of algebraic varieties: $\mathrm{Mot}(X)$ is designed so that every “reasonable” (Weil) cohomology theory factors through a single realization functor out of the category of motives. Betti, de Rham, $\ell$-adic étale, and crystalline cohomologies are then shadows of one motivic object.

Our series overlays on this a semantic reading, which we flag as heuristic.

3.2 The realization chain

Under 9, Part I’s pipeline specializes to the motivic realization chain

with the identifications $\Phi =\mathrm{Mot}$, $\mathrm{Obs}=\mathrm{per}$. We display the chain, and its relation to Part I’s abstract pipeline, as a commuting diagram.

$X$

$\mathrm{Mot}(X)$

${\mathrm{Real}}_{\alpha }(\mathrm{Mot}(X))$

$\mathcal{A}$

$X^{\prime }$

$\mathrm{Mot}(X^{\prime })$

${\mathrm{Real}}_{{\alpha }^{\prime }}(\mathrm{Mot}(X^{\prime }))$

$\mathcal{A}$

• $X$→$\mathrm{Mot}(X)$$\mathrm{Mot}$
• $X$↓$X^{\prime }$$\sim \text{(gauge/duality)}$
• $\mathrm{Mot}(X)$→${\mathrm{Real}}_{\alpha }(\mathrm{Mot}(X))$${\mathrm{Real}}_{\alpha }$
• $\mathrm{Mot}(X)$↓$\mathrm{Mot}(X^{\prime })$$\text{same motive}$
• ${\mathrm{Real}}_{\alpha }(\mathrm{Mot}(X))$→$\mathcal{A}$$\mathrm{per}$
• ${\mathrm{Real}}_{\alpha }(\mathrm{Mot}(X))$↓${\mathrm{Real}}_{{\alpha }^{\prime }}(\mathrm{Mot}(X^{\prime }))$$\text{comparison}$
• $\mathcal{A}$=$\mathcal{A}$
• $X^{\prime }$→$\mathrm{Mot}(X^{\prime })$$\mathrm{Mot}$
• $\mathrm{Mot}(X^{\prime })$→${\mathrm{Real}}_{{\alpha }^{\prime }}(\mathrm{Mot}(X^{\prime }))$${\mathrm{Real}}_{{\alpha }^{\prime }}$
• ${\mathrm{Real}}_{{\alpha }^{\prime }}(\mathrm{Mot}(X^{\prime }))$→$\mathcal{A}$$\mathrm{per}$

4 Periods and the Period Pairing

4.1 Period data and the period map

Period data are the concrete carriers of the pairing between de Rham data ($\omega$) and Betti data ($\Gamma$); the number $\mathrm{per}(\Pi )$ is exactly a matrix entry of the comparison isomorphism (3) for the motive $M=H^{\dim }(X,D)$. The Kontsevich–Zagier period ring $\mathcal{P}$ is the $\mathbb{Q}$-algebra generated by all such numbers [1]; it contains $\overline{\mathbb{Q}}$, $\log 2$, $\pi$, $\zeta (3)$, and the amplitude constants of perturbative quantum field theory.

4.2 Multiplicativity of the period pairing

The following theorem is the rigorous backbone that licenses treating $\mathcal{A}=\mathrm{per}({\mathcal{A}}^{\mathfrak{m}})$ as respecting the physical amplitude’s additive and multiplicative structure.

5 Motivic Amplitudes and Coalgebraic Anatomy

5.1 Coalgebras, comodules, and the coaction

We recall the coalgebraic vocabulary in the form we use it.

Because $\mathcal{H}$ is connected and graded, the reduced coproduct

is well defined and lands in $\bar{\mathcal{H}}\otimes \bar{\mathcal{H}}$: connectedness forces every term of $\Delta (x)$ other than $x\otimes 1$ and $1\otimes x$ to have both tensor factors of positive weight. (This is the point at which a general external comodule would fail — there is no canonical $1\otimes \mathrm{id}$ term for a bare comodule; the connected-graded-Hopf-algebra hypothesis supplies it.) The reduced coproduct is the physically meaningful part; its symmetrization and antisymmetrization give the coproduct and cobracket viewpoints.

5.2 The Conditional Amplitude Decomposition theorem

We now prove the central structural result: any realization channel that is monoidal transports the coalgebraic anatomy of ${\mathcal{A}}^{\mathfrak{m}}$ to a genuine decomposition of the realized amplitude. This is the theorem that makes 6 of Part I concrete.

5.3 Iterated coactions and the anatomy tree

Iterating the reduced coaction produces the full anatomy. Write ${\Delta }^{\prime (2)}=({\Delta }^{\prime }\otimes \mathrm{id}){\Delta }^{\prime }$, etc. Coassociativity ensures the iterates are well-defined up to the coalgebra axioms, and the maximal iteration terminates because weight strictly decreases in each nontrivial tensor factor.

6 The Goncharov Lie Coalgebra

6.1 Construction

We now construct the central object of Source 2 of the knowledge base — the Goncharov Lie coalgebra of a field — and prove its generation theorem.

The cobracket is the shadow, on primitives, of Goncharov’s explicit coproduct formula for the iterated integral $I(a_0;a_1,\dots ,a_N;a_{N+1})$:

whose combinatorics — sub-sequences of interpolation points — is the arithmetic mechanism behind “cuts” in the physics dictionary of 7.

6.2 The cogeneration theorem

6.3 The symbol as maximal iteration

The symbol of a weight-$n$ polylogarithm is the maximal iteration of the cobracket into weight-one pieces: $\mathcal{S}({\mathcal{A}}^{\mathfrak{m}})\in (F^{\times }\otimes \mathbb{Q}{)}^{\otimes n}$. It records the leaves of the anatomy tree of 24 in order, and is computed by fully un-shuffling the coproduct (9).

7 Coproducts, Cuts, and Factorization

7.1 The decomposition dictionary

The coalgebraic operations acquire direct physical readings. We reproduce the relevant part of the operations dictionary with status labels.

7.2 Cuts and discontinuities

The physical content of the cobracket is that a single cut of an amplitude — putting an internal propagator on shell, or taking a discontinuity across a branch point — is computed by the first entry of the coaction.

7.3 Factorization and positive geometries

At kinematic boundaries where an amplitude factorizes, the geometry underlying the period degenerates. In the positive-geometry description [12], an amplitude is the canonical form of a positive geometry $(X,X_{\ge 0})$, and its boundary strata — the faces of $X_{\ge 0}$ — are themselves positive geometries whose canonical forms are the factorized (residue) amplitudes.

7.4 The Connes–Kreimer Hopf algebra

On the renormalization side, the same coalgebraic grammar appears as the Connes–Kreimer Hopf algebra $H_{\mathrm{CK}}$ of Feynman graphs [11]: the coproduct

sums over divergent subgraphs $\gamma$ (with $\Gamma /\gamma$ the contracted graph), and the antipode $S$ implements the combinatorics of the renormalization $R$-operation (BPHZ forest formula). This is the coalgebra of subdivergence bookkeeping: where the Goncharov coproduct decomposes the value of an integral, the Connes–Kreimer coproduct decomposes the graph. The two are compatible via the period map, and their interaction — the “cosmic Galois” action on renormalization — is developed in 8 and, in the Hopf-algebraic renormalization direction, in Part VI of the series.

$\text{Feynman graph }\Gamma$

$\sum \gamma \otimes \Gamma /\gamma$

$\text{amplitude }\mathcal{A}=\mathrm{per}({\mathcal{A}}^{\mathfrak{m}})$

$\sum \mathrm{per}({\mathcal{A}}_{i,1}^{\mathfrak{m}})\otimes \mathrm{per}({\mathcal{A}}_{i,2}^{\mathfrak{m}})$

• $\text{Feynman graph }\Gamma$→$\sum \gamma \otimes \Gamma /\gamma$${\Delta }_{\mathrm{CK}}$
• $\text{Feynman graph }\Gamma$↓$\text{amplitude }\mathcal{A}=\mathrm{per}({\mathcal{A}}^{\mathfrak{m}})$$\text{Feynman rules}=\mathrm{per}\circ \mathrm{Mot}$
• $\sum \gamma \otimes \Gamma /\gamma$↓$\sum \mathrm{per}({\mathcal{A}}_{i,1}^{\mathfrak{m}})\otimes \mathrm{per}({\mathcal{A}}_{i,2}^{\mathfrak{m}})$$\mathrm{per}\otimes \mathrm{per}$
• $\text{amplitude }\mathcal{A}=\mathrm{per}({\mathcal{A}}^{\mathfrak{m}})$→$\sum \mathrm{per}({\mathcal{A}}_{i,1}^{\mathfrak{m}})\otimes \mathrm{per}({\mathcal{A}}_{i,2}^{\mathfrak{m}})$${\Delta }_{\mathrm{motivic}}$

8 The Non-Tate Obstruction and the Cosmic Galois Group

8.1 A limitation theorem

Not every amplitude is polylogarithmic. The following theorem gives the series’ Limitation 4 (“some amplitudes require elliptic, modular, non-Tate structures”) a precise, citable form.

8.2 The cosmic Galois group

Brown’s cosmic Galois group $G_c$ is a proposed pro-algebraic group acting on the ring of (motivic) periods of a QFT, compatible with the coaction [8, 9]. We record the conditional compatibility statement, carefully flagged.

9 Results

We collect the principal results of the paper and their epistemic status.

• 14 (Multiplicativity, status $\mathsf{S}$). The period pairing is additive and multiplicative: $\mathrm{per}({\Pi }_1\otimes {\Pi }_2)=\mathrm{per}({\Pi }_1)\mathrm{per}({\Pi }_2)$, so the period map is a ring homomorphism onto the Kontsevich–Zagier period ring. This licenses $\mathcal{A}=\mathrm{per}({\mathcal{A}}^{\mathfrak{m}})$ to respect factorization (16).

• 22 (Conditional Amplitude Decomposition, status $\mathsf{S}$ on a conditional hypothesis). Any realization channel, as a graded Hopf-algebra homomorphism $r_{\alpha }$ compatible with the coproduct, transports $\Delta ({\mathcal{A}}^{\mathfrak{m}})={\sum }_i{\mathcal{A}}_{i,1}^{\mathfrak{m}}\otimes {\mathcal{A}}_{i,2}^{\mathfrak{m}}$ to a decomposition of the realized amplitude. This is the concrete form of Part I’s Decomposition Axiom (6). The physical content is in whether a given amplitude admits a motivic lift in $\mathcal{H}$ (23).

• 24 (Termination, status $\mathsf{S}$). The iterated coaction of a weight-$n$ amplitude object terminates in at most $n$ steps at primitive leaves.

• 26 (Cogeneration, status $\mathsf{S}$). The weight-graded primitives cogenerate the Goncharov Lie coalgebra ${\mathcal{L}}_G(F)$, and weight-one primitives are $F^{\times }\otimes \mathbb{Q}$ (logarithms). Physically (status $\mathsf{H}$): all amplitude complexity is built from iterated cuts of logarithms.

• 29 (Discontinuity, status $\mathsf{S}$). The discontinuity of an amplitude across a branch point is the first coaction slot paired with the corresponding weight-one primitive.

• 31 (Non-Tate Obstruction, status $\mathsf{S}$). Elliptic (non-Tate) motivic lifts escape the mixed Tate coalgebra; the polylogarithmic anatomy is unavailable and one must pass to an elliptic-polylogarithm Hopf algebra. This is the rigorous form of the series’ Limitation 4.

• 33 (Cosmic Galois, status $\mathsf{H}$/$\mathsf{P}$). Conditional on a precise definition of the cosmic Galois group, its action commutes with the coaction and descends to the numerical amplitude ring. Presented as conjectural.

The logical dependency of the results is displayed below.

$\text{def:coalg: coalgebra/comodule}$

$\text{def:perioddatum: period datum}$

$\text{def:motamp: motivic amplitude}$

$\text{def:GLC: Goncharov coalgebra}$

$\text{thm:period-mult}$

$\text{thm:cad}$

$\text{thm:goncharov-gen}$

$\text{cor:factorize}$

$\text{prop:disc, thm:nontate, prop:cosmic}$

• $\text{def:coalg: coalgebra/comodule}$↓$\text{def:motamp: motivic amplitude}$
• $\text{def:perioddatum: period datum}$↘$\text{thm:cad}$
• $\text{def:motamp: motivic amplitude}$↓$\text{thm:cad}$
• $\text{def:motamp: motivic amplitude}$↙$\text{thm:period-mult}$
• $\text{def:GLC: Goncharov coalgebra}$↓$\text{thm:goncharov-gen}$
• $\text{thm:period-mult}$↓$\text{cor:factorize}$
• $\text{thm:cad}$↓$\text{prop:disc, thm:nontate, prop:cosmic}$
• $\text{thm:goncharov-gen}$↙$\text{prop:disc, thm:nontate, prop:cosmic}$

10 Formalization: Haskell and Lean

To honor the Curry–Howard–Lambek bridge of the series (propositions as types, proofs as programs, realization as compilation), we accompany the mathematics with a compiling Haskell formalization of the coalgebra/coproduct structure and an idiomatic Lean type sketch. The full sources live in src/motives-periods-amplitudes/ and lean/motives-periods-amplitudes/; we display the load-bearing fragments.

10.1 Haskell: the coalgebra and coproduct

The Haskell package represents a graded coalgebra element as a formal $\mathbb{Q}$-linear combination of words in generators, with the Goncharov-style deconcatenation coproduct. Weight is the word length (for the shuffle/deconcatenation model) and the reduced coproduct strips the two trivial terms; primitivity is decidable.

-- Word in generators; weight = length; deconcatenation coproduct
newtype Word' g = Word' [g] deriving (Eq, Ord, Show)

-- Formal Q-linear combination (rationals as coefficients)
newtype LinComb g = LinComb (Map (Word' g) Rational)

-- Deconcatenation coproduct: Delta(w) = sum over splittings u | v
coproduct :: Ord g => Word' g -> [(Word' g, Word' g)]
coproduct (Word' xs) =
  [ (Word' (take k xs), Word' (drop k xs)) | k <- [0 .. length xs] ]

-- Reduced coproduct: drop the two trivial terms (empty | w) and (w | empty)
reducedCoproduct :: Ord g => Word' g -> [(Word' g, Word' g)]
reducedCoproduct w@(Word' xs) =
  [ p | p@(Word' a, Word' b) <- coproduct w, not (null a), not (null b) ]

-- Cobracket delta = antisymmetrization of the reduced coproduct.
-- NOTE: this returns a formal signed sum WITHOUT combining like terms;
-- algebraic simplification in the exterior algebra Lambda^2 L is omitted
-- (adequate for the demonstration, not a normal form).
cobracket :: Ord g => Word' g -> [(Word' g, Word' g, Rational)]
cobracket w =
  [ (a, b, 1) | (a, b) <- reducedCoproduct w ] ++
  [ (b, a, -1) | (a, b) <- reducedCoproduct w ]

-- Primitivity: delta(x) = 0  <=>  reduced coproduct empty  <=>  weight <= 1
isPrimitive :: Ord g => Word' g -> Bool
isPrimitive w = null (reducedCoproduct w)

The demonstration program verifies, on the dilogarithm symbol of 28, that (a) coassociativity holds numerically for the deconcatenation coproduct, (b) weight-one words are exactly the primitives (26(b)), and (c) the iterated reduced coproduct of a weight-$n$ word terminates after $n-1$ steps at weight-one leaves (24). It compiles with ghc and runs to print the anatomy tree of a sample amplitude word.

10.2 Lean: period, amplitude, and coalgebra types (best-effort sketch)

The Lean file records the type signatures of the objects and the statement of 22 as a definition-level goal (with sorry placeholders, as a non-build-gated sketch).

structure PeriodDatum (X Form Cycle : Type) where
  space   : X
  divisor : X
  form    : Form
  cycle   : Cycle

-- per : PeriodDatum -> C  (integration pairing, abstracted)
def per {X F C : Type} (integrate : C -> F -> Complex)
    (Pi : PeriodDatum X F C) : Complex := integrate Pi.cycle Pi.form

-- A right H-comodule of motivic amplitude objects
structure MotivicAmplitude (H A : Type) where
  coaction : A -> List (A x H)     -- Delta(a) = sum a_{i,1} (x) a_{i,2}
  weight   : A -> Nat
  depth    : A -> Nat

-- Cobracket as antisymmetrized reduced coaction on primitives L
def cobracket {L : Type} (coact : L -> List (L x L)) (x : L) :
    List (L x L) := coact x  -- (antisymmetrization elided in sketch)

-- T1 (Conditional Amplitude Decomposition), signature-level.
-- The realization is a MAP between carrier types (a Hopf-algebra
-- homomorphism), NOT a functor applied to elements: this is exactly the
-- corrected formulation of Theorem 5.3.
theorem coaction_transports
    {H A R : Type} (ma : MotivicAmplitude H A)
    (Real : A -> R) (RealH : H -> R) (target : R -> List (R x R)) (a : A) :
    target (Real a)
      = (ma.coaction a).map (fun p => (Real p.1, RealH p.2)) := by
  sorry

The Lean sketch is explicitly best-effort and not build-gated; it fixes the type-level anatomy (period data, comodule coactions, cobrackets) so that a future Mathlib-backed development can discharge the sorrys. Note that modelling the realization as an honest map Real : A -> R between carrier types (rather than a functor applied to elements) is precisely the type-level reflection of the Hopf-algebra-homomorphism formulation of 22; the period_multiplicative statement in the same file is proved outright (no sorry) from the Fubini/Künneth hypothesis.

11 Discussion

11.1 Limitations (reproduced and addressed)

Per the series discipline, we restate the global limitations and indicate how Part II addresses each.

1. Not every mathematical analogy is a physical theory. The S/H/P labels are part of the formalism (1.3); the strongest results here (14, 22, 26) are status $\mathsf{S}$ as mathematics, while their physical readings are labelled $\mathsf{H}$.

2. Motives are not literally “the functions of” an object. Addressed head-on in the boxed 10; the functional-essence reading is status $\mathsf{H}$ throughout.

3. No single universal functor $\mathsf{Math}\to \mathsf{Phys}$. Part II defines only the motivic channel ${\mathrm{Real}}_{\alpha }$, $\alpha \in \{\mathrm{B},\mathrm{dR},\mathrm{Hdg},\text{eˊt}\}$, over the domain of motivic period theory — a local, domain-indexed construction, not a global functor.

4. Not every observable is a period. Made precise as the Non-Tate Obstruction theorem (31): elliptic and modular amplitudes require larger coalgebras.

5. Gauge redundancy $\ne$ physical symmetry. Deferred to Part VI, but foreshadowed in 1: the dashed equivalence $X\sim X^{\prime }$ is a motivic (gauge/duality) equivalence realizing the same amplitude.

11.2 Bridges to Parts I and III

Part II builds on Part I by instantiating its abstract pipeline: $\Phi =\mathrm{Mot}$, ${\mathrm{Real}}_{\alpha }=$ the cohomological realizations, $\mathrm{Obs}=\mathrm{per}$, and 6$=$ the Goncharov coproduct. It sets up Part III by handing off the motivic amplitude objects and their families: as kinematic parameters vary, the variety $X$ in a period datum $\Pi =(X,D,\omega ,\Gamma )$ moves in a moduli space, the period $\mathrm{per}(\Pi )$ becomes a multivalued function on that base, and the coaction becomes a statement about the Gauss–Manin/Picard–Fuchs connection governing the variation of Hodge structure. In the ladder’s language, Part III lets Part II’s motives “live over and vary across concrete geometric moduli.”

$\text{Part I}$

$\text{Part II}$

$\text{Part III}$

$\Phi ,{\mathrm{Real}}_{\alpha },\mathrm{Obs}(\text{abstract})$

$\mathrm{Mot},\{{\mathrm{Real}}_{\mathrm{B}},{\mathrm{Real}}_{\mathrm{dR}},{\mathrm{Real}}_{\mathrm{Hdg}},{\mathrm{Real}}_{\text{eˊt}}\},\mathrm{per}$

$\text{VHS, Gauss–Manin, Picard–Fuchs}$

$\text{Decomposition Axiom}$

$\text{Goncharov coproduct }\Delta ,\delta$

$\text{monodromy over moduli}$

• $\text{Part I}$→$\text{Part II}$$\text{instantiate}$
• $\text{Part II}$→$\text{Part III}$$\text{vary over moduli}$

11.3 The four slogans

The series’ compressed theses read, in the light of Part II: mathematics is the syntax of physical representation; motives are functional semantics (9, status $\mathsf{H}$); periods are numerical measurements (13, 14); coalgebras are decomposition laws (22, 26). Part II is precisely the module that turns the last two slogans into theorems.

12 Conclusion

We have given the motivic channel of the Math$\to$Physics Representation Library its first fully concrete instantiation. Motives supply the pre-numerical functional essence (status $\mathsf{H}$, carefully distinguished from the mathematical definition); the four cohomological realizations supply Part I’s abstract channels ${\mathrm{Real}}_{\alpha }$; and the period map supplies the observable. On this foundation the master formula $\mathcal{A}=\mathrm{per}({\mathcal{A}}^{\mathfrak{m}})$ with its coaction $\Delta ({\mathcal{A}}^{\mathfrak{m}})={\sum }_i{\mathcal{A}}_{i,1}^{\mathfrak{m}}\otimes {\mathcal{A}}_{i,2}^{\mathfrak{m}}$ and cobracket $\delta :\mathcal{L}\to {\Lambda }^2\mathcal{L}$ becomes a working piece of mathematics: the period pairing is multiplicative (14), the coaction transports through realizations (22), the Goncharov Lie coalgebra is cogenerated by its weight-one logarithmic primitives (26), amplitude discontinuities are read off the first coaction slot (29), and the whole polylogarithmic anatomy has a sharp boundary at the elliptic threshold (31). The most speculative extension — the cosmic Galois symmetry (33) — is flagged as such and handed forward.

The emergent property Part II adds to the ladder is the internal coalgebraic anatomy of observables: the discovery that a physical amplitude is not an atom but carries a canonical decomposition into primitive informational pieces, governed by a Lie coalgebra. In the next module this anatomy is set in motion over the moduli spaces of algebraic geometry; in the capstone module the same Hopf-coalgebraic grammar returns as the bookkeeping of gauge redundancy and renormalization. Coalgebras, in short, are the grammar by which physics takes its observables apart.

13 The Motivic and Amplitude Library

For reference we reproduce the motivic/amplitude dictionary of the series, with epistemic status labels retained verbatim. This table is the Appendix B of the source library, restricted to Part II’s domain.