Six applications of G yield a hexagonal tower with aspect ratio 66 = 33·τ and noise tolerance τ·ε₀ = 2/3 — both arithmetic from the dm³ constants τ = 2 and ε₀ = 1/3, and both Lean-proved. The G6 Crystal is the architectural instantiation of the G⁶:33 conjecture — the open problem at the boundary of the system.
The Wigner crystal is a state of matter predicted by Eugene Wigner in 1934: at sufficiently low density or temperature, electrons in a solid arrange themselves into a regular crystalline lattice to minimize their potential energy. The crystal is not imposed — it emerges from the repulsion between electrons finding the lowest-energy configuration.
The dm³ analogue: the G6 Crystal is the lowest-energy configuration of six applications of the operator G. It is not designed. It is derived.
When you apply G six times to a seed structure, the system naturally arranges itself into a hexagonal form with specific mathematical properties. These properties are not chosen. They are consequences of the operator sequence. The Wigner crystal is not evidence for them: Wigner’s 1934 prediction (Phys. Rev. 46:1002), confirmed for electrons on liquid helium by Grimes & Adams in 1979, concerns electron correlation at low density. What the two share is a functional form — both are minimum-energy selection problems. That is an analogy, and it is why this chapter borrows the name.
Six applications of G to a seed structure X₀ yield a hexagonal form with the following properties:
G6Crystal.lean §4 on 2026-09-11. The frozen v1 record 19162013 still carries it, which is what a v1 is for.
The Euler characteristic of the sixth-level cohomology: χ(H*(X⁶)) = 33 for all n.
This is an open problem in algebraic topology. It is not yet well posed: no n is bound in the statement, and X⁶ is undefined — G and the operators C/K/F/U are nowhere given as actual objects on L²(X). No sorry stands for it; G6Crystal.lean has none. It is distinct from the threshold constant g₃₃ = 33. The conjecture says: the sixth application of G to any dm³ system produces a structure whose topological invariant is exactly 33.
Why 33? The number appears in two places:
These are not coincidences. They suggest a deep connection between the topological properties of six-fold structures and their electromagnetic resonance behavior. The crystal is the empirical certificate of the conjecture.
The coefficient c=3 in the Collatz conjecture (3n+1) is the fingerprint of triad stabilization: 3×11=33. The Collatz conjecture states that the sequence defined by n → 3n+1 (if n is odd) or n → n/2 (if n is even) always reaches 1.
The G6 Crystal reveals that this conjecture is visible from within crystal geometry before it is provable within the Collatz sequence itself. The structure of the three-fold operator composition (C, K, F as a triad, with U as the fourth) naturally produces the constant 33 as the stable topological invariant.
Saturn, and what it does not show: Saturn's north polar vortex exhibits six-fold symmetry, and that much is real. It is not an instance of this crystal. The hexagonal boundary is ≈ 29,000 km across and ≈ 300 km deep (Fletcher et al., Nat. Commun. 9:3564, 2018) — an aspect ratio near 0.01. The feature is flat, not slender, and six-fold symmetry on its own is a base-rate fact about plane geometry.
The six biological, physical, and financial systems in Theorem 5.4 are the six faces of the G6 Crystal. Each face is a dm³ orbit. Each orbit has a κ* threshold:
The crystal is stable when all six orbits are simultaneously below their κ* — when no system is in the folding phase. This is the condition for homeostasis, equilibrium, and health.
When one orbit crosses κ*, the crystal deforms: a biological stress event, a market crash, a solar flare, a phase transition in quantum systems. The crystal always returns to its minimum-energy configuration — the fixed point Γ*. This is why living systems are resilient. They are crystallized.
The diagram below runs the crystal through the C → K → F → U sequence: density falls, correlations build, the fluid loses a degree of rank at the transition, and the lattice unfolds. Move the density and the magnetic-field controls to see where the fold sits. The critical rs of about 30–40 comes from quantum Monte Carlo estimates cited on the diagram page; the fold picture itself is a modelling choice, and μmax, ω and β in it are asserted, with no derivation here or in Lean.
Open the diagram on its own page, with its sources and the two modelling choices stated.
Select your level. Copy the prompt. Open your LLM. Paste. Answer. Advance when ready.
sorryAx. A clean axiom report is not a reading of the statement: per R20, a theorem can assume its conclusion and still report clean. Follow the link before citing one as evidence.