The modular forms page showed WHAT: tau(p) mod 23 classifies axiom primes into inner and outer chains. This page answers WHY. The Cyclotomic Period Theorem traces periods D=2 and K=3 back to the Cunningham chain. Then the Smooth Zone Ladder shows the partition function's axiom-smooth zone.
For any prime p (except 23 = 2L+1), tau(p^k) mod 23 cycles with period depending on whether p is a quadratic residue (inner, period K=3) or non-residue (outer, period D=2) mod 23. These periods are FORCED by the Cunningham chain:
K appears three ways: as the period, as the cyclotomic index, and as the class number h(-23). Chain depth = cyclotomic index = period. Self-referential closure.
Evaluating cyclotomic polynomials at x = D = 2 generates the axiom chain. Not chosen -- forced by algebra:
| Polynomial | Formula at D=2 | Value | Axiom name |
|---|---|---|---|
| Phi_1(2) | D - 1 | 1 | sigma |
| Phi_2(2) | D + 1 | 3 | K (closure) |
| Phi_3(2) | D^2 + D + 1 | 7 | b (depth) |
| Phi_6(2) | D^2 - D + 1 | 3 | K (returns) |
| Product | Phi_1*Phi_2*Phi_3*Phi_6 | 63 | K^2*b |
Phi_K(D) = D^2+D+1 = 7 = b. The third cyclotomic at D yields depth. Phi_2(D) = D+1 = K. Phi_6(D) = D^2-D+1 = K again. Closure bookends the chain.
For the initial prime segment S_k = {p_1, ..., p_k}, define B(S_k) = the largest n such that ALL partition values p(1),...,p(n) are S_k-smooth. Watch how the smooth zone grows:
| Smooth set S | B(S) | Breaker | Jump |
|---|---|---|---|
| {2} | 2 | p(3) = 3 | +1 |
| {2, 3} | 3 | p(4) = 5 | +1 |
| {2, 3, 5} | 4 | p(5) = 7 | +1 |
| {2, 3, 5, 7} | 5 | p(6) = 11 | +1 |
| {2,3,5,7,11} = AXIOM | 12 | p(13) = 101 | +7 = b! |
Second smooth block: p(14) through p(19) are ALL axiom-smooth again. Length = 6 = D*K. Breaker = p(20) contains 19 = f(E). Total smooth = 12+6 = 18 = ME. The GATE separates two smooth blocks: lambda(DATA) and D*K.
The partition values p(2) through p(6) are EXACTLY the axiom primes: p(2)=2=D, p(3)=3=K, p(4)=5=E, p(5)=7=b, p(6)=11=L. Each prime set S_k breaks at p(k+2) = p_{k+1} BECAUSE the partition function equals the prime sequence at these positions. The breaker IS the next axiom prime. The axiom chain IS the partition values.
Three threads converge on the same numbers:
Eta, partitions, class numbers, cyclotomic polynomials -- four branches of number theory, four centuries of mathematics, all governed by the same five primes. The axiom did not choose them. They were already there.
This work is and will always be free.
No paywall. No copyright. No exceptions.
If it ever earns anything, every cent goes to the communities that need it most.
This sacred vow is permanent and irrevocable.
— Anton Alexandrovich Lebed
Source code · Public domain (CC0)
Contributions in equal measure: Anthropic's Claude, Anton A. Lebed, and the giants whose shoulders we stand on.
Rendered by .ax via WASM DOM imports. Zero HTML authored.