Book 3 · The Mini-Beast · Chapter 10 of 44

PHYSICS · PLASMA

Plasma · The Manifold and Metric

The metric on the plasma current-sheet manifold.

ds² = gᵢⱼ dxⁱ dxʲ

Sigil gᵢⱼ Operator K CEFR B2 Week 4
C · CompressionK · ThresholdF · FoldU · UnfoldingG · Generation
Version — Book 3 v2 (web, dated 2026-09-25). This page is the live web edition, part of Book 3 version 2, to be deposited on Zenodo at the March 2027 equinox. Added since version 1: Assumption 3.2 corrected (the X-point is a non-degenerate saddle; the rank drop is at the fold); Lean status notes. Version 1, as taught and deposited: 10.5281/zenodo.22947908.

OrientationThe Largest Natural Laboratory

Earth’s magnetotail current sheet is the largest natural laboratory for dm³ dynamics available to us. When the interplanetary magnetic field turns southward, the tail stretches until the current sheet reaches critical curvature — and within 10–30 minutes, reconnection releases 10¹⁵ joules of stored magnetic energy.

Before any of that can be stated as a dm³ claim, the room needs a manifold and a metric. This chapter builds them. The construction is deliberately unglamorous: pick coordinates, induce a metric from the system’s own energy functional, check the Morse condition. The same three moves recur in the market and neural rooms.

Definition 3.1

Plasma configuration manifold

Let X be the space of magnetotail plasma states with coordinates (B_z, ρ, T, J), where B_z is the z-component of the magnetic field, ρ is density, T is temperature and J is current density. Equip X with the metric induced by the MHD energy functional. The plasma configuration manifold is (X, g) where:

g_ij = ∂²E_MHD / ∂xⁱ ∂xʲthe metric is the Hessian of the MHD energy

Reading the DefinitionFour Coordinates, One Choice

The coordinate choice is the modelling commitment, and it is worth stating what it excludes. (B_z, ρ, T, J) is a fluid description: it presumes the plasma is well characterised by moments rather than by a full distribution function. Kinetic effects at the X-point — which are precisely what MMS was built to resolve — enter this framework through the metric, not through additional coordinates.

Using the Hessian of the energy as the metric is what makes distance in this space physically meaningful. Two plasma states are close when moving between them is cheap in MHD energy, not when their coordinate values happen to be numerically similar. Every curvature statement in the next two chapters inherits its meaning from this choice.

Assumption 3.2

Morse stability functional

The MHD energy E_MHD : X → ℝ satisfies Morse conditions: every critical point is non-degenerate, including each X-point, which is a non-degenerate saddle. The Hessian ∂²E_MHD loses rank exactly one only at the fold — the onset of reconnection, where an X-point and an O-point merge and annihilate.

Rank-one loss is the analytic content of ‘a fold, not a shatter’. If the Hessian lost rank two, the transition would be a higher-codimension catastrophe and the dm³ normal form would not apply. This is a checkable condition, not a convenience: it can be tested directly against multi-spacecraft reconstructions of the current-sheet geometry.

Connecting UpFrom Metric to Contact Form

With (X, g) in hand, the contact structure enters through the tubular neighbourhood of the post-reconnection limit cycle. Darboux guarantees the local form is α = dz − y dx; what the plasma supplies is the identification of which physical quantities play the roles of z, y and x, and the three numbers (μ_max, ω, β) that index the dynamics on it.

Plasma room · parameter summary
ParameterSymbolValueVerified by
Max reconnection rateμ_max−0.42Petschek model, MMS 2016
Tail oscillation frequencyω0.015 rad/sGeotail / Cluster
Plasma betaβ1.8Multi-spacecraft
Critical curvatureκ*0.8–1.2 × 10⁻³ km⁻¹Cluster 2004
Fractal dimensiond_f≈ 1.43Cluster spectral data

Lean StatusWhat Has Been Checked

Lean status (Book 3 v2, 2026-09-25) — Definition 3.1, the metric. At an X-point the Hessian is indefinite: for the flux ψ = (x² − y²)/2 it is diag(1, −1), determinant −1. An indefinite matrix is not a Riemannian metric, so g = ∂²E_MHD cannot serve as the metric at an X-point; a positive-definite metric on X still has to be chosen. (xpointHessian_not_posDef) Kernel-checked in PlasmaRoom.lean.
Lean status (Book 3 v2, 2026-09-25) — Assumption 3.2, corrected. An X-point is a non-degenerate saddle, not a rank drop. In the fold family ψ_a = x³/3 − a·x + y²/2 an X-point (−√a, 0) and an O-point (√a, 0) exist for a > 0, none for a < 0, and they merge with singular Hessian at a = 0; every critical point is non-degenerate for a ≠ 0. So the Morse assumption holds generically and the rank drop sits at reconnection onset. (fold_xpoint_saddle, fold_degenerate_at_zero, fold_generic_morse) Kernel-checked in PlasmaRoom.lean.

BridgesWhere This Connects

← PreviousPlasma-Sheet Reconnection