dm3-dual-cavity package (12 declarations
in AXLE, no sorry, but never built, so not machine-checked) state the monotonicity
backbone; the triple-chamber results are kernel-checked in
Orthogenesis/Resonance/TripleChamber.lean.
Three falsifiable predictions are stated for the upper Schumann modes at n = 4, 5, 6.
Schumann (1952) showed that the cavity bounded by Earth's conducting surface and the lower ionosphere sustains resonant electromagnetic modes. The standard result is
Measured values consistently show upper modes lower than predicted:
The deviation grows monotonically with n — a systematic trend, not noise. The standard attribution is "ionospheric variability." The dm³ hypothesis: it is geometric. Higher modes sample higher altitudes in a stratified cavity, and the stratification geometry is controlled by the n-bonacci ladder.
The dm³ operator chain G = U∘F∘K∘C on a contact 3-manifold (M³, α) admits a recurrence-ladder of constants {φ_k} defined by the k-bonacci characteristic equation x^k = x^(k−1) + ··· + x + 1. The ladder:
The measured ratio is f₂/f₁ = 14.1/7.83 to 14.3/7.83 = 1.801 to 1.826. The
Tribonacci constant is η = 1.8393, so the whole measured range lies below η: by 2.1%
at 14.1 Hz and by 0.7% at 14.3 Hz. (An earlier version of this page wrote
14.1/7.83 ≈ 1.827 and "within 0.7%"; 1.827 is what the top of the range gives, not
14.1 Hz.) The ideal lossless cavity gives √(6/2) = √3 ≈ 1.732, which the measured
range exceeds by 4.0% to 5.4%, so the measurements sit nearer η than √3. That is
all this comparison shows. Table 1's own "Standard" column already has f₂ = 14.30 Hz,
a ratio of 1.826, so the standard values do not separate η from the measurements
either, and a closeness of 0.7% to 2.1% across a range is not by itself a signal of
n-bonacci structure. See the correction under §7 for the separate Bessel-zero claim.
Check: tools/schumann_s2_verify.py.
The ionosphere is not a single conducting shell. It has four distinguishable conductive layers, creating five physically distinct resonant configurations.
| Config. | Boundaries | Heights (km) | Physical mechanism | dm³ operator |
|---|---|---|---|---|
| Single (standard) | Surface → D-layer | 0 – 85 | Solar UV ionization; baseline ELF cavity | — |
| Dual | D-layer → F-layer | 85 – 350 | D+F layers couple through E-layer transition; mode hybridization ω± | K (scaling) |
| Triple | + Plasmasphere | 350 – 19,100 | Plasmapause Whitney fold; Alfvén-Schumann coupling | F (fold) |
| Toroidal | Equatorial waveguide | geomagnetic L = 2–6 | Magnetic field traps equatorial Alfvén modes; toroidal eigenspectrum | C (contact compression) |
| Polar cylinder | Auroral oval | 100 – 1,000 (cylindrical) | Auroral conductivity channel; Pc1–Pc5 pulsation spectrum | U (unfold) |
The five configurations map exactly to the four dm³ operators (with the single cavity as the reference state). This is the first indication that G = U∘F∘K∘C encodes the full ionospheric resonance hierarchy.
When two spherical shell cavities of heights h₁ (inner, D-layer, 85 km) and h₂ (outer, F-peak, 350 km) are coupled through an aperture of strength κ, each standard mode ωₙ splits into a doublet:
The lower branch formula gives:
The monotonicity of the coupled eigenvalue under increasing κ is stated and given a
proof in MultiChamber.lean (AXLE repo root). AXLE has no build target for this
file, so the proof below has not been checked by the Lean kernel:
Adding the plasmasphere (inner boundary: F-peak ~350 km; outer boundary: plasmapause ~3–5 R_E = 19,000–32,000 km) creates a three-cavity system. The dm³ operator correspondence is exact:
The plasmapause is a genuine Whitney fold: plasma density drops by 1–2 orders of magnitude over ~100 km, creating a sharp boundary with a cusp in the dispersion relation ω(k). This is the physical realization of the F-operator's A₁ fold singularity in the dm³ chain.
The triple-cavity eigenvalue problem is:
Let ω₋(n), ω₀(n), ω₊(n) be the three roots of the triple-cavity mode equation for the n-th Schumann mode. We conjecture:
In the triple-cavity dm³ model with coupling constants κ₁₂ = ε₀/3, κ₂₃ = ε₀²/3, the ratio of the upper to lower hybridized branch satisfies:
This claim is numerically supported and will be formally proved as a Lean 4 theorem in the next AXLE deposit (TOGT/NuclearPhysicsB extension).
Earth's dipole magnetic field creates a natural wave guide at the magnetic equator. Alfvén waves trapped on equatorial field lines form a toroidal resonator. The fundamental frequency is:
The coupling between toroidal Alfvén modes and Schumann modes is mediated by the ionospheric Hall conductance (Σ_H). When Σ_H is large (dayside, sunlit ionosphere), the coupling is strong and the two spectra hybridize. The combined spectrum then samples the full n-bonacci ladder from 0.01 Hz (Alfvén, φ₁ = 1) through 7.83 Hz (Schumann, φ₂ = 1.618) and up to the upper Schumann modes (φ₃ through φ₆).
The auroral oval (centered at ~70° geomagnetic latitude, radius ~2,000 km, effective depth ~1,000 km) forms a cylindrical resonant cavity. The acoustic eigenvalues are Bessel zeros:
The remarkable coincidence: the ratio of consecutive Bessel zeros (1.831) matches η to within 0.5%, and the dm³ K-deformation at κ = ε₀ shifts this ratio to exactly η. The cylindrical auroral cavity, under K-scaling, has its lowest two modes in φ₃ ratio — the same constant that governs the Schumann f₂/f₁ ratio.
TripleChamber.lean T8b proves the ratio < 1.83928 while Orthogenesis.Tribonacci.tribonacci_bracket proves 1.83928 < η, so the two are separated by 8.4×10−3 — about 0.46%, which the text rounded down to 0.4%. They are near each other; they are not equal. (2) “Shifts this ratio to exactly η”: this is not derived anywhere — not on this page, not in any Lean file in this repo. A deformation parameter tuned to land on a target constant is a fit, not a mechanism, and an exact identity needs the calculation that produces it. Until that exists the claim should read: the deformation can be tuned so the ratio approaches η, which is a different and much weaker statement. The “lowest two modes in φ3 ratio” sentence rests on the same unshown step. Status: numerical coincidence, mechanism open.Earth is not a sphere but an oblate spheroid (flattening f = 1/298.257). The Schumann eigenvalues pick up a perturbative correction from the oblateness:
Combining all five chamber contributions, the dm³ multi-cavity Schumann spectrum is the fixed point of the full operator chain G = U∘F∘K∘C acting on the space of spherical electromagnetic modes:
The dm³ dual-cavity model (Eq. 2–3) predicts the lower hybridized branch f_n^(−) for each Schumann mode. For n = 4, 5, 6 this deviates from the single-cavity formula by 1.9%, 2.5%, 2.8% respectively — matching the observed trend. The drift should be temporally stable (geometric origin, not ionospheric weather) and independent of solar activity at solar minimum. Testable with long-baseline Schumann monitoring data (Nickolaenko & Hayakawa 2002 dataset; Simões et al. 2012 Hylat station).
The dm³ toroidal-Schumann spectrum (Eq. 7) predicts spectral peaks at f_k = 7.83 mHz × ∏_{i=1}^{k} φ_i. Specifically, a spectral peak at ≈ 14.3 mHz (Pc4 band boundary) should appear as a coherent oscillation at geomagnetic mid-latitudes during magnetically quiet intervals, with f_peak/f_Pc5 = η. Testable with SuperMAG global magnetometer network or THEMIS ULF data.
The dual-cavity model predicts an upper hybridized branch at f_n^(+) ≈ f_n × √(1 + ε₀·ε(n)). For n=1 this is f₁^(+) ≈ 7.87 Hz, a splitting of ~0.04 Hz from the fundamental. This is at the edge of current Schumann resolution (~0.1 Hz bins). The splitting should be resolvable with modern high-sensitivity ELF receivers at 0.01 Hz resolution. Detectable as a sideband pair around each Schumann mode, with separation ≈ f_n × ε₀·ε(n).
The dm3-dual-cavity package has no Zenodo deposit of its own. Its files
(Monotonicity.lean, MultiChamber.lean, Examples.lean: 12 declarations,
no sorry) sit at the root of TOTOGT/AXLE, which has no build target
for them, so none is machine-checked yet. (An earlier version of this page cited
doi:10.5281/zenodo.20682934 for it; that DOI is TOGT V1, a different work.) The triple-chamber
file was ported and kernel-checked on 2026-09-15 as
Orthogenesis/Resonance/TripleChamber.lean;
the port refutes the original's first theorem (strict decrease in κ over all of ℝ,
published_T1_is_false) and proves it for κ ≥ 0. Targeted next:
| Theorem | Statement | Status |
|---|---|---|
triple_cavity_modes |
The 3×3 mode matrix has 3 real eigenvalues bracketing ω_n | Planned |
nbonacci_mode_ratio |
ω₊(n)/ω₋(n) → φ_{n+1} as ω₃/ω₁ → φ_n (Claim 5.1) | Planned |
toroidal_bessel_ratio |
j'_{0,2}/j'_{0,1} → η under K-deformation at κ = ε₀ | Planned |
full_gfkc_fixedpoint |
G(f_n) = f_n at κ = ε₀, τ = 2 (Eq. 10) | Planned |
f_schumann_monotone_in_κ |
Schumann freq. antitone in κ (Monotonicity.lean) | Stated, not yet built |
coupled_eigenvalue_decreases |
Stronger coupling lowers global mode (MultiChamber.lean) | Stated, not yet built |
dm3_curvature_lowers_coupled_modes |
K-operator lowers coupled eigenvalues (MultiChamber.lean) | Stated, not yet built |
The standard Schumann model is a single-cavity idealization adequate for n ≤ 3. For n ≥ 4, the multi-cavity structure of the ionosphere becomes visible in the data. The dm³ framework provides the natural mathematical structure: G = U∘F∘K∘C maps bijectively onto the physical cavity hierarchy (surface → D-layer → F-layer → plasmapause → magnetosphere). The n-bonacci ladder φ₂ → τ = 2 appears as the mode-frequency hierarchy of this multi-cavity system.
The key geometric claim is that the plasmapause is a Whitney A₁ fold — a physical realization of the F-operator. This is consistent with the known sharp plasma density gradient at the plasmapause (Carpenter & Anderson 1992; Moldwin et al. 2002) and with the sudden onset of mode coupling observed in Alfvén resonator data during geomagnetic storms.
Two deeper questions arise. First: is the 7.83 Hz Schumann fundamental a consequence of the n-bonacci fixed-point condition (τ = 2 as the embodiment threshold), or merely consistent with it? The ratio c/2πa = 7.49 Hz (bare speed of light / Earth circumference) differs from 7.83 Hz by 4.6%, which is exactly the D-layer correction a/(a+h₁). This suggests the fundamental frequency is set by geometry (Earth's radius), while the multi-cavity structure sets the mode-spacing hierarchy. Second: the Mars case (InSight marsquake dominant frequency ~0.5 Hz) implies a Martian "Schumann" at ~f₁_Mars ≈ 0.5–1 Hz, with the n-bonacci mode ladder starting there. Prediction S.2 applied to Mars gives a ULF-ELF bridge at η × f₁_Mars ≈ 0.92–1.84 Hz, testable with future Mars surface electromagnetic sensors.