This volume develops a unified mathematical framework for generative transitions: localised geometric events in which a trajectory undergoes compression, curvature intensification, loss of injectivity, and stabilisation, governed by the operator sequence \(G = U \circ F \circ K \circ C\). The framework rests on six minimal assumptions and produces constructive operator definitions, five structural theorems, seven analytical invariants, four normal forms, a singularity classification restricted to the Whitney \(A_1\)–\(A_3\) hierarchy, a free-discontinuity variational principle, and a symplectic Hamiltonian structure with a distributional generator at the fold.
The second edition adds a fifth operator \(E\) (Generative Time Circuit) with \(\dot{z} \geq 0\), establishes a term-by-term structural correspondence with Perelman's proof of the Poincaré conjecture via Ricci flow with surgery (Conjecture 15.1), and identifies the dimensional threshold \(N = 3\) as the minimum dimension for non-trivial contact geometry, connecting it to \(c = 3\) in the Collatz map (Conjecture 16.1). Theorems A–D are machine-checked in Lean 4 with zero axioms beyond Mathlib4.
A generative transition is what happens when a system crosses a threshold it cannot uncross. The cell that begins to digest itself under nutrient stress. The star that ignites helium when its hydrogen is exhausted. The elastic rod that buckles under axial load. The 3-manifold that develops a geometric singularity under Ricci flow. In each case, a compression drives the system toward a critical point, a curvature instability makes the approach inevitable, a fold commits the system irreversibly to a new branch, and an unfolding establishes the new stable state.
This volume formalises that sequence as four operators acting on trajectories in a Riemannian manifold. The second edition adds a fifth operator E (Entropy / Generative Time Circuit), whose action variable accumulates the irreversible cost:
The central mathematical claim is that this operator sequence is not an analogy: it is a precise structure admitting constructive definitions, analytical invariants, a variational principle, and a Hamiltonian formulation. The framework is placed within established mathematical traditions: comparison geometry, singularity theory, geometric flows, variational mechanics, and impulsive Hamiltonian systems.
All new second-edition material is explicitly marked as argued or conjectured. Nothing new is claimed as proved beyond what Lean 4 verifies.
The word has a history. In late-nineteenth-century biology it named a theory — that evolution advances in straight lines, pushed by an internal drive toward a predetermined end. That theory is dead, and it deserved to die. Nothing here revives it.
What we mean is orthogonal genesis: form generated under constraint, along the directions the constraints leave open. There is no drive and no destination. A growing shell does not reach toward its shape — it runs out of alternatives. Curvature does not pull development forward; it removes options. Time and gravity and the geometry of the surface do the rest.
That is why the direction is real without being intended. Systems move, and the directions available to them are dictated by forces, not by purpose. Waddington called the biological version canalisation: development running in valleys, buffered against perturbation, directional without being goal-seeking. His epigenetic landscape is a curvature picture. It is the K operator, drawn by a biologist who did not know that is what he was drawing.
Generative science says what physics says: the form is what the constraints permit. Biology may take some time to hear the difference between a system that is pushed and a system that has nowhere else to go. That difference is the whole book.
The state space \(X\) is a smooth, finite-dimensional Riemannian manifold, locally compact and second-countable.
A system trajectory \(\gamma : [0,T] \to X\) is piecewise \(C^2\), locally non-degenerate (\(\|\dot\gamma(t)\| \neq 0\) a.e.), and has bounded curvature on compact intervals prior to folding events.
There exists a lower-dimensional submanifold \(X_C \subset X\) and a Lipschitz projection \(C : X \to X_C\) satisfying the bi-Lipschitz non-collapse condition \(d(C(x_1), C(x_2)) \geq \delta\, d(x_1, x_2)\) for some \(\delta > 0\) and all \(x_1, x_2\) in a compact neighbourhood. This ensures distinct trajectories remain distinguishable after compression.
The critical curvature is defined intrinsically by the focal radius: \(\kappa^*(x) = 1/\mathrm{foc}(x)\). In the presence of positive sectional curvature, the Rauch comparison theorem gives \(\kappa^*(x) = \min(\|\mathrm{II}_x\|, \sqrt{K_\mathrm{sec}(x)})\). For \(K_\mathrm{sec} \leq 0\): \(\kappa^*(x) = \|\mathrm{II}_x\|\).
The folding operator \(F : X_C \to X_F\) satisfies: the Jacobian \(dF\) loses rank by exactly 1 at fold points; the fold is local; and the fold produces a finite number of branches.
The stability functional \(\Phi : X \to \mathbb{R}\) is \(C^2\), bounded below on compact subsets, and Morse: \(\nabla^2\Phi(x^*) \succ 0\) at every local minimum \(x^*\).
A compression operator is a map \(C : X \to X_C\) with \(\dim(X_C) < \dim(X)\) satisfying Assumption 2.3. \(C\) reduces degrees of freedom while retaining essential local structure.
Given a compressed trajectory \(\gamma_C : [0,T] \to X_C\), the curvature operator \(K : X_C \to X_C\) modifies the tangent field by
\(K\) drives curvature monotonically toward \(\kappa^*\) but never beyond it; the sequence is a hybrid dynamical system with a switching condition at \(\kappa^*\).
Let \(\gamma_K = K(\gamma_C)\). A fold occurs at \(s_0\) when \(|\kappa_K(s_0)| = \kappa^*(\gamma_K(s_0))\). The folding operator \(F : X_C \to X_F\) acts by \(F(\gamma_K(s)) = \gamma_K(s) - \beta(s)\,\mathbf{n}(s)\), where
At a fold point \(s_0\): \(\mathrm{rank}(dF_{\gamma_K(s_0)}) = \dim(X_C) - 1\).
The unfolding operator \(U : X_F \to X\) is \(U(x_F) = \arg\min_{y \in \mathcal{N}(x_F)} \Phi(y)\), realised by the gradient flow \(\dot{y} = -\nabla\Phi(y)\), \(y(0) = x_F\), converging to a non-degenerate local minimum \(x^*\).
If \(K\) is applied until curvature reaches \(\kappa^*\), then \(F\) is well-defined, produces a finite branch set, and induces a rank-deficient Jacobian at fold points.
\(K\) drives curvature monotonically to \(\kappa^*\) via \(\alpha(s)\). At \(\kappa^*\), \(\beta(s)\) becomes nonzero, introducing local non-injectivity. The normal direction collapses, reducing Jacobian rank by 1. The Morse condition on \(\Phi\) implies finitely many branches.
Under Assumptions 2.1–2.6, the composite operator \(G = U \circ F \circ K \circ C\) is well-defined on any piecewise \(C^2\) trajectory.
The action of \(G\) on \(\gamma\) is determined entirely by the local geometry of \(\gamma\) in a neighbourhood of the fold point.
The operators \(C, K, F, U\) do not commute: some orderings are order-dependent. The universal reading — that every ordering is — is false.
Corrected 2026-09-18. This read “the sequence is order-dependent”, which states the universal form. The Lean has never claimed it: exists_order_dependent proves the existential, not_forall_order_dependent proves the universal false, commuting_instance exhibits a case where they do commute, and thm_5_3_is_exactly_existential exists to record precisely this. Seven kernel-checked theorems in TOTOGT/vol1-proofs bear on 5.3; the prose was the only place the stronger claim was made. SHOWN — existential only.
No operator in the sequence \(C \to K \to F \to U\) can be removed without altering the qualitative structure of the transition.
The branch set \(\mathcal{B} = \{F(\gamma_K(s_i)) : |\kappa_K(s_i)| = \kappa^*(\gamma_K(s_i))\}\) is finite. (Follows from the Morse condition on \(\Phi\) and transversality of \(\gamma\) to the fold locus.)
Planar curve with curvature-driven flow. \(\gamma : [0,T] \to \mathbb{R}^2\), with \(C\) an orthogonal projection, \(K\) the curvature-inducing flow, \(F\) activated at \(\kappa^*\), and \(U\) gradient descent on a local \(\Phi\). The simplest non-trivial realisation.
Elastic rod under compression. Minimising Euler–Bernoulli energy \(E[\gamma] = \int \kappa(s)^2\,ds\). Axial loading provides \(C\); buckling provides \(K\); the critical load is \(\kappa^*\); post-buckling configuration provides \(U\). The cleanest physical realisation of the curvature threshold.
Gradient flow on a double-well potential. \(\Phi(x) = (x^2-1)^2\). The unstable equilibrium at \(x=0\) is the fold point; gradient flow selects \(x = \pm 1\). Illustrates finite branching and stability selection.
Saddle-node bifurcation. \(\dot{x} = \mu - x^2\), \(\dot{y} = -y\). Projection onto the slow manifold provides \(C\); approach to the fold provides \(K\); loss of the slow manifold at \(\mu = 0\) provides \(F\); flow to the stable branch provides \(U\).
dm³ toy model (canonical contact-geometric realisation, §14). \(\dot{r} = r(1-r^2)+2(r-1)e^{-z}\), \(\dot\theta=1\), \(\dot{z}=r^2-2(r-1)^2e^{-z}\). The limit cycle \(\Gamma\) at \(r=1\) is the post-fold stabilised state; \(\dot{z}|_\Gamma = 1 > 0\) is the entropy operator \(E\) in action. See also the interactive dm³ dashboard →
| # | Invariant | Statement |
|---|---|---|
| I1 | Ambient dimension | \(\dim(X)\) is preserved by \(G\) |
| I2 | Codimension of fold | \(\mathrm{codim}(F(\gamma)) = 1\) |
| I3 | Critical threshold | \(\kappa^*(x)\) is a geometric invariant of the manifold |
| I4 | Curvature sign | \(\mathrm{sgn}(\kappa(s))\) preserved under \(K\) and \(F\) |
| I5 | Injectivity before threshold (proved) | For \(|\kappa(s)| < \kappa^*(s)\), trajectory is injective (see Invariant 7.5 proof note) |
| I6 | Rank deficiency at fold | \(\mathrm{rank}(dF) = \dim(X_C) - 1\) at every fold point |
| I7 | Energy monotonicity | \(\Phi(U(x)) \leq \Phi(x)\), strict unless \(x\) is a local minimum |
Two transitions \(G_1, G_2\) are equivalent if there exists a diffeomorphism \(\psi : X \to X\) with \(G_2 = \psi \circ G_1 \circ \psi^{-1}\).
| NF | Name | Normal Form |
|---|---|---|
| NF1 | Compression | \(C_\mathrm{NF} = \pi_k : \mathbb{R}^n \to \mathbb{R}^k\) (coordinate projection) |
| NF2 | Curvature | \(K_\mathrm{NF}(s) = (s, \alpha s^2)\), \(\alpha > 0\) |
| NF3 | Folding — Whitney fold | \(F_\mathrm{NF}(u,v) = (u, v^2)\) — unique up to diffeomorphism |
| NF4 | Unfolding | \(U_\mathrm{NF}(x) = 0\) from \(\Phi_\mathrm{NF}(x) = x^2\) |
Given rank-1 loss, finite branching, and the Morse condition on \(\Phi\), the admissible singularities are precisely:
| Type | Conditions on \(\Delta(s) = \kappa(s) - \kappa^*(s)\) | Normal Form |
|---|---|---|
| A₁ fold | \(\Delta(s_0)=0\), \(\Delta'(s_0)\neq 0\) | \((u, v^2)\) |
| A₂ cusp | \(\Delta=\Delta'=0\), \(\Delta''\neq 0\) | \((u, v^3+uv)\) |
| A₃ swallowtail | \(\Delta=\Delta'=\Delta''=0\), \(\Delta'''\neq 0\) | \((u, v^4+uv^2+\beta v)\) |
Every admissible generative transition \(G = U \circ F \circ K \circ C\) is \(\mathcal{A}\)-equivalent to exactly one of \(A_1\), \(A_2\), \(A_3\).
Rank loss is exactly 1 → restricts to \(A_k\) series. Morse condition on \(\Phi\) limits unfolding to ≤ 3 parameters. Transversality of \(\gamma\) to fold locus ensures isolated fold points → \(k \leq 3\).
Parameter space \(\Theta \subset \mathbb{R}^p\), \(p \leq 3\): stratified as \(\Theta_1\) (generic fold, codim 0), \(\Theta_2\) (cusp stratum, codim 1), \(\Theta_3\) (swallowtail, codim 2; a point when \(p=3\)).
The critical curvature \(\kappa^*(x) = 1/\mathrm{foc}(x)\) is defined intrinsically by the focal radius. For \(K_\mathrm{sec} \leq 0\): \(\kappa^*(x) = \|\mathrm{II}_x\|\).
Rauch correction. For positive sectional curvature: \(\kappa^*(x) = \min(\|\mathrm{II}_x\|, \sqrt{K_\mathrm{sec}(x)})\). Positive ambient curvature lowers the threshold for folding.
Computability. (1) Compute \(\|\mathrm{II}_x\|\) from the second fundamental form. (2) Compute \(K_\mathrm{sec}(x)\) from the curvature tensor. (3) Apply the formula. Stability: \(\delta\kappa^* = O(\delta g) + O(\delta\mathrm{II}) + O(\delta K_\mathrm{sec})\).
The action functional for a generative transition is:
Each term corresponds to one operator: \(L_C\) (minimise orthogonal kinetic energy), \(L_K\) (minimise curvature deficit), \(L_F\) (singular activation at threshold), \(L_U\) (minimise stability potential).
The delta term places this framework in the class of free-discontinuity variational problems (cf. Ambrosio–Tortorelli, Mumford–Shah, Francfort–Marigo). It produces the jump condition \(\bigl[\partial L/\partial\dot\gamma\bigr]_{s_0^-}^{s_0^+} = \mu\,\mathbf{n}(s_0)\), the variational counterpart of the fold map. The full generative transition is a piecewise-smooth extremal of \(S\).
The phase space is \(T^*X\) with canonical coordinates \((\gamma, p)\) and symplectic form \(\omega = d\gamma \wedge dp\). For \(s \neq s_0\), the flow is symplectic: \(\Phi_t^*\omega = \omega\). The delta Lagrangian produces the impulse \(p(s_0^+) - p(s_0^-) = \mu\,\mathbf{n}(s_0)\). Configuration \(\gamma\) is continuous; momentum \(p\) has a jump.
The fold map \(\mathcal{F} : (\gamma, p) \mapsto (\gamma, p + \mu\mathbf{n})\) satisfies \(\mathcal{F}^*\omega = \omega\).
\(d\gamma \wedge d(p+\mu\mathbf{n}) = d\gamma \wedge dp + \mu\,d\gamma \wedge d\mathbf{n} = d\gamma \wedge dp\), since \(\mathbf{n}\) depends only on \(\gamma\) (each component of \(\mathbf{n}\) is a function of \(\gamma\), so \(d\gamma \wedge d\mathbf{n}\) vanishes on the configuration factor). □
The fold is generated by \(S(\gamma) = \mu\,\Theta(|\kappa(\gamma)| - \kappa^*)\), so \(p^+ = p^- + \partial S/\partial\gamma\). The full transition \(H = \Psi_t \circ \mathcal{F} \circ \Phi_t\) is a piecewise-smooth symplectic map. Momentum structure: \(A_1\) → single jump; \(A_2\) → jump with first-order tangency; \(A_3\) → jump with second-order tangency.
Every admissible generative transition induces a locally attracting invariant set; conversely, every dm³ limit cycle admits a neighbourhood whose formation is governed by a fold-type transition. The link between the curvature threshold \(\kappa^*\) and the embodiment threshold \(\tau = \sqrt{c/\kappa}\) is that as \(\kappa \uparrow \kappa^*\), the post-fold orbit \(\Gamma\) has Floquet exponent \(\mu_{\max} < 0\), and \(\tau\) is finite precisely when \(\mu_{\max} < 0\). Thus \(\kappa^*\) is the geometric precursor of \(\tau\).
| This Volume | dm³ Framework |
|---|---|
| Compression \(C\) | Basin contraction |
| Curvature flow \(K\) | Lyapunov descent \(\dot{V} \leq -cV\) |
| Fold \(F\) | Whitney \(A_1\) at \(q^*=1\); contact bifurcation |
| Unfolding \(U\) | Gradient flow to \(\Gamma\) |
| Entropy \(E\) (2nd ed.) | Entropy operator \(\dot{z} \geq 0\) |
The \(A_1\)–\(A_3\) singularities classify the local geometry of dm³ bifurcations under the projection \(M = S \times \mathbb{R} \to S\): \(A_1\) → contact Hopf and saddle-node; \(A_2\) → Neimark–Sacker; \(A_3\) → slow-fast crossover. Volume II develops the full contact-geometric realisation. Continue to Volume II →
The contact manifold \(M = S \times \mathbb{R}\) carries a coordinate \(z \in \mathbb{R}\) satisfying \(\dot{z} = f(x) \geq 0\) near \(\Gamma\). The form \(\alpha = dz - \lambda\) encodes both the first and second laws: \(dz\) is entropy production, \(\lambda\) is reversible work. The condition \(\dot{z} \geq 0\) is the second law on \(M\).
The operator \(E : \Gamma \to \Gamma'\) maps \(z(T^*) \mapsto \kappa' = \phi(z(T^*))\) where \(\phi' < 0\) (accumulated entropy increases compression in the next cycle) and \(\phi(0) = \kappa_0\). The chain closes as a spiral: \(C \to K \to F \to U \to E \to C' \to \cdots\)
Along trajectories of the dm³ toy model in the Lyapunov basin, \(z(t)\) is monotonically non-decreasing for all \(t > 0\), with \(\dot{z}|_\Gamma = 1 > 0\).
The scalar claim \(\dot{z}|_\Gamma = 1 > 0\) is immediate from the ODE at \(r=1\), \(z \to \infty\). Global monotonicity in the basin is the open obligation.
The live dm³ phase portrait — two systems (autophagy and triple-alpha), one attractor:
Perelman's proof of the Poincaré conjecture [1–3] proceeds through Ricci flow with surgery, the \(\mathcal{F}\)-functional, and the \(\mathcal{W}\)-entropy. The dm³ framework identifies a term-by-term structural correspondence. This correspondence does not re-prove the Poincaré conjecture; Perelman's proof stands independently.
There exists a functor \(\mathcal{P} : \mathbf{dm^3} \to \mathbf{RicciFlow}\) mapping \(C \mapsto\) metric selection; \(K \mapsto \mathrm{Ric}(g)\) as diffusion; \(F \mapsto\) surgical excision at \(\kappa^*\)-necks; \(U \mapsto\) post-surgery convergence to \(S^3\); \(E \mapsto \mathcal{W}\)-entropy. \(\mathcal{P}\) preserves the chain ordering and maps the dm³ limit cycle \(\Gamma\) to \(S^3\) as the terminal attractor.
The structural parallel is term-by-term (diagram above). The functor construction requires: (a) contact morphisms as morphisms in dm³; (b) surgery-compatible diffeomorphisms in RicciFlow; (c) construction of \(\mathcal{P}\) and verification of functor laws (open obligation, DM3-lab).
In dimension 1, contact structure is trivial. In dimension 2, Liouville's theorem rules out limit cycle attractors in area-preserving flows. In dimension 3, the contact form \(\alpha\) first admits a Reeb vector field with a non-trivial flow and a limit cycle attractor [8]. Dimension 3 is the minimum dimension for non-trivial contact geometry — not by convention but by the structure theorem for contact manifolds. This is why the dm³ framework lives on a 3-dimensional contact manifold. It is also why the Poincaré conjecture required Perelman's Ricci flow: dimensions ≥ 5 (Smale [4]) and 4 (Freedman [5]) yield to other methods; dimension 3 is the hardest case.
The constant \(c = 3\) in the Collatz map \(n \mapsto 3n+1\) and the dimension \(N = 3\) in the Poincaré conjecture are both instances of the same abstract threshold: the minimum value at which a generative system first admits non-trivial contact-geometric structure. \(c = 3\) is the minimum value for which the discrete analogue of the dm³ operator chain generates a non-collapsing, non-periodic orbit structure analogous to a hyperbolic limit cycle.
Formal proof requires a definition of contact-geometric structure for discrete dynamical systems on \(\mathbb{Z}\) and a proof that the dm³ axioms have no discrete analogue for \(c < 3\) (open obligation, DM3-lab).
The formal core is PrincipiaOrthogona1/PrincipiaVol1.lean: 58 theorems, no sorry, and no axioms beyond the three Lean admits by default (propext, Classical.choice, Quot.sound). The section counts in that file are emitted by tools/counts.py rather than typed — an earlier draft typed them and carried two compensating errors that summed to the right total.
V_critical_at_one, V_second_deriv_at_one, V_factoredcontactCoeff_neggronwall_radius_pos, gronwall_radius_lt_onebasin_asymmetry_at_canonical_r_star. The comparison is checked; \(r^\ast\) itself is numerical input from the dm³ integration and is not a theorem.mu_canonical. The companion mu_dm3_neg states \(-2 < 0\) — the sign of a literal, not a measurement of the transverse exponent.Phi_pos, dPhi_posepsilon0_of_eq_third_iff, with epsilon0_of_two and epsilon0_of_threeunfold_stable_branch_is_vacuous, compression_permits_identityEvery link is a permalink to the deposited source at commit 700deb8, so it names the same lines a year from now. Follow one and it should say what the item beside it says; where it says less, that is recorded rather than smoothed over.
CompressionOp, CurvatureOp, FoldOp and UnfoldOp are definitions — bundles of hypotheses — and GenerativeOp is a def. None is a theorem, and none is among the 58. What is machine-checked about them is that they are inhabited, and in two cases that a field is weaker than its name: unfold_stable_branch_is_vacuous proves that the stable_branch field holds for every map on every type — take \(n=0\), so \(f^{[0]}=\mathrm{id}\) and every point is a fixed point of the identity — and compression_permits_identity proves that the contractive field says only non-expansive, which the identity map satisfies.
Those two are results, not omissions. A definition whose name promises more than its field delivers is invisible to every mechanical check, because an identifier is not checked by anything; proving the gap in the kernel is what makes it visible. Both are counted among the 58.
§22 states \(\varepsilon_0 = |\mu_{\max}|/[2(1+\sup\|\mathrm{Hess}\,V\|)]\), instantiates at \(\sup\|\mathrm{Hess}\,V\| = |L_2| = 3\), and computes \(2/(2\cdot3) = 1/3\). The three cannot hold together: the formula at \(H=3\) gives \(1/4\) (epsilon0_of_three), while \(1/3\) requires \(H=2\) (epsilon0_of_two, and epsilon0_of_eq_third_iff proves the equivalence). The formula and the Lean agree; the sentence naming the constant disagrees with both.
This is not decidable in Lean. It turns on which Hessian bound enters the Grönwall estimate, \(V''(1)=6\) or \(|L_2|=3\), and that is a question about the model rather than about the proof. \(\varepsilon_0 = 1/3\) is load-bearing across the corpus, so it is stated here as an open obligation rather than carried as a closed one. Book 4, Chapter 10 refines the inner boundary to \(r^\ast \approx 0.776\) under basin asymmetry and notes that quantities of this kind do not translate cleanly to measurement.
The following are complete mathematical arguments deposited in DM3-lab without Lean 4 verification: Perelman structural correspondence (Conj. 15.1); dimensional threshold (Conj. 16.1); Kakeya needle problem as the \(\tau \to 0\) limit on the rotation contact manifold; Tribonacci constant as the dm³ structural growth rate for the three-operator iteration. These are proof sketches, not proof claims.
PrincipiaVol1.lean, which is the source of record.
| Zenodo DOI | Date | Title / Status |
|---|---|---|
| 19117400 | Mar 17 | Principia Orthogona Vol I. Deposited. |
| 20755436 | Mar 19 | GCM — Geometric Framework for Dissipative Systems. Submitted: J. Geom. Mech. |
| 19162013 | Mar 22 | The G6 Crystal. Deposited. |
| 19208015 | Mar 24 | Biological Transitions — Multi-Agent Realisations. Deposited. |
| 19379385 | Apr 2 | dm³ Operator — Toy Model & Global Analysis. Submitted: SIAM J. Appl. Dyn. Syst. |
| 19379473 | Apr 2 | Principia Orthogona Vol II — Contact Realization. Deposited. |
| 19431918 | Apr 5 | The Number 33 — Stability Threshold. Submitted: Mathematical Intelligencer. |
| 19533363 | Apr 2026 | GTCT Paper (Ring 5, Version 2). Deposited. |
| 20221723 | May 2026 | Chapter A: Autophagy and Triple-Alpha as dm³ Generative Transitions. Deposited — 18 Lean theorems, 0 sorry. |
Volume II develops the full contact-geometric realisation — three theorems (A, B, C), the explicit dm³ toy model, and the singularity–bifurcation correspondence. Lean 4 formal verification with honest sorry tracking.
Read Volume II → Chapter A · Autophagy → Interactive Dashboard →sorryAx. A clean axiom report is not a reading of the statement: per R20, a theorem can assume its conclusion and still report clean. Follow the link before citing one as evidence.