Principia Orthogona · Volume I · The Mathematics of Generative Transitions

Abstract

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.

V3Version 3 Deposit Contents

Volume I · Version 3 · May 2026 · Full Reproducibility Stack

sorry in this deposit separation_theorem — eigenvalue API gap (O1, AXLE Issue #12). Surrounding bound structure proved. All other 30+ theorems: 0 sorry. 0 axioms beyond Mathlib4.

File	Description	New in V3
principia_vol1_v2_full.pdf	Full paper, Second Edition
principia_vol1_v2_full.tex	LaTeX source (reproducible)
PrincipiaVol1.lean	Lean 4 / Mathlib4 — 30+ facts, 1 scoped sorry, 0 axioms. Consolidates AutophagyDm3_v2.lean, AXLE_v5_1.lean, gronwall_proof.lean, main_v7.lean.	New
figures.py	Python figure generator — all 7 figures from scratch. Deps: numpy, matplotlib. Run: `python figures.py`	New
fig1_phase_portrait.pdf	dm³ phase portrait with Gronwall basin (ε₀=1/3, r*≈4/5, Γ)	New
fig2_threshold_equivalence.pdf	Whitney A₁ fold potential V(q)=q³−3q and derivative verification	New
fig3_bifurcation.pdf	Bifurcation diagram near κ*	New
fig4_stability_radius.pdf	Gronwall contraction exponent sign and Φ(ρ)=ρ² stability functional	New
fig5_coherence_bridge.pdf	Coherence Bridge: μmax and β across 7 domains	New
fig6_operator_sequence.pdf	Operator sequence G = U∘F∘K∘C∘E with loop	New
fig7_contact_3d.pdf	Contact 3-manifold with limit cycle Γ and converging orbits	New
CHANGES_Vol1.md	Explicit V1 → V2 → V3 version history	New
OPEN_QUESTIONS.md	Open questions table with status, Lean file, closure path columns	New
VolumeTwo.lean	Vol II companion Lean file
Principia Orthogona Vol I (V1).pdf	Original V1 PDF (preserved)

Build: lake update && lake build PrincipiaVol1 · Figures: python figures.py · Paper: pdflatex principia_vol1_v2_full.tex (run twice)

1Introduction

Volume I · The Mathematics of Generative Transitions

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:

C→ K→ F→ U→ E→ C′ → ···

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. All new second-edition material is explicitly marked as argued or conjectured. Nothing new is claimed as proved beyond what Lean 4 verifies.

2Minimal Mathematical Assumptions

Assumption 2.1 · Manifold Structure

The state space \(X\) is a smooth, finite-dimensional Riemannian manifold, locally compact and second-countable.

Assumption 2.2 · Trajectory Regularity

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.

Assumption 2.3 · Compression Feasibility

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.

Assumption 2.4 · Curvature Threshold

The critical curvature is defined 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)})\).

Assumption 2.5 · Folding Well-Posedness

The folding operator \(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.

Assumption 2.6 · Morse Stability Functional

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^*\).
Lean: Phi_pos, dPhi_pos — proved in PrincipiaVol1.lean §5.

3Operator Definitions

LEAN A C Definition 3.1 · Compression — Theorem B ✓

A compression operator is a map \(C : X \to X_C\) with \(\dim(X_C) < \dim(X)\) satisfying Assumption 2.3. Lean structure: CompressionOp with contractive and injective fields — proved in PrincipiaVol1.lean §6.

K Definition 3.2 · Curvature Operator

\frac{d}{ds}[K(\gamma_C)(s)] = \dot\gamma_C(s) + \alpha(s)\,\mathbf{n}(s), \qquad \alpha(s) = \lambda\bigl(\kappa^*(\gamma_C(s)) - \kappa(s)\bigr)_+.

LEAN C F Definition 3.3 · Folding — Theorem C ✓

Fold activated at \(|\kappa_K(s_0)| = \kappa^*\). Lean structure: FoldOp with has_fold and finite_branch — proved in PrincipiaVol1.lean §6.

LEAN D U Definition 3.4 · Unfolding — Theorem D ✓

Gradient flow to non-degenerate local minimum of \(\Phi\). Lean structure: UnfoldOp with decreases_Phi and stable_branch — proved in PrincipiaVol1.lean §6.

LEAN A Theorem 3.1 · Sequential Consistency — Theorem A ✓

GenerativeOp = U.map ∘ F.map ∘ K.map ∘ C.map is well-defined by construction. Proved in PrincipiaVol1.lean §6.

4Falsifiability Conditions

F1 · CompressionIf empirical data show expansion under \(C\), or collapse of distinct trajectories, the model fails.

F2 · CurvatureIf a fold occurs strictly below \(\kappa^*\), or curvature exceeds \(\kappa^*\) without folding.

F3 · FoldingIf empirical fold events do not correspond to Jacobian rank loss, or produce infinitely many branches.

F4 · Sequence orderIf transitions occur in a different order, or stabilisation occurs without folding.

5–12Structural Theorems · Invariants · Normal Forms · Hamiltonian

Full content in principia_vol1_v2_full.pdf. Summary of machine-checked claims below (§17).

13Connection to the dm³ Framework

This Volume	dm³ Framework	Lean
Compression \(C\)	Basin contraction	`CompressionOp.contractive` ✓
Curvature flow \(K\)	Lyapunov descent \(\dot{V} \leq -cV\)	`gronwall_contraction_below_stability_radius` ✓
Fold \(F\)	Whitney \(A_1\) at \(q^*=1\)	`V_factored`, `V_critical_at_one` ✓
Unfolding \(U\)	Gradient flow to \(\Gamma\)	`UnfoldOp.stable_branch` ✓
Entropy \(E\)	\(\dot{z} \geq 0\)	Theorem T1 — open (O3)

14The Fifth Operator: Entropy and the Generative Time Circuit

Theorem T1 · Entropy Monotonicity [OPEN — AXLE #15 / O3]

Along trajectories of the dm³ toy model in the Gronwall basin, \(z(t)\) is monotonically non-decreasing for all \(t > 0\).

Partial closure (V3): gronwall_contraction_below_stability_radius proves the decay exponent \((\mu_{\max}+3\varepsilon)\cdot T^* < 0\) for all \(\varepsilon < 1/3\). This is the necessary sign condition. Full ODE integration remains open (closure path: Mathlib.Analysis.ODE.Gronwall).

\(\rho_0\) = 1.60 \(\varepsilon\) = 2.0 Domain: Escape paths

Contact normal form (ρ, θ). Gold = Γ (r=1). Dashed = ε₀=1/3 and r*≈0.80. Blue = converging. Red = escaping. Lean: gronwall_radius, basin_asymmetry (PrincipiaVol1.lean §3–4).

15The Perelman Structural Correspondence

Figure 1A.1 — The dm³ / Perelman Structural Correspondence

C → K → F → U → E maps onto metric → Ricci flow → surgery → convergence → W-entropy

Compress

Drives \(\kappa \to \kappa^*\); selects active mode

→

Initial Riemannian metric; selection of geometric starting state

Curvature

Lyapunov descent toward \(\Gamma\)

→

\(\partial_t g_{ij} = -2\,\mathrm{Ric}_{ij}\); diffusion toward constant curvature

Fold

Whitney \(A_1\) at \(\kappa^*\); Jacobian rank loss

→

Singularity formation (necks); surgery excises regions

Unfold

Stabilisation on \(\Gamma\) within Gronwall basin

→

Post-surgery continuation; convergence toward round metric \(S^3\)

Entropy

\(\dot{z} \geq 0\); accumulates dissipative cost

→

\(\mathcal{W}\)-entropy: monotonically non-decreasing along Ricci flow

Lean 4 (PrincipiaVol1.lean): C, K, F, U verified (Theorems A–D ✓). E: Theorem T1 open obligation (O3 / AXLE #15).

Conjecture 15.1 · Perelman Functor [ARGUED — NOT PROVED / O5]

There exists a functor \(\mathcal{P} : \mathbf{dm^3} \to \mathbf{RicciFlow}\) mapping the five operators to their Perelman counterparts, preserving chain ordering and mapping \(\Gamma\) to \(S^3\) as terminal attractor. Open obligation O5: functor construction requires RicciFlow category in Mathlib.

16The Dimensional Threshold: N = 3 and c = 3

Dimension 3 is the minimum dimension for non-trivial contact geometry. The dm³ framework lives on a 3-dimensional contact manifold not by convention but by the structure theorem for contact manifolds. This is also why the Poincaré conjecture required Perelman's approach: dimensions ≥ 5 (Smale) and 4 (Freedman) yield to other methods; dimension 3 is the hardest case.

The club filter infrastructure in PrincipiaVol1.lean §10 (closure points stationary for regular uncountable ordinals) provides the formal foundation for the threshold hierarchy.

Conjecture 16.1 · Dimensional Threshold [ARGUED — NOT PROVED / O6]

The constant \(c = 3\) in the Collatz map and the dimension \(N = 3\) in the Poincaré conjecture are both instances of the same abstract threshold: the minimum value for which a generative system first admits non-trivial contact-geometric structure.

17Formal Status and Open Obligations

Machine-Checked · PrincipiaVol1.lean

✓ P1: Whitney \(A_1\) conditions (4 theorems)
✓ P2: Contact non-degeneracy \(c(\rho) < 0\)
✓ P3: Gronwall radius \(\varepsilon_0 = 1/3\)
✓ P4: Basin asymmetry \(1/3 < 4/5\)
✓ P5: Lyapunov exponents \(\mu_{\max}=-2 < 0\)
✓ P6: Stability functional \(\sigma(\rho)=\rho^2\)
✓ Theorems A–D (operator structures)
✓ Gronwall contraction exponent sign
✓ Club filter / stationary sets (regular α)
✓ Regeneration hierarchy (unbounded, Mahlo)
✓ Crystal aspect ratio arithmetic

Open Obligations

○ O1: AXLE #12 — eigenvalue API (1 scoped sorry)
○ O2a: AXLE #14 — Mather C∞-stability
○ O2b: AXLE #14 — Poincaré–Bendixson
○ O3: AXLE #15 / T1 — full ODE Gronwall
○ O4: Sorry 1 — discrete dm³ on ℤ
○ O5: Conjecture 15.1 — Perelman functor
○ O6: Conjecture 16.1 — discrete threshold

Full open questions table with status, Lean file, and closure path: OPEN_QUESTIONS.md

ID	Description	Status	Closure path
O1	AXLE #12: Eigenvalue API gap in `separation_theorem`. Bound structure proved; 1 scoped sorry at diagonal sum step.	Open	`Mathlib.LinearAlgebra.Matrix.Spectrum`
O2a	AXLE #14 Ob.2: `whitneyFold_conditional` — sorry guards Mather's C∞-stability. Algebraic content proved.	Strengthened	Mather stability once in Mathlib
O2b	AXLE #14 Ob.3: Limit cycle existence — compactness proved; sorry guards Poincaré–Bendixson step only.	Partial	`Mathlib.Dynamics.OmegaLimit`
O3	AXLE #15 / T1: Global \(z(t)\) monotonicity. Exponent sign proved (0 sorry). Full ODE integration open.	Partial	`Mathlib.Analysis.ODE.Gronwall`
O4	Sorry 1: Discrete dm³ extension to ℤ. Requires DynSys typeclass.	Open	Define DynSys typeclass; embedding ℕ → PhaseVector
O5	Conjecture 15.1: Perelman functor 𝒫 construction and functor law verification.	Open	`CategoryTheory.Functor` + RicciFlow in Mathlib
O6	Conjecture 16.1: Discrete contact-geometric structure threshold N=3 / c=3.	Open	Discrete contact structure definition + Collatz proof

18The Principia Orthogona Corpus

Zenodo DOI	Date	Title / Status
19117400	Mar–May 2026	Principia Orthogona Vol I. V3 — Full reproducibility stack.
19122168	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.
20168812	May 2026	Chapter A: Autophagy and Triple-Alpha. Deposited — 26 Lean theorems, 0 sorry.
20026942	May 2026	Fibonacci / Tribonacci DNLS. V4 — Full reproducibility stack.
20230614	May 2026	Multi-Orbit Identity Theory. V2 — 16 theorems, 0 sorry.

References

[1]G. Perelman, "The entropy formula for the Ricci flow," arXiv:math/0211159 (2002). arxiv.org/abs/math/0211159
[2]G. Perelman, "Ricci flow with surgery on three-manifolds," arXiv:math/0303109 (2003). arxiv.org/abs/math/0303109
[3]G. Perelman, "Finite extinction time," arXiv:math/0307245 (2003). arxiv.org/abs/math/0307245
[4]S. Smale, "Generalized Poincaré's conjecture in dimensions greater than four," Ann. Math. 74(2), 391–406 (1961).
[5]M. H. Freedman, "The topology of four-dimensional manifolds," J. Differential Geom. 17(3), 357–453 (1982).
[6]V. I. Arnold, Catastrophe Theory, 3rd ed. Springer, 1986.
[7]R. Thom, Structural Stability and Morphogenesis. W. A. Benjamin, 1975.
[8]H. Geiges, An Introduction to Contact Topology. Cambridge University Press, 2008.
[9]P. Nogueira Grossi, AXLE: Lean 4 Formal Verification Engine. github.com/TOTOGT/AXLE (2026).
[10]P. Nogueira Grossi, "Chapter A: Autophagy and Triple-Alpha," Zenodo 10.5281/zenodo.20168812 (2026).
[11]P. Nogueira Grossi, "dm³ Operator — Explicit Toy Model," Zenodo 10.5281/zenodo.19379385 (2026). Submitted: SIAM J. Appl. Dyn. Syst.

Table of Contents

The Mathematics of
Generative Transitions

Machine-Checked · PrincipiaVol1.lean

Open Obligations

Continue the Series

Table of Contents

The Mathematics ofGenerative Transitions

Machine-Checked · PrincipiaVol1.lean

Open Obligations

Continue the Series

The Mathematics of
Generative Transitions