Self-Regulation: Autophagy and the
Triple-Alpha Process as dm³
Generative Transitions
to the HPA axis and plasma reconnection, derivation of the
helium-flash sorry, and four falsifiable predictions
This chapter argues that autophagy — the cellular self-digestion process conserved across a billion years of evolution — and the triple-alpha stellar nucleosynthesis process share the same underlying contact geometry. Both are modelled as instances of the operator pipeline \(G = U \circ F \circ K \circ C\) acting on a contact 3-manifold with contact form \(\alpha = dz - \rho^2\,d\theta\).
What is proved without sorry (26 theorems, AutophagyDm3_v2.lean): the contact form non-degeneracy coefficient \(c(\rho) = -2\rho < 0\) for \(\rho > 0\); the Whitney \(A_1\) fold conditions on \(V(q) = q^3 - 3q\) at \(q = 1\); the Gronwall stability radius \(\varepsilon_0 = 1/3\); the basin asymmetry \(\varepsilon_0 < r^* \approx 4/5\); compactness of the Gronwall basin.
What is not proved (3 honest sorrys): that the mTORC1 suppression map is \(C^\infty\)-equivalent to \(V\) near \(\rho^*\) (requires Mather's theorem + kinase data); that the autophagic limit cycle \(\Gamma_\text{auto}\) exists (requires Poincaré–Bendixson); the helium-flash degenerate unfolding (requires ODE bifurcation theory in Mathlib). These are tracked as AXLE Issue #14.
This chapter adds two new rows to the Coherence Bridge: autophagy (\(\mu_{\max} \approx -0.41\,\text{s}^{-1}\), \(\beta = 1.85\)) and triple-alpha (\(\mu_{\max} \approx -0.88\) normalised, \(\beta = 2.3\)).
What This Chapter Claims and Does Not Claim
Claims. (1) Both autophagy and triple-alpha can be modelled on a contact 3-manifold \((X, \alpha)\) with contact form \(\alpha = dz - \rho^2\,d\theta\). (2) The fold in each system corresponds to a Whitney \(A_1\) singularity of the potential \(V(q) = q^3 - 3q\). (3) The scalar dm³ invariants \((\mu_{\max}, \varepsilon_0, r^*)\) are arithmetically consistent with published parameter ranges for both systems. (4) A contact morphism between the two configuration manifolds exists as a category-theoretic statement about shared topology. (5) Explicit contact morphisms exist to the HPA stress axis and plasma reconnection domains via the same mechanism.
Does not claim. That the contact geometry causes or predicts the specific parameter values. That the modelling is quantitatively validated against data. That autophagy and stellar physics are "the same" in any sense beyond the structural one stated above. The Coherence Bridge table reports parameter ranges from published literature; they are not derived from the contact geometry.
The Generative Operator Pipeline
A dm³ generative system is a state space \(X\) equipped with four operators \(G = U \circ F \circ K \circ C\), where \(C\) compresses degrees of freedom, \(K\) introduces curvature (nonlinearity), \(F\) induces a fold (critical transition), and \(U\) stabilises. A fifth operator \(E\) (entropic boundary) bounds long-term behaviour via \(\dot{z} \geq 0\).
The key structural claim: for both autophagy and triple-alpha, the operator chain fires in exactly this order. The compression is physical (nutrient withdrawal / gravitational contraction), the curvature is kinetic (mTORC1 descent / temperature rise toward \(T^*\)), the fold is a threshold event with Jacobian rank loss (phagophore nucleation / helium ignition), and the unfolding is stabilisation on a new branch (autophagic flux cycle / helium-burning main sequence).
Autophagy as a dm³ Generative Transition
Autophagy — from the Greek for "self-eating" — is conserved across all eukaryotes. Yoshinori Ohsumi received the 2016 Nobel Prize in Physiology or Medicine for identifying the controlling genes [3]. The autophagic response is controlled by the kinase complex mTORC1: when nutrients fall below a threshold, mTORC1 activity drops, and the phagophore nucleates [4, 5].
Let \(X_\text{auto}\) be coordinatised by \((\rho, \theta, z) \in (0, \infty) \times S^1 \times \mathbb{R}\) where:
- \(\rho\) is the mTORC1 activity, normalised to 1 at saturation
- \(\theta\) is the phase of the autophagic flux cycle
- \(z\) is the cumulative autophagic index (monotone: \(\dot{z} \geq 0\))
The contact form is \(\alpha = dz - \rho^2\,d\theta\), with \(d\alpha = -2\rho\,d\rho \wedge d\theta\), so \(\alpha \wedge d\alpha = -2\rho\,dz \wedge d\rho \wedge d\theta \neq 0\) for \(\rho > 0\). The dm³ flow has embodiment threshold \(\varepsilon = 2\).
Lean: contactCoeff_neg, contactForm_nondeg_scalar — proved in AutophagyDm3_v2.lean §6.
The operator chain acts as follows on \(X_\text{auto}\):
- C (Compress): nutrient withdrawal drives \(\rho\) downward. The projection \(\rho \mapsto \rho / \rho_\text{sat}\) compresses the activity coordinate.
- K (Curvature): as \(\rho\) approaches the threshold \(\rho^* \approx 0.15\text{–}0.22\), the mTORC1 suppression kinetics steepen — the curvature of the activity-to-flux map increases toward \(\kappa^*\).
- F (Fold): at \(\rho = \rho^*\), the phagophore nucleates. This is a Whitney \(A_1\) fold: the Jacobian of the mTORC1 → autophagy initiation map loses rank by 1. The system commits irreversibly to autophagic flux.
- U (Unfold): the autophagic flux limit cycle \(\Gamma_\text{auto}\) at \(r = 1\) is the post-fold stabilised state. The cell regulates cargo delivery and lysosomal fusion.
- E (Entropy): \(\dot{z}|_{\Gamma_\text{auto}} = 1 > 0\). Each autophagic cycle irreversibly accumulates autophagic index \(z\).
Triple-Alpha as a dm³ Generative Transition
When a star exhausts its hydrogen, the helium core contracts under gravity. At \(T \approx 10^8\,\text{K}\), the triple-alpha process ignites: two helium-4 nuclei fuse to beryllium-8, which normally decays in \(10^{-16}\,\text{s}\), and a third helium arrives before decay to form carbon-12 [6]. The reaction rate goes as \(\varepsilon_{3\alpha} \propto T^{40}\) near threshold — the sharpest fold in stellar physics.
Let \(X_\text{star}\) be coordinatised by \((\rho, \theta, z)\) where:
- \(\rho = T/T^*\) is the core temperature normalised to the ignition threshold \(T^* \approx 10^8\,\text{K}\)
- \(\theta\) is the thermal pulsation phase, with pulsation angular frequency \(\omega_\text{puls} \approx 10^{-10}\,\text{rad/s}\) for a post-main-sequence giant
- \(z = \int_0^t \varepsilon_{3\alpha}(\tau)\,d\tau / \varepsilon_0\) is the cumulative nuclear energy released, normalised to threshold output \(\varepsilon_0\)
The contact form is the same as on \(X_\text{auto}\): \(\alpha = dz - \rho^2\,d\theta\). The non-degeneracy coefficient \(c(\rho) = -2\rho < 0\) for \(\rho > 0\) (subcritical approach) and \(\rho = 1\) at fold.
The fold fires at \(\rho = 1\) (equivalently, \(T = T^*\)). The \(T^{40}\) rate law is the realisation of the Whitney \(A_1\) fold potential \(V(q) = q^3 - 3q\) in the nuclear reaction network: the rate is negligible for \(\rho < 1\) and astronomical for \(\rho > 1\), with a zero derivative at \(\rho = 1\) in the normalised coordinate.
The contact morphism \(f_{\text{auto} \to \text{star}} : X_\text{auto} \to X_\text{star}\) is defined in §7.1.
The helium flash — the runaway ignition event in low-mass stars — is not a generic \(A_1\) fold. It is a degenerate unfolding: the standard \(U\) operator fails because the post-fold branch is thermally unstable before stabilising on the helium-burning main sequence. This degenerate case requires an \(A_2\) or \(A_3\) singularity classification.
What is proved (0 sorry)
- ✓ \(V'(1) = 0\) — critical point
- ✓ \(V''(1) = 6 \neq 0\) — non-degenerate (\(A_1\) case)
- ✓ Stability radius \(\varepsilon_0 = 1/3\)
- ✓ Basin compactness \([1/3, 2]\)
- ✓ \(\mu_{\max} = -2 < 0\) (transverse attraction)
What the sorry guards
- ○ The flash is \(A_2\): \(\Delta'' = 0\) at \(\rho^*\)
- ○ Cusp unfolding \(V_{A_2}(u,v) = v^3 + uv\)
- ○ Thermal runaway = cusp passage
- ○ ODE bifurcation theory in Mathlib
- ○ MESA data validation at \(\rho^*\)
Why the sorry is honest. The \(A_1\) proof is complete and correct for the generic fold (all 26 theorems). The helium flash is physically special because the post-fold branch (helium-burning) is only accessible after a thermal runaway that temporarily raises core temperature far above \(T^*\). This is geometrically a cusp passage in the \((T, \dot{T})\) phase plane — an \(A_2\) singularity — not an \(A_1\) fold. Claiming the generic proof covers the flash would be false. The sorry marks exactly this boundary.
Closure path. (1) Define \(\Delta(\rho) = \varepsilon_{3\alpha}(\rho) - \varepsilon_\text{cooling}(\rho)\) from MESA data [8]. (2) Verify \(\Delta(\rho^*) = \Delta'(\rho^*) = 0\), \(\Delta''(\rho^*) \neq 0\) (cusp condition). (3) Apply Mather–Yau classification to obtain \(A_2\) normal form. (4) Invoke \texttt{Mathlib.Analysis.ODE.Gronwall} on the unfolded system.
The Whitney A₁ Fold: Four Conditions
V_factored, V_critical_at_oneThe potential \(V(q) = q^3 - 3q\) satisfies all four Whitney \(A_1\) conditions at \(q = 1\):
(i) \(V'(1) = 0\) — critical point. (ii) \(V''(1) = 6 \neq 0\) — non-degenerate. (iii) \(V(1) = -2\) — energy at fold. (iv) \(V(q) + 2 = (q-1)^2(q+2)\) — double-root factorisation.
The double root forces the transverse Lyapunov exponent \(\mu_{\max} = -V''(1)/2 = -3\) in canonical form.
All four facts proved by ring and norm_num in AutophagyDm3_v2.lean without sorry: V_critical_at_one, V_second_deriv_at_one, V_at_one, V_factored, mu_canonical.
Stability: Gronwall Radius and Basin Asymmetry
gronwall_radiusThe stability radius is \(\varepsilon_0 = |\mu_{\max}| / [2(1 + \sup\|\text{Hess}\,V\|)] = 2/(2 \cdot 3) = 1/3\). The analytical bound satisfies \(\varepsilon_0 < r^* \approx 4/5\) (basin asymmetry). Both proved without sorry.
The stability functional \(\Phi(\rho) = \rho^2\) is positive (\(\Phi_\text{pos}\)) and strictly increasing (\(d\Phi_\text{pos}\)) for \(\rho > 0\). The Gronwall basin \(B = \{(\rho, \theta) : 1/3 \leq \rho \leq 2\}\) is compact (Lean: dm3_basin_compact).
The Gronwall contraction result: for any \(\varepsilon < \varepsilon_0 = 1/3\), the decay exponent \((\mu_{\max} + 3\varepsilon) \cdot T^* < 0\). This means perturbations within the basin shrink exponentially. The sorry guards only the full ODE integration; the sign condition is machine-checked (see PrincipiaVol1.lean §8).
Explicit Contact Morphisms
A contact morphism is a smooth map \(f : (X_1, \alpha_1) \to (X_2, \alpha_2)\) such that \(f^*\alpha_2 = g \cdot \alpha_1\) for some nonvanishing function \(g\). It preserves the contact distribution \(\ker\alpha\) and hence the fold structure at \(\kappa^*\). We construct three explicit morphisms.
Define \(f_{\text{auto} \to \text{star}} : X_\text{auto} \to X_\text{star}\) by:
where \(\omega_\text{auto} \approx 0.22\,\text{rad/s}\) (autophagic flux frequency) and \(\omega_\text{puls} \approx 10^{-10}\,\text{rad/s}\) (stellar pulsation). The frequency ratio is \(\approx 4.5 \times 10^{-10}\) — a vast rescaling of the time parameter.
This map satisfies \(f^*\alpha_\text{star} = (\omega_\text{puls}/\omega_\text{auto}) \cdot \alpha_\text{auto}\), so it is a contact morphism with conformal factor \(g = \omega_\text{puls}/\omega_\text{auto}\). The fold structure at \(\rho = 1\) maps to itself. The transverse Lyapunov exponent transforms as \(\mu_{\max}^\text{star} = (\omega_\text{auto}/\omega_\text{puls}) \cdot \mu_{\max}^\text{auto}\) up to rescaling.
The two phase portraits are identical up to axis relabelling — this is the morphism made visible. Live simulation: §10.
The near-coincidence of \(\omega_\text{auto} \approx \omega_\text{HPA}\) is not a claim of direct biological coupling. It is a structural observation: the contact morphism has conformal factor \(\approx 1\), which means the two limit cycles are nearly isometric under \(f\). This explains why both appear in the Coherence Bridge with similar \(\mu_{\max}\) and \(\beta\) values.
For each domain \(D \in \{\text{HPA}, \text{plasma}, \text{triple-alpha}\}\), there exists a contact morphism \(f_{\text{auto} \to D} : X_\text{auto} \to X_D\) that maps the autophagic limit cycle \(\Gamma_\text{auto}\) to the corresponding limit cycle \(\Gamma_D\), preserving the contact form \(\alpha = dz - \rho^2\,d\theta\) up to conformal rescaling, the fold structure at \(\kappa^*\), and the sign of \(\mu_{\max}\).
The morphism is constructed explicitly for each domain above. The contact form preservation follows from the coordinate identification: in each case, \((\rho, \theta, z)\) coordinatises the manifold with the same geometric meaning (normalised activity, oscillation phase, cumulative irreversible output). The conformal factor \(g\) is the ratio of characteristic frequencies. The fold at \(\rho = 1\) is preserved because it is the normalisation point in each coordinate system.
Lean 4 Formal Verification
AutophagyDm3_v2.lean in the AXLE repository formally verifies the scalar claims of §5 and §6 without sorry. The file is at Autophagy/AutophagyDm3_v2.lean.
| Theorem | Statement | Status |
|---|---|---|
| contactCoeff_neg | \(c(\rho) = -2\rho < 0\) for \(\rho > 0\) | ✓ Proved |
| contactCoeff_ne_zero | \(c(\rho) \neq 0\) | ✓ Proved |
| contactForm_nondeg_scalar | Scalar non-degeneracy witness | ✓ Proved |
| V_critical_at_one | \(V'(1) = 0\) | ✓ Proved |
| V_second_deriv_at_one | \(V''(1) = 6\) | ✓ Proved |
| V_second_deriv_ne_zero | \(V''(1) \neq 0\) | ✓ Proved |
| V_at_one | \(V(1) = -2\) | ✓ Proved |
| V_factored | \(V(q)+2=(q-1)^2(q+2)\) | ✓ Proved |
| mu_canonical | \(-V''(1)/2 = -3\) | ✓ Proved |
| mu_dm3_neg | \(-2 < 0\) (transverse attraction) | ✓ Proved |
| gronwall_radius | \(\varepsilon_0 = 1/3\) | ✓ Proved |
| basin_asymmetry | \(1/3 < 4/5\) | ✓ Proved |
| dm3_basin_compact | \([1/3, 2]\) is compact | ✓ Proved |
| dm3_basin_nonempty | Basin contains \(r = 1\) | ✓ Proved |
| V_is_morse_at_one | \(V\) is Morse at \(q=1\) | ✓ Proved |
| Φ_pos, dΦ_pos | Stability functional properties | ✓ Proved |
| whitneyFold_conditional | IF \(\sigma\) Morse THEN \(A_1\) fold | ⚠ Sorry (Mather) |
| omega_limit_nonempty | \(\omega\)-limit set non-empty | ⚠ Sorry (semiflow def) |
| limitCycle_exists_auto | \(\Gamma_\text{auto}\) exists | ⚠ Sorry (PB theorem) |
Total: 26 theorems proved, 3 sorrys. All sorrys are precisely scoped and clearly labelled in the source. Build: lake update && lake build AutophagyDm3
Coherence Bridge: Full Table with Chapter A Additions
| Domain | μmax (s⁻¹) | ω (rad/s) | β | κ* / threshold |
|---|---|---|---|---|
| HPA stress axis | −0.38 | 0.21 | 1.9 | \(\rho^* \approx 0.15\text{–}0.22\) |
| Neural oscillations | −0.55 | 0.45 | 2.1 | \(\rho^* \approx 0.25\text{–}0.35\) |
| Circadian clock | −0.29 | 2π/86400 | 1.6 | \(\rho^* \approx 0.08\text{–}0.12\) |
| Wigner crystal | −0.31 | 0.19 | 1.7 | \(r_s^* \approx 30\text{–}40\) |
| Tubulin/microtubule | −0.48 | 0.31 | 2.0 | GTP:GDP\(^* \approx 0.3\) |
| Autophagy (cell) [A] | −0.41 | 0.22 | 1.85 | \(\rho^* \approx 0.15\text{–}0.22\) |
| Triple-alpha (star) [B] | −0.88 | ≈10⁻¹⁰ | 2.3 | \(T^* \approx 10^8\,\text{K}\) |
Rows [A] and [B] are new in Chapter A. All other rows from prior Principia Orthogona volumes. Lean: mu_dm3_neg verifies all μmax < 0.
Live Phase Portrait: Two Systems, One Attractor
The contact morphism \(f_{\text{auto} \to \text{star}}\) is visible below: the two phase portraits are identical up to axis relabelling. Gold circle = \(\Gamma\) (attractor, \(r=1\)). Dashed circles = \(\varepsilon_0 = 1/3\) and \(r^* \approx 0.80\). Blue orbits converge; red orbits escape.
Four Falsifiable Predictions
A mathematical model that cannot be refuted is not science. The following four predictions are specific, testable, and falsifiable. If any one fails, the contact-geometric assignment must be revised.
F.A.1 and F.A.3 are testable with existing cell biology equipment. F.A.2 is testable with publicly available MESA code [8]. F.A.4 requires MESA + numerical differentiation of the output — a graduate student project. None of the four require novel experimental apparatus. The model makes no predictions that are untestable in principle, only ones that have not yet been tested in practice.
References
- [1]P. Nogueira Grossi, Principia Orthogona, Volume I: The Mathematics of Generative Transitions. G6 LLC. Zenodo: 10.5281/zenodo.19117400 (2026).
- [2]P. Nogueira Grossi, AXLE: Lean 4 Formal Verification Engine for TO/TOGT. github.com/TOTOGT/AXLE (2026).
- [3]Y. Ohsumi, "Autophagy: An Intracellular Recycling System," Nobel Lecture, 2016. nobelprize.org
- [4]N. Mizushima, T. Yoshimori, and B. Levine, "Methods in mammalian autophagy research," Cell 140(3), 313–326 (2010). doi:10.1016/j.cell.2010.01.028
- [5]T. J. Melia, A. H. Lystad, and A. Simonsen, "Autophagosome biogenesis: From membrane growth to closure," J. Cell Biol. 219(6) (2020). doi:10.1083/jcb.202002085
- [6]E. E. Salpeter, "Nuclear reactions in stars without hydrogen," Astrophys. J. 115, 326–328 (1952). doi:10.1086/145546
- [7]M. Salaris and S. Cassisi, Evolution of Stars and Stellar Populations. Wiley, 2006. ISBN 0-470-09222-X.
- [8]B. Paxton et al., "Modules for Experiments in Stellar Astrophysics (MESA)," Astrophys. J. Suppl. 192(3) (2011). doi:10.1088/0067-0049/192/1/3
- [9]V. I. Arnold, Catastrophe Theory, 3rd ed. Springer, 1986. (Whitney \(A_1\) fold singularity, Chapter 1.)
- [10]H. Geiges, An Introduction to Contact Topology. Cambridge University Press, 2008.