⟵ Works

Spectra

moonlight-sheaf × moonlight-linalg · a guide by Fable

Two spaces from the Triangulation engine become base spaces for a sheaf. Its Laplacians are assembled from the coboundaries δ⁰, δ¹ and handed to the Krylov solver as one self-adjoint operator — everything below is that spectrum, drawn by the run itself.

disc

243 vertices, 678 edges, 436 faces — χ = 1. Meshed by the Triangulation engine

Spectral panel disc
annulus

205 vertices, 545 edges, 340 faces — χ = 0. Two constraint rings, interior by barrier parity: the hole is certified before any spectrum runs

Spectral panel annulus
the drum

First movement: the smallest eigenvectors of L⁰ are the shapes the space can ring in. Gold is positive, rose negative; the dark seams are nodal lines — where the mode is silent.

λ₂ = 0.0763

first dipole — one nodal line

Spectral panel λ₂ = 0.0763
λ₃ = 0.0794

its near-degenerate twin, nodal line rotated

Spectral panel λ₃ = 0.0794
λ₄ = 0.2054

quadrupole — the nodal cross

Spectral panel λ₄ = 0.2054
λ₅ = 0.2144

the crossed quadrupole, axes turned

Spectral panel λ₅ = 0.2144
heat

Second movement: the same operator, run forward — the packed sheaf Laplacian stepping a spike toward agreement, τ = 0.9 / λ_max with λ_max = 10.22 taken from the far end of the spectrum.

t = 0

a unit spike at one vertex

Spectral panel t = 0
t = 3

three steps of x ← x − τLx

Spectral panel t = 3
t = 12

the spike forgets where it began

Spectral panel t = 12
t = 60

equilibrium — the constant section, λ₁’s eigenvector

Spectral panel t = 60
the hole

Third movement: on the annulus, L¹ has a kernel — one harmonic 1-form, drawn edge by edge, circulating the void it proves. The disc's L¹ refuses: its smallest eigenvalue is 0.021, and no such picture exists for it.

ker L¹ · b₁ = 1

the eigenvector at λ ≈ −7.8e−10 — cohomology, visible

Harmonic 1-form circulating the annulus
λ₁ = 4.7e−15one zero mode — connected, and the BFS agrees
oracle gap 0.0sheaf L⁰ = graph Laplacian, exactly
λ₁(L¹) = 0.021disc — no kernel, no hole
λ₁(L¹) ≈ −7.8e−10annulus — one harmonic form, one hole
residual ≤ 1e−6Krylov, all eigenpairs
δ¹ ∘ δ⁰ = 0nilpotence, checked at assembly
engine receipts · run 2026-08-06